[論文レビュー] The sum-capture problem for abelian groups

John Steinberger|arXiv (Cornell University)|Sep 22, 2013

Complexity and Algorithms in Graphs参考文献 3被引用数 4

ひとこと要約

この論文は、有限アーベル群 G のサイズ |G|^α のランダム部分集合 A に対する和捕捉関数 μ(A) に対して、タイトな上界を確立している。高確率で μ(A) ≤ |A|³/|G| + 4|A|^{3/2}√(ln|G|) が成り立つ。この結果は、Mennink と Preneel が提起した α ≤ 2/3 の場合における μ(A) の挙動に関する予想の第二半分を、フーリエ解析とアーベル群におけるランダム集合の集中不等式を用いて裏付けたものである。

ABSTRACT

Let $G$ be a finite abelian group, let $0 < α< 1$, and let $A \subseteq G$ be a random set of size $|G|^α$. We let $$ μ(A) = \max_{B,C:|B|=|C|=|A|}|\{(a,b,c) \in A imes B imes C : a = b + c \}|. $$ The issue is to determine upper bounds on $μ(A)$ that hold with high probability over the random choice of $A$. Mennink and Preneel \cite{BM} conjecture that $μ(A)$ should be close to $|A|$ (up to possible logarithmic factors in $|G|$) for $α\leq 1/2$ and that $μ(A)$ should not much exceed $|A|^{3/2}$ for $α\leq 2/3$. We prove the second half of this conjecture by showing that $$ μ(A) \leq |A|^3/|G| + 4|A|^{3/2}\ln(|G|)^{1/2} $$ with high probability, for all $0 < α< 1$. We note that $3α- 1 \leq (3/2)α$ for $α\leq 2/3$. In previous work, Alon et al$.$ have shown that $μ(A) \leq O(1)|A|^3/|G|$ with high probability for $α\geq 2/3$ while Kiltz, Pietrzak and Szegedy show that $μ(A) \leq |A|^{1 + 2α}$ with high probability for $α\leq 1/4$. Current bounds on $μ(A)$ are essentially sharp for the range $2/3 \leq α\leq 1$. Finding better bounds remains an open problem for the range $0 < α< 2/3$ and especially for the range $1/4 < α< 2/3$ in which the bound of Kiltz et al$.$ doesn't improve on the bound given in this paper (even if that bound applied). Moreover the conjecture of Mennink and Preneel for $α\leq 1/2$ remains open.

研究の動機と目的

• サイズ |G|^α のランダム部分集合 A ⊆ G に対して、和捕捉関数 μ(A) = max_{|B|=|C|=|A|} |{(a,b,c) ∈ A×B×C : a = b+c}| の高確率上界を特定すること。
• Mennink と Preneel が提起した予想の第二半分、すなわち α ≤ 2/3 の場合に μ(A) が高確率で O(|A|^{3/2}) であるという主張を解決すること。
• 1/4 < α < 2/3 の範囲で、従来の結果が新たな境界を上回らない領域において、μ(A) の境界を改善すること。
• カイリー図の擬似ランダム性に関する結果を提示し、2つのランダムサイズの集合間の辺数が期待値よりも著しく大きくならないことを示すこと。

提案手法

• 群 G = ℤ₂ⁿ におけるフーリエ解析を用い、a = b + c の解の個数をフーリエ係数の和として表現する：|{(a,b,c) : a=b+c}| = |G|² ∑_{S⊆[n]}  ŵ_A(S)ŵ_B(S)ŵ_C(S)。
• Hayes (2006) の結果を応用し、ランダム部分集合 A に対する最大非主係数の上界を示す。高確率で、すべての S ≠ ∅ に対して |ŵ_A(S)| ≤ (4/|G|)√(ln|G| ⋅ |A|) が成り立つ。
• コーシー・シュワーツの不等式を用いて、フーリエ係数の積の和を評価する：∑_{S≠∅} |ŵ_A(S)ŵ_B(S)ŵ_C(S)| ≤ (1/|G|)√(|B||C|) ⋅ max_S |ŵ_A(S)|。
• フーリエ係数の上界とコーシー・シュワーツの推定値を組み合わせ、主要な不等式を導出する：μ(A,B,C) ≤ |A||B||C|/|G| + 4√(ln|G| ⋅ |A||B||C|)。
• この不等式を、すべてのサイズ |A| の B, C における最大値に拡張し、高確率で μ(A) ≤ |A|³/|G| + 4|A|^{3/2}√(ln|G|) が成り立つことを示す。
• 結果をランダムカイリー図の観点から解釈し、サイズ |A| の2つの集合間の辺数が、一様ランダム性のもとで期待値よりも著しく大きくならないことを示す。

実験結果

リサーチクエスチョン

• RQ1 有限アーベル群 G のランダム部分集合 A ⊆ G に対して、サイズ |G|^α の場合に、和捕捉関数 μ(A) の最良の高確率上界は何か？
• RQ2 Mennink と Preneel が提起した予想、すなわち α ≤ 2/3 の場合に μ(A) が高確率で O(|A|^{3/2}) であるという主張は真か？
• RQ3 1/4 < α < 2/3 の範囲で、従来の境界が最適でない領域において、μ(A) の境界を改善できるか？
• RQ4 ランダム部分集合 A の構造は、アーベル群における a = b + c の解の個数にどのように影響するか？
• RQ5 予想されたように、μ(A) ≈ max(|A|, |A|³/|G|) が対数的要因を除いてタイトであるか、すなわちその境界はタイトか？

主な発見

• 論文は、|A| = |G|^α であるランダムな A ⊆ G の選択に対して、高確率ですべての 0 < α < 1 に対して μ(A) ≤ |A|³/|G| + 4|A|^{3/2}√(ln|G|) が成り立つことを証明した。
• この境界は、A, B, C が一様ランダムである場合の期待解数と一致しており、α < 2/3 の場合に第二項が支配的になるため、最適性を示している。
• この結果により、Mennink-Preneel 予想の第二半分が裏付けられ、α ≤ 2/3 の場合に μ(A) が高確率で O(|A|^{3/2}) であることが示された。
• 1/4 < α < 2/3 の範囲で、Kiltz らの境界（|A|^{1+2α}）が新たな境界を上回らない領域において、この境界が従来の結果を改善している。
• この結果は、|A||B|² ≥ |G|² のとき、a = b + c の最大解数が期待値よりも著しく大きくならないことを示しており、擬似ランダム性の性質を確立している。
• 第二項の定数 4 は、任意の h > 0 に対して 2√2 + h に置き換え可能であり、境界がほぼタイトであることを示している。