[論文レビュー] Cokernels of random matrices satisfy the Cohen-Lenstra heuristics

Kenneth Maples|arXiv (Cornell University)|Jan 7, 2013

Topological and Geometric Data Analysis参考文献 9被引用数 11

ひとこと要約

この論文は、$ p $-進整数や$ \mathbb{Z}/N\mathbb{Z} $ 上の独立同一分布の $ n \times n $ ランダム行列の余核が、$ n \to \infty $ のとき、最小エントロピー（min-entropy）の弱い非退化条件のもとで分布収束し、Cohen-Lenstra 測度に収束することを確立している。主な結果は、余核が有限アーベル $ p $-群 $ G $ に同型である確率が、漸近的に $ \frac{1}{|\operatorname{Aut} G|} \prod_{k=1}^\infty (1 - p^{-k}) $ に収束し、その誤差はエントリ分布の最小エントロピーに依存する指数関数的サイズであることを示している。

ABSTRACT

Let A be an n by n random matrix with iid entries taken from the p-adic integers or Z/NZ. Then under mild non-degeneracy conditions the cokernel of A has a universal probability distribution. In particular, the p-part of an iid random matrix over the integers has cokernel distributed according to the Cohen-Lenstra measure up to an exponentially small error.

研究の動機と目的

• ランダム行列の余核分布が $ p $-進整数および $ \mathbb{Z}/N\mathbb{Z} $ 上で普遍的であることを確立すること。
• この分布が、有限アーベル $ p $-群上の標準的確率測度である Cohen-Lenstra 測度に収束することを示すこと。
• 行列エントリ分布の最小エントロピーを用いて収束速度を定量すること。
• 一様分布でないエントリ分布へのランダム行列の特異性およびランク分布に関する先行結果を一般化すること。
• Cohen-Lenstra ヒューリスティクスが広範なランダム行列アンサンブルに対して頑健であることを示すこと。

提案手法

• 行列の列を順番に露出させるプロセスを用い、$ R^n / \langle X_{k+1}, \dots, X_n \rangle $ の逐次商を分析する。ここで $ X_i $ は行列の列を表す。
• 商モジュールを $ R^k \times T_k $ の形にモデル化し、$ T_k $ を有限 $ R $-モジュールとし、その同型類に関する条件を課す。
• Tao と Vu にインspired された交換法を、Kahn, Komlós, および Szemerédi が提案した形に適応し、ある列が構造的部分モジュールに属する確率を制御する。
• Pontryagin 双対 $ \widehat{R} $ 上の調和解析を用い、スペクトル射影と Kneser の不等式を用いてスペクトル集合のサイズを評価する。
• 半飽和部分モジュールの概念を導入し、構造的ベクトルおよび双対部分モジュールの組み合わせ的数え上げを用いてその確率を評価する。
• Markov の不等式と最小エントロピー制約を用いて、双対群における加法的コセット上での測度集中を制御する。

実験結果

リサーチクエスチョン

• RQ1 エントリ分布が一般の場合に、$ \mathbb{Z}_p $ 上のランダム行列の余核分布は Cohen-Lenstra 測度に収束するか？
• RQ2 収束速度はどの程度で、エントリ分布の最小エントロピーはどのような役割を果たすか？
• RQ3 Cohen-Lenstra 測度の普遍性は、一様分布やハール分布を超えて拡張可能か？
• RQ4 エントリが $ \mathbb{Z}/N\mathbb{Z} $ 上でランダムな行列が与えられた余核同型類を持つ確率はどの程度か？
• RQ5 非一様エントリのもとで、$ \mathbb{Z}/p\mathbb{Z} $ 上のランダム行列のランク分布はどのように振る舞うか？

主な発見

• エントリが最小エントロピー $ \alpha $ の i.i.d. である $ A \in M(n, \mathbb{Z}_p) $ に対して、$ \mathbb{P}(\operatorname{coker} A \cong G) = \frac{1}{|\operatorname{Aut} G|} \prod_{k=1}^\infty (1 - p^{-k}) + O(e^{-c\alpha n}) $ が、絶対定数を用いて成り立つ。
• $ \mathbb{Z}/N\mathbb{Z} $ 上では、最小エントロピー $ \alpha $ のランダム行列の余核分布は、すべての $ \mathbb{Z}/N\mathbb{Z} $-モジュール準同型の上での一様分布から $ O_{\omega}(e^{-c\alpha n}) $ のオーダーで近い。
• $ A \in M(n, \mathbb{Z}/p\mathbb{Z}) $ のランク分布は、$ \mathbb{P}(\operatorname{rank} A = n-k) = p^{-k^2} \frac{\prod_{\ell=k+1}^\infty (1 - p^{-\ell})}{\prod_{\ell=1}^k (1 - p^{-\ell})} + O(e^{-c\alpha n}) $ を満たし、絶対定数を用いる。
• 誤差項 $ O(e^{-c\alpha n}) $ は、$ \mathbb{P}(\xi=1) = \alpha $ である $ 0,1 $-行列の例から、$ \alpha $ がゼロ列の確率 $ (1-\alpha)^n $ に依存するため、鋭いものであることが示された。
• この結果は、最小エントロピーがゼロから離れている限り、エントリ分布の具体的な分布に依存せず、Cohen-Lenstra 測度がランダム行列の余核に対して普遍的であることを示唆している。
• この解析により、ねじれ自由な環や有限体上のランダム行列の特異性およびランクに関する先行結果が回復され、強化された。