[论文解读] Cross-intersecting integer sequences

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

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

一句话总结

该论文在满足 c₁ ≥ 3 且 d₁ ≥ 3 或 c = d 且 r = s = n 的条件下，建立了 r- 和 s-部分整数序列（具有有界项）的两个交叉相交族大小乘积的严格上界，证明了 |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.

研究动机与目标

• 确定在 entries 受递增序列 c 和 d 约束下，r- 和 s-部分整数序列族 A 和 B 的大小乘积 |A||B| 的最大值。
• 将极值集合论结果（如 Erdős–Ko–Rado 定理）推广至具有项约束的整数序列设定。
• 在 c 和 d 的最小项满足特定条件时，刻画实现最大乘积的族结构。
• 为加权序列族建立一个通用的交叉相交定理，以支持对多个相交族的应用。

提出的方法

• 引入 r-部分序列作为恰好有 r 个正项、其余为零的序列，并将 S_c^{(r)} 定义为满足 0 ≤ a_i ≤ c_i 的此类序列的集合。
• 定义交叉相交：若两个序列在相同位置共享一个非零项，则称其相交。
• 使用提升构造将序列映射到格 L_c^{(r)} 中的集合，将问题转化为加权族设定。
• 应用加权族的通用交叉相交定理，依赖于‘无同态’引理和基于星族的极值族。
• 证明当两个族均以最大项值所在位置为中心形成星族时，乘积达到最大值。
• 通过双射和对称性论证（如模平移 θ）证明 c₁ = 2 时的界，将其约化为一个二次不等式。

实验结果

研究问题

• RQ1 在项约束 c_i 和 d_i 下，两个交叉相交族 A ⊆ S_c^{(r)}，B ⊆ S_d^{(s)} 的最大可能乘积 |A||B| 是多少？
• RQ2 在何种条件下，乘积界 |A||B| ≤ |S_c^{(r)}(1)||S_d^{(s)}(1)| 对此类交叉相交族成立等式？
• RQ3 极值族（如星族）的结构如何依赖于约束序列 c 和 d 的最小项 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₁ 条件下，当等式成立时，极值族被唯一刻画为星族。