MERLIN SCIENCE — Decidable Spectral Gap for Frustration-Free Spin-1/2 Chains — E8 Intelligence Research

Andrew Stewart Caldin

Published Oct 28, 2026• 0 citations

Abstract

Here is the finding. For frustration-free spin-1/2 chains, the spectral gap question is decidable. We can completely classify these systems into gapped and gapless phases. This holds even though the general problem for translationally invariant Hamiltonians is undecidable, as shown by Cubitt, Perez-Garcia, and Wolf in 2015. Here is the context. We are talking about Hamiltonians written as a sum of local terms, each positive semidefinite, with a ground state annihilated by every term. That is the frustration-free condition. The spectral gap is the energy difference between the first excited state and the ground state. For a general quantum many-body system, determining whether that gap closes in the thermodynamic limit is notoriously hard. But for this restricted class, the mathematics gives us a clean answer. Here is the mechanism. The key is the matrix product state representation. The ground state of a gapped phase has finite correlation length. Its MPS transfer matrix is injective Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

DOI: 10.5281/zenodo.23722745

Related papers

Decidable Spectral Gap for Frustration-Free Spin-1/2 Chains — E8 Intelligence Research

Andrew Stewart Caldin

Oct 28, 20260 citations

Quantum Spectral Gap Provably Undecidable, Linking Physics to Halting Problem — E8 Intelligence Research

Andrew Stewart Caldin

Oct 26, 20260 citations

Spectral Gap of Quantum Many-Body Hamiltonians Is Undecidable — E8 Intelligence Research

Andrew Stewart Caldin

Oct 27, 20260 citations

Spectral Gap Problem Undecidable: Turing Limits in Quantum Many-Body Physics — E8 Intelligence Research

Andrew Stewart Caldin

Oct 28, 20260 citations

Undecidability of the Spectral Gap Problem via Halting Problem Encoding — E8 Intelligence Research

Andrew Stewart Caldin

Jul 20, 20260 citations

Spectral Gap Undecidability Reveals Fundamental Limits to Quantum Knowledge — E8 Intelligence Research

Andrew Stewart Caldin

Jul 20, 20260 citations

MERLIN SCIENCE — Decidable Spectral Gap for Frustration-Free Spin-1/2 Chains — E8 Intelligence Research

Andrew Stewart Caldin

Published Oct 28, 2026• 0 citations

Publisher

Abstract

DOI: 10.5281/zenodo.23722745

Related papers

Decidable Spectral Gap for Frustration-Free Spin-1/2 Chains — E8 Intelligence Research

Andrew Stewart Caldin

FINDING: Frustration-free spin-1/2 chains admit a complete classification into gapped and gapless phases, with the spectral gap question being decidable for this restricted class despite general undecidability results for translationally invariant Hamiltonians. | MATH: Hamiltonian H = Σᵢ hᵢ with hᵢ ≥ 0 (frustration-free condition: ground state |ψ⟩ satisfies hᵢ|ψ⟩ = 0 ∀i). Spectral gap Δ = E₁ − E₀. For spin-1/2 chains, the relevant algebra is SU(2) with root system A₁ (rank 1, single simple root α, Cartan matrix [2]). The MPS (matrix product state) representation classifies phases via injectivity of the transfer matrix. Key result: gapped iff the MPS is injective (finite correlation length ξ < ∞); gapless iff the MPS is non-injective (algebraic decay, ξ → ∞). | CONNECTION: Root lattice A₁ = 1D chain of spins; the Dynkin diagram of A₁ is a single node (trivial). The classification of gapped/gapless phases maps to whether the ground state lives in a trivial or non-trivial superselection s Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.comFINDING: Frustration-free spin-1/2 chains admit a complete classification into gapped and gapless phases, with the spectral gap question being decidable for this restricted class despite general undecidability results for translationally invariant Hamiltonians. | MATH: Hamiltonian H = Σᵢ hᵢ with hᵢ ≥ 0 (frustration-free condition: ground state |ψ⟩ satisfies hᵢ|ψ⟩ = 0 ∀i). Spectral gap Δ = E₁ − E₀. For spin-1/2 chains, the relevant algebra is SU(2) with root system A₁ (rank 1, single simple root α, Cartan matrix [2]). The MPS (matrix product state) representation classifies phases via injectivity of the transfer matrix. Key result: gapped iff the MPS is injective (finite correlation length ξ < ∞); gapless iff the MPS is non-injective (algebraic decay, ξ → ∞). | CONNECTION: Root lattice A₁ = 1D chain of spins; the Dynkin diagram of A₁ is a single node (trivial). The classification of gapped/gapless phases maps to whether the ground state lives in a trivial or non-trivial superselection s Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Oct 28, 20260 citations

