[論文レビュー] Lattice of integer flows and poset of strongly connected orientations

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

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

ひとこと要約

本稿は、有限連結グラフの整数フロー格子のボロノイ胞の面の順序集合と、その部分グラフの強連結な向き付けの順序集合との間で、正確な組合せ的対応を確立する。グラフの辺構造から導かれる二次形式を用いて、原点におけるボロノイ胞の面構造が、G の部分グラフの強連結な向き付けの順序集合に同型であることを証明し、グラフおよびトロピカル曲線のTorelli定理に関するCaporasoとVivianiの予想を裏付ける。

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}.

研究の動機と目的

• 有限連結グラフの実フロー空間における整数フロー格子のボロノイ胞の面の順序集合を特徴づけること。
• CaporasoとVivianiが提示した、ボロノイ胞の組合せ論と部分グラフの強連結な向き付けとの関係を裏付ける予想を検証すること。
• ボロノイ胞の面の順序集合と、G の部分グラフの強連結な向き付けの順序集合との間の標準的同型を確立すること。
• 離散的フロー、二次形式、および向き付けられたグラフ構造を結ぶ幾何的・代数的枠組みを提供すること。

提案手法

• 実数値フローのベクトル空間 F を、第1ホモロジー群 H₁(G, ℝ) として定義し、整数値フローの格子 Λ を H₁(G, ℤ) として定義する。
• G の単体的構造から導かれる自然な内積を F に導入し、正定値二次形式 q(x) = ⟨x, x⟩ を得る。
• ボロノイ胞 VO を、q に関する原点からの距離を最小化する点の集合として構成し、その面の順序集合 FP を分析する。
• 部分グラフ H ⊆ G の強連結な向き付けを、任意の頂点対が有向パスによって互いに到達可能であるような向き付けとして定義する。
• 部分グラフの包含関係と向き付けの細分化に基づいて、すべてのこのような向き付けの集合に順序集合構造を導入する。
• フロー分解とポテンシャル関数を用いて、FP（VO の面）と G の部分グラフの強連結な向き付けの順序集合との間の標準的順序集合同型を証明する。

実験結果

リサーチクエスチョン

• RQ1 グラフの整数フロー格子のボロノイ胞の面の順序集合に対する、標準的な組合せ的記述は存在するか？
• RQ2 ボロノイ胞の面の順序集合は、グラフ理論における既知の組合せ的対象と明示的に同一視可能か？
• RQ3 G の部分グラフの強連結な向き付けの順序集合は、ボロノイ胞の整数フロー格子の面の順序集合と、双対的かつ順序を保つように対応するか？
• RQ4 この対応の背後にある幾何的・代数的メカニズムは何か？

主な発見

• ボロノイ胞 VO の面の順序集合は、G の部分グラフの強連結な向き付けの順序集合に同型である。順序は部分グラフの包含関係と向き付けの細分化に基づく。
• 同型は、VO の面と、部分グラフ H ⊆ G の強連結な向き付け 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）であるときに達成され、オイラー的ケースにおける公式を確認する。