[논문 리뷰] The distribution of sandpile groups of random graphs

Melanie Matchett Wood|arXiv (Cornell University)|2014. 02. 20.

Topological and Geometric Data Analysis참고 문헌 29인용 수 15

한 줄 요약

이 논문은 $n \to \infty$일 때 에르되시-레니의 무작위 그래프 $G(n,q)$의 모래더미 군(Jacobian 군)의 점근적 분포를 결정한다. 이는 이러한 군의 시로프 $p$-부분군이 클랜시, 레이크, 페인의 추측한 새로운 분포족으로 수렴함을 증명하며, 코헨-렌스트라와는 다를 바 있는 분포이다. 이 분포는 유한 아벨 군으로의 전성 사상의 모멘트를 핵심 분석 도구로 사용한다.

ABSTRACT

We determine the distribution of the sandpile group (a.k.a. Jacobian) of the Erdős-Rényi random graph G(n,q) as n goes to infinity. Since any particular group appears with asymptotic probability 0 (as we show), it is natural ask for the asymptotic distribution of Sylow p-subgroups of sandpile groups. We prove the distributions of Sylow p-subgroups converge to specific distributions conjectured by Clancy, Leake, and Payne. These distributions are related to, but different from, the Cohen-Lenstra distribution. Our proof involves first finding the expected number of surjections from the sandpile group to any finite abelian group (the "moments" of a random variable valued in finite abelian groups). To achieve this, we show a universality result for the moments of cokernels of random symmetric integral matrices that is strong enough to handle dependence in the diagonal entries. We then show these moments determine a unique distribution despite their p^{k^2}-size growth.

연구 동기 및 목표

• 무작위 그래프에서 모래더미 군의 분포에 관해 로렌진의 질문을 해결하기 위해.
• 모래더미 군 빈도를 예측하지 못하는 코헨-렌스트라 히وري스틱의 실패를 다루기 위해.
• 모래더미 군의 시로프 $p$-부분군의 점근적 분포를 확립하기 위해.
• 초기 기하급수적 성장에도 불구하고, 유한 아벨 군으로의 전성 사상의 모멘트가 한정 분포를 유일하게 결정함을 보여주기 위해.
• 모래더미 군의 순환성 및 순서의 제곱 자유성과 같은 성질의 점근적 확률을 도출하기 위해.

제안 방법

• 유한 아벨 군 $G$에 대해 $G$-모멘트 $\mathbb{E}(\#\operatorname{Sur}(S_\Gamma, G))$를 계산하여, 이가 $G$의 불변량인 $a_i$에 대해 $\prod_i a_i^{i-1}$로 수렴함을 보임.
• 의존적인 대각 원소를 가진 무작위 대칭 정수 행렬의 코어널의 모멘트에 대한 보편성 결과를 증명함.
• 초기 기하급수적 성장을 다룰 수 있는 새로운 방법론을 사용하여, 모멘트를 통해 시로프 $p$-부분군의 한정 분포를 재구성함.
• 무작위 행렬 이론을 $\mathbb{Z}/p\mathbb{Z}$ 위에서 응용하여 모래더미 군의 $p$-랭크 분포를 분석함.
• 유한 아벨 $p$-군 위의 대칭 이중선형 형식의 구조를 활용하여 한정 분포의 정규화 인자를 계산함.
• 다른 소수에서의 시로프 부분군의 독립성을 활용하여, 단일 소수 결과를 유한 소수 집합에 대한 공동 분포로 확장함.

실험 결과

연구 질문

• RQ1 무작위 그래프 $\Gamma \sim G(n,q)$에서 모래더미 군 $S_\Gamma$의 한정 분포는 무엇인가? $n \to \infty$일 때.
• RQ2 왜 모래더미 군은 코헨-렌스트라 히وري스틱을 따르지 않으며, 그 점근적 행동을 지배하는 새로운 분포는 무엇인가?
• RQ3 모래더미 군의 시로프 $p$-부분군은 점근적으로 어떻게 행동하는가? 서로 다른 소수에서 독립적인가?
• RQ4 모멘트 $\mathbb{E}(\#\operatorname{Sur}(S_\Gamma, G))$는 $p^{k^2}$ 유형의 성장에도 불구하고 한정 분포를 유일하게 결정할 수 있는가?
• RQ5 모래더미 군이 순환적이거나 순서가 제곱 자유인 확률의 점근적 확률은 얼마인가?

주요 결과

• 모든 고정된 유한 아벨 군 $G$에 대해 $S_\Gamma$가 $G$와 동형일 확률은 $n \to \infty$일 때 0으로 수렴하므로, 분포는 개별 군에 집중되어 있지 않다.
• 시로프 $p$-부분군 $S_{\Gamma,p}$의 한정 분포는 $\frac{\#\{\text{대칭, 이중선형, 완전한 } \phi: G \times G \to \mathbb{C}^*\}}{|G| \cdot |\operatorname{Aut}(G)|} \prod_{k \geq 0} (1 - p^{-2k-1})$로 주어지며, 이는 간선 확률 $q$와 무관하다.
• 특히 $G = \mathbb{Z}/p^r\mathbb{Z}$일 경우 확률은 점근적으로 $\approx p^{-r}$이며, $G = (\mathbb{Z}/p\mathbb{Z})^r$일 경우 $\approx p^{-r(r+1)/2}$이다. 이는 순환 $p$-군이 더 흔한 이유를 설명한다.
• $S_\Gamma$의 $p$-랭크는 $\mathbb{Z}/p\mathbb{Z}$ 위의 무작위 대칭 행렬의 랭크로 수렴하며, $\lim_{n \to \infty} \mathbb{P}(\operatorname{rank}(S_\Gamma \otimes \mathbb{Z}/p\mathbb{Z}) = r) = p^{-r(r+1)/2} \prod_{i=r+1}^\infty (1 - p^{-i}) \prod_{i=1}^\infty (1 - p^{-2i})^{-1}$이다.
• 모래더미 군이 순환일 확률의 점근적 상한은 $\zeta(3)^{-1}\zeta(5)^{-1}\zeta(7)^{-1}\cdots \approx 0.793521$이며, 이는 이전의 추측과 다름을 보여준다.
• 모래더미 군의 순서가 제곱 자유일 확률의 점근적 상한은 $\zeta(2)^{-1}\zeta(3)^{-1}\zeta(5)^{-1}\cdots$이며, 이 상한은 공동 시로프 부분군 행동에서 기인한다.