pith. sign in

arxiv: 2510.04701 · v3 · submitted 2025-10-06 · 🧮 math-ph · hep-th· math.MP

Three-point functions in critical loop models

Jesper Lykke Jacobsen , Rongvoram Nivesvivat , Sylvain Ribault , Paul Roux This is my paper

Pith reviewed 2026-05-18 09:24 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.MP
keywords critical loop modelsthree-point functionsleg fieldsdiagonal fieldstransfer matrixconformal invariancenon-intersecting loops
0
0 comments X

The pith

A conjectured exact formula gives three-point functions for fields inserting open loops or weighting closed ones in critical two-dimensional loop models.

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

The authors propose a precise expression for the three-point correlation functions of fields that insert a fixed number of open loop segments or alter the statistical weights of closed loops, all evaluated on the sphere in models of non-intersecting loops at criticality. If the formula holds, it supplies closed-form predictions for how such fields correlate, which in turn controls the large-scale geometry and probabilities of loop configurations. The conjecture recovers previously known results when restricted to diagonal fields or to spinless two-leg fields. Direct numerical checks on finite cylindrical lattices, obtained via transfer-matrix diagonalization, reproduce the predicted values in nearly every tested case, with the remaining mismatches traced to specific technical features of the underlying algebraic modules.

Core claim

We conjecture an exact formula for 3-point functions of such fields on the sphere. In the cases of diagonal or spinless 2-leg fields, the conjecture agrees with known results from Conformal Loop Ensembles. Numerical computations of 3-point functions in loop models on cylindrical lattices using transfer matrix techniques agree with the conjecture in almost all cases, with the few discrepancies attributed to difficulties that arise when the relevant modules of the unoriented Jones-Temperley-Lieb algebra have degenerate ground states.

What carries the argument

the conjectured exact formula for the three-point functions of ℓ-leg fields and diagonal fields

If this is right

  • The formula recovers known results for diagonal fields and for spinless two-leg fields.
  • Transfer-matrix evaluations on cylindrical lattices confirm the predicted values except in modules with degenerate ground states.
  • The mismatches are explained as computational artifacts of degeneracy and do not undermine the formula.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same functional form could be tested on other surfaces such as the torus once appropriate modular data are incorporated.
  • Refinements to the lattice algorithm that bypass degeneracy issues would furnish cleaner numerical tests and potentially reveal further special cases.
  • If the conjecture is accurate, it supplies a practical route to computing explicit probabilities for loop crossings or fusions that were previously accessible only through simulation.

Load-bearing premise

Numerical discrepancies with the conjectured formula arise solely from degenerate ground states in certain algebra modules rather than from any error in the formula itself.

What would settle it

A high-precision lattice computation of a three-point function in a module without degenerate ground states that deviates measurably from the conjectured value would falsify the formula.

Figures

Figures reproduced from arXiv: 2510.04701 by Jesper Lykke Jacobsen, Paul Roux, Rongvoram Nivesvivat, Sylvain Ribault.