Quantum Spectral Gap Provably Undecidable, Linking Physics to Halting Problem — E8 Intelligence Research

Andrew Stewart Caldin

FINDING: The spectral gap problem — determining whether a quantum Hamiltonian's energy spectrum has a gap above the ground state — is provably undecidable in general, linking quantum many-body physics to the halting problem and Gödelian limits. | MATH: The key construction (Cubitt, Perez-Garcia, Wolf, 2015) reduces the halting problem to a family of 2D spin-lattice Hamiltonians $H(n)$ on a fixed lattice, where the spectral gap (difference between ground state energy $E_0$ and first excited state $E_1$ ) is either $\Delta > 0$ (gapped) or $\Delta = 0$ (gapless), depending on whether a Turing machine halts. The Hamiltonian is built from translationally invariant local terms with frustration-free ground states; the gap closes as $\Delta \sim 1/\text{poly}(n)$ in the gapless case. No closed-form equation for $\Delta$ exists — it is algorithmically uncomputable. | CONNECTION: The construction uses a lattice structure (square lattice, 2D) with local interaction ter Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.comFINDING: The spectral gap problem — determining whether a quantum Hamiltonian's energy spectrum has a gap above the ground state — is provably undecidable in general, linking quantum many-body physics to the halting problem and Gödelian limits. | MATH: The key construction (Cubitt, Perez-Garcia, Wolf, 2015) reduces the halting problem to a family of 2D spin-lattice Hamiltonians $ H(n) $ on a fixed lattice, where the spectral gap (difference between ground state energy $ E_0 $ and first excited state $ E_1 $) is either $ \Delta > 0 $ (gapped) or $ \Delta = 0 $ (gapless), depending on whether a Turing machine halts. The Hamiltonian is built from translationally invariant local terms with frustration-free ground states; the gap closes as $ \Delta \sim 1/\text{poly}(n) $ in the gapless case. No closed-form equation for $ \Delta $ exists — it is algorithmically uncomputable. | CONNECTION: The construction uses a lattice structure (square lattice, 2D) with local interaction ter Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Oct 26, 20260 citations

Spectral Gap of Quantum Many-Body Hamiltonians Is Undecidable — E8 Intelligence Research

Andrew Stewart Caldin

