[論文レビュー] Distribution of determinant of matrices with restricted entries over finite fields

Lê Anh Vinh|ArXiv.org|Mar 13, 2009

Graph theory and applications参考文献 3被引用数 7

ひとこと要約

この論文は、有限体 $\mathbb{F}_q$ の部分集合 $\mathcal{A}$ に制限された $d \times d$ 行列の行列式の分布を研究する。幾何的インシデント理論とフーリエ解析を用いて、$ d \geq 4 $ において $ |\mathcal{A}| = \omega(q^{d/(2d-1)}) $ のとき、行列式が $ \mathbb{F}_q^* $ に属する $ t $ であるような行列の数は、漸近的に $ (1+o(1)) \frac{|\mathcal{A}|^{d^2}}{q} $ に等しくなることを示した。これは従来の境界を改善し、高次元への結果の拡張を達成した。

ABSTRACT

For a prime power $q$, we study the distribution of determinent of matrices with restricted entries over a finite field $\mathbbm{F}_q$ of $q$ elements. More precisely, let $N_d (\mathcal{A}; t)$ be the number of $d imes d$ matrices with entries in $\mathcal{A}$ having determinant $t$. We show that \[ N_d (\mathcal{A}; t) = (1 + o (1)) \frac{|\mathcal{A}|^{d^2}}{q}, \] if $|\mathcal{A}| = ω(q^{\frac{d}{2d-1}})$, $d\geqslant 4$. When $q$ is a prime and $\mathcal{A}$ is a symmetric interval $[-H,H]$, we get the same result for $d\geqslant 3$. This improves a result of Ahmadi and Shparlinski (2007).

研究の動機と目的

• $ d \times d $ 行列の要素が $ \mathbb{F}_q $ の部分集合 $ \mathcal{A} \subset \mathbb{F}_q $ から選ばれるとき、その行列式の分布を理解すること。
• 特に高次元行列に対して、有限体における行列式の等分布性に関する従来の境界を改善すること。
• Ahmadi と Shparlinski (2007) や Covert 他 (2010) の結果を、一般の集合 $ \mathcal{A} $ と $ d \geq 4 $ の高次元に拡張すること。
• 行列式の漸近的等分布性を、$ |\mathcal{A}| $ が $ q $ と $ d $ に依存する特定の閾値を超えた場合に確立すること。

提案手法

• Covert 他 (2010) の幾何的インシデント推定値、特に定理 2.1 を用いて、行列式数え上げ関数の $ L^2 $ ノルムを評価する。
• $ \mathbb{F}_q^d $ 上でのフーリエ解析を適用し、非自明な加法的特徴 $ \chi $ に関するフーリエ変換を用いる。
• 恒等式 $ \sum_{l \in \mathbb{F}_q^*} N_d^2(\mathcal{A}; l) = \# \{ (M,N) : M,N \in \mathcal{A}^{d \times d}, \, \det(MN^{-1}) = 1 \} $ を用い、行列式数え上げの2次モーメントを特殊線型群のサイズに関連付ける。
• 帰納法と $ d=2 $ の既知の推定値を用いて、$ \sum_{l \in \mathbb{F}_q^*} N_d^2(\mathcal{A}; l) $ の境界を導出し、主な漸近的結果を得る。
• $ [-H,H] $ の区間に対して、定理 1.2 (Ahmadi と Shparlinski) を活用して $ d=3 $ の場合に強い境界を得る。$ H = \omega(p^{3/5}) $ のとき、等分布性が成立することを示す。
• 2次形式の解の数に関する帰納法と推定値を用いて、漸近展開における誤差項を制御する。

実験結果

リサーチクエスチョン

• RQ1 有限体 $ \mathbb{F}_q $ の部分集合 $ \mathcal{A} \subset \mathbb{F}_q $ に属する $ d \times d $ 行列の行列式が $ \mathbb{F}_q^* $ 上で漸近的に一様分布するための $ |\mathcal{A}| $ の条件は何か？
• RQ2 等分布性の閾値は次元 $ d $ と要素集合 $ \mathcal{A} $ のサイズにどのように依存するか？
• RQ3 Covert 他 (2010) が3次元体積に対して得た結果を、高次元の行列式分布に拡張できるか？
• RQ4 与えられた行列式を持つ行列の数の漸近的カウントにおける正確な誤差項は何か？また、それは $ |\mathcal{A}| $ にどのように依存するか？
• RQ5 集合 $ \mathcal{A} $ が一般の部分集合ではなく区間 $ [-H,H] $ の場合、等分布性の閾値はどのように変化するか？

主な発見

• $ d \geq 4 $ のとき、$ |\mathcal{A}| = \omega(q^{d/(2d-1)}) $ ならば、すべての $ t \in \mathbb{F}_q^* $ に対して $ N_d(\mathcal{A}; t) = (1+o(1)) \frac{|\mathcal{A}|^{d^2}}{q} $ が成り立ち、漸近的等分布性が示された。
• $ d=3 $ のとき、同じ漸近的等分布性が $ |\mathcal{A}| = \omega(q^{3/5}) $ のとき成り立ち、Covert 他 (2010) の定理 1.3 の境界と一致する。
• $ \mathcal{A} = [-H,H] \subset \mathbb{F}_p $ で $ p $ が素数のとき、$ d=3 $ において $ H = \omega(p^{3/5}) $ ならば等分布性が成立し、従来の境界を改善した。
• $ d=2 $ の場合、Ahmadi と Shparlinski (2007) と同一の条件下で結果が成り立つが、本論文ではそれを高次元に拡張した。
• 2次モーメント $ \sum_{l \in \mathbb{F}_q^*} N_d^2(\mathcal{A}; l) $ は、$ O\left( q^{-1} |\mathcal{A}|^{2d^2} + q^{d(d-1)/2} |\mathcal{A}|^{d(d+1)-2} \right) $ で抑えられ、提示された条件下では $ o(q^{-1} |\mathcal{A}|^{2d^2}) $ となる。
• $ H $ が小さい場合、特に $ H = O(p^{1/2}) $ のとき、精密な境界 $ S_d([-H,H]) = O\left( p^{d(d-1)/2 - 1} H^{d(d+1)+o(1)} \right) $ が得られ、一般の推定値を改善した。