Pith. sign in

REVIEW 3 major objections 3 minor 37 references

SLE$_{\kappa}(\rho)$ processes in the light cone regime on Liouville quantum gravity

T0 review · 3 major / 3 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read 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.

desk verdict 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. read the letter →

arxiv 2412.04005 v1 pith:V3ULFCEV submitted 2024-12-05 math.PR

Konstantinos Kavvadias , Jason Miller This is my paper · ORCID
classification math.PR MSC 60J6760G5260J55
keywords SLE_kappa(rho)processeslightconeregimeLiouvillequantumgravitywedgesmatingoftreesstableLevyBesselbipolarorientedrandomplanarmaps
topics Quantum Gravity
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

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

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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κ).

Load-bearing premise

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.

Editorial extensions

If this is right

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

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 3 minor

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

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 (3)
  1. [Section 3.2, Step 4 of proof of Theorem 3.6] 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.
  2. [Section 4.4, proof of Corollary 1.4] 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.
  3. [Section 4.2.4 and Section 4.3] 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.
minor comments (3)
  1. [Section 2.4.1] 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.
  2. [Section 1.2, Figure 1 caption] 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.
  3. [Section 3.1, proof of Theorem 3.1] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main derivation is self-contained and builds on independent published results.

full rationale

The paper's central result, Theorem 1.3, is derived from Theorem 1.1, which is proved from the Poissonian structure of quantum bubbles (Theorem 4.1, Lemmas 4.5–4.7). These results in turn use the reverse SLE/GFF coupling (Theorem 3.1) and the excursion-law identification (Theorem 3.6). The only step that leans on a same-author uniqueness theorem is the conclusion of Theorem 3.6, where the marginal law of (η_L, η_R) is asserted to satisfy the hypotheses of [22, Proposition 5.10] with θ2 = −π and θ1 = π, so that its law is uniquely determined. This is a completeness/correctness concern rather than circularity: [22] is a published, independent theorem whose assumptions do not include the conclusion of Theorem 3.6, and the paper constructs the resampling property in Step 3 before invoking uniqueness. No parameter is fitted to data and then renamed as a prediction; the α-stable law is determined by κ and ρ through formula (1.5). The extensive use of [5], [21], [22], and [24] is reliance on established prior work by overlapping authors, but those cited results are external published theorems, not assumptions equivalent to the claims being proved here. The companion paper [13] is used only to interpret the result as a scaling limit, not to prove the LQG statement. Thus no step of the derivation reduces by construction to its inputs.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The results are derived from published theorems; the only inputs are standard constructions. No free parameters are fitted to data; kappa and rho are the model parameters. No new physical entities are introduced.

assumptions (5)
  • standard math Existence and properties of LQG area and length measures via Gaussian multiplicative chaos
    Section 1.1, equations (1.2)-(1.3); construction from [6, 11].
  • standard math Quantum wedge definitions and the quantum zipper / mating-of-trees theory of [5]
    Section 2.3 and throughout; the paper extends [5] rather than reproving it.
  • standard math Imaginary geometry flow-line interaction rules and light cone representation of [21, 24]
    Section 2.5-2.6; Theorem 2.7 identifies SLE_kappa(rho) range with a light cone.
  • standard math Resampling uniqueness for flow line pairs ([22, Proposition 5.10])
    Section 3.2, Step 4; used to conclude the excursion law is SLE_kappa(rho+2; kappa-4-rho).
  • standard math KPZ dimension formula for boundary sets ([32, Theorem 4.1])
    Section 4.4, equation (4.6); used for Corollary 1.4.

how reviews work

0 comments
Cite this review

Pith. "Pith review of SLE$_{\kappa}(\rho)$ processes in the light cone regime on Liouville quantum gravity." pith.science (2026). https://pith.science/paper/V3ULFCEV

@misc{pith2026241204005,
  author       = {Pith},
  title        = {Pith review of: SLE$_\kappa(\rho)$ processes in the light cone regime on Liouville quantum gravity},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/V3ULFCEV}},
  note         = {Machine review of arXiv:2412.04005}
}
abstract

We study the relationship between certain SLE$_\kappa(\rho)$ processes, which are variants of the Schramm-Loewner evolution with parameter $\kappa$ in which one keeps track of an extra marked point, and Liouville quantum gravity (LQG). These processes are defined whenever $\rho > -2-\kappa/2$ and in this work we will focus on the light cone regime, meaning that $\kappa \in (0,4)$ and $\max(\kappa/2-4,-2-\kappa/2) < \rho < -2$. Such processes are self-intersecting even though ordinary SLE$_\kappa$ curves are simple for $\kappa \in (0,4)$. We show that such a process drawn on top of an independent $\sqrt{\kappa}$-LQG surface called a weight $(\rho+4)$-quantum wedge can be represented as a gluing of a pair of trees which are described by the two coordinate functions of a correlated $\alpha$-stable L\'evy process with $\alpha = 1-2(\rho+2)/\kappa$. Combined with another work, this shows that bipolar oriented random planar maps with large faces can be identified in the scaling limit with an SLE$_\kappa(\kappa-4)$ curve on an independent $\sqrt{\kappa}$-LQG surface for $\kappa \in (4/3,2)$.

