REVIEW 2 major objections 5 minor 45 references
A wired uniform spanning tree's tripod — three branches meeting at a trifurcation — converges in the scaling limit to three-sided radial SLE_2, with an explicit density for the trifurcation point.
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 →
In the scaling limit, the wired-UST tripod on a hexagonal lattice has an explicit trifurcation density and, conditional on the trifurcation, converges to three-sided radial SLE_2.
T0 review reviewed 2026-08-03 challenge →
load-bearing objection First discrete realization of three-sided radial SLE, built on a genuinely new determinant observable; the only real caveat is that the final identification leans on an unreviewed preprint. the 2 major comments →
Tripod in uniform spanning tree and three-sided radial SLE$_2$
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
Core claim
The paper's central claim is Theorem 1.3: for bounded 3-polygons approximated by δ-scaled hexagonal lattices with wired boundary conditions, conditional on the event that the boundary branches from x1 and x2 both exit through x3, the trifurcation t^δ converges in distribution to a point t with density p(Ω;x1,x2,x3;z) = (4/(3π)) · P(z,x1)^2 P(z,x2)^2 P(z,x3)^2 / [CR(Ω;z)^2 (P(x1,x2)P(x2,x3)P(x3,x1))], and conditional on t, the tripod (γ1,γ2,γ3) follows the three-sided radial SLE_2 law. This density is the normalized tripod partition function Ztri, and the paper shows that the scaling limit of the discrete tripod observable coincides exactly with the partition function of three-sided radial SL
What carries the argument
The tripod partition function Ztri(Ω;x1,x2,x3;z), built from squared Poisson kernels and the conformal radius, is the object that carries the argument. Its discrete counterpart is a 3-by-3 determinant of Poisson kernels evaluated at the three neighbors of a candidate trifurcation vertex; the paper evaluates this determinant through a total-positivity determinantal formula for loop-erased random walks, using hexagonal-lattice geometry essentially. In the continuum, Ztri equals the three-sided radial SLE_2 partition function, and the conditional-marginal description of three-sided radial SLE_2 (γ3 as radial SLE_2(2,2), then γ1 as chordal SLE_2(2), then γ2 as chordal SLE_2) is what converts the
Load-bearing premise
The identification of the limit as three-sided radial SLE_2 rests on the imported claim that three-sided radial SLE_2 exists uniquely and is characterized by the conditional-marginal description in Definition 1.2; if that uniqueness or the change-of-measure formulas from recent multi-sided radial SLE theory were wrong, the tripod limit could satisfy the same discrete constraints without being three-sided radial SLE_2.
What would settle it
Simulate the wired uniform spanning tree on a δ-hexagonal approximation of a domain with non-constant conformal radius (e.g., a disk or rectangle with three marked boundary points), record the trifurcation positions conditional on both branches exiting through the third marked point, and compare the empirical density with p(Ω;x1,x2,x3;z) in (1.8) as δ→0; a disagreement beyond discretization error would falsify Theorem 1.1.
If this is right
- The trifurcation point has an explicit, conformally covariant density, so the probability that the three branches meet in any given region of a simply connected domain can be computed in the scaling limit.
- Conditional on the meeting point, the branches are governed by three-sided radial SLE_2, transferring the known properties of that SLE process to the wired UST tripod.
- The paper derives a new closed-form expectation for chordal SLE_2: the expected renormalized harmonic measure of the curve seen from a boundary point equals a simple ratio of boundary Poisson kernels (Proposition 1.4).
- The identity between the discrete observable and the SLE partition function identifies the tripod as a lattice realization of a CFT correlation function with boundary weight 1 and bulk weight (1,1), strengthening the UST–logarithmic CFT connection.
Where Pith is reading between the lines
- Beyond the paper: the same determinant-based observable may converge to multi-sided radial SLE partition functions for other values of κ on other lattice models, suggesting a route toward lattice realizations of n-sided radial SLE.
- Beyond the paper: because the proof uses the hexagonal lattice crucially, the lattice-dependent prefactor (3√3/4, the dual-face area) is expected to change on other lattices; a square-lattice computation recovering the same continuum density with a different prefactor would confirm universality of the limiting law.
- Beyond the paper: the explicit density p can be used as a direct numerical prediction for simulated UST tripods, including the conditional law of the three branches; a mismatch would localize the failure either in the lattice-observable computation or in the imported multi-sided SLE theory.
- Beyond the paper: the closed-form expectation in Proposition 1.4 might be derived independently by solving a boundary-value problem, providing a check of the full chain without relying on multi-sided SLE uniqueness.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the trifurcation point and tripod formed by three boundary branches in the wired uniform spanning tree on δ-scaled hexagonal-lattice approximations of a bounded 3-polygon, conditionally on the two branches from x1 and x2 exiting through x3. The main results are: (i) an explicit, conformally covariant density for the scaling limit of the trifurcation point (Theorem 1.1), obtained from a new determinant observable via Fomin's formula and discrete Poisson-kernel asymptotics; and (ii) the convergence of the conditional law of the whole tripod to three-sided radial SLE_2 with κ=2 (Theorem 1.3). The proof combines the discrete determinant computation, Beurling-type estimates for limit interchanges, known LERW/UST convergence results, and the theory of multi-sided radial SLE imported from the authors' recent preprint [HPW25]. A separate consequence for chordal SLE_2 is given in Proposition 1.4.
Significance. If the results hold, this is the first lattice-model realization of multi-sided radial SLE, and it identifies the scaling limit of a discrete UST observable with the three-sided radial SLE_2 partition function. A notable strength is that no parameters are fitted: the discrete determinant computation and Fomin's formula produce the density (1.8) with explicit lattice constants (e.g., 3√3/4), and the coincidence Z_tri = Z_{3-rad} at κ=2 is verified algebraically (Eq. (2.52)). The proof is unusually explicit about the needed scaling-limit estimates (Lemmas 3.6, 3.7, 3.12), and the paper gives pointer-level detail for the limit-interchange arguments. The main caveat is that the final identification with the three-sided radial SLE_2 law relies on imported uniqueness and Radon–Nikodym results from [HPW25].
major comments (2)
- [§4.4, Definition 1.2, Lemmas 2.9–2.10 (Eq. 2.51)] The identification of the tripod limit with three-sided radial SLE_2 is load-bearing and depends on unproved external results: the uniqueness of the law characterized by the conditional-marginal description in Definition 1.2 and the Radon–Nikodym formula (2.51) from [HPW25, Lemma 2.11]. If those results were incorrect, Theorem 1.3 would fail even though Theorem 1.1 and the tightness/marginal-convergence parts would remain valid. The authors are transparent about the dependence, but for a journal article the relevant statements should be quoted in full and either proved in an appendix or explicitly declared as hypotheses. As written, the main theorem is conditional on a preprint (co-authored by one of the present authors) that the referee cannot verify from this manuscript alone.
- [§4.4, Eq. (4.40)–(4.41)] The final step of the proof of Theorem 1.3 passes from the conditional law given {t∈B(z,ε)} to the conditional law given the exact value t, and then lets r→0. The bound R(ε,r)≲1 is proved, and it is clear that R(ε,r)→1 for fixed r, but the limiting argument for conditional measures on the zero-probability event {t} is only asserted ('This gives the conclusion'). Please spell out the exchange of limits (ε→0 then r→0, or a regular-conditional-probability argument) so that the identification of the conditional law of (γ1,γ2) given (γ3,t) is fully rigorous.
minor comments (5)
- [§1.1] Typo: 'trifucartion' should be 'trifurcation' in the paragraph after Figure 1.1.
- [§3.4, Lemma 3.11] The notation 'C( Ω\ {x1, x3})' is unclear; presumably it means the space of bounded continuous functions on Ω minus the two marked points. Please clarify.
- [§3.3, Proof of Proposition 3.5] The constant 4/(3√3) is introduced without explicitly stating that it arises from the area 3√3/4 δ² of the dual triangle. A short parenthetical would help.
- [§2.4, Lemma 2.10] The proof of Lemma 2.10 sketches the Brownian-loop-measure computation but relies on [HPW25, Section 2.5]; since (2.51) is central, it would be helpful to state precisely which formulas from [HPW25] are being used.
- [§4.3, Lemma 4.8] Minor grammar: 'We denote by η^{δn}_{1,T_r} = (u0,...,uL) is the boundary branch' should read 'We denote by ... the boundary branch'.
Circularity Check
No significant circularity: the discrete determinant computation is independent and the match with the three-sided SLE partition function is verified by direct algebra; reliance on [HPW25] is external theory, not a reduction to this paper's own inputs.
full rationale
The central derivation is self-contained on the discrete side. Lemma 3.1 expresses the trifurcation probability as a 3×3 determinant of discrete Poisson kernels using Fomin's formula and the hexagonal-lattice geometry; Proposition 3.2 and Lemma 3.4 identify the scaling limit as a constant multiple of Ztri; Proposition 3.5 supplies the normalizing integral. The density in Theorem 1.1 is thus a computed limit, not a fitted parameter or a renamed input. The tripod convergence in Theorem 1.3 combines Propositions 4.1, 4.5 and 4.9 to show that any subsequential limit has the defining conditional-marginal structure of Definition 1.2, and then imports the uniqueness and Radon–Nikodym formulas from [HPW25] to identify the limit as three-sided radial SLE2. This is a genuine external-theory reliance, and the paper is transparent about it ("The proof of the convergence to three-sided radial SLE2 relies on tools developped recently from [HPW25]"). Although [HPW25] shares an author with the present paper, its statements concern the SLE side, do not assume the UST tripod convergence, and are not derived from the discrete observable; hence they are independent support rather than a circular premise. The coincidence Ztri = Z3-rad at κ=2 is verified directly in (2.52) and is not assumed. The only caveat is that [HPW25] is a recent preprint whose proofs are not reproduced here; that is a completeness or correctness risk, not circularity.
Axiom & Free-Parameter Ledger
axioms (6)
- standard math Fomin's formula (determinantal identity for non-intersecting walks) [Fom01, Thm 6.1]
- standard math Convergence of discrete Green's functions and Poisson kernels on isoradial (hexagonal) graphs [CS11, Cor 3.11, Thm 3.13] and [CW21, Cor 3.8]
- standard math Weak Beurling-type estimate [CS11, Prop 2.11] with a universal exponent α
- standard math Convergence of chordal SLE_2 from UST branches [Zha08] and radial SLE_2 from LERW [LSW04]
- domain assumption Theory of multi-sided radial SLE [HL21, HPW25]: uniqueness of the definition (Def 1.2), Radon-Nikodym derivatives (Lemmas 2.9, 2.10), coordinate change (Lemma 2.8), resampling
- domain assumption Domain approximation: (Ω^δ;x_j^δ) → (Ω;x_j) in Carathéodory sense plus Hausdorff convergence (1.1) and C^{1+ε} boundary near marked points
Cite this review
Pith. "Pith review of Tripod in uniform spanning tree and three-sided radial SLE$_2$." pith.science (2026). https://pith.science/paper/5BN7MTNX
@misc{pith2026251111151,
author = {Pith},
title = {Pith review of: Tripod in uniform spanning tree and three-sided radial SLE$_2$},
year = {2026},
howpublished = {\url{https://pith.science/paper/5BN7MTNX}},
note = {Machine review of arXiv:2511.11151}
}
abstract
Fix a bounded $3$-polygon $(\Omega; x_1, x_2, x_3)$ with three marked boundary points $x_1, x_2, x_3\in\partial\Omega$ and suppose $(\Omega^{\delta}; x_1^{\delta}, x_2^{\delta}, x_3^{\delta})$ is an approximation of $(\Omega; x_1, x_2, x_3)$ on $\delta$-scaled hexagonal lattice. We consider uniform spanning tree (UST) in $\Omega^{\delta}$ with wired boundary conditions. Conditional on the event that both branches from $x_1^{\delta}$ and $x_2^{\delta}$ hit the boundary through $x_3^{\delta}$, the two branches meet at a point $\trifurcation^{\delta}$ which we call trifurcation, and the union of the three branches from $x_j^{\delta}$ to $\trifurcation^{\delta}$ form a tripod in the UST. We compute the scaling limit of the tripod: the distribution of trifurcation is absolutely continuous with respect to Lebesgue measure with explicit density; given the trifurcation, the conditional law of the tripod is three-sided radial SLE$_2$. The proof relies on construction of a new observable for trifurcation in our key lemma--Lemma~3.1--where we use Fomin's formula and the geometry of the hexagonal lattice in an essential way. Interestingly, the scaling limit of the observable for trifurcation coincides with the partition function for three-sided radial $\SLE_2$. Our result gives a probabilistic interpretation of the correlation function in CFT which has conformal weights $1$ at the three boundary points and has a spinless field of weights $(1,1)$ at the bulk point.
Figures
Reference graph
Works this paper leans on
-
[1]
H\" o lder regularity and dimension bounds for random curves
Michael Aizenman and Almut Burchard. H\" o lder regularity and dimension bounds for random curves. Duke Math. J. , 99(3):419--453, 1999
1999
-
[2]
Conformal welding of quantum disks and multiple SLE : the non-simple case
Morris Ang, Nina Holden, Xin Sun, and Pu Yu. Conformal welding of quantum disks and multiple SLE : the non-simple case. Preprint in arXiv:2310.20583, 2023
arXiv 2023
-
[3]
Multiple S chramm- L oewner evolutions and statistical mechanics martingales
Michel Bauer, Denis Bernard, and Kalle Kyt \"o l \"a . Multiple S chramm- L oewner evolutions and statistical mechanics martingales. J. Stat. Phys. , 120(5-6):1125--1163, 2005
2005
-
[4]
Piecewise Temperleyan dimers and a multiple SLE _8
Nathanaël Berestycki and Mingchang Liu. Piecewise Temperleyan dimers and a multiple SLE _8 . arXiv:2301.08513
-
[5]
On the uniqueness of global multiple SLE s
Vincent Beffara, Eveliina Peltola, and Hao Wu. On the uniqueness of global multiple SLE s. Ann. Probab. , 49(1):400--434, 2021
2021
-
[6]
Convergence of I sing interfaces to S chramm's SLE curves
Dmitry Chelkak, Hugo Duminil-Copin, Cl\' e ment Hongler, Antti Kemppainen, and Stanislav Smirnov. Convergence of I sing interfaces to S chramm's SLE curves. C. R. Math. Acad. Sci. Paris , 352(2):157--161, 2014
2014
-
[7]
Federico Camia and Charles M. Newman. Critical percolation exploration path and SLE 6 : a proof of convergence. Probab. Theory Related Fields , 139(3-4):473--519, 2007
2007
-
[8]
Discrete complex analysis on isoradial graphs
Dmitry Chelkak and Stanislav Smirnov. Discrete complex analysis on isoradial graphs. Adv. Math. , 228(3):1590--1630, 2011
2011
-
[9]
Universality in the 2 D I sing model and conformal invariance of fermionic observables
Dmitry Chelkak and Stanislav Smirnov. Universality in the 2 D I sing model and conformal invariance of fermionic observables. Invent. Math. , 189(3):515--580, 2012
2012
-
[10]
On the convergence of massive loop-erased random walks to massive SLE(2) curves
Dmitry Chelkak and Yijun Wan. On the convergence of massive loop-erased random walks to massive SLE(2) curves . Electron. J. Probab. , 26:Paper No. 54, 2021
2021
-
[11]
Euler integrals for commuting SLE s
Julien Dub\'edat. Euler integrals for commuting SLE s. J. Stat. Phys. , 123(6):1183--1218, 2006
2006
-
[12]
Flores and Peter Kleban
Steven M. Flores and Peter Kleban. A solution space for a system of null-state partial differential equations: P art 3. Comm. Math. Phys. , 333(2):597--667, 2015
2015
-
[13]
Loop-erased walks and total positivity
Sergey Fomin. Loop-erased walks and total positivity. Trans. Amer. Math. Soc. , 353(9):3563--3583, 2001
2001
-
[14]
Connection probabilities of multiple FK-Ising interfaces
Yu Feng, Eveliina Peltola, and Hao Wu. Connection probabilities of multiple FK-Ising interfaces. Probab. Theory Related Fields , 189(1-2):281--367, March 2024
2024
-
[15]
Multiple Ising interfaces in annulus and 2N-sided radial SLE
Yu Feng, Hao Wu, and Lu Yang. Multiple Ising interfaces in annulus and 2N-sided radial SLE . Int. Math. Res. Not. IMRN , 2024(6):5326--5372, 2024
2024
-
[16]
Vivian Olsiewski Healey and Gregory F. Lawler. N-sided radial S chramm- L oewner evolution. Probab. Theory Related Fields , 181(1-3):451--488, 2021
2021
-
[17]
Hypergeometric SLE with =8 : convergence of UST and LERW in topological rectangles
Yong Han, Mingchang Liu, and Hao Wu. Hypergeometric SLE with =8 : convergence of UST and LERW in topological rectangles. Ann. Inst. Henri Poincar\'e Probab. Stat. , 61(2):1163--1211, 2025
2025
-
[18]
Multiradial SLE with spiral: resampling property and boundary perturbation, 2025
Chongzhi Huang, Eveliina Peltola, and Hao Wu. Multiradial SLE with spiral: resampling property and boundary perturbation, 2025. arXiv:2509.22045
arXiv 2025
-
[19]
Multiple SLE type scaling limits: from local to global, 2019
Alex Karrila. Multiple SLE type scaling limits: from local to global, 2019. arXiv:1903.10354
Pith/arXiv arXiv 2019
-
[20]
U ST branches, martingales, and multiple SLE(2)
Alex Karrila. U ST branches, martingales, and multiple SLE(2) . Electron. J. Probab. , 25:83, 2020
2020
-
[21]
Long-range properties of spanning trees
Richard Kenyon. Long-range properties of spanning trees. J. Math. Phys. , 41(3):1338--1363, 2000
2000
-
[22]
R. Kenyon. The L aplacian and D irac operators on critical planar graphs. Invent. Math. , 150(2):409--439, 2002
2002
-
[23]
Boundary correlations in planar LERW and UST
Alex Karrila, Kalle Kyt\" o l\" a , and Eveliina Peltola. Boundary correlations in planar LERW and UST . Comm. Math. Phys. , 376(3):2065--2145, 2020
2065
-
[24]
Kozdron and Gregory F
Michael J. Kozdron and Gregory F. Lawler. The configurational measure on mutually avoiding SLE paths. In Universality and renormalization , volume 50 of Fields Inst. Commun. , pages 199--224. Amer. Math. Soc., Providence, RI, 2007
2007
-
[25]
Pure partition functions of multiple SLE s
Kalle Kyt\"ol\"a and Eveliina Peltola. Pure partition functions of multiple SLE s. Comm. Math. Phys. , 346(1):237--292, 2016
2016
-
[26]
Random curves, scaling limits and loewner evolutions
Antti Kemppainen and Stanislav Smirnov. Random curves, scaling limits and loewner evolutions. Ann. Probab. , 45(2):698--779, 03 2017
2017
-
[27]
Kenyon and David B
Richard W. Kenyon and David B. Wilson. Boundary partitions in trees and dimers. Trans. Amer. Math. Soc. , 363(3):1325--1364, 2011
2011
-
[28]
Commutation relations for two-sided radial SLE , 2024
Ellen Krusell, Yilin Wang, and Hao Wu. Commutation relations for two-sided radial SLE , 2024. arXiv:2405.07082
arXiv 2024
-
[29]
Gregory F. Lawler. Partition functions, loop measure, and versions of SLE . J. Stat. Phys. , 134(5-6):813--837, 2009
2009
-
[30]
Uniform spanning tree in topological polygons, partition functions for SLE (8), and correlations in c=--2 logarithmic CFT
Mingchang Liu, Eveliina Peltola, and Hao Wu. Uniform spanning tree in topological polygons, partition functions for SLE (8), and correlations in c=--2 logarithmic CFT . Ann. Probab. , 53(1):23--78, 2025
2025
-
[31]
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
-
[32]
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
-
[33]
Loop-erased random walk branch of uniform spanning tree in topological polygons
Mingchang Liu and Hao Wu. Loop-erased random walk branch of uniform spanning tree in topological polygons. Bernoulli , 29(2):1555--1577, 2023
2023
-
[34]
Global and local multiple SLE s for 4 and connection probabilities for level lines of GFF
Eveliina Peltola and Hao Wu. Global and local multiple SLE s for 4 and connection probabilities for level lines of GFF . Comm. Math. Phys. , 366(2):469--536, 2019
2019
-
[35]
Crossing probabilities of multiple I sing interfaces
Eveliina Peltola and Hao Wu. Crossing probabilities of multiple I sing interfaces. Ann. Appl. Probab. , 33(4):3169--3206, 2023
2023
-
[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]
Critical percolation in the plane: conformal invariance, C ardy's formula, scaling limits
Stanislav Smirnov. Critical percolation in the plane: conformal invariance, C ardy's formula, scaling limits. C. R. Acad. Sci. Paris S\'er. I Math. , 333(3):239--244, 2001
2001
-
[38]
Contour lines of the two-dimensional discrete G aussian free field
Oded Schramm and Scott Sheffield. Contour lines of the two-dimensional discrete G aussian free field. Acta Math. , 202(1):21--137, 2009
2009
-
[39]
Oded Schramm and David B. Wilson. S LE coordinate changes. New York J. Math. , 11:659--669 (electronic), 2005
2005
-
[40]
Random planar curves and S chramm- L oewner evolutions
Wendelin Werner. Random planar curves and S chramm- L oewner evolutions. In Lectures on probability theory and statistics , volume 1840 of Lecture Notes in Math. , pages 107--195. Springer, Berlin, 2004
2004
-
[41]
Generating random spanning trees more quickly than the cover time
David Bruce Wilson. Generating random spanning trees more quickly than the cover time. In Proceedings of the T wenty-eighth A nnual ACM S ymposium on the T heory of C omputing ( P hiladelphia, PA , 1996) , pages 296--303. ACM, New York, 1996
1996
-
[42]
Hypergeometric SLE : conformal M arkov characterization and applications
Hao Wu. Hypergeometric SLE : conformal M arkov characterization and applications. Comm. Math. Phys. , 374(2):433--484, 2020
2020
-
[43]
Loop-erased random walk and P oisson kernel on planar graphs
Ariel Yadin and Amir Yehudayoff. Loop-erased random walk and P oisson kernel on planar graphs. Ann. Probab. , 39(4):1243--1285, 2011
2011
-
[44]
The scaling limits of planar LERW in finitely connected domains
Dapeng Zhan. The scaling limits of planar LERW in finitely connected domains. Ann. Probab. , 36(2):467--529, 2008
2008
-
[45]
Existence and uniqueness of nonsimple multiple SLE
Dapeng Zhan. Existence and uniqueness of nonsimple multiple SLE . J. Stat. Phys. , 191(8):Paper No. 101, 15, 2024
2024
This paper was first reviewed by deepseek-v4-flash on August 3, 2026.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.