[論文レビュー] 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次元の最大値より1つ大きいまでの範囲に収束することを証明する。
• 彼らは、WL精錬を用いて、単一の直接因子に対して完全な要素を検出する。これは、中心化部分群の包含的最小性により、他の要素と区別可能である。
• 彼らは、WLに基づく不変量を、$\bigcup G_iZ(G)$ などの標準的構造に誘導される非可換グラフに適用し、因子の同型型を回復する。
• 彼らは、$k$-WL$_{\text{II}}$（$k \geq 5$）が、群のsocleおよび組成因子の同型型を検出できることを確立し、$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 すべての有限群に対してWL次元が有界であるか？ もし有界でなければ、高次元を引き起こす構造的特徴は何か？
• RQ5 WLアルゴリズムは、組成因子やFitting部分群、socleといった特徴的部分群の同型型をどの程度正確に捉えられるか？

主な発見

• 有限群のWeisfeiler-Leman次元は、その非分解的直接因子のWL次元の最大値より1つ大きいまでの範囲に収束する。
• 5次元のWL$_{\text{II}}$アルゴリズムは、集合 $\bigcup_{i} G_iZ(G)$ を検出でき、各直接因子の同型型を同型の意味で特定可能である。
• k ≥ 5 に対して、k-WL$_{\text{II}}$ は、群のsocleおよび組成因子の同型型を検出可能である。
• アルゴリズムは、導出系列、上部および下部中心系列、およびFitting系列の因子の同型型を特定する。
• 中心、交換子部分群、アーベル根基、可解根基、$\pi$-根基、および内部自己同型群は、すべて低次元のWLアルゴリズムによって検出可能である。
• 群のWL次元が有界であるための必要十分条件は、その非分解的因子のWL次元が有界であることである。これは、一般の未解決問題を非分解的ケースに還元する。