Hamiltonian Truncation Effective Theory

• Hamiltonian Truncation Effective Theory is an effective-field formulation that splits the Hilbert space into low and high energy sectors to accurately compute quantum field observables.
• It systematically organizes truncation errors through local counterterms and controlled nonlocal corrections, enhancing renormalization and convergence.
• HTET underpins techniques like TCSA, DLCQ, and tensor-network methods, with applications in spectral analysis, real-time dynamics, and entanglement measures.

Hamiltonian Truncation Effective Theory (HTET) is the effective-field-theory formulation of Hamiltonian truncation, in which a quantum field theory Hamiltonian is written as $H=H_0+V$, the Hilbert space is split into retained and discarded sectors by projectors $P$ and $Q=1-P$, and the effect of the discarded high-energy states is encoded in an effective Hamiltonian acting on the truncated subspace. In its standard form,

$$H_{\mathrm{eff}}(E)=P H P + P H Q \,(E-Q H Q)^{-1} Q H P,$$

so the truncation is treated as a low-energy EFT whose cutoff artifacts are removed, or at least organized, by local counterterms and controlled nonlocal corrections. In this sense, HTET is the organizing principle behind renormalized Hamiltonian truncation and related effective-interaction approaches, and it has become a framework for spectra, correlators, real-time dynamics, entanglement, and tensor-network algorithms in continuum QFT (Fitzpatrick et al., 2022, Cohen et al., 2021, Miro et al., 2022).

1. Formal construction and historical development

The basic HTET construction begins with a solvable reference Hamiltonian $H_0$, usually a free theory or a CFT Hamiltonian, and a deformation $V$. The full Hilbert space is decomposed as $\mathcal H=\mathcal H_l\oplus \mathcal H_h$, with $P$ projecting onto the truncated low-energy sector and $Q$ onto its complement. Rewriting the Schrödinger equation in block form and formally integrating out $Q$-space yields the Schur-complement or Bloch–Feshbach effective Hamiltonian quoted above. Expanded around $P$0, this produces the standard sequence of corrections

$P$1

together with higher-order terms (Fitzpatrick et al., 2022).

A second, matching-based formulation constructs the effective Hamiltonian from a finite-volume transition matrix. In that approach one defines $P$2 and fixes the operators order by order by requiring equality of the full and effective transition amplitudes. The resulting matrix elements are

$P$3

$P$4

$P$5

This formulation was presented explicitly as “Hamiltonian Truncation Effective Theory” and used to exhibit separation of scales in $P$6D and $P$7D $P$8 (Cohen et al., 2021).

An alternative nonperturbative representation uses the interaction-picture operator $P$9, giving

$Q=1-P$0

This representation makes spectral matching manifest: if $Q=1-P$1 is computed exactly, diagonalizing $Q=1-P$2 reproduces the low-energy spectrum of the renormalized UV theory. It also clarifies why the effective Hamiltonian is generally non-Hermitian: projection and matching are not symmetric operations on the retained and discarded sectors (Miro et al., 2022).

Historically, earlier Fock-space studies of two-dimensional $Q=1-P$3 already treated truncation errors by an analytic renormalization procedure inspired by EFT, integrating out discarded high-energy states and replacing them by local counterterms in the truncated Hamiltonian (Rychkov et al., 2014). The later HTET literature systematized that viewpoint, supplied explicit matching observables, and extended it beyond leading local counterterms.

2. Renormalization, power counting, and operator structure

HTET treats the truncation scale $Q=1-P$4 or $Q=1-P$5 as an EFT cutoff. High-energy contributions from $Q=1-P$6-space are reorganized into operator corrections

$Q=1-P$7

with $Q=1-P$8 local operators allowed by the symmetries of $Q=1-P$9, and coefficients whose cutoff dependence can be organized through RG flow equations of the form

$$H_{\mathrm{eff}}(E)=P H P + P H Q \,(E-Q H Q)^{-1} Q H P,$$0

For scalar theories, the dominant local operators typically include $$H_{\mathrm{eff}}(E)=P H P + P H Q \,(E-Q H Q)^{-1} Q H P,$$1, $$H_{\mathrm{eff}}(E)=P H P + P H Q \,(E-Q H Q)^{-1} Q H P,$$2, and derivative terms such as $$H_{\mathrm{eff}}(E)=P H P + P H Q \,(E-Q H Q)^{-1} Q H P,$$3 (Fitzpatrick et al., 2022).

