[論文レビュー] On tight spans and tropical polytopes for directed distances

Hiroshi Hirai, Shungo Koichi|arXiv (Cornell University)|Apr 3, 2010

Polynomial and algebraic computation参考文献 14被引用数 3

ひとこと要約

本稿は、非対称距離（非対称的距離）のためのタイトスパンおよびトロピカルポリトープの有向版を構築し、タイトおよび巡回的タイト拡張の普遍埋め込み性を確立する。有向ツリー距離定理を証明する：有向距離が有向ツリー距離であるための必要十分条件は、その符号反転距離行列のトロピカルランクが2以下であることである。

ABSTRACT

An extension $(V,d)$ of a metric space $(S,μ)$ is a metric space with $S \subseteq V$ and $d|_S = μ$, and is said to be tight if there is no other extension $(V,d')$ of $(S,μ)$ with $d' \leq d$. Isbell and Dress independently found that every tight extension is isometrically embedded into a certain metrized polyhedral complex associated with $(S,μ)$, called the tight span. This paper develops an analogous theory for directed metrics, which are "not necessarily symmetric" distance functions satisfying the triangle inequality. We introduce a directed version of the tight span and show that it has such a universal embedding property for tight extensions. Also we newly introduce another natural class of extensions, called cyclically tight extensions, and show that (a fiber of) the tropical polytope, introduced by Develin and Sturmfels, has a universal embedding property for cyclically tight extensions. As an application, we prove the following directed version of tree metric theorem: directed metric $μ$ is a directed tree metric if and only if the tropical rank of $-μ$ is at most two. Also we describe how tight spans and tropical polytopes are applied to the study in multicommodity flows in directed networks.

研究の動機と目的

• タイトスパンおよびトロピカルポリトープの理論を、非対称的でない可能性のある有向距離へと拡張すること。
• 有向距離の文脈において、タイトおよび巡回的タイト拡張を定義し、特徴づけること。
• タイトスパンおよびトロピカルポリトープの有向版を用いて、これらの拡張の普遍埋め込み性を確立すること。
• この枠組みを有向ネットワークにおけるマルチコマーディティフロー問題に適用し、幾何学と最適化を結びつけること。
• トロピカルランクを用いた古典的ツリー距離定理の有向版を提供すること。

提案手法

• 有向タイトスパン $T_{\rho}$ を、無限大多面体 $P_{\rho} = \{p \in \mathbb{R}^S \mid p(s) + p(t) \geq \rho(s,t)\}$ の最小点の集合として定義する。
• 別の多面体 $Q_{\rho}$ の最小点の集合の射影としてトロピカルポリトープ $\bar{Q}_{\rho}$ を導入し、$\bar{Q}_{\rho}$ に双対的に射影されるバランスドセクション $R \subseteq Q_{\rho}$ を定義する。
• $T_{\rho}$、$Q_{\rho}$ および任意のバランスドセクション $R$ に、有向 $l_\infty$-距離 $D_\infty$ を導入する。
• 任意の有向距離 $\rho$ のタイト拡張が、$(T_{\rho}, D_\infty)$ に等長埋め込み可能であることを証明する。同様に、任意の巡回的タイト拡張は $Q_{\rho}$ のバランスドセクションに等長埋め込み可能であることを示す。
• 有向ツリー距離の特徴づけに、$T_{\rho}$ および $\bar{Q}_{\rho}$ の次元基準を用いる。
• マルチコマーディティフロー問題への応用において、双対線形計画問題が $T_{\rho}$ および $\bar{Q}_{\rho}$ 上の施設配置問題に還元されることを示す。

実験結果

リサーチクエスチョン

• RQ1 非対称距離に対して、対称の場合のタイトスパンに類似した普遍的タイト拡張が存在するか？
• RQ2 巡回的タイト拡張を普遍的に埋め込むことができる、トロピカルポリトープの有向版を構築できるか？
• RQ3 トロピカル幾何学の観点から、有向ツリー距離の組合せ的特徴づけは何か？
• RQ4 有向タイトスパンおよびトロピカルポリトープの幾何学的性質を、有向ネットワークにおけるマルチコマーディティフロー問題にどのように応用できるか？
• RQ5 $-\mu$ のトロピカルランクと有向ツリー距離の構造との関係は何か？

主な発見

• 有向タイトスパン $T_{\rho}$ は、有向距離 $\rho$ に対する普遍的タイト拡張である。すなわち、任意のタイト拡張は、$D_\infty$ 距離を用いて $T_{\rho}$ に等長埋め込み可能である。
• バランスドセクションを介して、トロピカルポリトープ $\bar{Q}_{\rho}$ は、$\rho$ の巡回的タイト拡張を普遍的に埋め込む。
• 有向距離 $\rho$ が有向ツリー距離であるための必要十分条件は、$-\rho$ のトロピカルランクが2以下であることである。これにより、ツリー距離定理の有向版が確立される。
• 一般のネットワークにおけるマルチコマーディティフロー問題の双対は、有向タイトスパン $T_{\rho}$ 上の施設配置問題に還元され、目的関数は辺上の $D_\infty$-距離の和として表現される。
• エラーイアンネットワークでは、双対問題はトロピカルポリトープ $\bar{Q}_{\rho}$ 上の施設配置問題に還元され、目的関数は $Q_{\rho}$ の任意のバランスドセクションへの埋め込みに関して最小化される。
• この枠組みにより、マルチコマーディティフローの双対性の幾何的解釈が得られ、最適化と有向空間内の距離幾何学が結びつけられる。