Billiards, channels, and perfect matching 2-divisibility

From MaRDI portal
Publication:2199904




Abstract: Let mG denote the number of perfect matchings of the graph G. We introduce a number of combinatorial tools for determining the parity of mG and giving a lower bound on the power of 2 dividing mG. In particular, we introduce certain vertex sets called channels, which correspond to elements in the kernel of the adjacency matrix of G modulo 2. A result of Lov'asz states that the existence of a nontrivial channel is equivalent to mG being even. We give a new combinatorial proof of this result and strengthen it by showing that the number of channels gives a lower bound on the power of 2 dividing mG when G is planar. We describe a number of local graph operations which preserve the number of channels. We also establish a surprising connection between 2-divisibility of mG and dynamical systems by showing an equivalency between channels and billiard paths. We exploit this relationship to show that 2fracgcd(m+1,n+1)12 divides the number of domino tilings of the mimesn rectangle. We also use billiard paths to give a fast algorithm for counting channels (and hence determining the parity of the number of domino tilings) in simply connected regions of the square grid.









This page was built for publication: Billiards, channels, and perfect matching 2-divisibility

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2199904)