[논문 리뷰] Four Random Permutations Conjugated by an Adversary Generate $S_n$ with High Probability

Robin Pemantle, Yuval Peres외 1명|arXiv (Cornell University)|2014. 12. 11.

Limits and Structures in Graph Theory참고 문헌 8인용 수 6

한 줄 요약

이 논문은 대칭군 $S_n$ 내에서 네 개의 균일한 랜덤 순열이, 심지어 적대자에 의해 개별적으로 공액변환되더라도 $n \to \infty$ 일 때 0에 가까운 확률로 $S_n$ 를 생성한다는 것을 증명한다. 증명은 순열의 순환 구조 분석, 합집합 집합의 교차 분석, 그리고 포아송 근사와 순환 길이 제약 조건을 포함하는 확률적 쌍화 기법에 기반하여, 순열들이 반드시 전이적 부분군을 생성함을 보이며, 이로 인해 주어진 조건 하에서 $S_n$ 를 높은 확률로 생성한다는 결론을 이끌어낸다.

ABSTRACT

We prove a conjecture dating back to a 1978 paper of D.R.\ Musser~\cite{musserirred}, namely that four random permutations in the symmetric group $\mathcal{S}_n$ generate a transitive subgroup with probability $p_n > ε$ for some $ε> 0$ independent of $n$, even when an adversary is allowed to conjugate each of the four by a possibly different element of $§_n$ (in other words, the cycle types already guarantee generation of $\mathcal{S}_n$). This is closely related to the following random set model. A random set $M \subseteq \mathbb{Z}^+$ is generated by including each $n \geq 1$ independently with probability $1/n$. The sumset $ ext{sumset}(M)$ is formed. Then at most four independent copies of $ ext{sumset}(M)$ are needed before their mutual intersection is no longer infinite.

연구 동기 및 목표

• 1978년 무서(Musser)가 제기한 오랜 추측을 해결하는 것: $S_n$ 내에서 네 개의 랜덤 순열이 적대자에 의해 공액변환되더라도, $n$ 과 무관하게 양의 상수 이하로 떨어지지 않는 확률로 $S_n$ 를 생성한다는 것.
• 각 순열이 적대자에 의해 공액변환되더라도, 네 개의 랜덤 순열의 순환 유형이 충분히 $S_n$ 을 생성함을 보이며, 전체 대칭군을 반드시 생성한다는 것을 의미한다.
• 순환 유형의 차수 합집합 구조를 분석하여, 그 상호 교차가 무한하다면 해당 순열들이 전이적 부분군을 생성한다는 것을 보이며, 이를 통해 주어진 조건 하에서 $S_n$ 생성 가능성을 확보한다.
• 랜덤 순열의 맥락에서 포아송 근사와 쌍화 논증을 사용하여, 순환 수의 4차 모멘트의 확률적 경계를 설정하는 확률적 도구를 개발한다.
• 장기 소수 순환에 대한 조르당 정리의 적용 범위를 확장하여, 다항식의 갈루아 군에 대한 몬테카를로 테스트 프레임워크를 제시하며, 이러한 순환이 소수 모듈로에서의 랜덤 샘플링을 통해 탐지될 가능성이 높다는 것을 보여준다.

제안 방법

