REVIEW 3 major objections 4 minor 38 references
The paper shows Hamiltonian truncation errors in 2D λϕ⁴ can be pushed to O(Emax⁻⁴) with resummed local terms plus a new class of nonlocal corrections.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-02 23:36 UTC pith:DMPYF4SL
load-bearing objection Two genuinely new analytic pieces (all-order local resummations, NNLO non-local table) with honest numerical downsides, but the continuum-first matching prescription leaves the NNLO coefficients scheme-dependent at the level of the claimed 1/Emax^4 accuracy. the 3 major comments →
Higher-order structure of Hamiltonian truncation effective theory
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central result is a two-pronged improvement of the HTET effective Hamiltonian for 2D λϕ⁴. First, the local matching corrections to the quartic coupling and mass are resummed to all orders within the local approximation, giving compact closed forms: δλ̃ = 6λ (X − X_eff)/((1 − X)(1 − X_eff)) and δm̃² = λ/(9πR) Σ_k N/(2ω_k)[G_k/(1 − N G_k) − G_eff/(1 − N G_eff)]. Second, the nonlocal sector is extended to O(Emax⁻⁴): after classifying all four-leg and two-leg topologies, the symmetrized contribution is organized into universal kernels K4_sym and K2_sym that involve Θ, Θ′, and Θ′′; the distributional coefficients are defined by infinite-volume integrals (F, I, B) and then combined with discre
What carries the argument
The load-bearing machinery is twofold. (i) Geometric-series resummation of local diagrams: the dimensionless sums X = −λ/(4πR) Σ_k (2ω_k)⁻³ and G_k = −Σ_j [2ω_j 2ω_{k+j}(ω_k+ω_j+ω_{k+j})]⁻¹ are assembled into 1/(1−X) and 1/(1−NG_k) factors, turning infinite diagram classes into closed-form counterterms. (ii) Continuum-first matching of nonlocal corrections: derivatives of the Heaviside function Θ⁽ⁿ⁾(2ω_k−Emax) are evaluated as infinite-volume integrals F_α^n, I_α^n, B_α^n, with derivatives transferred to the cutoff via (−∂_Emax)^n, and only afterwards is the spatial circle re-imposed to build operators on the discrete Fock basis. The NNLO frequency-squared dependence is realized as double co
Load-bearing premise
The continuum-first matching prescription—computing the ambiguous NNLO matching coefficients in infinite volume and then using them in the finite-volume truncated theory—is assumed to yield the correct finite-volume effective Hamiltonian; the paper offers numerical evidence but not a derivation.
What would settle it
At a fixed small volume (e.g., 2πR = 10) and moderate Emax, compute the first energy gap using the continuum-first NNLO coefficients (Table I) and using an alternative finite-volume regularization in which Θ′ and Θ″ are represented by a narrow smearing of the discrete spectrum (e.g., Gaussian width ε) taken to zero after summation. If the two prescriptions differ by terms that do not vanish relative to Emax⁻⁴ as Emax increases, the continuum-first matching is a convention rather than the finite-volume limit.
If this is right
- The truncated effective Hamiltonian for 2D λϕ⁴ is now known through O(Emax⁻⁴), with a complete operator basis (Table I) that includes H0²H2, H4H0², H0H2H0, H0H4H0, and higher-derivative operators.
- Low-energy spectral gaps computed with NLO and NNLO nonlocal corrections show markedly flatter Emax dependence and reach a stable plateau at moderate cutoffs, implying fewer basis states for a given precision.
- The vacuum-sector resummation B0¹(Emax−H0) means that all nonlocal vacuum corrections of any order are captured by shifting the cutoff operatorially.
- The finite-volume ambiguity of distributional matching coefficients is resolved by defining them in the continuum; numerical comparisons indicate discrete sums converge to continuum values as Emax grows.
- Resumming only a fixed topology within the local approximation can over-correct and slow convergence, so a controlled perturbative matching with complete local and nonlocal terms is the safer improvement.
Where Pith is reading between the lines
- One can stress-test the universality of the kernels K2 and K4 by computing a three-particle spectral gap or a vacuum energy at NNLO; if the same operator basis removes cutoff dependence there, the framework is likely robust beyond the two lowest states.
- The continuum-first recipe suggests a general blueprint for HTET in other models and higher dimensions: match in infinite volume first, then compactify, which may soften known discretization artifacts in distributional counterterms.
- The operator identity ω²ϕ = [H0,[H0,ϕ]] hints at a Lie-algebraic organization of the effective expansion—perhaps all higher-order corrections are polynomials in H0 acting on local normal-ordered fields, which might admit resummations analogous to the vacuum sector.
- An independent test of the continuum-first convention would be to define the NNLO coefficients with an alternative finite-volume smearing of Θ′ and Θ″; if low-energy spectra differ at order Emax⁻⁴, the coefficients are a convention rather than a unique finite-volume limit.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops two extensions of Hamiltonian truncation effective theory (HTET) for 2D λφ⁴ theory. First, in Sec. III it derives compact all-order expressions for the local matching corrections to the quartic coupling and mass, Eqs. (20) and (27), by summing infinite classes of diagrams with fixed topology within the local approximation. Second, in Sec. IV it derives next-to-next-to-local (NNLO) corrections at O(E_max⁻⁴) using a continuum-first matching prescription, in which matching coefficients are computed in infinite volume and then combined with finite-volume operators; the resulting operator basis is summarized in Table I. Numerical studies of spectral gaps (Sec. V) show that the resummed local corrections do not uniformly improve over the fixed-order LO result, while NLO and NNLO non-local insertions progressively flatten the E_max-dependence of the first gaps.
Significance. The all-order local resummation and the explicit NNLO operator basis are potentially useful contributions to HTET. The paper also provides a reproducible data repository and a clear discussion of why finite-volume distributional coefficients are ambiguous. The main quantitative novelty — Table I — would be significant if the continuum-first coefficients can be shown to be the correct finite-volume matching coefficients to the claimed order, since it would provide a systematic 1/E_max expansion of the effective Hamiltonian. However, the central claim of systematicity is currently undercut by unresolved scheme dependence in the NNLO coefficients.
major comments (3)
- [Sec. IV, Eqs. (40)-(43), Table I, Appendix C] The continuum-first matching prescription is the load-bearing assumption for the NNLO operator basis. The paper explicitly states in Eqs. (40)-(42) that finite-volume distributions involving Θ' and Θ'' are not uniquely defined, and it resolves this by adopting infinite-volume integrals. But Appendix C shows that even at NLO the finite-volume factor β̂₁⁽¹⁾, Table II, varies between -0.70 and 2.51 for ℓ=5 as E_max ranges over [10,30] — O(1) deviations, not a small subleading effect. The numerical convergence in Fig. 1 and the spectral-gap comparisons in Fig. 3 do not establish that the continuum coefficient equals the exact finite-volume matching coefficient at O(E_max⁻⁴); gap spectra can be insensitive to coefficient differences. Since the NNLO entries scale as E_max⁻⁴, any finite-volume/continuum discrepancy at that order would alter the coefficients at the same order as the claimed corr
- [Sec. III, Eqs. (15)-(16)] The factorization leading to the geometric series is asserted rather than derived. After the local approximation is introduced, the L-loop contribution is written as a product of L identical momentum sums, and the cutoff constraint in Eq. (14) is replaced by independent Θ(2ω_k−E_max) insertions. However, the derivation of this factorization from Eq. (13) and the treatment of the external-energy corrections at finite E_max are not shown. Since Eqs. (20) and (27) are the central results of Sec. III, please provide the intermediate steps or an appendix that demonstrates that the infinite classes of diagrams indeed sum geometrically with the stated X and G_k factors.
- [Sec. IV, Eq. (31)] The universal symmetrized kernel K_sym⁴ is introduced by stating that 'once all four-leg topologies in Eq. (28) and their inequivalent symmetrizations are included consistently, the result becomes independent of the particular external-leg assignment.' No derivation of this kernel is given; the nine topologies are listed but the summation over them is not shown. Since the numerical coefficients in Table I follow from this kernel, this is a central step. Please provide the explicit sum over topologies and symmetrizations, or a detailed appendix with the intermediate expressions, so that the NNLO operator basis can be independently verified.
minor comments (4)
- [Eq. (3)] The notation 'H tru' appears with a missing space in the equation; suggest 'H_tr' or 'H_tru' consistently.
- [Appendix C] The title 'Investigating final volume effects' appears to be a typo; 'finite volume effects' is presumably intended.
- [Sec. V, Fig. 4] The caption refers to 'Clockwise from the top left' but the four panels do not carry labels (a)-(d); please label them to make the orientation unambiguous.
- [Sec. II, around Eq. (9)] The discussion of Casimir-energy contributions and normal-ordering mismatch is brief; a reference or a short expansion would help readers orient the role of exponentially suppressed terms.
Circularity Check
No significant circularity: the matching coefficients are derived from fixed inputs via explicit diagrammatic sums and continuum integrals; no parameter is fitted to the target observables.
full rationale
The derivation is self-contained. The matching conditions (7)-(8) fix the effective interactions directly from the interaction V and the free spectrum, with no parameter tuned to the later spectral observables. The resummed local corrections (20) and (27) are obtained as sums of explicitly written diagrammatic series (16)-(19), (23)-(26), and the NNLO coefficients in Table I follow from evaluating the continuum integrals (43)-(47), with the technical details given in App. A. The continuum-first rule is an acknowledged convention adopted because Θ' and Θ'' are ill-defined on the discrete spectrum (Eqs. (40)-(42)); the paper itself quantifies the resulting finite-volume sensitivity in App. C, Table II. A scheme choice and an unresolved validity question are not, by themselves, circularity: the coefficients are not extracted from the energy gaps used for validation, nor are the central results justified by a self-citation. The only self-referential item is the reproducibility repository [36], which carries no argumentative weight. Thus no circular step can be exhibited.
Axiom & Free-Parameter Ledger
axioms (5)
- domain assumption Order-by-order matching of the transition matrix between the full and effective theories (Sec. II, Eqs. (7)-(8)) defines the effective Hamiltonian.
- domain assumption Local approximation: external energies and momenta are treated as much smaller than Emax and set to zero in the leading local terms (Sec. III, Eqs. (14)-(15)).
- domain assumption The all-order resummation assumes that, in the local limit, the L-loop contribution factorizes into L identical momentum sums, giving geometric series in X and N·G_k (Eqs. (15)-(16), (23)).
- domain assumption Continuum-first matching: infinite-volume values of distributional coefficients (F, I, B integrals) are used in the finite-volume truncated theory (Sec. IV, Eqs. (43)-(47), Table I).
- standard math Numerical differentiation of the tabulated integrals via Chebyshev interpolation is accurate enough for the quoted coefficients (App. A, Eqs. (A15)-(A16)).
read the original abstract
We study the Hamiltonian truncation for the two-dimensional $\lambda\phi^4$ theory within the framework of Hamiltonian truncation effective theory, where truncation artifacts are mitigated through a systematic inclusion of corrective terms organized in inverse powers of the ultraviolet energy cut-off $E_{\rm max}$. Building on the leading-order matching program, we develop two complementary extensions. First, we derive compact all-order expressions for the local matching corrections to the mass and quartic coupling by resumming infinite classes of diagrams sharing fixed topologies within the local approximation. Second, we extend the non-local sector by computing the next-to-next-to-local corrections contributing at $\mathcal{O}(E_{\rm max}^{-4})$, following a continuum-first matching procedure, in which the effective corrections are computed in infinite volume and the spatial direction is subsequently re-compactified to obtain a discrete basis of free-Hamiltonian eigenstates on which the truncated operator construction is implemented. Our results show that an increasingly rich operator basis is necessary to describe the theory beyond leading order.
Figures
Reference graph
Works this paper leans on
-
[1]
K. G. Wilson, Renormalization group and critical phenomena. 2. Phase space cell analysis of critical behavior, Phys. Rev. B4, 3184 (1971)
1971
-
[2]
Raw” corresponds to the bare truncationH raw =P HP. The curve (dashed lines with circular markers) labeled “LO
Again, this encodes an irreducible dependence on the individual external frequencies, which enter the kernelK 2 sym exclusively through a quadratic combination, in direct analogy with the role played by Ω 4. The case with no external legs is simpler, as only the following topology contributes (38) The corresponding operatorial contributions involve only p...
-
[3]
Berges, Introduction to nonequilibrium quantum field theory, AIP Conf
J. Berges, Introduction to nonequilibrium quantum field theory, AIP Conf. Proc.739, 3 (2004), arXiv:hep-ph/0409233
Pith/arXiv arXiv 2004
-
[4]
At LO it is completely independent ofE i andE f
We emphasize that the kernelK 4 sym exhibits a clear hierarchy in its dependence on the external energies. At LO it is completely independent ofE i andE f . At NLO it depends on the total energies of the initial and final states, but not on the individual external frequencies. At NNLO it acquires an irreducible dependence on the external frequencies, whic...
-
[5]
K. G. Wilson, Confinement of Quarks, Phys. Rev. D10, 2445 (1974)
1974
-
[6]
Wetterich, Exact evolution equation for the effective potential, Phys
C. Wetterich, Exact evolution equation for the effective potential, Phys. Lett. B301, 90 (1993), arXiv:1710.05815 [hep-th]
Pith/arXiv arXiv 1993
-
[7]
Creutz, Monte Carlo Study of Quantized SU(2) Gauge Theory, Phys
M. Creutz, Monte Carlo Study of Quantized SU(2) Gauge Theory, Phys. Rev. D21, 2308 (1980)
1980
-
[8]
de Forcrand, Simulating QCD at finite density, PoSLA T2009, 010 (2009), arXiv:1005.0539 [hep-lat]
P. de Forcrand, Simulating QCD at finite density, PoSLA T2009, 010 (2009), arXiv:1005.0539 [hep-lat]
Pith/arXiv arXiv 2009
-
[9]
C. Gattringer and K. Langfeld, Approaches to the sign problem in lattice field theory, Int. J. Mod. Phys. A31, 1643007 (2016), arXiv:1603.09517 [hep-lat]
Pith/arXiv arXiv 2016
-
[10]
J. B. Kogut and L. Susskind, Hamiltonian Formulation of Wilson’s Lattice Gauge Theories, Phys. Rev. D11, 395 (1975)
1975
-
[11]
M. C. Ba˜ nuls and K. Cichy, Review on Novel Methods for Lattice Gauge Theories, Rept. Prog. Phys.83, 024401 (2020), arXiv:1910.00257 [hep-lat]
Pith/arXiv arXiv 2020
-
[12]
P. Silvi, E. Rico, T. Calarco, and S. Montangero, Lattice Gauge Tensor Networks, New J. Phys.16, 103015 (2014), arXiv:1404.7439 [quant-ph]
Pith/arXiv arXiv 2014
-
[13]
D. B. Kaplan and J. R. Stryker, Gauss’s law, duality, and the Hamiltonian formulation of U(1) lattice gauge theory, Phys. Rev. D102, 094515 (2020), arXiv:1806.08797 [hep-lat]
Pith/arXiv arXiv 2020
-
[14]
R. C. Brower, D. Berenstein, and H. Kawai, Lattice Gauge Theory for a Quantum Computer, PoSLA TTICE2019, 112 (2020), arXiv:2002.10028 [hep-lat]
Pith/arXiv arXiv 2020
-
[15]
V. P. Yurov and A. B. Zamolodchikov, Truncated conformal space approach to scaling lee-yang model, Int. J. Mod. Phys. A5, 3221 (1990)
1990
-
[16]
V. P. Yurov and A. B. Zamolodchikov, Truncated fermionic space approach to the critical 2-D Ising model with magnetic field, Int. J. Mod. Phys. A6, 4557 (1991)
1991
-
[17]
T. Rakovszky, M. Mesty´ an, M. Collura, M. Kormos, and G. Tak´ acs, Hamiltonian truncation approach to quenches in the Ising field theory, Nucl. Phys. B911, 805 (2016), arXiv:1607.01068 [cond-mat.stat-mech]
Pith/arXiv arXiv 2016
-
[18]
P. Schmoll, J. Naumann, A. Nietner, J. Eisert, and S. Sotiriadis, Hamiltonian truncation tensor networks for quantum field theories, (2023), arXiv:2312.12506 [quant-ph]
Pith/arXiv arXiv 2023
-
[19]
R. Houtz and J. Ingoldby, Hamiltonian Truncation Framework for Gauge Theories on the Interval, (2025), arXiv:2509.17890 [hep-th]
arXiv 2025
-
[20]
M. Hogervorst, S. Rychkov, and B. C. van Rees, Truncated conformal space approach in d dimensions: A cheap alternative to lattice field theory?, Phys. Rev. D91, 025005 (2015), arXiv:1409.1581 [hep-th]
Pith/arXiv arXiv 2015
-
[21]
J. Elias-Mir´ o and E. Hardy, Exploring Hamiltonian Truncation ind=2+1, Phys. Rev. D102, 065001 (2020), arXiv:2003.08405 [hep-th]
Pith/arXiv arXiv 2020
-
[22]
H. Chen, A. L. Fitzpatrick, E. Katz, and Y. Xin, Giving Hamiltonian truncation a boost, JHEP03, 043, arXiv:2207.01659 [hep-th]
-
[23]
N. Anand, A. L. Fitzpatrick, E. Katz, Z. U. Khandker, M. T. Walters, and Y. Xin, Introduction to Lightcone Conformal Truncation: QFT Dynamics from CFT Data, (2020), arXiv:2005.13544 [hep-th]
Pith/arXiv arXiv 2020
-
[24]
A. L. Fitzpatrick and E. Katz, Snowmass White Paper: Hamiltonian Truncation, (2022), arXiv:2201.11696 [hep-th]
Pith/arXiv arXiv 2022
-
[25]
P. Giokas and G. Watts, The renormalisation group for the truncated conformal space approach on the cylinder, (2011), arXiv:1106.2448 [hep-th]
Pith/arXiv arXiv 2011
-
[26]
S. Rychkov and L. G. Vitale, Hamiltonian truncation study of theϕ 4 theory in two dimensions, Phys. Rev. D91, 085011 (2015), arXiv:1412.3460 [hep-th]. 19
Pith/arXiv arXiv 2015
-
[27]
S. Rychkov and L. G. Vitale, Hamiltonian truncation study of theϕ 4 theory in two dimensions. II. TheZ 2 -broken phase and the Chang duality, Phys. Rev. D93, 065014 (2016), arXiv:1512.00493 [hep-th]
Pith/arXiv arXiv 2016
-
[28]
J. Elias-Miro, M. Montull, and M. Riembau, The renormalized Hamiltonian truncation method in the largeE T expansion, JHEP04, 144, arXiv:1512.05746 [hep-th]
-
[29]
J. Elias-Miro, S. Rychkov, and L. G. Vitale, NLO Renormalization in the Hamiltonian Truncation, Phys. Rev. D96, 065024 (2017), arXiv:1706.09929 [hep-th]
Pith/arXiv arXiv 2017
-
[30]
J. Elias-Miro, S. Rychkov, and L. G. Vitale, High-Precision Calculations in Strongly Coupled Quantum Field Theory with Next-to-Leading-Order Renormalized Hamiltonian Truncation, JHEP10, 213, arXiv:1706.06121 [hep-th]
-
[31]
J. Ingoldby, M. Spannowsky, T. Sypchenko, S. Williams, and M. Wingate, Real-Time Scattering on Quantum Computers via Hamiltonian Truncation, (2025), arXiv:2505.03878 [quant-ph]
Pith/arXiv arXiv 2025
- [32]
-
[33]
T. Cohen, K. Farnsworth, R. Houtz, and M. A. Luty, Hamiltonian Truncation Effective Theory, SciPost Phys.13, 011 (2022), arXiv:2110.08273 [hep-th]
Pith/arXiv arXiv 2022
-
[34]
E. Demiray, K. Farnsworth, and R. Houtz, Systematic Improvement of Hamiltonian Truncation Effective Theory, (2025), arXiv:2507.15941 [hep-th]
Pith/arXiv arXiv 2025
-
[35]
O. Delouche, J. Elias Miro, and J. Ingoldby, Hamiltonian truncation crafted for UV-divergent QFTs, SciPost Phys.16, 105 (2024), arXiv:2312.09221 [hep-th]
Pith/arXiv arXiv 2024
-
[36]
J. Elias Miro and J. Ingoldby, Effective Hamiltonians and Counterterms for Hamiltonian Truncation, JHEP07, 052, arXiv:2212.07266 [hep-th]
-
[37]
Zinn-Justin,From Random Walks to Random Matrices, Oxford Graduate Texts (Oxford University Press, 2019)
J. Zinn-Justin,From Random Walks to Random Matrices, Oxford Graduate Texts (Oxford University Press, 2019). [36]https://github.com/AndreaMaestri01/HTET_Resum_NNLO(2026)
2019
-
[38]
M. Diehl, R. Nagar, and F. J. Tackmann, ChiliPDF: Chebyshev interpolation for parton distributions, Eur. Phys. J. C82, 257 (2022), arXiv:2112.09703 [hep-ph]
Pith/arXiv arXiv 2022
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.