[論文レビュー] Critical and flow-critical snarks coincide

Edita Máčajová, Martin Škoviera|arXiv (Cornell University)|Sep 23, 2017

Theoretical and Computational Physics被引用数 1

ひとこと要約

この論文は、すべての辺削除部分グラフが3-辺彩色不能であることで定義される臨界スナーキューブ（critical snarks）が、4-辺臨界スナーキューブ（4-edge-critical snarks）と同値であることを確立している。つまり、それらはどこかの辺を収縮すれば4フロー可能になるが、元の状態ではどこかの辺を削除しても4フロー不能である。主な貢献は、スナーキューブ理論における長年にわたり独立して発展してきた2つの臨界定義——3-辺彩色に基づくものと、非ゼロ4フローに基づくもの——が一致することを証明し、スナーキューブ理論における2つの主要な研究路線を統合し、フロー計算の代わりに彩色指数のチェックによって臨界性の検証を簡略化した点にある。

ABSTRACT

Over the past twenty years, critical and bicritical snarks have been appearing in the literature in various forms and in different contexts. Two main variants of criticality of snarks have been studied: criticality with respect to the non-existence of a $3$-edge-colouring and criticality with respect to the non-existence of a nowhere-zero $4$-flow. In this paper we show that these two kinds of criticality coincide, thereby completing previous partial results of de Freitas et al. [Electron. Notes Discrete Math. 50 (2015), 199--204] and Fiol et al. [ arXiv:1702.07156v1 (2017)].

研究の動機と目的

• 長年の未解決問題である、3-辺彩色に基づく臨界スナーキューブと、非ゼロ4フローに基づくフロー臨界スナーキューブが同値であるかどうかを解明すること。
• 定義や概念が重複しているにもかかわらず、これまで別個に扱われてきたスナーキューブ理論における2つの異なる研究伝統を統合すること。
• 辺削除、頂点削除、不可約性条件など、スナーキューブにおける臨界定義の多様な定義を包括的に同等性の枠組みで提示すること。
• フローに基づくチェックの代わりに、より単純な彩色指数のテストを用いることで、臨界性のアルゴリズム的検証を簡略化すること。

提案手法

• 構造的グラフ解析を用いて、3-辺彩色に関する臨界性と非ゼロ4フローに関する臨界性の同等性を確立する。
• 辺収縮および頂点削除操作を用いて、スナーキューブが削減操作に対してどのように反応するかを分析する。
• スナーキューブが4-辺臨界であるための必要十分条件が、従来の3-辺彩色の意味での臨界性と同等であることを証明し、フローと彩色可能性に及ぼす辺削除と収縮の効果の同等性を用いる。
• 不可約性（例：5-、6-、7-不可約性）の概念を用いて、複数の臨界定義を統合し、それらの同等性を示す。
• 強スナーキューブ（strong snarks）への結果の拡張として、スナーキューブが強スナーキューブであるための必要十分条件を証明する。その条件は、任意の隣接する2頂点を削除すると、彩色指数が4のグラフが得られることである。
• 既知の不可約性およびフロー臨界性に関する結果を活用し、さまざまなグラフ操作における臨界性の統一的特徴づけを導出する。

実験結果

リサーチクエスチョン

• RQ1 スナーキューブ臨界性の2つの主要な定義——3-辺彩色に基づくものと非ゼロ4フローに基づくもの——が一致するか？
• RQ2 3-辺彩色の意味での臨界スナーキューブと、フローの意味での4-辺臨界スナーキューブとの間に構造的同等性があるか？
• RQ3 フローに基づくアルゴリズムの代わりに彩色指数のチェックを用いることで、臨界性の検証を簡略化できるか？
• RQ4 不可約性、頂点削除、辺収縮操作の間には、スナーキューブ理論においてより深い関係があるか？
• RQ5 強スナーキューブと臨界スナーキューブの関係は何か？また、強スナーキューブは頂点削除操作によって特徴づけられるか？

主な発見

• 臨界スナーキューブと4-辺臨界スナーキューブは同値である：スナーキューブが臨界であるための必要十分条件は、4-辺臨界であることである。
• 2臨界スナーキューブ（bicritical snarks）と4-頂点臨界スナーキューブ（4-vertex-critical snarks）は同値である：スナーキューブが2臨界であるための必要十分条件は、4-頂点臨界であることである。
• フロー臨界性のアルゴリズム的検証は、彩色指数のチェックに置き換えることで簡略化できる。臨界スナーキューブの各辺削除部分グラフは3-辺彩色可能である。
• 位数36以下のスナーキューブにおいて、臨界スナーキューブは55,172個存在するが、そのうち厳密臨界（strictly critical）であるのは846個にとどまり、すべての臨界スナーキューブの1.5％をわずかに上回る。
• 既知の位数≤36の厳密臨界スナーキューブはすべて、循環連結性4を示し、任意の偶数位数n≥32に対してそのようなスナーキューブが存在する。
• スナーキューブが強スナーキューブであるための必要十分条件は、任意の隣接する2頂点を削除すると、彩色指数4のグラフが得られることである。これにより、強スナーキューブの新しい特徴づけが得られた。