arXiv++ Combinatorics

We get four quartered Aztec diamonds by dividing an Aztec diamond region by two zigzag cuts passing its center. W. Jockusch and J. Propp (in an unpublished work) found that the number of tilings of quartered Aztec diamonds is given by simple product formulas. In this paper we present a simple proof for this result.

In 2003, Ciucu presented a unified way to enumerate tilings of lattice regions by using a certain Reduction Theorem (Ciucu, Perfect Matchings and Perfect Powers, Journal of Algebraic Combinatorics, 2003). In this paper we continue this line of work by investigating new families of lattice regions whose tilings are enumerated by perfect powers or products of several perfect powers. We prove a multi-parameter generalization of Bo-Yin Yang's theorem on fortresses (B.-Y. Yang, Ph.D. thesis, Department of Mathematics, MIT, MA, 1991). On the square lattice with zigzag paths, we consider two particular families of regions whose numbers of tilings are always a power of 3 or twice a power of 3. The latter result provides a new proof for a conjecture of Matt Blum first proved by Ciucu. We also consider several new lattices obtained by periodically applying two simple subgraph replacement rules to the square lattice. On some of those lattices, we get new families of regions whose numbers of tilings are given by products of several perfect powers. In addition, we prove a simple product formula for the number of tilings of a certain family of regions on a variant of the triangular lattice.

We solve and generalize an open problem posted by James Propp (Problem 16 in New Perspectives in Geometric Combinatorics, Cambridge University Press, 1999) on the number of tilings of quasi-hexagonal regions on the square lattice with every third diagonal drawn in. We also obtain a generalization of Douglas' Theorem on the number of tilings of a family of regions of the square lattice with every second diagonal drawn in.

For a 1-tough graph $G$ we define $σ_3(G) = \min\{°(u) + °(v)+ °(w):$ $\{u, v, w\}$ is an independent set of vertices$\}$ and $NC2(G)=\min \{|N(u)\cup N(v)|: d(u,v)=2\}$. D. Bauer, G. Fan and H.J.Veldman proved that $c(G)\geq \min\{n,2NC2(G)\}$ for any 1-tough graph $G$ with $σ_3(G)\geq n\geq 3$, where $c(G)$ is the circumference of $G$ (D. Bauer, G. Fan and H.J.Veldman,Hamiltonian properties of graphs with large neighborhood unions,Discrete Mathematics, 1991). They also conjectured a stronger upper bound for the circumference: $c(G)\geq\min\{n,2NC2(G)+4\}$.In this paper, we prove this conjecture.