DimerLattice — model index
The close-packed dimer model — perfect matchings (dominoes) tiling the square lattice, solved exactly by the Kasteleyn-Temperley-Fisher Pfaffian, with residual entropy $G/\pi$ per site.
\[\text{(combinatorial model — no Hamiltonian; partition function)}\quad Z = \#\{\text{perfect matchings of the } L_x \times L_y \text{ grid}\}\]
Generated by docs/atlas/generate.jl — a pure VIEW over the *_registry.jl claims + the static test/INVENTORY.jsonl AST scan. No test is executed and no src is run; test/INVENTORY.jsonl is regenerated in-place (idempotently) from that static scan; fetch/@register untouched. Assurance labels are PROVISIONAL: residuals / confidence are not shown yet (RES not wired). Badges reflect the committed test AST, not the latest CI run — a hub can read green while its @test is red between regenerations. @sweep = a graceful regime-resolution gap, not card omission.
All (Quantity, BC) hubs src claims for DimerLattice. Cells link to the per-hub card; — = not yet implemented at that BC. The shape of the matrix is the gap visualisation: empty cells are where physics could be added next.
Convention
No CONVENTION header found in src/models/<class>/DimerLattice/DimerLattice.jl (model file may predate the lint; see docs/src/conventions.md for the project-wide convention policy).
Coverage
| Level | Count |
|---|---|
| 🟣 universality-corroborated | 0 |
| 🟢 corroborated-at-p | 1 |
| 🔵 coherent | 0 |
| ⚪ cited-only | 0 |
| 🟠 uncorroborated-but-feasible | 3 |
| total claimed hubs | 4 |
Methods (from @register, derived): analytic
Quantity × BC matrix
| Quantity | OBC | Infinite |
|---|---|---|
FreeEnergy | — | 🟠 hub |
PartitionFunction | 🟢 hub | — |
ResidualEntropy | — | 🟠 hub |
UniversalityClass | — | 🟠 hub |
References
Papers cited by this model's @register cards. The full numbered list is on the Reference List.
- [20]
- M. E. Fisher. Statistical Mechanics of Dimers on a Plane Lattice. Physical Review 124, 1664–1672 (1961).
- [21]
- P. W. Kasteleyn. The statistics of dimers on a lattice: I. The number of dimer arrangements on a quadratic lattice. Physica 27, 1209–1225 (1961).
- [22]
- H. N. Temperley and M. E. Fisher. Dimer problem in statistical mechanics-an exact result. The Philosophical Magazine 6, 1061–1063 (1961).