In $$H_{\mathrm{eff}}(E)=P H P + P H Q \,(E-Q H Q)^{-1} Q H P,$$4 dimensional $$H_{\mathrm{eff}}(E)=P H P + P H Q \,(E-Q H Q)^{-1} Q H P,$$5, the EFT structure can be organized explicitly as an expansion in $$H_{\mathrm{eff}}(E)=P H P + P H Q \,(E-Q H Q)^{-1} Q H P,$$6. A matching analysis establishes that $$H_{\mathrm{eff}}(E)=P H P + P H Q \,(E-Q H Q)^{-1} Q H P,$$7 contains local leading-order terms of order $$H_{\mathrm{eff}}(E)=P H P + P H Q \,(E-Q H Q)^{-1} Q H P,$$8 and controlled nonlocal next-to-leading-order terms of order $$H_{\mathrm{eff}}(E)=P H P + P H Q \,(E-Q H Q)^{-1} Q H P,$$9, while $H_0$0 starts at order $H_0$1. The same analysis identifies the unique NLO nonlocal correction to $H_0$2 as

$H_0$3

Including these nonlocal matching terms removes the $H_0$4 error and leaves residual errors scaling as $H_0$5, in agreement with EFT power counting (Demiray et al., 21 Jul 2025).

The higher-order structure is richer still. A later analysis of $H_0$6D $H_0$7 derived all-order resummations of infinite classes of local corrections to the mass and quartic coupling and extended the nonlocal sector to the next-to-next-to-local level at $H_0$8. In that formulation the effective operator basis includes not only $H_0$9 and $V$0, but also composites such as $V$1, $V$2, and frequency-weighted structures represented by double commutators with $V$3. The continuum-first matching procedure introduced there computes the distributional coefficients in infinite volume and only then re-compactifies to finite volume, specifically to avoid ambiguities associated with $V$4, $V$5, and $V$6 terms at discrete energies (Maestri et al., 13 Feb 2026).

This hierarchy makes clear that HTET is not merely a prescription for adding a few counterterms. It is an order-by-order expansion in which locality is the leading approximation, while nonlocality appears in a controlled way through insertions of $V$7, external energies, and, at higher orders, additional operator classes.

3. Bases, truncation schemes, and symmetry realization

HTET is independent of a single basis choice. What changes from scheme to scheme is the definition of the projector $V$8, the kinematic organization of states, and the form of matrix elements. The Snowmass white paper emphasizes three principal continuum truncation schemes. In the Truncated Conformal Space Approach (TCSA), $V$9 projects onto CFT states organized by radial quantization on $\mathcal H=\mathcal H_l\oplus \mathcal H_h$0, with cutoff set by conformal energy or scaling dimension. In Discrete Light-Cone Quantization (DLCQ), $\mathcal H=\mathcal H_l\oplus \mathcal H_h$1 retains states at fixed total light-cone momentum $\mathcal H=\mathcal H_l\oplus \mathcal H_h$2. In Lightcone Conformal Truncation (LCT), $\mathcal H=\mathcal H_l\oplus \mathcal H_h$3 is a basis of CFT primary operators in Minkowski light-cone quantization truncated by scaling dimension (Fitzpatrick et al., 2022).

These basis choices determine which symmetries are manifest. TCSA and LCT implement CFT data directly, and the white paper stresses that TCSA is intrinsically gauge-invariant when formulated entirely in terms of local gauge-invariant operators. DLCQ preserves gauge invariance in $\mathcal H=\mathcal H_l\oplus \mathcal H_h$4, where gauge fields carry no local degrees of freedom. Across all schemes, parity, global internal symmetries, and some Lorentz structure can be implemented exactly inside the truncated space, organizing states by irreducible representations (Fitzpatrick et al., 2022).

Equal-time massive Fock-space truncation remains central in scalar theories. In two-dimensional $\mathcal H=\mathcal H_l\oplus \mathcal H_h$5, one works in a finite-volume Fock basis of free-theory eigenstates and imposes an $\mathcal H=\mathcal H_l\oplus \mathcal H_h$6-energy cutoff. Early analytic renormalization studies used exactly this setup and already treated the discarded sector as an EFT contribution built from local operators such as $\mathcal H=\mathcal H_l\oplus \mathcal H_h$7, $\mathcal H=\mathcal H_l\oplus \mathcal H_h$8, and $\mathcal H=\mathcal H_l\oplus \mathcal H_h$9 (Rychkov et al., 2014). In later next-to-leading-order renormalized truncation, the same basis was enlarged by “tail states”

