The close-packed dimer model on the square lattice is a canonical exactly solved model of statistical mechanics, yet its monomer sector is solved only in part: boundary monomer correlations of arbitrary order were computed exactly by Priezzhev and Ruelle (2008) and shown to be correlators of a complex free fermion, supporting a c=1c = 1 conformal description, but in the bulk only the two-point function (Fisher and Stephenson 1963, decaying as r−1/2r^{-1/2}) is exactly known, because interior monomers introduce non-local sign defects into the fermionic representation. This problem asks for the completion of the exact solution and conformal interpretation of the monomer sector: (i) the exact scaling-limit evaluation of correlation functions of an arbitrary number of monomers at arbitrary bulk positions on the square lattice; and (ii) the precise structural relation between the c=−2c = -2 (logarithmic, symplectic-fermion) description of the pure dimer degrees of freedom and the c=1c = 1 description of the full monomer-dimer theory, including the presumptive c=1c = 1 reading of the exponent-1/41/4 boundary-string observable. Later literature has rigorized the boundary Pfaffian structure, produced exact triangular-lattice two-monomer asymptotics, and built constructive fermion-to-boson bridges for dimer observables, but the bulk multi-point monomer problem and the c=−2c = -2 into c=1c = 1 embedding remain open.

Background

In the close-packed dimer model, a configuration is a perfect matching of a lattice graph: every site is paired with exactly one nearest neighbour by a dimer (an occupied bond). On planar graphs the partition function is the Pfaffian (square root of a determinant) of the Kasteleyn matrix, a signed oriented adjacency matrix chosen so that all dimer coverings contribute with the same sign; this Pfaffian solution, found in the early 1960s, is what makes the model exactly solved. Monomers are sites excluded from the matching; inserting monomers at fixed positions and taking the ratio of the punctured-lattice partition function to the full one defines the monomer correlation functions.

The monomer sector is the part of the model that resists this solution. For monomers restricted to the boundary of the half-plane square lattice, Priezzhev and Ruelle computed all monomer correlations exactly in the scaling limit (the limit in which the lattice spacing is taken to zero while physical distances are held fixed) and proved them equal to correlators of a complex free fermion, reinforcing the description of the monomer-dimer model by a conformal free-field theory with central charge c=1c=1 (the central charge labels a conformal field theory; c=1c=1 is the value for a free boson, i.e. a massless Gaussian free field). In the bulk, only the two-point function is exactly known: Fisher and Stephenson proved it decays as r−1/2r^{-1/2}, Hartwig obtained exact lattice pair correlations, and Au-Yang and Perk observed that the two-monomer correlator equals the squared correlator of two critical Ising spins. The obstruction is that removing interior sites violates the local Kasteleyn sign condition, so sign changes must be made along paths connecting monomers; the resulting defect matrix is non-local and the determinant to be evaluated grows with the inter-monomer distances.

Two further strands frame the open question and its context. First, pure-dimer observables admit two apparently different conformal descriptions: the height function (a local integer-valued observable encoding a dimer configuration) converges to a Gaussian free field, a c=1c=1 theory, while the finite-size corrections of the dimer partition function and of the transfer matrix (the matrix whose successive powers build up the partition function of a strip of fixed width) realize a logarithmic conformal theory (one whose correlation functions can contain logarithms rather than pure powers) with c=−2c=-2, described by symplectic fermions, fermionic fields whose Virasoro modules are reducible but indecomposable. Priezzhev and Ruelle note that the c=−2c=-2 theory seems to be a subtheory accounting for the dimer degrees of freedom inside a c=1c=1 monomer-dimer theory, but the embedding, the operator map, and the conditions under which each description applies were left unclarified; in particular, the power law n−1/4n^{-1/4} found for a compact string of frozen boundary dimers, i.e. the boundary string of nn consecutive frozen dimers whose two endpoints are nn lattice spacings apart (ref. 6), was understood within the c=−2c=-2 framework of uniform spanning trees and the Abelian sandpile model (lattice models whose scaling limits are described by the same c=−2c=-2 logarithmic theory), while its reinterpretation in the c=1c=1 setting as a two-point function of fields of dimension 1/81/8 was flagged only as presumptive. Second, on the non-bipartite triangular lattice monomer and dimer correlations decay exponentially (Fendley, Moessner and Sondhi), with exact two-monomer asymptotics now available in special geometries, in contrast with the power laws on bipartite lattices; a general classification and exact treatment of monomer correlations across lattice types is missing.

Problem Statement

