Gapped Hamiltonian¶
A growing local quantum many-body Hamiltonian family whose lowest excitation stays a positive energy above its full ground-state space as system size grows.
Core Idea¶
A gapped Hamiltonian here is a specified family of local quantum many-body Hamiltonians on growing finite systems whose lowest excitation stays at least a positive energy above the entire ground-state space, independently of system size. It is a property of the family under its stated interactions and boundary conditions, not merely the observation that one finite matrix has separated eigenvalues. The ground space may have several states at the same lowest energy; the relevant gap begins only at the first state outside that space.[1][2]
Two unlike model studies show the point. Bravyi and Gosset prove a size-independent lower bound for certain open spin-½ projector-chain families, while identifying other parameter cases whose gaps close as chain length grows.[1] Lemm, Sandvik, and Wang report a positive size-independent lower bound for periodic hexagonal spin-3/2 AKLT patches, using an analytical finite-size criterion and numerical input from an auxiliary cluster. Their paper explicitly does not claim a fully rigorous numerical error bound.[2]
Structural Signature¶
Sig role-phrases: specified local model family → full ground-state sector → lowest outside excitation → positive bound uniform in size, all under stated boundary conditions.
- Growing local Hamiltonian family. The interaction and system-size rule specify what is being compared as the system grows. An arbitrary finite Hamiltonian does not, by itself, define a thermodynamic-family claim. The 1D paper fixes a two-qubit state and repeats its nearest-neighbor projector along open chains; the 2D paper fixes an AKLT bond interaction on growing periodic hexagonal patches.[1][2]
- Full ground-state space. This is the lowest-energy sector, including every ground state when it is degenerate. In the projector-chain model the ground energy is zero and the ground space can be degenerate. Counting its second ground vector as an excitation would give the wrong gap.[1]
- First excitation outside that space. The gap is measured to the lowest energy not in the ground sector. Testing only a preferred spin or symmetry sector can miss a lower excitation elsewhere. The AKLT study explicitly works to identify the smallest relevant excitation across spin sectors of its auxiliary cluster.[2]
- Uniform positive bound. A constant greater than zero must bound that gap below across the permitted growing sizes. Bravyi and Gosset's contrasting branch has an upper bound of
1/(n−1), which tends to zero and therefore cannot meet this condition.[1] - Model and boundary conditions. These determine the actual family to which a bound applies. The spin-chain theorem concerns open chains; the AKLT bound concerns periodic target patches with both size parameters at least 12. The AKLT paper's open 36-site cluster is a tool for the finite-size criterion, not the growing target family.[1][2]
Removing the uniform bound leaves only finite-size spacing. Changing the Hamiltonian or boundary rule calls for a new gap argument; the word gapped does not carry one model's result to another.
What It Is Not¶
- Not any finite nonzero level spacing. A sequence can have a positive gap at every finite size while its gap tends to zero. The chain theorem gives an explicit closing branch.[1]
- Not a demand for a unique ground state. Degenerate ground states are part of the ground sector; the gap is above that sector, not between its members.[1]
- Not a selected-sector gap. An excitation in an unexamined sector may lie lower. The AKLT numerical work addresses this difficulty for its finite cluster.[2]
- Not a universal continuum mass or correlation theorem. The two cited model studies do not establish such conclusions for every Hamiltonian. Any correlation, continuum, or phase claim needs its own conditions and evidence.
- Not a transfer of proof from a finite patch by inspection. The AKLT result uses a specific analytical finite-size criterion plus a numerical cluster estimate; the cluster's positive gap alone would not prove the reported thermodynamic bound.[2]
Scope of Application¶
The entry applies to local quantum many-body model families with a specified growth rule, interaction, ground sector, and boundary condition. The analytic example is the open, translation-invariant, frustration-free, nearest-neighbor spin-½ projector-chain class studied by Bravyi and Gosset.[1] The distinct two-dimensional example is the periodic, hexagonal, spin-3/2 AKLT patch family studied by Lemm, Sandvik, and Wang, for size parameters at least 12.[2]
The shared classification test travels between these settings; their gap proofs do not. The cited papers do not establish a gap for arbitrary spin chains, all AKLT lattices, unspecified boundary conditions, a BCS model, or a continuum field theory. Those cases require separate model-specific evidence.
Clarity¶
To clarify a gap claim, ask which levels and which sizes? Both model papers measure the gap from the full ground-state sector to the first state outside it and ask whether a positive lower bound persists as size grows.[1][2] These questions separate degeneracy inside the ground sector from a true low-energy excitation, and a finite-sample level separation from a thermodynamic gap.
Then ask under which model and boundary conditions? Bravyi and Gosset study an open projector chain,[1] while Lemm, Sandvik, and Wang study a periodic hexagonal AKLT family.[2] Neither result automatically applies to the other's Hamiltonian.
Manages Complexity¶
The identity compresses a potentially long list of spectra into a single controlled inequality: across the permitted system sizes, the first excitation above the entire ground sector remains at least some positive constant. That compression is useful only if the constant, growth rule, and boundary conditions are retained. Bravyi and Gosset turn a model-specific matrix-eigenvalue condition into a classification of gapped and closing-gap branches for their rank-one projector chains.[1]
In the hexagonal AKLT study, an analytical criterion reduces an all-size question to whether a weighted, open 36-site auxiliary cluster clears a threshold. DMRG supplies the numerical input to that criterion. The reduction is mathematically conditional; the paper treats the numerical threshold as compelling while acknowledging the lack of fully rigorous error certification.[2]
Abstract Reasoning¶
First fix the model family: its local degrees of freedom, interaction, size range, and boundary rule. For each size identify the full lowest-energy sector, then the first state outside it. Seek a lower bound on that separation that does not shrink as the permitted sizes grow. Bravyi and Gosset provide a concrete closing branch with an upper bound of 1/(n−1).[1] If the available result is only one finite spectrum, or an upper bound that tends to zero, the gapped-family conclusion has not been established.
Next inspect how the bound was obtained. In Bravyi and Gosset's chain class, Theorem 1 provides an analytic criterion for the two branches.[1] The AKLT paper proves a finite-size transfer criterion, applies DMRG to an open auxiliary cluster, and reports a bound for periodic target patches.[2] Keep those target and input systems distinct when reporting the result.
Knowledge Transfer¶
The recognition test transfers literally between quantum many-body model families: define the growing family, measure from the whole ground sector to the lowest outside excitation, and demand a size-independent positive lower bound. A result for one family does not transfer merely because another model also has spins or a finite-size gap. The Bravyi–Gosset parameter test applies to their specified open projector chains.[1] The AKLT criterion and DMRG input apply to the stated hexagonal construction.[2]
Outside quantum Hamiltonians, “a persistent gap” may be an analogy or another spectral notion. It does not make those systems instances of this named physical abstraction.
Examples¶
Canonical: gapped cases of an open spin-½ projector chain¶
Bravyi and Gosset consider H_n(ψ), the sum of rank-one projectors onto a fixed two-qubit state ψ on neighboring pairs of an open chain. Their Theorem 1 states that, outside the specified equal-nonzero-eigenvalue-modulus case of an associated matrix, the gap has a positive lower bound independent of n and dependent on ψ. In the equal-nonzero-modulus branch, the gap is at most 1/(n−1) and closes with size.[1]
Mapped back: The chain rule and fixed ψ make a growing local family; its potentially degenerate zero-energy ground space is the baseline; its smallest nonzero eigenvalue is the first outside excitation; Theorem 1 supplies or excludes the uniform bound; open ends and rank-one nearest-neighbor interactions are part of the claim.
Applied: hexagonal spin-3/2 AKLT patches¶
Lemm, Sandvik, and Wang study periodic hexagonal-lattice AKLT Hamiltonians on m₁ × m₂ patches. For m₁,m₂ ≥ 12, they report a gap lower bound of 0.00646. Their analytical finite-size criterion transfers a sufficiently large gap on an open 36-site auxiliary cluster to the periodic family. DMRG supplies that cluster-gap input. The authors regard the numerical margin as decisive in practice but do not claim mathematically rigorous error estimates for the DMRG step.[2]
Mapped back: The periodic patches form the growing local family; the zero-energy AKLT ground sector is the baseline; the smallest strictly positive eigenvalue is the outside excitation; the reported bound is independent of both size parameters; periodic target boundaries and the distinct open auxiliary cluster remain explicit.
Structural Tensions¶
T1: finite separation versus a uniform-family bound. A finite Hamiltonian can have a positive excitation gap, while the family gap still tends to zero. Bravyi and Gosset's closing branch supplies a concrete instance.[1] Treating the first observation as the second would misclassify that branch. A uniform argument demands stronger control across size; declining that burden yields only a finite-system statement. Diagnostic: What lower bound survives as the specified family grows?
T2: analytic transfer versus numerical input. A finite-size criterion can transfer a certified local inequality to arbitrarily large systems, but the needed local inequality may be supplied by numerical calculation. The AKLT authors prove the transfer criterion, use DMRG for the cluster input, and disclaim rigorous numerical error estimates.[2] Presenting the full chain as a rigorous proof would erase that limit; dismissing the analytical criterion would erase why the cluster result bears on arbitrary size. Diagnostic: Which part is proved analytically, which part is numerical, and how is the numerical margin documented?
Structural–Framed Character¶
The entry sits toward the structural end within quantum many-body physics: the ground-sector-to-excitation relation and the uniform-size test are mathematical criteria, and two distinct models instantiate them. Its evaluative weight is low; being gapped classifies spectra rather than praising a system. Human practice matters in specifying a model, boundary condition, and acceptable evidence, but does not create the spectral relation. The name and research program originated in a specialist physical and mathematical setting. Words such as gap travel farther, while this named Hamiltonian identity does not travel intact outside quantum models. It is recognized through a size-uniform spectral bound, not imported merely because an object is called stable. Its character: a structural criterion with a domain-bound quantum carrier and model-specific proof obligations.
Structural Core vs. Domain Accent¶
The skeletal relation is a lowest-sector separation with a positive bound across a growing family. Its physical accent is essential: a local quantum Hamiltonian acts on many-body states, the ground sector and excitations are energy eigenstates, and system growth and boundary rules fix the thermodynamic question. Bravyi and Gosset analyze an open qubit projector chain,[1] while Lemm, Sandvik, and Wang analyze a periodic hexagonal AKLT lattice.[2] Both use the same classification criterion through different interactions and evidence methods.
The named entry remains domain-specific because its identity and use require quantum Hamiltonians, not any persistent difference between two values. The live Quantum Operator identity supplies a necessary internal constituent: each indexed Hamiltonian has a quantum state-space domain, linear action, physical energy role, and spectrum. A more general cross-domain “uniform spectral separation” may deserve separate treatment, but that possible skeleton does not make this named quantum property a cross-domain abstraction.
Instantiates / Related Primes¶
This entry is part of Quantum Operator.
The live Quantum Operator entry identifies linear operators on specified quantum spaces with physical or computational roles. Each Hamiltonian in a gapped family is such an operator. The operator is an internal constituent of the family; the family-level positive bound is an added relation across sizes, so the family is not a subtype of a single operator. The live Energy operator entry instead concerns the specific time-derivative operator iℏ∂/∂t on wavefunctions. The live Quantum State entry concerns preparation and measurement probabilities, while the live Prime Phase Diagram maps parameter-dependent regimes. Neither a particular preparation nor a phase diagram is required to state a uniform excitation gap.
Relationships to Other Abstractions¶
Current abstraction Gapped Hamiltonian Domain-specific
Parents (1) — more general patterns this builds on
-
Gapped Hamiltonian is part of Quantum Operator Domain-specific
Each size-indexed Hamiltonian is a quantum operator whose spectrum supplies the family's ground sector and first excitation.The gapped-family identity requires a Hamiltonian operator for each specified size, acting linearly on that system's quantum state space with a physical energy interpretation. Those indexed operators are internal constituents of the family; without them there is no spectrum, full ground sector, first outside excitation, or size-uniform gap to test. The live Quantum Operator identity supplies the necessary state-space domain, linear action, physical role, and spectral consequence. A single quantum operator can exist without a growing family or a uniform gap, and the family itself is not one operator, so this is composition/part_of with parent_in_child direction rather than subsumption. The open spin-chain and periodic hexagonal AKLT studies each define their Hamiltonians as sums of local projectors on stated Hilbert spaces.
Hierarchy path (1) — routes to 1 parentless root
- Gapped Hamiltonian → Quantum Operator → Function (Mapping)
Neighborhood in Abstraction Space¶
Gapped Hamiltonian sits in a sparse region of the domain-specific corpus (64th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Statistical Mechanics & Particle Phenomena (16 abstractions)
Nearest neighbors
- Geometrical Frustration — 0.85
- Quantum Walk — 0.84
- Pansu Derivative — 0.84
- Fractionalization — 0.84
- Principal quantum number — 0.84
Computed from structural-signature embeddings · 2026-10-17
Not to Be Confused With¶
Energy gap can mean a spacing in a specified finite spectrum; the thermodynamic-family test requires that the lowest outside-ground separation remain uniformly positive. Ground-state degeneracy is allowed; an apparent zero between two ground vectors does not make the family gapless. A gap in one symmetry sector can miss a lower excitation in another. Gap-preserving phase paths, exponential correlations, and continuum particle masses are separate questions with their own assumptions; they are not defining roles of this entry.
References¶
[1] Bravyi, Sergey, and David Gosset (2015). Gapped and gapless phases of frustration-free spin-½ chains. Original author preprint, arXiv:1503.04035v3, especially Abstract, Introduction Eq. (1), and Theorem 1. https://arxiv.org/html/1503.04035v3. Full original preprint relevant sections inspected. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r
[2] Lemm, Marius, Anders W. Sandvik, and Ling Wang (2020). Existence of a Spectral Gap in the Affleck-Kennedy-Lieb-Tasaki Model on the Hexagonal Lattice. Original author preprint, arXiv:1910.11810v2, especially main result Eq. (4), finite-size criterion, and numerical-caveat paragraphs. https://arxiv.org/html/1910.11810v2. Full original preprint relevant sections inspected; the paper expressly disclaims rigorous DMRG error estimates. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p