Domino tilings and flips in dimensions 4 and higher

Abstract

In this paper we consider domino tilings of bounded regions in dimension n4n \geq 4. We define the twist of such a tiling, an elements of Z/(2){\mathbb{Z}}/(2), and prove it is invariant under flips, a simple local move in the space of tilings. We investigate which regions DD are regular, i.e. whenever two tilings t0t_0 and t1t_1 of D×[0,N]D \times [0,N] have the same twist then t0t_0 and t1t_1 can be joined by a sequence of flips provided some extra vertical space is allowed. We prove that all boxes are regular except D=[0,2]3D = [0,2]^3. Furthermore, given a regular region DD, we show that there exists a value MM (depending only on DD) such that if t0t_0 and t1t_1 are tilings of equal twist of D×[0,N]D \times [0,N] then the corresponding tilings can be joined by a finite sequence of flips in D×[0,N+M]D \times [0,N+M]. As a corollary we deduce that, for regular DD and large NN, the set of tilings of D×[0,N]D \times [0,N] has two twin giant components under flips, one for each value of the twist.Comment: 28 pages, 14 figure

    Similar works