[论文解读] The domination number of the graph defined by two levels of the $n$-cube, II

József Balogh, Gyula O. H. Katona+2 more|arXiv (Cornell University)|Oct 23, 2019

Limits and Structures in Graph Theory被引用 4

一句话总结

本文证明了关于 $n$-立方体的第 $k$ 层与第 2 层构成的二分图的渐近控制数的一个猜想，确立了当 $n \to \infty$ 时，对于固定的 $k \geq 3$，有 $\gamma(G_{k,2}) = \frac{k+3}{2(k-1)(k+1)}n^2 + o(n^2)$。证明利用了 Frankl-R"odl 超图正则性定理与图去除引理，建立了紧致的上下界，从而解决了极值组合学中长期悬而未决的问题。

ABSTRACT

Consider all $k$-element subsets and $\\ell$-element subsets $(k>\\ell )$ of an $n$-element set as vertices of a bipartite graph. Two vertices are adjacent if the corresponding $\\ell$-element set is a subset of the corresponding $k$-element set. Let $G_{k,\\ell}$ denote this graph. The domination number of $G_{k,1}$ was exactly determined by Badakhshian, Katona and Tuza. A conjecture was also stated there on the asymptotic value ($n$ tending to infinity) of the domination number of $G_{k,2}$. Here we prove the conjecture, determining the asymptotic value of the domination number $\\gamma (G_{k,2})={k+3\\over 2(k-1)(k+1)}n^2+o(n^2)$.

研究动机与目标

• 解决关于由 $n$-立方体的第 $k$ 层与第 2 层构成的二分图的控制数 $\gamma(G_{k,2})$ 的渐近行为的猜想。
• 为 $\gamma(G_{k,2})$ 建立当 $n \to \infty$ 时的紧致渐近上下界，其中 $k \geq 3$ 为固定值。
• 拓展对极值集合论中双侧覆盖问题的理解，其中 $k$-集合与 $2$-集合均需被覆盖。
• 探讨更高 $\ell$ 值（特别是 $\ell = 3$）的下界紧致性的可能性，并对 $\gamma(G_{k,\ell})$ 提出猜想。

提出的方法

• 利用 Frankl-R"odl 的超图正则性定理，构造一个大小与猜想的渐近公式一致的控制集。
• 应用图去除引理，通过分析超图中成对元素及其度数的密度，推导出 $\gamma(G_{k,2})$ 的下界。
• 采用分划策略：将 $[n]$ 划分为 $k-1$ 个相等部分 $A_1, \dots, A_{k-1}$，定义 $E$ 为每部分内部的成对集合，令 $F = \binom{[n]}{2} \setminus E$ 作为构造 $k$-集合的定义域。
• 构造一个 $k$-集合族 $\mathcal{K}$，使得每个 $A_i$ 至少与 $\mathcal{K}$ 中的一个集合相交（其中一种例外情况包含两个交点），并定义 $H(A)$ 为来自不同 $A_i$ 的成对集合的集合，以确保覆盖所有 $k$-集合。
• 利用定理 2.1 中的度数与二度数条件，验证所构造的超图满足用 $\sim N/m$ 个集合覆盖 $[N]$ 的要求。
• 提供两种不同的下界证明，一种更为详细且具洞察力，二者均依赖图去除引理，表明渐近上不存在更小的控制集。

实验结果

研究问题

• RQ1 当 $n \to \infty$ 时，对于固定的 $k \geq 3$，控制数 $\gamma(G_{k,2})$ 的渐近值是什么？
• RQ2 Badakhshian、Katona 与 Tuza 关于 $\gamma(G_{k,2})$ 渐近行为的猜想是否正确？
• RQ3 图去除引理能否有效应用于推导 $n$-立方体两层定义的二分图中控制数的紧致下界？
• RQ4 $n$-立方体中 $k$-集合与 $2$-集合的结构特性如何影响最小控制集的大小？
• RQ5 类似方法能否推广至确定 $\ell > 2$ 时的 $\gamma(G_{k,\ell})$，特别是 $\ell = 3$ 的情形？

主要发现

• 本文证明了当 $n \to \infty$ 时，对于固定的 $k \geq 3$，有 $\gamma(G_{k,2}) = \frac{k+3}{2(k-1)(k+1)}n^2 + o(n^2)$，证实了先前研究中的猜想。
• 上界通过将 $[n]$ 划分为 $k-1$ 个相等部分并利用超图正则性定理的构造方法建立，确保覆盖所有 $k$-集合与 $2$-集合。
• 下界通过图去除引理推导，表明任何控制集的大小至少为 $\frac{k+3}{2(k-1)(k+1)}n^2 + o(n^2)$，与上界一致。
• 对于 $k=5, \ell=3$，本文给出了上界 $\gamma(G_{5,3}) \leq \frac{1}{3}\binom{n}{3} + o(n^3)$，暗示可能存在渐近紧致性。
• 对于 $k=4, \ell=3$，本文建立了 $\gamma(G_{4,3}) \leq \frac{17}{27}\binom{n}{3} + o(n^3)$，其构造基于三等分与度数分析。
• 作者猜想，定理 5.1 中的下界对所有固定的 $k > \ell \geq 2$ 在 $n \to \infty$ 时均为渐近紧致，表明 $\gamma(G_{k,\ell})$ 存在一般性规律。