The Zero Forcing Polynomial of a Ladder Graph Skyler Hanson, Dawn Paukner, Faculty Advisor: Dr
Total Page:16
File Type:pdf, Size:1020Kb
The Zero Forcing Polynomial of a Ladder Graph Skyler Hanson, Dawn Paukner, Faculty Advisor: Dr. Shanise Walker Department of Mathematics, University of Wisconsin-Eau Claire Motivation Goal Future Research Zero forcing was first introduced in 2008, and has been Our research team aims to describe the closed formula for the zero forcing polynomial of n-ladder I Conjecture: For n > 5, studied in connection with quantum physics, theoretical graphs. 2n-2 2n-4 z(P2Pn; 4) = 4 2 + 2 2 + 19n - 82. computer science, power network monitoring, and linear algebra. Related Results Definitions Figure: The graph of P2P5. I A graph G is a pair G = (V, E), where V is the set of vertices and E is the set of edges (an edge is a I Establish the zero forcing polynomial for the two-element subset of vertices). n-ladder graph P2Pn. I We hope to extend our research on ladder I The degree of a vertex v is the number of edges incident to the vertex. graphs to grid graphs. A two-dimensional m × n grid graph is the graph Cartesian I If G is a graph with each vertex colored either white or Complete graph K6 Complete bipartite graph K3,3 Cycle graph C6 blue, the color change rule states that if v is a blue product PmPn, where Pn is the path graph on n n-1 n vertices. vertex of G with exactly one white neighbor u, then Theorem [2] Complete Graph: For n > 2, then Z(Kn; x) = x + nx . change the color of u to blue. Theorem [2] Complete Multipartite Graph: If a1, ..., ak > 2, then Z(K ; x) = ( a a )xn-2 + nxn-1 + xn. e f a1,...,ak 16i<j6k i j n n nn-i-1 i Theorem [2] Cycle Graph: ForPn > 3, then Z(Cn; x) = i=2 i - i i-1 x . g c P d Main Results Figure: The graph of P3P5. a b u1 u2 u3 un-2 un-1 un Figure: Graph with vertices a and g initially colored vertices blue. Open Problems I A zero forcing set for a graph G is a set of initially I Characterize the zero forcing polynomials for colored blue vertices S ⊆ V(G) such that by applying other families of graphs. the zero forcing color change rule repeatedly, all the I Determine which graphs are recognized by remaining vertices eventually become blue. their zero forcing polynomials. It was shown by I The zero forcing number of a graph G is the minimum Boyer et al. [2] that path graphs and complete cardinality over all zero forcing sets of G. w1 w2 w3 wn-2 wn-1 wn graphs are recognized by their zero forcing e f polynomials. Theorem: Let G be the n-ladder graph P2Pn. Then z(P2Pn; 2) = 6 when n > 3. I Conjecture [2]: For any graph G on n vertices, I A zero forcing set of size 2 in P2Pn must include a corner vertex. c g z(G; i) 6 z(Pn; i) for 1 6 i 6 n. That is, the zero Theorem: Let G be the n-ladder graph P P . Then z(P P ; 2n - 3) = 2n . d 2 n 2 n 2n-3 forcing coefficient for a graph on n vertices is I Every subset of vertices of P2Pn of size 2n - 3 is a zero forcing set. less than or equal to the zero forcing coefficient a b 2n Theorem: Let G be the n-ladder graph P2Pn. Then z(P2Pn; 4) = 4 - 4 = 66 when n = 4. for the path graph on n vertices. Figure: Zero forcing set of this graph is fb, gg, and the zero forcing number is 2. Acknowledgements I The zero forcing polynomial of a graph G is given by: n I We would like to thank the University of Z(G; x) = z(G; i)xi Wisconsin-Eau Claire Department of i=0 Figure: The set of blue vertices of size 4 that does not form a zero forcing set in P2P4. X Mathematics, the Office of Research and where z(G; i) is the number of zero forcing sets of G of Sponsored Projects, and Learning and cardinality i. O R ther esults Technology Services for funding this project. I A two-dimensional n-ladder graph is the graph Cartesian Lemma: An L consists of three vertices u , w and either u or w for i = 2 or it consists of three I We would like to thank McKenzie Scanlan for product P2Pn, where Pn is the path graph on n vertices. i i i+1 i+1 vertices ui, wi and either ui-1 or wi-1 for i = n - 1. A set that forms a L is a zero forcing set. her contributions to this project. Lemma: A Z consists of four vertices ui-1, ui, wi, wi+1 or ui+1, ui, wi, wi-1 for 3 6 i 6 n - 2. A set References that forms a Z is a zero forcing set. AIM Special Work Group. Zero forcing sets and the minimum rank of graphs. Linear Algebra Figure: The graph of P2P6. and its Applications, 428(7):16281648, 2008. I The corner vertex of an n-ladder graph is a vertex of K. Boyer, B. Brimkov, S. English, D. Ferrero, A. degree 2. Keller, R. Kirsch, M. Phillips, and C. Reinhart. An L shape in P2P5 A Z shape in P2P5 I An internal vertex of a n-ladder graph is a vertex of The zero forcing polynomial of a graph. arXiv: degree 3. 1801.08910v1..