FINDING: The spectral gap of a quantum many-body Hamiltonian is undecidable — no algorithm can determine whether a given local Hamiltonian has a gap or is gapless. | MATH: Cubitt–Perez-Garcia–Wolf (Nature 528, 207–211, 2015): constructs a family of frustration-free, translation-invariant, nearest-neighbor Hamiltonians H(φ) on a 2D lattice such that the spectral gap Δ(H(φ)) encodes the halting problem. Formally: the ground-state energy density and gap are non-computable; the "gap function" Δ: ℕ→ℝ is not Turing-computable. The construction reduces from Wang tilings / aperiodic tilings (Berger's theorem) to a quantum Hamiltonian whose ground state is a tiling configuration. | CONNECTION: The construction relies on aperiodic tilings (Wang tiles) which are governed by local matching rules — a discrete analog of crystallographic symmetry breaking. The undecidability arises from the absence of a periodic ground state, i.e., the breakdown of translational symmetry at the quantum level. No dire Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.comFINDING: The spectral gap of a quantum many-body Hamiltonian is undecidable — no algorithm can determine whether a given local Hamiltonian has a gap or is gapless. | MATH: Cubitt–Perez-Garcia–Wolf (Nature 528, 207–211, 2015): constructs a family of frustration-free, translation-invariant, nearest-neighbor Hamiltonians H(φ) on a 2D lattice such that the spectral gap Δ(H(φ)) encodes the halting problem. Formally: the ground-state energy density and gap are non-computable; the "gap function" Δ: ℕ→ℝ is not Turing-computable. The construction reduces from Wang tilings / aperiodic tilings (Berger's theorem) to a quantum Hamiltonian whose ground state is a tiling configuration. | CONNECTION: The construction relies on aperiodic tilings (Wang tiles) which are governed by local matching rules — a discrete analog of crystallographic symmetry breaking. The undecidability arises from the absence of a periodic ground state, i.e., the breakdown of translational symmetry at the quantum level. No dire Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Oct 27, 20260 citations

Spectral Gap Problem Undecidable: Turing Limits in Quantum Many-Body Physics — E8 Intelligence Research

Andrew Stewart Caldin

FINDING: The spectral gap problem is undecidable in general — no algorithm can determine whether a quantum many-body Hamiltonian has a spectral gap or is gapless, establishing a Gödel/Turing-style limit inside physics itself. | MATH: Given a translation-invariant, nearest-neighbour Hamiltonian H on a 2D spin lattice, the ground-state energy density and the question "is Δ = E₁ − E₀ > 0?" are undecidable (Cubitt, Pérez-García, Wolf, Nature 2015). The construction encodes a universal Turing machine into the low-energy spectrum; the spectral gap's presence/absence maps to halting/non-halting. | CONNECTION: No direct golden-ratio or crystallographic constant appears in the undecidability result itself. The relevant symmetry structure is the 2D lattice translation group ℤ² and the local SU(2)/finite-group gauge structure of the spin Hamiltonian — a lattice/crystallographic setting, but the undecidability is a logical (computability) property, not a geometric-harmony ratio. | DEPTH: 9 FINDIN Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.comFINDING: The spectral gap problem is undecidable in general — no algorithm can determine whether a quantum many-body Hamiltonian has a spectral gap or is gapless, establishing a Gödel/Turing-style limit inside physics itself. | MATH: Given a translation-invariant, nearest-neighbour Hamiltonian H on a 2D spin lattice, the ground-state energy density and the question "is Δ = E₁ − E₀ > 0?" are undecidable (Cubitt, Pérez-García, Wolf, Nature 2015). The construction encodes a universal Turing machine into the low-energy spectrum; the spectral gap's presence/absence maps to halting/non-halting. | CONNECTION: No direct golden-ratio or crystallographic constant appears in the undecidability result itself. The relevant symmetry structure is the 2D lattice translation group ℤ² and the local SU(2)/finite-group gauge structure of the spin Hamiltonian — a lattice/crystallographic setting, but the undecidability is a logical (computability) property, not a geometric-harmony ratio. | DEPTH: 9 FINDIN Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Oct 28, 20260 citations

Undecidability of the Spectral Gap Problem via Halting Problem Encoding — E8 Intelligence Research

Andrew Stewart Caldin

