[論文レビュー] The probability of rectangular unimodular matrices over $\F_q[x]$

Xiangqian Guo, Guangyu Yang|arXiv (Cornell University)|Jul 18, 2011

Advanced Algebra and Geometry参考文献 11被引用数 3

ひとこと要約

この論文は、有限体 $\mathbb{F}_q[x]$ 上の $k \times n$ 一様行列の自然密度を決定し、ランダムに選ばれた $k \times n$ 行列が可逆な $n \times n$ 行列に拡張できる確率が $\prod_{j=n-k+1}^{n} \zeta_q(j)^{-1}$ であることを示している。ここで $\zeta_q(j)$ は $q$-ゼータ関数である。この結果は、確率的密度極限とオイラー積構造を用いて、整数の互いに素な整数のディリクレの密度定理を有限体上の多項式環へ一般化するものである。

ABSTRACT

In this note, we compute the probability that a $k imes n$ matrix can be extended to an $n imes n$ invertible matrix over $\F_q[x]$, which turns out to be $(1-q^{k-n})(1-q^{k-1-n})...(1-q^{1-n})$. Connections with Dirichlet's density theorem on the co-prime integers and its various generalizations are also presented.

研究の動機と目的

• 整数行列に対するディリクレの密度定理の行列形を、$\mathbb{F}_q[x]$ 上の行列へ拡張すること。
• $k \leq n$ である $k \times n$ ユニモジュラー行列の $\mathbb{F}_q[x]$ 上での自然密度を定義し、計算すること。
• ユニモジュラー性の確率と $q$-ゼータ関数との関係を確立し、$\mathbb{Z}$ 上での古典的互いに素確率を一般化すること。
• 増加する次数の上限における漸近的密度を用いて、多項式環における行列ユニモジュラー性の厳密な確率的枠組みを提供すること。

提案手法

• $\mathcal{M}_N$ を次数が高々 $N$ である多項式の成分を持つ $k \times n$ 行列の集合とする。自然密度を極限 $D(S) = \lim_{N \to \infty} |S \cap \mathcal{M}_N| / |\mathcal{M}_N|$ で定義する。
• $\zeta_q(j) = \prod_{f \text{ irred}} (1 - q^{-j \deg f})^{-1}$ として $q$-ゼータ関数を定義し、小行列式の互いに素性の確率をモデル化する。
• 包含除算法とオイラー積技術を用いて、全ランクの小行列式が互いに素である行列の密度を計算する。
• 固定された既約多項式 $f$ で割り切れる行列の密度に対する境界 $D(H_f) \leq 2 / q^{2 \deg f}$ を確立する。
• 積 $\prod_{m=1}^\infty (1 - q^{-jm})^{\varphi_m}$ の収束を用いて、極限が存在し $\zeta_q(j)^{-1}$ に等しいことを示す。
• すべての既約多項式の集合を段階的に増加させながら極限をとることで主結果を証明し、すべての既約多項式における積の収束を用いる。

実験結果

リサーチクエスチョン

• RQ1 $k \leq n$ である $k \times n$ ユニモジュラー行列の $\mathbb{F}_q[x]$ 上での自然密度は何か？
• RQ2 $\mathbb{F}_q[x]$ 上でのユニモジュラー性の確率は、$q$-ゼータ関数とオイラー積とどのように関係するか？
• RQ3 ディリクレの古典的結果（互いに素な整数）は、自然密度枠組みを用いて多項式環上の行列へ一般化可能か？
• RQ4 ランダムに選ばれた $k \times n$ 行列が $\mathbb{F}_q[x]$ 上で可逆な $n \times n$ 行列に拡張できる漸近的確率は何か？

主な発見

• $k \times n$ ユニモジュラー行列の $\mathbb{F}_q[x]$ 上での自然密度は $\prod_{j=n-k+1}^{n} \zeta_q(j)^{-1}$ である。ここで $\zeta_q(j)$ は $q$-ゼータ関数である。
• この結果は、$n$ 個のランダムな整数が互いに素である確率 $\zeta(n)^{-1}$ が、$\mathbb{F}_q[x]$ 上の行列の場合に一般化されたものである。
• $\mathbb{F}_q[x]$ 上の $1 \times n$ 行列がユニモジュラーである確率は $\zeta_q(n)^{-1}$ であり、これはディリクレの定理の $q$-アナロジーに一致する。
• 証明は、既約多項式で割り切れる行列の密度を抑え込み、すべてのモニック既約多項式におけるオイラー積の収束を用いる。
• 極限 $\lim_{N \to \infty} |E \cap \mathcal{M}_N| / |\mathcal{M}_N|$ は存在し、無限積 $\prod_{j=n-k+1}^{n} \zeta_q(j)^{-1}$ に等しい。
• この手法により、ユニモジュラー行列の密度が、各既約多項式における局所密度の積によって決定され、数論における中国剰余定理に類似していることが示された。