Pith. sign in

REVIEW 3 major objections 6 minor 16 references

Energy-momentum tensor in the 2D Ising CFT in full modular space

T0 review · 3 major / 6 minor · reviewed 2026-08-09 · deepseek-v4-flash

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

Pith's one-line read Lattice spin operators reproduce the energy-momentum tensor of the 2D Ising CFT under affine transformations, normalization included.

desk verdict A plausible and useful lattice EM-tensor construction with real one-point support, but the key staggered-lattice step is asserted rather than proven and the heavier numerical evidence is still sign-pattern-level. read the letter →

arxiv 2502.00512 v2 pith:GBQS7KNE submitted 2025-02-01 hep-lat hep-th

Richard C. Brower , George T. Fleming , Nobuyuki Matsumoto , Rohan Misra This is my paper · ORCID
classification hep-lathep-th MSC 81T4081T2582B20
keywords Isingconformalfieldtheoryenergy-momentumtensorlatticestressaffine-transformedhexagonaltriangularstaggeredWardidentity
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 claims that lattice operators built from parametric derivatives of the critical Ising action reproduce the continuum energy-momentum tensor of the two-dimensional Ising conformal field theory, not just its functional form but its overall normalization. The operators work on triangular and hexagonal lattices under arbitrary affine transformations, so the torus modulus can be varied freely. Monte Carlo measurements of one-point functions, three-point functions with spin fields, and TT correlators agree with exact CFT predictions for a nontrivial modulus. If correct, the construction gives a direct spin-variable reading of the stress tensor on a lattice, which is the object needed to probe trace anomalies on curved lattices.

What carries the argument

