[论文解读] Sets with more sums than differences

Melvyn B. Nathanson|arXiv (Cornell University)|Aug 6, 2006

graph theory and CDMA systems参考文献 1被引用 14

一句话总结

本文通过在对称广义等差数列中通过战略性地插入元素来构造显式无限族的MSTD集合——即整数的有限子集，其不同和的数量多于不同差的数量。主要贡献在于提出了一种通用的构造方法，并证明此类集合具有正密度，从而解决了关于其在加法组合学中丰富程度与结构的长期悬而未决的问题。

ABSTRACT

Let A be a finite subset of the integers or, more generally, of any abelian group, written additively. The set A has "more sums than differences" if |A+A|>|A-A|. A set with this property is called an MSTD set. This paper gives explicit constructions of families of MSTD sets of integers.

研究动机与目标

• 构造整数中MSTD集合的显式无限族，使得 |A+A| > |A−A|。
• 通过证明MSTD集合具有正密度，解决其在集合中是稀有还是常见的开放性问题。
• 提供一种从有限阿贝尔群子集生成MSTD集合的一般方法。
• 表征使一个集合具有更多和多于差的结构条件。

提出的方法

• 通过向一个通过移除一个元素而扰动的对称广义等差数列中添加单个元素来构造MSTD集合。
• 定义基集 B = [0, m−1] \ {d}，并构造 L = {m−d, 2m−d, ..., km−d}，确保其关于 a* = (k+1)m − 2d 对称。
• 通过证明 2m ∈ (A+A) \ (A*+A*) 而 |A−A| = |A*−A*|，证明和集 |A+A| 超过 |A−A|，依赖于差如 1, 4, 4k−4, 4k−2 属于 A*−A* 的事实。
• 在 G = Z/nZ × Z/2Z 中使用群论构造来生成MSTD集合，通过证明对于 Ω 中正比例的子集 A ∈ Ω，有 A+A = G。
• 应用概率和组合界，表明此类集合的数量 Ψ(G) 满足 Ψ(G) ≥ 2^n(1 − c n / 2^{n/2})（当 n 为奇数或偶数时），从而表明其具有正密度。
• 利用仿射不变性：若 A 是MSTD集合，则对任意 x ≠ 0 和 y，x*A + {y} 也是MSTD集合。

实验结果

研究问题

• RQ1 能否构造整数中MSTD集合的显式无限族？
• RQ2 何种结构条件允许一个整数有限集具有更多和多于差？
• RQ3 MSTD集合在所有整数有限子集空间中是否具有正密度？
• RQ4 能否从有限阿贝尔群的子集系统性地生成MSTD集合？

主要发现

• 为所有 k ≥ 3 且 d < m/2，或 k ≥ 4 且 d > m/2，提供了显式构造：使用 B = [0, m−1] \ {d}，L = {m−d, ..., km−d}，以及 A = A* ∪ {m}，其中 A* 关于 a* = (k+1)m − 2d 对称。
• 该构造确保 |A+A| > |A*+A*| = |A*−A*| = |A−A|，通过证明 2m ∈ A+A 但 2m ∉ A*+A*，且所有必要的差均被保留。
• 对于 G = Z/nZ × Z/2Z，满足 A+A = G 的子集 A ∈ Ω 的数量满足：当 n 为奇数时 Ψ(G) ≥ 2^n(1 − √2 n / 2^{n/2})，当 n 为偶数时 Ψ(G) ≥ 2^n(1 − 2n / 2^{n/2})，从而证明了此类MSTD集合的正密度。
• 本文确认MSTD集合在 {1, 2, ..., n} 中存在正密度，扩展了O’Bryant的结果并提供了显式构造。
• 该方法可推广至所有有限阿贝尔群，且提供了一种构造性算法，可将MSTD集合从有限群提升至整数。
• 建立了MSTD性质的仿射不变性：若 A 是MSTD集合，则对任意 x ≠ 0 和 y，x*A + {y} 也是MSTD集合。