[論文レビュー] Structure Trees and Networks

M. J. Dunwoody|arXiv (Cornell University)|Nov 15, 2013

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

ひとこと要約

本稿では、任意のネットワーク（有限または無限）に対して、最大フロー最小カット定理と複数の端を持つ群に関するスタリングスの定理を統一的に取り扱える、標準的な構造木を導入する。ネストされた辺カットからなる系列を構築することで、任意の頂点対または端対に対する最小カット分離子が得られ、ゴモリ＝フー木の一般化を提供するとともに、有限辺安定化を持つ標準的木作用を用いたスタリングスの定理の新たな証明を提示する。

ABSTRACT

In this paper it is shown that for any network there is a uniquely determined network based on a structure tree that provides a convenient way of determining a minimal cut separating a pair $s, t$ where each of $s, t$ is either a vertex or an end in the original network. A Max-Flow Min-Cut Theorem is proved for any network. In the case of a Cayley Graph for a finitely generated group the theory provides another proof of Stallings' Theorem on the structure of groups with more than one end.

研究の動機と目的

• 任意のネットワーク（無限グラフや複数の端を持つ群を含む）に対して、標準的構造木フレームワークを構築すること。
• ネストされたカットを用いて、無限ネットワークへの最大フロー最小カット定理の拡張を提示し、構成的証明を提供すること。
• 有限生成群が複数の端を持つ場合のスタリングスの定理に対する、新たな標準的証明を提示すること。
• 有限ネットワーク理論（例：ゴモリ＝フー木、カタス定理）と無限グラフ理論（例：バース＝セール理論、木上の群作用）を、同一の枠組みで統一すること。
• 構造木の構成が自己同型に関して不変であること、したがって群作用が有限辺安定化を持つ標準的木作用を誘導することを示すこと。

提案手法

• 本稿では、ネットワーク内のネストされた辺カットからなる系列 $ T_n $ を構築し、各 $ T_n $ は頂点対または端対を分離する最小 $ n $-カットを符号化する。
• 標準的ネスト集合 $ \text{ET}_n $ を定義し、これはブール環 $ \beta_n X $ を生成し、$ T_n $ の辺集合を形成する。
• 「ほとんどネスト」および「ネスト」されたカット集合の概念を用い、任意の二つのカット $ A, B $ に対して、四つのコーナー $ A\cap B, A^*\cap B, A\cap B^*, A^*\cap B^* $ の少なくとも一つが有限または空であることを要請する。
• 有限ネットワークの場合、本手法はゴモリ＝フー木を特別な場合として回復し、最大フローを達成するためにパスに沿ってフローを増強する。
• 無限グラフの場合、構造木 $ T_n $ は二つの端を分離するサイズ $ n $ の最小カットから構成され、自己同型に関して不変な標準的構成を用いる。
• 群がそのケイリー図形に作用することにより、$ T_n $ 上への標準的作用が誘導され、各辺カット $ C $ に対して $ \delta C $ が有限であることから、有限辺安定化を持つ。

実験結果

リサーチクエスチョン

• RQ1 最大フロー最小カット定理は、無限ネットワークにおいて標準的木構造を用いて拡張可能か？
• RQ2 群が複数の端を持つ場合の構造は、そのケイリー図形上の標準的木構成からどのように導出可能か？
• RQ3 グラフにおけるネストされた辺カットと、有限ネットワークにおけるゴモリ＝フー型木の存在との関係は何か？
• RQ4 群の木上での作用理論（バース＝セール理論）は、無限グラフにおける標準的カットに基づく構成から導出可能か？
• RQ5 有限ネットワーク理論とスタリングスの定理のような無限群論的結果を一般化する統一的枠組みは存在するか？

主な発見

• 任意のネットワークに対して、最小カットサイズ $ n $ ごとに一意に定まる構造木 $ T_n $ が存在し、すべての頂点対または端対の完全分離系を提供する。
• 頂点対または端対 $ s,t $ を分離する最小カットは一意であり、$ \nu s $ と $ \nu t $ を結ぶ $ T_n $ 上の測地線に対応する。
• 最大フロー最小カット定理はすべてのネットワークで成立し、$ s $ と $ t $ 間の最大フローは最小カットのサイズに等しく、最小カットは一意に定まる。
• スタリングスの定理は標準的証明により再確認される：有限生成群が複数の端を持つ場合、その最小辺カットの構造木 $ T_n $ に対して、有限辺安定化を持つ非自明な木作用が存在する。
• 構造木の構成は自己同型に関して不変であり、ケイリー図形上の群作用が $ T_n $ 上への標準的作用を誘導することを保証する。
• 頂点カットの場合、$ \kappa $-分離集合に対してのみ標準的構造木が存在し、$ \kappa $ は二つの端を分離するための最小頂点数を表す。これは、頂点カットが辺カットよりも複雑であることを反映している。