Complete the exact solution and conformal interpretation of the monomer sector of the close-packed dimer model, extending the exactly solved boundary case of Priezzhev and Ruelle. The problem has two linked facets, which jointly support this single objective and must both be settled by a complete answer:

  1. Bulk multi-point monomer correlators on the square lattice. Determine, in the scaling limit, the correlation functions of an arbitrary number of monomers at arbitrary positions in the bulk: either closed-form expressions, or a proven structural formula whose size depends only on the number of monomers and not on the inter-monomer distances (for example, a Pfaffian or determinant reduction), together with the derivation from the lattice model. This must extend the two-point Fisher-Stephenson result (decay as r−1/2r^{-1/2}) to more than two monomers and beyond special collinear placements, handling the sublattice and parity distinctions that the dimer model imposes: the square lattice is bipartite, so each monomer sits on one of two sublattices, and the imbalance between the numbers of monomers on the two sublattices acts as a charge that, together with the parities of these numbers, governs the correlation functions. Known finite-lattice representations of the fixed-monomer partition function as a Pfaffian or a product of two Pfaffians, and Pfaffian correlations of bulk order-disorder operators, do not by themselves supply this scaling-limit evaluation at arbitrary bulk positions.

  2. Structural relation between the two conformal descriptions. Establish how the c=−2c=-2 logarithmic (symplectic-fermion) conformal description of the pure dimer degrees of freedom is related to the c=1c=1 free-field description of the full monomer-dimer theory; a complete answer must establish (a) how the c=−2c=-2 subtheory embeds, (b) how operators map (including the monomer insertion operator), (c) under which conditions each description applies, and (d) whether the power law n−1/4n^{-1/4} for a compact string of frozen boundary dimers (the boundary string of nn consecutive frozen dimers, with nn the string length in lattice spacings) is indeed a two-point function of fields of dimension 1/81/8 in the c=1c=1 theory, as suggested but not proven in Priezzhev and Ruelle (ref. 1).

Any answer must be consistent with the pinned special cases: the Fisher-Stephenson two-point bulk decay and Hartwig's exact lattice pair correlations, the Pfaffian structure of boundary monomer correlations, the triangular-lattice two-monomer asymptotics of Fendley-Moessner-Sondhi and Basor-Bleher, and the transfer-matrix finite-size spectra realized at c=−2c=-2.

