[論文レビュー] Counting solutions to additive equations in random sets.

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

Limits and Structures in Graph Theory被引用数 6

ひとこと要約

この論文は、有限アーベル群 G のランダム部分集合 A における a = b + c の形の加法的方程式の解の数に対して、高確率での上界を確立している。|A| = |G|^α のとき、すべての 0 < α < 1 に対して、高確率で μ(A) ≤ |A|³/|G| + 4|A|^{3/2}√(ln|G|) が成り立つ。これは、Mennink と Preneel の予想の第二半分を α ≤ 2/3 に対して確認するものである。

ABSTRACT

Let $G$ be a finite abelian group, let $0 < \alpha < 1$, and let $A \subseteq G$ be a random set of size $|G|^\alpha$. We let $$ \mu(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 $\mu(A)$ that hold with high probability over the random choice of $A$. Mennink and Preneel \cite{BM} conjecture that $\mu(A)$ should be close to $|A|$ (up to possible logarithmic factors in $|G|$) for $\alpha \leq 1/2$ and that $\mu(A)$ should not much exceed $|A|^{3/2}$ for $\alpha \leq 2/3$. We prove the second half of this conjecture by showing that $$ \mu(A) \leq |A|^3/|G| + 4|A|^{3/2}\ln(|G|)^{1/2} $$ with high probability, for all $0 < \alpha < 1$. We note that $3\alpha - 1 \leq (3/2)\alpha$ for $\alpha \leq 2/3$. In previous work, Alon et al$.$ have shown that $\mu(A) \leq O(1)|A|^3/|G|$ with high probability for $\alpha \geq 2/3$ while Kiltz, Pietrzak and Szegedy show that $\mu(A) \leq |A|^{1 + 2\alpha}$ with high probability for $\alpha \leq 1/4$. Current bounds on $\mu(A)$ are essentially sharp for the range $2/3 \leq \alpha \leq 1$. Finding better bounds remains an open problem for the range $0 < \alpha < 2/3$ and especially for the range $1/4 < \alpha < 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 $\alpha \leq 1/2$ remains open.

研究の動機と目的

• 有限アーベル群 G のランダム部分集合 A, B, C（|A| = |B| = |C|）における a = b + c の解の数 μ(A) のタイトな上界を特定すること。
• Mennink と Preneel が提起した予想、すなわち α ≤ 1/2 のとき μ(A) は |A| に近く、α ≤ 2/3 のとき μ(A) は O(|A|^{3/2}) 以下であるという予想を高確率で解消すること。
• 0 < α < 2/3 の範囲で、既存の境界を改善すること、特に過去の結果が新しい境界より弱い範囲で改善を図ること。

提案手法

• 加法的組合せ論における確率的手法を用いて、ランダム部分集合 A, B, C における a = b + c の解の期待値を分析する。
• 集中不等式を適用して、解の数の尾部確率を抑え、高確率の結果を保証する。
• 主な境界を導出：ランダムな A の選択に関して、高確率で μ(A) ≤ |A|³/|G| + 4|A|^{3/2}√(ln|G|) が成り立つ。
• Alon らの結果（α ≥ 2/3 の場合）および Kiltz らの結果（α ≤ 1/4 の場合）と比較し、1/4 < α < 2/3 の範囲で改善が得られることを示す。
• ランダム集合の構造と群論的性質を用いて、加法的三つ組の数を制御する。

実験結果

リサーチクエスチョン

• RQ1 有限アーベル群 G のランダム部分集合 A（|A| = |G|^α）における加法的解の数 μ(A) = |{(a,b,c) ∈ A×B×C : a = b + c}| の、最高の高確率上界は何か？
• RQ2 Mennink と Preneel が提起した予想、すなわち α ≤ 1/2 のとき μ(A) ≈ |A| であり、α ≤ 2/3 のとき μ(A) ≤ O(|A|^{3/2}) であるという予想は、高確率で成り立つか？
• RQ3 特に過去の境界が最適でない範囲で、0 < α < 2/3 の範囲においてよりタイトな境界を確立できるか？
• RQ4 Alon らおよび Kiltz らの既存の結果と比較して、α の異なる範囲における新しい境界の性能はいかがなものか？

主な発見

• この論文は、すべての 0 < α < 1 に対して、高確率で μ(A) ≤ |A|³/|G| + 4|A|^{3/2}√(ln|G|) が成り立つことを証明している。
• この境界は、Mennink と Preneel の予想の第二半分を確認しており、α ≤ 2/3 のとき μ(A) が O(|A|^{3/2}) を超えないことを示している。
• α ≥ 2/3 の範囲では、Alon らの O(|A|³/|G|) の結果よりも改善されているが、この範囲ではもともとほぼ最適な境界であるため、その差は小さい。
• α ≤ 1/4 の範囲では、Kiltz らの境界は新しい境界より弱いが、1/4 < α < 2/3 の範囲では依然として意味的な改善が得られている。
• α ≤ 1/2 のとき μ(A) ≈ |A| であるという予想は未解決のままであり、スパースなランダム集合における理解のギャップが示唆されている。