Figures

Figures reproduced from arXiv: 2412.04005 by the authors.

Figure 1
Figure 1. Shown is an SLEκ(ρ) process in H from 0 to ∞ with a single force point located at 0+ in the light cone regime and drawn up to a typical quantum natural time qu. The arc which disconnects each component from ∞ is drawn in its entirety before η “creeps” up it disconnects further disks. Its left boundary length Lu is equal to the quantum length of the dark blue arc (counterclockwise from η(qu) to Au) minus the quantum … view at source ↗
Figure 2
Figure 2. Illustration of the “mating of trees representation”, which describes the topology of an SLEκ(ρ) process η drawn on top of an independent quantum wedge of weight ρ + 4. Left: Points on the graph of Rb are equivalent if they can be connected by a horizontal line which is below the graph of Rb and points on the graph of 3 − Lb are equivalent if they can be connected by a horizontal line which is above the graph of 3 −… view at source ↗
Figure 3
Figure 3. Illustration of the setup to prove Theorem 3.6. Shown in orange is the SLEκ(ρ) process η, which we view as the light cone path from 0 to iπ coupled with the GFF on S with the indicated boundary data. The counterflow lines η ′ L and η ′ R are shown in red and blue, respectively, and their common outer boundary gives the completion of the excursion that η is drawing at the time σ (shown in green). Proof of Theorem 3.6… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

37 extracted references · 28 canonical work pages

  1. [5]

    Duplantier, J

    B. Duplantier, J. Miller, and S. Sheffield. Liouville quantum gravity as a mating of trees.Ast´ erisque, (427):viii+257, 2021

    work page 2021

  2. [35]

    Sheffield

    S. Sheffield. Conformal weldings of random surfaces: SLE and the quantum gravity zipper. Ann. Probab., 44(5):3474–3545, 2016

    work page 2016

  3. [22]

    Miller and S

    J. Miller and S. Sheffield. Imaginary geometry II: reversibility of SLEκ(ρ1; ρ2) for κ ∈ (0, 4). Ann. Probab., 44(3):1647–1722, 2016

    work page 2016

  4. [32]

    Rhodes and V

    R. Rhodes and V. Vargas. KPZ formula for log-infinitely divisible multifractal random measures. ESAIM Probab. Stat., 15:358–371, 2011

    work page 2011

  5. [1]

    Alberts and S

    T. Alberts and S. Sheffield. The covariant measure of SLE on the boundary. Probab. Theory Related Fields , 149(3-4):331–371, 2011

    work page 2011

  6. [2]

    J. Bertoin. L´ evy processes, volume 121 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 1996

    1996

  7. [3]

    J. Ding, J. Dub´ edat, A. Dunlap, and H. Falconet. Tightness of Liouville first passage percolation for γ ∈ (0, 2). Publ. Math. Inst. Hautes ´Etudes Sci. , 132:353–403, 2020

    work page 2020

  8. [4]

    Dub´ edat

    J. Dub´ edat. SLE and the free field: partition functions and couplings. J. Amer. Math. Soc. , 22(4):995–1054, 2009

    work page 2009

