[论文解读] Projections, Entropy and Sumsets

Paul Balister, Béla Bollobás|arXiv (Cornell University)|Nov 7, 2007

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

一句话总结

本文推广了Shearer的熵不等式，并通过一种新颖而简洁的熵不等式，将基于投影的和集不等式扩展到更广泛的框架，统一并强化了先前的结果。该方法被用于推导阿贝尔群中和集的新界，特别是推广了Cauchy–Davenport定理，并将Gyarmati、Matolcsi和Ruzsa在非阿贝尔群和挠群中的结果进行了扩展。

ABSTRACT

In this paper we have shall generalize Shearer's entropy inequality and its recent extensions by Madiman and Tetali, and shall apply projection inequalities to deduce extensions of some of the inequalities concerning sums of sets of integers proved recently by Gyarmati, Matolcsi and Ruzsa. We shall also discuss projection and entropy inequalities and their connections.

研究动机与目标

• 将Shearer的熵不等式推广为一个更广义的、能统一包含Shearer与Madiman-Tetali结果的双侧不等式框架。
• 应用投影不等式，推导出Gyarmati、Matolcsi和Ruzsa关于整数集与阿贝尔群的近期和集不等式的新型扩展。
• 研究投影不等式、熵不等式与有限群中和集增长之间的联系。
• 提出关于群和集中“框状”极值结构存在的猜想，将框定理推广至非阿贝尔群与挠群。

提出的方法

• 提出一种新的熵不等式，它同时推广了Shearer与Madiman-Tetali的结果，证明其虽简单但具有普遍适用性。
• 利用[n]的均匀k覆盖概念，推导出体的体积不等式，再将其转化为熵不等式与和集不等式。
• 将均匀覆盖不等式应用于Z^n的有限子集，得到|S|^k ≤ ∏|S_A|，其中A为[n]的均匀k覆盖。
• 通过格点计数与区间标记技术，将几何投影不等式转化为离散和集不等式。
• 在k份S'的副本上采用构造性标记过程，以投影S_A表示|S|的上界，从而证明定理9与推论10。
• 通过Cauchy–Davenport定理的类比，将结果推广至无挠阿贝尔群与有限群，包括非阿贝尔群。

实验结果

研究问题

• RQ1 能否将Shearer的熵不等式推广为一个双侧不等式，使其同时涵盖Shearer与Madiman-Tetali的结果？
• RQ2 投影不等式是否能在Cauchy–Davenport设定之外，为阿贝尔群与非阿贝尔群中的集合提供更强的和集界？
• RQ3 是否存在群论意义上的框定理类比，使得极值和集可表示为具有受控增长的群元素的乘积？
• RQ4 和集增长不等式|S| - 1 ≥ ∑(|S_i| - 1)能否推广至非均匀覆盖与非阿贝尔群？
• RQ5 群中和集增长的极值结构是否类似于几何框定理中所见的框状结构？

主要发现

• 本文建立了一种新颖且简洁的熵不等式，它同时推广了Shearer与Madiman-Tetali的双侧熵不等式。
• 证明了对于任意有限子集S ⊆ Z^n及[n]的任意均匀k覆盖A，不等式|S|^k ≤ ∏|S_A|成立，从而推广了Loomis-Whitney不等式。
• 对于无挠阿贝尔群，本文证明了存在常数σ_i，使得|S| - 1 = ∑σ_i，且对所有A ⊆ [n]，有|S_A| - 1 ≤ ∑_{i∈A} σ_i。
• Cauchy–Davenport定理被推广至有限群：若S = S₁ ⋆ … ⋆ S_n在群G中，则要么|S| ≥ p，要么|S| - 1 ≥ ∑(|S_i| - 1)，其中p是|G|的最小素因子。
• 本文通过在k份S'的副本上构造标记论证，证明了定理9，表明标记元素的数量被限制在k(|S'| - 1)以内，从而导出和集不等式。
• 提出了两个猜想：一个将框定理推广至群和集（猜想13），另一个将σ_i分解推广至极小乘积集（猜想14），两者均适用于非阿贝尔群与挠群。