[논문 리뷰] Counting solutions to additive equations in random sets.

John Steinberger|arXiv (Cornell University)|2013. 09. 22.

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|인 무작위 집합 A, B, C에 대해 a, b, c ∈ A 이면서 a = b + c 를 만족하는 해의 수 μ(A)의 날카운 상한을 결정하는 것.
• Mennink과 Preneel의 추측을 해결하는 것: α ≤ 1/2 에서는 μ(A)가 |A|에 가까워야 하며, α ≤ 2/3 에서는 최대 O(|A|^{3/2})여야 한다는 것.
• 기존 결과보다 더 낳은 상한을 0 < α < 2/3 범위에서 확보하는 것, 특히 이전 결과가 새로운 상한보다 열악한 영역에서 개선하는 것.

제안 방법

• 덧셈 조합론의 확률적 방법을 사용하여, 크기가 |A|인 무작위 집합 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의 크기가 |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}) 를 초과하지 않음을 보여준다.
• α ≥ 2/3 에서는 Alon 등의 O(|A|³/|G|) 결과보다 개선되었지만, 이는 이미 그 범위에서 거의 최적임을 시사한다.
• α ≤ 1/4 에서는 Kiltz 등의 결과가 새로운 상한보다 열악하지만, 새로운 상한은 1/4 < α < 2/3 범위에서 의미 있는 개선을 제공한다.
• α ≤ 1/2 에서 μ(A) ≈ |A| 라는 추측은 여전히 미해결 상태이며, 희박한 무작위 집합의 이해에 여전히 격차가 있음을 시사한다.