[論文レビュー] Circuit diameter and Klee-Walkup constructions

Tamon Stephen, Timothy Yusun|arXiv (Cornell University)|Mar 18, 2015

Advanced Graph Theory Research参考文献 6被引用数 4

ひとこと要約

本稿は、無限大Hirsch予想の反例として知られるKlee-Walkup多面体の回路直径を調査する。回路ウォーク（不等式系の最小依存部分系によって定義される方向に進む経路）を用いて、幾何的実現に依存せずにKlee-Walkup多面体が回路直径においてHirsch境界を満たすことを示し、この緩和された直径概念の頑健性に関する重要な問いに答えを提示する。

ABSTRACT

Consider a variant of the graph diameter of a polyhedron where each step in a walk between two vertices travels maximally in a circuit direction instead of along incident edges. Here circuit directions are non-trivial solutions to minimally-dependent subsystems of the presentation of the polyhedron. These can be understood as the set of all possible edge directions, including edges that may arise from translation of the facets. It is appealing to consider a circuit analogue of the Hirsch conjecture for graph diameter, as suggested by Borgwardt et al. [BFH15]. They ask whether the known counterexamples to the Hirsch conjecture give rise to counterexamples for this relaxed notion of circuit diameter. We show that the most basic counterexample to the unbounded Hirsch conjecture, the Klee-Walkup polyhedron, does have a circuit diameter that satisfies the Hirsch bound, regardless of representation. We also examine the circuit diameter of the bounded Klee-Walkup polytope.

研究の動機と目的

• 既知の無限大Hirsch予想の反例（例えばKlee-Walkup多面体）が、回路直径版Hirsch予想についても反例となるかどうかを検討すること。
• 多面体の幾何的実現に依存する回路直径の依存関係、特にKlee-Walkup構成についての調査。
• 対称的および摂動されたバージョンを含む、Klee-Walkup多面体の異なる表現における回路直径の計算および比較。
• グラフ直径がHirsch境界を超える場合でも、Klee-Walkup多面体の回路直径がHirsch境界内で保たれることを示すこと。
• 体系的な列挙と検証ツールを用いて、特定のKlee-Walkup多面体の実現における回路直径の計算的証拠を提供すること。

提案手法

• 等式制約の核に属する非ゼロベクトルとして回路方向を定義し、不等式制約下でのサポート最小の像をとる。その後、互いに素な整数成分に正規化する。
• 各ステップで、実行可能である限り、可能な限り回路方向に進む点の列として回路ウォークを構築する。
• facet記述から多面体の頂点をpolymakeを用いて計算する。
• 制約行列のすべての3×4部分行列から導かれる斉次系を解き、すべての可能な回路方向を計算する。
• MATLABおよびMapleを用いて、長さ4までを上限として段階的な列挙を実行し、各ステップで実行可能性を確認する。
• 数値演算における精度の問題に対処するため、結果を手動または記号計算で検証する。

実験結果

リサーチクエスチョン

• RQ1 無限大Hirsch予想の反例であるKlee-Walkup多面体は、回路直径版Hirsch予想についても反例となるか？
• RQ2 Klee-Walkup多面体の回路直径は、異なる幾何的実現においてどのように変化するか？
• RQ3 グラフ直径がHirsch境界を超える多面体であっても、回路直径フレームワークにおいてHirsch境界を満たすことは可能か？
• RQ4 対称的および摂動された表現における、有界なKlee-Walkup多面体の回路直径は何か？
• RQ5 多面体の回路直径は、異なるfacet記述に対して不変であるか、それとも実現に強く依存するか？

主な発見

• Klee-Walkup多面体の対称的表現において、回路直径は3であり、f−d=8−4=4であるHirsch境界を満たす。
• 対称性が低い摂動されたKlee-Walkup多面体の実現では、回路直径は4に増加するが、依然としてHirsch境界内に収まる。
• Klee-Walkup多面体の回路直径は、実現に依存しない。これは、グラフ直径がそれを超える場合でも、Hirsch境界を超えないことから、その性質が保たれていることを示している。
• 回路ウォークの計算は、polymake、MATLAB、Mapleを用いた包括的列挙により実施され、数値的正確性を保証するための結果の検証が行われた。
• 本研究では、すべてのテストされた実現において、Klee-Walkup多面体の回路直径がHirsch境界内で保たれることを確認し、回路直径概念の頑健性を示している。
• 結果から、回路直径は対称的でないことが示され、特定の頂点ペair間の距離の非対称性によって明らかであり、グラフ直径とは顕著な違いを示している。