[논문 리뷰] Random sum-free subsets of Abelian groups

József Balogh, Robert Morris외 1명|arXiv (Cornell University)|2011. 03. 10.

Limits and Structures in Graph Theory참고 문헌 20인용 수 4

한 줄 요약

이 논문은 아벨 군의 무작위 부분집합에서 최대 크기의 합-free 부분집합의 구조를 규명하며, 소수 $ q \equiv 2 \pmod{3} $ 에 대해 $ |G| $ 가 나누어지는 군 $ G $ 에서 이러한 부분집합들이 무작위 부분집합이 충분히 밀도가 높을 경우 일반적으로 $ G $ 의 최대 합-free 부분집합에 포함됨을 보여준다. $ \mathbb{Z}_{2n} $ 에서는 체계적 전이 정리와 가공 이론의 안정성 결과를 활용하여 이러한 성질에 대한 날카운 임계값을 확립한다.

ABSTRACT

We characterize the structure of maximum-size sum-free subsets of a random subset of an Abelian group $G$. In particular, we determine the threshold $p_c \approx \sqrt{\log n / n}$ above which, with high probability as $|G| o \infty$, each such subset is contained in a maximum-size sum-free subset of $G$, whenever $q$ divides $|G|$ for some (fixed) prime $q$ with $q \equiv 2 \pmod 3$. Moreover, in the special case $G = \ZZ_{2n}$, we determine a sharp threshold for the above property. The proof uses recent 'transference' theorems of Conlon and Gowers, together with stability theorems for sum-free subsets of Abelian groups.

연구 동기 및 목표

• 무작위 아벨 군 $ G $ 의 부분집합에서 최대 크기의 합-free 부분집합이 $ G $ 의 어떤 최대 크기의 합-free 부분집합에 포함되는 데 필요한 밀도 임계값을 규명하는 것.
• 특히 $ |G| $ 가 소수 $ q \equiv 2 \pmod{3} $ 로 나누어떨어지는 경우, 이러한 구조적 포함 성질에 대한 임계 함수의 존재성과 정확한 값을 규명하는 것.
• $ \mathbb{Z}_{2n} $ 에서 이 성질에 대한 날카운 임계값 결과를 증명하는 것. 이는 비포함에서 포함으로의 전이가 정확히 한 임계 밀도에서 발생함을 의미한다.
• 전이 원리와 합-free 집합에 대한 안정성 정리를 조합하여, 극단적 덧셈 조합론 문제의 무작위 해석을 확장하는 것.
• 최근 랜덤 조합론의 발전을 바탕으로, $ \mathbb{Z}_n $ 의 부분집합에서 가장 큰 합-free 부분집합의 구조에 대한 오랜 열린 문제를 해결하는 것.

제안 방법

• 콘론과 가우저의 최근 전이 정리를 활용하여 아벨 군에서 조밀한 집합의 결과를 무작위 희박 집합으로 확장한다.
• 특히 그린과 루즈사의 아벨 군에서의 합-free 부분집합에 대한 안정성 정리를 적용하여 극단적 합-free 집합의 구조를 분석한다.
• 제이슨스 부등식을 사용하여 후보 합-free 집합과 관련된 랜덤 그래프가 간선을 갖지 않을 확률을 제어하며, 예상되는 특수 구성의 수를 조절한다.
• 잠재적 합-free 구성에 대응하는 튜플 $ (S, T, U) $ 에 대한 정교한 세기 기법을 도입하며, 지수적 모멘트 추정을 통해 이러한 구성의 기대 수를 제한한다.
• 모멘트 한계와 尾 확률 추정을 활용한 확률적 방법을 사용하며, $ \mu' $ 와 $ \Delta' $ 의 상대 크기에 따라 경우를 나누어 비정규 구조를 가진 합-free 집합의 기대 수를 제어한다.
• 이항 계수의 渐近적 추정과 로그 한계를 활용하여 구성의 수의 성장률을 제어하며, 악성 구성의 총 기대 수가 0으로 수렴하도록 보장한다.

실험 결과

연구 질문

• RQ1 어느 정도의 밀도 $ p $ 에 대해, $ q \mid |G| $ 이고 $ q \equiv 2 \pmod{3} $ 인 아벨 군 $ G $ 의 $ p $-랜덤 부분집합에서 최대 크기의 합-free 부분집합이, $ G $ 의 어떤 최대 크기의 합-free 부분집합에 포함될 가능성이 높은가?
• RQ2 $ \mathbb{Z}_{2n} $ 의 랜덤 합-free 부분집합에서 이러한 구조적 포함 성질에 대한 정확한 임계 함수 $ p_c(n) $ 는 무엇이며, 이는 날카로운가?
• RQ3 밀도에서 랜덤 설정으로의 전이 정리가 아벨 군에서의 합-free 집합 문제에 어떻게 적용되며, 어떤 구조적 제약 조건이 도출되는가?
• RQ4 무한히 커질 때, 어떤 조건에서 기대되는 '나쁜' 합-free 구성의 수(모든 최대 합-free 집합에 포함되지 않는 구성)가 0으로 수렴하는가?
• RQ5 합-free 집합에 대한 안정성 정리는, 랜덤 합-free 집합이 그 기반 군의 극단적 합-free 집합의 구조를 어떻게 상속하는지 증명하는 데 어떤 역할을 하는가?

주요 결과

• 아벨 군 $ G $ 에 대해 $ |G| $ 가 소수 $ q \equiv 2 \pmod{3} $ 로 나누어지는 경우, $ p \gg p_c $ 이면 거의 확실히, $ G $ 의 $ p $-랜덤 부분집합에서 최대 크기의 합-free 부분집합이 $ G $ 의 어떤 최대 크기의 합-free 부분집합에 포함된다.
• $ G = \mathbb{Z}_{2n} $ 의 특수한 경우, 위의 구조적 포함 성질에 대한 임계값은 날카로운데, 이는 비포함에서 포함으로의 전이가 정확히 한 임계 밀도에서 발생함을 의미한다.
• $ \mathbb{Z}_{2n} $ 의 임계 함수는 날카로운 것으로 밝혀졌으며, 임계값 이하에서는 성립하지 않고, 임계값 이상에서는 성립한다. 즉, 임의의 고정된 $ \varepsilon > 0 $ 에 대해 $ p > (1+\varepsilon)p_c $ 이면 성립하고 $ p < (1-\varepsilon)p_c $ 이면 실패한다.
• 최대 합-free 집합에 포함되지 않는 크기 $ k $ 의 합-free 부분집합의 기대 수는 $ n^{-\varepsilon k} $ 이하로 감소하며, 이는 점점 더 이상 존재하지 않음을 의미한다.
• 증명은 제이슨스 부등식과 모멘트 추정을 사용하여 악성 구성의 기대 수를 제한하며, $ n \to \infty $ 일 때 총 기대 수가 0으로 수렴함을 보였다.
• 저자는 $ p \gg n^{-1/2} $ 이면, $ \mathbb{Z}_{2n} $ 의 랜덤 부분집합에서 최대 크기의 합-free 부분집합의 구조가 전체 군에서의 구조와 渐近적으로 동일하다는 것을 증명하였으며, 이는 추측된 구조적 안정성의 확인이다.