[論文レビュー] Colourings of Cayley graphs of finite $3$-groups

Piotr Grzeszczuk|arXiv (Cornell University)|Mar 20, 2026

Finite Group Theory Research被引用数 0

ひとこと要約

要約: 本論文は有限3群の彩色同型を導入し、例外族L_rと同型でない非巡回の3群はすべて彩色同型を持つことを証明する。これにより、3次元 Cayley グラフ ￿G￿_3(G) の適切な |G|-彩色を得る。

ABSTRACT

Colouring problems arising from group-based constructions provide a natural link between combinatorics and algebra, particularly in the study of Cayley graphs and Latin squares. We introduce the notion of colouring bijections of finite groups, a class of permutations encoding proper vertex colourings of associated Cayley-type graphs, extending classical concepts such as complete mappings and strong complete mappings. We prove that every finite $3$-group without a cyclic maximal subgroup admits a colouring bijection. Consequently, for such a group $G$, the graph $\mathscr{G}_3(G)$ - a three-dimensional analogue of a Latin square - admits a proper colouring with $|G|$ colours. These results show that the existence of colouring bijections is governed by structural properties of $3$-groups, revealing a new connection between group theory and combinatorial colouring problems.

研究の動機と目的

• 群に基づく Cayley グラフから生じる彩色の Motive の研究と、それがラテン方陣および完全写像と結びつくこと。
• 彩色同型を完全写像の高次元類推として導入し、Cayley 型グラフの彩色における役割を確立する。
• 彩色同型を全体の3群へ拡張するリフティング技術を提供する。
• 有限3群がどのような場合に彩色同型を持つかを特徴づけ、￿G￿_3(G) の色数に対する含意を導く。

提案手法

• 彩色同型を、σ(x) に対して x∘σ(x)・x^{-1}σ(x)・x^{-1}σ(x)x が全単射となる全射 σ によって定義する。
• 彩色同型が ￿G￿_3(G) の |G|-色彩を与えることを、着色関数 c(x,y,z)=x^{-1}σ(y)z を用いて示す。
• 彩色同型を強完全写像と関連づけ、一般には彩色同型が関連構造上の強完全写像を導くことを示す。
• H が中心または特定の構造（C3×C3 または C9×C3）である場合、G/H から G へ彩色を層状（リフティング）させる拡張手法を用いる。
• 小さい群（位数27）の explicit 彩色同型をコンピュータ支援探索で示し、帰納的リフティングの基盤とする。

実験結果

リサーチクエスチョン

• RQ1 どの有限3群が彩色同型を持つのか？
• RQ2 彩色同型の存在は、すべての非例外的3群に対して ￿G￿_3(G の適切な |G|-彩色を保証するのか？
• RQ3 正規子群が C3×C3 または C9×C3 に同型である場合に、 quotients から全体群へ彩色同型をリフトできるか？
• RQ4 L_r のような例外族は彩色同型をどのように阻害し、彩色可能性を支配する構造的性質は何か？

主な発見

• 非巡回の3群で、L_r (r≥4) と同型でないものはすべて彩色同型を持つ。
• したがってこのような G に対して、グラフ ￿G￿_3(G) は |G| 色で適切に彩色できる、すなわち χ(￿G￿_3(G))=|G|。
• 彩色同型は特定の3群において強完全写像よりも希少であり、リフティング手法は複数の商群ケースに対処できる。
• 次数27の非可換群 H3 および L3 に対して、コンピュータ支援探索によって得られる explicit 彩色同型が帰納的リフティング過程の基盤となる。
• 層基準（中心正規部分群リフティング）は、適切な構造条件の下で G/H から G への彩色拡張を容易にする。
• アブeliア 3群では彩色同型は強完全写像と一致し、一般には二つの概念を関係づける標準変換が存在する。