1 · The essentials
The manuscript studies the loops formed by combining two independent dimer coverings of a square lattice. The lattice occupies the upper half of the plane and has a specific setup called Temperleyan. The question is what the whole collection of loops approaches as the lattice spacing shrinks toward zero. The manuscript shows that it approaches a particular random collection of loops called nested CLE₄. Crucially, the result tracks the shapes of all loops that remain visible at a fixed scale, not just measurements taken from them. It treats each loop as a curve without specifying a speed for tracing it. This result has not been formalized in Lean or formally verified.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine comparing loop drawings on successively finer sheets of graph paper. The distinction here is between matching summary measurements of the drawings and matching the visible loops themselves; the manuscript claims the latter kind of convergence.
Why it matters
The result addresses the half-plane Temperleyan version of the double-dimer scaling-limit conjecture. Its key advance is convergence of the loops themselves, rather than only convergence of quantities measured from the loops. The scope is the complete ensemble, with every macroscopic loop matched as a curve.
2 · Going further
The precise setting is the complete double-dimer loop ensemble obtained from two independent dimer coverings of the Temperleyan square lattice in the upper half-plane. The manuscript shows that, as the mesh tends to zero, this ensemble converges to nested . The stated convergence holds along the full mesh limit and matches every macroscopic loop as an unparametrized curve.
The repository summary describes this as resolving the half-plane Temperleyan form of the double-dimer scaling-limit conjecture. It emphasizes the distinction between convergence of loop observables and convergence of the actual curves. Here, the limiting statement concerns the complete loop ensemble, rather than only measurements extracted from it.
The supplied abstract states the result but does not describe the argument or its main technical idea. Only the main manuscript is supplied, so no relationship to companion manuscripts can be established from this source. The result is not formalized in Lean and has not been formally verified.
Useful notions
- Square lattices and lattice spacing
- Dimer coverings and their loop ensembles
- Independence of random objects
- Scaling limits
- Curves without a chosen parametrization
What was known before / what is new
Before
The source identifies a double-dimer scaling-limit conjecture with nested CLE₄ as the proposed limit. The repository summary frames the advance as an upgrade from convergence of loop observables to convergence of the loops themselves. It gives no further history or details of those earlier observable results.
New
The manuscript shows convergence of the complete half-plane Temperleyan double-dimer loop ensemble to nested CLE₄. The convergence matches every macroscopic loop as an unparametrized curve and holds along the full mesh limit. The source describes this as resolving that particular form of the scaling-limit conjecture.
Limits and assumptions
The stated result assumes two independent dimer coverings of the Temperleyan square lattice in the upper half-plane. It concerns loops as unparametrized curves, not a prescribed timing for traversing them. The supplied material does not state results for other domains or lattice setups, specify which broader variants remain open, or provide details of the argument. The main result is not formalized in Lean and has not been formally verified.
Mini glossary
- Double-dimer loop ensemble —
- The collection of loops formed from two independent dimer coverings.
- Mesh —
- The spacing of the lattice, which tends to zero in the stated limit.
- Macroscopic loop —
- A loop considered at a fixed visible scale rather than at the shrinking lattice scale.
- Unparametrized curve —
- A curve considered without a specified timing or speed for traversing it.
- Loop observable —
- A quantity measured from the loops, rather than the curves themselves.
- Nested CLE₄ —
- The random loop ensemble identified in the source as the limiting collection, allowing loops nested within other loops.
Keywords : Double dimers · Scaling limits · Nested CLE₄
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
Resolves the half-plane Temperleyan form of the double-dimer scaling-limit conjecture: the complete loop ensemble formed by two independent dimer coverings of the Temperleyan square lattice converges to nested CLE4. Convergence matches every macroscopic loop as an unparametrized curve, upgrading convergence of loop observables to convergence of the loops themselves.
To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.
Manuscripts in this family
The curve scaling limit of half-plane double dimers
23/09/2026We prove that the complete double-dimer loop ensemble for the Temperleyan square lattice in the upper half-plane converges to nested CLE4. The convergence holds along the full mesh limit and matches every macroscopic loop as an unparametrized curve. This resolves the half-plane Temperleyan form of the double-dimer CLE4 scaling-limit conjecture.