[论文解读] 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)]$ 当且仅当 $G$ 在分裂分解意义下为本原图时是垂直 5-连通的，并进一步证明当 $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$ 及其局部等价图的结构中。
• 厘清在各向同性拟阵背景下，普通连通性、环连通性、垂直连通性以及各向同性系统连通性这四种不同连通性概念之间的关系。
• 刻画 $M[IAS(G)]$ 实现特定垂直连通性水平（特别是 3-、5- 和 $n$-连通性）的条件。
• 为圈图建立垂直连通性的上界，并表明高连通性可检测出非圈图，如 $W_5$ 和 $W_7$。

提出的方法

• 本文使用从 $IAS(G)$ 矩阵构造的各向同性拟阵 $M[IAS(G)]$，该矩阵在 $GF(2)$ 上将单位矩阵、邻接矩阵以及邻接矩阵加单位矩阵的矩阵进行拼接。
• 应用拟阵理论中的概念——尤其是垂直连通性和分裂分解——并采用 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)]$ 的垂直连通性等价，从而在理论中建立了关键等价关系。
• 圈图族可通过以下三个性质刻画：对顶点极小子式封闭、余图横拟阵，以及垂直连通性至多为 $\max\{5, |V(G)| - 3\}$。