[论文解读] 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

一句话总结

本文解决了阿贝尔群 $\mathbb{C}_4 \times \mathbb{C}_2^2$ 的整数群行列式问题，该群是阶为16的最后一个未解决的阿贝尔群。通过代数数论与行列式分解技术，作者完全刻画了所有可能的整数群行列式值集合 $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$.

研究动机与目标

• 确定阿贝尔群 $G = \mathbb{C}_4 \times \mathbb{C}_2^2$ 的所有可能整数群行列式值的完整集合 $S(G)$，该群是阶为16的最后一个未解决阿贝尔群。
• 将整数群行列式的分类拓展至此前未解决的案例，特别是阶为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$（满足 $\equiv r \pmod{8}$ 的素数），$P'$（满足 $\equiv 1 \pmod{8}$ 且 $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)$ 之间？

主要发现

• 对于 $\mathbb{C}_4 \times \mathbb{C}_2^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$ 是满足 $\equiv 5 \pmod{8}$ 的素数集合。
• 值 $2^{16}(4m+1)$ 通过常数块的对称变量赋值实现，将行列式简化为 $D_4$ 形式的乘积。
• 对于任意满足 $p \equiv 5 \pmod{8}$ 的素数 $p$，值 $2^{17}p(2m+1)$ 可通过构造一种变量赋值实现，该赋值利用了 $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的阿贝尔群的整数群行列式的分类，解决了该家族中最后一个开放案例。