[论文解读] A Systematic Study of Isomorphism Invariants of Finite Groups via the Weisfeiler-Leman Dimension

Jendrik Brachter, Pascal Schweitzer|arXiv (Cornell University)|Nov 23, 2021

Finite Group Theory Research被引用 4

一句话总结

本文提出了一套系统框架，利用Weisfeiler-Leman（WL）维数作为复杂度度量，分析有限群中的同构不变量。研究表明，低维WL算法（k ≤ 5）能够检测并表征关键的群论不变量——如中心、换位子群、Fitting群、底群（socle）以及合成因子——从而为群同构检测中的不变量提供统一且形式化的比较与有效性量化方法。

ABSTRACT

We investigate the relationship between various isomorphism invariants for finite groups. Specifically, we use the Weisfeiler-Leman dimension (WL) to characterize, compare and quantify the effectiveness and complexity of invariants for group isomorphism. It turns out that a surprising number of invariants and characteristic subgroups that are classic to group theory can be detected and identified by a low dimensional Weisfeiler-Leman algorithm. These include the center, the inner automorphism group, the commutator subgroup and the derived series, the abelian radical, the solvable radical, the Fitting group and $\\pi$-radicals. A low dimensional WL algorithm additionally determines the isomorphism type of the socle as well as the factors in the derived series and the upper and lower central series. We also analyze the behavior of the WL algorithm for group extensions and prove that a low dimensional WL algorithm determines the isomorphism types of the composition factors of a group. Finally we develop a new tool to define a canonical maximal central decomposition for groups. This allows us to show that the Weisfeiler-Leman dimension of a group is at most one larger than the dimensions of its direct indecomposable factors. In other words the Weisfeiler-Leman dimension increases by at most 1 when taking direct products.

研究动机与目标

• 建立一个正式且系统化的框架，用于比较和量化有限群中同构不变量的复杂度。
• 研究Weisfeiler-Leman维数是否可作为群不变量表达能力与计算复杂度的统一度量。
• 表征经典群论子群与性质中哪些可通过低维WL算法检测。
• 通过引入群的规范最大中心分解，解决在直积结构中分析不变量的挑战。
• 探讨群的WL维数与其不可约直积因子的WL维数之间的关系。

提出的方法

• 作者使用k维Weisfeiler-Leman算法（k-WL）作为计算工具，评估固定点逻辑带计数中群不变量的表达能力。
• 他们定义了群的规范最大中心分解，使通过WL精炼分析直积结构成为可能。
• 他们证明群的WL维数至多比其不可约直积因子中最大WL维数大一。
• 他们利用WL精炼检测在单一直积因子中为全的元素，通过其中心化子的包含极小性将其与其他元素区分开来。
• 他们将基于WL的不变量应用于在规范子结构（如$\bigcup G_iZ(G)$）上诱导的非交换图，以恢复因子的同构类型。
• 他们建立：当$k \geq 5$时，$k$-WL$_{\text{II}}$可检测群的底群与合成因子的同构类型，且$k$-WL$_{\text{II}}$对$k \geq 5$蕴含$G_i \equiv^{\text{II}}_{k-1} H_i$，即同构群中对应因子的同构关系。

实验结果

研究问题

• RQ1 哪些经典群论不变量可被低维Weisfeiler-Leman算法检测？
• RQ2 Weisfeiler-Leman维数与群的直积结构之间有何关系？
• RQ3 能否使用WL精炼定义群的规范分解以分析因子结构？
• RQ4 Weisfeiler-Leman维数对所有有限群是否均有界？若无界，哪些结构性特征会导致高维数？
• RQ5 WL算法在多大程度上能捕获合成因子与特征子群（如Fitting群或底群）的同构类型？

主要发现

• 有限群的Weisfeiler-Leman维数至多比其不可约直积因子中最大WL维数大一。
• 5维的WL$_{\text{II}}$算法可检测集合$\bigcup_{i} G_iZ(G)$，从而实现对每个直积因子同构类型的识别。
• 当$k \geq 5$时，$k$-WL$_{\text{II}}$可检测群的底群与合成因子的同构类型。
• 该算法可确定导出列、上中心列与下中心列以及Fitting列中各因子的同构类型。
• 中心、换位子群、阿贝尔根、可解根、$\pi$-根以及内自同构群均可通过低维WL算法检测。
• 群的WL维数有界当且仅当其不可约因子的WL维数有界，从而将一般性开放问题约化为不可约情形。