Pith. sign in

REVIEW 3 major objections 4 minor 33 references

Critical Ising correlations on a torus

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

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

Pith's one-line read The paper proves that torus Ising spin correlations have explicit theta-function scaling limits, confirming long-standing conformal-field-theory predictions.

desk verdict Genuine torus Ising convergence result, but the explicit correlation formula in Corollary 27 has a normalization error off by (|θ2(0)|+|θ3(0)|+|θ4(0)|)^n and needs correction before it can be used. read the letter →

arxiv 2506.11324 v1 pith:N7LJYDFK submitted 2025-06-12 math-ph math.MPmath.PR

Baran Bayraktaroglu , Konstantin Izyurov This is my paper · ORCID
classification math-phmath.MPmath.PR MSC 82B2082B2730F30
keywords criticalIsingmodeltorusspincorrelationsscalinglimitthetafunctionsfermionicobservablesconformalfieldtheoryPfaffianidentities
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 proves that multipoint spin correlations in the critical Ising model on a flat torus have a scaling limit as the lattice spacing goes to zero, and that the limit is given by explicit formulas built from $\theta$ functions. The main result is that $\delta^{-n/8} E_{T^\delta}(\sigma_{v_1}\cdots\sigma_{v_n})$ converges to $C_\sigma^n$ times a correlation $\langle\sigma_{v_1}\cdots\sigma_{v_n}\rangle_T$, which is written as $2^{-n/4}(|\theta_2(0)|+|\theta_3(0)|+|\theta_4(0)|)^{-1}$ times the square root of a positive $\theta$-function sum $D^\nu_{v_1,\dots,v_n}$; summing the four spin-structure contributions removes the auxiliary disorder observables. The same fermionic machinery yields convergent limits for spin-fermion and spin-energy correlations through Pfaffian identities. If the paper is correct, the rigorous torus scaling limits match the formulas long predicted in the conformal-field-theory literature, and the method provides a template for going to higher-genus surfaces.

What carries the argument

The central object is the discrete fermionic observable $F^{(p,q)}_{v_1,\dots,v_n}(w,z) = E_{T^\delta}(\psi_z\psi_w\sigma_{v_1}\cdots\sigma_{v_n}\mu_{(p,q)})$ on a four-sheet cover of the lattice torus, normalized by the discrete residue $E_{T^\delta}(\sigma_{v_1}\cdots\sigma_{v_n}\mu_{(p,q)})$. Its s-holomorphicity, spinor anti-periodicity, and the non-vanishing of that residue (Lemmas 4 and 7) give precompactness and uniqueness of the limit. The explicit identification is carried by taking a limiting form of the classical Szegő-kernel identity (3.1) on a doubled torus $M^\varepsilon$ obtained by gluing a copy of the torus through $n$ thin handles at the spin positions; pinching the handles yields the unique meromorphic half-differential whose square encodes the correlation, and the torus specialization produces the $\theta$ sums $D^\nu$.

What would settle it

Compare the two-point spin correlation predicted by Corollary 27 with high-precision Monte Carlo data on finite tori of varying aspect ratio; a mismatch in the dependence on the modular parameter $\tau$ would refute the central claim.

Watch

Extended reading notes

Core claim

The paper's central claim, Theorem 13 combined with Corollary 27, is that for every even $n$ and every $\varepsilon>0$, uniformly in well-separated marked points, $\delta^{-n/8} E_{T^\delta}(\sigma_{v_1}\cdots\sigma_{v_n}\mu_{(p,q)}) = C_\sigma^n \langle\sigma_{v_1}\cdots\sigma_{v_n}\mu_{(p,q)}\rangle_T + o(1)$, with the continuum correlation explicitly $\langle\sigma_{v_1}\cdots\sigma_{v_n}\mu_{(p,q)}\rangle_{T_{\omega_1,\omega_2}} = C_n (D^\nu_{v_1,\dots,v_n})^{1/2}$; here $C_\sigma = 2^{1/6} e^{3\zeta'(-1)/2}$ and $D^\nu$ is the sum over zero-total-charge sign assignments $s'$ of $|\theta_\nu(\tilde v_{s'})|^2$ times products of ratios $\theta_1(v_{ij})/\theta_1'(0)$. Summing over the four spin structures $(p,q)$ gives the ordinary spin correlation. The authors also identify the squares of the limiting fermionic observables as ratios of explicit $\theta$ expressions (Theorem 25), from which spin-fermion and spin-energy correlation limits follow as Pfaffians.

