Subsystem-Resolved Spectral Theory for Quantum Many-Body Hamiltonians

MD Nahidul Hasan Sabit

arxiv: 2604.21929 · v2 · submitted 2026-04-23 · 🪐 quant-ph · math.QA

Subsystem-Resolved Spectral Theory for Quantum Many-Body Hamiltonians

MD Nahidul Hasan Sabit This is my paper

Pith reviewed 2026-05-09 21:30 UTC · model grok-4.3

classification 🪐 quant-ph math.QA

keywords quantum many-bodysubsystem spectralocal approximationHausdorff distanceexponential decayadditivityspectral theoryinteraction locality

0 comments

The pith

Subsystem spectra of quantum many-body Hamiltonians are stable under local truncation and approximately additive for distant disjoint regions when interactions decay exponentially.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces a subsystem-based framework for analyzing the spectra of quantum many-body Hamiltonians given by sums of local interaction terms. To each subset S of the lattice it assigns the subsystem Hamiltonian H_S consisting of all terms that act on S, along with its spectrum S(S). The main results establish that this H_S can be approximated to exponential accuracy by an operator supported on a small ball around S. The approximation error transfers directly to the spectra, so that the full and truncated spectra differ by at most the same exponentially small amount in the Hausdorff metric. For two disjoint subsystems the spectrum of their union is close to the sum of the individual spectra whenever the subsystems are sufficiently far apart, with the error again controlled by exponential decay. When the interactions have finite range the additivity relation holds with no error.

Core claim

The paper shows that for a Hamiltonian H = sum Φ(X), the subsystem Hamiltonian H_S satisfies ||H_S - H_{S,r}|| ≤ |S| e^{-μ r} ||Φ||_μ, implying d_H(S(S), σ(H_{S,r})) ≤ |S| e^{-μ r} ||Φ||_μ. For disjoint S1 and S2 the subsystem spectrum obeys d_H(S(S1 ∪ S2), S(S1) + S(S2)) ≤ (|S1| + |S2|) e^{-μ D} ||Φ||_μ with D the distance between them. These relations become exact for finite-range interactions.

What carries the argument

Subsystem Hamiltonians H_S defined by restricting the interaction decomposition to terms involving S, combined with the Hausdorff distance on their spectra and the exponential decay norm on Φ.

If this is right

The spectrum of any local region can be obtained from a finite neighborhood with controlled error.
Spectra of distant subsystems add up approximately, enabling modular spectral calculations.
Finite-range interactions yield exact additivity of subsystem spectra.
Spectral properties are shaped by the geometry of the interaction support rather than the global system size.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This locality of spectra could simplify numerical studies of large many-body systems by allowing decomposition into smaller computable pieces.
The results suggest a route to defining bulk spectral densities in the thermodynamic limit using growing subsystems.
Similar arguments might apply to other spectral quantities such as eigenstate properties or response functions.

Load-bearing premise

The interaction terms must satisfy an exponential decay condition that makes the tail contributions arbitrarily small beyond a certain distance.

What would settle it

Take a one-dimensional chain with exponentially decaying Heisenberg couplings, compute the exact eigenvalues of a subsystem of size 10 and of its truncation to range 5, and check if their Hausdorff distance is smaller than the bound 10 times e to the minus mu times 5 times the interaction norm.

read the original abstract

We study spectral properties of quantum many-body Hamiltonians through a subsystem-based framework. Given a Hamiltonian of the form $H = \sum_{X \subseteq \Lambda} \Phi(X)$ acting on a tensor product Hilbert space, we associate to each subset $S \subseteq \Lambda$ a subsystem Hamiltonian $H_S$ and its spectrum $\mathcal{S}(S) = \sigma(H_S)$. This produces a family of spectra indexed by subsystems, allowing spectral data to be organized according to interaction structure. We show that subsystem Hamiltonians admit local approximations: $H_S$ can be approximated by operators supported on finite neighborhoods with an error bounded by $\|H_S - H_{S,r}\| \le |S| e^{-\mu r} \|\Phi\|_\mu$. As a consequence, subsystem spectra are stable under truncation in the sense that $d_H(\mathcal{S}(S), \sigma(H_{S,r})) \le |S| e^{-\mu r} \|\Phi\|_\mu.$ We then prove that for disjoint subsets $S_1, S_2 \subseteq \Lambda$, the subsystem spectrum is approximately additive: $d_H\big(\mathcal{S}(S_1 \cup S_2), \mathcal{S}(S_1) + \mathcal{S}(S_2)\big) \le (|S_1| + |S_2|) e^{-\mu D} \|\Phi\|_\mu,$ where $D = d(S_1, S_2)$. In the finite-range case, this relation becomes exact. The results show that spectral properties reflect the locality of interactions not only at the level of operators, but also at the level of spectra. The framework provides a way to study many-body systems in which interaction geometry directly shapes spectral behavior.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper mostly repackages standard locality bounds into subsystem spectra language, with the abstract showing no technical advance beyond textbook estimates.

read the letter

