[论文解读] 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.

研究动机与目标

• 确定 μ(A) 的紧致上界，即在有限阿贝尔群 G 中大小为 |A| 的随机子集 A、B、C 中，a = b + c 的解的最大数量。
• 解决 Mennink 和 Preneel 的猜想，即当 α ≤ 1/2 时 μ(A) 应接近 |A|，当 α ≤ 2/3 时 μ(A) 至多为 O(|A|^{3/2})。
• 在 0 < α < 2/3 范围内改进现有上界，特别是在先前结果弱于新边界的区域。

提出的方法

• 使用加法组合论中的概率方法，分析随机子集 A、B、C 中 a = b + c 的解的期望数量。
• 应用集中不等式来控制解数的尾部概率，确保高概率结果。
• 推导出主要上界：以高概率有 μ(A) ≤ |A|³/|G| + 4|A|^{3/2}√(ln|G|)，该结果基于 A 的随机选择。
• 将新边界与 Alon 等人（α ≥ 2/3 时）和 Kiltz 等人（α ≤ 1/4 时）的先前结果进行比较，表明在 1/4 < α < 2/3 范围内实现了改进。
• 利用随机集的结构和群论性质，控制加法三元组的数量。

实验结果

研究问题

• RQ1 在有限阿贝尔群 G 的大小为 |G|^α 的随机子集 A 中，加法解数 μ(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})。
• 该边界改进了 Alon 等人对 α ≥ 2/3 的 O(|A|³/|G|) 结果，尽管后者在该范围内已基本最优。
• 对于 α ≤ 1/4，Kiltz 等人的边界弱于新边界，但新边界在 1/4 < α < 2/3 范围内仍提供了有意义的改进。
• Mennink 和 Preneel 猜想中 μ(A) ≈ |A| 对于 α ≤ 1/2 的部分仍为开放问题，表明对稀疏随机集的理解仍存在空白。