The load-bearing object is the lattice operator in Eq. (21), $T_k(x) \simeq (2\pi/a)(1/|\ell'_k|)[\partial/\partial\kappa_{n,n+k} + \frac{1}{2}(\partial/\partial\Delta_{mn}+\partial/\partial\Delta_{m,n+k}) - 1]$ evaluated at criticality. It is the derivative of the lattice action with respect to a bond coupling, which creates the energy-momentum insertion, combined with the $\varepsilon$-type derivative that cancels the unit-operator part. The argument is carried by the staggered-lattice identification of Sec. 4: solving the six conditions in Eq. (16) for the vectors $\ell'_k$ tells where the fermion fields live, and the resulting angle $\alpha'_k$ appears in the mixing formula Eq. (22), which expresses $T_k(x)$ as a linear combination of $T(z)$ and $\tilde T(\bar z)$.

What would settle it

Measure $\langle T_k(x)\rangle$ on a lattice with a different modulus, say $\tau = i$, extrapolate to the continuum, and compare with the exact one-point functions; a statistically significant deviation from the predicted values would rule out the operator normalization. Alternatively, check the six equations in Eq. (16) for a generic modulus and see whether they admit more than one solution; if they do, the staggered-lattice identification is not unique and the mixing-angle argument does not close.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is that the spin-variable operator $T_k(x)$ defined in Eq. (21), built from derivatives with respect to the critical couplings $\kappa_{n,n+k}$ and $\Delta_{mn}$, flows to the continuum stress-tensor component $T_k(x)$ with the correct normalization, without any free parameter. This is nontrivial because the affine-transformed hexagonal lattice has a staggered structure: the fermion fields live on the lattice generated by vectors $\ell'_k$, not on the circumcenter dual lattice $\ell^*_k$, and the angle difference enters as a mixing angle between $T(z)$ and $\tilde T(\bar z)$ in Eq. (22). The numerical evidence includes $\langle T_1\rangle \approx 0.215(21)$ versus exact $0.218$, $\langle T_2\rangle \approx -0.0605(88)$ versus $-0.0537$, $\langle T_3\rangle \approx -0.126(15)$ versus $-0.138$, and matching sign landscapes for three-point and $TT$ correlators on the whole torus.

Load-bearing premise

The construction stands on the claim that the fermion fields live on the unique lattice generated by the vectors $\ell'_k$ obtained by solving the six linear conditions in Eq. (16), rather than on the geometrically natural circumcenter dual lattice; if that identification is wrong, the mixing angle in Eq. (22) is wrong and every $T_k$ operator fails.

Editorial extensions

If this is right

  • If the construction is right, the full stress tensor of the Ising CFT is computable as a local spin operator on the lattice, including its normalization.
  • The one-point functions become accessible from Monte Carlo data and match the CFT values after continuum extrapolation, which is the quantity that measures the trace anomaly in curved-space applications.
  • Because the operators work under arbitrary affine transformations, the same construction covers rectangular, triangular, and hexagonal lattices without separate treatment.
  • The sign patterns of the three-point correlators and of the TT correlators reproduce the exact CFT landscape on the entire torus, including the characteristic second-order pole structure.

Reading between the lines

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

  • A direct test the paper leaves implicit is to measure the two-point function amplitude and extract the central charge $c = 1/2$; the paper checks the sign landscape of $\langle T_k(x)T_2(0)\rangle$ but not its overall normalization.
  • If the staggered-lattice shift is a generic feature of affine-transformed hexagonal lattices, other lattice stress-tensor constructions in off-diagonal geometries will need to locate the true field lattice $\ell'_k$ before deriving operators.
  • The same parametric-derivative recipe could plausibly extend to other exactly solved lattice models with fermionic representations, yielding spin-variable stress tensors for other minimal-model CFTs.
  • A numerical scan across moduli of the six equations defining $\ell'_k$ would test whether the uniqueness assumed in Sec. 4 holds outside the one example shown.
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 / 6 minor

Summary. The paper constructs lattice operators for the energy-momentum tensor of the 2D Ising CFT on affine-transformed triangular and hexagonal lattices, expressed directly in spin variables. The construction uses parametric derivatives of the critical lattice action (Eqs. (17)-(18)), mapped to spin operators through loop expansions (Eqs. (23)-(26)), with the normalization (2π/a) fixed by matching lattice and continuum variables and with a mixing angle between T(z) and Tbar(zbar) determined by the geometry of a staggered lattice (Sec. 4). The operators are tested by Monte Carlo at the non-trivial modulus τ=1.2e^{4iπ/9}: the one-point functions extrapolated to the continuum agree with the exact CFT values within about 1σ (e.g., ⟨T1⟩≈0.215(21) vs 0.218), and the three-point function with two spins and the TT correlator reproduce the exact sign patterns over the torus. The detailed derivation of the staggered-lattice vectors, the divergence subtraction, and the Monte Carlo procedures are deferred to a companion paper [8].

Significance. If the construction is correct, this is a genuinely useful result: an explicit, normalization-exact lattice realization of the EM tensor in spin variables for arbitrary affine transformations, with the mixing angle computed rather than fitted, and with comparisons against independent exact CFT results from Refs. [5,6] rather than against fitted data. The one-point agreement at a non-trivial modulus is a credible quantitative check. However, the numerical evidence covers only a single modulus and the correlator comparisons are qualitative (sign-pattern only), so the confirmation is suggestive rather than decisive; the main risk is that the staggered-lattice identification in Sec. 4 is asserted rather than proven in this manuscript.

major comments (3)
  1. [Sec. 4, Eqs. (13)-(16), (21)-(22)] The staggered-lattice identification is load-bearing and is asserted rather than derived. The derivative expansion in Eq. (13) replaces the actual neighbor displacement (the circumcenter dual vector ℓ*_k) by the staggered vector ℓ'_k, with the justification deferred to the requirement that the lattice EOM approach the continuum Dirac operator Eq. (15). The text states that six conditions for six independent real variables suffice to determine ℓ'_k, but gives neither the explicit solution nor an existence/uniqueness argument; since the system in Eq. (16) is linear in the components of ℓ'_k, uniqueness is equivalent to a determinant condition that should at least be stated to hold. This matters because the operator normalization (2π/a)(1/|ℓ'_k|) in Eq. (21) and the mixing angle α'_k + α*_k in Eq. (22) are direct functions of ℓ'_k, so the entire operator construction inherits this unproven step. Since Ref. [8] is listed as in preparation, the present manuscript does not contain the central derivation in self-contained form. I ask the authors to include the explicit solution of Eq. (16) together with a uniqueness statement, and to give a brief justification for the coordinate/field redefinition behind Eq. (13), or to state explicitly which parts of the argument are established here rather than in [8].
  2. [Sec. 5, normal-ordering discussion; Sec. 6 numerics] The one-point function results rely on a subtraction of divergent parts (normal ordering) whose evaluation is deferred to Ref. [8], together with the Monte Carlo details. As written, the statement in Sec. 5 that the evaluation can be performed with the fermion system without statistical error [8] and the deferral in Sec. 6 of the ensemble-generation details mean the numerical results cannot be reproduced or independently assessed from this manuscript alone. Since the divergence subtraction directly feeds the central quantitative check ⟨T_k⟩, the authors should at least specify the subtraction procedure or summarize the size of the subtracted contributions relative to the signal.
  3. [Sec. 6, Figs. 2-4] The numerical confirmation is narrower than the claim made in the abstract and conclusions. All checks are performed at the single modulus τ=1.2e^{4iπ/9}; the continuum limit of ⟨T_k⟩ is a constant fit over three lattice sizes (L=10,12,14, while the caption of Fig. 2 also displays L=6,8), and the three-point and TT correlations are compared with the exact results only by sign pattern. Because the distinguishing signature of the staggered-lattice identification is the mixing angle in Eq. (22), and the only quantitative observable sensitive to it is the one-point function at one modulus, the present evidence does not independently pin down ℓ'_k. A quantitative measure of the correlation-landscape agreement (e.g., a χ² or amplitude comparison away from the insertion points) or a second modulus would substantially strengthen the confirmation.
