[論文レビュー] The Elementary Divisors of the Incidence Matrix of Skew Lines in PG(3,q)

Andries E. Brouwer, Joshua E. Ducey+1 more|arXiv (Cornell University)|Mar 1, 2011

graph theory and CDMA systems被引用数 4

ひとこと要約

この論文は、PG(3,q)におけるねじれ線の接続行列Aのスミス標準形を計算する。ここで2本の線がねじれの関係にあるとき、それらは接続するものとする。すべての初等因子がpのべきであることを示し、F_q上での組合せ的データを用いてその重複度の明示的公式を提示する。主な結果は、有限体上の行列の構造にp進付値技術と指標和を適用することで得られる。

ABSTRACT

The elementary divisors of the incidence matrix of lines in PG(3,q) are computed, where two lines are incident if and only if they are skew.

研究の動機と目的

• PG(3,q)におけるねじれ線の接続行列Aの初等因子を特定すること。ここで接続は2次元部分空間の自明な交わりに対応する。
• Aを整数行列として見たときのスミス標準形を計算し、特にそのp進構造に注目すること。
• 初等因子p^iの重複度をF_q上での組合せ的データの観点から明示的に求めること。
• PG(3,q)におけるr=s=2の場合に、部分的な結果A_{r,s}の初等因子についての一般化を行うこと。
• 行列のp進不変量と、指定された各値の個数を持つ[3]^t内のタプルに関する指標和との関係を確立すること。

提案手法

• 接続行列Aは、クライン二次曲面における非共線性グラフの隣接行列と解釈され、既知のパラメータを持つ強い正則グラフ構造を活用する。
• 行列AはI, J, Aを含む2次行列方程式を満たし、これにより固有値が計算可能となり、det(A)のp進付値が得られる。これによりすべての初等因子がpのべきであることが示される。
• 初等因子の重複度e_i(A)は、[3]^t内において丁度i個の成分が2に等しいタプルを用いた公式により計算される。係数d(𝐬)は(1+x+...+x^{p-1})^4の展開から得られる。
• 0 ≤ i ≤ tについて、e_{2t+i} = ∑_{𝐬∈ℋ(i)} d(𝐬)で与えられ、ここでd(𝐬)は多項式(1+x+...+x^{p-1})^4のp進展開における係数の積である。
• 証明は群代数上の表現論とモジュール分解に依拠し、指標と部分モジュールを用いて行列構造とp進初等因子を関連付ける。
• 重要なステップとして、A_{r,1}A_{1,s} ≡ −A_{r,s} (mod p^t)を示す。これにより積行列の構造が元の接続行列と関連づけられ、指標和技法の適用が可能になる。

実験結果

リサーチクエスチョン

• RQ1 PG(3,q)におけるねじれ線の接続行列Aの初等因子は何か。ここで接続は2次元部分空間の自明な交わりに対応する。
• RQ2 q = p^tの観点から、初等因子p^iの重複度を明示的にどのように計算できるか。
• RQ3 p進付値は、Aのスミス標準形の構造を決定づける役割を果たすか。
• RQ4 [3]^t内に指定された数の2を含むタプルといった組合せ的構造は、Aの不変因子とどのように関係するか。
• RQ5 一般論としての接続行列A_{r,s}の理論を、特にp進不変量の観点から、PG(3,q)におけるr=s=2の場合に拡張できるか。

主な発見

• Aの初等因子はすべてpのべきである。これはAの固有値構造と|det(A)|がpのべきであるという事実により示される。
• 0 ≤ i < tについて、p^iの重複度e_iは対称性e_i = e_{3t−i}を満たす。
• 0 ≤ i ≤ tについて、重複度e_{2t+i}は∑_{𝐬∈ℋ(i)} d(𝐬)で与えられ、ℋ(i)は[3]^t内において丁度i個の成分が2に等しいタプルの集合である。
• p=3, t=2（つまりq=9）の場合、重複度はe_4=202, e_5=256, e_6=361, e_8=1であり、対称性によりe_0=361, e_1=256, e_2=6025, e_3=202となる。
• p=2の場合、定理2.2における和は著しく単純化される。これは、隣接する1と3を含むタプル、または先頭に1で末尾に3を含むタプルについてd(𝐬)=0となるためである。
• 0 ≤ i < tについて、e_i(A_{r,s}) = ∑_{𝐬∈Γ(i)} d(𝐬)という公式は、任意のr,sについて一般化され、Γ(i)は指標和の条件によって定義される。