{"id":"be12938b-c15c-429b-a931-6a41a2af0537","arxiv_id":"2502.00512","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Lattice spin-variable operators for the 2D Ising CFT energy-momentum tensor are derived for arbitrary affine-transformed triangular and hexagonal lattices and verified numerically against conformal Ward identity predictions, including normalization.","lead":"This paper derives lattice operators for the energy-momentum tensor of the 2D Ising conformal field theory, written in spin variables, that work under arbitrary affine distortions of triangular and hexagonal lattices. Monte Carlo checks against exact conformal Ward identity predictions, including operator normalization, support the construction, which would enable measurement of energy-momentum properties on curved or deformed lattices.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Staggered-lattice vectors ℓ'_k in Sec. 4 are asserted, not derived; Eq. (21) and the mixing angle Eq. (22) inherit this unproven identification, and the companion-paper deferral leaves the central operator construction without a self-contained derivation.","rationale":"The reader's CONDITIONAL verdict is appropriate. My concern is the same weakest assumption identified by the reader: Sec. 4's staggered-lattice structure. The central operator, its normalization, and the mixing angle all hinge on ℓ'_k, and the paper defers the full derivation to Ref. [8]. Numerical evidence is consistent but partly qualitative (sign patterns for 3-point and TT correlators; one-point check at a single modulus), so a condition is warranted. The proposed check directly tests the derivation and would settle whether the concern lands. It does not change the reader's verdict.","tokens_in":7987,"tokens_out":9363,"duration_ms":104414,"concrete_test":"Independently re-derive Eq. (21) from action (2): carry out the derivative expansion around a consistent coordinate assignment for both sublattices, solve the linear system Eq. (16) for ℓ'_k at the paper's modulus (and one other generic τ), and require that the resulting operator equals the translation Noether current of the free-fermion action up to the EOM. If Eq. (21)'s normalization 2π/(a|ℓ'_k|) or the mixing angles in Eq. (22) are not recovered, the staggered-lattice construction is not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central operator Eq. (21) and its holomorphic/antiholomorphic decomposition Eq. (22) are built entirely on the staggered-lattice vectors ℓ'_k defined by Eqs. (13)-(16). The paper asserts that the six conditions in Eq. (16) are sufficient to determine ℓ'_k, but gives no existence or uniqueness proof, and no justification for replacing the actual neighbor displacement ℓ*_k by ℓ'_k in the derivative expansion ψ_{n+k} ≃ ψ_n + ℓ'_k^μ ∂_μ ψ_n. This replacement is a nontrivial coordinate/field redefinition: it changes the low-energy dispersion and determines the normalization factors (2π/a and 1/|ℓ'_k|) in Eq. (21) as well as the mixing angle in Eq. (22). The spin operators inherit ℓ'_k through the loop-expansion mapping, so if the identification is wrong or nonunique, the central claim fails. The numerical checks are consistent, but the 3-point and TT comparisons are sign-pattern only and the one-point check is at a single modulus with a constant continuum fit; they do not independently pin down ℓ'_k. With the full derivation deferred to Ref. [8], the operator construction is not self-contained.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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].","tokens_in":8279,"tokens_out":10627,"duration_ms":101316,"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":[{"comment":"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].","section":"Sec. 4, Eqs. (13)-(16), (21)-(22)"},{"comment":"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.","section":"Sec. 5, normal-ordering discussion; Sec. 6 numerics"},{"comment":"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.","section":"Sec. 6, Figs. 2-4"}],"minor_comments":[{"comment":"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.","section":"Sec. 6, Fig. 4"},{"comment":"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.","section":"Sec. 6, Fig. 2"},{"comment":"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.","section":"Eq. (27)"},{"comment":"The coupling identification is typeset as a complicated nested ratio of cosines that is very difficult to parse; please restructure the equation.","section":"Eq. (9)"},{"comment":"The sentence 'We comment that that the signal of the EM tensor is noisy' contains a duplicated 'that'.","section":"Sec. 6, first paragraph"},{"comment":"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.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"This is a LATTICE2024 proceedings contribution, so deferring detailed derivations to a companion paper is a normal practice at that venue; my major comments should be read in that light. The core physics claim looks plausible and the one-point results are consistent with the exact CFT values, but I cannot recommend acceptance until the staggered-lattice step (Eq. (16)) is supported by at least a sketch of the solution and a uniqueness argument, and until the numerical comparisons include a quantitative component beyond sign patterns at a single modulus. If the companion paper [8] appears with the full derivation and the authors add a quantitative correlator check or a second modulus, the paper would be suitable for acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nTwo things to know about arXiv:2502.00512. First, it gives a concrete, normalized lattice construction of the energy-momentum tensor in the 2D Ising CFT in spin variables, under arbitrary affine transformations, with a mixing angle between T and \\tilde T. Second, the derivation of the key staggered-lattice vectors ℓ'_k is sketched, not proven, and all numerical checks beyond the one-point function are sign-pattern comparisons at a single modulus.\n\nWhat is actually new: Kadanoff-Ceva didn't have the full normalization under general affine transformations, and the earlier Brower-Owen work didn't cover full modular space. The parametric-derivative-to-spin-operator mapping via loop expansions is clean, and the normalization is not fitted. The staggered-lattice shift from the circumcenter dual is a genuinely interesting structural observation.\n\nCredit where due: the one-point functions at τ = 1.2 e^{4iπ/9} agree with exact CFT values within 1-2σ (e.g., ⟨T1⟩ ≈ 0.215(21) vs 0.218). That is real evidence the normalization and mixing angle are right, not just plausible. The paper is also honest that details are deferred.\n\nSoft spots. The six conditions in Eq. (16) are asserted to determine ℓ'_k, but no existence or uniqueness proof is given. More importantly, the replacement of the actual neighbor displacement by ℓ'_k in the derivative expansion (13) is a nontrivial field redefinition; the EOM argument justifies it only at leading order, and the stress-test note is right that the mixing angle and all T_k operators inherit this unproven identification. The normal-ordering subtraction is described abstractly, and the higher-point checks are sign patterns only at a single lattice size. These are real gaps, but proportionate: this is a proceedings paper, and the companion paper [8] may close them.\n\nWho this is for: lattice field theorists working on QFE or curved-space lattice, or anyone who wants a spin-variable EM tensor for the Ising CFT in numerical simulations. It deserves a serious referee: the construction is nontrivial, the numerics give partial quantitative support, and the claims are concrete. For a journal referee, I would ask for the ℓ'_k derivation, at least one additional modulus with continuum extrapolation for the one-point functions, and a quantitative higher-point comparison. For the proceedings, it is acceptable as is.","headline":"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.","tokens_in":8801,"tokens_out":4520,"would_cite":true,"duration_ms":44986,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T40","81T25","82B20"],"pacs":[],"model":"deepseek-v4-flash","headline":"Lattice spin operators reproduce the energy-momentum tensor of the 2D Ising CFT under affine transformations, normalization included.","keywords":["Ising conformal field theory","energy-momentum tensor","lattice stress tensor","affine-transformed lattice","hexagonal lattice","triangular lattice","staggered lattice","conformal Ward identity"],"falsifier":"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.","tokens_in":7816,"feed_emoji":"🧲","tokens_out":9805,"duration_ms":82460,"temperature":0.7,"pith_summary":"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.","feed_headline":"Lattice spin operators reproduce the Ising CFT stress tensor","feed_subtitle":"Monte Carlo checks on triangular and hexagonal lattices confirm one-point, three-point, and TT correlators.","key_machinery":"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)$.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the lattice Majorana fermion action and the loop-expansion relation used to translate fermionic parametric derivatives into spin variables.","marker":"[12]"},{"why":"Gives the affine-plane critical couplings in Eq. (10) and the continuum derivative-expansion setup from which Eq. (16) is derived.","marker":"[13]"},{"why":"States the torus conformal Ward identity used as the exact prediction for the one- and three-point functions.","marker":"[5]"},{"why":"Provides the exact Ising CFT correlation functions on the torus against which the Monte Carlo results are compared.","marker":"[6]"},{"why":"Earlier spin-variable construction of the Ising energy-momentum operators that the present work extends to full normalization under affine transformations.","marker":"[7]"},{"why":"Companion paper containing the full derivation of the staggered-lattice structure and the regularized operators used in the numerics.","marker":"[8]"}],"fun_headline_variants":["Ising CFT stress tensor from lattice spin operators","Lattice spin operators reproduce Ising CFT stress tensor","Stress tensor in Ising CFT via lattice spin operators","Monte Carlo confirms lattice stress tensor for Ising CFT","Lattice derivation of Ising CFT energy-momentum tensor"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Ising CFT stress tensor from lattice spin operators","Lattice spin operators reproduce Ising CFT stress tensor","Stress tensor in Ising CFT via lattice spin operators","Monte Carlo confirms lattice stress tensor for Ising CFT","Lattice derivation of Ising CFT energy-momentum tensor"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000194,"raw_usage":{"total_tokens":1335,"prompt_tokens":905,"completion_tokens":430,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":521,"completion_tokens_details":{"reasoning_tokens":347}},"tokens_in":521,"tokens_out":430,"duration_ms":3793,"temperature":1.0,"reasoning_tokens":347,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-09T18:41:45.771925+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Ising model as Wilson-Majorana Fermions","cited_arxiv_id":"2003.01579","evidence_quote":"Supplies the lattice Majorana fermion action and the loop-expansion relation used to translate fermionic parametric derivatives into spin variables."},{"cited_title":"Ising Model on the Affine Plane","cited_arxiv_id":"2209.15546","evidence_quote":"Gives the affine-plane critical couplings in Eq. (10) and the continuum derivative-expansion setup from which Eq. (16) is derived."},{"cited_title":"Eguchi and H","cited_arxiv_id":null,"evidence_quote":"States the torus conformal Ward identity used as the exact prediction for the one- and three-point functions."},{"cited_title":"Di Francesco, H","cited_arxiv_id":null,"evidence_quote":"Provides the exact Ising CFT correlation functions on the torus against which the Monte Carlo results are compared."},{"cited_title":"Kadanoff and H","cited_arxiv_id":null,"evidence_quote":"Earlier spin-variable construction of the Ising energy-momentum operators that the present work extends to full normalization under affine transformations."},{"cited_title":"Brower, G.T","cited_arxiv_id":null,"evidence_quote":"Companion paper containing the full derivation of the staggered-lattice structure and the regularized operators used in the numerics."}],"review_version":1}