minor comments (6)
  1. [Sec. 6, Fig. 4] The body text states that the TT correlators are calculated on the triangular lattice for L=10, while the figure caption says L=6 on the hexagonal lattice and the axes are labeled ∆, L=10; these statements need to be reconciled.
  2. [Sec. 6, Fig. 2] The caption lists data for L=6,8,...,14, but the text says the constant fit uses only the three points L=10,12,14; please clarify which lattice sizes enter the fit and how the fit range was chosen.
  3. [Eq. (27)] The summation index runs from i=0 to N although there are N inserted primary fields; presumably it should be i=1,...,N, and the displayed formula contains only holomorphic weights h_i with no antiholomorphic counterpart, so the convention should be checked against the quoted references.
  4. [Eq. (9)] The coupling identification is typeset as a complicated nested ratio of cosines that is very difficult to parse; please restructure the equation.
  5. [Sec. 6, first paragraph] The sentence 'We comment that that the signal of the EM tensor is noisy' contains a duplicated 'that'.
  6. [References] Since Ref. [8] is cited as in preparation for the staggered-lattice derivation, the normal-ordering subtraction, and the Monte Carlo details, the manuscript should state explicitly which results are established in the present work.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the EM-tensor operators are derived from the lattice action by parametric differentiation and are checked against independent exact CFT values, not against fitted inputs.

full rationale

The derivation chain is not circular. The lattice EM operators in Eq. (21) are obtained by applying parametric derivatives with respect to the couplings of the Wilson-Majorana action, after determining the staggered vectors l'_k from the derivative-expansion matching conditions in Eq. (16). The normalization factor 2*pi/a and the mixing angle in Eq. (22) are fixed by the lattice geometry and by matching the lattice and continuum operators; they are not fitted to the CFT data. The numerical checks compare one-point functions, three-point functions, and TT correlators with independent analytic results from Refs. [5] and [6], which are external to this work. The only load-bearing citation is Ref. [13] (Brower-Owen) for the critical couplings in Eq. (10); that is a published, parameter-free result with assumptions that do not include the target EM-tensor construction, so it does not by itself make the argument circular. The paper itself flags two incompletenesses: the assertion in Sec. 4 that the six conditions in Eq. (16) are sufficient to determine l'_k, without a uniqueness proof, and the repeated deferral of detailed derivations to the companion paper Ref. [8]. These are rigor/completeness gaps rather than self-referential reductions; no equation in this paper is equivalent by construction to the result it is used to predict.

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

The paper contains no fitted free parameters; the normalization (2π/a) and the mixing angle are derived. The central construction inherits assumptions from prior loop-expansion and affine-plane results, and the staggered lattice identification is asserted rather than fully derived here.

