REVIEW 4 minor 46 references
A unique random set, for each central charge in [-2,0), recovers the Brownian excursion when decorated by loop soup, interpolating between LERW and Brownian motion.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-01 16:11 UTC pith:SJNXKQAM
load-bearing objection Genuinely new 2D construction that holds up: Brownian loop-catchers give the negative-central-charge continuation of loop-soup clusters, prove the chordal SS18 characterization, and extract SLEκ for κ∈[2,8/3] from Brownian traces; send it to a serious referee.
The Brownian loop-catcher
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper defines the lambda-Brownian loop-catcher for 0<lambda<=1 as the unique probability law on compact connected sets K in D with K intersecting the boundary exactly at two marked points a and b, satisfying the avoidance identity E[1{K∩A=empty} exp(-lambda m_D(K,A))] = P[Brownian excursion avoids A] for every compact A. This identity says that decorating K by an independent Brownian loop soup of intensity lambda reproduces the Brownian excursion trace. The existence is proven by constructing the analogous random-walk loop-catcher on finite graphs and passing to lattice limits; the uniqueness is proven by showing that the recovery property determines all mixed moments of Green functions
What carries the argument
The central object is the Brownian loop-catcher, a random connected set pinned down by the recovery identity: adding an independent loop soup of intensity lambda must reproduce the Brownian excursion trace. The proof machinery has two gears: (1) the entangled multipath LERW, a chronological loop-erasure construction that, when decorated by a single intensity-one loop soup, recovers a union of independent paths—this yields the nonnegative inverse of the loop-decoration operator at lambda=1, extended to lambda in [0,1] by a pure-birth evolution; (2) the Green function test, which uses continuum limits of these multipath probes to convert the recovery identity into all mixed moments of Green fu
Load-bearing premise
The uniqueness of the Brownian loop-catcher rests on the injectivity lemma asserting that a compact connected set is fully determined by the Green functions of its complement on a countable dense set of point pairs; if two different such sets shared all those Green functions, the entire characterization would collapse.
What would settle it
Find two distinct compact connected sets in a bounded Jordan domain, each with endpoints a and b, such that the Green functions of their complements agree for all points in a countable dense set; this would falsify the injectivity lemma and with it the uniqueness half of the main theorem.
If this is right
- For every central charge -2 ≤ c < 0, there is a random connected set in any Jordan domain that is the unique 'inverse' of the Brownian loop soup decoration: decorating it with an independent loop soup of intensity -c/2 yields the Brownian excursion trace.
- The outer boundary of the Brownian loop-catcher is locally SLE_kappa, so a single planar Brownian trace contains an SLE_kappa-type curve for every kappa in [2, 8/3]—previously known only for kappa=8/3 and kappa=2.
- The one-point density of a lambda-loop-catcher is asymptotically C |log epsilon|^{-1-lambda}, giving Hausdorff dimension 2 and a phase transition as lambda approaches 1, where the exponent changes to epsilon^{3/4} for chordal SLE2.
- The loop-erased property characterizes chordal SLE2: it is the unique simple curve whose loop-soup decoration reproduces the Brownian excursion in a Jordan domain, solving the chordal 2D case of a conjecture of Sapozhnikov and Shiraishi.
- No Brownian loop-catcher exists for central charge c < -2; the interval [-2,0) is the maximal range.
Where Pith is reading between the lines
- If the Green function test is as robust as suggested, the same characterization should apply to radial and trichordal restriction measures, giving uniqueness of generalized conformal restriction for negative central charge without simple-connectedness assumptions.
- The 3D sketch implies that the law of the 3D LERW scaling limit might be characterized intrinsically by the loop-erased property, which would give a lattice-free route to rotational and inversion invariance, and potentially to new universality results for the uniform spanning tree.
- The pure-birth coupling in lambda suggests a monotone family of random sets from Brownian trace (lambda=0) to LERW (lambda=1); a concrete continuum 'partial loop-erasure' operation, if discovered, would provide the missing algorithmic interpretation of the interpolation.
- The one-point density exponent -1-lambda might be the first member of a family of 'negative-charge' multifractal exponents for loop-catchers, analogous to those computed for loop soup clusters at positive central charge.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a family of random connected compact sets K in a bounded Jordan domain D joining two boundary points a,b, called λ-Brownian loop-catchers. For 0<λ≤1 (equivalently central charge c=-2λ in [-2,0)), the law is characterized by the recovery property (1.3): the expectation of the avoidance indicator of K against a compact set A, weighted by exp(-λ m_D(K,A)), equals the Brownian excursion avoidance probability. Decorating K by an independent intensity-λ Brownian loop soup recovers the Brownian excursion trace. The central theorems are: existence and uniqueness of the Brownian loop-catcher, its convergence from random-walk loop-catchers on finite graphs (Theorem 1.4), full-trace uniqueness via a Green-function test (Theorem 1.5), identification of the outer boundary with two SLE_κ-type curves for κ∈[2,8/3) (Theorem 1.7), nonexistence for λ>1, and a one-point intersection probability of order |log ε|^{-1-λ} (Theorem 1.2). The finite-graph construction is based on a new entangled multipath LERW and a pure-birth generator argument establishing nonnegativity of the solution for λ∈[0,1]. A three-dimensional uniqueness result (1.11) is also stated, but only sketched, with full details deferred to a future paper.
Significance. If the main theorems are correct, this is a substantial and likely influential contribution. It gives the first probabilistic construction of the negative-central-charge continuation of Brownian loop-soup clusters, provides SLE_κ curves for every κ∈[2,8/3) inside a Brownian excursion, and proves the two-dimensional chordal case of the Sapozhnikov–Shiraishi loop-erased characterization. The finite-graph solution is parameter-free and the nonnegativity proof is detailed; the convergence machinery and the Green-function injectivity lemma (Lemma 4.4) are well supported. The Green-function test is a new tool that goes beyond filling hulls and characterizes full traces; it is likely to be reused in other contexts. The main risk to the advertised scope is the three-dimensional claim, which is not fully proved here, but this does not affect the 2D central theorem.
minor comments (4)
- [§1.5, Eq. (1.11)] The three-dimensional uniqueness theorem is stated as a displayed result but the text explicitly says 'Here we sketch the proof' and 'We will provide complete details in our future work [CLS26]'. As written, this is an announcement, not a theorem proved in this paper. I recommend either proving the result or clearly labeling (1.11) as a conjecture/announcement and adjusting the abstract's claim that 'The Green function test also extends to the three-dimensional case' so that readers are not misled about what is established here.
- [§4.2, proof of Theorem 1.6] The step 'By Proposition 4.5 and taking the hulls of boundary probes, we have (4.12)' is too compressed. It would help to state explicitly why replacing a boundary probe by its filling hull does not change the test function for two-sided or one-sided hulls (for instance, that Brownian loops cannot enter a bounded complementary component without crossing the probe).
- [§5.1, Lemma 5.2] The use of the SLEκ loop measure for κ<8/3 (negative central charge) is central to Theorem 1.2. The paper cites [Zha21, Theorem 5.1], but it would improve readability to add a sentence confirming that the cited result covers the full range κ∈(2,8/3) used here, including negative central charge.
- [Abstract and §1.7] The phrase 'a planar Brownian trace contains an SLEκ-type curve' could be misread as an almost-sure statement for every sample. The precise statement in Theorem 1.7 is about a coupling, i.e., there is a coupling in which the SLE-type curve is a subset of the Brownian excursion. I suggest making this explicit in the abstract or introduction.
Circularity Check
No significant circularity: the central 2D theorem is self-contained; minor self-citations are not load-bearing.
full rationale
The central derivation chain is self-contained and non-circular. Theorem 1.1 is an existence/uniqueness statement for the solution of the defining equation (1.3); the paper does not assume that solution into existence. Existence is obtained by solving the finite triangular system (1.7), proving nonnegativity via the entangled multipath LERW identities (Lemmas 2.3, 2.9) and a pure-birth transport (Proposition 2.6), then passing to lattice limits using standard inputs from [KL05, LTF07, LL10] (Propositions 3.8, 3.10). The uniqueness Theorem 1.5 is an independent injectivity statement: it constructs interior probes (Proposition 4.2) whose avoidance expectations are products of Green ratios, and proves the Green-coordinate map is injective on continua by a capacity/Kellogg argument (Lemma 4.4). None of these steps assumes the target law. The boundary/SLE identification (Theorem 1.7) compares the hull of the constructed object with the independently known restriction hulls of [Dub05, Qia21]; it does not rely on this paper's own conclusions. The only self-citations, [CG26] and the future-work paper [CLS26], are not load-bearing for Theorem 1.1: [CG26] is mentioned only as context/extension and for a side remark on joint boundary laws, while the 3D proof is explicitly deferred to [CLS26], a stated limitation rather than a circular step. No fitted parameter is relabeled as a prediction; the constants in Theorem 1.2 are derived, not fitted. The score 1 reflects the presence of minor non-load-bearing self-citations, not any actual circularity.
Axiom & Free-Parameter Ledger
axioms (6)
- standard math Brownian loop measure and loop soup properties: conformal covariance, loop-mass formula, loop-soup coupling [LW04, LTF07].
- standard math Existence and conformal restriction properties of SLE loop measures [Zha21].
- standard math Generalized radial restriction samples [Qia21, Theorem 1.6].
- standard math SLE(κ,ρ) hull restriction properties [Dub05, Qia21, Proposition 6.2].
- standard math Standard LERW identities and chronological loop-erasure record bijection [Law18, Hel16].
- standard math Kellogg's theorem, regularity of boundary points, and logarithmic capacity facts.
invented entities (2)
-
λ-Brownian loop-catcher K^{D;a,b}_λ
independent evidence
-
Entangled multipath LERW
independent evidence
read the original abstract
We introduce a family of random connected closed subsets of planar Brownian motion, called Brownian loop-catchers, which interpolate between the continuum loop-erased random-walk (LERW) and the Brownian trace. This provides the canonical continuation of Brownian loop soup clusters to central charges $-2\le c<0$. For each such $c$, the corresponding loop-catcher satisfies the following recovery property: adding all loops from an independent Brownian loop soup of intensity $-c/2$ that intersect it recovers the Brownian trace. Furthermore, no such law exists for $c<-2$. We also show that its outer boundary is locally SLE$_\kappa$ with $\kappa = \frac{1}{3}\left(13 - c - \sqrt{(1-c)(25-c)}\right)\in[2,\frac83)$, and the probability that it intersects an interior ball of radius $\varepsilon$ is asymptotically proportional to $|\log\varepsilon|^{-1+\frac{c}{2}}$ when $-2<c<0$. Therefore, a planar Brownian trace contains an SLE$_\kappa$-type curve for every $\kappa\in[2,\frac83]$. Our construction begins with a random-walk loop-catcher on any finite graph, whose law is determined by a finite linear system. We prove that its solution is nonnegative for $-2\leq c<0$, while nonnegativity can fail for $c<-2$. The key ingredient is a new entangled multipath LERW, which recovers a union of independent random-walk paths when decorated with a single common random-walk loop soup. We then prove that the random-walk loop-catcher converges to the Brownian loop-catcher under lattice approximations. To this end, we propose a novel Green function test which converts the recovery property of the Brownian loop-catcher into all mixed moments of Green functions in the remaining domain, based on the entangled multipath LERW. Consequently, the recovery property characterizes the full law of the Brownian loop-catcher, not only its filling. The Green function test also extends to the three-dimensional case.
Reference graph
Works this paper leans on
-
[1]
Armitage and Stephen J
David H. Armitage and Stephen J. Gardiner. Classical Potential Theory . Springer, 2001
2001
-
[2]
Reconstructing planar brownian motion from SLE_2 and B rownian loop-soups
Valeria Ambrosio. Reconstructing planar brownian motion from SLE_2 and B rownian loop-soups. Master's thesis, ETH Z \"u rich, 2020
2020
-
[3]
The dimension of the SLE curves
Vincent Beffara. The dimension of the SLE curves. Ann. Probab. , 36(4):1421--1452, 2008
2008
-
[4]
N. H. Bingham, C. M. Goldie, and J. L. Teugels. Regular variation , volume 27 of Encyclopedia of Mathematics and its Applications . Cambridge University Press, 1987
1987
-
[5]
The CFT of SLE loop measures and the Kontsevich--Suhov conjecture
Guillaume Baverez and Antoine Jego. The CFT of SLE loop measures and the Kontsevich--Suhov conjecture . arXiv preprint arXiv:2407.09080 , 2024
Pith/arXiv arXiv 2024
-
[6]
Brownian paths as loop-decorated SLE s
Nathana \"e l Berestycki and Isao Sauzedde. Brownian paths as loop-decorated SLE s. arXiv preprint arXiv:2602.04673 , 2026
arXiv 2026
-
[7]
Disconnection probability of Brownian motion on an annulus
Gefei Cai, Xuesong Fu, Xin Sun, and Zhuoyan Xie. Disconnection probability of Brownian motion on an annulus. arXiv preprint arXiv:2509.14073 , 2025
arXiv 2025
-
[8]
Uniqueness of generalized conformal restriction measures and Malliavin--Kontsevich--Suhov measures for c (0,1]
Gefei Cai and Yifan Gao. Uniqueness of generalized conformal restriction measures and Malliavin--Kontsevich--Suhov measures for c (0,1] . Ann. Probab. , 54(4):2149--2172, 2026
2026
-
[9]
Exact solvability of Brownian loop soup via SLE and LQG
Gefei Cai, Jiaqi Liu, Wei Qian, Xin Sun, and Baojun Wu. Exact solvability of Brownian loop soup via SLE and LQG . In preparation , 2026
2026
-
[10]
In preparation , 2026
Gefei Cai, Xinyi Li, and Daisuke Shiraishi. In preparation , 2026
2026
-
[11]
Intersection probabilities for planar B rownian motions
Gefei Cai and Zhuoyan Xie. Intersection probabilities for planar B rownian motions. In preparation , 2026
2026
-
[12]
SLE ( , ) martingales and duality
Julien Dub\' e dat. SLE ( , ) martingales and duality. Ann. Probab. , 33(1):223--243, 2005
2005
-
[13]
Field and Gregory F
Laurence S. Field and Gregory F. Lawler. Reversed radial SLE and the B rownian loop measure. J. Stat. Phys. , 150(6):1030--1062, 2013
2013
-
[14]
Infinitesimal conformal restriction and unitarizing measures for V irasoro algebra
Maria Gordina, Wei Qian, and Yilin Wang. Infinitesimal conformal restriction and unitarizing measures for V irasoro algebra. J. Math. Pures Appl. (9) , 195:Paper No. 103669, 24, 2025
2025
-
[15]
Loop-weighted walk
Tyler Helmuth. Loop-weighted walk. Ann. Inst. Henri Poincar\'e D , 3(1):55--119, 2016
2016
-
[16]
Sara \'i Hern \'a ndez-Torres, Xinyi Li, and Daisuke Shiraishi. Sharp one-point estimates and M inkowski content for the scaling limit of three-dimensional loop-erased random walk. arXiv preprint arXiv:2403.07256 , 2024
arXiv 2024
-
[17]
Conformally invariant fields out of brownian loop soups
Antoine Jego, Titus Lupu, and Wei Qian. Conformally invariant fields out of brownian loop soups. arXiv preprint arXiv:2307.10740 , 2023
Pith/arXiv arXiv 2023
-
[18]
Kozdron and Gregory F
Michael J. Kozdron and Gregory F. Lawler. Estimates of random walk exit probabilities and application to loop-erased random walk. Electron. J. Probab. , 10:1442--1467, 2005
2005
-
[19]
The scaling limit of loop-erased random walk in three dimensions
Gady Kozma. The scaling limit of loop-erased random walk in three dimensions. Acta Math. , 199(1):29--152, 2007
2007
-
[20]
Gregory F. Lawler. Topics in loop measures and the loop-erased walk. Probability Surveys , 15:28--101, 2018
2018
-
[21]
Lawler and Vlada Limic
Gregory F. Lawler and Vlada Limic. Random Walk: A Modern Introduction , volume 123 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, 2010
2010
-
[22]
Lawler and Mohammad A
Gregory F. Lawler and Mohammad A. Rezaei. Minkowski content and natural parameterization for the S chramm- L oewner evolution. Ann. Probab. , 43(3):1082--1120, 2015
2015
-
[23]
The H \"o lder continuity of the scaling limit of three-dimensional loop-erased random walk
Xinyi Li and Daisuke Shiraishi. The H \"o lder continuity of the scaling limit of three-dimensional loop-erased random walk. Electron. J. Probab. , 27:1--37, 2022
2022
-
[24]
Convergence of three-dimensional loop-erased random walk in the natural parametrization
Xinyi Li and Daisuke Shiraishi. Convergence of three-dimensional loop-erased random walk in the natural parametrization. Probab. Theory Related Fields , 191(1-2):421--521, 2025
2025
-
[25]
Conformal restriction: the chordal case
Gregory Lawler, Oded Schramm, and Wendelin Werner. Conformal restriction: the chordal case. J. Amer. Math. Soc. , 16(4):917--955, 2003
2003
-
[26]
Lawler, Oded Schramm, and Wendelin Werner
Gregory F. Lawler, Oded Schramm, and Wendelin Werner. Conformal invariance of planar loop-erased random walks and uniform spanning trees. Ann. Probab. , 32(1B):939--995, 2004
2004
-
[27]
Lawler and Jos \'e A
Gregory F. Lawler and Jos \'e A. Trujillo Ferreras. Random walk loop soup. Transactions of the American Mathematical Society , 359(2):767--787, 2007
2007
-
[28]
Lawler and Fredrik Viklund
Gregory F. Lawler and Fredrik Viklund. Convergence of loop-erased random walk in the natural parameterization. Duke Math. J. , 170(10):2289--2370, 2021
2021
-
[29]
Lawler and Wendelin Werner
Gregory F. Lawler and Wendelin Werner. The B rownian loop soup. Probab. Theory Related Fields , 128(4):565--588, 2004
2004
-
[30]
Theory of Random Sets , volume 87 of Probability Theory and Stochastic Modelling
Ilya Molchanov. Theory of Random Sets , volume 87 of Probability Theory and Stochastic Modelling . Springer, London, 2nd ed., 2017
2017
-
[31]
Sam B. Nadler. Continuum Theory: An Introduction , volume 158 of Monographs and Textbooks in Pure and Applied Mathematics . Marcel Dekker, 1992
1992
-
[32]
Conformal restriction: the trichordal case
Wei Qian. Conformal restriction: the trichordal case. Probab. Theory Related Fields , 171(3-4):709--774, 2018
2018
-
[33]
Generalized disconnection exponents
Wei Qian. Generalized disconnection exponents. Probab. Theory Related Fields , 179(1):117--164, 2021
2021
-
[34]
Coupling Brownian loop soups and random walk loop soups at all polynomial scales
Wei Qian. Coupling Brownian loop soups and random walk loop soups at all polynomial scales. arXiv preprint arXiv:2601.02992 , 2026
Pith/arXiv arXiv 2026
-
[35]
T. Radó. Sur la représentation conforme de domaines variables. Acta Litt. Sci. Regiae Univ. Hungaricae Francisco-Josephinae, Sect. Sci. Math. , 1:180--186, 1923
1923
-
[36]
Scaling limits of loop-erased random walks and uniform spanning trees
Oded Schramm. Scaling limits of loop-erased random walks and uniform spanning trees. Israel J. Math. , 118:221--288, 2000
2000
-
[37]
Growth exponent for loop-erased random walk in three dimensions
Daisuke Shiraishi. Growth exponent for loop-erased random walk in three dimensions. Ann. Probab. , 46(2):687--774, 2018
2018
-
[38]
Hausdorff dimension of the scaling limit of loop-erased random walk in three dimensions
Daisuke Shiraishi. Hausdorff dimension of the scaling limit of loop-erased random walk in three dimensions. Ann. Inst. H. Poincar\'e Probab. Statist. , 55(2):791--834, 2019
2019
-
[39]
On B rownian motion, simple paths, and loops
Artem Sapozhnikov and Daisuke Shiraishi. On B rownian motion, simple paths, and loops. Probab. Theory Related Fields , 172(3-4):615--662, 2018
2018
-
[40]
Conformal loop ensembles: the M arkovian characterization and the loop-soup construction
Scott Sheffield and Wendelin Werner. Conformal loop ensembles: the M arkovian characterization and the loop-soup construction. Ann. of Math. (2) , 176(3):1827--1917, 2012
1917
-
[41]
Fedorenko
Kay J \"o rg Wiese and Andrei A. Fedorenko. Field theories for loop-erased random walks. Nuclear Phys. B , 946:114696, 2019
2019
-
[42]
David B. Wilson. The dimension of loop-erased random walk in three dimensions. Phys. Rev. E , 82(6):062102, 2010
2010
-
[43]
Conformal restriction: the radial case
Hao Wu. Conformal restriction: the radial case. Stochastic Process. Appl. , 125(2):552--570, 2015
2015
-
[44]
From CLE ( ) to SLE ( , ) 's
Wendelin Werner and Hao Wu. From CLE ( ) to SLE ( , ) 's. Electron. J. Probab. , 18:no. 36, 20, 2013
2013
-
[45]
Loop-erasure of planar B rownian motion
Dapeng Zhan. Loop-erasure of planar B rownian motion. Comm. Math. Phys. , 303(3):709--720, 2011
2011
-
[46]
S LE loop measures
Dapeng Zhan. S LE loop measures. Probab. Theory Related Fields , 179(1-2):345--406, 2021
2021
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.