[논문 리뷰] Counting sum-free sets in Abelian groups

Noga Alon, József Balogh외 2명|arXiv (Cornell University)|2012. 01. 31.

Limits and Structures in Graph Theory참고 문헌 24인용 수 5

한 줄 요약

이 논문은 유한 아벨 군에서 합-free 집합에 대한 그린과 루즈카의 정리의 희박한 버전을 수립하며, 소수 $ q \equiv 2 \pmod{3} $ 로 나누어지는 순서 $ n $ 인 군에 대해, 크기가 $ m \geq C(q)\sqrt{n\log n} $ 인 거의 모든 합-free 부분집합이 최대 크기의 합-free 부분집합에 포함됨을 증명한다. 저자들은 3-균형 초그래프와 스펙트럼 방법을 사용하여 밀도 있는 안정성 결과로부터 희박한 구조적 결과를 도출하는 일반적인 프레임워크를 개발하였으며, 이러한 집합의 정확한 점근적 수와 일반적인 구조를 도출한다.

ABSTRACT

In this paper we study sum-free sets of order $m$ in finite Abelian groups. We prove a general theorem on 3-uniform hypergraphs, which allows us to deduce structural results in the sparse setting from stability results in the dense setting. As a consequence, we determine the typical structure and asymptotic number of sum-free sets of order $m$ in Abelian groups $G$ whose order is divisible by a prime $q$ with $q \equiv 2 \pmod 3$, for every $m \ge C(q) \sqrt{n \log n}$, thus extending and refining a theorem of Green and Ruzsa. In particular, we prove that almost all sum-free subsets of size $m$ are contained in a maximum-size sum-free subset of $G$. We also give a completely self-contained proof of this statement for Abelian groups of even order, which uses spectral methods and a new bound on the number of independent sets of size $m$ in an $(n,d,λ)$-graph.

연구 동기 및 목표

• 유한 아벨 군에서 합-free 집합에 대한 그린과 루즈카의 구조적 결과의 희박한 해석을 수립하기 위해.
• 순서가 소수 $ q \equiv 2 \pmod{3} $ 로 나누어지는 아벨 군 $ G $ 에서 크기가 $ m $ 인 합-free 집합의 일반적인 구조와 점근적 수를 규명하기 위해.
• 덧셈 조합론에서 밀도 있는 안정성 결과로부터 희박한 구조적 결과를 도출하는 일반적인 방법을 개발하기 위해.
• 크기가 $ m \geq C(q)\sqrt{n\log n} $ 인 거의 모든 합-free 부분집합이 최대 크기의 합-free 부분집합에 포함됨을 증명하기 위해.

제안 방법

• 밀도 있는 안정성 결과와 희박한 구조적 결과를 연결하기 위해 3-균형 초그래프에 관한 일반 정리를 개발한다.
• $ (n,d,\lambda) $-그래프에서 크기 $ m $ 의 독립집합의 수를 유계하기 위해 스펙트럼 방법을 적용한다.
• 특성 이론과 고유값 유계를 사용하여 합-free 집합과 관련된 카일리 그래프를 분석한다.
• 체르노프 부등식과 유니온 바운드를 사용하여 랜덤 부분집합에서 고유값의 집중을 제어한다.
• 유한 아벨 군의 특성의 구조가 카일리 그래프 인접행렬의 고유벡터로서 작용함을 활용한다.
• 초그래프 정규성과 스펙트럼 기법을 조합하여 희박한 그래프에서 큰 독립집합이 전체 그래프의 큰 독립집합에 포함됨을 증명한다.

실험 결과

연구 질문

• RQ1 크기가 큰데 선형이 아닌 경우, 유한 아벨 군에서 크기가 $ m $ 인 합-free 부분집합의 일반적인 구조는 무엇인가요?
• RQ2 유형 I(즉, 소수 $ q \equiv 2 \pmod{3} $ 를 약수로 가지는) 아벨 군에서 크기가 $ m $ 인 합-free 부분집합은 몇 개인가요?
• RQ3 이러한 군에서 크기가 $ m $ 인 거의 모든 합-free 집합이 최대 크기의 합-free 부분집합에 포함되는가요?
• RQ4 밀도 있는 설정에서의 안정성 결과를 사용하여 합-free 집합에 대한 희박한 설정에서의 구조적 결과를 도출할 수 있는가요?

주요 결과

• 순서 $ n $ 인 아벨 군 $ G $ 가 소수 $ q \equiv 2 \pmod{3} $ 로 나누어지면, 크기가 $ m \geq C(q)\sqrt{n\log n} $ 인 거의 모든 합-free 부분집합은 $ G $ 의 최대 크기의 합-free 부분집합에 포함된다.
• 이러한 군에서 크기가 $ m $ 인 합-free 집합의 점근적 수는 $ \binom{n/2}{m} $ 이며, 지수적 요소를 제외한 상수 인자까지 고려할 때, 주로 최대 크기의 합-free 부분집합 내부에 있는 집합들에 의해 결정된다.
• $(n,d,\lambda)$-그래프에서 크기 $ m $ 의 독립집합의 수에 대한 새로운 스펙트럼 유계가 확립되었으며, 이는 증명의 핵심 요소이다.
• 짝수 순서를 가진 군에 대해 스펙트럼 방법과 새로운 독립집합 유계를 사용하여 자가 포함된 증명을 제공한다.
• 이 프레임워크는 초그래프 및 스펙트럼 기법을 통해 덧셈 조합론에서 밀도 있는 설정의 구조적 안정성 결과를 희박한 설정으로 이전하는 데 유용하다.