[논문 리뷰] The sum-capture problem for abelian groups

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

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)의 경계를 향상시키는 것.
• 카일리 그래프에 대한 의사난수 성질을 제공하는 것: 두 랜덤 크기의 집합 사이의 간선 수가 기대값보다 유의미하게 크지 않다는 것을 보여주는 것.

제안 방법

• 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|)임을 보인다.
• 코시-슈바르츠 부등식을 사용하여 푸리에 계수의 곱의 합을 bound한다: ∑_{S≠∅} |ŵ_A(S)ŵ_B(S)ŵ_C(S)| ≤ (1/|G|)√(|B||C|) ⋅ max_S |ŵ_A(S)|.
• 푸리에 계수의 bound와 코시-슈바르츠 추정치를 조합하여 주요 부등식을 유도한다: μ(A,B,C) ≤ |A||B||C|/|G| + 4√(ln|G| ⋅ |A||B||C|).
• 이를 B, C가 크기 |A|인 모든 조합에 대해 최대화하여, 거의 확실히 μ(A) ≤ |A|³/|G| + 4|A|^{3/2}√(ln|G|)를 유도한다.
• 결과를 랜덤 카일리 그래프 관점에서 해석하여, 크기가 |A|인 두 집합 사이의 간선 수가 균일 무작위성 하에서 기대값보다 유의미하게 크지 않다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 유한 아벨 군에서 크기가 |G|^α인 랜덤 부분집합 A ⊆ 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의 크기가 |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로 대체 가능하며, 이는 경계가 거의 최적임을 시사한다.