We solve the classical square-lattice dimer model with periodic boundaries and in the presence of a field $\boldsymbol{t}$ that couples to the (vector) flux, by diagonalizing a modified version of Lieb's transfer matrix. After deriving the torus partition function in the thermodynamic limit, we show how the configuration space divides into 'topological sectors' corresponding to distinct values of the flux. Additionally, we demonstrate in general that expectation values are $\boldsymbol{t}$-independent at leading order, and obtain explicit expressions for dimer occupation numbers, dimer-dimer correlation functions and the monomer distribution function. The last of these is expressed as a Toeplitz determinant, whose asymptotic behavior for large monomer separation is tractable using the Fisher-Hartwig conjecture. Our results reproduce those previously obtained using Pfaffian techniques.
Tensor network investigation of the monomer-dimer model on the honeycomb lattice
Quantum Science Center of Guangdong-Hong Kong-Macao Greater Bay Area（粤港澳大湾区量子科学中心）；Department of Physics, City University of Hong Kong（香港城市大学物理系）；City University of Hong Kong Shenzhen Research Institute（香港城市大学深圳研究院）
The inverse problem method is tested for a class of monomer-dimer statistical mechanics models that contain also an attractive potential and display a mean-field critical point at a boundary of a coexistence line. The inversion is obtained by analytically identifying the parameters in terms of the correlation functions and via the maximum-likelihood method. The precision is tested in the whole phase space and, when close to the coexistence line, the algorithm is used together with a clustering method to take care of the underlying possible ambiguity of the inversion.
We consider a monomer-dimer system with a strong attractive dimer-dimer interaction that favors alignment. In 1979, Heilmann and Lieb conjectured that this model should exhibit a nematic liquid crystal phase, in which the dimers are mostly aligned, but do not manifest any translational order. We prove this conjecture for large dimer activity and strong interactions. The proof follows a Pirogov-Sinai scheme, in which we map the dimer model to a system of hard-core polymers whose partition function is computed using a convergent cluster expansion.
We consider the monomer-dimer partition function on arbitrary finite planar graphs and arbitrary monomer and dimer weights, with the restriction that the only non-zero monomer weights are those on the boundary. We prove a Pfaffian formula for the corresponding partition function. As a consequence of this result, multipoint boundary monomer correlation functions at close packing are shown to satisfy fermionic statistics. Our proof is based on the celebrated Kasteleyn theorem, combined with a theorem on Pfaffians proved by one of the authors, and a careful labeling and directing procedure of the…
It is evidenced that effective lattice-gas models of hard-core monomers and dimers afford a proper description of low-temperature features of spin-1/2 Heisenberg diamond and octahedral chains. Besides monomeric particles assigned within the localized-magnon theory to bound one- and two-magnon eigenstates, the effective monomer-dimer lattice-gas model additionally includes dimeric particles assigned to a singlet-tetramer (singlet-hexamer) state as a cornerstone of dimer-tetramer (tetramer-hexamer) ground state of a spin-1/2 Heisenberg diamond (octahedral) chain. A feasibility of the effective d…
The finite volume correction for a mean-field monomer-dimer system with an attractive interaction are computed for the pressure density, the monomer density and the susceptibility. The results are obtained by introducing a two-dimensional integral representation for the partition function decoupling both the hard-core interaction and the attractive one. The next-to-leading terms for each of the mentioned quantities is explicitly derived as well as the value of their sign that is related to their monotonic convergence in the thermodynamic limit.
A collection of rigorous results for a class of mean-field monomer-dimer models is presented. It includes a Gaussian representation for the partition function that is shown to considerably simplify the proofs. The solutions of the quenched diluted case and the random monomer case are explained. The presence of the attractive component of the Van der Waals potential is considered and the coexistence phase coexistence transition analysed. In particular the breakdown of the central limit theorem is illustrated at the critical point where a non Gaussian, quartic exponential distribution is found f…
We study the classical dimer model on rhombic Penrose tilings, whose edges and vertices may be identified with those of a bipartite graph. We find that Penrose tilings do not admit perfect matchings (defect-free dimer coverings). Instead, their maximum matchings have a monomer density of $81-50φ\approx 0.098$ in the thermodynamic limit, with $φ=\left(1+\sqrt{5}\right)/2$ the golden ratio. Maximum matchings divide the tiling into a fractal of nested closed regions bounded by loops that cannot be crossed by monomers. These loops connect second-nearest neighbour even-valence vertices, each of whi…
Intractable enumeration problems are like Russian nesting dolls: structural properties of monomer-dimer coverings on two-dimensional quadratic lattices
Thermodynamic properties of the macroscopically degenerate tetramer-dimer phase of the spin-1/2 Heisenberg model on the diamond-decorated square lattice
We study various statistical properties of the double-dimer model, a generalization of the dimer model, on rectangular domains of the square lattice. We take advantage of the Grassmannian representation of the dimer model, first to calculate the probability distribution of the number of nontrivial loops around a cylinder, which is consistent with the previously known result, and then to calculate the expectation value of the number of loops surrounding two faces and the left-passage probability, both in the discrete and the continuum cases. We also briefly explain the calculation of some relat…