$P$0

which package the UV-dominant part of the discarded sector in a variationally controlled way (Elias-Miro et al., 2017).

For UV-divergent deformations of $P$1 dimensional CFTs, the basis is constructed from Virasoro descendants and the truncated eigenproblem takes the generalized form $P$2, with $P$3 the non-diagonal Gram matrix. In that context, local renormalization with a short-distance regulator $P$4 is followed by an effective-Hamiltonian construction that analytically removes the local regulator and leaves nonlocal $P$5 terms fixed by CFT OPE data. This strategy was implemented for deformed Ising, Tricritical Ising, and the non-unitary minimal model $P$6, including multi-operator flows and coupling-constant renormalization (Delouche et al., 2023).

The choice of basis is therefore not secondary. It fixes how locality, symmetry, and UV data are encoded, and it determines whether the most natural HTET language is one of local fields, conformal blocks, light-front kinematics, or Fock-space mode sums.

4. Spectra, correlators, dynamics, and entanglement

The most developed applications of HTET are spectral. In two-dimensional $P$7, next-to-leading-order renormalized truncation produced infinite-volume estimates

$P$8

$P$9

$Q$0

together with a critical coupling

$Q$1

and finite-size gaps at criticality consistent with Ising CFT scaling dimensions (Elias-Miro et al., 2017). A later systematic HTET analysis based on order-by-order matching reported

$Q$2

again for the $Q$3 dimensional theory flowing to the $Q$4D Ising CFT (Demiray et al., 21 Jul 2025).

In three-dimensional $Q$5, the white paper emphasizes that adding the appropriate local counterterms made Hamiltonian truncation practical and predictive at strong coupling: spectra obeyed strong–weak duality and correlators near criticality exhibited universal scaling consistent with $Q$6D Ising exponents. The same review also summarizes applications to $Q$7D scalar theories, sine-Gordon dualities, deformed Ising models, and $Q$8D gauge theories, including spectral functions for $Q$9 and extractions of scattering information from truncation eigenstates through analytic S-matrix methods (Fitzpatrick et al., 2022).

In $Q$0, the effective-theory role of HTET becomes especially explicit. For scalar $Q$1 on a spatial torus, the sharp energy cutoff produces state-dependent missing-state effects that spoil vacuum-bubble cancellations. The effective Hamiltonian was therefore supplemented not only by local vacuum and mass counterterms but also by state-dependent corrections $Q$2 and $Q$3 that restore the factorization of disconnected bubbles under the truncation regulator. With these HTE corrections included, spectra converged as $Q$4 and passed a weak/strong self-duality test (Miro et al., 2020).

HTET also supports real-time and entanglement observables. Once $Q$5 is known, Lorentzian evolution follows from $Q$6, enabling studies of spectral form factors, eigenstate thermalization, hydrodynamic transport, and level-statistics diagnostics such as Wigner–Dyson versus Poisson behavior (Fitzpatrick et al., 2022). For reduced density matrices, an explicit isomorphism $Q$7 can be constructed in a free basis by a multimode Bogoliubov transform. This makes possible direct computation of

$Q$8

as well as mutual information and logarithmic negativity, for ground states, thermal states, and real-time quenches. Benchmarks were given for the free Klein–Gordon theory and for the interacting sine-Gordon model (Emonts et al., 2022).

The scope of HTET observables is thus broader than energy levels alone. Its effective Hamiltonians also organize correlators, spectral densities, entanglement measures, and out-of-equilibrium dynamics in a common finite-volume continuum framework.

5. Algorithmic realizations and tensor-network extensions

A distinctive feature of HTET is that its effective corrections can be realized algorithmically in several inequivalent ways. One influential route is the “tail-state” construction. Starting from the exact Feshbach equation, next-to-leading-order renormalized truncation enlarges the variational space by the states

$Q$9

eliminates them, and obtains the effective correction

$P$00

