{"id":"0bb7209a-7751-45b1-b092-c2c73338192f","arxiv_id":"2607.18070","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":9.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Brownian loop-catchers are the unique random subsets of a Brownian excursion that, when decorated by an independent loop soup of intensity -c/2, recover the excursion; they interpolate between LERW and Brownian trace.","lead":"This paper constructs Brownian loop-catchers: random connected subsets of planar Brownian motion that interpolate between loop-erased random walk and the full Brownian trace, one for each central charge in [-2,0). It proves their outer boundaries are SLE curves with parameter 2 to 8/3, and that no such object exists below c=-2.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the Green-function injectivity lemma is sound, and the central 2D theorem is well supported by the finite-graph nonnegativity proof and the convergence machinery.","rationale":"The reader correctly identifies Lemma 4.4 as the hinge of full-trace uniqueness, but the concern that two distinct continua could share all Green-function coordinates is resolved by the proof in the paper. The argument does not require the domain to be simply connected; it only uses the standard facts that nondegenerate planar continua have positive logarithmic capacity and that irregular boundary points of a bounded domain have capacity zero. I checked the logical steps: the choice of z, the dichotomy between interior and dense complement, the identification of the component V, the extension of coordinate equality by density and continuity, and the final contradiction at a regular boundary point. All are valid. Beyond this, the finite-graph nonnegativity theorem is supported by an explicit construction (entangled multipath LERW) and a pure-birth transport argument; the convergence section uses standard random-walk and loop-soup convergence inputs; and the nonexistence for λ>1 is backed by a concrete three-state counterexample and by published radial restriction results. The only caveats are the explicitly deferred 3D extension and some 'in preparation' references, which do not bear on the central 2D theorem. Therefore the reader's CONDITIONAL verdict remains appropriate: the central claim is acceptable, but full acceptance may reasonably wait for the completion of the deferred 3D and related projects.","tokens_in":37660,"tokens_out":29382,"duration_ms":297203,"concrete_test":"Verify the one nonstandard input in Lemma 4.4 by checking whether Kellogg's theorem, as cited, applies to the possibly non-simply connected component V of D\\K2. Concretely, consult the potential-theory source (e.g., Armitage–Gardiner) for the statement that irregular boundary points of a bounded domain form a polar set of zero capacity, without assuming simple connectivity. If the theorem is confirmed for arbitrary bounded domains, the injectivity proof is complete; if it only holds for nicely bounded domains, a replacement argument for wild continua would be needed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest assumption, Lemma 4.4, is the natural point to scrutinize, but on careful reading the injectivity argument holds. If two distinct continua K1,K2 had the same Green-function coordinates on a countable dense set, the proof chooses an interior point z in K2\\K1 and a disk B avoiding K1. The connectedness of K2 and the boundary-bumping theorem produce a nondegenerate continuum J in K2∩B of positive logarithmic capacity. If K2∩B has interior, a rational point inside that interior and a rational point in B\\K2 immediately give a zero coordinate in U2 and a positive coordinate in U1. Otherwise B\\K2 is dense, and equality of the dense-pair Green functions forces all of B\\K2 to lie in one component V of D\\K2, with J⊂∂V. Since J has positive capacity, Kellogg's theorem gives a regular boundary point ξ∈J; the V-Green function tends to 0 at ξ while the U1-Green function tends to a positive value, a contradiction. This is a valid capacity-theoretic argument, and connectedness rules out the only plausible counterexample of a zero-capacity difference. I therefore find no load-bearing gap in the central 2D construction: the finite-graph nonnegativity proof is parameter-free, the convergence uses standard published inputs, and the nonexistence for λ>1 is supported by a concrete finite-graph counterexample plus the radial-probe argument from [Qia21]. The 3D claim is explicitly deferred and does not affect Theorem 1.1.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":38050,"tokens_out":30804,"duration_ms":327730,"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.","major_comments":[],"minor_comments":[{"comment":"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.","section":"§1.5, Eq. (1.11)"},{"comment":"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).","section":"§4.2, proof of Theorem 1.6"},{"comment":"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.","section":"§5.1, Lemma 5.2"},{"comment":"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.","section":"Abstract and §1.7"}],"recommendation":"minor_revision","confidential_remarks":"The core 2D results appear sound and are supported by detailed proofs. The main concern is the advertised 3D theorem, which is not proved in this manuscript; this should be handled editorially, either by requiring the authors to label it clearly as an announcement or by verifying that the journal accepts such announced results. I do not see a load-bearing gap in Theorem 1.1 or its proof."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: read this if you work on SLE, loop soups, or LERW. The central object, the λ-Brownian loop-catcher for 0<λ≤1, is genuinely new, and the main 2D theorem is proved rather than conjectured. The finite-graph construction is the real engine: a triangular linear system whose solution is shown nonnegative for λ∈[0,1] via the entangled multipath LERW and a pure-birth evolution. The continuum limit is handled with care—tightness, loop-mass stability, and the Green function test, which converts the recovery property into all mixed moments of Green functions and then separates full traces. The stress-test concern about Lemma 4.4 does not land: the injectivity argument via Kellogg’s theorem and boundary bumping is sound, and the finite-graph counterexample plus radial-probe argument supports nonexistence for λ>1.\n\nThe payoff is substantial. The paper proves the chordal 2D version of the SS18 conjecture, gives a unique characterization of the law, and identifies the outer boundary as SLEκ. That puts SLEκ-type curves inside Brownian traces for every κ∈[2,8/3], which is exactly the headline claim.\n\nSoft spots, in proportion. The 3D uniqueness theorem (1.11) is only a sketch and explicitly deferred to [CLS26]; the paper is honest about this, but a referee should not treat 3D as established. There is also a cluster of 'in preparation' citations—[CLS26], [CLQ+26], [Qia26], [BS26]—used at various points. The main 2D chain appears to rest on published inputs, but Theorem 1.7’s reliance on [Qia21] and Theorem 1.8’s on [SS18] plus [BS26] should be checked carefully. None of this undermines the 2D core. The one-point density is derived in detail and is consistent with the stated phase transition at λ=1.\n\nWho it is for: probabilistic conformal geometry, SLE restriction, loop soups, LERW. It deserves a full, serious referee and will probably need a long report. I would send it out.","headline":"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.","tokens_in":38501,"tokens_out":3013,"would_cite":true,"duration_ms":31466,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60J67","60J65","60D05"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["Brownian loop-catcher","Brownian loop soup","loop-erased random walk","SLE","negative central charge","Green function test","conformal restriction","entangled multipath LERW"],"falsifier":"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.","tokens_in":37562,"feed_emoji":"🔄","tokens_out":12923,"duration_ms":98104,"temperature":0.7,"pith_summary":"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.","feed_headline":"Loop-catchers uniquely interpolate Brownian trace and LERW","feed_subtitle":"Adding a loop soup to each set must reproduce the Brownian excursion; this pins the law uniquely for c in [-2,0).","key_machinery":"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","core_discovery":"The paper defines the lambda-Brownian loop-catcher for 0