[論文レビュー] Distributive Lattices, Polyhedra, and Generalized Flow

Stefan Felsner, Kolja Knauer|ArXiv.org|Nov 10, 2008

Advanced Graph Theory Research参考文献 12被引用数 4

ひとこと要約

本稿では、成分ごとの最大および最小について閉じた多面体（D-多面体）を導入し、包む超平面を用いてその幾何的特徴付けを行い、弧パラメータ化された有向グラフにおける頂点ポテンシャルと一般化フローの間に双対性を確立する。主な貢献は、平面的バランス型有向グラフにおける一般化フローに分配的ラティス構造を導入し、既知のフロー、向き付け、結合に関するラティス構造を統一的かつ拡張的に扱うものである。

ABSTRACT

A D-polyhedron is a polyhedron $P$ such that if $x,y$ are in $P$ then so are their componentwise max and min. In other words, the point set of a D-polyhedron forms a distributive lattice with the dominance order. We provide a full characterization of the bounding hyperplanes of D-polyhedra. Aside from being a nice combination of geometric and order theoretic concepts, D-polyhedra are a unifying generalization of several distributive lattices which arise from graphs. In fact every D-polyhedron corresponds to a directed graph with arc-parameters, such that every point in the polyhedron corresponds to a vertex potential on the graph. Alternatively, an edge-based description of the point set can be given. The objects in this model are dual to generalized flows, i.e., dual to flows with gains and losses. These models can be specialized to yield some cases of distributive lattices that have been studied previously. Particular specializations are: lattices of flows of planar digraphs (Khuller, Naor and Klein), of $α$-orientations of planar graphs (Felsner), of c-orientations (Propp) and of $Δ$-bonds of digraphs (Felsner and Knauer). As an additional application we exhibit a distributive lattice structure on generalized flow of breakeven planar digraphs.

研究の動機と目的

• D-多面体を成分ごとの最大および最小について閉じた多面体として幾何的に特徴付けること。
• 既知の組合せ的対象（例えば、フロー、向き付け、結合）における分配的ラティス構造を、共通の多面体的枠組みを通じて統一すること。
• 弧パラメータ化された有向グラフにおける頂点ポテンシャルと一般化フローの間の双対性を確立し、後者に分配的ラティス構造を明らかにすること。
• 一般化フローの理論を平面的バランス型有向グラフに拡張し、そのようなフローに新たな分配的ラティス構造を証明すること。
• 整数一般化結合が分配的ラティスをなすための条件を特定し、先行研究における整数$Δ$-結合の一般化を行うこと。

提案手法

• D-多面体を成分ごとの最大および最小について閉じた多面体として定義し、優位順序における分配的ラティスを形成すること。
• H-表現（半空間の共通部分）を用いてD-多面体を特徴付け、幾何学と順序論の関係を結ぶこと。
• 有向グラフに弧パラメータを割り当て、D-多面体内の点を頂点ポテンシャルとして表現し、ネットワーク行列を用いて制約を符号化すること。
• エッジベースの一般化フロー（利得・損失を伴う）と頂点ポテンシャルの間の双対性を確立し、ポテンシャルからフローへのラティス構造の持ち上げが可能であることを示すこと。
• 平面的バランス型有向グラフにおいて、容量制約で有界な一般化フローの集合が、$Δ$-結合多面体への同型写像を通じて分配的ラティスを形成することを証明すること。
• 弧パラメータ化の対数変換を用いて$Ø$-結合からバランス型パラメータ化を構成し、一般化フローにおけるラティス構造を可能にする。

実験結果

リサーチクエスチョン

• RQ1 D-多面体の完全なH-表現（包む超平面）は何か？ また、これにより既知の多面体族がどのように統一されるか？
• RQ2 弧パラメータ化された有向グラフにおける頂点ポテンシャルは、D-多面体の整数点をどのように記述できるか？
• RQ3 整数一般化結合の集合が分配的ラティスをなすための条件は何か？
• RQ4 平面的有向グラフに利得・損失を伴う一般化フロー（すなわちバランス型有向グラフ）に対して、分配的ラティス構造を確立できるか？
• RQ5 D-多面体$P$の頂点ラティス$L(P)$と多面体$P$の幾何的構造との関係は何か？

主な発見

• すべてのD-多面体は、優位順序および成分ごとの演算から導かれる不等式を含む特定のH-表現によって特徴付けられる。
• 弧容量およびサイクルバランス制約を伴う有向グラフの整数$Δ$-結合の集合は、分配的ラティスを形成する。
• 整数$Δ$-結合と、$c_{ε} \leq N^\top p \leq c_u$およびある固定頂点$i$に対して$p_i = 0$を満たす整数頂点ポテンシャルの間には一対一対応が存在する。
• 平面的バランス型有向グラフにおいて、容量制約で有界な一般化フローの集合は、$Δ$-結合多面体への同型写像を通じて分配的ラティスを形成する。
• 正の弧パラメータ化の下で、一般化フローにおけるラティス構造は保存され、$Ø$-結合の対数変換を用いた構成は普遍的である。
• D-多面体$P$の頂点ラティス$L(P)$は、本質的な幾何的および組合せ的情報を捉えており、その要素は特定の構造的性質を有する一般化結合に対応する。