Load-bearing premise

The load-bearing premise is that the theta-denominator sum in the limiting Szegő identity is nonzero, a fact the paper uses before it proves the explicit positive-sum formula that guarantees it.

Editorial extensions

If this is right

  • The $n$-point spin correlations in the critical Ising model on a torus have rigorous conformally invariant scaling limits, verifying the torus predictions of the conformal-field-theory literature.
  • Correlations mixing spins with fermionic and energy observables converge as Pfaffians of the limiting fermionic observables (Corollary 14), extending the convergence statement beyond pure spin correlations.
  • The explicit square-root form of the spin correlations connects the lattice model to a compactified Gaussian free field description, as anticipated by combinatorial bosonization and dimer-height-function convergence.
  • Because the convergence is uniform for well-separated marked points, the result supplies a rigorous input for applications that need torus correlation asymptotics, such as sparse reconstruction problems in spin systems.
  • The Section 3 analysis is formulated on Riemann surfaces of arbitrary genus, so the pinching argument provides a route toward higher-genus results once the analogous non-vanishing and degeneracy issues are handled.

Reading between the lines

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

  • A natural extension, not pursued in the paper, is to change the half-integer characteristic $M_i$ to $1$ at a marked point, which the authors note in Remark 23 should turn spin insertions into disorder insertions; this suggests a route to explicit disorder-correlation limits on a torus.
  • The logical order of the proof could matter at a delicate point: the limit in Lemma 20 assumes the theta-denominator sum is nonzero, and the paper justifies this only later, in Section 4, by writing $D^\nu$ as a positive sum; if that positivity had failed in some configuration, the normalization argument would need a different treatment.
  • A comparatively cheap test of the central formula would be to compare the two-point correlation's dependence on the modular parameter $\tau$ against high-precision Monte Carlo data on finite tori; a mismatch in that dependence would refute the explicit prediction.
  • The same pinching machinery, with the torus replaced by a higher-genus surface, would yield explicit formulas only if the continuous analogue of Lemma 4 remains true; the paper states that such degeneracies can occur, so the higher-genus generalization is nontrivial.
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 / 4 minor

Summary. The paper proves the scaling limit of multi-point spin correlations in the critical Ising model on a flat torus. The strategy is to introduce a discrete s-holomorphic fermionic observable with spin insertions and four spin-structure disorder terms, prove a non-vanishing lemma for the discrete normalization, derive convergence of the observable via compactness and uniqueness (Theorem 8), and then identify the limiting observable explicitly using a degeneration limit of the Hejhal–Fay identity on a surface obtained by gluing a second copy of the torus (Sections 3–4). The claimed result is an explicit theta-function formula for the torus spin correlations, matching predictions of Di Francesco, Saleur and Zuber, together with Pfaffian extensions to spin-fermion and spin-energy correlations.

Significance. If the result is correct after fixing the issues below, it is a substantial step: it extends the rigorous planar scaling-limit program to the first compact Riemann surface, gives explicit theta-function formulas for all multi-point spin correlations, and confirms the physics literature in a regime where CFT predictions are highly non-trivial. The paper has real methodological strengths: the independence of the convergence argument from the explicit identification, the clean use of the discrete residue non-vanishing lemma (Lemma 7), and the derivation of explicit formulas through a degeneration of the Hejhal–Fay identity rather than by fitting constants to the claimed answer. However, the normalization constant in the explicit formula is algebraically inconsistent as printed, and the proof of the key limit theorem is only sketched at a central point.