References

  1. Vyatcheslav B. Priezzhev and Philippe Ruelle, 'Boundary monomers in the dimer model', Phys. Rev. E 77, 061126 (2008). DOI: 10.1103/PhysRevE.77.061126; arXiv:0803.2652, https://arxiv.org/abs/0803.2652
  2. Michael E. Fisher and John Stephenson, 'Statistical Mechanics of Dimers on a Plane Lattice. II. Dimer Correlations and Monomers', Phys. Rev. 132, 1411 (1963). DOI: 10.1103/PhysRev.132.1411, https://doi.org/10.1103/PhysRev.132.1411
  3. Robert E. Hartwig, 'Monomer Pair Correlations', J. Math. Phys. 7, 286 (1966). DOI: 10.1063/1.1704931, https://doi.org/10.1063/1.1704931
  4. Helen Au-Yang and Jacques H. H. Perk, 'Ising correlations at the critical temperature', Phys. Lett. A 104, 131 (1984). DOI: 10.1016/0375-9601(84)90359-1, https://doi.org/10.1016/0375-9601(84)90359-1
  5. P. Fendley, R. Moessner and S. L. Sondhi, 'Classical dimers on the triangular lattice', Phys. Rev. B 66, 214513 (2002). DOI: 10.1103/PhysRevB.66.214513; arXiv:cond-mat/0206159, https://arxiv.org/abs/cond-mat/0206159
  6. N. Sh. Izmailian, V. B. Priezzhev, Philippe Ruelle and Chin-Kun Hu, 'Logarithmic Conformal Field Theory and Boundary Effects in the Dimer Model', Phys. Rev. Lett. 95, 260602 (2005). DOI: 10.1103/PhysRevLett.95.260602, https://doi.org/10.1103/PhysRevLett.95.260602
  7. Richard Kenyon, 'Dominos and the Gaussian Free Field', Ann. Probab. 29, 1128 (2001). DOI: 10.1214/aop/1015345599, https://doi.org/10.1214/aop/1015345599
  8. Nicolas Allegra and Jean-Yves Fortin, 'Grassmannian representation of the two-dimensional monomer-dimer model', Phys. Rev. E 89, 062107 (2014). DOI: 10.1103/PhysRevE.89.062107; arXiv:1402.5512, https://arxiv.org/abs/1402.5512
  9. Nicolas Allegra, 'Exact solution of the 2d dimer model: Corner free energy, correlation functions and combinatorics', Nucl. Phys. B 894, 685 (2015). DOI: 10.1016/j.nuclphysb.2015.03.022; arXiv:1410.4131, https://arxiv.org/abs/1410.4131
  10. Alessandro Giuliani, Ian Jauslin and Elliott H. Lieb, 'A Pfaffian formula for monomer-dimer partition functions', J. Stat. Phys. 163, 211 (2016). DOI: 10.1007/s10955-016-1484-1; arXiv:1510.05027, https://arxiv.org/abs/1510.05027
  11. Michael Aizenman, Manuel Laínz Valcázar and Simone Warzel, 'Pfaffian Correlation Functions of Planar Dimer Covers', J. Stat. Phys. 166, 1078 (2017). DOI: 10.1007/s10955-016-1684-8; arXiv:1609.02824, https://arxiv.org/abs/1609.02824
  12. Estelle L. Basor and Torsten Ehrhardt, 'Asymptotics of block Toeplitz determinants and the classical dimer model', Comm. Math. Phys. 274, 427 (2007). DOI: 10.1007/s00220-007-0276-5; arXiv:math-ph/0607065, https://arxiv.org/abs/math-ph/0607065
  13. Estelle Basor and Pavel Bleher, 'Exact solution of the classical dimer model on a triangular lattice: Monomer-monomer correlations', Comm. Math. Phys. 356, 397 (2017). DOI: 10.1007/s00220-017-2985-8; arXiv:1610.08021, https://arxiv.org/abs/1610.08021
  14. Neil Wilkins and Stephen Powell, 'Topological sectors, dimer correlations and monomers from the transfer-matrix solution of the dimer model', Phys. Rev. E 104, 014145 (2021). DOI: 10.1103/PhysRevE.104.014145; arXiv:2103.03260, https://arxiv.org/abs/2103.03260
  15. Alexi Morin-Duchesne, Jørgen Rasmussen and Philippe Ruelle, 'Integrability and conformal data of the dimer model', J. Phys. A 49, 174002 (2016). DOI: 10.1088/1751-8113/49/17/174002; arXiv:1507.04193, https://arxiv.org/abs/1507.04193
  16. Alessandro Nigro, 'Finite Size Corrections for Dimers', arXiv:1208.2110 (2012), https://arxiv.org/abs/1208.2110
  17. Nikolay Sh. Izmailian, Vladimir V. Papoyan and Robert M. Ziff, 'Exact finite-size corrections in the dimer model on a planar square lattice', J. Phys. A 52, 335001 (2019). DOI: 10.1088/1751-8121/ab2fed; arXiv:1904.05123, https://arxiv.org/abs/1904.05123
  18. David Adame-Carrillo, 'Discrete symplectic fermions on double dimers and their Virasoro representation', Ann. Henri Poincaré 26, 845 (2025). DOI: 10.1007/s00023-024-01455-w; arXiv:2304.08163, https://arxiv.org/abs/2304.08163
  19. Neil Wilkins and Stephen Powell, 'Derivation of field theory for the classical dimer model using bosonization', Phys. Rev. E 107, 054126 (2023). DOI: 10.1103/PhysRevE.107.054126; arXiv:2301.09665, https://arxiv.org/abs/2301.09665
  20. Stephen Powell, 'Derivation of height field theory for the two-dimensional classical dimer model from a Grassmann-integral representation', arXiv:2606.17154 (2026), https://arxiv.org/abs/2606.17154
  21. Alexandra Quitmann, 'Decay of correlations in the monomer-dimer model', J. Math. Phys. 65, 103502 (2024). DOI: 10.1063/5.0179067; arXiv:2309.13632, https://arxiv.org/abs/2309.13632
  22. Satoshi Morita, Hyun-Yong Lee, Kedar Damle and Naoki Kawashima, 'Ashkin-Teller phase transition and multicritical behavior in a classical monomer-dimer model', Phys. Rev. Research 5, 043061 (2023). DOI: 10.1103/PhysRevResearch.5.043061; arXiv:2306.02578, https://arxiv.org/abs/2306.02578
  23. Lorenzo Taggi and Wei Wu, 'Mermin–Wagner Theorem for Dimers, Monomer Double-Dimers, and Spatial Random Permutations', Comm. Math. Phys. 407, 175 (2026). DOI: 10.1007/s00220-026-05626-0; arXiv:2312.16911, https://arxiv.org/abs/2312.16911