The core of this work is a framework that assigns a spectrum S(S) to each subsystem S of a many-body Hamiltonian via its subsystem operator H_S, then states exponential stability under local truncation and approximate additivity for distant subsystems. From the abstract alone, the bounds are exactly what follows from the usual assumptions: H decomposes into terms Phi(X) with exponential decay, the truncation error on H_S is controlled by the tail sum giving the |S| e^{-mu r} factor, spectra move by at most the operator-norm difference, and cross terms between distant S1 and S2 vanish exponentially so their spectra add up within that error. In the finite-range case it becomes exact, which is immediate once D exceeds the range. None of this requires new operator theory or spectral estimates; it is direct application of existing tools. The paper does organize spectral data by interaction geometry in a clean way, which might serve as convenient notation for people already working on locality in many-body systems. That is the main positive. The soft spots are that we have no proofs to inspect, so any hidden assumptions or gaps in the operator-norm handling cannot be checked, and the results appear incremental rather than novel. The decay condition on Phi is standard but also restricts the claim to the usual class of models. No concrete examples or comparisons to prior spectral work appear in the abstract, which makes it hard to judge whether the subsystem indexing actually enables new calculations. This is aimed at quantum many-body theorists who care about how geometry shapes spectra and might use the notation for approximation schemes. It is not essential for most readers. The paper deserves a serious referee to see the full text, verify the derivations against the literature on Lieb-Robinson-type bounds, and decide if the organizational aspect adds enough to justify publication. I would send it to review rather than desk reject, but with the expectation that the authors need to demonstrate concrete added value beyond restating known facts.

Referee Report

1 major / 0 minor

Summary. The manuscript introduces a subsystem-resolved framework for the spectral theory of quantum many-body Hamiltonians H = ∑_{X ⊆ Λ} Φ(X). It defines subsystem Hamiltonians H_S and the associated spectra S(S) = σ(H_S). The main results are local approximations ||H_S - H_{S,r}|| ≤ |S| e^{-μ r} ||Φ||_μ, spectral stability d_H(S(S), σ(H_{S,r})) ≤ |S| e^{-μ r} ||Φ||_μ, and approximate additivity d_H(S(S1 ∪ S2), S(S1) + S(S2)) ≤ (|S1| + |S2|) e^{-μ D} ||Φ||_μ for disjoint S1, S2 separated by distance D (exact when interactions have finite range).

Significance. If the bounds are rigorously derived, the framework usefully organizes spectral information according to interaction geometry and provides quantitative control via explicit exponential estimates. The results follow from standard tail estimates on decaying interactions combined with the elementary bound d_H(σ(A), σ(B)) ≤ ||A - B||, so the primary contribution is the subsystem-spectral perspective rather than novel technical machinery. Explicit constants and the finite-range exactness are strengths that could support applications in approximation or localization studies.

major comments (1)

[Abstract] Abstract (the stated bounds): the central claims consist of theorems whose proofs are not supplied in the manuscript (only the abstract is available). This prevents verification of the derivation of the |S| prefactor in the error bound, the precise definition of the norm ||Φ||_μ, and the application of the Hausdorff distance to the spectra S(S). These steps are load-bearing for all three main results.

Simulated Author's Rebuttal

1 responses · 1 unresolved

We thank the referee for their careful review and for identifying the need to supply complete proofs to support the central claims. We address the major comment below.

read point-by-point responses

Referee: [Abstract] Abstract (the stated bounds): the central claims consist of theorems whose proofs are not supplied in the manuscript (only the abstract is available). This prevents verification of the derivation of the |S| prefactor in the error bound, the precise definition of the norm ||Φ||_μ, and the application of the Hausdorff distance to the spectra S(S). These steps are load-bearing for all three main results.

Authors: We agree that the manuscript text provided consists only of the abstract, which states the theorems without the accompanying proofs. This limitation does prevent verification of the technical details, including the origin of the |S| prefactor (which we expect arises from summing local truncation errors over the sites in S), the precise definition of the interaction norm ||Φ||_μ (a standard weighted sum controlling the decay), and the direct use of the Hausdorff distance bound d_H(σ(A), σ(B)) ≤ ||A - B||. Since the full proofs are not included in the available text, we cannot supply the step-by-step derivations here. We will revise the manuscript to incorporate the complete proofs, explicit definitions, and explanations of these steps in the main body. revision: yes

standing simulated objections not resolved

The explicit derivations of the |S| prefactor, the definition of ||Φ||_μ, and the detailed application of the Hausdorff distance cannot be provided or verified because the full proofs are absent from the available manuscript text.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The claimed bounds on local approximation of H_S by H_{S,r}, spectral stability via Hausdorff distance, and approximate additivity for distant subsystems are direct consequences of the input assumption that H admits a decomposition into terms Φ(X) obeying an exponential decay condition quantified by ||Φ||_μ. These follow from elementary estimates on the tail of the interaction sum (yielding the |S| e^{-μ r} factor) together with the standard inequality d_H(σ(A), σ(B)) ≤ ||A - B||; no step is self-definitional, no parameter is fitted and then relabeled as a prediction, and no load-bearing claim rests on self-citation or an imported uniqueness theorem. The derivation chain is therefore self-contained against the stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The framework rests on the standard decomposition of a many-body Hamiltonian into interaction terms and on the existence of a decay rate μ; it introduces subsystem Hamiltonians and their spectra as new organizational objects without independent empirical support.

axioms (2)

domain assumption The Hamiltonian admits a decomposition H = ∑_{X ⊆ Λ} Φ(X) over subsets of the lattice.
Explicitly stated in the abstract as the starting form of H.
domain assumption Interactions decay sufficiently fast to admit a positive constant μ controlling the exponential bounds.
Required for all stated error estimates; no derivation of μ is given.

invented entities (2)

Subsystem Hamiltonian H_S no independent evidence
purpose: Local version of the global Hamiltonian associated to each subset S.
New object introduced to define subsystem spectra.
Family of spectra S(S) no independent evidence
purpose: Collection of spectra indexed by subsystems to reflect interaction structure.
Central new organizational device of the framework.

pith-pipeline@v0.9.0 · 5601 in / 1537 out tokens · 38330 ms · 2026-05-09T21:30:09.379499+00:00 · methodology

Subsystem-Resolved Spectral Theory for Quantum Many-Body Hamiltonians

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)