[論文レビュー] Random matrix theory over finite fields: a survey

Jason Fulman|ArXiv.org|Mar 28, 2000

Random Matrices and Applications参考文献 78被引用数 6

ひとこと要約

本稿は、GL(n,q) や上三角行列 T(n,q) などの有限古典群における共轭類構造に注目し、有限体上の確率的行列理論の包括的サーベイを提示する。サイクル指数生成関数、対称関数（特にハル・リトルウッドおよびマクドナルド多項式）、およびマルコフ連鎖モデルを用いて、ジョルダン標準形や特性多項式の分布を分析し、例えば、ランダム行列の特性多項式が平方自由である確率の極限が (1−1/q⁵)/(1+1/q³) であるなど、正確な確率を導出する。

ABSTRACT

First we survey generating function methods for obtaining useful probability estimates about random matrices in the finite classical groups. Then we describe a probabilistic picture of conjugacy classes which is coherent and beautiful. Connections are made with symmetric function theory, Markov chains, potential theory, Rogers-Ramanujan type identities, quivers, and various measures on partitions.

研究の動機と目的

• 有限体上のランダム行列の共轭類構造を統一的な確率的枠組みで分析するための枠組みを構築すること。特に GL(n,q) および上三角群に焦点を当てる。
• ジョルダンブロック数、行列の位数、特性多項式の平方自由性といった、行列の重要な不変量の分布を理解すること。
• 対称関数理論（ハル・リトルウッド、マクドナルド多項式）、表現論、およびマルコフ連鎖やサンプリングアルゴリズムなどの確率的モデルとの関係を確立すること。
• 群論的および組合せ論的性質に関するランダム行列の正確な漸近的確率を提供すること。生成関数による収束速度の分析も含む。
• サイクル指数技法を対称群に限らず、有限古典群へと拡張し、計算群論や乱数生成への応用を可能とすること。

提案手法

• 有限古典群の共轭類統計を符号化するためのサイクル指数生成関数を用い、対称群理論からの一般化を実現する。
• ハル・リトルウッド対称関数を用いて、整数分割上の確率測度 $ M_{GL,u,q} $ を定義し、GL(n,q) のランダム要素のジョルダン標準形をモデル化する。
• 対称関数の恒等式および主スペシャルイゼーション公式を用いて、$ M_{GL,u,q} $ に従う分割のサンプリングアルゴリズムを導出する。固定サイズへの条件付き分布も含む。
• 分岐係数 $ θ(\nu, \nu') $ から導かれる遷移確率を持つ分割上のマルコフ連鎖を導入し、確率的サンプリングを可能とするとともに、ポテンシャル理論を用いてロジャース＝ラマヌジャン恒等式を証明する。
• ランダム上三角行列のジョルダン標準形とマクドナルド多項式との間に接続を確立し、特殊化 $ x_i = q^{1-i} - q^{-i} $, $ q = 0 $, $ t = 1/q $ を用いる。
• 測度 $ M_n(\nu) $ が分岐規則 $ \theta(\nu, \nu') $ に関して調和的であるという性質を活用し、サイズに跨る一貫性あるサンプリングを可能とする。

実験結果

リサーチクエスチョン

• RQ1 n → ∞ のとき、GL(n,q) に属するランダム行列の特性多項式が平方自由である確率の極限は何か？
• RQ2 GL(n,q) におけるランダム行列の共轭類は、ジョルダンブロック構造および有理標準形の観点からどのように分布しているか？
• RQ3 GL(n,q) におけるランダム行列の位数の分布は何か？また、サイクル指数技法とどのように関係しているか？
• RQ4 GL(n,q) や上三角行列群 T(n,q) の単積分型要素のジョルダン型の分布からサンプリングするにはどうすればよいか？
• RQ5 ロジャース＝ラマヌジャン恒等式は、有限体上のランダム行列から生じる分割の確率的モデルから導出可能か？

主な発見

• GL(n,q) に属するランダム行列の特性多項式が平方自由である確率の極限は、$ \frac{1 - \frac{1}{q^5}}{1 + \frac{1}{q^3}} $ である。これはサイクル指数生成関数を用いて導出された。
• ハル・リトルウッド多項式を用いて定義された分割上の測度 $ M_{GL,u,q} $ は、GL(n,q) のランダム要素の共轭類構造をモデル化する。対称関数に基づく明示的なサンプリングアルゴリズムが存在する。
• 分岐係数 $ \kappa(\lambda, \Lambda) $ に比例する遷移確率を持つ分割上のマルコフ連鎖は、$ M_n $ からのサンプルを生成可能であり、ロジャース＝ラマヌジャン恒等式の確率的証明を可能にする。
• 上三角行列群 $ T(n,q) $ に対して、ランダム要素がジョルダン型 $ \Lambda $ を持つ確率は、マクドナルド多項式の特殊化として与えられる：$ M_n(\Lambda) = \frac{(1-q)^{|\Lambda|} P_\Lambda(x; q, t) t^{n(\Lambda)} \dim(\Lambda)}{\prod_{s \in \Lambda} (1 - q^{a_\Lambda(s)+1} t^{l_\Lambda(s)+1})} $ であり、$ x_i = q^{1-i} - q^{-i} $, $ q=0 $, $ t=1/q $ である。
• 測度 $ M_n(\Lambda) $ は分岐規則 $ \kappa(\lambda, \Lambda) $ に関して調和的であり、サイズに跨る一貫性を保証し、再帰的サンプリングを可能にする。
• q = t < 1、$ x_i = 1/n $、$ n \to \infty $ のとき、この測度はプラナシェル測度に一致する。これにより、ランダム行列理論とランダム置換における最長増加部分列問題が結びつく。