[論文レビュー] Computer-verification of the structure of some classes of fragile matroids

Carolyn Chun, Deborah Chun+4 more|arXiv (Cornell University)|Dec 5, 2013

Distributed systems and fault tolerance参考文献 3被引用数 8

ひとこと要約

本稿では、特定の部分体上で表現可能なFano-脆弱および{U_{2,5},U_{3,5}}-脆弱なマトロイドの、コンピュータで検証された構造的特徴付けを提示する。SageMathを用いた計算的手法により、3連結なFano-脆弱マトロイドでN_{11}またはN_{12}をマイナーとして持つものは、指定された三角形にホイールを接合することで得られることを検証した。また、M_5およびM_2に属する{U_{2,5},U_{3,5}}-脆弱マトロイドは、U_{2,5}またはM_{7,1}に対する特定のファン拡張または接合操作から生じることを示した。主たる貢献は、有限ケース解析を用いたアルゴリズム的検証による、これらのクラスの完全な分類である。

ABSTRACT

This technical report accompanies the following three papers. It contains the computations necessary to verify some of the results claimed in those papers. [1] Carolyn Chun, Deborah Chun, Dillon Mayhew, and Stefan H. M. van Zwam. Fan-extensions in fragile matroids. In preparation. [2] Carolyn Chun, Dillon Mayhew, Geoff Whittle, and Stefan H. M. van Zwam. The structure of binary Fano-fragile matroids. In preparation. [3] Ben Clark, Dillon Mayhew, Geoff Whittle, and Stefan H. M. van Zwam. The structure of {U2,5, U3,5}-fragile matroids. In preparation.

研究の動機と目的

• 先行理論的研究で主張されたFano-脆弱および{U_{2,5},U_{3,5}}-脆弱マトロイドの構造定理に対する計算的検証を提供すること。
• 3連結なFano-脆弱マトロイドでN_{11}をマイナーとして持つものが、基本マトロイド内の特定の三角形にホイールを接合することで得られることを確立すること。
• H_5およびU_2上で表現可能なM_5およびM_2に属するすべての3連結マトロイドを、ファン拡張およびホイール接合による構成法の観点から分類すること。
• 計算代数システムにおける有限ケースチェックを用いて、これらのクラスに属する3連結マトロイドが指定された構成法から生じる唯一のものであることを検証すること。

提案手法

• 著者らは、ホイールをマトロイドの三角形に接合するための形式的定義を、一般化された並列接続とホイールを用いて定義する。
• ファン拡張理論を適用し、構造的分類問題を有限ケースチェックに還元し、コアとなるマトロイド構成を活用する。
• 計算はSageMath 6.5のマトロイドパッケージを用い、すべての可能なマイナーと拡張を体系的かつ系統的にチェックする。
• 証明は、特定のコアマトロイド（例：M_{9,7}、M_{9,15}、M_{9,2}など）とそのファン拡張に問題を還元する補題に依存する。
• 部分体（H_5およびU_2）上の表現可能性をチェックし、一般化されたΔ-Y交換を用いて経路列を追跡する。
• 双対性およびマイナー最小性の議論を用いて重複するケースを除外し、探索空間を有限個の構成にまで削減する。

実験結果

リサーチクエスチョン

• RQ1 3連結なFano-脆弱マトロイドでN_{11}をマイナーとして持つものの完全な構造的特徴付けは何か？
• RQ2 H_5またはU_2上で表現可能なすべての3連結な{U_{2,5},U_{3,5}}-脆弱マトロイドは、ホイール接合およびファン拡張を用いて、基本マトロイドからどのように構成できるか？
• RQ3 指定された構成法（例：U_{2,5}またはM_{7,1}にホイールを接合）から得られない3連結マトロイドが、M_5またはM_2に存在するか？
• RQ4 X_8からの経路列構成は、M_5に属するこのようなマイナーを持つすべての小さなマトロイドを完全に捉えられるか？この文脈でM_{8,6}の役割は何か？
• RQ5 有限ケースチェックが計算不能になる計算的限界はどこか？また、双対性の下で結果はどのように保たれるか？

主な発見

• N_{11}をマイナーとして持つすべての3連結なFano-脆弱マトロイドは、N_{11}の三角形(0,10,4)にホイールを接合することで得られるマトロイドと同型である。
• N_{12}をマイナーとして持つすべての3連結なFano-脆弱マトロイドは、F_7の三角形(2,6,9)、(8,0,9)、(1,7,9)にランク3のホイールを接合し、要素{0,6,7,9}を削除することで得られるマトロイドと同型である。
• M_5に属するすべての3連結マトロイドは、以下の5つの指定された構成法のいずれかと同型である：X_8、Y_8、またはY_8^*をマイナーとして持つこと、{U_{2,6}, U_{4,6}, P_6, M_{9,9}, M_{9,9}^*}に属すること、またはU_{2,5}から( a,c,b )、( a,d,b )、( a,e,b )、または( a,b,c )、( c,d,e )にホイールを接合することで得られること。
• M_2に属するすべての3連結マトロイドは、以下の4つの構成法のいずれかと同型である：X_8、Y_8、またはY_8^*をマイナーとして持つこと、{M_{9,9}, M_{9,9}^*}に属すること、またはU_{2,5}またはM_{7,1}から指定された三角形にホイールを接合することで得られること。
• X_8からの経路列構成は、M_5に属するすべての小さなマトロイドで{X_8, Y_8, Y_8^*}をマイナーとして持つものすべてを捉え、|E(M)| ≤ 12であるすべてのこのようなマトロイドが{X_8, Y_8, Y_8^*, M_{8,6}}のマイナーを持つことが示された。
• 計算による検証により、SageMathにおける有限ケース解析を用いて、指定されたもの以外の3連結マトロイドがM_5またはM_2に存在しないことが確認された。