arXiv++ Combinatorics

We determine the zero-forcing number of maximal biconnected outerplanar graphs. When the weak dual is a path, the zero-forcing number and the induced path-covering number are both two. Otherwise, the branching faces determine a canonical core and a family of terminal strips. We prove that an optimal forcing process can be chosen in a normal form governed by explicit vertex and face capacities on the core. After fixing forests on the terminal strips, the zero-forcing number is expressed through an optimization over core-edge selections and the minimum number of root connections that must be removed to obtain an executable orientation. The path-covering number is obtained from the same capacity optimization without the repair cost. We characterize executable orientations by blocking-circuit equations and identify the two-path obstruction with a first cohomology class of a signed contact multigraph. Local replacements and a finite comparison of boundary recurrences establish the normal form for graphs of arbitrary size. A fifty-six-state recurrence constructs a minimum zero-forcing set and a complete forcing chronology in linear time from indexed triangle adjacency. We also obtain exact replacement results for rooted blocks and construct infinite families in which the zero-forcing number exceeds the path-covering number.

Let a finite simple graph be given. We study symmetric matrices with this graph pattern that admit a null vector with prescribed exact support. Such a vector exists precisely when its support is a fort, meaning that no vertex outside the support has exactly one neighbor inside it. Over the complex numbers, we prove that the Zariski closure of each exact-support coefficient locus is irreducible and compute its codimension in terms of boundary vertices and a labeled forest on the connected components of the support. The corresponding forest deficiency also determines the generic restricted nullity. An incidence parametrization yields a prime decomposition of the reduced zero-forcing failure locus. For a prescribed common kernel, we describe the coefficient space through equilibrium stresses, exterior affine dependencies, and free coefficients. We then construct boundary complexes recording local solution values and equation residuals. Their gluing maps are defined over the universal coefficient ring and commute with arbitrary base change. By retaining the complete collection of support signatures associated with each seed set, we obtain a composition formula for the minimum zero-forcing number and an algorithm for its computation.