[論文レビュー] Isotropic matroids III: Connectivity

Lorenzo Traldi, Robert Brijder|arXiv (Cornell University)|Feb 11, 2016

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

ひとこと要約

本稿は、等方的マトロイド $M[IAS(G)]$ の縦方向接続性とグラフ $G$ の構造的性質との間に深い関係を確立し、$M[IAS(G)]$ が縦方向に5接続であることは、$G$ がスプリット分解の意味で素数であることと同値であることを示している。さらに、$n \geq 7$ のとき、$M[IAS(G)]$ は縦方向に $n$ 接続可能でないことが証明されており、これは $G$ が次数が $\frac{n-1}{2}$ より小さい頂点をもつグラフと局所同値であることに等しい。これらの結果は、等方的系と局所同値性を通じて、マトロイドの接続性と双子、パビリオン、最小周長といったグラフ不変量を結びつける。

ABSTRACT

The isotropic matroid $M[IAS(G)]$ of a graph $G$ is a binary matroid, which is equivalent to the isotropic system introduced by Bouchet. In this paper we discuss four notions of connectivity related to isotropic matroids and isotropic systems. We show that the isotropic system connectivity defined by Bouchet is equivalent to vertical connectivity of $M[IAS(G)]$, and if $G$ has at least four vertices, then $M[IAS(G)]$ is vertically 5-connected if and only if $G$ is prime (in the sense of Cunningham's split decomposition). We also show that $M[IAS(G)]$ is $3$-connected if and only if $G$ is connected and has neither a pendant vertex nor a pair of twin vertices. Our most interesting theorem is that if $G$ has $n\geq7$ vertices then $M[IAS(G)]$ is not vertically $n$-connected. This abstract-seeming result is equivalent to the more concrete assertion that $G$ is locally equivalent to a graph with a vertex of degree $

研究の動機と目的

• 等方的マトロイド $M[IAS(G)]$ の高次元接続性が、その背後にあるグラフ $G$ 及びその局所同値グラフの構造にどのように反映されるかを理解すること。
• 等方的マトロイドの文脈において、通常接続性、循環接続性、縦方向接続性、および等方的系接続性という4つの異なる接続性の概念の関係を明確にすること。
• $M[IAS(G)]$ が特定のレベルの縦方向接続性（特に3接続、5接続、$n$ 接続）を達成するための条件を特徴づけること。
• 円グラフに対する縦方向接続性の上限を確立し、$W_5$ や $W_7$ のような非円グラフを高次接続性が検出できることを示すこと。

提案手法

• 本稿は、$GF(2)$ 上で単位行列、隣接行列、および隣接行列に単位行列を加えた行列を連結して得られる $IAS(G)$ 行列から構成される等方的マトロイド $M[IAS(G)]$ を用いる。
• Cunninghamのグラフ分解フレームワークに従い、特に縦方向接続性とスプリット分解を用いたマトロイド理論の概念を適用する。
• グラフの局所同値性とそれに対応する等方的マトロイドの同型性の等価性を活用し、構造的性質をマトロイドのレベルに移転する。
• 4正則グラフから得られる相互作用グラフの構成を用いて円グラフをモデル化し、最小周長に関する Moore の上限を適用して接続性の上界を導出する。
• Bouchet による等方的系と円グラフに関する結果、特に横断的マトロイドと禁止頂点部分グラフの役割を応用する。
• SageMath を用いた計算的検証により、$K_{4,4}$ や10頂点の4正則グラフなどの特定のグラフについて、縦方向接続性の値を確認する。

実験結果

リサーチクエスチョン

• RQ1 等方的マトロイド $M[IAS(G)]$ の縦方向接続性は、グラフ $G$ のグラフ論的性質とどのように関係するか？
• RQ2 頂点数が $n$ のグラフ $G$ に対して、$M[IAS(G)]$ の縦方向接続性の最大値は何か？ また、その上限はいつ達成されるか？
• RQ3 スプリット分解によるグラフ分解における素数性という概念は、$M[IAS(G)]$ の縦方向接続性とどのように関係するか？
• RQ4 $M[IAS(G)]$ の縦方向接続性は、$G$ が円グラフかどうかを検出できるか？ もしそうなら、その仕組みは何か？
• RQ5 なぜ $n \geq 7$ のとき、$M[IAS(G)]$ は縦方向に $n$ 接続可能でないのか、その背後に構造的な理由があるか？

主な発見

• 任意の $n \geq 4$ に対して、等方的マトロイド $M[IAS(G)]$ が縦方向に5接続であることは、$G$ が Cunningham のスプリット分解の意味で素数であることと同値である。
• もし $G$ が $n \geq 7$ 個の頂点を持つならば、$M[IAS(G)]$ は縦方向に $n$ 接続可能ではなく、これは $G$ が次数が $\frac{n-1}{2}$ より小さい頂点をもつグラフと局所同値であることを意味する。
• もし $G$ が連結で、パビリオン頂点や双子のペアを含まなければ、$M[IAS(G)]$ の通常接続性および循環接続性は3であるが、そうでなければ1または2である。
• 円グラフに対しては、$M[IAS(G)]$ の縦方向接続性は $\max\{5, n-3\}$ で抑えられ、$n=10$ のときこの上限は達成され、$\kappa(M[IAS(G)])=7$ となる。
• Bouchet が定義した等方的系接続性は、$M[IAS(G)]$ の縦方向接続性と等価であることが示され、理論的に重要な等価性が確立された。
• 円グラフの族は、3つの性質によって特徴づけられる：頂点部分グラフについての閉包性、余グラフ的横断的マトロイド、および縦方向接続性が $\max\{5, |V(G)| - 3\}$ 以下であること。