{"id":"9a951dc5-7868-4f8f-b458-38e0c13cd416","arxiv_id":"2511.11151","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"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.","lead":"A uniform spanning tree has a natural three-branch structure—a tripod—when two boundary branches are forced to exit through the same boundary point. The paper proves that, in the fine-mesh limit, the tripod's meeting point has an explicit density and the three branches converge to a three-sided radial SLE_2 curve triple.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The tripod limit is identified with three-sided radial SLE_2 only through the imported uniqueness theorem and Radon–Nikodym formula (2.51) of [HPW25]; if that formula is wrong the limit could meet all discrete constraints yet not be the SLE_2 in Definition 1.2.","rationale":"I read the paper as a limit theorem whose combinatorial core—Fomin determinant (Lemma 3.1), scaling limit of observable (Prop 3.2), and uniform integrability estimates (Props 3.5, 3.8)—is internally coherent. I checked the constant matching in Theorem 1.1 and the determinant identity (3.12)/(3.14); these are consistent. The locus of real risk is not the lattice computation but the final law identification: Theorem 1.3 needs the three-sided radial SLE theory imported from HPW25, specifically uniqueness of Definition 1.2 and the RN formula (2.51). The proof of Theorem 1.3 itself uses (2.51) in Section 4.4 to equate the weighted-chordal conditional law of (γ1,γ2) to P3-rad. This is exactly the reader's weakest assumption. I therefore agree with the CONDITIONAL verdict: the paper is likely correct if HPW25 is correct, but the central claim is not self-contained. My proposed check isolates (2.51) and would resolve the dependence.","tokens_in":63241,"tokens_out":17017,"duration_ms":144296,"concrete_test":"Independently derive Eq. (2.51) for κ=2 from the SW05 coordinate change and the Brownian loop measure, with no appeal to HPW25, in the special case Ω=H, x1=0, x2=1, x3=∞, z=i, U=B(2i,1/2): compute dP3-rad/dPchord on {γ1[0,τU]∩γ2[0,τU]=∅} using explicit radial-SLE2 and chordal-SLE2 transition densities (Girsanov), and check that the Brownian-loop term cancels leaving exactly the partition-function ratio in (2.51). If this equality fails, Theorem 1.3's final identification fails; if it holds, the conditional verdict can be upgraded.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 4.4's final step is the load-bearing point. Proposition 4.5 plus Lemma 4.9 show that any subsequential tripod limit has (i) t with density (1.8), (ii) γ3|t equal to radial SLE2(2,2), and (iii) (γ1,γ2)|(γ3,t) equal to chordal SLE2 weighted by a specific harmonic-measure factor (4.38). The identification of this list with the three-sided radial SLE2 of Definition 1.2 uses exactly the HPW25 imports: the uniqueness of the law characterized by the conditional marginals (Definition 1.2, [HPW25, Thm 1.3]) and the Radon–Nikodym formula (2.51) in Lemma 2.10 (same as [HPW25, Lemma 2.11]). In particular, (2.51) is what converts the weighted-chordal expression (4.38) into the law P3-rad; without it the limit could be a different measure that still has the same γ3 marginal and the same chordal-weighted (γ1,γ2) conditional description. The paper cites these statements but does not prove them, and they are not consequences of Lemma 3.1 or of the discrete determinant computation. A wrong exponent, sign, or missing Brownian-loop-measure factor in (2.51) would directly invalidate Theorem 1.3 even though Theorem 1.1 and the tightness/marginal convergence parts remain intact. The authors are transparent about this reliance, but transparency does not reduce the logical dependence.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":63554,"tokens_out":6836,"duration_ms":62075,"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":[{"comment":"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.","section":"§4.4, Definition 1.2, Lemmas 2.9–2.10 (Eq. 2.51)"},{"comment":"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.","section":"§4.4, Eq. (4.40)–(4.41)"}],"minor_comments":[{"comment":"Typo: 'trifucartion' should be 'trifurcation' in the paragraph after Figure 1.1.","section":"§1.1"},{"comment":"The notation 'C( Ω\\ {x1, x3})' is unclear; presumably it means the space of bounded continuous functions on Ω minus the two marked points. Please clarify.","section":"§3.4, Lemma 3.11"},{"comment":"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.","section":"§3.3, Proof of Proposition 3.5"},{"comment":"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.","section":"§2.4, Lemma 2.10"},{"comment":"Minor grammar: 'We denote by η^{δn}_{1,T_r} = (u0,...,uL) is the boundary branch' should read 'We denote by ... the boundary branch'.","section":"§4.3, Lemma 4.8"}],"recommendation":"major_revision","confidential_remarks":"The paper is technically impressive and the discrete part is convincing. My main reservation is that the central identification in Theorem 1.3 is conditional on [HPW25], a recent preprint by one of the authors. The editor may wish to ensure that the preprint is completed and publicly available before final acceptance, and to consider whether the journal requires the imported uniqueness/RN results to be proved or at least quoted in full."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read Ding–Liu–Wu, \"Tripod in uniform spanning tree and three-sided radial SLE2\". Bottom line: this is a serious paper with a new observable and a careful scaling-limit argument. It deserves a referee.\n\nWhat is actually new: the wired-boundary trifurcation density on the hexagonal lattice, Theorem 1.1, with explicit density (1.8)/(1.10), distinct from Kenyon's free-boundary square-lattice density. The core is Lemma 3.1: the probability that the trifurcation is at a given vertex is a determinant of discrete Poisson kernels. The proof uses a bijection plus Fomin's formula, and the hexagonal geometry is genuinely essential; the lattice-dependent constant matches the dual face area. The determinant's scaling limit equals the tripod partition function, which for kappa=2 is exactly the three-sided radial SLE partition function. Proposition 1.4's explicit harmonic measure of chordal SLE2 is a nice byproduct.\n\nI also checked the spots where I expected hand-waving. Section 3.3-3.4 and Lemma 4.8 contain real Beurling-type estimates for the limit interchanges, not just \"standard tightness\". The normalization and the direct algebra behind (2.52) are clean. No fitting, no circularity.\n\nThe weakness is exactly where the reader points: Section 4.4 identifies the subsequential limit as three-sided radial SLE2 via HPW25's uniqueness claim (Definition 1.2's \"uniquely characterized\") and their Radon-Nikodym formulas. The paper does prove Lemma 2.10 internally, but that proof leans on coordinate-change statements imported from HPW25. So if HPW25 has a wrong exponent or a missing loop-measure factor, Theorem 1.3's label is wrong even though Theorem 1.1 and the marginal convergence survive. That is a real dependency on an unreviewed preprint, and the authors are transparent about it. It is not a generic citation worry; it is load-bearing. Still, this is a normal \"value depends on prior work being correct\" situation, not a defect in the paper's own logic.\n\nWho this is for: probabilists working on SLE scaling limits, UST/LERW, and discrete complex analysis. Bring it to reading group if you want to discuss what \"converges to a process defined in another preprint\" should mean for publication timing.\n\nRecommendation: send to peer review, with a referee who knows multi-sided radial SLE and a request that the authors state precisely which HPW25 results are used. Not a desk reject.","headline":"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.","tokens_in":64130,"tokens_out":2976,"would_cite":true,"duration_ms":31423,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60J67"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["uniform spanning tree","wired boundary conditions","three-sided radial SLE_2","trifurcation","tripod partition function","loop-erased random walk","hexagonal lattice","conformal field theory correlation"],"falsifier":"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.","tokens_in":63041,"feed_emoji":"🌳","tokens_out":5433,"duration_ms":48744,"temperature":0.7,"pith_summary":"This paper proves that the tripod formed by three boundary branches of a wired uniform spanning tree on a fine hexagonal lattice converges, in the scaling limit, to a three-sided radial SLE_2: a triple of simple random curves joining three boundary points to a common interior point. The meeting point, called the trifurcation, is shown to have a law that is absolutely continuous with respect to Lebesgue measure, with an explicit density built from Poisson kernels and the conformal radius. Conditional on the trifurcation, the three branches follow the three-sided radial SLE_2 law. The central step is a new discrete observable — a 3-by-3 determinant of Poisson kernels derived through a determinantal formula for loop-erased random walks — whose scaling limit equals the tripod partition function, which in turn coincides with the SLE_2 partition function. If correct, this is the first lattice realization of a multi-sided radial SLE, and it gives a probabilistic interpretation of a CFT correlation function with boundary conformal weights 1 and a bulk field of weights (1,1).","feed_headline":"Tripod in a spanning tree scales to three-sided radial SLE₂","feed_subtitle":"Explicit density for the meeting point and conditional SLE₂ law give a lattice proof of a CFT correlation function.","key_machinery":"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","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["UST tripod limit: explicit density and SLE₂ law","Trifurcation density and SLE₂: a lattice CFT proof","Spanning tree tripod: from lattice to SLE₂","Explicit tripod density in UST converges to SLE₂ law","Lattice tripod yields three-sided radial SLE₂"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["UST tripod limit: explicit density and SLE₂ law","Trifurcation density and SLE₂: a lattice CFT proof","Spanning tree tripod: from lattice to SLE₂","Explicit tripod density in UST converges to SLE₂ law","Lattice tripod yields three-sided radial SLE₂"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000287,"raw_usage":{"total_tokens":1618,"prompt_tokens":933,"completion_tokens":685,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":677,"completion_tokens_details":{"reasoning_tokens":600}},"tokens_in":677,"tokens_out":685,"duration_ms":6070,"temperature":1.0,"reasoning_tokens":600,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T22:15:16.144759+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}