[论文解读] Flow-Cut Dualities for Sheaves on Graphs

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

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

一句话总结

本文将最大流最小割（MFMC）定理推广至有向图上关于半环的层（sheaves）的偏半模，利用有向（上）同调形式化流-割对偶性。通过建立同调与上同调之间的庞加莱对偶性，将流分解为割上的局部流，关键结果表明可行流值为所有极小割上的同伦极限，推广了经典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.

研究动机与目标

• 将最大流最小割定理从数值容量推广至有向图上关于半环的偏半模层。
• 利用层的有向（上）同调理论形式化流-割对偶性，将流与同调联系，将割与上同调联系。
• 通过将可行流值解释为极小割上的同伦极限，推广经典MFMC与代数流定理。
• 通过有向层（上）同调不满足自然正合性条件，解释网络优化中的对偶间隙。

提出的方法

• 使用偏 S-半模层建模局部网络约束，如容量、概率或逻辑命题。
• 定义有向同调 $H^{c}_{1}$ 与上同调 $H^{1}_{c}$，分别用于分类局部可分解流与割值。
• 引入半环上的定向层，推广边的方向性，并实现截面之间的平行移动。
• 通过包含连接映射 $\delta_-$ 与 $\delta_+$ 的交换图，建立庞加莱对偶性，将 $H^{c}_{1}$ 与 $H^{1}_{c}$ 及 $H^{c}_{0}$ 联系起来。
• 将可行流值表示为所有极小 $e$-割上的同伦极限，推广MFMC至有序幺半群与半格。
• 应用同调的普遍系数定理，研究基半环变化时是否保持局部可分解性。

实验结果

研究问题

• RQ1 如何将最大流最小割定理从数值容量推广至有向图上关于半环的偏半模层？
• RQ2 有向（上）同调在分类网络层中的流与割中起什么作用，其与经典对偶性有何关联？
• RQ3 在何种条件下流可在割上局部分解，这种分解如何通过层（上）同调中的庞加莱对偶性捕捉？
• RQ4 为何在基于层的网络优化中会出现对偶间隙，这与有向（上）同调中自然正合性条件的失败有何关联？
• 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$-半模时，恒等式 $\bigvee_{\phi}\phi(e) = \bigwedge_{C}\sum_{c\in C}\omega_{c}$ 对 $S$-可分解流与 $e$-割成立。
• 当 $H^{c}_{1}(-;\mathcal{F})$ 在边 $e$ 处不正合时出现对偶间隙，如 $\mathbb{R}_{\geq 0}^{2}$-加权边与 $xy=0$ 约束的示例所示。
• 若普遍系数定理条件成立，则在基变换下，半环 $S$ 上流的局部可分解性得以保持，此结论通过该定理的有限版本得到验证。
• 自然完备的下-半格有序 $S$-半模上的自然序关系保证了反对称性，从而验证了可行流值同伦极限表征中的最终等式。