[論文レビュー] Cross-intersecting families with covering number constraints

Yandong Bai, Haoyun Gu|arXiv (Cornell University)|Jan 12, 2026

Meromorphic and Entire Functions被引用数 0

ひとこと要約

この論文は統一した安定性フレームワークを確立し、一般的なカバー数制約の下でクロス交差する一様ファミリのサイズの最大和を決定し、極大構成を特徴付ける。

ABSTRACT

Two families $\mathcal{F}$ and $\mathcal{G}$ are cross-intersecting if every set in $\mathcal{F}$ intersects every set in $\mathcal{G}$. The covering number $τ(\mathcal{F})$ of a family $\mathcal{F}$ is the minimum size of a set that intersects every member of $\mathcal{F}$. In 1992, Frankl and Tokushige determined the maximum of $|\mathcal{F}| + |\mathcal{G}|$ for cross-intersecting families $\mathcal{F} \subset \binom{[n]}{a}$ and $\mathcal{G} \subset \binom{[n]}{b}$ that are non-empty (covering number at least 1) and also characterized the extremal configurations. This seminar result was recently extended by Frankl (2024) and Frankl and Wang (2025) to cases where both families are non-trivial (covering number at least 2), and where one is non-empty and the other non-trivial, respectively. In this paper, we establish a unified stability hierarchy for cross-intersecting families under general covering number constraints. We determine the maximum of $|\mathcal{F}| + |\mathcal{G}|$ for cross-intersecting families $\mathcal{F} \subset \binom{[n]}{a}$ and $\mathcal{G} \subset \binom{[n]}{b}$ with the following covering number constraints: (1) $τ(\mathcal{F}) \geq s$ and $τ(\mathcal{G}) \geq t$; (2) $τ(\mathcal{F}) = s$ and $τ(\mathcal{G}) \geq t \geq 2$; (3) $τ(\mathcal{F}) \geq s$ and $τ(\mathcal{G}) = t$; (4) $τ(\mathcal{F}) = s$ and $τ(\mathcal{G}) = t$; provided $a \geq b + t - 1$ and $n \geq \max\{a + b, bt\}$. The corresponding extremal families achieving the upper bounds are also characterized.

研究の動機と目的

• カバー数制約の下でのクロス交差する一様ファミリ間の安定性階層を導入する。
• さまざまな tau 制約の下で F ⊆ C([n],a) および G ⊆ C([n],b) がクロス交差する場合の |F| + |G| の最大値を決定する。
• 広いパラメータ領域で上界を達成する極大ファミリを特徴づける。

提案手法

• カバー数 tau(F) および tau(G) を持つクロス交差ファミリを定義・分析する。
• 複数の制約パターン（tau(F)≥s, tau(G)≥t; tau(F)=s, tau(G)≥t; tau(F)=s, tau(G)=t など）に対して境界を formulate することで、以前の結果を一般化・統一する。
• 極大ファミリを記述する構成として M^t(n,a,b) および M_s^t(n,a,b を導入し利用する。
• シフト（左シフト）手法と安定性議論を用いて初期ファミリへ還元する。
• 最適性を証明するための重要補題（初期のクロス交差ファミリに関する界、Lubell型不等式等）を導出・適用する。
• 階層を完成させるために初期・非初期ケースの系（導出結果）とそれに対応する推定を提供する。

実験結果

リサーチクエスチョン

• RQ1 与えられたカバー数制約の下でクロス交差するファミリの |F| + |G| の最大値はいくつか。
• RQ2 これらの最大値を達成する極大構造（同型性を除く）は tau 制約の異なる場合でどうなるか。
• RQ3 シフト操作はカバー数にどう影響するか、初期ファミリへ還元する安定性フレームワークを構築できるか。
• RQ4 tau 制約が 1 や 2 の既知の場合へどのように特化し、Frankl–Tokushige、Frankl、Frankl–Wang などの定理をどのように統一するか。

主な発見

• a ≥ b + t − 1 かつ b ≥ 2, tau(F) ≥ 1, tau(G) ≥ t, n ≥ max{a+b, bt} のとき、クロス交差 F ⊆ C([n],a) および G ⊆ C([n],b) に対して |F| + |G| ≤ binom(n,a) + sum_{i=1}^{t} (-1)^i binom(t,i) binom(n - i b, a) + t を満たし、等号は n > a + b のとき (F ∪ G) ≅ M^t(n,a,b) のときのみに成立する。
• tau(F) = s および tau(G) ≥ t または tau(G) = t の場合には、|F| + |G| ≤ sum_{i=1}^{s} [ binom(n-i, a-1) + sum_{j=1}^{t-1} (-1)^j binom(t-1, j) binom(n - j b - i, a-1) ] + binom(n - s, b - s) + t - 1 というより複雑な界を与え、等号は M_s^t(n,a,b) を特徴づける。
• 両方の tau がそれぞれ少なくとも s, t の場合には、同じ形の界が現れ、M^t(n,a,b)（およびその派生形）を含む統一的な式が得られ、異なるパラメータ領域を越えて一貫した形となる。
• 著者らは初期（左シフトされた）クロス交差ファミリの最大和を決定し、明示的な極大構成 H^t(n,a,b), H_s^t(n,a,b) および対応するカウントを提供し、これらの界が厳密である条件を確立する。
• 結果は Frankl–Tokushige および Frankl–Wang の定理を含むいくつかの古典的・近年の定理を再現・拡張し、より広い安定性階層の中に位置づける。