[논문 리뷰] On a Cohen-Lenstra Heuristic for Jacobians of Random Graphs

Julien Clancy, Nathan O. Kaplan외 3명|arXiv (Cornell University)|2014. 02. 20.

Advanced Combinatorial Mathematics참고 문헌 8인용 수 7

한 줄 요약

이 논문은 잡아낸 그래프의 야곱스티안 분포에 대한 코헨-레인스타인 유도법을 제안하며, 그들의 표준 쌍대성 쌍을 고려한다. 유도법은 쌍대성 쌍을 유지하는 자기동형사상의 수와 그 순서의 곱에 반비례하는 확률로 유한 아벨 군이 나타나는 빈도를 예측한다. 이는 야곱스티안이 순환군일 확률이 약 0.7935임을 예측하며, Z_p 위의 랜덤 대칭 행렬과 대규모 그래프 샘플링을 통한 이론적 및 실증적 근거를 제공한다.

ABSTRACT

In this paper, we make specific conjectures about the distribution of Jacobians of random graphs with their canonical duality pairings. Our conjectures are based on a Cohen-Lenstra type heuristic saying that a finite abelian group with duality pairing appears with frequency inversely proportional to the size of the group times the size of the group of automorphisms that preserve the pairing. We conjecture that the Jacobian of a random graph is cyclic with probability a little over .7935. We determine the values of several other statistics on Jacobians of random graphs that would follow from our conjectures. In support of the conjectures, we prove that random symmetric matrices over the p-adic integers, distributed according to Haar measure, have cokernels distributed according to the above heuristic. We also give experimental evidence in support of our conjectures.

연구 동기 및 목표

• 기존의 코헨-레인스타인 유도법이 반영하지 못하는 랜덤 그래프의 야곱스티안에 내재된 표준 쌍대성 쌍을 고려한 보완된 코헨-레인스타인 유도법을 개발한다.
• 쌍대성에 관여하지 않는 자기동형사상의 수를 고려함으로써, 실증적으로 관측된 현상—예를 들어 야곱스티안의 홀수 부분이 약 94.6% 확률로 순환군임—을 설명한다.
• 정점 수가 증가함에 따라 에르되시-레니 랜덤 그래프의 야곱스티안의 극한 분포에 대한 추측적 프레임워크를 제공한다.
• Z_p 위의 랜덤 대칭 행렬에 대한 이론적 결과와 그래프 야곱스티안에 대한 광범위한 실증 데이터를 통해 유도법을 검증한다.

제안 방법

• 새로운 유도법 제안: 유한 아벨 군과 쌍대성 쌍(Γ, δ)이 나타나는 빈도는 |Γ| ⋅ |Aut(Γ, δ)|의 역수에 비례한다. 여기서 Aut(Γ, δ)는 쌍대성 쌍을 유지하는 자기동형사상의 군이다.
• Z_p 위에서 하르 측도에 따라 분포하는 랜덤 대칭 행렬이, 이 유도법에 따라 코어널이 분포함을 증명한다.
• 그래프의 야곱스티안은 그 라플라시안 행렬의 코어널의 토션 부분이며, 이는 대칭 행렬이면서 표준 쌍대성 쌍을 지닌다.
• 최대 10^5개의 랜덤 그래프에 대한 대규모 실험을 수행하여, 쌍을 지닌 야곱스티안 군의 실측 빈도를 계산하고 예측값과 비교한다.
• 야곱스티안의 시로프 p-부분군을 분석하고, 서로 다른 소수에 대해 독립인지 테스트하여, p-부분군이 통계적으로 독립적임을 지지하는 근거를 제공한다.
• 문헌에서 얻은 생성자와 관계를 이용해, p = 2와 홀수 p에 대해 유한 아벨 p-군과 쌍대성 쌍을 분류하고, 시험 공간을 정의한다.

실험 결과

연구 질문

• RQ1 왜 랜덤 그래프의 야곱스티안의 홀수 부분이 순환군일 확률이 약 94.6%로 나타나며, 기존의 코헨-레인스타인 예측값(약 97.75%)과 다름?
• RQ2 그래프 야곱스티안에 내재된 표준 쌍대성 쌍을 포함한 보완된 코헨-레인스타인 유도법이 관측된 분포 행동을 설명할 수 있는가?
• RQ3 랜덤 그래프의 야곱스티안의 시로프 p-부분군들이 서로 다른 소수에 대해 통계적으로 독립적인가?
• RQ4 Z_p 위의 랜덤 대칭 행렬이 하르 측도에 따라 분포할 때, 그 코어널이 제안된 유도법 분포를 따르는가?
• RQ5 랜덤 그래프의 야곱스티안이 순환군일 것으로 예측되는 확률은 얼마이며, 실측 결과와 어떻게 비교되는가?

주요 결과

• 논문은 쌍대성 쌍을 유지하는 자기동형사상의 수를 고려한 새로운 유도법에 기반해, 랜덤 그래프의 야곱스티안이 순환군일 확률이 약 0.7935임을 추측한다.
• 20개 정점을 가진 10^5개의 랜덤 그래프에 대한 실측 데이터는, 쌍을 지닌 야곱스티안 군의 상대 빈도가 유도법의 예측 비율과 매우 유사하며, 대부분의 군에서 관측치 대 예측치 비율이 1% 이내로 일치한다.
• 시로프 2-부분군의 경우, 관측된 비율(예: (Z/2Z)^3에 대해 47.20)이 예측된 48과 매우 가깝게 일치하여 유도법을 지지한다.
• 시로프 3-부분군의 경우, 관측 비율(예: A_3 ⊕ A_3에 대해 70.56)이 예측된 72와 유사하여 유도법을 추가로 검증한다.
• 2×10^5개의 랜덤 그래프에서 시로프 2- 및 3-부분군은 독립성을 보이며, 관측 비율이 예측치와 일치한다(예: A_2 ⊕ A_2 ⊕ A_3에 대해 47.18 대 48), 이는 p-부분군이 독립적임을 지지하는 근거가 된다.
• 이론적 결과는 Z_p 위의 하르 측도에 따라 분포하는 랜덤 대칭 행렬이 코어널을 제안된 유도법 분포에 따라 유도함을 확인하며, 이는 유도법에 대한 강력한 지지를 제공한다.