Its series expansion reproduces $P$01, but the matrix inverse stabilizes the large matrix elements that make a naive cubic truncation unreliable. In $P$02D $P$03 this led to smoother UV extrapolations and $P$04 scaling, rather than the $P$05 behavior of raw or leading-order truncation (Elias-Miro et al., 2017).

A complementary development is Hamiltonian Truncation Tensor Networks (HTTN), which combines truncation with momentum-space MPS/MPO methods. The Hilbert space is truncated by a sharp momentum cutoff $P$06 together with nonuniform local occupation cutoffs $P$07, and total momentum conservation is imposed by an exact global projector represented as a symmetric MPS. The bond dimension of this $P$08-MPS satisfies

$P$09

and the resulting interacting MPO bond dimension obeys

$P$10

The method uses two-site DMRG for spectra and TDVP with global Krylov expansion for dynamics. Reported truncated Hilbert spaces reach $P$11, the sine-Gordon gap agrees with integrability after $P$12 extrapolation, and for the bosonized massive Schwinger model at $P$13 the critical point was located at

$P$14

consistent with prior numerics $P$15 (Schmoll et al., 2023).

These two constructions exemplify different HTET philosophies. Tail-state methods integrate out a selected class of high-energy states explicitly and resum their effect into a low-dimensional operator correction. HTTN instead pushes the truncation window itself to much larger sizes, implements the projector exactly at the operator level, and controls the discarded sector mainly through RG-informed parameter choices and cutoff extrapolation. Both remain compatible with the general HTET language, in which the physics of $P$16-space must be represented inside the truncated theory, whether by explicit Schur-complement corrections, by matched counterterms, or by high-capacity variational representations.

6. Locality, non-Hermiticity, and open problems

A central technical issue in HTET is locality. The white paper emphasizes that a hard cutoff in the total energy of the system is a nonlocal condition, so counterterms often cannot be represented as purely local interactions without further analysis (Fitzpatrick et al., 2022). This problem was sharpened by a study of conformal perturbation theory up to fourth order, which found that in Hamiltonian truncation extra UV divergences appear once

$P$17

Above this threshold, the mismatch between connected and subtraction terms behaves as

$P$18

signaling a regulator-induced breakdown of locality. In that regime, a purely local HTET is insufficient; one must introduce nonlocal or bilocal counterterms, modify the truncation prescription, or restrict attention to deformations below the threshold (Miro et al., 2021).

This does not imply that HTET fails to describe a local QFT. A complementary analysis argues that one should first renormalize the UV theory with a local regulator, then construct the effective Hamiltonian for the renormalized theory, and only afterward remove the local regulator analytically. The resulting $P$19 terms may be nonlocal as operators on the truncated Hilbert space, yet still ensure that the low-energy spectrum matches that of the local theory (Miro et al., 2022). In this sense, nonlocality in HTET is often a property of the regulator and of the reduced description, not of the underlying QFT itself.

Non-Hermiticity is another persistent feature. The transition-matrix matching construction produces an effective Hamiltonian that is generally non-Hermitian, and the matching paper argues that complete Hermiticity appears incompatible with preserving separation of scales in that framework (Cohen et al., 2021). Later works on systematic $P$20 improvement confirmed that some nonlocal matching terms are generically non-Hermitian, especially when commutators with $P$21 first enter at order $P$22 (Demiray et al., 21 Jul 2025).

Open problems follow directly from these structural facts. The Snowmass review identifies operator proliferation at strong coupling, rapidly growing basis size, the development of conformal three-point kinematics for LCT in $P$23, and the treatment of gauge invariance and Gauss’s law in $P$24 as major challenges. It also singles out full LSZ scattering, improved RG schemes for $P$25, and integration with bootstrap, tensor-network, and quantum-simulation methods as important directions (Fitzpatrick et al., 2022). Work on UV-divergent CFT deformations likewise shows that multi-operator flows, nonunitary theories, and PT-symmetric Hamiltonians can be handled, but only with increasingly elaborate $P$26 structures and careful control of Gram-matrix and cutoff effects (Delouche et al., 2023).

HTET therefore occupies a technically delicate position. It is a systematic EFT of truncation, not a guarantee that a naive cutoff will preserve locality, Hermiticity, or gauge symmetry automatically. Its strength lies precisely in making those failures explicit, classifying them in operator language, and providing a controlled route to correct them.