[论文解读] Random sum-free subsets of Abelian groups

József Balogh, Robert Morris+1 more|arXiv (Cornell University)|Mar 10, 2011

Limits and Structures in Graph Theory参考文献 20被引用 4

一句话总结

本文刻画了阿贝尔群随机子集中最大大小和自由子集的结构，表明当阿贝尔群 $ G $ 满足 $ |G| $ 被满足 $ q \equiv 2 \pmod{3} $ 的素数 $ q $ 整除时，若随机子集足够稠密，则此类子集通常包含于 $ G $ 的最大和自由子集中。对于 $ \mathbb{Z}_{2n} $，利用加法组合论中的转移定理与稳定性结果，建立了该性质的精确阈值。

ABSTRACT

We characterize the structure of maximum-size sum-free subsets of a random subset of an Abelian group $G$. In particular, we determine the threshold $p_c \approx \sqrt{\log n / n}$ above which, with high probability as $|G| o \infty$, each such subset is contained in a maximum-size sum-free subset of $G$, whenever $q$ divides $|G|$ for some (fixed) prime $q$ with $q \equiv 2 \pmod 3$. Moreover, in the special case $G = \ZZ_{2n}$, we determine a sharp threshold for the above property. The proof uses recent 'transference' theorems of Conlon and Gowers, together with stability theorems for sum-free subsets of Abelian groups.

研究动机与目标

• 确定一个临界密度阈值，使得以高概率，随机阿贝尔群 $ G $ 的子集中的最大大小和自由子集，均包含于 $ G $ 的某个最大大小和自由子集中。
• 建立该结构包含性质在随机和自由子集中的阈值函数的存在性及其精确值，特别关注当 $ |G| $ 被满足 $ q \equiv 2 \pmod{3} $ 的素数 $ q $ 整除时的情形。
• 针对群 $ \mathbb{Z}_{2n} $ 证明一个精确的阈值结果，即从不包含到包含的转变恰好发生在临界密度处。
• 通过结合转移原理与和自由集的稳定性定理，拓展对随机极值加法组合问题的理解。
• 解决关于 $ \mathbb{Z}_n $ 中随机子集中最大和自由子集结构的长期悬而未决问题，建立在随机组合学的最新进展之上。

提出的方法

• 利用 Conlon 和 Gowers 的最新转移定理，将稠密集中的结果推广到阿贝尔群中的随机稀疏集。
• 应用阿贝尔群中和自由子集的稳定性定理，特别是 Green 和 Ruzsa 的结果，分析极值和自由集的结构。
• 使用 Janson 不等式控制与候选和自由子集相关联的随机图中无边的概率，从而控制异常配置的期望数量。
• 引入对三元组 $ (S, T, U) $ 的精细计数论证，代表潜在的和自由配置，通过指数矩估计控制此类配置的期望数量。
• 采用概率方法结合矩界与尾概率估计，根据 $ \mu' $ 与 $ \Delta' $ 的相对大小区分情形，以控制非结构化和自由集数量的期望。
• 利用二项式系数的渐近估计与对数界控制配置数的增长，确保所有坏配置的总期望趋于零。

实验结果

研究问题

• RQ1 当 $ q \mid |G| $ 且 $ q \equiv 2 \pmod{3} $ 时，对于哪些密度 $ p $，以高概率，随机阿贝尔群 $ G $ 的子集中每个最大大小和自由子集都包含于 $ G $ 的某个最大大小和自由子集中？
• RQ2 随机 $ \mathbb{Z}_{2n} $ 子集中该结构包含性质的精确阈值函数 $ p_c(n) $ 是什么？该阈值是否精确？
• RQ3 从稠密情形到随机情形的转移定理如何应用于阿贝尔群中和自由集的问题？会涌现出何种结构约束？
• RQ4 能否证明‘坏’和自由配置（即不包含于任何极大和自由集中的配置）的期望数量在 $ n \to \infty $ 时趋于零？在何种条件下成立？
• RQ5 和自由集的稳定性定理在证明随机和自由集继承其所在群的极值和自由集结构方面起到何种作用？

主要发现

• 对于满足 $ |G| $ 被素数 $ q \equiv 2 \pmod{3} $ 整除的阿贝尔群 $ G $，存在一个阈值 $ p_c $，使得当 $ p \gg p_c $ 时，以高概率，随机子集中的每个最大大小和自由子集都包含于 $ G $ 的某个最大大小和自由子集中。
• 在 $ G = \mathbb{Z}_{2n} $ 的特殊情形下，该结构包含性质的阈值是精确的，意味着从不包含到包含的转变恰好发生在临界密度处。
• 对于 $ \mathbb{Z}_{2n} $，阈值函数被证明是精确的，即当 $ p > (1+\varepsilon)p_c $ 时性质成立，而当 $ p < (1-\varepsilon)p_c $ 时性质不成立，对任意固定的 $ \varepsilon > 0 $ 成立。
• 不包含于 $ G $ 的任何极大和自由子集中的大小为 $ k $ 的和自由子集的期望数量以 $ n^{-\varepsilon k} $ 或更快速度衰减，从而确保此类配置在渐近意义上消失。
• 证明依赖于使用 Janson 不等式与矩估计控制‘坏’配置数量的期望，表明其总期望随 $ n \to \infty $ 而趋于零。
• 作者证明，当 $ p \gg n^{-1/2} $ 时，随机子集中的最大和自由子集的结构在渐近意义上与全群中的结构相同，从而证实了所猜想的结构稳定性。