[论文解读] Lattice of integer flows and poset of strongly connected orientations

Omid Amini|arXiv (Cornell University)|Jul 15, 2010

Polynomial and algebraic computation参考文献 1被引用 6

一句话总结

本文建立了有限连通图的整数流格的Voronoi胞腔的面格与该图子图的强连通定向之间的精确组合对应关系。通过从图的边结构导出的二次型，作者证明了原点处Voronoi胞腔的面结构同构于图G的子图的强连通定向的格，从而证实了Caporaso与Viviani关于图和热带曲线的Torelli定理的猜想。

ABSTRACT

We show that the Voronoi cells of the lattice of integer flows of a finite connected graph $G$ in the quadratic vector space of real valued flows have the following very precise combinatorics: the face poset of a Voronoi cell is isomorphic to the poset of strongly connected orientations of subgraphs of $G$. This confirms a conjecture of Caporaso and Viviani {Torelli Theorem For Graphs and Tropical Curves, Duke Math. J. 153(1) (2010), 129-171}.

研究动机与目标

• 表征有限连通图实流空间中整数流格的Voronoi胞腔的面格。
• 验证Caporaso与Viviani提出的关于Voronoi胞腔组合结构与子图强连通定向之间关系的猜想。
• 在Voronoi胞腔的面格与图G的子图的强连通定向的格之间建立一个典范同构。
• 提供一个几何与代数框架，将离散流、二次型与定向图结构联系起来。

提出的方法

• 将实值流的向量空间F定义为第一同调群H₁(G, ℝ)，将整数流的格Λ定义为H₁(G, ℤ)。
• 在F上赋予一个由G的单纯结构导出的自然内积，从而诱导出一个正定二次型q(x) = ⟨x, x⟩。
• 将Voronoi胞腔VO构造为在q下到原点距离最小的点的集合，并分析其面格FP。
• 将子图H ⊆ G的强连通定向定义为任意两点间均可通过有向路径相互可达的定向。
• 在所有此类子图定向的集合上建立一个格结构，按子图包含关系与定向的细化关系排序。
• 通过流分解与势函数，证明FP（VO的面）与图G的子图的强连通定向格之间存在典范的格同构。

实验结果

研究问题

• RQ1 是否存在整数流格的Voronoi胞腔面格的典范组合描述？
• RQ2 Voronoi胞腔的面格能否显式识别为图论中的已知组合对象？
• RQ3 图G的子图的强连通定向格是否与整数流格的Voronoi胞腔面格之间存在双射且保序的对应？
• RQ4 这种对应关系背后的几何与代数机制是什么？

主要发现

• Voronoi胞腔VO的面格同构于所有子图H ⊆ G的强连通定向的格，其顺序关系为子图包含与定向细化。
• 该同构通过VO的面与子图H的强连通定向D之间的典范对应关系建立。
• 对于任意子图H的强连通定向D，其关联流vᴰ满足：对每条有向边e = (y,z)，有vᴰ_e = f_D(z) - f_D(y) + 1，其中f_D是满足Δ(f_D) = d_out - d_in的势函数。
• 二次型的值为2q(vᴰ) = |E(D)| - ⟨f_D, Δ(f_D)⟩，将几何与图论不变量联系起来。
• 格Λ的覆盖数为Cov(Λ) = ε/2 - ½⟨f_D, Δ(f_D)⟩，其中ε为非桥边的数量。
• 若G为欧拉图，则Cov(Λ) = |E(G)|/2，当f_D为调和函数（即Δ(f_D) = 0）时取等，从而在欧拉情形下验证了该公式。