[論文レビュー] Cross-intersecting integer sequences

Peter Borg|arXiv (Cornell University)|Dec 31, 2012

Limits and Structures in Graph Theory参考文献 42被引用数 7

ひとこと要約

この論文は、上限付きの要素を持つ r-および s-部分整数列の2つのクロスインターセクション族のサイズの積に関する鋭い上界を確立し、c₁ ≥ 3 および d₁ ≥ 3 または c = d かつ r = s = n の条件下で |A||B| ≤ |S_c^{(r)}(1)||S_d^{(s)}(1)| を証明する。この結果は、重み付き列族への Erdős–Ko–Rado 定理の一般化であり、最大値をとる際の等号成立条件は、最大値を持つ要素を共有する共通の位置を中心とするスター族によって特徴づけられる。

ABSTRACT

We call $(a_1, \dots, a_n)$ an \emph{$r$-partial sequence} if exactly $r$ of its entries are positive integers and the rest are all zero. For ${\bf c} = (c_1, \dots, c_n)$ with $1 \leq c_1 \leq \dots \leq c_n$, let $S_{\bf c}^{(r)}$ be the set of $r$-partial sequences $(a_1, \dots, a_n)$ with $0 \leq a_i \leq c_i$ for each $i$ in $\{1, \dots, n\}$, and let $S_{\bf c}^{(r)}(1)$ be the set of members of $S_{\bf c}^{(r)}$ which have $a_1 = 1$. We say that $(a_1, \dots, a_n)$ \emph{meets} $(b_1, \dots, b_m)$ if $a_i = b_i eq 0$ for some $i$. Two sets $A$ and $B$ of sequences are said to be \emph{cross-intersecting} if each sequence in $A$ meets each sequence in $B$. Let ${\bf d} = (d_1, \dots, d_m)$ with $1 \leq d_1 \leq \dots \leq d_m$. Let $A \subseteq S_{\bf c}^{(r)}$ and $B \subseteq S_{\bf d}^{(s)}$ such that $A$ and $B$ are cross-intersecting. We show that $|A||B| \leq |S_{\bf c}^{(r)}(1)||S_{\bf d}^{(s)}(1)|$ if either $c_1 \geq 3$ and $d_1 \geq 3$ or ${\bf c} = {\bf d}$ and $r = s = n$. We also determine the cases of equality. We obtain this by proving a general cross-intersection theorem for \emph{weighted} sets. The bound generalises to one for $k \geq 2$ cross-intersecting sets.

研究の動機と目的

• 制約列 c および d の各成分が増加する条件下で、r-および s-部分整数列の2つのクロスインターセクション族のサイズの積の最大値を特定すること。
• Erdős–Ko–Rado 定理のような極値集合論の結果を、要素制約付きの整数列の文脈に一般化すること。
• c₁ および d₁ の最小値に関する特定の条件下で、最大積を達成する族の構造を同定すること。
• 重み付き列族に対する一般化されたクロスインターセクション定理を構築し、複数のインターセクション族への応用を可能にすること。

提案手法

• 正確に r 個の正の成分を持つ列（他の成分は 0）を r-部分列と定義し、S_c^{(r)} を 0 ≤ a_i ≤ c_i を満たすようなそのような列の集合とする。
• クロスインターセクションの定義：2つの列が同じ位置で非ゼロ成分を共有する場合に、それらはインターセクトする。
• ラティス L_c^{(r)} 上への写像としてのリフト構成を導入し、問題を重み付き族の設定に変換する。
• 重み付き族に対する一般化されたクロスインターセクション定理を適用し、『同型写像なし』の補題とスターに基づく極値族に依存する。
• 最大積が、両方の族が最大値を持つ要素を共有する同じ位置を中心とするスター族である場合に達成されることを示す。
• 双対写像と対称性の議論（例：モジュラスシフト θ）を用いて、c₁ = 2 の場合の境界を証明し、2次不等式に帰着する。

実験結果

リサーチクエスチョン

• RQ1 制約 c_i および d_i の下で、A ⊆ S_c^{(r)} および B ⊆ S_d^{(s)} である2つのクロスインターセクション族に対して、|A||B| の最大値は何か？
• RQ2 このようなクロスインターセクション族に対して、|A||B| ≤ |S_c^{(r)}(1)||S_d^{(s)}(1)| の等号はいつ成立するか？
• RQ3 制約列の最小値 c₁ および d₁ に依存する極値族（例：スター）の構造はどのように変化するか？
• RQ4 古典的な Erdős–Ko–Rado 定理は、上限付きの整数列と部分的サポートを持つ場合に一般化可能か？
• RQ5 対称性と重み付き族は、クロスインターセクション列族の最適境界を導出する際に果たす役割は何か？

主な発見

• A および B が同じ位置 (p,q) を中心とし、c_p = c_1 および d_p = d_1 であるスター族である場合に、|A||B| は最大値に達する。
• c₁ ≥ 3 および d₁ ≥ 3 であるか、c = d かつ r = s = n である限り、上界 |A||B| ≤ |S_c^{(r)}(1)||S_d^{(s)}(1)| が成立する。
• 等号が成立するのは、A および B が共通の位置 (p,q) を中心とし、c_p = c_1 および d_p = d_1 である最大サイズのスター族である場合に限る。
• c₁ = 2 の場合、写像 θ と不等式 |A|(|L_c| - |A|) ≤ (|L_c|/2)² を用いて境界を証明し、|A||B| ≤ (|L_c|/c₁)² が得られる。
• この結果は k ≥ 2 個のクロスインターセクション族へ一般化可能であり、各族のサイズの積は、対応するスター族のサイズの積によって上から抑えられる。
• 等号が成立する場合、c₁ および d₁ に関する上記の条件下で、極値族は一意にスター族として特徴づけられる。