Loop-Catcher Playground

Demonstrating "The Brownian loop-catcher" (arXiv:2607.18070, Gefei Cai). The paper defines a random closed subset of a planar Brownian trace — the loop-catcher — that interpolates between the continuum loop-erased random walk (LERW) and the full Brownian trace. Its central result: independently re-adding a Brownian loop soup of intensity −c/2 (loops that intersect the loop-catcher) reconstructs the original trace exactly — but only for central charge c ∈ [−2, 0); the paper proves this provably fails below c = −2. It also shows the loop-catcher's outer boundary is locally an SLEκ-type curve. Below: Panel 1 runs the classic stack-based loop-erasure algorithm live on a discrete random walk (the paper's own construction starts from lattice random walks before passing to the continuum), then lets you slide central charge to watch loops get re-admitted from bare skeleton back to the full trace — with the boundary of whatever is currently shown traced in gold. Panel 2 is a separate, honest illustration of the "boundary is SLE" claim: a synthetic SLEκ curve generated from scratch with a real RK4 integrator of the Loewner differential equation, driven by √κ·B(t), for κ swept across the paper's stated range [2, 8/3].

1. Loop-erasure & loop-soup recovery

A discrete random walk (grey) is loop-erased live via the classic stack algorithm into a self-avoiding skeleton (red). Slide the central charge to re-admit erased loops (cyan) — at c=−2 every loop comes back and the reconstruction exactly overlays the original walk.

c = 0.00
0.00
c < −2: outside the paper's proven recovery range — reconstruction is capped at the full trace and no longer represents a valid coupling.
Walk steps: — · skeleton length: — · loops erased: — · loops re-admitted: —
full Brownian trace (ground truth) LERW skeleton re-admitted loops outer boundary

2. Boundary as SLEκ: Loewner RK4 integrator

A from-scratch chordal SLE trace, generated by RK4-integrating the reversed Loewner flow dy/ds = −2/(y−W̃(s)) against a fresh driving Brownian motion W(t)=√κ·B(t). The paper shows the loop-catcher's outer boundary is locally SLEκ for every κ in [2, 8/3] — sweep the slider to feel the curve go from near-straight (κ=2, the LERW scaling limit itself) to visibly rougher (κ=8/3, the self-avoiding-walk exponent).

κ = 2.000
Fractal (Hausdorff) dimension of curve: 1.000  (1 + κ/8)
SLEκ trace, upper half-plane real axis (domain boundary)