Pith. sign in

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.

arxiv 2607.18070 v1 pith:SJNXKQAM submitted 2026-07-20 math.PR math-phmath.MP

The Brownian loop-catcher

classification math.PR math-phmath.MP MSC 60J6760J6560D05
keywords Brownian loop-catcherBrownian loop souploop-erased random walkSLEnegative central chargeGreen function testconformal restrictionentangled multipath LERW
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper establishes a canonical one-parameter family of random connected sets, the Brownian loop-catchers, that fills the gap between the loop-erased random walk and the trace of Brownian motion. For every central charge c in [-2,0), there is a unique law on compact connected sets joining two boundary points of a Jordan domain such that adding all loops of an independent Brownian loop soup of intensity -c/2 that intersect the set recovers the full Brownian excursion trace. The recovery property is strong enough to determine the entire law of the set, not just its hull, via a novel Green function test. The paper also proves that no such law exists for c<-2, that the outer boundary of the set is locally SLE_kappa with kappa in [2,8/3), and that the probability of hitting a small ball decays like a power of log epsilon, undergoing a phase transition at c=-2. If correct, this gives the first Brownian construction of SLE curves with kappa in [2,8/3) inside a Brownian trace.

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.

Watch this falsifier — get emailed when new claim-graph text bears on it.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 4 minor

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. [§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.
  2. [§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).
  3. [§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.
  4. [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

0 steps flagged

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

0 free parameters · 6 axioms · 2 invented entities

No numbers are fitted. The only parameters are the theorem variables c, λ and the derived value of κ. The construction rests on standard loop-measure and SLE machinery plus explicit finite-graph constructions; the two new objects are introduced with characterizing identities rather than assumed into existence.

axioms (6)
  • standard math Brownian loop measure and loop soup properties: conformal covariance, loop-mass formula, loop-soup coupling [LW04, LTF07].
    Used throughout Sections 2-3, e.g. Lemma 2.1 and Proposition 3.8.
  • standard math Existence and conformal restriction properties of SLE loop measures [Zha21].
    Used in Section 5 for the one-point density, particularly equation (5.1).
  • standard math Generalized radial restriction samples [Qia21, Theorem 1.6].
    Used in Lemma 4.7 to prove non-existence for λ>1.
  • standard math SLE(κ,ρ) hull restriction properties [Dub05, Qia21, Proposition 6.2].
    Used in Theorem 1.7 to identify the outer boundary of the loop-catcher with SLEκ.
  • standard math Standard LERW identities and chronological loop-erasure record bijection [Law18, Hel16].
    Foundation of Section 2.4, especially equations (2.2)-(2.3) and the entangled multipath LERW.
  • standard math Kellogg's theorem, regularity of boundary points, and logarithmic capacity facts.
    Used in Lemma 4.4 to prove injectivity of Green-function coordinates.
invented entities (2)
  • λ-Brownian loop-catcher K^{D;a,b}_λ independent evidence
    purpose: Random compact connected set whose loop-soup decoration recovers the Brownian excursion; interpolates between LERW and Brownian trace.
    Not assumed: existence is proved by finite-graph construction plus lattice limits, and the law is uniquely characterized by the recovery identity (1.3).
  • Entangled multipath LERW independent evidence
    purpose: Random set formed from multiple independent paths by retaining erased loops that intersect earlier retained components; provides the nonnegative inverse at λ=1 and the continuum probes.
    Explicitly constructed in Section 2.4 and satisfies the characterizing identity (2.10) and Lemma 2.10, so it is not a postulated black box.

pith-pipeline@v1.3.0-alltime-deepseek · 37342 in / 11811 out tokens · 117731 ms · 2026-08-01T16:11:12.487926+00:00 · methodology

0 comments
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.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

46 extracted references · 3 linked inside Pith

  1. [1]

    Armitage and Stephen J

    David H. Armitage and Stephen J. Gardiner. Classical Potential Theory . Springer, 2001

  2. [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

  3. [3]

    The dimension of the SLE curves

    Vincent Beffara. The dimension of the SLE curves. Ann. Probab. , 36(4):1421--1452, 2008

  4. [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

  5. [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

  6. [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

  7. [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

  8. [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

  9. [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

  10. [10]

    In preparation , 2026

    Gefei Cai, Xinyi Li, and Daisuke Shiraishi. In preparation , 2026

  11. [11]

    Intersection probabilities for planar B rownian motions

    Gefei Cai and Zhuoyan Xie. Intersection probabilities for planar B rownian motions. In preparation , 2026

  12. [12]

    SLE ( , ) martingales and duality

    Julien Dub\' e dat. SLE ( , ) martingales and duality. Ann. Probab. , 33(1):223--243, 2005

  13. [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

  14. [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

  15. [15]

    Loop-weighted walk

    Tyler Helmuth. Loop-weighted walk. Ann. Inst. Henri Poincar\'e D , 3(1):55--119, 2016

  16. [16]

    Sharp one-point estimates and M inkowski content for the scaling limit of three-dimensional loop-erased random walk

    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

  17. [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

  18. [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

  19. [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

  20. [20]

    Gregory F. Lawler. Topics in loop measures and the loop-erased walk. Probability Surveys , 15:28--101, 2018

  21. [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

  22. [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

  23. [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

  24. [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

  25. [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

  26. [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

  27. [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

  28. [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

  29. [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

  30. [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

  31. [31]

    Sam B. Nadler. Continuum Theory: An Introduction , volume 158 of Monographs and Textbooks in Pure and Applied Mathematics . Marcel Dekker, 1992

  32. [32]

    Conformal restriction: the trichordal case

    Wei Qian. Conformal restriction: the trichordal case. Probab. Theory Related Fields , 171(3-4):709--774, 2018

  33. [33]

    Generalized disconnection exponents

    Wei Qian. Generalized disconnection exponents. Probab. Theory Related Fields , 179(1):117--164, 2021

  34. [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

  35. [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

  36. [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

  37. [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

  38. [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

  39. [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

  40. [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

  41. [41]

    Fedorenko

    Kay J \"o rg Wiese and Andrei A. Fedorenko. Field theories for loop-erased random walks. Nuclear Phys. B , 946:114696, 2019

  42. [42]

    David B. Wilson. The dimension of loop-erased random walk in three dimensions. Phys. Rev. E , 82(6):062102, 2010

  43. [43]

    Conformal restriction: the radial case

    Hao Wu. Conformal restriction: the radial case. Stochastic Process. Appl. , 125(2):552--570, 2015

  44. [44]

    From CLE ( ) to SLE ( , ) 's

    Wendelin Werner and Hao Wu. From CLE ( ) to SLE ( , ) 's. Electron. J. Probab. , 18:no. 36, 20, 2013

  45. [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

  46. [46]

    S LE loop measures

    Dapeng Zhan. S LE loop measures. Probab. Theory Related Fields , 179(1-2):345--406, 2021