arXiv++ Combinatorics

We initiate the study of transmission zero forcing, a variant of the well-studied zero forcing graph parameter. In this variant, a subset of vertices is assigned an initial unit weight, and these vertices can increase the weight of a neighbor subject to the zero forcing color change rule at a rate determined by the transmission proportion. A vertex is considered filled when its weight exceeds the transmission threshold, at which point the process can continue. The transmission zero forcing number of a graph is the minimum cardinality of the initial set that results in all vertices exceeding the transmission threshold. This iterative graph coloring process is a generalization of zero forcing that allows for a vertex to be forced by multiple neighbors. We develop tools for studying this graph parameter, determine its value on some common classes of graphs, and investigate its behavior under various graph operations.

Zero forcing in a graph refers to the evolution of vertex states under repeated application of a color change rule. Typically the states are chosen to be blue and white, and a forcing set is an initial set of blue vertices such that all of the vertices are blue at the end of the process. In this context, the propagation time of a set in a graph is the number of iterations of the color change rule required to have all vertices blue, performing independent color changes simultaneously. Different minimal forcing sets need not have the same propagation time, and we study the realizability of specific integers as propagation times of minimal forcing sets in graphs for two of the most well-studied color change rules (standard and positive semidefinite). Particular attention is paid to the case where all minimal forcing sets have the same propagation time, and we term this phenomenon fixed propagation time. For each of the two variants, we present a general form of graphs all of which have fixed propagation time equal to one. We conjecture that these are the only such graphs and prove the conjectures for joins of graphs. Families of graphs with longer fixed propagation time for standard forcing are exhibited, and it is shown that such graphs do not exist for positive semidefinite forcing.

Zero forcing is an iterative graph coloring process studied for its wide array of applications. In this process, the vertices of the graph are initially designated as blue or white, and a zero forcing set is a set of initially blue vertices that results in all vertices becoming blue after repeated application of a color change rule. The zero forcing number of a graph is the minimum cardinality of a zero forcing set. The zero forcing number has motivated the introduction of a host of variants motivated by linear-algebraic or graph-theoretic contexts. We define a variant we term the $k$-fault tolerant zero forcing number, which is the minimum cardinality of a set $B$ such that every subset of $B$ of cardinality $|B|-k$ is a zero forcing set. We study the values of this parameter on various graph families, the behavior under several graph operations, and characterize the 1-fault tolerant zero forcing number of trees.

We study the minimum rank of a (simple, undirected) graph, which is the minimum rank among all matrices in a space determined by the graph. We determine the exact set of graphs on eight vertices for which the nullity of a minimum rank matrix does not coincide with a bound determined by the zero forcing number of a graph. Although our goal was to determine which eight-vertex graphs satisfy maximum nullity equal to the zero forcing number, we also established several additional methods to assist in the computation of minimum rank for general graphs.

Reconfiguration graphs provide a way to represent relationships among solutions to a problem, and have been studied in many contexts. We investigate the reconfiguration graphs corresponding to minimum PSD forcing sets and minimum skew forcing sets. We present results for the structure and realizability of certain graph classes as token exchange and token sliding reconfiguration graphs. Additionally, we use a universal approach to establish structural properties for the reconfiguration graphs of many common graph parameters under these reconfiguration rules. Finally, we compare results on reconfiguration graphs for zero forcing variants.

We introduce a generalization of the concept of a chronological list of forces, called a relaxed chronology. This concept is used to introduce a new way of formulating the standard zero forcing process, which we refer to as parallel increasing path covers, or PIPs. The combinatorial properties of PIPs are utilized to identify bounds comparing standard zero forcing propagation time to positive semidefinite propagation time. A collection of paths within a set of PSD forcing trees, called a path bundle, is used to identify the PSD forcing analog of the reversal of a standard zero forcing process, as well as to draw a connection between PSD forcing and rigid-linkage forcing.

The tight upper bound $\operatorname{pt}_+(G) \leq \left\lceil \frac{\left\vert \operatorname{V}(G) \right\vert - \operatorname{Z}_+(G)}{2} \right\rceil$ is established for the positive semidefinite propagation time of a graph in terms of its positive semidefinite zero forcing number. To prove this bound, two methods of transforming one positive semidefinite zero forcing set into another and algorithms implementing these methods are presented. Consequences of the bound, including a tight Nordhaus-Gaddum sum upper bound on positive semidefinite propagation time, are established.