[論文レビュー] Dual trees must share their ends

Reinhard Diestel, Julian Pott|arXiv (Cornell University)|Jun 7, 2011

Advanced Graph Theory Research参考文献 3被引用数 9

ひとこと要約

この論文は、無限双対グラフが、構造的な方法でその端を共有することを確立している：2つの有限分離可能で2連結なグラフが双対であるためには、それらのスパニングツリーが辺集合だけでなく、端の割り当てについても補い合う必要がある。主な結果は、双対性が成り立つのは、任意の端の部分集合Ψに対して、一方のグラフにおけるΨツリーが他方のグラフにおけるΨᶜツリーに対応するときであり、そのときの位相的連結性は割り当てられた端によって定義される。

ABSTRACT

We extend to infinite graphs the matroidal characterization of finite graph duality, that two graphs are dual iff they have complementary spanning trees in some common edge set. The naive infinite analogue of this fails. The key in an infinite setting is that dual trees must share between them not only the edges of their host graphs but also their ends: the statement that a set of edges is acyclic and connects all the vertices in one of the graphs iff the remaining edges do the same in its dual will hold only once each of the two graphs' common ends has been assigned to one graph but not the other, and 'cycle' and 'connected' are interpreted topologically in the space containing the respective edges and precisely the ends thus assigned. This property characterizes graph duality: if, conversely, the spanning trees of two infinite graphs are complementary in this end-sharing way, the graphs form a dual pair.

研究の動機と目的

• 古典的な有限グラフ双対性が無限グラフでは失敗する理由を解消するため、補い合うスパニングツリーが非巡回性と連結性を保つことができない点を扱う。
• 無限双対性における欠落した条件を同定する：片方のグラフに端を割り当てることで、双対において位相的連結性が保証されるようにする。
• 双対ツリーを端の部分集合に基づいて定義する一般化された双対性枠組みを形式化し、双対性条件を回復する。
• このような端付き双対性がグラフ双対性を特徴づけることを証明する：もしスパニングツリーがこの端の共有の仕方で補い合うならば、そのグラフ同士は双対である。

提案手法

• Ψツリーを、グラフGとその端の部分集合Ψからなる位相空間において非巡回かつアーク連結である部分グラフとして定義する。
• GにΨの端のみを追加した位相空間|G|_Ψを用い、位相的連結性と非巡回性を定義する。
• F ⊆ E がGにおけるΨツリーであるための必要十分条件として、Fᶜ がG* においてΨᶜツリーであることを、位相的連結性と位相的円周の不在を用いて証明する。
• 有限の回路と結合に双対性条件を適用する：G* における有限結合がGにおける有限回路であるのは、G* におけるすべてのΨᶜツリーと交わり、かつ極小であるときである。
• アーク成分と端の標準的近傍を用いた背理法を用い、双対空間における連結性と非巡回性を証明する。
• 既知の結果を活用し、双対グラフ間の端を保存する一対一対応と、有限分離可能グラフにおける結合と回路の構造を応用する。

実験結果

リサーチクエスチョン

• RQ1 なぜ古典的双対性条件（補い合うスパニングツリー）は無限グラフでは失敗するのか？
• RQ2 無限グラフにおける双対性を回復させるために追加すべき位相的または構造的条件は何か？
• RQ3 無限グラフの端は、スパニングツリーとその補いの双対性にどのように影響を与えるか？
• RQ4 部分集合の端を含む対称的条件によって、無限グラフの双対性を特徴づけられるか？
• RQ5 あるグラフにおけるΨツリーの補いが、双対においてΨᶜツリーとなる条件は何か？

主な発見

• 古典的双対性条件は、Gにおける通常のスパニングツリーの補いがG* において非連結になることがあるため、無限グラフでは失敗する。
• G* の端が適切に部分集合Ψを介して割り当てられることで、Gにおけるスパニングツリーの補いがG* において位相的スパニングツリーとなる。
• 端がΨをGで、ΨᶜをG* で使用するように割り当てられている限り、F ⊆ E がGにおけるΨツリーであることと、Fᶜ がG* におけるΨᶜツリーであることは同値である。
• すべてのΨ ⊆ Ω に対して双対性条件が成り立つのは、GとG* が双対グラフであるときであり、完全な特徴づけが得られる。
• 端の割り当てがΨツリー条件と整合している限り、Gの有限回路はG* の有限結合に正確に対応する。
• G* における任意の非連結なΨᶜ森が、アーク成分解析と端の近傍に関する議論によって矛盾を引き起こすことを示すことで、証明が成り立つ。