[论文解读] Asymptotic upper bounds on the shades of t-intersecting families

James Hirschorn|ArXiv.org|Aug 11, 2008

Limits and Structures in Graph Theory参考文献 5被引用 6

一句话总结

本文提出了对 $m$-shades 的 $t$-相交族中 $k$-子集的 $[n]$ 的渐近上界，扩展了 Frankl 的广义猜想。基于 Ahlswede–Khachatrian 定理，本文推导出当 $m \to \infty$ 时，在 $[2m]$ 中 $t(m)$-相交族的 $k(m)$-子集的 $m$-shades 的精确渐近上界，特别表明在 $t(m)$ 和 $k(m)$ 满足特定增长条件时，$m$-shades 乘积的归一化大小趋于零。

ABSTRACT

We examine the m-shades of t-intersecting families of k-subsets of [n], and conjecture on the optimal upper bound on their cardinalities. This conjecture extends Frankl's General Conjecture that was proven true by Ahlswede-Khachatrian. From this we deduce the precise asymptotic upper bounds on the cardinalities of m-shades of t(m)-intersecting families of k(m)-subsets of [2m], as m -> infinity. A generalization to cross-t-intersecting families is also considered.

研究动机与目标

• 建立 $m$-shades 的 $t$-相交族中 $k$-子集的 $[n]$ 大小的渐近上界。
• 将 Frankl 的广义猜想扩展至 $[2m]$ 中 $k(m)$-子集的 $m$-shades 基数。
• 研究当 $m \to \infty$ 时，交叉 $t$-相交族的 $m$-shades 乘积的渐近行为。
• 为描述集合论中与 Cohen 和 random forcing 相关的二分性提供理论基础。

提出的方法

• 使用 Ahlswede–Khachatrian 定理将最大 $t$-相交族刻画为特定族 $\mathcal{F}_i(n,k,t)$ 的并集。
• 对 $t$-相交族应用遮蔽算子 $\nabla_{\to m}$，以分析其 $m$-shades 的大小。
• 对二项式系数应用组合估计与渐近分析，以界定 $\nabla_{\to m}(\mathcal{F}_i)$ 的大小。
• 引入并分析族 $\mathcal{G}_{ij}(n,k,t)$，以建模交叉 $t$-相交对及其 $m$-shades。
• 应用引理 1，将 $[2m]\choose{m}$ 中的非均匀着色与 $t$-相交族的 $m$-shades 大小联系起来。
• 利用猜想：$M(2m,m,t)$ 在 $\mathcal{F}_{l(m)}(2m,m,t)$ 处取得最大值，推导出渐近衰减结果。

实验结果

研究问题

• RQ1 当 $m \to \infty$ 时，$t(m)$-相交族的 $k(m)$-子集在 $[2m]$ 中的 $m$-shades 大小的渐近上界是什么？
• RQ2 在 $t(m)$ 和 $k(m)$ 满足特定增长条件时，$t(m)$-相交族的 $k(m)$-子集在 $[2m]$ 中的 $m$-shades 的归一化大小是否趋于零？
• RQ3 当 $m \to \infty$ 时，交叉 $t$-相交族的 $m$-shades 乘积的渐近行为是否可被刻画？
• RQ4 在 $\lim_{m\to\infty} t(m)/\sqrt{k(m)} = \infty$ 的条件下，猜想 $N_0(2m,m,m,k,k,t)$ 渐近趋于零是否成立？

主要发现

• 当 $k(m) = o(m)$ 且 $\lim_{m\to\infty} t(m)/\sqrt{k(m)} = \infty$ 时，$t(m)$-相交族的 $k(m)$-子集在 $[2m]$ 中的 $m$-shades 的渐近上界趋于零。
• 在相同条件下，最大 $t$-相交族 $\mathcal{F}_{l(m)}(2m,m,t)$ 的 $m$-shades 的归一化大小满足 $\lim_{m\to\infty} \frac{|\nabla_{\to m}(\mathcal{F}_{l(m)})|}{{2m \choose m}} = 0$。
• 当 $k(m) = o(m)$ 且 $\lim_{m\to\infty} t(m)/\sqrt{k(m)} = \infty$ 时，交叉 $t$-相交族的 $m$-shades 乘积满足 $\lim_{m\to\infty} \frac{\sqrt{N_1(2m,m,k(m),t(m))}}{{2m \choose m}} = 0$，支持猜想 6。
• 该结果源于 $|\mathcal{F}_i(2m,m,t)|$ 表达式中二项式系数和的渐近行为，其在归一化形式下趋于 1。
• 本文证明了 $t$-相交族的 $m$-shades 大小受 $2|\nabla_{\to m}(X)|$ 限制，将组合遮蔽大小与非均匀着色联系起来。
• 推论 7 表明，若猜想 1（关于 $M$）成立，则猜想 2（关于 $M_0$）也成立，从而为 $m$-shades 大小的渐近衰减提供了条件性证明。