[論文レビュー] Flow-Cut Dualities for Sheaves on Graphs

Sanjeevi Krishnan|arXiv (Cornell University)|Sep 23, 2014

Topological and Geometric Data Analysis参考文献 10被引用数 13

ひとこと要約

本稿は、有向グラフ上の半環上の部分半モジュールの層を用いて、最大フロー最小カット（MFMC）定理を一般化する。方向付き（ cohomo）ロジーを用いてフロー・カット双対性を形式化し、ホモロジーとコホモロジーの間のポアンカレ双対性を確立する。この双対性により、フローは局所的なカット上に分解され、主要な結果として、実行可能フロー値が最小カット上のホモトピー極限として表されることを示し、古典的MFMCおよび代数的フロー定理を一般化する。

ABSTRACT

This paper generalizes the Max-Flow Min-Cut (MFMC) theorem from the setting of numerical capacities to sheaves of partial semimodules over semirings on directed graphs. Motivating examples of partial semimodules include probability distributions, multicommodity capacity constraints, and logical propositions. Directed (co)homology theories for such sheaves describes familar constructs on networks. First homology classifies locally decomposable flows, an orientation sheaf over a semiring generalizes directions, connecting maps for homology assign values to flows, connecting maps for cohomology assign values to cuts, and a Poincare Duality describes a decomposition of flows as local flows over cuts. A consequent interpretation of feasible flow-values as a homotopy limit generalizes MFMC for edge weights in certain ordered monoids [Frieze] and hence also classical MFMC. Certain duality gaps are explained as a failure for directed sheaf (co)homology to satisfy a natural generalization of exactness.

研究の動機と目的

• 有向グラフ上の半環上の部分半モジュールの層へと、数値的容量から最大フロー最小カット定理を一般化すること。
• 層のための方向付き（ cohomo）ロジー理論を用いて、フローとカットの双対性を形式化し、フローをホモロジー、カットをコホモロジーに関連付けること。
• 実行可能フロー値を最小カット上のホモトピー極限として解釈することにより、古典的MFMCおよび代数的フロー定理を一般化すること。
• 方向付き層（ cohomo）ロジーが自然な完全性条件を満たさないことで生じるネットワーク最適化における双対ギャップの原因を説明すること。

提案手法

• 局所的ネットワーク制約（容量、確率、論理命題など）をモデル化するために、部分S-半モジュールの層を用いる。
• 局所的に分解可能なフローとカット値を分類するために、方向付きホモロジー $H^{c}_{1}$ およびコホモロジー $H^{1}_{c}$ を定義する。
• エッジの方向を一般化し、茎間の平行移動を可能にするために、半環上の方向性層を導入する。
• 接続写像 $\delta_-$ および $\delta_+$ を含む可換図式を通じて、$H^{c}_{1}$ と $H^{1}_{c}$、$H^{c}_{0}$ を結ぶポアンカレ双対性を確立する。
• 実行可能フロー値をすべての最小 $e$-カット上のホモトピー極限として表現し、MFMCを順序付きモノイドおよび半ラティスへ一般化する。
• ホモロジーのユニバーサル係数定理を用い、基底半環の変更が局所的分解可能性を保存する条件を特定する。

実験結果

リサーチクエスチョン

• RQ1 有向グラフ上の半環上の部分半モジュールの層へと、数値的容量から最大フロー最小カット定理をどのように一般化できるか？
• RQ2 方向付き（ cohomo）ロジーがネットワーク層におけるフローとカットを分類する役割を果たす仕組みは何か？また、古典的双対性とどのように関係するか？
• RQ3 どのような条件下でフローがカット上で局所的に分解可能となり、それが層（ cohomo）ロジーにおけるポアンカレ双対性によってどのように記述されるか？
• RQ4 なぜ層に基づくネットワーク最適化で双対ギャップが生じるのか？これは方向付き（ cohomo）ロジーにおける自然な完全性条件の不成立とどのように関係するか？
• RQ5 フロー値は、カットおよび層論的極限の観点から、どのように代数的に特徴づけられるか？

主な発見

• 有向グラフにおいて、$X-e$ が無閉路である有限で局所 $S$-分解可能なフローの実行可能 $e$-値は、すべての最小 $e$-カット上のホモトピー極限に等しく、古典的MFMCを一般化する。
• $H^{c}_{1}((X,U);\mathcal{F})$ と $H^{0}_{c}(X-U;\mathcal{O}_{S}\otimes_{S}\mathcal{F})$ の間にはポアンカレ双対性の同型が成り立ち、$H^{1}_{c}((X,X-U);\mathcal{O}_{S}\otimes_{S}\mathcal{F})$ への上への写像が存在し、コホモロジーを通じてフローとカットを結ぶ。
• $X-e$ が無閉路で、$M$ が自然に完全な下界半順序付き $S$-半モジュールであるとき、$S$-分解可能なフローと $e$-カットに対して $\bigvee_{\phi}\phi(e) = \bigwedge_{C}\sum_{c\in C}\omega_{c}$ が成り立つ。
• $H^{c}_{1}(-;\mathcal{F})$ がエッジ $e$ で完全でない場合に双対ギャップが生じる。例として、$\mathbb{R}_{\geq 0}^{2}$-重み付きエッジと $xy=0$ 制約を用いた例が示されている。
• ユニバーサル係数定理の条件が満たされれば、半環 $S$ 上でのフローの局所的分解可能性は、ベースチェンジのもとで保存される。これは、定理の限定版を用いて示されている。
• 自然に完全な下界半順序付き $S$-半モジュール上の自然な順序関係が反対称性を保証し、これがホモトピー極限によるフロー値の特徴づけにおける最終的な等式の正当性を裏付ける。