[論文レビュー] On the number of cut locus structures on graphs

Jin‐ichi Itoh, Costin Vîlcu|arXiv (Cornell University)|Mar 9, 2011

Graph theory and applications参考文献 4被引用数 6

ひとこと要約

本稿は、リーマン多様体上の切断局所集合としての連結グラフの異なる実現可能性の数に対する上限を、一般および可定向多様体上で確立する。生成サイクルの拡張交差グラフにおけるサイクル構造とパス系を用いて、可定向および非可定向な切断局所集合構造の定量的制限を導出し、可定向実現可能性の数が最大サイクル長およびグラフ不変量の関数によって上限づけられることを示す。

ABSTRACT

We proved in another paper that every connected graph can be realized as the cut locus of some point on some riemannian surface. Here we give upper bounds on the number of such realizations.

研究の動機と目的

• 与えられたグラフがリーマン多様体上の点の切断局所集合として実現可能な異なる方法の最大数を特定すること。
• グラフとしての切断局所集合としての可定向および非可定向多様体実現を区別すること。
• サイクル長や拡張交差グラフにおけるパス系などのグラフ不変量に基づいて、可定向切断局所集合構造の数に対する定量的上限を導出すること。
• サイクル空間と拡張交差グラフを用いた、切断局所集合実現の分類フレームワークを提供すること。

提案手法

• 単純な生成サイクル系 $ { mf G} $ の拡張交差グラフ $ H({ mf G}) $ を構築し、頂点がサイクルを表し、辺が共有頂点または共有辺を表すようにする。
• $ { mf P}({ mf G}) $ を $ H({ mf G}) $ 内の対照的単純パスのタプルの集合と定義し、 $ p({ mf G}) = |{ mf P}({ mf G})| $ とすることで、サイクル相互作用の構造的制約を捉える。
• $ \theta: { mf O} \setminus \{P_x\} \to \mathcal{N} $ と定義される写像を導入し、可定向切断局所集合構造を非可定向なものへ写像することで、ファイバーのサイズ解析を用いた数え上げを可能にする。
• 補題 5.6 を用いて $ \theta $ のファイバーのサイズを上限づけ、 $ G $ がブリッジを含まない 3-グラフであるかどうかに応じて、各非可定向構造が最大 $ c({ mf G}) $ または $ \lfloor c({ mf G})/2 \rfloor $ 個の可定向構造に引き上げられることを示す。
• 定理 4.2（非可定向構造に関するもの）と補題 5.8 を組み合わせ、可定向切断局所集合構造の数 $ O(G) $ の上限を導出する。
• $ q $ が偶数の場合に $ O(G) \leq \frac{c({\rmf G}) (2^{m_{bc}(G)} - p({\rmf G}))}{c({\rmf G}) + 1} + 1 $ という上限を適用し、ブリッジを含まない 3-グラフに対してはより鋭い形の上限を適用する。

実験結果

リサーチクエスチョン

• RQ1 与えられたグラフが一般のリーマン多様体上での切断局所集合として実現可能な異なる方法の最大数は何か？
• RQ2 多様体の可定向性が、与えられたグラフの切断局所集合実現可能性の数にどのように影響するか？
• RQ3 サイクル長や拡張交差グラフにおけるパス系といったグラフ不変量を用いて、可定向切断局所集合構造の数を上限づけることができるか？
• RQ4 経験的例が示唆するように、可定向構造の数は常に非可定向構造の数以上であるのだろうか？

主な発見

• グラフ $ G $ 上の非可定向切断局所集合構造の数は、 $ 2^{m_{bc}(G)} - p({ mf G}) $ で上限づけられる。ここで $ m_{bc}(G) = m(G^{cp}) - b(G) $ であり、 $ p({ mf G}) $ は拡張交差グラフ内の対照的パスタプルの数を表す。
• 生成サイクルが偶数個のグラフ $ G $ に対して、可定向切断局所集合構造の数 $ O(G) $ は、 $ O(G) \leq \frac{c({\rmf G}) (2^{m_{bc}(G)} - p({\rmf G}))}{c({\rmf G}) + 1} + 1 $ を満たす。ここで $ c({\rmf G}) $ は生成系における最大サイクル長を表す。
• $ G $ がブリッジを含まない 3-グラフである場合、上限は $ O(G) \leq \frac{\lfloor c({\rmf G})/2 \rfloor (2^{m_{bc}(G)} - p({\rmf G}))}{\lfloor c({\rmf G})/2 \rfloor + 1} + 1 $ に鋭くされる。これはより強い構造的制約を反映している。
• 各非可定向切断局所集合構造は、最大 $ c({\rmf G}) $ 個の可定向構造に引き上げられ、 $ G $ がブリッジを含まない 3-グラフである場合は最大 $ \lfloor c({\rmf G})/2 \rfloor $ 個に制限される。
• $ \Phi $ による可定向構造から非可定向構造への写像は、一対一ではない。同じ非可定向構造へ写像される異なる可定向構造が存在する例によって示される。
• 経験的証拠は、可定向構造が非可定向構造よりもまれであることを示唆しているが、これが普遍的に成り立つとは証明されていない。