Show all 37 references
  1. [6]

    Duplantier and S

    B. Duplantier and S. Sheffield. Liouville quantum gravity and KPZ. Invent. Math. , 185(2):333–393, 2011

    2011

  2. [7]

    Gwynne, A

    E. Gwynne, A. Kassel, J. Miller, and D. B. Wilson. Active spanning trees with bending energy on planar maps and SLE-decorated Liouville quantum gravity for κ >8. Comm. Math. Phys. , 358(3):1065–1115, 2018

    2018

  3. [8]

    Gwynne and J

    E. Gwynne and J. Miller. Convergence of the self-avoiding walk on random quadrangulations to SLE8/3 onp 8/3-Liouville quantum gravity. Ann. Sci. ´Ec. Norm. Sup´ er. (4), 54(2):305–405, 2021

    2021

  4. [9]

    Gwynne and J

    E. Gwynne and J. Miller. Existence and uniqueness of the Liouville quantum gravity metric for γ ∈ (0, 2). Invent. Math., 223(1):213–333, 2021

    2021

  5. [10]

    Gwynne and J

    E. Gwynne and J. Miller. Percolation on uniform quadrangulations and SLE 6 on p 8/3-Liouville quantum gravity. Ast´ erisque, (429):vii+242, 2021

    2021

  6. [11]

    J.-P. Kahane. Sur le chaos multiplicatif. Ann. Sci. Math. Qu´ ebec, 9(2):105–150, 1985

    1985

  7. [12]

    Kallenberg and O

    O. Kallenberg and O. Kallenberg. Foundations of modern probability, volume 2. Springer, 1997

    1997

  8. [13]

    Kavvadias and J

    K. Kavvadias and J. Miller. Bipolar oriented random planar maps with large faces and exotic SLE κ(ρ) processes. arXiv e-prints , page arXiv:2202.02289, Feb. 2022

    2022 arXiv

  9. [14]

    Kenyon, J

    R. Kenyon, J. Miller, S. Sheffield, and D. B. Wilson. Bipolar orientations on planar maps and SLE12. Ann. Probab., 47(3):1240–1269, 2019

    2019

  10. [15]

    Lawler, O

    G. Lawler, O. Schramm, and W. Werner. Conformal restriction: the chordal case. J. Amer. Math. Soc. , 16(4):917– 955, 2003

    2003

  11. [16]

    J.-F. Le Gall. Uniqueness and universality of the Brownian map. Ann. Probab., 41(4):2880–2960, 2013

    2013

  12. [17]

    J.-F. Le Gall. Brownian geometry. Jpn. J. Math. , 14(2):135–174, 2019

    2019

  13. [18]

    Y. Li, X. Sun, and S. S. Watson. Schnyder woods, SLE(16), and Liouville quantum gravity. arXiv e-prints , page arXiv:1705.03573, May 2017

    2017 arXiv

  14. [19]

    Miermont

    G. Miermont. The Brownian map is the scaling limit of uniform random plane quadrangulations. Acta Math., 210(2):319–401, 2013

    2013

  15. [20]

    Miermont

    G. Miermont. Aspects of random planar maps. 2014. http://perso.ens-lyon.fr/gregory.miermont/coursSaint- Flour.pdf

    2014

  16. [21]

    Miller and S

    J. Miller and S. Sheffield. Imaginary geometry I: interacting SLEs. Probab. Theory Related Fields, 164(3-4):553–705, 2016

    2016

  17. [23]

    Miller and S

    J. Miller and S. Sheffield. Imaginary geometry IV: interior rays, whole-plane reversibility, and space-filling trees. Probab. Theory Related Fields, 169(3-4):729–869, 2017

    2017

  18. [24]

    Miller and S

    J. Miller and S. Sheffield. Gaussian free field light cones and SLE κ(ρ). Ann. Probab., 47(6):3606–3648, 2019

    2019

  19. [25]

    Miller and S

    J. Miller and S. Sheffield. Liouville quantum gravity and the Brownian map I: the QLE(8/3, 0) metric. Invent. Math., 219(1):75–152, 2020

    2020

  20. [26]

    Miller and S

    J. Miller and S. Sheffield. Liouville quantum gravity and the Brownian map II: Geodesics and continuity of the embedding. Ann. Probab., 49(6):2732–2829, 2021

    2021

  21. [27]

    Miller and S

    J. Miller and S. Sheffield. Liouville quantum gravity and the Brownian map III: the conformal structure is determined. Probab. Theory Related Fields, 179(3-4):1183–1211, 2021

    2021

  22. [28]

    Miller, S

    J. Miller, S. Sheffield, and W. Werner. CLE percolations. Forum Math. Pi , 5:e4, 102, 2017

    2017

  23. [29]

    Miller, S

    J. Miller, S. Sheffield, and W. Werner. Simple conformal loop ensembles on Liouville quantum gravity. Ann. Probab., 50(3):905–949, 2022

    2022

  24. [30]

    Miller and H

    J. Miller and H. Wu. Intersections of SLE paths: the double and cut point dimension of SLE. Probab. Theory Related Fields, 167(1-2):45–105, 2017

    2017

  25. [31]

    Revuz and M

    D. Revuz and M. Yor. Continuous martingales and Brownian motion , volume 293. Springer Science & Business Media, 2013. SLEκ(ρ) PROCESSES IN THE LIGHT CONE REGIME ON LIOUVILLE QUANTUM GRA VITY 39

    2013

  26. [33]

    O. Schramm. Scaling limits of loop-erased random walks and uniform spanning trees.Israel Journal of Mathematics, 118(1):221–288, 2000

    2000

  27. [34]

    Sheffield

    S. Sheffield. Exploration trees and conformal loop ensembles. Duke Math. J. , 147(1):79–129, 2009

    2009

  28. [36]

    Sheffield

    S. Sheffield. Quantum gravity and inventory accumulation. Ann. Probab., 44(6):3804–3848, 2016

    2016

  29. [37]

    Sheffield and W

    S. Sheffield and W. Werner. Conformal loop ensembles: the Markovian characterization and the loop-soup construction. Ann. of Math. (2) , 176(3):1827–1917, 2012

    1917

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.