[论文解读] Probabilistic Zero Forcing in Graphs

Cong X. Kang, Eunjeong Yi|arXiv (Cornell University)|Apr 27, 2012

Advanced Graph Theory Research参考文献 10被引用 17

一句话总结

本文引入了图上的概率零 forcing，作为经典零 forcing的随机扩展，其中黑色顶点根据邻域重叠程度，以基于概率的方式独立地将白色邻居转化为黑色。主要贡献是定义了图 $ G $ 从初始集合 $ A $ 变为全黑的概率 $ P_A(G) $，并通过具有吸收态的马尔可夫过程证明其随时间收敛于 1。

ABSTRACT

The \emph{zero forcing number} $Z(G)$ of a graph $G$ is the minimum cardinality of a set $S$ of black vertices (whereas vertices in $V(G)\setminusS$ are colored white) such that $V(G)$ is turned black after finitely many applications of "the (classical) color change rule": a white vertex is converted to a black vertex if it is the only white neighbor of a black vertex. Zero forcing number was introduced and used to bound the minimum rank of graphs by the "AIM Minimum Rank - Special Graphs Work Group". We introduce here a probabilistic color change rule (pccr) which is a natural generalization of the classical color change rule. We introduce a theory of probabilistic zero forcing arising out of the pccr; the theory yields a quantity $P_A(G)$, which can be viewed as the probability that a graph $G$ with an initial black set $A$ will be converted entirely to the color black. We also interpret the evolution of the sample spaces of this theory as a Markov process. We end with a few basic examples illustrating this theory.

研究动机与目标

• 通过引入一个建模顶点转换不确定性的概率颜色变化规则（pccr），推广经典零 forcing。
• 定义图 $ G $ 从初始黑色集合 $ A $ 变为全黑的概率 $ P_A(G) $，以捕捉完全传播的可能性。
• 将系统演化建模为具有瞬态和吸收态的马尔可夫过程，确保以概率 1 收敛至全黑着色。
• 建立 $ P_A(G) $ 的理论性质，包括单调性和边界条件，确保其与经典零 forcing 作为特例的一致性。
• 通过示例（特别是星形图 $ K_{1,m} $）展示该框架，表明即使初始集合 $ A $ 不是经典零 forcing 集，系统仍以概率 1 随时间收敛至全黑着色。

提出的方法

• 定义概率颜色变化规则（pccr），使得黑色顶点 $ u $ 以概率 $ F(u \rightarrow v) = \frac{|N[u] \cap Z|}{\deg(u)} $ 独立地迫使每个白色邻居 $ v $，其中 $ Z $ 为当前黑色集合。
• 将系统建模为在大小为 $ n $ 的所有可能着色图状态空间上的离散时间马尔可夫过程，转移概率由 pccr 导出。
• 构建一个大小为 $ 2^n \times 2^n $ 的转移矩阵 $ A $，其中每个条目 $ A_{i,j} $ 表示从状态 $ j $ 在一步内转移到状态 $ i $ 的概率。
• 识别吸收态（全黑图），并证明由于黑色集合不收缩且状态空间有限，所有路径几乎必然以概率 1 到达吸收态。
• 将 $ P_A(G) $ 定义为从初始集合 $ A $ 出发，系统达到全黑状态的极限概率，利用马尔可夫链的长期行为。
• 证明 $ P_A(G) $ 满足关键公理：$ P_\emptyset(G) = 0 $，$ P_A(G) = 1 $ 当且仅当 $ A $ 是经典零 forcing 集，且在集合包含关系下具有单调性。

实验结果

研究问题

• RQ1 如何将经典零 forcing 推广至顶点转换以非确定性概率发生的概率设定？
• RQ2 在概率颜色变化规则下，图 $ G $ 从初始黑色集合 $ A $ 变为全黑的概率 $ P_A(G) $ 是多少？
• RQ3 即使 $ A $ 不是经典零 forcing 集，系统是否仍以概率 1 随时间收敛至全黑状态？
• RQ4 概率零 forcing 过程作为马尔可夫链的行为如何？其状态空间和转移动态具有哪些结构性特征？
• RQ5 该概率框架是否可在强迫概率趋于确定性时退化为经典零 forcing？

主要发现

• 无论初始集合 $ A $ 如何，图 $ G $ 从初始集合 $ A $ 变为全黑的概率 $ P_A(G) $ 随步骤数 $ k \to \infty $ 收敛于 1，这是由于存在唯一吸收态。
• 系统作为具有瞬态和一个吸收态（全黑图）的马尔可夫过程演化，确保在有限时间内以概率 1 吸收。
• 对于星形图 $ K_{1,m} $，中心顶点 $ v_0 $ 作为唯一驱动力，其平均强迫强度单调递增趋近于 1，从而确保 $ \lim_{k\to\infty} P^{(k)}(G_b) = 1 $。
• 概率 $ P_A(G) $ 满足所需公理：$ P_\emptyset(G) = 0 $，$ P_A(G) = 1 $ 当且仅当 $ A $ 是经典零 forcing 集，且对 $ A \subseteq B $ 有 $ P_A(G) \leq P_B(G) $。
• 由于黑色集合不收缩，有效状态空间大小从 $ 2^n $ 显著减小，使得 $ P_A(G) $ 在实践中可高效计算。
• 该框架将经典零 forcing 作为特例推广，当所有强迫概率为 1 时成立，并为图感染与传播动态提供了自然的概率解释。