[論文レビュー] Random matrices over finite fields: methods and results

Kyle Luh, Sean Meehan+1 more|arXiv (Cornell University)|Jul 4, 2019

Random Matrices and Applications参考文献 19被引用数 4

ひとこと要約

本稿は、素数 p を法とするランダムウォークの乖離を分析するための高度な確率的手法を開発し、これらを用いて有限体 F_p 上のランダム行列のランク分布およびランダム超平面の正規ベクトルの等分布性を研究する。特に対角化不能な行列の普遍性結果や、特性多項式の可除性について、Stong や Neumann-Praeger の先行研究を一様モデルを超えて一般化する。

ABSTRACT

In this note we give various characterizations of random walks with possibly different steps that have relatively large discrepancy from the uniform distribution modulo a prime p, and use these results to study the distribution of the rank of random matrices over F_p and the equi-distribution behavior of normal vectors of random hyperplanes. We also study the probability that a random square matrix is eigenvalue-free, or when its characteristic polynomial is divisible by a given irreducible polynomial in the limit n to infinity in F_p. We show that these statistics are universal, extending results of Stong and Neumann-Praeger beyond the uniform model.

研究の動機と目的

• 非一様な分布のステップを持つランダムウォークが素数 p を法として著しい乖離を示す条件を同定し、その乖離を定量化すること。
• 非一様的かつ相関のある分布から抽出された行列要素を用いた F_p 上のランダム行列のランク分布を、不均一性に基づく手法で分析すること。
• 有限次元のベクトル空間 F_p^n 上のランダム超平面の正規ベクトルの等分布性を研究すること。
• F_p 上のランダム正方行列が固有値を持たない確率の極限値を特定すること。
• Stong や Neumann-Praeger の普遍性結果を一様モデルを超えて、より広範なランダム行列集合族へ一般化すること。

提案手法

• 素数 p を法とするランダムウォークにおける不均一性の特徴づけを用いて、一様性からの逸脱を制限する。
• フーリエ解析的および組合せ的手法を用いて、行列ランクおよび正規ベクトルの分布をモデル化する。
• 母関数およびモーメント法を活用して、固有値を持たない行列の確率を分析する。
• 有限体上での等分布理論を用いて、特性多項式が既約多項式で割り切れる確率を研究する。
• 行列要素の分布に関する仮定を緩和することで、先行研究を一般化するフレームワークを導入する。
• n → ∞ の漸近的解析を用いて、F_p 上の主要な行列特性の極限確率を導出する。

実験結果

リサーチクエスチョン

• RQ1 非一様なランダムウォークが p を法として著しい一様性からの乖離を示す条件は何か？ また、その乖離はどのように定量化できるか？
• RQ2 行列要素が非一様的かつ相関のある分布から抽出される場合、F_p 上のランダム行列のランクはどのように分布するか？
• RQ3 ランダム超平面の正規ベクトルが F_p^n でどの程度等分布するか？ これは行列分布にどのように依存するか？
• RQ4 n → ∞ のとき、F_p 上のランダム n×n 行列が F_p に固有値を持たない確率の極限値は何か？
• RQ5 固定された既約多項式で特性多項式が割り切れる確率はどの程度普遍的か？ また、これは一様モデルを超えて成り立つか？

主な発見

• 本稿は、非一様な要素分布の広いクラスにおいて、F_p 上のランダム行列のランク分布が普遍的であることを確立し、従来の一様モデルを超えた結果を拡張した。
• 行列要素にやや厳しいモーメント条件が満たされれば、ランダム超平面の正規ベクトルが F_p^n で等分布することを証明し、以前の一様性に関する結果を一般化した。
• n → ∞ のとき、F_p 上のランダム n×n 行列が固有値を持たない確率は、要素の分布に依存しない普遍定数に収束する。これは、要素の不均一性が一定の不均一性バウンドを満たしていれば成立する。
• 要素が非一様であっても、n → ∞ のとき、ランダム行列の特性多項式が固定された既約多項式で割り切れる確率は、普遍的な極限値に収束する。
• 結果として、F_p 上のランダム行列の主な統計的性質——ランク、固有値の存在、多項式の可除性——は、要素分布の非一様性に対して安定であることが示された。
• 本稿で開発されたフレームワークにより、行列特性の正確な漸近的確率が導出可能であり、有限体上での行列集合に深い普遍性が存在することが明らかになった。