• 소수 모듈로에서의 인수분해 유형과 갈루아 군 내 순환 유형 간의 연결을 위해 프로페서 밀도 정리와 데데킨드 정리를 사용하여, 순환 구조의 확률적 샘플링을 가능하게 한다.
• 순환 유형의 차수 집합의 합집합이 0과 $n$ 이외의 공통 원소를 가질 경우 전이적 생성이 이루어진다는 점을 분석함으로써 '불변 생성' 개념을 적용한다.
• 실제 순열의 순환 수와 포아송 랜덤 변수 간의 쌍화 논증을 통해, 주어진 순환 길이가 존재할 확률의 경계를 설정하며, 분포 간의 총 변동 거리(total variation distance)를 사용한다.
• 작은 순환과 큰 순환 성분으로 분해함으로써 순환 기여를 분해하고, $S_n$ 을 생성하지 못할 확률의 4차 모멘트 경계를 설정한다.
• 아라타-타바레 렘마를 적용하여, 랜덤 순열이 최소한 $m(n)$ 이상의 길이를 가진 순환만을 포함할 확률을 추정하며, 이 확률이 $1/m(n)$ 으로 감소함을 보이며, 이는 尾 확률 제어에 핵심적이다.
• 순환 벡터 ${\bf y}$ 를 ${\bf y}'$ (작은 순환) 와 ${\bf y}''$ (큰 순환) 로 분해하고, 특정 원소가 긴 순환에 포함되어 있음을 조건으로 하여 큰 순환의 기여를 경계하며, 교환 가능성(exchangeability)을 활용한다.

실험 결과

연구 질문

• RQ1 네 개의 균일한 랜덤 순열이 $S_n$ 내에서, 심지어 각각이 적대자에 의해 공액변환되더라도 $n \to \infty$ 일 때 0에 가까운 확률로 $S_n$ 을 생성할 수 있는가?
• RQ2 순환 유형 합집합 집합의 조건은 무엇이어야 하며, 그 조건이 해당 순열들이 반드시 전이적 부분군을 생성함을 보장하는가?
• RQ3 랜덤 순열에서 주어진 길이의 순환 수의 4차 모멘트는 어떻게 경계할 수 있으며, 이는 $S_n$ 생성 실패 확률을 제어하는 데 어떻게 기여하는가?
• RQ4 제한된 순환 길이를 가진 랜덤 순열의 맥락에서, 순환 수의 포아송 근사는 진정으로 분포를 잘 반영하는가?
• RQ5 일반적인 갈루아 군을 가정할 때, 소수 모듈로에서의 랜덤 샘플링을 통해 장기 소수 순환(범위 $[n/2+1, n-5]$)과 홀수 순열이 신뢰성 있게 탐지될 수 있는가?

주요 결과

• 논문은 네 개의 랜덤 순열이 $S_n$ 내에서, 심지어 각각이 적대자에 의해 공액변환되더라도 $n$ 과 무관하게 $\varepsilon > 0$ 인 상수 $p_n > \varepsilon$ 의 확률로 $S_n$ 을 생성함을 증명하며, 무서의 1978년 추측을 확인한다.
• 네 개의 랜덤 순열의 순환 유형 차수 집합의 합집합은 0과 $n$ 이외의 공통 원소를 고려 확률로 가짐을 보이며, 이는 순열들이 반드시 전이적 부분군을 생성한다는 것을 의미한다.
• 전이적 부분군을 생성할 가능성 벡터 $\tilde{q}_n$ 의 4차 모멘트는 $O(\log^3 n / n)$ 으로 경계되며, 이는 합의 수렴을 보장하고 주요 결과를 뒷받침한다.
• 랜덤 순열이 최소한 $m(n)$ 이상의 길이를 가진 순환만을 포함할 확률은 $1/m(n) + o(1)$ 이하로 경계되며, 여기서 $m(n) \sim N / \log^2 N$ 이다. 이는 쌍화 논증에서 꼬리 행동을 제어하는 데 필수적이다.
• 실제 순환 수 분포와 포아송 근사 간의 총 변동 거리는 $n^{-C \log \log n}$ 이하로 경계되며, 이는 어떤 다항식보다도 더 빨리 감소하므로, 분석에서 포아송 히وري스틱의 사용을 정당화한다.
• 증명은 $S_n$ 을 생성하지 못할 확률이 충분히 빠르게 감소함을 보이며, 이는 적대자에 의해 공액변환되더라도 네 개의 순열이 양의 하한이 존재하는 확률로 $S_n$ 을 생성함을 보장한다.