assumptions (4)
  • domain assumption Loop-expansion identities (7)-(9) relating the Ising spin partition functions to the Wilson-Majorana fermion partition function, including the coupling identification (9), hold on the affine-transformed torus.
    The derivation of the spin-variable EM tensor operators via Eqs. (23)-(26) assumes these identities from Refs. [12-14] carry over to the general affine-transformed lattices considered here; these are cited results, not proven in this paper.
  • domain assumption The critical couplings (10) from Ref. [13] are the correct continuum-limit couplings under affine transformation.
    Equation (10) is imported from Brower and Owen [13] and underlies the parametric derivatives taken 'at crit' throughout Sec. 5.
  • domain assumption The derivative expansion of the Wilson-Dirac operator truncated at first order (Eqs. (13)-(14)) and the requirement that it match the continuum Dirac equation (15) correctly determine the field lattice ℓ'_k via Eq. (16).
    The staggered-structure claim in Sec. 4, and hence the mixing angle in Eq. (22), rests on this matching; the paper does not prove existence, uniqueness, or subleading corrections.
  • domain assumption The conformal Ward identities and exact correlators of the Ising CFT on the torus (Eq. (27), Refs. [5,6]) are correct.
    These exact values are the benchmark for the Monte Carlo verification; the numerical agreement is evidence for the lattice operators only if these identities are assumed.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Energy-momentum tensor in the 2D Ising CFT in full modular space." pith.science (2026). https://pith.science/paper/GBQS7KNE

@misc{pith2026250200512,
  author       = {Pith},
  title        = {Pith review of: Energy-momentum tensor in the 2D Ising CFT in full modular space},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GBQS7KNE}},
  note         = {Machine review of arXiv:2502.00512}
}
abstract

A set of lattice operators for the energy-momentum (EM) tensor in the Ising CFT is derived in the spin variables. Our expression works under arbitrary affine transformation both on triangular and hexagonal lattices (where the former includes the rectangular lattices). The correctness of the operators is numerically confirmed in Monte Carlo calculations by comparing the results with the conformal Ward identity, including the operator normalization. In the derivation of the EM tensor, a staggered structure of the affine-transformed hexagonal lattice is analyzed, which shows a peculiar shift from the circumcenter dual lattice and appears as a mixing angle between the holomorphic part $T(z)$ and the antiholomorphic part $\tilde T(\bar z)$. The details of this contribution will appear in a subsequent paper.

Figures

Figures reproduced from arXiv: 2502.00512 by the authors.