major comments (3)
  1. [Section 4, Corollary 27, Eq. (4.10)] The stated normalization constant is inconsistent with the proof's own algebra and with the short-distance condition (2.19). Let S := |θ2(0)|+|θ3(0)|+|θ4(0)|. The printed constant C_n = 2^{-n/4} S gives, for n=2 and using the proof's D^ν ∼ 2|θ_ν(0)|^2 |v12|^{-1/2}, the asymptotics C_2^2 D^ν ∼ S^2 |θ_ν(0)|^2 |v12|^{-1/2}, so Σ_ν C_2 (D^ν)^{1/2} ∼ S^2 |v12|^{-1/4}. This violates (2.19). The proof actually uses C_n = 2^{-n/4}/S: for n=2, C_2^2 D^ν ∼ S^{-2}|θ_ν(0)|^2|v12|^{-1/2}. Thus the displayed formula (4.10) needs a division by S, and with the printed constant every numerical prediction in the explicit formula is off by a positive factor. Please correct the statement and re-check the comparison with the Di Francesco–Saleur–Zuber predictions.
  2. [Section 3.2, Lemma 20, and Section 4, Theorem 25] The limiting formula (3.8) is derived under the explicit hypothesis that the theta-denominator sum over S0 is nonzero. The paper does not prove this hypothesis at the point where Lemma 20 is invoked, and the later identification (4.9) shows that the hypothesis is equivalent to D^ν_{v1,...,vn} ≠ 0. This is not automatic: for n=2, D^ν = 2|θ_ν((v1-v2)/2)|^2 |θ1(v12)/θ1'(0)|^{-1/2}, which vanishes whenever v1-v2 lies in the zero divisor of θ_ν (e.g., for ν=3, when v1-v2 is a half-period). Theorem 25 and Corollary 27 are stated without this non-degeneracy assumption. The paper should either prove the non-vanishing for all configurations in the stated domain, or explicitly treat the exceptional configurations by a separate argument such as continuity or a refined expansion of the Szegő-kernel identity.
  3. [Section 2.3, Theorem 8] The proof of the main convergence theorem is only sketched. In particular, the transition from the uniform boundedness of M^δ_ε to convergence via 'the usual theory of precompactness of s-holomorphic functions' is not fully documented in the torus setting, and the contradiction argument for the case M^δ_ε → ∞ relies on local annulus estimates imported from [5] without explaining the modifications required by the absence of a boundary and by the presence of the topological disorder terms μ^{(p,q)}. Since Theorem 8 is the load-bearing convergence result used to deduce Theorem 13 and Corollary 14, please expand the proof or provide a precise lemma-by-lemma correspondence with [5] that covers all torus-specific issues.
minor comments (4)
  1. [Equation (3.8)] There is an unmatched closing parenthesis in the numerator: 'exp(Q_{τ0}(s) + (πi/2)(s·M)))' should be 'exp(Q_{τ0}(s) + (πi/2)(s·M))'.
  2. [Section 2.3, opening sentence] The sentence 'Throughout this section, we assumento be even' contains a typo; it should read 'we assume n to be even'.
  3. [Section 4, notation before (4.3)] The notation θ_ν(z) := θ_ν(2πz/ω1 | τ/πi) is terse; please state explicitly which of the four Jacobi theta functions is meant for each ν=1,2,3,4, since the paper uses both the theta constant and the z-dependent version.
  4. [Corollary 14, matrix B_{ij}] In the displayed definition of B_{ij}, the cases 'i=1 mod 2, j=1 mod 2' and 'i=2 mod 2, j=2 mod 2' both list f^{(p,q)}, and the remaining two cases both list f^{⋆,(p,q)}. Please check whether this is intended or whether some entries should carry a sign or swapped arguments; as written, the asymmetry of the Pfaffian is not transparent.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the torus scaling limits and explicit theta formulae are derived from independent discrete-complex-analysis and Szegő-kernel arguments, not from the physics predictions being verified.

