Isomorphisms and properties of TAR reconfiguration graphs for zero forcing and other $X$-set parameters
Novi H. Bong, Joshua Carlson, Bryan Curtis, Ruth Haas, Leslie Hogben

TL;DR
This paper studies the structure and properties of reconfiguration graphs based on $X$-sets, such as zero forcing sets, revealing conditions for their isomorphisms and connectedness, and introducing the concept of $X$-irrelevant vertices.
Contribution
It characterizes when two $X$-TAR reconfiguration graphs are isomorphic and introduces $X$-irrelevant vertices to analyze these graphs, extending understanding of zero forcing and related parameters.
Findings
Isomorphism of $X$-TAR graphs corresponds to identical $X$-sets under relabeling.
Introduces $X$-irrelevant vertices to analyze graph isomorphisms.
Provides new families of graphs with improved connectedness bounds.
Abstract
An -TAR (token addition/removal) reconfiguration graph has as its vertices sets that satisfy some property , with an edge between two sets if one is obtained from the other by adding or removing one element. This paper considers the -TAR graph for sets of vertices of a base graph where the -sets of must satisfy certain conditions. Dominating sets, power dominating sets, zero forcing sets, and positive semidefinite zero forcing sets are all examples of -sets. For graphs and with no isolated vertices, it is shown that and have isomorphic -TAR reconfiguration graphs if and only if there is a relabeling of the vertices of such that and have exactly the same -sets. The concept of an -irrelevant vertex is introduced to facilitate analysis of -TAR graph isomorphisms. Furthermore, results related to the connectedness of the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Graph Theory Research · Interconnection Networks and Systems · Formal Methods in Verification
