TOPICS
Search

Zero Forcing Number


The zero forcing number Z(G) of a graph G is the minimum number of vertices in a zero forcing set of G. It is a graph parameter that is closely related to the maximum nullity M(G) and that bounds it from above:

 M(G)<=Z(G)

(AIM 2008, Barrett et al. 2025).

ZeroForcingNumber8VertexExceptions

Results from the American Institute of Mathematics (2008) showed that M(G)=Z(G) for any graph on 6 or fewer vertices. DeLoss et al. (2008) subsequently computed M(G) and bounds on Z(G) for all 7-vertex graphs, and the resulting table establishes that M(G)=Z(G) for all graphs on 7 vertices (Barrett et al. 2025). Barrett et al. (2025) subsequently showed that M(G)=Z(G) for all graphs on 8 vertices with the exception of a set of 7 graphs denoted E_1 to E_7 and which are illustrated above. As it turns out, E_2 is the graph complement of the 3-Plummer-Toft graph.

Abiad et al. (2026) proved monotonicity under successive graph powers, Z(G^k)<=Z(G^(k+1)) for every graph G and k>=1. They also establish the corresponding monotonicity for the b-forcing number, whose rule allows a colored vertex with at most b uncolored neighbors to force all of those neighbors at once, and for the positive semidefinite zero forcing number.

For path graphs and cycle graphs, the exact values are Z(P_n^k)=M(P_n^k)=k for n>=k+2 and Z(C_n^k)=M(C_n^k)=2k for n>=2k+1, where k>=1 and M is the maximum nullity (Abiad et al. 2026). The family formulas are drawn from earlier results on minimum rank.

For the generalized Petersen graphs GP(n,k) with k>=1 and n>2k, the general upper bound is Z(GP(n,k))<=2k+2 (Alameda et al. 2018, p. 58). Previously known exact values include the prism graph values Z(GP(3,1))=3 and Z(GP(n,1))=4 for n>=4 (Alameda et al. 2018, p. 58). Alameda et al. (2018, p. 60) also proved Z(GP(24r,5))=12 for every integer r>=1. Rashidi et al. (2020, pp. 185 and 189-190) proved Z(GP(n,2))=6 for n>=10 and Z(GP(2k+1,k))=6 for k>=5. Krishnan et al. (2026) give the exact values for all members of the generalized Petersen graph subfamilies GP(n,3) and GP(n,4): Z(GP(n,3))=8 for every n>=13 and Z(GP(n,4))=10 for every n>=18. The smaller values of Z(GP(n,3)) for n=7, 8, ..., 12 are 6, 6, 6, 8, 7, 7, and those of Z(GP(n,4)) for n=9, 10, ..., 17 are 6, 6, 7, 6, 8, 8, 9, 8, 9. Krishnan et al. (2026) report AI assistance with computational code and Lean development for the k=3 stabilization theorem.

For maximal biconnected outerplanar graphs, Han and Liang (2026) report an exact formula and a linear-time algorithm that constructs a minimum zero forcing set and its forcing chronology from indexed triangle adjacency. Their formula accounts for obstructions to orienting a minimum path cover into a valid forcing process. Han and Liang (2026) explicitly state that the AI-assisted mathematical derivations and computations are still being checked and rewritten. These reported results remain provisional.


See also

Zero Forcing Polynomial, k-Forcing Number, Maximum Nullity, Minimum Rank, Positive Semidefinite Zero Forcing Number, Zero Forcing Set

Explore with Wolfram|Alpha

References

Abiad, A.; Flagg, M.; Ghasemi Nezhad, S.; and Zeijlemaker, S. "The Zero Forcing Number of Graph Powers." 2 Oct 2026. https://arxiv.org/abs/2610.03892.AIM Minimum Rank--Special Graphs Work Group. "Zero Forcing Sets and the Minimum Rank of Graphs." Lin. Alg. Appl. 428, 1628-1648, 2008.Alameda, J. S.; Curl, E.; Grez, A.; Hogben, L.; Kingston, O.; Schulte, A.; Young, D.; and Young, M. "Families of Graphs with Maximum Nullity Equal to Zero Forcing Number." Special Matrices 6, 56-67, 2018. https://doi.org/10.1515/spma-2018-0006.Almodovar, E.; DeLoss, L.; Hogben, L.; Hogenson, K.; Murphy, K.; Peters, T.; and Ramírez, C. A. "Minimum Rank, Maximum Nullity and Zero Forcing Number for Selected Graph Families." Involve: A Journal of Mathematics 3, 371-392, 2010.American Institute of Mathematics. "Graph Catalog: Families of Graphs." https://aimath.org/WWN/matrixspectrum/catalog2.html.American Institute of Mathematics. "AIM Minimum Rank Graph Catalog." http://admin.aimath.org/resources/graph-invariants/minimumrankoffamilies/#/super.American Institute of Mathematics. "AIM Minimum Rank Graph Catalog References." https://web.archive.org/web/20160207084159/http://orion.math.iastate.edu/lhogben/AIMmrgraphcatrefs.pdf.Barrett, W.; Hunnell, M.; Hutchens, J.; and Sinkovic, J. "The Classification of Graphs on 8 Vertices with Coinciding Zero Forcing Number and Maximum Nullity." 12 Jun 2025. https://arxiv.org/abs/2506.10726.Barrett, W.; van der Holst, H.; and Loewy, R. "Graphs Whose Minimal Rank Is Two." Elec. J. Lin. Alg. 11, 258-280, 2004.DeLoss, L.; Grout, J.; Hogben, L.; McKay, T.; Smith, J.; and Tims, J. "Table of Minimum Ranks of Graphs of Order at Most 7 and Selected Optimal Matrices." 4 Dec 2008. https://arxiv.org/abs/0812.0870.Fallat, S. M. and Hogben, L. "Minimum Rank, Maximum Nullity, and Zero Forcing Number of Graphs." Ch. 46 in Handbook of Linear Algebra, 2nd ed. Boca Raton, FL: CRC Press, 2014.Han, Z. and Liang, Y. "Zero Forcing on Maximal Outerplanar Graphs: Capacities and Phase Repair." 22 Oct 2026. https://arxiv.org/abs/2610.31138.Krishnan, A.; Ma, H.; and Zhang, W. "Sharp Zero Forcing Numbers for the Generalized Petersen Graphs P(n,3) and P(n,4)." 16 Oct 2026. https://arxiv.org/abs/2610.24059.Nylen, P. M. "Minimum-Rank Matrices With Prescribed Graph." Lin. Alg. Appl. 248, 303-316, 1996.Rashidi, S.; Shajareh Poursalavati, N.; and Tavakkoli, M. "Computing the Zero Forcing Number for Generalized Petersen Graphs." J. Algebra Combin. Discrete Struct. Appl. 7, 183-193, 2020. https://doi.org/10.13069/jacodesmath.729465.

Cite this as:

Weisstein, Eric W. "Zero Forcing Number." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/ZeroForcingNumber.html

Subject classifications