Figure 1
Figure 1. Gray dots represent the affine-transformed triangular lattice. The blue and orange points represent its dual lattices, where the colors distinguish the even (blue) and odd (orange) sites. The left panel shows the circumcenter dual lattice, generated by ®ℓ ∗ 𝑖 , while the right panel shows the lattice generated by ®ℓ ′ 𝑖 , on which the fields reside (see Sec. 4). Cartesian coordinates as (𝑥𝜇) ≡ (𝑥, 𝑦) and the three l… view at source ↗
Figure 2
Figure 2. Extrapolation of ⟨𝑇𝑘⟩ (𝑘 = 1, 2, 3) to the continuum limit for 𝜏 = 1.2𝑒 4𝑖 𝜋/9 on the hexagonal lattice for 𝐿 = 6, 8, · · · , 14. ⟨𝑇1⟩ ≈ 0.215(21) (exact: 0.218), ⟨𝑇2⟩ ≈ −0.0605(88) (exact: −0.0537), ⟨𝑇3⟩ ≈ −0.126(15) (exact: −0.138). The good agreement shows that we have a good understanding of the lattice operators including the mixing angle between 𝑇 and 𝑇˜ [see eq. (22)], the diverging part, and the normalizatio… view at source ↗
Figure 3
Figure 3. The sign patterns of ⟨𝑇𝑘 (𝑥)𝜇(0)𝜇(𝜔3)⟩ on the hexagonal lattice. Monte Carlo result (top) and the exact solution (bottom) with 𝜏 = 1.2𝑒 4𝑖 𝜋/9 , 𝐿 = 14, and 𝜔3 = (1 + 𝜏)/2. 𝑘 = 1, 2, 3 from left to right. agreement in the global landscape, in particular the characteristic pole structure. Finally, we calculate the 𝑇𝑇-correlator, which cannot be re-expressed with the primary cor￾relators by the conformal Ward identity… view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: The sign patterns of ⟨𝑇𝑘 (𝑥)𝑇2 (0)⟩ (𝑘 = 1, 2, 3) plotted for the Monte Carlo result (top) and the exact solution (bottom) with 𝜏 = 1.2𝑒 4𝑖 𝜋/9 , 𝐿 = 6 on the hexagonal lattice. 7. Conclusion In this contribution, we derived the lattice EM tensor for the Ising CFT with…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 15 canonical work pages

  1. [8]

    Brower, G.T

    R.C. Brower, G.T. Fleming, N. Matsumoto and R. Misra, in preparation

    work page

  2. [1]

    R.C.Brower, G.Fleming, A.Gasbarro, T.Raben, C.-I.TanandE.Weinberg, QuantumFinite Elements for Lattice Field Theory,PoSLATTICE2015(2016) 296 [1601.01367]

    work page Pith review arXiv 2016

  3. [2]

    Fubini, A.J

    S. Fubini, A.J. Hanson and R. Jackiw,New approach to field theory,Phys. Rev. D7 (1973) 1732

    work page 1973

  4. [3]

    Cardy,Universal amplitudes in finite-size scaling: generalisation to arbitrary dimensionality,J

    J.L. Cardy,Universal amplitudes in finite-size scaling: generalisation to arbitrary dimensionality,J. Phys. A18(1985) 757

    work page 1985

  5. [4]

    Lattice Radial Quantization: 3D Ising

    R.C. Brower, G.T. Fleming and H. Neuberger,Lattice Radial Quantization: 3D Ising, Phys. Lett. B721 (2013) 299 [1212.6190]

    work page Pith review arXiv 2013

  6. [5]

    Eguchi and H

    T. Eguchi and H. Ooguri,Conformal and Current Algebras on General Riemann Surface, Nucl. Phys. B282(1987) 308

    work page 1987

  7. [6]

    Di Francesco, H

    P. Di Francesco, H. Saleur and J.B. Zuber,Critical Ising Correlation Functions in the Plane and on the Torus, Nucl. Phys. B290 (1987) 527

    work page 1987

  8. [7]

    Kadanoff and H

    L.P. Kadanoff and H. Ceva,Determination of an opeator algebra for the two-dimensional Ising model, Phys. Rev. B3 (1971) 3918

    work page 1971

Show all 16 references
  1. [9]

    Onsager,Crystal statistics

    L. Onsager,Crystal statistics. i. a two-dimensional model with an order-disorder transition, Phys. Rev.65(1944) 117

    1944

  2. [10]

    Schultz, D.C

    T.D. Schultz, D.C. Mattis and E.H. Lieb,Two-dimensional ising model as a soluble problem of many fermions, Rev. Mod. Phys.36 (1964) 856

    1964

  3. [11]

    Itzykson,Ising Fermions

    C. Itzykson,Ising Fermions. 1. Two-Dimensions,Nucl. Phys. B210 (1982) 448

    1982

  4. [12]

    Wolff,Ising model as Wilson-Majorana Fermions, Nucl

    U. Wolff,Ising model as Wilson-Majorana Fermions, Nucl. Phys. B955 (2020) 115061 [2003.01579]

    2020 arXiv

  5. [13]

    Brower and E.K

    R.C. Brower and E.K. Owen,Ising model on the affine plane,Phys. Rev. D108 (2023) 014511 [2209.15546]

    2023 arXiv

  6. [14]

    Samuel,The use of anticommuting variable integrals in statistical mechanics

    S. Samuel,The use of anticommuting variable integrals in statistical mechanics. i. the computation of partition functions,J. Math. Phys21 (1980) 2806

    1980

  7. [15]

    Seiberg and E

    N. Seiberg and E. Witten,Spin Structures in String Theory,Nucl. Phys. B276(1986) 272

    1986

  8. [16]

    Shared Computing Cluster (SCC), www.bu.edu/tech/support/research/. 9

Pith tools

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