[論文レビュー] 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集合を生成する一般化された手法を提供すること。
• 有限集合がより多くの和をもつための構造的条件を特定すること。

提案手法

• 対称的一般化算術級数に1つの要素を付加することでMSTD集合を構成し、その基底集合を B = [0, m−1] \ {d} と定義し、L = {m−d, 2m−d, ..., km−d} を構成し、a* = (k+1)m − 2d を中心として対称性を保つ。
• 和集合 |A+A| が |A−A| を上回ることを示すために、2m ∈ (A+A) \ (A*+A*) であるが |A−A| = |A*−A*| であることを示し、1, 4, 4k−4, 4k−2 などの差が A*−A* に含まれることに依拠する。
• G = Z/nZ × Z/2Z における群論的構成を用いて、Ω に属する部分集合 A の正の割合に対して A+A = G であることを証明し、MSTD集合を生成する。
• 確率論的および組合せ論的評価を用いて、Ψ(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 を中心として対称であることで、すべての k ≥ 3 に対してMSTD集合の明示的構成が可能である。
• 2m ∈ A+A であるが 2m ∉ A*+A* であり、すべての必要な差が保存されることを示すことにより、|A+A| > |A*+A*| = |A*−A*| = |A−A| が保証される。
• G = Z/nZ × Z/2Z の場合、A+A = G を満たす Ω に属する部分集合 A の数 Ψ(G) は、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であることが示される。