[論文レビュー] Edges vs Circuits: a Hierarchy of Diameters in Polyhedra

Steffen Borgwardt, Jesús A. De Loera+1 more|arXiv (Cornell University)|Sep 26, 2014

Computational Geometry and Mesh Generation参考文献 6被引用数 6

ひとこと要約

本稿は、辺の方向と回路ステップに基づくより柔軟なパスを組み込んだ、多面体の直径概念の階層的枠組みを導入する。これは古典的グラフ直径と回路直径を一般化したものであり、主な貢献は2次元におけるこの階層の完全な特徴付けであり、明示的に決定された実現可能な値をとる有限個の異なる直径タイプに縮退することを示している。

ABSTRACT

The study of the graph diameter of polytopes is a classical open problem in polyhedral geometry and the theory of linear optimization. In this paper we continue the investigation initiated in [4] by introducing a vast hierarchy of generalizations to the notion of graph diameter. This hierarchy provides some interesting lower bounds for the usual graph diameter. After explaining the structure of the hierarchy and discussing these bounds, we focus on clearly explaining the differences and similarities among the many diameter notions of our hierarchy. Finally, we fully characterize the hierarchy in dimension two. It collapses into fewer categories, for which we exhibit the ranges of values that can be realized as diameters.

研究の動機と目的

• 古典的グラフ直径を超える多面体の直径概念を、体系的な階層的一般化概念として拡張すること。
• これらの一般化直径が互いにどのように関係し、古典的グラフ直径および回路直径と関係するかを調査すること。
• 新しい階層を用いて、標準的グラフ直径の下界を導出すること。
• 2次元多面体における階層を完全に特徴づけること。これにより、異なる直径タイプとその実現可能な値範囲を特定する。

提案手法

• 階層は、エッジから始まり、回路へと包含関係を広げる方向ベクトルの集合に基づくウォークに基づく直径概念の定義によって構築される。
• 回路は、行列Aの核に属するサポート最小のベクトルとして定義され、互いに素な整数成分に正規化され、多面体の基本的エッジ方向を表す。
• 本稿は行列(A|B)の構造を用いて回路の集合を定義し、線形依存関係のマトロイドと関連付ける。
• 特定のサポートと正規化制約を満たす回路ステップを用いたウォークに基づく、CD^k_{fm(b)(r)}と表記される直径測度の族を導入する。
• 幾何学的および組合せ論的性質を活用して2次元多面体の分析を行う。特に、正多角形や有理数成分を持つ凸多角形を対象とする。
• 2次元における特徴付けは、頂点列とエッジ／回路ウォークの分析に依存しており、特に偶数辺を持つ正多角形のような対称的・正則構造を対象とする。

実験結果

リサーチクエスチョン

• RQ1 エッジ、回路、中間方向集合に基づく異なる一般化直径概念の値と関係性は、どのように比較できるか？
• RQ2 この階層から得られる、古典的グラフ直径の最もタイトな下界は何か？
• RQ3 2次元において、階層内に存在する異なる直径測定タイプはいくつであり、それぞれがどのような値を実現できるか？
• RQ4 この階層は低次元、特に2次元において完全に特徴づけられるか？

主な発見

• 2次元において、直径概念の階層は有限個の異なるカテゴリーに縮退し、高次元と比較して構造が著しく単純化される。
• 偶数kの正k角形において、CD^2_{fm(b)(r)}測定による直径は正確に2である。これは回路に基づくウォークが最適経路を達成できることを示している。
• 本稿は、2次元多面体における階層の各タイプについて、実現可能な直径値の集合を完全に特徴づけ、特定の区間内のすべての整数が実現可能であることを示している。
• 古典的グラフ直径は階層内のすべての概念の中で最大であり、回路直径および中間概念は、段階的にタイトな下界を提供する。
• 階層は直径値の厳密な順序付けを示しており、グラフ直径 ≥ 回路直径 ≥ すべての中間概念であり、特殊な場合に等号が成立する可能性がある。
• 分析により、2次元多面体において、階層内の異なる直径タイプの数は有限であり、明示的に計算可能であることが確認された。