[論文レビュー] There are 1,132,835,421,602,062,347 nonisomorphic one-factorizations of $K_{14}$

Petteri Kaski, Patric R. J. Östergård|ArXiv.org|Dec 31, 2007

graph theory and CDMA systems参考文献 9被引用数 10

ひとこと要約

本稿では、群作用と軌道・安定化部分群定理を用いて同型類を数えることで、完全グラフ $K_{14}$ の非同型な1因子分解の計算的列挙を提示する。非自明な自己同型をもつ1因子分解を分類し、二重数え上げによる検証を実施することで、$K_{14}$ が正確に 1,132,835,421,602,062,347 個の非同型な1因子分解をもつことが確立された。これは、長年の組合せ論的列挙問題を、きめ細やかな計算的検証を伴って解決した。

ABSTRACT

We establish by means of a computer search that a complete graph on 14 vertices has 98,758,655,816,833,727,741,338,583,040 distinct and 1,132,835,421,602,062,347 nonisomorphic one-factorizations. The enumeration is constructive for the 10,305,262,573 isomorphism classes that admit a nontrivial automorphism.

研究の動機と目的

• 完全グラフ $K_{14}$ の非同型な1因子分解の正確な個数を特定すること。これは組合せ論において長年の未解決問題であった。
• 軌道・安定化部分群定理に基づく計算手法を開発し、すべてのラベル付き1因子分解を明示的に構成することなく、同型類の数を数えること。
• 種の二重数え上げと自己同型型の検証を含む、複数の独立したチェックにより、計算された個数の正しさを確認すること。
• 非自明な自己同型群をもつ1因子分解のすべての同型類を分類し、対称的な1因子分解の構造的洞察を提供すること。

提案手法

• 著者らは、頂点集合上の対称群の作用を用いて、ラベル付き1因子分解の個数と同型類の個数との関係を軌道・安定化部分群定理により関係づける。
• Dinitz–Garnick–McKay再帰の修正版を適用し、$K_{14}$ のラベル付き1因子分解の総数を計算した。その結果、98,758,655,816,833,727,741,338,583,040 個であることが得られた。
• 非自明な自己同型群をもつ1因子分解について、種に基づくアプローチを用いて、同型類を構成的に分類した。
• 同型類の自己同型型の数え上げの整合性を保証するため、タプル $(\mathcal{X}, \Pi, T, \mathcal{S})$ の二重数え上げを実施した。
• 自己同型群の構造は、素数位数の部分群 $\Pi$ に分解され、頂点分割 $U \cup V$ における固定点パターンが、パラメータ $f_U$ と $f_V$ を用いて分析された。
• 独立に計算された種の数と拡張数を用いて、軌道・安定化部分群方程式 (8) の左辺と右辺が各自己同型型について一致することを検証することで、正しさが確認された。

実験結果

リサーチクエスチョン

• RQ1 完全グラフ $K_{14}$ に対して、非同型な1因子分解はいくつ存在するか？
• RQ2 すべてのラベル付きインスタンスを列挙することなく、1因子分解の同型類の数を効率的に計算できるか？
• RQ3 $K_{14}$ の1因子分解は、自己同型群の構造によってどのように分布しているか？
• RQ4 対称性を含む大規模な組合せ論的列挙問題において、計算の正しさをどのように厳密に検証できるか？

主な発見

• 完全グラフ $K_{14}$ には正確に 1,132,835,421,602,062,347 個の非同型な1因子分解が存在する。
• ラベル付き1因子分解の総数は 98,758,655,816,833,727,741,338,583,040 個であり、再帰的手法により計算され、独立に確認された。
• 非自明な自己同型群をもつ1因子分解の分類には、10,305,262,573 個の同型類が含まれており、これらは体系的に列挙され、検証された。
• 二重数え上げのチェックにより、14種のすべての自己同型型において、軌道・安定化部分群方程式の左辺と右辺が正確に一致することが確認された。
• 本手法は、$K_{10}$ および $K_{12}$ に対する先行研究を自然に拡張し、これまで構成的同型類列挙の理論的限界であった $K_{14}$ まで到達した。
• 著者らは、$K_{14}$ の1因子分解の同型類の完全かつ検証済みの集計を提供しており、複数の独立したチェックによる完全な計算的検証がなされている。