FINDING: Undecidability in the spectral gap problem for quantum many-body systems proves that determining whether a system is gapped or gapless is algorithmically impossible in general. | MATH: The spectral gap problem is mapped to the halting problem via translationally invariant Hamiltonians on a 2D lattice; the set of gapped Hamiltonians is Π₂-complete in the arithmetic hierarchy. Key constants: no specific numerical constants emerge, but the proof relies on encoding Turing machine states into local Hamiltonian terms. | CONNECTION: No direct geometric harmony ratios (0.382, 0.618, etc.) appear. However, the lattice structure (2D square lattice) and translational invariance connect to crystallographic symmetry groups (p4m wallpaper group). The undecidability result implies that spectral gaps—which determine whether a system is an insulator (gapped) or conductor (gapless)—cannot be universally predicted, breaking the dream of a complete mathematical description of matter. | DEPTH: 9/1 Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.comFINDING: Undecidability in the spectral gap problem for quantum many-body systems proves that determining whether a system is gapped or gapless is algorithmically impossible in general. | MATH: The spectral gap problem is mapped to the halting problem via translationally invariant Hamiltonians on a 2D lattice; the set of gapped Hamiltonians is Π₂-complete in the arithmetic hierarchy. Key constants: no specific numerical constants emerge, but the proof relies on encoding Turing machine states into local Hamiltonian terms. | CONNECTION: No direct geometric harmony ratios (0.382, 0.618, etc.) appear. However, the lattice structure (2D square lattice) and translational invariance connect to crystallographic symmetry groups (p4m wallpaper group). The undecidability result implies that spectral gaps—which determine whether a system is an insulator (gapped) or conductor (gapless)—cannot be universally predicted, breaking the dream of a complete mathematical description of matter. | DEPTH: 9/1 Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Jul 20, 20260 citations

Spectral Gap Undecidability Reveals Fundamental Limits to Quantum Knowledge — E8 Intelligence Research

Andrew Stewart Caldin

FINDING: Undecidability of the spectral gap in quantum many-body systems proves that certain physical properties cannot be algorithmically determined, revealing fundamental limits to computation and knowledge. | MATH: The spectral gap problem is equivalent to the halting problem; no algorithm exists to decide if a Hamiltonian has a gap (Δ > 0) or is gapless (Δ = 0). Key constants: spectral gap Δ, Hamiltonian H, ground state energy E₀, first excited state energy E₁, Δ = E₁ - E₀. | CONNECTION: The spectral gap problem is linked to the geometry of the parameter space of Hamiltonians; the undecidability arises from the ability to encode Turing machines into the lattice structure of quantum spin systems, reflecting a deep symmetry between computation and physical law. The ratio Δ/||H|| is not computable in general. | DEPTH: 9 — This finding bridges computability theory, quantum mechanics, and geometry, showing that the mathematical structure of the universe includes inherently uncomputable Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.comFINDING: Undecidability of the spectral gap in quantum many-body systems proves that certain physical properties cannot be algorithmically determined, revealing fundamental limits to computation and knowledge. | MATH: The spectral gap problem is equivalent to the halting problem; no algorithm exists to decide if a Hamiltonian has a gap (Δ > 0) or is gapless (Δ = 0). Key constants: spectral gap Δ, Hamiltonian H, ground state energy E₀, first excited state energy E₁, Δ = E₁ - E₀. | CONNECTION: The spectral gap problem is linked to the geometry of the parameter space of Hamiltonians; the undecidability arises from the ability to encode Turing machines into the lattice structure of quantum spin systems, reflecting a deep symmetry between computation and physical law. The ratio Δ/||H|| is not computable in general. | DEPTH: 9 — This finding bridges computability theory, quantum mechanics, and geometry, showing that the mathematical structure of the universe includes inherently uncomputable Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Jul 20, 20260 citations

H(n)

on a fixed lattice, where the spectral gap (difference between ground state energy

E_0

and first excited state

E_1

) is either

\Delta > 0

(gapped) or

\Delta = 0

(gapless), depending on whether a Turing machine halts. The Hamiltonian is built from translationally invariant local terms with frustration-free ground states; the gap closes as

\Delta \sim 1/\text{poly}(n)

in the gapless case. No closed-form equation for

\Delta

exists — it is algorithmically uncomputable. | CONNECTION: The construction uses a lattice structure (square lattice, 2D) with local interaction ter Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com