[論文レビュー] A superadditivity and submultiplicativity property for cardinalities of sumsets

Katalin Gyarmati, Imre Z. Ruzsa+1 more|ArXiv.org|Jul 18, 2007

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

ひとこと要約

本稿は、整数の有限集合および可換半群における和集合の濃度に関して、超加法的および乗法的下界不等式を確立する。$n$-重和集合 $S = A_1 + \cdots + A_n$ のサイズは、$S_i$ を一つの集合を除いた $(n-1)$-重和集合とするとき、$|S| \geq \frac{1}{k-1}\sum |S_i| - \frac{1}{k-1}$ を満たし、さらに $|S| \leq \left(\prod |S_i|\right)^{1/(k-1)}$ が成り立つ。これは指数的成長の下界を示しており、カウチ＝ダヴェンポートおよびレーヴ型の不等式を異種の和集合へ一般化し、ねじれのない群や制限付き加法グラフへの応用を含む。

ABSTRACT

For finite sets of integers $A_1, A_2 ... A_n$ we study the cardinality of the $n$-fold sumset $A_1+... +A_n$ compared to those of $n-1$-fold sumsets $A_1+... +A_{i-1}+A_{i+1}+... A_n$. We prove a superadditivity and a submultiplicativity property for these quantities. We also examine the case when the addition of elements is restricted to an addition graph between the sets.

研究の動機と目的

• 有限整数集合を和項とする $n$-重和集合の濃度に関する超加法的性質の確立。
• 可換半群における和集合サイズの成長に関する乗法的下界不等式の証明。
• これらの結果をねじれのない群および加法グラフによる制限付き加法の設定に拡張すること。
• カウチ＝ダヴェンポートおよびレーヴの結果 $|3A| \geq \frac{3}{2}|2A| - \frac{1}{2}$ を、任意の異なる和項を持つ有限集合へ一般化すること。
• $|kA|^{1/k}$ の振る舞いを調査し、ルツァの予想を支持する形でその単調減少性を確認すること。

提案手法

• $S = A_1 + \cdots + A_k$ および $S_i = A_1 + \cdots + A_{i-1} + A_{i+1} + \cdots + A_k$ を定義する。ここで $S_i$ は $A_i$ を除いた和集合である。
• $A_i$ の最小および最大要素を含む二要素部分集合 $A_i'$ を用いて $S_i'$ を構成する。
• $S' = \bigcup_{i=1}^k S_i'$ を定義し、組合せ論的および極値的集合論的議論により $|S| \geq |S'| \geq \frac{1}{k-1}\sum |S_i| - \frac{1}{k-1}$ を証明する。
• プラウンネッケ型不等式を用い、定理4.2を繰り返し適用することで、大きな部分集合を持つ和集合のサイズを抑え、倍数の制御された部分集合 $X \subset A$ の存在を保証する。
• 定理4.4を適用し、$B = B_1 + \cdots + B_h$ とおくとき、$|X + B|$ が $s = \prod |A + B_i|$ の関数として有界であるような、$t$ より大きなサイズの部分集合 $X$ を見つける。
• $k$ 重直積によるスケーリングの議論を用いて、中間的な境界における係数2を除去し、最終的に $|S + A| \leq \sqrt{s|S|}$ を証明する。

実験結果

リサーチクエスチョン

• RQ1 不等式 $|3A| \geq \frac{3}{2}|2A| - \frac{1}{2}$ は、異種の和集合 $A + B + C$ へ拡張可能か？
• RQ2 超加法的不等式 $|S| \geq \frac{1}{k-1}\sum |S_i| - \frac{1}{k-1}$ は、任意の有限整数集合に対して成り立つか？
• RQ3 可換半群における和集合に関して、乗法的下界 $|S| \leq \left(\prod |S_i|\right)^{1/(k-1)}$ は有効か？
• RQ4 ねじれのない群において、最小/最大要素が定義されない場合でも、超加法的および乗法的下界性は拡張可能か？
• RQ5 制限付き加法（例えばグラフ上）において、不等式 $|S + A| \leq \sqrt{|A+B_1||A+B_2||S|}$ が成り立つか？

主な発見

• 有限整数集合に対して、超加法的不等式 $|S| \geq \frac{1}{k-1}\sum_{i=1}^k |S_i| - \frac{1}{k-1}$ が成り立ち、等号は等差数列である場合に達成可能である。
• 可換半群における有限集合に対して、乗法的下界 $|S| \leq \left(\prod_{i=1}^k |S_i|\right)^{1/(k-1)}$ が証明され、$k=3$ の既知の結果を一般化する。
• ねじれのない群では、適切な順序付けにおける最小および最大要素を含む二要素部分集合 $A_i'$ を用いた超加法的結果が成り立つ。
• $|kA|^{1/k}$ の成長が非増加であることが示され、ルツァの予想が裏付けられる。この証明にはプラウンネッケ型不等式が用いられる。
• 中間境界における係数2を除去するための $k$ 重直積の使用法により、鋭い不等式 $|S + A| \leq \sqrt{s|S|}$ が得られる。
• 結果は加法グラフへ拡張可能であるが、一般には乗法的下界不等式は成り立たない。