[论文解读] Zero Forcing Sets for Graphs

Fatemeh Alinaghipour|arXiv (Cornell University)|Nov 29, 2013

Advanced Graph Theory Research参考文献 21被引用 13

一句话总结

本博士论文研究图论中的零强迫参数，引入了零强迫数 $ Z(G) $ 和正零强迫数 $ Z_+(G) $，作为与图相关联的对称矩阵和半正定矩阵最大零度的组合界。该研究确立了新的图族，使得 $ Z(G) = M(G) $，证明了在一类新图类中 $ Z(G) $ 与路径覆盖数相等，并通过强迫树将 $ Z_+(G) $ 与树覆盖数联系起来，揭示了其与色数和独立数的新关联。

ABSTRACT

For any simple graph $G$ on $n$ vertices, the (positive semi-definite) minimum rank of $G$ is defined to be the smallest possible rank among all (positive semi-definite) real symmetric $n imes n$ matrices whose entry in position $(i,j)$, for $i eq j$, is non-zero if $ij$ is an edge in $G$ and zero otherwise. Also, the (positive semi-definite) maximum nullity of $G$ is defined to be the largest possible nullity of a (positive semi-definite) matrix in the above set of matrices. In this thesis we study two graph parameters, namely the zero forcing number of $G$, $Z(G)$, and the positive zero forcing number of $G$, $Z_+(G)$, which bound the maximum nullity and the positive semi-definite maximum nullity from above, respectively. With regard to the zero forcing number, we introduce some new families of graphs for which the zero forcing number and the maximum nullity are the same. Also we establish an equality between the zero forcing number and the path cover number for a new family of graphs. In addition, we establish a connection between the zero forcing number and the chromatic number of graphs. With regard to the positive zero forcing number, we introduce the concept of forcing trees in a graph and we establish a connection between the positive zero forcing number and the tree cover number. Also we study families of graphs for which these parameters coincide. In addition, we provide some new results on the connections of this parameter with other graph parameters, including the independence number and the chromatic number of $G$.

研究动机与目标

• 表征零强迫数 $ Z(G) $ 等于最大零度 $ M(G) $ 的图族，将已知结果从树类扩展至更广范围。
• 为一类新图建立零强迫数与路径覆盖数之间的联系。
• 引入正零强迫集和强迫树的概念，并将 $ Z_+(G) $ 与树覆盖数 $ T(G) $ 关联起来。
• 探索 $ Z_+(G) $ 与色数、独立数等经典图参数之间的结构性联系。
• 识别未来研究中零强迫参数的开放问题与猜想，特别是针对图运算和 $ k $-树。

提出的方法

• 引入零强迫集作为可通过颜色变化规则将所有顶点强制变为黑色的极小顶点集，定义 $ Z(G) $ 为该类集合的最小大小。
• 应用正零强迫规则并修改颜色变化规则以定义 $ Z_+(G) $，将其与半正定矩阵关联。
• 定义强迫树为正零强迫过程中形成的诱导子图，从而实现对 $ Z_+(G) $ 的结构性分析。
• 使用冠图、图并集和黏合等图运算，分析 $ Z(G) $ 和 $ Z_+(G) $ 在图复合下的行为。
• 运用组合技术与结构图论证明 $ Z(G) $、$ Z_+(G) $ 与其他参数（如路径覆盖数和树覆盖数）之间的等式关系。
• 应用谱图论概念，包括零度、秩和特征值重数，将矩阵性质与图参数关联。

实验结果

研究问题

• RQ1 除树和弦图外，哪些图族满足 $ Z(G) = M(G) $？
• RQ2 对于新图类，$ Z(G) $ 与路径覆盖数之间存在何种关系？
• RQ3 在何种条件下 $ Z_+(G) = T(G) $，特别是对 $ k $-树及其子结构？
• RQ4 在一般图中，$ Z_+(G) $、独立数与色数之间存在何种关系？
• RQ5 对于笛卡尔积、补图和强积等图运算，$ Z(G) $ 与 $ Z_+(G) $ 的值是多少？

主要发现

• 在超越树类的新图族中，零强迫数 $ Z(G) $ 等于最大零度 $ M(G) $，扩展了已知结果。
• 为一类新定义的图类建立了 $ Z(G) $ 与路径覆盖数相等的关系。
• 证明了对于 $ 2 $-树，正零强迫数 $ Z_+(G) $ 等于树覆盖数 $ T(G) $。
• 对于具有 $ t $ 个簇、每簇大小至少为 3 且共享至多 $ k-1 $ 个大小为 $ k+1 $ 的团的 $ k $-树，推测 $ Z_+(G) = k + t $ 成立。
• 建立了正零强迫数与色数之间的联系，表明一般情况下 $ Z_+(G) \neq \text{色数} $，但揭示了结构性约束。
• 该论文识别出参数 $ \nu $ 和 $ \rho $ 的次图单调性，暗示其可能与哈迪格猜想及其他图论广泛猜想存在潜在关联。