full rationale

The derivation is self-contained. Theorems 8 and 13 establish convergence of the discrete observables by a precompactness argument whose uniqueness input is proved in Lemma 4 and Theorem 8 via a residue computation, not imported from prior work. The explicit theta formulae in Section 4 are obtained by specializing the Hejhal–Fay Szegő-kernel identity, independently attributed to Hejhal and Fay, and by a degeneration calculation (Lemmas 17, 18, 20, 22) carried out in this paper. The only external inputs are the planar results [4,5] used for local estimates and normalization; these are independent of the torus statement being proved. The normalization constant in Corollary 27 is fixed by the short-distance condition (2.19), which is derived in Theorem 13 rather than taken from the physics predictions [10,9]; the physics formulae are confirmed, not used as inputs. The nonvanishing assumption in Lemma 20 is later verified a posteriori through the positive expression D^ν, which is an independent check rather than a circular reduction. The apparent inconsistency in the displayed constant C_n noted by the skeptic is a possible algebraic error in an internal normalization check, not a case of a prediction reducing to an input.

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

No free parameters are fitted to data in this paper. The proof uses standard imported machinery, one explicit non-degeneracy assumption that is later supported by positivity of theta expressions, and no new physical entities. Constants such as C_sigma are treated as inputs from prior literature.

assumptions (6)
  • domain assumption Critical inverse temperature beta_c = (1/2) log(sqrt(2)+1) on the square lattice.
    Used throughout; defines the critical Ising model whose scaling limit is studied in Section 2.1.
  • standard math Hejhal-Fay identity (3.1) relating the Szego kernel to theta functions, valid when theta_tau(0;H) is nonzero.
    The starting point of Section 3; results of Hejhal and Fay are imported without proof.
  • standard math Yamada degenerations of Abelian differentials and the period matrix under pinching, Lemmas 17 and 18.
    Used to compute the epsilon-to-zero limit of the Szego kernel; imported from [31].
  • domain assumption Planar scaling-limit results: convergence of spin and fermionic correlations in simply connected domains with constant C_sigma = 2^(1/6) e^(3/2 zeta'(-1)).
    Used in the proof of Theorem 13 for local bounds and normalization; established in [4,5].
  • ad hoc to paper Non-degeneracy of the theta denominator in Lemma 20, namely the sum over S0 of exp(Q_tau0(s) + (pi i/2)(s dot M)) is nonzero.
    Assumed to pass to the limit in equation (3.8). It is later supported by positivity of D^nu in Section 4 and by Remark 24, but it is a load-bearing premise at the point it is used.
  • standard math FKG inequality and Edwards-Sokal coupling bounds in equation (2.21) for spin correlations with plus and free boundary conditions.
    Used in Theorem 13 to sandwich torus correlations between disc correlations.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Critical Ising correlations on a torus." pith.science (2026). https://pith.science/paper/N7LJYDFK

@misc{pith2026250611324,
  author       = {Pith},
  title        = {Pith review of: Critical Ising correlations on a torus},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/N7LJYDFK}},
  note         = {Machine review of arXiv:2506.11324}
}
read the original abstract

We prove convergence of multi-point spin correlations in the critical Ising model on a torus. Via Pfaffian identities, this also implies convergence of other correlations, including correlations of spins with fermionic and energy observables. We obtain explicit formulae for the scaling limits in terms of theta functions, verifying the predictions in the physics literature.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

