[論文レビュー] Integer group determinants for abelian groups of order 16

Yuka Yamaguchi, Naoya Yamaguchi|arXiv (Cornell University)|Nov 27, 2022

graph theory and CDMA systems被引用数 4

ひとこと要約

この論文は、位数16のアーベル群の中で最後に未解決のままであった $ℂ_4 \times \u2102_2^2$ の整数群行列式問題を解決する。代数的整数論と行列式分解技術を用いて、すべての可能な整数群行列式値の集合 $S(G)$ が算術級数とスケーリングされた素数関連形式の和集合として完全に特徴付けられ、群行列式理論における長年の分類問題が完全に解決された。

ABSTRACT

For any positive integer $n$, let ${ m C}_{n}$ be the cyclic group of order $n$. We determine all possible values of the integer group determinant of ${ m C}_{4} imes { m C}_{2}^{2}$, which is the only unsolved abelian group of order $16$.

研究の動機と目的

• 位数16のアーベル群の中で最後に未解決のままであった $G = \mathbb{C}_4 \times \mathbb{C}_2^2$ のすべての可能な整数群行列式値の集合 $S(G)$ を完全に特定すること。
• 特に位数16の群に対して、これまでの解決事例を超えて整数群行列式の分類を拡張すること。
• オルガ・トーディ・トッドが巡回行列式に関する長年の未解決問題を提起したのを、有限群へ一般化した問題を解決すること。
• 数論的集合とモジュラー形式を用いて、この群の整数群行列式写像の像を明確な算術的記述で与えること。

提案手法

• 群 $G = \mathbb{C}_4 \times \mathbb{C}_2^2$ に対して群行列式構成 $\det(x_{gh^{-1}})_{g,h \in G}$ を用い、整数値変数 $x_g$ を導入する。
• 特に $\mathbb{C}_4 \times \mathbb{C}_2 \cong \mathbb{C}_4 \times \mathbb{C}_2$ の同型と $\mathbb{C}_4$、$\mathbb{C}_2$ の既知の行列式結果を活用して、部分群による再帰的分解を実行する。
• 補題2.1を適用して $D_4$ 行列式を $D_2$ と複素 $D_2$ 形式の積に分解し、代数的簡略化を可能にする。
• $\mathbb{C}_4 \times \mathbb{C}_2^2$ の積構造を用いて $D_{4\times 2\times 2}$ を定義し、問題を対称多項式表現への帰着させる。
• 主要な数論的集合を定義する：$P_r$（$8$ を法として $r$ に合同な素数）、$P'$（$8$ を法として $1$ に合同で、$a+b \equiv \pm 3 \pmod{8}$ を満たす素数）、および集合 $A$、$B$、$C$、$D$ を用いて行列式写像の像を記述する。
• 各行列式値クラスを実現する明示的な整数値変数割り当てを構成し、直接の行列式計算により $S(G)$ への属可能性を証明する。

実験結果

リサーチクエスチョン

• RQ1 整数係数を持つ $\mathbb{C}_4 \times \mathbb{C}_2^2$ 上の群行列式として現れる、すべての可能な整数値は何か？
• RQ2 $\mathbb{C}_4 \times \mathbb{C}_2^2$ が巡回群の積としての構造を持つことにより、その整数群行列式の像はどのように影響を受けるか？
• RQ3 これまでの事例と同様に、算術級数と素数関連形式を用いて、この群の整数群行列式を完全に記述できるか？
• RQ4 $8$ を法として $1$ または $5$ に合同な素数は、行列式の像において果たす役割は何か？また、$2$ のべきとどのように相互作用するか？
• RQ5 位数16の群における行列式集合の包含関係の完全な鎖が存在するか？また、$S(\mathbb{C}_4 \times \mathbb{C}_2^2)$ は $S(\mathbb{C}_2^4)$ と $S(\mathbb{C}_4^2)$ の間に厳密に位置するか？

主な発見

• 整数群行列式値の集合は、$S(G) = \{16m+1,\ 2^{16}(4m+1),\ 2^{16}(8m+3),\ 2^{17}p(2m+1),\ 2^{18}m \mid m \in \mathbb{Z},\ p \in P_5\} \cup \{2^{16}m \mid m \in A \cup B\}$ に正確に一致する。ここで $P_5$ は $8$ を法として $5$ に合同な素数の集合である。
• $2^{16}(4m+1)$ の値は、定数ブロックを持つ対称的変数割り当てにより達成され、行列式が $D_4$ 形式の積に簡略化される。
• $2^{17}p(2m+1)$ の値は、任意の素数 $p \equiv 5 \pmod{8}$ に対して、$2p$ が二つの平方数の和として表せる性質を活用した変数割り当てにより実現される。
• $A = \{(8k-3)(8l+3) \mid k,l \in \mathbb{Z}\}$ および $B = \{p(8m-1) \mid p \in P', m \in \mathbb{Z}\}$ は、追加の $2^{16}m$ 形式の行列式値をパラメータ化する。
• 包含関係 $S(\mathbb{C}_2^4) \subsetneq S(\mathbb{C}_4 \times \mathbb{C}_2^2) \subsetneq S(\mathbb{C}_4^2) \subsetneq S(\mathbb{C}_8 \times \mathbb{C}_2) \subsetneq S(D_{16}) \subsetneq S(\mathbb{C}_{16})$ が成り立ち、行列式像の厳密な階層が確認された。
• この結果により、位数16のすべてのアーベル群の整数群行列式の分類が完全に完了し、この族の中で最後の未解決事例が解かれた。