{"id":"arxiv/2607.23664","url":"https://arxiv.org/abs/2607.23664","tags":["math.CO"],"score":0,"title":"A counterexample to the zero forcing versus independence conjecture for cubic and subcubic graphs","domain":"math.CO","source":"arxiv","authors":["Mikko Fischer"],"reviews":0,"subject":"math.CO","summary":"We exhibit a connected graph on 24 vertices with maximum degree 3, independence number 9 and zero forcing number 11, refuting a 2017 conjecture of TxGraffiti recorded as Conjecture 2 of the survey of Davila, Brimkov and Pepper. The same construction with a different gadget gives a connected cubic graph on 36 vertices with independence number 15 and zero forcing number 17; the conjecture therefore fails also in the cubic form in which the survey's Lean 4 appendix states it. In particular Z <= alpha + 1 is not a universal bound for connected cubic graphs, and the value Z = alpha + 2 is attained.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-26","reactions":{}}