33 extracted references · 12 canonical work pages

  1. [5]

    Correlations of primary fields in the critical Ising model

    Chelkak, Dmitry; Hongler, Cl´ ement; Izyurov, Konstantin. Correlations of primary fields in the critical Ising model. Preprint arXiv:2103.10263

    arXiv

  2. [1]

    Dimers on Riemann surfaces and compactified free field

    Basok, Mikhail. Dimers on Riemann surfaces and compactified free field. Preprint arXiv:2309.14522

    arXiv

  3. [2]

    Bosonization of primary fields for the critical Ising model on multiply connected planar domains

    Bayraktaroglu, B., Izyurov, K., Virtanen, T., and Webb, K. Bosonization of primary fields for the critical Ising model on multiply connected planar domains. Preprint arXiv:2312.02960

    arXiv

  4. [3]

    and Zamolodchikov, Alexander B

    Belavin, Alexander A., Polyakov, Alexander M. and Zamolodchikov, Alexander B. ”Infinite confor- mal symmetry in two-dimensional quantum field theory.” Nuclear Physics B 241.2 (1984): 333-380

    1984

  5. [4]

    Conformal invariance of spin correlations in the planar Ising model

    Chelkak, Dmitry; Hongler, Cl´ ement; Izyurov, Konstantin. Conformal invariance of spin correlations in the planar Ising model. Ann. of Math. (2) 181 (2015), no. 3, 1087–1138

    2015

  6. [6]

    Chelkak, Dmitry, Cimasoni, David, Kassel, Adrien, Revisiting the combinatorics of the 2D Ising model, Ann. Inst. Henri Poincar´ e Comb. Phys. Interact. 4 (2017), 309–385

    work page 2017

  7. [7]

    A generalized Kac-Ward formula

    David Cimasoni. A generalized Kac-Ward formula. Journal of Statistical Mechanics: Theory and Experiment, 2010(07):P07023, 2010. 1, 3

    work page 2010

  8. [8]

    The critical Ising model via Kac–Ward matrices

    David Cimasoni. The critical Ising model via Kac–Ward matrices. Communications in Mathematical Physics, 316(1):99–126, 2012. 1,

    work page 2012

