{"id":"7583dc05-63b5-4a02-9193-5afcaf0dec0f","arxiv_id":"2412.04005","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"SLE_kappa(rho) processes in the light cone regime on a sqrt(kappa)-LQG surface are a gluing of two trees encoded by a correlated alpha-stable Levy process with alpha = 1 - 2(rho+2)/kappa.","lead":"This paper proves that a self-intersecting variant of the Schramm-Loewner evolution (SLEκ(ρ) in the light cone regime) drawn on a random quantum surface can be encoded as a gluing of two trees described by a stable Lévy process. It completes a bridge to random planar maps, showing that bipolar oriented maps with large faces scale to the same SLE-on-quantum-surface object.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.6's uniqueness step invokes [22, Prop 5.10] with unverified hypotheses; if this fails, the excursion law and all main theorems are unsupported.","rationale":"The reader's weakest-assumption analysis correctly identifies the unverified application of [22, Proposition 5.10] in Theorem 3.6 as the most load-bearing gap. The paper's main theorem (Theorem 1.3) rests on Theorem 1.1, which rests on the Poissonian structure of Theorem 4.1, which in turn depends on Lemma 4.5 (bubble independence) and hence on the excursion law of Theorem 3.6. Without a valid uniqueness argument for the resampling property, the conditional law of the excursion is not established, and the entire mating-of-trees representation is unsupported. This is a genuine gap, not a sign of falsehood: the rest of the argument is a serious adaptation of [5], and the claimed result may well be true. The concern is concrete and checkable: one needs to audit the hypotheses of [22, Proposition 5.10] for the specific curves constructed. The reader's CONDITIONAL verdict is appropriate; I would not change it. I do not elevate the KPZ-localization issue in Corollary 1.4 to the primary concern because that step is a consequence of the main theorem and appears fixable by a standard localization argument; the Theorem 3.6 gap is more fundamental.","tokens_in":41084,"tokens_out":10452,"duration_ms":93682,"concrete_test":"Verify line by line that the pair (η_L, η_R) constructed in Theorem 3.6, Step 3 satisfies the hypotheses of [22, Proposition 5.10] with θ2=−π and θ1=π. Compute the actual angles of η_L and η_R as flow lines of the GFF h|D using the boundary data of Step 1 and the interaction rules of [23, Theorem 1.7]; check whether the curves are entire flow lines rather than segments, and whether the resampling property proved in Step 3 matches the one in [22, Proposition 5.10] exactly, including the non-intersection condition. If the angles are not π and −π, or the curves are not full flow lines, Proposition 5.10 cannot be invoked and Theorem 3.6 requires a new uniqueness argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 3.6 is the linchpin of the paper: it identifies the conditional law of an SLEκ(ρ) excursion as SLEκ(ρ+2; κ−4−ρ), which Lemma 4.5 uses to establish bubble independence, and hence Theorems 4.1, 1.1, and 1.3. The proof's Step 4 asserts that the marginal law of (η_L, η_R) satisfies the hypotheses of [22, Proposition 5.10] with θ2=−π and θ1=π, so its law is uniquely determined. This assertion is not verified. In particular, the paper does not check (i) that η_L and η_R are full flow lines of a single GFF on the relevant domain with the required boundary data, rather than finite pieces of outer boundaries of counterflow lines; (ii) that the actual angles of these curves are π and −π (the text earlier identifies η_L and η_R as outer boundaries of counterflow lines of h±πχ/2, which suggests angles 0 and π, not π and −π); and (iii) that the resampling property proved in Step 3 coincides exactly with the one in [22, Proposition 5.10], including the condition that the flow lines do not intersect. If any of these fail, the uniqueness conclusion does not follow, so Theorem 3.6 is unsupported and the subsequent Poissonian structure of the paper collapses.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies SLE_kappa(rho) processes in the light cone regime, i.e. kappa in (0,4) and max(kappa/2-4,-2-kappa/2) < rho < -2, drawn on an independent sqrt(kappa)-LQG quantum wedge of weight rho+4. The main results are: (i) Theorem 1.1, saying that the collection of quantum surfaces cut off by the curve on the right has the law of a weight rho+2 wedge and that the curve is invariant under shifting by quantum natural time; (ii) Theorem 1.3, saying that the boundary length evolution (L,R) in quantum natural time is a correlated alpha-stable Levy process with alpha = 1 - 2(rho+2)/kappa, that L has only upward jumps, R only downward jumps, and that their jump times coincide, with a complete jump description in the case rho = kappa-4, kappa in (4/3,2); and (iii) Corollary 1.4, a formula for the Hausdorff dimension of eta cap R+. The proofs go through a reverse SLE/GFF coupling for rho<2 (Theorem 3.1), an excursion-law identification (Theorem 3.6), and a Poissonian analysis of the cut-out quantum surfaces (Section 4), with substantial reliance on the published monograph [5].","tokens_in":41309,"tokens_out":5346,"duration_ms":50847,"significance":"If the main results are correct, the paper provides a mating-of-trees representation for self-intersecting SLE_kappa(rho) curves in the light cone regime and connects them to the scaling limits of bipolar oriented random planar maps with large faces. The statements are concrete and falsifiable: Theorem 1.3 gives an explicit stable-Levy contour process, and Corollary 1.4 gives an explicit dimension formula. The paper does not rely on fitting parameters or numerical calibration; it builds on the published imaginary-geometry and LQG program of [5,21,24]. The main risk is not circularity but completeness: the proof of the excursion-law theorem, which is load-bearing for the Poissonian structure and hence for Theorems 1.1 and 1.3, contains an unverified uniqueness step.","major_comments":[{"comment":"The uniqueness step asserts that the marginal law of (eta_L, eta_R) satisfies the hypotheses of [22, Proposition 5.10] with theta_2 = -pi and theta_1 = pi, and therefore is uniquely determined. This assertion is not verified. In particular, the proof does not check that eta_L and eta_R are full flow lines of a single GFF on the relevant domain with the required boundary data, does not reconcile the claimed angles pi and -pi with the earlier identification in Step 2 of the relevant boundaries as outer boundaries of counterflow lines of h + pi chi/2 and h - pi chi/2, and does not verify that the resampling property proved in Step 3 coincides exactly with the one in [22, Proposition 5.10], including the non-intersection condition on the flow lines. Because Theorem 3.6 identifies the conditional excursion law as SLE_kappa(rho+2; kappa-4-rho), and because this identification is used in Lemma 4.5 (bubble independence) and hence in Theorem 4.1 and Theorems 1.1 and 1.3, this gap is load-bearing and must be closed by a detailed verification or a different argument.","section":"Section 3.2, Step 4 of proof of Theorem 3.6"},{"comment":"The proof applies the KPZ formula (4.6), quoted from [32, Theorem 4.1], to the random set eta cap R_+. As stated, [32] concerns deterministic sets, and the paper's absolute-continuity remark is only a sketch. Since eta is independent of h, the application can likely be justified by conditioning on eta and localizing to the sets eta cap R_+ cap [1/n,n], then using countable stability of Hausdorff dimension; but this argument is not written. Without such a localization argument, formula (1.6) is not rigorously established as it stands.","section":"Section 4.4, proof of Corollary 1.4"},{"comment":"Theorem 4.1 and Theorem 1.1 are proved by saying that the proof is 'essentially the same as' [5, Theorem 6.1] and 'follows the same argument as' [5, Theorem 6.16]. The new regime differs from [5] in ways that the paper itself acknowledges: the SLE_kappa(rho) curve is self-intersecting, and the force point need not lie on the boundary of the domain. The paper should state explicitly which steps of [5] carry over unchanged, which steps require the new input from Lemma 3.7 and Theorem 3.6, and why the self-intersections do not invalidate the zipping/unzipping and bubble-independence arguments. As written, the main theorem is delegated to a long published proof, making it difficult for the reader to isolate and check the genuinely new content.","section":"Section 4.2.4 and Section 4.3"}],"minor_comments":[{"comment":"The notation SLE_kappa(rho_1; rho_2) is used in Theorem 3.6 and elsewhere, but the two-force-point convention is only described informally in Section 2.4. A precise definition in the notation section would improve readability.","section":"Section 2.4.1"},{"comment":"The caption reads 'disconnects further disks'; this appears to be a typo for 'disconnects further disks' or 'cuts off further disks', and the sentence is slightly awkward.","section":"Section 1.2, Figure 1 caption"},{"comment":"The proof uses Theorem 3.2 for semimartingales with jumps, but the paper does not state the required integrability or cadlag assumptions on Z. Adding a precise hypothesis for the generalized Ito formula would make the argument easier to verify.","section":"Section 3.1, proof of Theorem 3.1"}],"recommendation":"major_revision","confidential_remarks":"The central concern is the proof of Theorem 3.6: it is the linchpin of the Poissonian structure, and the uniqueness step is asserted without verification. If the authors can supply the missing verification of the hypotheses of [22, Proposition 5.10], or replace that step with an equally rigorous argument, the paper is very likely publishable in a strong journal. The reliance on [5] is heavy, but it is reliance on published work rather than circularity; nonetheless, the authors should make explicit which parts of the argument are genuinely new and which are imported. The KPZ localization issue in Corollary 1.4 is likely fixable by a standard countable-union argument and should not by itself block publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this is a real advance in the SLE/LQG program, and I believe the main theorems are true, but there is one load-bearing step in Theorem 3.6 that the authors assert rather than verify, and the paper leans so heavily on [5] that the referee will need to check the adaptations carefully.\n\nWhat's genuinely new: the light cone regime (ρ ∈ (max(κ/2−4,−2−κ/2), −2)) is the last unexplored ρ range for SLEκ(ρ) on LQG, and the phenomena are genuinely different: the curves self-intersect, the boundary length process is a correlated α-stable Lévy process rather than Brownian, and the jumps of L and R coincide. The reverse coupling for eρ < 2 (Theorem 3.1) is a real extension of [35] and [5], achieved via the ϵ-Bessel approximation and a generalized Itô formula. That is the technical core that makes the rest possible. The paper is also honest about what it takes from [5]; the self-citations are to published work, not circular.\n\nThe soft spots, in order of concern:\n\nFirst, Theorem 3.6. The proof asserts that the marginal law of (η_L, η_R) satisfies the hypotheses of [22, Proposition 5.10] with θ2 = −π and θ1 = π, so its law is uniquely determined. No verification is given. This matters because the text earlier identifies η_L and η_R as outer boundaries of counterflow lines of h ± πχ/2, which would suggest angles 0 and π, not π and −π. The non-intersection condition is also not checked. If [22, Prop 5.10] does not apply, the excursion law identification is unsupported, and Lemma 4.5, Theorem 4.1, and the main theorems collapse. This is the one spot where I would not be surprised if an error lurks, and it needs a careful proof.\n\nSecond, the delegation to [5]. Theorem 4.1 is stated as 'essentially the same' as [5, Theorem 6.1], and the proof of Theorem 1.1 'follows the same argument' as [5, Theorem 6.16]. That is probably fine—the Bessel dimension is different and the self-intersections need handling—but the referee should verify that the differences are cosmetic.\n\nThird, Corollary 1.4 uses the KPZ formula for deterministic sets (Rhodes–Vargas) applied to η ∩ R+ without localizing at the marked points. This is likely fixable by conditioning away from 0 and ∞, but as written it is a gap.\n\nOn balance: the central construction is sound in outline, the new results are well-motivated, and the paper is clearly written by experts. The obstacle to acceptance is the unverified uniqueness claim in Theorem 3.6, not a fundamental flaw. I'd send it to peer review with a referee who knows [22] cold. If the gap closes, this is a top Annals/Acta-level contribution.","headline":"Genuinely new and likely correct, but Theorem 3.6's uniqueness step is asserted rather than proved, and the paper leans on [5] more than it admits.","tokens_in":41922,"tokens_out":2497,"would_cite":true,"duration_ms":21859,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60J67","60G52","60J55"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves a mating-of-trees representation for self-intersecting SLEκ(ρ) processes on Liouville quantum gravity, encoded by a correlated α-stable Lévy process.","keywords":["SLE_kappa(rho) processes","light cone regime","Liouville quantum gravity","quantum wedges","mating of trees","stable Levy processes","Bessel processes","bipolar oriented random planar maps"],"falsifier":"Take a concrete pair, for instance κ = 3/2 and ρ = κ − 4 = −5/2, simulate the Loewner driving pair from the Bessel process of dimension δ = 1 + 2(ρ + 2)/κ with the principal-value correction, and compare the empirical distribution of the boundary-length jumps (L, R) under quantum natural time with the paper's explicit prediction: a Poisson point process with intensity c du $t^{{−4/κ}}$ dt and a uniform split of each jump between coordinates. A mismatch in the joint jump distribution would refute the central claim; agreement would confirm it in that case.","tokens_in":40828,"feed_emoji":"📐","tokens_out":8865,"duration_ms":71868,"temperature":0.7,"pith_summary":"This paper claims that an SLEκ(ρ) process in the light cone regime, with κ ∈ (0, 4) and max(κ/2 − 4, −2 − κ/2) < ρ < −2, drawn on an independent √κ-LQG quantum wedge of weight ρ + 4, is encoded by a pair of boundary-length coordinates (L, R) that evolve as a correlated α-stable Lévy process with α = 1 − 2(ρ + 2)/κ. The left coordinate jumps only upward, the right only downward, and their jump times coincide; each jump is the quantum measurement of a disk the curve cuts off from infinity. This gives a mating-of-trees representation for self-intersecting SLE variants, extending the peanosphere picture from simple curves to the light cone regime. If correct, the Euclidean curve and the quantum surface are jointly determined by one two-dimensional stable process, and bipolar oriented random planar maps with large faces are identified in the scaling limit with SLEκ(κ − 4) on √κ-LQG for κ ∈ (4/3, 2).","feed_headline":"Stable Lévy process encodes light-cone SLE curves on quantum gravity","feed_subtitle":"It ties these self-intersecting curves to the scaling limit of bipolar random maps with large faces.","key_machinery":"The engine of the proof is the SLE/GFF coupling in which a light-cone SLEκ(ρ) process is interpreted as an ordered light cone of flow lines of a Gaussian free field, together with the quantum-wedge encoding by Bessel processes. The paper extends the reverse SLE/GFF coupling to the non-semimartingale regime ρ < 2 via approximate Bessel processes (Theorem 3.1), and identifies the law of a single excursion of the curve as an SLEκ(ρ + 2; κ − 4 − ρ) process (Theorem 3.6). That excursion law is what turns the bubbles cut off from infinity into a Poissonian collection matching the beads of a weight-(ρ + 2) quantum wedge; the coordinates (L, R) are the contour functions of the two trees in the mating.","core_discovery":"The central discovery is that an SLEκ(ρ) process in the light cone regime, drawn on an independent weight-(ρ + 4) quantum wedge, admits a mating-of-trees representation. Theorem 1.1 shows that the collection of complementary components to the right of the curve forms a weight-(ρ + 2) quantum wedge and that the pair is invariant under zipping by quantum natural time. Theorem 1.3 shows the boundary-length process (L, R) is an α-stable Lévy process with α = 1 − 2(ρ + 2)/κ, with L jumping upward, R downward, and coincident jump times. For ρ = κ − 4 and κ ∈ (4/3, 2) the jump law is fully explicit: a Poisson point process with intensity c du $t^{{−4/κ}}$ dt, each jump split uniformly between the two coordinates. Corollary 1.4 computes the Hausdorff dimension of η ∩ R+ as −(2 + ρ)(κ + 8 + 2ρ)/(2κ).","pith_inferences":["The authors do not pursue it, but the same α-stable coding should govern the scaling limits of other random map models whose face degrees lie in the stable domain of attraction, not just bipolar orientations.","The explicit jump-split uniformity at ρ = κ − 4 suggests a concrete sampling algorithm for the quantum surface: simulate the stable process, attach i.i.d. quantum disks of the sampled boundary lengths, and weld them in jump order; this would be a direct numerical test of Theorem 1.3.","The unverified uniqueness assertion in the proof of Theorem 3.6 could be checked directly by proving the resampling property for the parameter pair θ1 = π, θ2 = −π; until then, it is the soft point of the chain."],"forward_implications":["The law of the curve is reduced to the law of a single two-dimensional stable process; questions about boundary intersections or bubble sizes become questions about that process's jumps.","For ρ = κ − 4 and κ ∈ (4/3, 2) the jump law is explicit, giving a complete peanosphere-type coding: jumps form a Poisson point process with intensity c du t^{−4/κ} dt, each split uniformly between the two coordinates.","The Hausdorff dimension of η ∩ R+ is the closed expression −(2 + ρ)(κ + 8 + 2ρ)/(2κ), matching the ρ > −2 and loop-making regimes in the appropriate limits.","The bubbles cut off by the curve form, in quantum natural time, a Poissonian collection whose law is that of a weight-(ρ + 2) quantum wedge, independent of the curve's past."],"supporting_citations":[{"why":"Establishes the basic properties of SLEκ(ρ) in the light cone regime and identifies its range with a GFF light cone; this is the class of curves under study.","marker":"[24]"},{"why":"Supplies the quantum wedge, Bessel process, and zipping machinery; the Poissonian bubble structure and mating-of-trees construction are the light-cone analogues of its results.","marker":"[5]"},{"why":"Provides the resampling uniqueness proposition and reversibility theorem used to identify the law of an excursion as SLEκ(ρ + 2; κ − 4 − ρ) in Theorem 3.6.","marker":"[22]"},{"why":"Gives the original reverse SLE/GFF coupling and quantum zipper that Theorem 3.1 extends to the non-semimartingale regime ρ < 2.","marker":"[35]"},{"why":"Shows the contour functions of bipolar oriented random planar maps with large faces converge to the same α-stable Lévy process; combining with Theorem 1.3 yields the scaling limit identification.","marker":"[13]"},{"why":"Provides the Lévy process facts used throughout: jump law determines the law, and ladder-height analysis gives the Hausdorff dimension in Corollary 1.4.","marker":"[2]"}],"fun_headline_variants":["Stable Lévy process drives light-cone SLE on quantum gravity","Mating of trees turns SLE(ρ) into stable Lévy on LQG","Light-cone SLE glued from stable Lévy coordinates","Self-intersecting SLE on LQG encoded by stable Lévy"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof leans on a single load-bearing assertion, made in the proof of Theorem 3.6 without a detailed verification: that the resampling property of the triple (η, ηL, ηR) meets the hypotheses of an existing uniqueness proposition, so the excursion's law is forced to be an SLEκ(ρ + 2; κ − 4 − ρ) process. If that assertion is wrong or incomplete, the Poissonian bubble structure and the stable-process coding of Theorems 1.1 and 1.3 are unsupported.","fun_headline_variants_meta":{"raw":{"variants":["Stable Lévy process drives light-cone SLE on quantum gravity","Mating of trees turns SLE(ρ) into stable Lévy on LQG","Light-cone SLE glued from stable Lévy coordinates","Self-intersecting SLE on LQG encoded by stable Lévy"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000343,"raw_usage":{"total_tokens":1924,"prompt_tokens":1023,"completion_tokens":901,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":639,"completion_tokens_details":{"reasoning_tokens":826}},"tokens_in":639,"tokens_out":901,"duration_ms":8547,"temperature":1.0,"reasoning_tokens":826,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T21:52:48.607785+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a concrete pair, for instance κ = 3/2 and ρ = κ − 4 = −5/2, simulate the Loewner driving pair from the Bessel process of dimension δ = 1 + 2(ρ + 2)/κ with the principal-value correction, and compare the empirical distribution of the boundary-length jumps (L, R) under quantum natural time with the paper's explicit prediction: a Poisson point process with intensity c du $t^{{−4/κ}}$ dt and a uniform split of each jump between coordinates. A mismatch in the joint jump distribution would refute the central claim; agreement would confirm it in that case.","supporting_citations":[{"cited_title":"Miller and S","cited_arxiv_id":null,"evidence_quote":"Establishes the basic properties of SLEκ(ρ) in the light cone regime and identifies its range with a GFF light cone; this is the class of curves under study."},{"cited_title":"Duplantier, J","cited_arxiv_id":null,"evidence_quote":"Supplies the quantum wedge, Bessel process, and zipping machinery; the Poissonian bubble structure and mating-of-trees construction are the light-cone analogues of its results."},{"cited_title":"Miller and S","cited_arxiv_id":null,"evidence_quote":"Provides the resampling uniqueness proposition and reversibility theorem used to identify the law of an excursion as SLEκ(ρ + 2; κ − 4 − ρ) in Theorem 3.6."},{"cited_title":"Sheffield","cited_arxiv_id":null,"evidence_quote":"Gives the original reverse SLE/GFF coupling and quantum zipper that Theorem 3.1 extends to the non-semimartingale regime ρ < 2."},{"cited_title":"Bipolar oriented random planar maps with large faces and exotic SLE$_\\kappa(\\rho)$ processes","cited_arxiv_id":"2202.02289","evidence_quote":"Shows the contour functions of bipolar oriented random planar maps with large faces converge to the same α-stable Lévy process; combining with Theorem 1.3 yields the scaling limit identification."}],"review_version":1}