[论文解读] Cokernels of random matrices satisfy the Cohen-Lenstra heuristics

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

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

一句话总结

该论文证明了在满足温和非退化性（极小熵）条件时，具有独立同分布条目的随机 $ n \times n $ 矩阵在 $ p $-进整数或 $ \mathbb{Z}/N\mathbb{Z} $ 上的余核分布，当 $ n \to \infty $ 时，收敛于 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} $ 上随机矩阵余核分布的普遍性原理。
• 证明该分布收敛于 Cohen-Lenstra 测度，即有限阿贝尔 $ p $-群上的标准概率分布。
• 以矩阵条目分布的极小熵为度量，量化收敛速度。
• 将先前关于随机矩阵奇异性和秩分布的结果推广至非均匀条目分布。
• 证明 Cohen-Lenstra 理论对广泛类别的随机矩阵系综具有鲁棒性。

提出的方法

• 采用逐列暴露过程分析连续商模 $ R^n / \langle X_{k+1}, \dots, X_n \rangle $，其中 $ X_i $ 为矩阵列。
• 将商模建模为 $ R^k \times T_k $，其中 $ T_k $ 为有限 $ R $-模，并对 $ T_k $ 的同构类施加条件。
• 应用受 Tao 和 Vu 启发并由 Kahn、Komlós 和 Szemerédi 改进的置换论证，以控制某列位于结构化子模中的概率。
• 在 Pontryagin 对偶 $ \widehat{R} $ 上使用调和分析，利用谱投影和 Kneser 不等式来界定谱集的大小。
• 引入半饱和子模的概念，并通过结构化向量与对偶子模的组合计数来界定其概率。
• 使用马尔可夫不等式与极小熵约束，控制对偶群中加法陪集上的测度集中性。

实验结果

研究问题

• RQ1 在一般条目分布下，$ \mathbb{Z}_p $ 上随机矩阵的余核分布是否收敛于 Cohen-Lenstra 测度？
• RQ2 收敛速度如何？条目分布的极小熵起什么作用？
• RQ3 Cohen-Lenstra 测度的普遍性是否可推广至非均匀或哈尔测度分布之外？
• RQ4 随机矩阵在 $ \mathbb{Z}/N\mathbb{Z} $ 上具有给定余核同构类的概率是多少？
• RQ5 在非均匀条目下，$ \mathbb{Z}/p\mathbb{Z} $ 上随机矩阵的秩分布行为如何？

主要发现

• 对于 $ A \in M(n, \mathbb{Z}_p) $，其条目为独立同分布且极小熵为 $ \alpha $，有 $ \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}) $ 是紧的，如 $ 0,1 $-矩阵（$ \mathbb{P}(\xi=1) = \alpha $）的反例所示，其零列概率为 $ (1-\alpha)^n $。
• 该结果意味着，只要极小熵远离零，Cohen-Lenstra 测度对随机矩阵余核是普遍的，与条目分布的具体形式无关。
• 该分析恢复并加强了先前关于挠自由环和有限域上随机矩阵奇异性和秩结果。