Show all 33 references
  1. [9]

    Graduate Texts in Contemporary Physics

    Di Francesco, Philippe; Mathieu, Pierre; S´ en´ echal, David Conformal field theory. Graduate Texts in Contemporary Physics. Springer-Verlag, New York, 1997. xxii+890 pp

    1997

  2. [10]

    Saleur, and J

    Di Francesco, Ph, H. Saleur, and J. B. Zuber. ”Critical Ising correlation functions in the plane and on the torus.” Nuclear Physics B 290 (1987): 527-581

    1987

  3. [11]

    https://dlmf.nist.gov/, Release 1.2.0 of 2024-03-

    NIST Digital Library of Mathematical Functions. https://dlmf.nist.gov/, Release 1.2.0 of 2024-03-

    2024

  4. [12]

    ”Dimers and families of Cauchy-Riemann operators I.” Journal of the American Mathematical Society 28.4 (2015): 1063-1167

    Dub´ edat, Julien. ”Dimers and families of Cauchy-Riemann operators I.” Journal of the American Mathematical Society 28.4 (2015): 1063-1167

    2015

  5. [13]

    Exact bosonization of the Ising model

    Dub´ edat, Julien. Exact bosonization of the Ising model. Preprint arXiv:1112.4399. CRITICAL ISING CORRELATIONS ON A TORUS 28

    arXiv

  6. [14]

    ”On the double random current nesting field.” Probability Theory and Related Fields 175 (2019): 937-955

    Duminil-Copin, Hugo, and Lis, Marcin. ”On the double random current nesting field.” Probability Theory and Related Fields 175 (2019): 937-955

    2019

  7. [15]

    F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, eds

  8. [16]

    Theta functions on Riemann surfaces

    Fay, John D. Theta functions on Riemann surfaces. Lecture Notes in Mathematics, Vol. 352. Springer- Verlag, Berlin-New York, 1973. iv+137 pp

    1973

  9. [17]

    Ferdinand and Michael E

    Arthur E. Ferdinand and Michael E. Fisher. Bounded and inhomogeneous Ising models. I. Specific- heat anomaly of a finite lattice. Phys. Rev., 185:832–846, Sep 1969

    1969

  10. [18]

    Fuks, B. A. Theory of analytic functions of several complex variables, American Mathematical Soc. (1963)

    1963

  11. [19]

    Sparse reconstruction in spin systems II: Ising and other factor of IID measures

    Galicza, P´ al, and G´ abor Pete."Sparse reconstruction in spin systems II: Ising and other factor of IID measures."arXiv preprint arXiv:2406.09232 (2024)

    2024 arXiv

  12. [20]

    and Schiffer, M

    Hawley, N.S. and Schiffer, M. Half-order differentials on Riemann surfaces, Acta Math. 115 (1966) 199-236

    1966

  13. [21]

    Theta functions, kernel functions, and Abelian integrals

    Hejhal, Dennis A. Theta functions, kernel functions, and Abelian integrals. Memoirs of the American Mathematical Society, No. 129. American Mathematical Society, Providence, R.I., 1972. iii+112 pp

    1972

  14. [22]

    ”Conformal field theory at the lattice level: discrete complex analysis and Virasoro structure.” Communications in Mathematical Physics 395.1 (2022): 1-58

    Hongler, Cl´ ement, Kalle Kyt¨ ol¨ a, and Fredrik Viklund. ”Conformal field theory at the lattice level: discrete complex analysis and Virasoro structure.” Communications in Mathematical Physics 395.1 (2022): 1-58

    2022

  15. [23]

    Izyurov, K. (2015). Smirnov’s observable for free boundary conditions, interfaces and crossing prob- abilities. Communications in Mathematical Physics, 337(1), 225-252

    2015

  16. [24]

    Izyurov, K., Kemppainen, A., and Tuisku, P. (2024). Energy correlations in the critical Ising model on a torus. The Annals of Applied Probability, 34(2), 1699-1729

    2024

  17. [25]

    Spin structures and quadratic forms on surfaces

    Johnson, Dennis. Spin structures and quadratic forms on surfaces. Journal of the London Mathe- matical Society, 2(2), (1980), 365-373

    1980

  18. [26]

    Kaufman, B., and Onsager, L. (1949). Crystal statistics. III. Short-range order in a binary Ising lattice. Physical Review, 76(8), 1244

    1949

  19. [27]

    The two-dimensional Ising model

    McCoy, Barry M., and Tai Tsun Wu. The two-dimensional Ising model. Harvard University Press, 1973

    1973

  20. [28]

    Onsager, L. (1944). Crystal statistics. I. A two-dimensional model with an order-disorder transition. Physical Review, 65(3-4), 117

    1944

  21. [29]

    Planar Ising Correlations

    Palmer, John. Planar Ising Correlations. Vol. 49. Springer Science and Business Media, 2007

    2007

  22. [30]

    Exact finite-size-scaling corrections to the critical two-dimensional Ising model on a torus

    Jes´ us Salas. Exact finite-size-scaling corrections to the critical two-dimensional Ising model on a torus. Journal of Physics A: Mathematical and General, 34(7):1311–1331, feb 2001

    2001

  23. [31]

    Smirnov, S. (2010). Conformal invariance in random cluster models. I. Holmorphic fermions in the Ising model. Annals of mathematics, 1435-1467

    2010

  24. [32]

    Precise variational formulas for abelian differentials

    Yamada, Akira.“Precise variational formulas for abelian differentials.” Kodai Math. J. 3 (1) 114 - 143, 1980

    1980

  25. [33]

    Yang, C. N. (1952). The spontaneous magnetization of a two-dimensional Ising model. Physical Review, 85(5), 808

    1952

Pith tools

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