Treat mismatches as energy and temperature as tolerance for making things worse. Annealing holds the puzzle's longest-standing record; parallel tempering crosses barriers annealing can't. Both stop at the same wall.
Simulated annealing reads a board as a physical system: unmatched edges are
energy, moves that lower the energy are always accepted, and moves that raise
it are accepted with probability e−ΔE/T. Run hot and the search
wanders; cool it and the board settles into a low-energy arrangement,
ideally a deep one, not merely the nearest one. The catch is the schedule:
cool too fast and you freeze into a mediocre local optimum, cool slowly
enough for a puzzle this size and you wait forever.
Parallel tempering (replica exchange) dissolves the schedule problem by
running the whole ladder at once. The method comes from spin-glass physics:
Swendsen and Wang's
1986 replica Monte Carlo paper
is the precursor, replica exchange in its modern form is usually credited to
Geyer (1991) and Hukushima and Nemoto (1996), and Earl and Deem's
2005 review is the standard modern
survey. K copies of the board run simulated annealing at fixed temperatures
T1<T2<⋯<TK; periodically, adjacent replicas propose to swap
states, accepted with the Metropolis rule
P(swap)=min(1,e(βi−βj)(Ei−Ej))=min(1,eΔβΔE),
with β=1/T, Δβ=βi−βj and
ΔE=Ei−Ej. Read it once with concrete signs: if replica i is
the colder one (Δβ>0) and the hotter replica holds the lower
energy (ΔE>0), the exponent is positive and the swap is accepted
with certainty: the good state always gets handed down the ladder for free.
Hot replicas roam across barriers; cold replicas exploit; the swaps shuttle
promising configurations down the ladder to be refined. No single chain ever
has to survive a cooling schedule.
The claim worth seeing is the comparison: the same cold chain, with and
without a ladder above it. Below, four replicas explore a rugged synthetic
landscape whose global minimum hides behind barriers; a grey ghost runs the
identical cold dynamics alone. Watch the swap flashes (green for accepted)
carry the right-hand basin down to the cold rung, while the ghost sits in the
starting well forever. Then drag the spacing slider to both extremes and
reproduce the two classic ladder failures.
▶Interactive: the parallel-tempering ladderExplore →
Four temperatures, one ladder — versus one cold chain
A rugged energy landscape with a shallow basin on the left (where everything starts) and the global minimum on the right, behind barriers. Four replicas run Metropolis at geometrically spaced temperatures; adjacent pairs periodically propose to swap states. The grey ghost is the control: the same cold chain, alone. The cold replica escapes through the ladder — hot rungs cross the barriers, swaps hand the good states down. The ghost never leaves.
The landscape is synthetic, the mechanism is exact: Metropolis proposals within each rung, and the true replica-exchange rule between rungs. Drag the spacing to its extremes to reproduce the failure modes the page describes: too tight and every swap is accepted (adjacent rungs are redundant), too wide and none are (the ladder falls apart). Deterministic seed — Replay reruns the identical trajectory.
One round of parallel tempering, as the lab runs it:
Sweep. Every replica performs Metropolis moves at its own fixed
temperature: propose a local change, compute ΔE, accept if
downhill, else with probability e−ΔE/Ti. On a board, a
single-piece move touches at most four seams, so each move's ΔE
is O(1).
Swap attempt. Pick an adjacent pair (i,i+1), compute
ΔβΔE from the two cached energies, accept with
min(1,eΔβΔE). On acceptance the two replicas
exchange configurations (equivalently: temperatures); nothing else moves.
Bookkeeping. Track the swap-acceptance rate per rung pair. That
number is the ladder diagnostic: near 100%, adjacent rungs see the same
landscape and one of them is wasted; near 0%, the ladder has decoupled
into independent chains. Useful ladders sit in the tens of percent:
frequent but not free, exactly the regime Earl and Deem recommend and the
one our runs converged to.
Repeat. The good states random-walk down the rungs; the stuck states
ride up, get shaken loose, and come back different.
Per sweep:R replicas × N sites, each move O(1) local
evaluation, so O(R⋅N), exactly R times one chain. Memory is
O(R⋅N): every replica is a full board.
Per swap phase: the R−1 adjacent pairs each need one exponential
of cached energies: O(R) total, a rounding error next to the sweeps.
The win is mixing time, not step cost. A lone cold chain crosses an
energy barrier ΔE in roughly eΔE/Tcold
attempts (the Arrhenius wait; our measured 76-cell crossing sat at
e−21 per attempt at T=1). The ladder replaces that wait with
diffusion: a configuration random-walks across R rungs, and with
geometric spacing tuned for constant per-rung acceptance, a round trip
costs on the order of R2 swap rounds. You pay a constant factor R
per sweep to turn an exponential wait into a polynomial shuttle. That
asymmetry is the entire argument for the method.
No guarantees, same as all samplers. Parallel tempering is not
complete and certifies nothing; it converges to the right distribution
eventually, with no useful bound on "eventually". And where the landscape
offers ties instead of barriers, as on the iso-score plateaus at the top
of this puzzle, ΔE=0 makes every rung behave identically, and the
ladder's advantage vanishes by construction, which is precisely what the
verdict below reports.
This project's measurements (on our own engine; not independently
replicated) give an unusually concrete reason. Between one strong board and
a better one, the connecting move is a single interlocking relocation of
dozens of pieces in which every strict subset of the move loses edges:
the σ-cycle structure. One measured transition
required a 76-cell move whose intermediate states sat about 21 edges below
the start: at T=1 the acceptance is on the order of e−21, hopeless.
With the ladder's top temperature raised to roughly 30, the crossing
actually happened, and produced what was then the project's best cold-start
board. Temperature, used correctly, is a real lever against real barriers.
Ladder design is where practice bites. When we spaced the temperatures too
closely, replica exchange accepted every swap. A 100% acceptance rate sounds
healthy and means the opposite: adjacent replicas saw effectively the same
landscape, and the ladder added nothing. Geometric spacing with a genuinely
hot top rung, tuned so that swaps are frequent but not free, is the standard
advice in Earl and Deem, and it matched what we observed.
Annealing has a distinguished history on this puzzle. The longest-standing
record on the canonical piece set (Louis Verhaard's 467 of 480 in 2008,
unbeaten until the Blackwood-era backtrackers of 2020) came from an
annealing method, and an unusual one: as he described it on the
community mailing list, he annealed the
composition of a piece subset, swapping pieces in and out of a candidate
group under a tilability score, rather than annealing positions on the
board. The lesson generalizes: on Eternity II, the choice of what to
anneal mattered more than the annealing itself.
From this project's measurements, hedged accordingly: parallel tempering is
a better barrier-crosser than plain annealing, and on the mid-range of the
climb that difference is real and bankable. Near the top it dissolves. The
plateaus up there are iso-score: ties everywhere, so acceptance no longer
depends on temperature at all, and cranking the heat instead of climbing
just randomizes the board, which then never finds its way back to record
territory. Replicas launched from a top board plateau at the seed's score,
every chain, every ladder we tried. Tempering moves you between hills; it
does not repeal the rigidity wall.