All apps
Double-dimer loops and CLE₄
About this app
Two random domino tilings on top of each other give nested loops of every size. Sampled exactly via the Temperley bijection, construction step by step, magnifier, lattice comparison: the large loops do not depend on the fineness. In the limit this is CLE₄ – proven as curves for the half-plane; openai/math family 226.
Subject: Open problems, solved by AI
More from Open problems, solved by AI
- Anderson localisation: 2D vs. 3D (3D)
- Barker sequences and circulant Hadamard matrices
- Barnette's conjecture: a round trip over every polyhedron (3D)
- Birkhoff billiards: only the ellipse has no gaps
- Cardy's formula — percolation in a random tiling
- The plane is not five-colourable (Hadwiger–Nelson)
- Triangular billiards — irrational angles mix (3D)
- Triangular lattice — universal optimality
A VisuApp by heyprof: interactive, free in your browser, no sign-up. What is a VisuApp? · All apps