[論文レビュー] Popular difference sets

T. A. B. Sanders|arXiv (Cornell University)|Jul 31, 2008

graph theory and CDMA systems被引用数 5

ひとこと要約

この論文は、$\mathbb{F}_2^n$ 内の一般的な差集合 $D_c(A)$ の構造を調査し、$A+A = D_0(A)$ が $\exp(\Omega(n))$ のサイズの部分空間を含む一方で、$c>0$ が小さい場合の $D_c(A)$ は、大きな集合の和集合を含まない可能性があることを示している。確率論的およびフーリエ解析的技法を用いて、$A'+A' \subset D_c(A)$ かつ密度が $\exp(-O(n/\log c^{-1}))$ であるような集合 $A'$ を構成し、既知の上界にほぼ一致する。これにより、このような手法の限界に関する大きな空白が埋められた。

ABSTRACT

We provide further explanation of the significance of a construction in a recent paper of Wolf [Israel J. Math. 179 (2010), 253-278] in the context of the problem of finding large subspaces in sumsets.

研究の動機と目的

• $c>0$ が小さいときの $\mathbb{F}_2^n$ 内の一般的な差集合 $D_c(A)$ の構造的制限を理解すること。
• $D_c(A)$ が大きな集合の和集合を含めるかどうか、すなわち部分空間ではなくより洗練された構造的性質を満たすかどうかを調査すること。
• Wolf（2010年）による既知の上界と、本研究による下界との間のギャップを埋めること、すなわち $D_c(A)$ 内のこのような和集合の密度に関するギャップを埋めること。
• Gowersの手法と測度濃縮を用いて、$A'+A' \subset D_c(A)$ を満たす $A'$ のサイズに対する構成的・定量的下界を提供すること。

提案手法

• $r$ 個の独立なシフト $X_i + A$ を用いた確率的構成により、$A' = \bigcap_{i=1}^r (X_i + A)$ を定義し、測度濃縮を活用する。
• ホlderの不等式と期待値の上限を用いて、$x,y \in A'$ のとき $x+y \in D_c(A)$ である確率を制御し、このようなペアの密度を高める。
• パラメータ $\sigma$ を導入し、$x+y \notin D_c(A)$ となるペアの割合を制御し、$r = \lceil \log(2\sigma^{-1}) / \log c^{-1} \rceil$ を最適化する。
• 鳩の巣原理を用いて、$A_1$ の部分集合 $A_2 \subset A_1$ を抽出し、$A_2 + A_2 \subset D_c(A)$ を保証する。
• $\sigma$ と $A_1$ のサイズをバランスさせることで最終的な密度上限を最適化し、明示的な不等式 $|A'| \geq \lfloor \alpha^3 2^{n(1 - \log \alpha^{-1}/\log c^{-1})} / 12 \rfloor$ を得る。
• GowersによるBalog-Szemerédi定理の証明を活用し、$\log \alpha^{-1}$ に依存する密度を得ることで、フーリエ解析的手法に比べて強い構造的制御を実現する。

実験結果

リサーチクエスチョン

• RQ1 $c>0$ が小さいときの $D_c(A)$ は、大きな集合の和集合を含めるのか、それとも構造的にあまりに疎すぎるのか？
• RQ2 Wolf（2010年）による $\exp(-\Omega(n/\log^2 c^{-1}))$ の既知の上界に、$A'$ に対して $A'+A' \subset D_c(A)$ を満たす密度の観点からどれほど近づけるか？
• RQ3 ランダムシフトと交差を用いた確率的手法は、従来のフーリエ解析的手法に比べてより良い密度依存性を達成できるか？
• RQ4 この構成は明示的かつ定量的にタイトにできるか？ すなわち、Wolf（2010年）による既知の極値例にほぼ一致するか？
• RQ5 $c$ と $A'$ の密度との間の最適なトレードオフは何か？ ただし $A'+A' \subset D_c(A)$ を満たすものとする。

主な発見

• 本研究では、$A'+A' \subset D_c(A)$ かつ $|A'| \geq \lfloor \alpha^3 2^{n(1 - \log \alpha^{-1}/\log c^{-1})} / 12 \rfloor$ を満たす集合 $A'$ を構成し、このような和集合のサイズに対する強い下界を提供した。
• 密度依存性は $\exp(-O(n/\log c^{-1}))$ であり、Wolf（2010年）による既知の上界 $\exp(-\Omega(n/\log^2 c^{-1}))$ にほぼ一致し、大きなギャップが埋まった。
• 構成では、$r = \lceil \log(2\sigma^{-1}) / \log c^{-1} \rceil$ 個のランダムシフトを用いた確率的手法を採用し、$A'$ のほとんどすべてのペアが $D_c(A)$ 内に和を取ることを保証した。
• ランダム部分集合 $A_1$ に対して鳩の巣原理を適用することで、$A_2 + A_2 \subset D_c(A)$ かつサイズが少なくとも $\lfloor \sigma^{-1}/8 \rfloor$ であるような部分集合 $A_2$ を抽出し、$\sigma$ に関して最適化した。
• $\log \alpha^{-1}$ に依存する密度を得ることで、フーリエ解析的手法に比べて密度依存性が強化され、より強い構造的制御が可能であることが示された。
• この境界はほぼ最適である：指数部の対数因子を除き、既知の極値例と一致しており、この手法がタイトに近いことが示唆された。