REVIEW 2 major objections 4 minor 51 references
Radial BPZ equations and partition functions of FK-Ising interfaces conditional on one-arm event
T0 review · 2 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read For the FK-Ising model, an interface conditioned on a one-arm connection converges to a radial Loewner chain whose partition function solves the radial BPZ equations.
desk verdict A genuinely new conditional scaling limit for FK-Ising interfaces driven by radial BPZ solutions, with a sound main argument but a few proof sketches that must be expanded before the paper is complete. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the weighted global multiple SLE partition function $Z_\alpha^{(r)}(\Omega;x_1,\ldots,x_{2N};z)=Z_\alpha(\Omega;x_1,\ldots,x_{2N})E_\alpha[\operatorname{CR}(\Omega\setminus\eta;z)^{-r}]$, together with the variant $Z_{\alpha;w}^{(r)}$ that restricts to the event $W(\eta;z)$ fixing which side of each interface contains the interior point. The paper shows that, for $\kappa\in(0,6]$ and $r<1-\kappa/8$, these functions are positive solutions of the radial BPZ system (1.2) with $\aleph=(6-\kappa)(\kappa-2)/(8\kappa)-r$; the proof runs through the local martingale $M_t(Z)=g'_t(0)^{r-\tilde h}\prod_{j=2}^{2N}\phi'_t(\theta_j)^h Z(\xi_t,\phi_t(\theta_2),\ldots,\phi_t(\theta_{2N}))$ with $h=(6-\kappa)/(2\kappa)$ and $\tilde h=(6-\kappa)(\kappa-2)/(8\kappa)$. Zeroing the drift of this martingale gives the BPZ equation, and hypoellipticity upgrades weak solutions to smooth ones. On the lattice side, the same expression emerges from the domain Markov property of the FK-Ising model: conditioning on the one-arm event multiplies the interface law by the conditional connection probability, which converges to $\operatorname{CR}(\Omega\setminus\eta;z)^{-1/8}$.
What would settle it
Simulate the critical FK-Ising model in a unit disc with one interior point and two marked boundary points, condition on the one-arm event, extract the radial driving function of the interface, and compare its drift to $\kappa\,\partial_1\log G^{(1/8)}$ with $G^{(1/8)}$ given by (1.8); a statistically significant mismatch would show the conjectured BPZ solution is not the lattice limit.
Extended reading notes
Core claim
The central claim is Theorem 1.2: for critical FK-Ising interfaces in a polygon with alternating boundary conditions, the law of each interface $\eta_j^\delta$ conditional on the one-arm event $A^\delta$ converges weakly, as the mesh $\delta\to0$, to the image under the conformal map $\varphi^{-1}$ of the radial Loewner chain whose driving function solves (1.6), up to the first time a neighboring marked point is swallowed. The partition function $G^{(1/8)}$ in the drift is a positive solution of the radial BPZ equations (1.7) with constant $\aleph=(16-\kappa^2)/(32\kappa)$, and for $N=1$ it has the explicit form $(\sin((\theta_2-\theta_1)/2))^{1-6/\kappa}(\sin((\theta_2-\theta_1)/4))^{8/\kappa-1}$. The proof identifies $G^{(1/8)}$ as the scaling limit of the normalized one-arm probabilities: the unconditioned interface law converges to a mixture of global multiple $\mathrm{SLE}_{16/3}$ weighted by the appropriate meander connection probabilities, and conditioning multiplies each SLE by the indicator of the winding event $W$ times $\operatorname{CR}(\Omega\setminus\eta;z)^{-1/8}$, the conformal-radius power from the one-arm exponent. That weighted object is exactly the partition function for which Proposition 1.4 establishes radial BPZ equations.
Load-bearing premise
The argument rests on the assertion, sketched around (3.13), that the normalized conditional one-arm probabilities converge uniformly to $\operatorname{CR}(\Omega\setminus\eta;z)^{-1/8}$ jointly with the interface curves; if this joint convergence fails, the identified driving function may not be the correct limit.
Editorial extensions
If this is right
- For $q=2$, $\kappa=16/3$, the conditional interface has a precise weak limit described by the radial Loewner SDE (1.6), so scaling-limit statements about the conditioned FK-Ising interface can be read off from the SLE with this driving function.
- The partition function $G^{(1/8)}$ solves radial BPZ with the specific constant $\aleph=(16-\kappa^2)/(32\kappa)$, and for $N=1$ it is explicit, giving a closed-form prediction for the one-arm conditioned interface in a two-point domain.
- The same strategy proves Conjecture 1.1 for Bernoulli site percolation on the triangular lattice ($\kappa=6$), because convergence to SLE$_6$ and CLE$_6$ is already known.
- For general $q\in[1,4)$, Conjecture 1.1 would follow from the same argument once convergence of a single interface to SLE$_\kappa$ and of the loop ensemble to CLE$_\kappa$ are established.
Reading between the lines
- The construction suggests the radial BPZ constant $\aleph$ should be read as a tunable arm-exponent parameter: other conditioning events, such as two-arm or multi-arm connections, would correspond to other values of $r$ and hence other constants $\aleph$ in the same family of solutions.
- One could test the $N=1$ formula numerically: simulate the FK-Ising interface conditioned on the one-arm event, extract the driving function of the radial Loewner chain, and compare its drift with $\kappa\,\partial_1\log G^{(1/8)}$ from (1.8).
- The joint-convergence step around (3.13) suggests that a sharper quantitative version of Lemma 1.5, with errors uniform over interface configurations, would be the natural next ingredient, both to complete the argument rigorously and to extend it to models without full CLE convergence.
- The same weighted-global-SLE machinery may transfer to other planar critical random-cluster models ($q\neq2$) as soon as the required interface and loop convergence results appear, making one-arm conditioning a general route from lattice probabilities to BPZ equations.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the radial BPZ equations associated with Dubédat's commutation relation and their connection to the scaling limit of FK-Ising interfaces conditioned on a one-arm event. It constructs positive solutions Z^(r)_α to the radial BPZ system (1.12) as global multiple SLE expectations of CR(Ω∖η;z)^{-r}, and introduces a W-weighted variant Z^(r)_{α;w} defined through the event that the interior point stays on prescribed sides of all relevant curves. The main result, Theorem 1.2, states that for the FK-Ising model q=2 (κ=16/3), the law of the collection of interfaces conditional on the one-arm event converges to global N-SLE weighted by CR^{-1/8}, equivalently that the first interface is a radial SLE_κ driven by (1.6), where the partition function G^(1/8) satisfies the radial BPZ equations (1.7). The proof combines known convergence results for FK-Ising interfaces [BPW21, FPW24], the one-arm asymptotic Lemma 1.5, and the BPZ construction of Section 2.
Significance. If correct, Theorem 1.2 is a substantial result: it gives the first rigorous scaling limit for multiple FK-Ising interfaces under a conditioning that effectively changes the partition function, and it identifies the limiting curve as radial SLE weighted by a positive solution of the radial BPZ system. The overall strategy is natural and the algebraic parts of the paper, such as the Itô calculus derivation in Lemma 2.2 and the hypoellipticity argument, are standard and appear sound. The paper also credits and cleanly uses the relevant prior inputs, including [BPW21, FPW24, KS16], and it provides an independent CLE-based proof of the known one-arm estimate in Lemma 1.5. However, as detailed in the major comments, two load-bearing points are only sketched: the proof of Lemma 2.8 and the joint convergence limit (3.13). These gaps prevent the manuscript from being fully convincing in its present form, although the central claim seems plausible and the gaps appear fixable.
major comments (2)
- [Section 2.5, Lemma 2.8] Lemma 2.8 is asserted with the one-line proof 'This can be proved in the same way as Lemma 2.2,' but the W-weighted case is not a routine variant. Lemma 2.2 uses identity (2.18), which expresses the conditional expectation of CR(U∖η)^{-r} given η(1)[0,t] as a ratio of full partition functions evaluated at the conformally evolved marked points. For Z^(r)_{α;w}, the event W(η;z) from Definition 2.7 is a global topological condition involving the side of every curve touching the component Ω_η(z); conditional on the past of η(1), whether W holds depends on how the remaining curves connect to the two sides of the slit, not only on the images of the original marked points. An analogue of the cascade relation in Lemma 2.6 for the weighted partition functions is therefore needed, and it is neither stated nor proved. Since Definition 3.9 and equation (3.10) build G^(1/8) from Z^(r)_{α;w}, the driving function (1.6) in Theorem 1.2 is unsupported unless Lemma 2.8 is given a full proof.
- [Section 3.3, Eq. (3.13)] The proof of Theorem 1.2 asserts the joint limit (3.13) with the instruction that it can be handled as in Corollary 3.8, but this is not a formality. Corollary 3.8's argument uses the epsilon-annulus truncation in (3.7)–(3.8) and dominated convergence for the indicator W(ηδ;zδ); passing to the version with an arbitrary bounded continuous test function F requires a uniform, curve-dependent version of Lemma 1.5 for the random domains Ω^δ_{ηδ(zδ)}, and the paper does not state or prove such a uniformity statement. If this uniformity fails, the identified limit in (3.10), and hence the driving function in Theorem 1.2, could be incorrect. This point should be replaced with a precise lemma and proof.
minor comments (4)
- [Section 2.5, Definition 2.7] The word 'even' in 'We denote by W(η;z) the even that...' should be 'event'.
- [Section 3.2, opening paragraph] The word 'crtitical' in 'We now consider the crtitical FK-Ising model' is a typo and should be 'critical'.
- [Appendix A, end of proof of Lemma 1.5] The sentence 'Comparing (A.8) with (A.10) gives (A.11)' appears to refer to (A.9) rather than (A.8); the displayed line (A.11) follows from (A.9) and (A.10).
- [Section 2.1, Corollary 2.4] The notation Q^ for the chordal SLE law used in Corollary 2.4 is not defined in the surrounding text; please introduce it explicitly.
Circularity Check
No significant circularity: the partition functions are constructed from SLE expectations, the BPZ equations are derived from the local-martingale condition, and the one-arm exponent and convergence inputs are external prior results.
full rationale
The paper's central chain is not circular. The partition functions are explicitly constructed: Z_alpha^{(r)} = Z_alpha E[CR^{-r}] in (1.10), and G^{(r)} is a fixed linear combination in (3.9); the radial BPZ equations (1.12) are consequences of the local-martingale condition for radial SLE via the Ito calculation (2.19), not assumptions built into the definition. The exponent 1/8 is imported from independent prior work ([SSW09], [CHI15]) and is proved again in Appendix A from CLE convergence, so it is not a fitted parameter. The convergence inputs [BPW21] and [FPW24] are peer-reviewed external results and do not reduce to the one-arm conditioning being derived. The main caveats are completeness gaps, not circularity: Lemma 2.8 asserts the W-weighted analogue with the one-line proof 'This can be proved in the same way as Lemma 2.2,' although the event W is non-local, and the limit (3.13) is only sketched ('one can proceed as in the proof of Corollary 3.8'). These are soundness/correctness risks, but they do not make the target conclusion equivalent to the inputs by construction, so the circularity score is 0.
Assumptions & free parameters
free parameters (1)
- r (conformal radius exponent) =
1/8 for the FK-Ising application
assumptions (5)
- domain assumption Existence and uniqueness of global N-SLE_kappa for kappa in (0,8)
- domain assumption Convergence of FK-Ising multiple interfaces without conditioning to global N-SLE_16/3
- domain assumption One-arm exponent for CLE/SLE equals 1/8
- standard math Hypoellipticity of the BPZ operator upgrades weak solutions to smooth solutions
- standard math Koebe's 1/4 theorem and monotonicity of the Poisson kernel
Cite this review
Pith. "Pith review of Radial BPZ equations and partition functions of FK-Ising interfaces conditional on one-arm event." pith.science (2026). https://pith.science/paper/H2QEUJ2T
@misc{pith2026241116051,
author = {Pith},
title = {Pith review of: Radial BPZ equations and partition functions of FK-Ising interfaces conditional on one-arm event},
year = {2026},
howpublished = {\url{https://pith.science/paper/H2QEUJ2T}},
note = {Machine review of arXiv:2411.16051}
}
read the original abstract
Radial BPZ equations come naturally when one solves Dub\'{e}dat's commutation relation in the radial setting. We construct positive solutions to radial BPZ equations and show that partition functions of FK-Ising interfaces in a polygon conditional on a one-arm event are positive solutions to radial BPZ equations.
Figures
Reference graph
Works this paper leans on
-
[1]
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
-
[2]
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
work page 2021
-
[3]
Conformal covariance of connection probabilities and fields in 2 D critical percolation
Federico Camia. Conformal covariance of connection probabilities and fields in 2 D critical percolation. Comm. Pure Appl. Math. , 77(3):2138--2176, 2024
2024
-
[4]
Calogero- S utherland model and bulk-boundary correlations in conformal field theory
John Cardy. Calogero- S utherland model and bulk-boundary correlations in conformal field theory. Phys. Lett. B , 582(1-2):121--126, 2004
work page 2004
-
[5]
Robust discrete complex analysis: A toolbox
Dmitry Chelkak. Robust discrete complex analysis: A toolbox. The Annals of Probability , 44(1):628--683, 2016
work page 2016
-
[6]
Conformal invariance of spin correlations in the planar I sing model
Dmitry Chelkak, Cl\'ement Hongler, and Konstantin Izyurov. Conformal invariance of spin correlations in the planar I sing model. Ann. of Math. (2) , 181(3):1087--1138, 2015
2015
-
[7]
Federico Camia and Charles M. Newman. Two-dimensional critical percolation: the full scaling limit. Comm. Math. Phys. , 268(1):1--38, 2006
2006
-
[8]
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
Show all 51 references
-
[9]
Doyon and J
B. Doyon and J. Cardy. Calogero- S utherland eigenfunctions with mixed boundary conditions and conformal field theory correlators. J. Phys. A , 40(10):2509--2540, 2007
2007
-
[10]
Connection probabilities and RSW -type bounds for the two-dimensional FK I sing model
Hugo Duminil-Copin, Cl\' e ment Hongler, and Pierre Nolin. Connection probabilities and RSW -type bounds for the two-dimensional FK I sing model. Comm. Pure Appl. Math. , 64(9):1165--1198, 2011
2011
-
[11]
Rotational invariance in critical planar lattice models
Hugo Duminil-Copin, Karol Kajetan Kozlowski, Dmitry Krachun, Ioan Manolescu, and Mendes Oulamara. Rotational invariance in critical planar lattice models. Preprint in arXiv:2012.11672, 2020
2012 arXiv
-
[12]
Planar random-cluster model: fractal properties of the critical phase
Hugo Duminil-Copin, Ioan Manolescu, and Vincent Tassion. Planar random-cluster model: fractal properties of the critical phase. Probab. Theory Related Fields , 181(1-3):401--449, 2021
2021
-
[13]
Continuity of the phase transition for planar random-cluster and P otts models with 1 q 4
Hugo Duminil-Copin, Vladas Sidoravicius, and Vincent Tassion. Continuity of the phase transition for planar random-cluster and P otts models with 1 q 4 . Comm. Math. Phys. , 349(1):47--107, 2017
2017
-
[14]
Commutation relations for S chramm- L oewner evolutions
Julien Dub \'e dat. Commutation relations for S chramm- L oewner evolutions. Comm. Pure Appl. Math. , 60(12):1792--1847, 2007
2007
-
[15]
Flores and Peter Kleban
Steven M. Flores and Peter Kleban. A solution space for a system of null-state partial differential equations: P art 2. Comm. Math. Phys. , 333(1):435--481, 2015
2015
-
[16]
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
-
[17]
S. M. Flores, P. Kleban, and R. M. Ziff. Cluster pinch-point densities in polygons. J. Phys. A , 45(50):505002, 45, 2012
2012
-
[18]
Multiple SLEs for (0,8) : Coulomb gas integrals and pure partition functions
Yu Feng, Mingchang Liu, Eveliina Peltola, and Hao Wu. Multiple SLEs for (0,8) : Coulomb gas integrals and pure partition functions. Preprint in arXiv: 2406.06522, 2024
2024 arXiv
-
[19]
Connection probabilities of multiple FK-Ising interfaces
Yu Feng, Eveliina Peltola, and Hao Wu. Connection probabilities of multiple FK-Ising interfaces. Probability Theory and Related Fields , 189(1-2):281--367, March 2024
2024
-
[20]
Flores, Jacob J
Steven M. Flores, Jacob J. H. Simmons, and Peter Kleban. Multiple- SLE _ connectivity weights for rectangles, hexagons, and octagons. J. Phys. A , 55(22):Paper No. 224001, 54, 2022
2022
-
[21]
S. M. Flores, J. J. H. Simmons, P. Kleban, and R. M. Ziff. A formula for crossing probabilities of critical systems inside polygons. J. Phys. A , 50(6):064005, 91, 2017
2017
-
[22]
K. Graham. On multiple S chramm- L oewner evolutions. J. Stat. Mech. Theory Exp. , (3):P03008, 21, 2007
2007
-
[23]
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
-
[24]
Critical I sing interfaces in multiply-connected domains
Konstantin Izyurov. Critical I sing interfaces in multiply-connected domains. Probab. Theory Related Fields , 167(1-2):379--415, 2017
2017
-
[25]
On multiple SLE for the FK - I sing model
Konstantin Izyurov. On multiple SLE for the FK - I sing model. Ann. Probab. , 50(2):771--790, 2022
2022
-
[26]
Multiple SLE type scaling limits: from local to global
Alex Karrila. Multiple SLE type scaling limits: from local to global. Preprint in arXiv:1903.10354, 2019
1903 arXiv
-
[27]
Alex M. Karrila. Limits of conformal images and conformal images of limits for planar random curves. Enseign. Math. , 70(3-4):385--423, 2024
2024
-
[28]
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
-
[29]
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
-
[30]
Conformal invariance in random cluster models
Antti Kemppainen and Stanislav Smirnov. Conformal invariance in random cluster models. II . F ull scaling limit as a branching SLE . Preprint in arXiv:1609.08527, 2016
2016 arXiv
-
[31]
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
-
[32]
Conformal invariance of boundary touching loops of FK I sing model
Antti Kemppainen and Stanislav Smirnov. Conformal invariance of boundary touching loops of FK I sing model. Comm. Math. Phys. , 369(1):49--98, 2019
2019
-
[33]
Gregory F. Lawler. Partition functions, loop measure, and versions of SLE . J. Stat. Phys. , 134(5-6):813--837, 2009
2009
-
[34]
Uniform spanning tree in topological polygon, partition functions for SLE (8), and correlations in c=-2 logarithm CFT
Mingchang Liu, Eveliina Peltola, and Hao Wu. Uniform spanning tree in topological polygon, partition functions for SLE (8), and correlations in c=-2 logarithm CFT . Ann. Probab. to appear , 2024
2024
-
[35]
Lawler, Oded Schramm, and Wendelin Werner
Gregory F. Lawler, Oded Schramm, and Wendelin Werner. One-arm exponent for critical 2 D percolation. Electron. J. Probab. , 7:no. 2, 13 pp. (electronic), 2002
2002
-
[36]
Imaginary geometry I : I nteracting SLE s
Jason Miller and Scott Sheffield. Imaginary geometry I : I nteracting SLE s. Probab. Theory Related Fields , 164(3-4):553--705, 2016
2016
-
[37]
Imaginary geometry II : R eversibility of SLE ( 1; 2) for (0,4)
Jason Miller and Scott Sheffield. Imaginary geometry II : R eversibility of SLE ( 1; 2) for (0,4) . Ann. Probab. , 44(3):1647--1722, 2016
2016
-
[38]
Pommerenke
Ch. Pommerenke. Boundary behaviour of conformal maps , volume 299 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, 1992
1992
-
[39]
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
-
[40]
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
-
[41]
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
-
[42]
Jacob J. H. Simmons, Peter Kleban, Steven M. Flores, and Robert M. Ziff. Cluster densities at 2 D critical points in rectangular geometries. J. Phys. A , 44(38):385002, 34, 2011
2011
-
[43]
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
-
[44]
Oded Schramm, Scott Sheffield, and David B. Wilson. Conformal radii for conformal loop ensembles. Comm. Math. Phys. , 288(1):43--53, 2009
2009
-
[45]
Oded Schramm and David B. Wilson. S LE coordinate changes. New York J. Math. , 11:659--669 (electronic), 2005
2005
-
[46]
Conformal welding of quantum disks and multiple SLE : the non-simple case
Xin Sun and Pu Yu. Conformal welding of quantum disks and multiple SLE : the non-simple case. Preprint in arXiv:2309.05177, 2023
2023 arXiv
-
[47]
Polychromatic arm exponents for the critical planar FK - I sing model
Hao Wu. Polychromatic arm exponents for the critical planar FK - I sing model. J. Stat. Phys. , 170(6):1177--1196, 2018
2018
-
[48]
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
-
[49]
Commutation relations for two-sided radial SLE
Yilin Wang and Hao Wu. Commutation relations for two-sided radial SLE . Preprint in arXiv:2405.07082, 2024
2024
-
[50]
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
-
[51]
Multiple radial SLE (0) and classical Calogero-Sutherland system
Jiaxin Zhang. Multiple radial SLE (0) and classical Calogero-Sutherland system. Preprint in arXiv:2410.21544, 2024
2024
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.