[論文レビュー] On a {K_4,K_{2,2,2}}-ultrahomogeneous graph

Italo J. Dejter|ArXiv.org|Apr 11, 2007

Finite Group Theory Research参考文献 13被引用数 9

ひとこと要約

本稿は、Fano平面の42個の順序付き直線を頂点として用い、12-正則で{K₄, K₂,₂,₂}-超同型なグラフGを構成する。Gは42個のK₄と21個のK₂,₂,₂の辺素な直和として一意に表現可能であり、各辺はちょうど1つのK₄および1つのK₂,₂,₂に属する。Gの自己同型群の位数は1008であり、強い対称性を示すが、線グラフ的ではなく、豊富な組合せ的構造とトーラス的部分グラフを有する。

ABSTRACT

The existence of a connected 12-regular $\{K_4,K_{2,2,2}\}$-ultrahomogeneous graph $G$ is established, (i.e. each isomorphism between two copies of $K_4$ or $K_{2,2,2}$ in $G$ extends to an automorphism of $G$), with the 42 ordered lines of the Fano plane taken as vertices. This graph $G$ can be expressed in a unique way both as the edge-disjoint union of 42 induced copies of $K_4$ and as the edge-disjoint union of 21 induced copies of $K_{2,2,2}$, with no more copies of $K_4$ or $K_{2,2,2}$ existing in $G$. Moreover, each edge of $G$ is shared by exactly one copy of $K_4$ and one of $K_{2,2,2}$. While the line graphs of $d$-cubes, ($3\le d\in\ZZ$), are $\{K_d, K_{2,2}\}$-ultrahomogeneous, $G$ is not even line-graphical. In addition, the chordless 6-cycles of $G$ are seen to play an interesting role and some self-dual configurations associated to $G$ with 2-arc-transitive, arc-transitive and semisymmetric Levi graphs are considered.

研究の動機と目的

• 接続性を有し、高い対称性と一意な分解性を有する12-正則な{K₄, K₂,₂,₂}-超同型グラフGの構成。
• Gが線グラフ的でないことを確立し、d-立方体の線グラフが{K_d, K₂,₂}-超同型であるのとは対照的に区別すること。
• Gにおける長さ6のサイクル（弦なし）とそのトーラス的部分グラフへの埋め込みの役割を調査すること。
• GのK₄およびK₂,₂,₂部分構造から導かれる自己双対な組合せ的配置とそのLeviグラフを定義・分析すること。
• Gの構成をより大きな射影空間や有限体上に一般化できるかを検討すること。

提案手法

• Gの頂点は、Fano平面の共通点を通る42個の順序付きペンキル（3本のFano直線の順序付き三つ組）として定義され、すべての3つの成分においてちょうど1つの位置で共通のFano直線の交点を持つことにより隣接関係が定義される。
• エッジの色分けは、共有された位置から得られる3つの交点によって形成されるFano直線に対応する「強い色」を各エッジに割り当てる。
• Gが42個の誘導されたK₄と21個の誘導されたK₂,₂,₂の辺素な直和に一意に分解可能であることが示され、各エッジがちょうど1つのK₄および1つのK₂,₂,₂に属することから、Gの固定構造が確認される。
• Gの自己同型群の位数は1008であり、頂点は自己同型群内の位数24の部分群の左剰余類として、エッジは位数4の部分群の左剰余類として実現される。
• Gの部分グラフから組合せ的配置が導かれ、(42₃,21₆)および(21₄,7₁₂)の配置が得られ、それらのLeviグラフは対称性と最小周長について分析される。
• 6サイクルと八面体的三角形からなるトーラス的部分グラフが構成され、K₄と組み合わせることで、閉じた(piecewise linear)3次元多様体が得られる。

実験結果

リサーチクエスチョン

• RQ1 線グラフ的でない12-正則な{K₄, K₂,₂,₂}-超同型グラフが存在するか。その場合、その構造的性質および対称性は何か？
• RQ2 Gにおける弦なし6サイクルは、K₄およびK₂,₂,₂部分グラフとどのように相互作用し、どのような位相的構造を形成するか？
• RQ3 Gの構成をFano平面を越えて、GF(2)上での高次元射影空間や他の有限体へ一般化できるか？
• RQ4 Gの部分グラフ分解から得られる自己双対配置およびそのLeviグラフの性質は何か？
• RQ5 GはCayleyグラフであるか。また、その自己同型群は部分群の剰余類構造とどのように関係するか？

主な発見

• Gは42頂点、直径3の12-正則で、{K₄, K₂,₂,₂}-超同型なグラフであり、自己同型群の位数は1008である。
• Gは42個の誘導されたK₄と21個の誘導されたK₂,₂,₂の辺素な直和に一意に分解可能であり、G内にそれらの追加のコピーは存在しない。
• Gの各辺はちょうど1つのK₄および1つのK₂,₂,₂に属し、Gの固定構造が確認される。
• Gの252本の辺は自己同型群内の位数4の部分群の左剰余類に対応し、頂点は位数24の部分群の左剰余類に対応する。
• Gは21個の部分グラフ[[w]]_dおよび7個の部分グラフ[xyz]を有し、それぞれ非誘導的なトーラス的部分グラフを形成する。これらをK₄と組み合わせることで、閉じたpiecewise-linear 3次元多様体が得られる。
• 3つの自己双対配置が特定された：(42₃,21₆)-配置および(21₄,7₁₂)-配置であり、それに対応するLeviグラフは、それぞれ2-弧推移的、弧推移的、または半対称的である。