Figure 1
Figure 1. Figure 1: Finite-size results for C(1,0)(1,0)(1,0)(L) √ n in the O(n) model, as functions of n. The continuous line plots ω(1,0)(1,0)(1,0) √ n , with a lower branch (blue) for the dense phase, and an upper branch (orange) for the dilute phase. The coloured points show numerical results for lattices of finite sizes L = 4 (cyan) to L = 13 (red). The black points are L → ∞ extrapolations from 8 ≤ L ≤ 13. 0.5 1.0 1.5 2.… view at source ↗
Figure 2
Figure 2. Figure 2: Finite-size results for C(1,0)(1,0)(1,0)(L) √ n in the P SU(n) model, as functions of n. The coloured points show the finite even sizes from L = 6 (cyan) to L = 18 (red). Orange points give the L → ∞ extrapolation, black points the corresponding O(n) result for comparison. 20 [PITH_FULL_IMAGE:figures/full_fig_p020_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Ratio between the extrapolation C(1,0)(1,0)(1,0)(∞) of the O(n) loop-model results and ω(1,0),(1,0),(1,0). We finally give a high-precision comparison between the numerical and analytic re￾sults [PITH_FULL_IMAGE:figures/full_fig_p021_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Comparison between C123(L) (upper left panel), C132(L) (upper right panel), and C213(L) (lower left panel). The black points show the L → ∞ extrapolations. L → ∞ extrapolations of all three quantities, shown as black points in [PITH_FULL_IMAGE:figures/full_fig_p022_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Plots of C123(L) for the O(n) loop-model results, their L → ∞ ex￾trapolations and the analytic formula ω(r1,0),(r2,0),(r3,0), for the cases (r1, r2, r3) = ( 1 2 , 1, 1 2 ),(1, 3 2 , 3 2 ),( 1 2 , 2, 3 2 ) (top row, from left to right), and (1, 2, 2),( 3 2 , 2, 3 2 ),(2, 2, 2) (bot￾tom row). 0.5 1.0 1.5 2.0 n 0.05 0.10 0.15 0.20 ω(2,0),(1/2,0),(1/2,0) 0.5 1.0 1.5 2.0 n 0.05 0.10 0.15 ω(5/2,0),(1/2,0),(1,0) … view at source ↗
Figure 6
Figure 6. Figure 6: Plots of C123(L) for the O(n) loop-model results, their L → ∞ extrapolations and the analytic formula ω(r1,0),(r2,0),(r3,0), for two cases with enclosures: (r1, r2, r3) = (2, 1 2 , 1 2 ) and ( 5 2 , 1 2 , 1). 0.5 1.0 1.5 2.0 n 1.1 1.2 1.3 1.4 ω(1,0),(0,s2),(1,0) 0.5 1.0 1.5 2.0 n 0.4 0.6 0.8 1.0 ω(1,0),(0,s2),(1,0) [PITH_FULL_IMAGE:figures/full_fig_p023_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Extrapolated transfer-matrix results for the [PITH_FULL_IMAGE:figures/full_fig_p023_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Plots of |C123(L)| for the O(n) loop-model results, their L → ∞ extrapola￾tions, and |ω( 1 2 ,0),(1,0),( 3 2 , 2 3 ) |, |ω( 3 2 , 2 3 ),(1,0),( 3 2 ,− 2 3 ) | (top row, from left to right), |ω(2,0),(1,0),(2, 1 2 ) |, |ω(2, 1 2 ),(1,0),(2, 1 2 ) | (bottom row). 24 [PITH_FULL_IMAGE:figures/full_fig_p024_8.png] view at source ↗
read the original abstract

In two-dimensional models of critical non-intersecting loops, there are $\ell$-leg fields that insert $\ell\in\mathbb{N}^*$ open loop segments, and diagonal fields that change the weights of closed loops. We conjecture an exact formula for 3-point functions of such fields on the sphere. In the cases of diagonal or spinless 2-leg fields, the conjecture agrees with known results from Conformal Loop Ensembles. We numerically compute 3-point functions in loop models on cylindrical lattices, using transfer matrix techniques. The results agree with the conjecture in almost all cases. We attribute the few discrepancies to difficulties that can arise in our lattice computation when the relevant modules of the unoriented Jones-Temperley--Lieb algebra have degenerate ground states.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper conjectures an exact formula for 3-point functions of ℓ-leg fields and diagonal fields in two-dimensional critical non-intersecting loop models on the sphere. It verifies agreement with known Conformal Loop Ensemble results for diagonal or spinless 2-leg fields, and supports the conjecture via transfer-matrix numerical computations of 3-point functions on cylindrical lattices, attributing the few discrepancies to degenerate ground states in unoriented Jones-Temperley-Lieb algebra modules.

Significance. If the conjecture holds, it would provide a valuable exact result for correlation functions in loop models, extending CLE predictions and aiding the study of associated conformal field theories. The agreement with existing CLE results for special cases and the independent lattice numerical checks constitute clear strengths of the work.

major comments (1)
  1. [Abstract, final paragraph] Abstract, final paragraph: the attribution of numerical discrepancies to degenerate ground states in the unoriented Jones-Temperley-Lieb algebra modules lacks explicit verification (e.g., no report of the dimension of the kernel of the transfer matrix or multiplicity of the lowest eigenvalue). This is load-bearing for the central claim, as the numerical support is essential to the conjecture's credibility and the mismatches could instead indicate incompleteness in the formula or a systematic error in the extraction of structure constants.
minor comments (2)
  1. [Abstract] The abstract states agreement 'in almost all cases' without quantifying the total number of cases tested or the size of the discrepancies.
  2. Numerical results would benefit from reported error bars or uncertainty estimates on the computed 3-point values to better evaluate the quality of agreement.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive overall assessment. We address the single major comment below and will revise the manuscript to incorporate additional explicit verification as requested.

read point-by-point responses

  1. Referee: Abstract, final paragraph: the attribution of numerical discrepancies to degenerate ground states in the unoriented Jones-Temperley-Lieb algebra modules lacks explicit verification (e.g., no report of the dimension of the kernel of the transfer matrix or multiplicity of the lowest eigenvalue). This is load-bearing for the central claim, as the numerical support is essential to the conjecture's credibility and the mismatches could instead indicate incompleteness in the formula or a systematic error in the extraction of structure constants.

    Authors: We agree that the current manuscript does not supply explicit numerical data on the degeneracy (such as kernel dimensions or eigenvalue multiplicities) to support the attribution of the observed discrepancies. While the structure of the unoriented Jones-Temperley-Lieb algebra modules makes such degeneracies expected in the specific cases where mismatches occur, we acknowledge that this should be documented explicitly rather than asserted. In the revised version we will add a short supplementary discussion or table reporting, for each discrepant case, the dimension of the relevant module, the multiplicity of the lowest transfer-matrix eigenvalue, and the dimension of its kernel. This will make the numerical evidence fully transparent and rule out alternative interpretations of the mismatches. revision: yes

Circularity Check

0 steps flagged

Conjecture checked by independent numerics and external CLE results; no reduction to inputs by construction

full rationale

The manuscript presents an explicit conjecture for three-point functions of loop-model fields. This conjecture is tested against independently known results from Conformal Loop Ensembles (for diagonal and spinless 2-leg cases) and against transfer-matrix computations performed on finite cylindrical lattices. The lattice data constitute an external numerical check whose extraction of structure constants does not enter the statement of the conjecture itself. Discrepancies are ascribed to module degeneracies, but this is an interpretive remark on numerical limitations rather than a definitional or fitted step that would make the conjecture tautological. No self-citation is invoked as the sole justification for the central formula, and no parameter is fitted to a subset of the target data and then re-labeled as a prediction. The derivation chain therefore remains non-circular.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; the conjecture likely rests on standard assumptions of conformal invariance and the representation theory of the Jones-Temperley-Lieb algebra, but no explicit free parameters, axioms, or invented entities are stated.

pith-pipeline@v0.9.0 · 5662 in / 1211 out tokens · 27304 ms · 2026-05-18T09:24:48.456658+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Exact solution of three-point functions in critical loop models

    cond-mat.stat-mech 2026-04 unverdicted novelty 8.0

    An exact formula for three-point functions in critical loop models is proposed and validated using conformal bootstrap, transfer-matrix lattice studies, and conformal loop ensembles with Liouville quantum gravity.

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages · cited by 1 Pith paper · 15 internal anchors

  1. [1]

    Grans-Samuelsson, J

    L. Grans-Samuelsson, J. L. Jacobsen, R. Nivesvivat, S. Ribault, H. Saleur (2023) [arXiv:2302.08168] From combinatorial maps to correlation functions in loop models. SciPost Phys. 15 p. 147 (2, 4, 9)

    work page arXiv 2023

  2. [2]

    Fortuin, P

    C. Fortuin, P. Kasteleyn (1972) [doi:10.1016/0031-8914(72)90045-6] On the random-cluster model. Physica 57(4) pp. 536 – 564 (3, 11)

    work page doi:10.1016/0031-8914(72)90045-6 1972

  3. [3]

    Nienhuis (1982) [doi:10.1103/PhysRevLett.49.1062] Exact critical point and critical exponents ofO(n)models in two dimensions

    B. Nienhuis (1982) [doi:10.1103/PhysRevLett.49.1062] Exact critical point and critical exponents ofO(n)models in two dimensions. Phys. Rev. Lett. 49 pp. 1062–1065 (3)

    work page doi:10.1103/physrevlett.49.1062 1982

  4. [4]

    Nivesvivat, S

    R. Nivesvivat, S. Ribault, J. L. Jacobsen (2024) [arXiv:2311.17558] Critical loop models are exactly solvable. SciPost Physics 17(2) (3, 4, 5)

    work page arXiv 2024

  5. [5]

    Ribault (2024) [arXiv:2411.17262] Exactly solvable conformal field theories(3, 4, 6)

    S. Ribault (2024) [arXiv:2411.17262] Exactly solvable conformal field theories(3, 4, 6)

    work page arXiv 2024

  6. [6]

    M. Ang, G. Cai, X. Sun, B. Wu (2024) [arXiv:2107.01788] Integrability of Conformal Loop Ensemble: Imaginary DOZZ Formula and Beyond (3, 5, 6, 26, 28)

    work page arXiv 2024

  7. [7]

    Three-point functions in c <= 1 Liouville theory and conformal loop ensembles

    Y. Ikhlef, J. L. Jacobsen, H. Saleur (2016) [arXiv:1509.03538] Three-point functions inc≤1Liouville theory and conformal loop ensembles. Phys. Rev. Lett. 116(13) p. 130601 (3, 6, 15, 28) 28

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  8. [8]

    Di Francesco, H

    P. Di Francesco, H. Saleur, J.-B. Zuber (1987) [doi:10.1007/BF01009954] Relations between the Coulomb gas picture and conformal invariance of two- dimensional critical models. Journal of statistical physics 49(1-2) pp. 57–79 (3)

    work page doi:10.1007/bf01009954 1987

  9. [9]

    Two-Dimensional Critical Percolation: The Full Scaling Limit

    F. Camia, C. M. Newman (2006) [arXiv:math/0605035] Two-Dimensional Critical Percolation: The Full Scaling Limit. Communications in Mathematical Physics 268(1) p. 1–38 (4)

    work page internal anchor Pith review Pith/arXiv arXiv 2006

  10. [10]

    Exploration trees and conformal loop ensembles

    S. Sheffield (2006) [arXiv:math/0609167] Exploration trees and conformal loop ensembles(4)

    work page internal anchor Pith review Pith/arXiv arXiv 2006

  11. [11]

    Conformal Loop Ensembles: The Markovian characterization and the loop-soup construction

    S. Sheffield, W. Werner (2011) [arXiv:1006.2374] Conformal Loop Ensembles: The Markovian characterization and the loop-soup con- struction(4)

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  12. [12]

    Basic properties of SLE

    S. Rohde, O. Schramm (2005) [arXiv:math/0106036] Basic properties of SLE. Annals Math. 161 pp. 879–920 (5)

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  13. [13]

    Beffara (2004) [doi:10.1214/009117904000000072] Hausdorff dimensions for SLE6

    V. Beffara (2004) [doi:10.1214/009117904000000072] Hausdorff dimensions for SLE6. The Annals of Probability 32(3B) (5)

    work page doi:10.1214/009117904000000072 2004

  14. [14]

    Beffara (2008) [doi:10.1214/07-aop364] The dimension of the SLE curves

    V. Beffara (2008) [doi:10.1214/07-aop364] The dimension of the SLE curves. The Annals of Probability 36(4) (5)

    work page doi:10.1214/07-aop364 2008

  15. [15]

    Nolin, W

    P. Nolin, W. Qian, X. Sun, Z. Zhuang (2023) [arXiv:2309.05050] Backbone exponent for two-dimensional percolation(5)

    work page arXiv 2023

  16. [16]

    Roux (2024 code) BarnesDoubleGamma.jl

    P. Roux (2024 code) BarnesDoubleGamma.jl. URLhttps://juliapackages.com/p/ barnesdoublegamma(5)

    work page 2024

  17. [17]

    On three-point connectivity in two-dimensional percolation

    G. Delfino, J. Viti (2011) [arXiv:1009.1314] On three-point connectivity in two-dimensional percolation. J. Phys. A 44 p. 032001 (6)

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  18. [18]

    Duplantier, H

    B. Duplantier, H. Saleur (1987) [doi:10.1016/0550-3213(87)90190-8] Exact Critical Properties of Two-dimensional Dense Selfavoiding Walks. Nucl. Phys. B 290 pp. 291–326 (7)

    work page doi:10.1016/0550-3213(87)90190-8 1987

  19. [19]

    G. F. Lawler, O. Schramm, W. Werner (2004) [arXiv:math/0112234] Conformal invariance of planar loop-erased random walks and uniform spanning trees. Annals of Probability 32 pp. 939–995 (7)

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  20. [20]

    R. W. Kenyon, D. B. Wilson (2011) [arXiv:math/0608422] Boundary partitions in trees and dimers. Trans. Amer. Math. Soc. 363 pp. 1325–1364 (7, 27)

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  21. [21]

    S. O. Warnaar, B. Nienhuis, K. A. Seaton (1992) [doi:10.1103/PhysRevLett.69.710] New construction of solvable lattice models including an Ising model in a field. Phys. Rev. Lett. 69 pp. 710–712 (10)

    work page doi:10.1103/physrevlett.69.710 1992

  22. [22]

    P. Roux, J. L. Jacobsen, S. Ribault, H. Saleur (2025) [arXiv:2404.01935] Critical spin chains and loop models withP SU(n)symmetry. SciPost Physics 18(1) (11, 12) 29

    work page arXiv 2025

  23. [23]

    R. J. Baxter, S. B. Kelland, F. Y. Wu (1976) [doi:10.1088/0305-4470/9/3/009] Equivalence of the Potts model or Whitney polynomial with an ice-type model. J. Phys. A: Math. Gen. 9 p. 397 (11)

    work page doi:10.1088/0305-4470/9/3/009 1976

  24. [24]

    J. J. Graham, G. I. Lehrer (1998) The representation theory of affine Temperley–Lieb algebras. L’Enseignement Math- ématique (2) 44(3–4) pp. 173–218 (13)

    work page 1998

  25. [25]

    J. L. Jacobsen, H. Saleur (2019) [arXiv:1809.02191] Bootstrap approach to geometrical four-point functions in the two-dimensional critical Q-state Potts model: A study of thes-channel spectra. JHEP 01 p. 084 (13)

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  26. [26]

    P. Roux, J. Jacobsen (2025 code) Three-point functions of theO(n)andP SU(n)loop models. URLhttps://github. com/Paul-Roux-Phys/3pt-functions-loop-models(17, 19, 24)

    work page 2025

  27. [27]

    Logarithmic Corrections and Finite-Size Scaling in the Two-Dimensional 4-State Potts Model

    J. Salas, A. D. Sokal (1997) [arXiv:hep-lat/9607030] Logarithmic Corrections and Finite-Size Scaling in the Two-Dimensional 4-State Potts Model. Journal of Statistical Physics 88(3/4) p. 567–615 (21)

    work page internal anchor Pith review Pith/arXiv arXiv 1997

  28. [28]

    Nivesvivat, S

    R. Nivesvivat, S. Ribault (2021) [arXiv:2007.04190] Logarithmic CFT at generic central charge: from Liouville theory to theQ-state Potts model. SciPost Phys. 10(1) p. 021 (25)

    work page arXiv 2021

  29. [29]

    Cheng and N

    M. Cheng, N. Seiberg (2023) [arXiv:2211.12543] Lieb-Schultz-Mattis, Luttinger, and ’t Hooft - anomaly matching in lattice systems. SciPost Physics 15(2) (25)

    work page arXiv 2023

  30. [30]

    Jimbo, T

    M. Jimbo, T. Miwa, F. Smirnov (2021 book) [doi:10.1090/surv/256] Local operators in integrable models I. American Mathematical Society, Providence (27)

    work page doi:10.1090/surv/256 2021

  31. [31]

    H. E. Boos, V. E. Korepin, F. A. Smirnov (2003) [arXiv:hep-th/0209246] Emptiness formation probability and quantum Knizhnik-Zamolodchikov equation. Nucl. Phys. B 658 pp. 417–439 (27)

    work page internal anchor Pith review Pith/arXiv arXiv 2003

  32. [32]

    Emptiness formation probability, Toeplitz determinants, and conformal field theory

    J.-M. Stéphan (2014) [arXiv:1303.5499] Emptiness formation probability, Toeplitz determinants, and conformal field theory. J. Stat. Mech.: Th. Exp. 2014 p. P05010 (27)

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  33. [33]

    Exact conjectured expressions for correlations in the dense O$(1)$ loop model on cylinders

    S. Mitra, B. Nienhuis (2004) [arXiv:cond-mat/0407578] Exact conjectured expressions for correlations in the denseO(1)loop model on cylin- ders. J. Stat. Mech.: Th. Exp. 2004 p. P10006 (27)

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  34. [34]

    Critical exponents of domain walls in the two-dimensional Potts model

    J. Dubail, J. L. Jacobsen, H. Saleur (2010) [arXiv:1008.1216] Critical exponents of domain walls in the two-dimensional Potts model. Journal of Physics A: Mathematical and Theoretical 43(48) p. 482002 (27)

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  35. [35]

    Finite-size corrections for universal boundary entropy in bond percolation

    J. de Gier, J. L. Jacobsen, A. Ponsaing (2016) [arXiv:1610.04006] Finite-size corrections for universal boundary entropy in bond percolation. SciPost Phys. 1 p. 012 (27)

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  36. [36]

    Ikhlef, A

    Y. Ikhlef, A. Morin-Duchesne (2025) [arXiv:2509.11756] Fusion in the periodic Temperley-Lieb algebra: general definition of a bifunctor(27) 30

    work page arXiv 2025

  37. [37]

    Arguello Cruz, I

    E. Arguello Cruz, I. R. Klebanov, G. Tarnopolsky, Y. Xin (2025) [arXiv:2505.06369] Yang-Lee Quantum Criticality in Various Dimensions(28) 31

    work page arXiv 2025