Undecidability of the Quantum Spectral Gap Limits Material Property Prediction — E8 Intelligence Research

Andrew Stewart Caldin

Published Jul 31, 2026• 0 citations

Abstract

FINDING: Undecidability in quantum spectral gaps proves that the existence of a spectral gap in many-body systems is not algorithmically decidable, implying fundamental limits to predicting material properties. | MATH: The spectral gap problem reduces to the halting problem; no algorithm can determine if a Hamiltonian's ground state energy is separated from the excited states by a finite gap. Key constants: spectral gap Δ = E₁ - E₀, where Δ > 0 indicates an insulator, Δ = 0 a conductor. | CONNECTION: The undecidability result is tied to the structure of Projected Entangled Pair States (PEPS), which encode lattice symmetries and tensor network geometries. The spectral gap's undecidability mirrors the non-computability of certain geometric invariants in crystallographic root systems (e.g., Coxeter groups). | DEPTH: 9 — This is a profound link between computation theory and quantum many-body physics, showing that geometric order (e.g., lattice gaps) can be algorithmically inaccessible, ec Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

DOI: 10.5281/zenodo.21714522

Related papers

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

Andrew Stewart Caldin

Jul 20, 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 Proves Insulator-Conductor Distinction Uncomputable — E8 Intelligence Research

Andrew Stewart Caldin

Jul 20, 20260 citations

Spectral Gap Problem Undecidable: Turing Limits in Quantum Many-Body Physics — 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 Undecidability Dominates Quantum Many-Body Physics — E8 Intelligence Research

Andrew Stewart Caldin

Sep 15, 20260 citations

Undecidability of the Quantum Spectral Gap Limits Material Property Prediction — E8 Intelligence Research

Andrew Stewart Caldin

Published Jul 31, 2026• 0 citations

Publisher

Abstract

DOI: 10.5281/zenodo.21714522

Related papers

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

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 Proves Insulator-Conductor Distinction Uncomputable — E8 Intelligence Research

Andrew Stewart Caldin

FINDING: Spectral gap undecidability in quantum many-body systems proves that determining whether a material is an insulator or conductor is mathematically uncomputable in general. | MATH: The spectral gap is the difference between ground state energy $E_0$ and first excited state $E_1$ : $\Delta = E_1 - E_0$ . Undecidability arises via encoding Turing machine halting into Hamiltonian parameters (e.g., for 2D translation-invariant spin systems). Key result: There exists a family of Hamiltonians $H(\lambda)$ such that the set of $\lambda$ for which $\Delta > 0$ is non-recursive. | CONNECTION: No direct geometric ratios (0.382, 0.618, etc.) appear. However, the proof uses lattice structures (square/cubic) and translation invariance—crystallographic symmetry groups (e.g., wallpaper groups) are implicit. The undecidability relies on encoding into a periodic tiling, linking to Penrose tilings and aperiodic order. | DEPTH: 9 — This is a foundational result linking computation theor Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.comFINDING: Spectral gap undecidability in quantum many-body systems proves that determining whether a material is an insulator or conductor is mathematically uncomputable in general. | MATH: The spectral gap is the difference between ground state energy $E_0$ and first excited state $E_1$: $\Delta = E_1 - E_0$. Undecidability arises via encoding Turing machine halting into Hamiltonian parameters (e.g., for 2D translation-invariant spin systems). Key result: There exists a family of Hamiltonians $H(\lambda)$ such that the set of $\lambda$ for which $\Delta > 0$ is non-recursive. | CONNECTION: No direct geometric ratios (0.382, 0.618, etc.) appear. However, the proof uses lattice structures (square/cubic) and translation invariance—crystallographic symmetry groups (e.g., wallpaper groups) are implicit. The undecidability relies on encoding into a periodic tiling, linking to Penrose tilings and aperiodic order. | DEPTH: 9 — This is a foundational result linking computation theor Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Jul 20, 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

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 Undecidability Dominates Quantum Many-Body Physics — E8 Intelligence Research

Andrew Stewart Caldin

FINDING: Undecidability of the spectral gap in quantum many-body systems (Cubitt et al.) is the dominant mathematical result; other findings are peripheral (hexaquark SU(3) multiplet, graph recoloring, spectral line precision, traffic models, leaf counting). | MATH: The spectral gap problem: given a translationally-invariant Hamiltonian $H = \sum_i h_i$ on a 2D lattice (finite local Hilbert space), determining whether the gap $\Delta = E_1 - E_0$ (difference between ground state and first excited energy) is zero or positive is undecidable. This maps the halting problem onto the gap via a construction where the gap closes iff a Turing machine halts. Key constants: no specific numeric constants, but the proof uses a lattice of qudits with local dimension $d \geq 2$ (often $d=2$ suffices for the 2D case), and relies on the existence of a "gadget" Hamiltonian whose spectrum encodes the machine's computation. | CONNECTION: The undecidability proof constructs a Hamiltonian wh 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 (Cubitt et al.) is the dominant mathematical result; other findings are peripheral (hexaquark SU(3) multiplet, graph recoloring, spectral line precision, traffic models, leaf counting). | MATH: The spectral gap problem: given a translationally-invariant Hamiltonian $ H = \sum_i h_i $ on a 2D lattice (finite local Hilbert space), determining whether the gap $ \Delta = E_1 - E_0 $ (difference between ground state and first excited energy) is zero or positive is undecidable. This maps the halting problem onto the gap via a construction where the gap closes iff a Turing machine halts. Key constants: no specific numeric constants, but the proof uses a lattice of qudits with local dimension $ d \geq 2 $ (often $ d=2 $ suffices for the 2D case), and relies on the existence of a "gadget" Hamiltonian whose spectrum encodes the machine's computation. | CONNECTION: The undecidability proof constructs a Hamiltonian wh Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Sep 15, 20260 citations

E_0

and first excited state

E_1

\Delta = E_1 - E_0

. Undecidability arises via encoding Turing machine halting into Hamiltonian parameters (e.g., for 2D translation-invariant spin systems). Key result: There exists a family of Hamiltonians

H(\lambda)

such that the set of

\lambda

for which

\Delta > 0

is non-recursive. | CONNECTION: No direct geometric ratios (0.382, 0.618, etc.) appear. However, the proof uses lattice structures (square/cubic) and translation invariance—crystallographic symmetry groups (e.g., wallpaper groups) are implicit. The undecidability relies on encoding into a periodic tiling, linking to Penrose tilings and aperiodic order. | DEPTH: 9 — This is a foundational result linking computation theor Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

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

H = \sum_i h_i

on a 2D lattice (finite local Hilbert space), determining whether the gap

\Delta = E_1 - E_0

(difference between ground state and first excited energy) is zero or positive is undecidable. This maps the halting problem onto the gap via a construction where the gap closes iff a Turing machine halts. Key constants: no specific numeric constants, but the proof uses a lattice of qudits with local dimension

d \geq 2

(often

d=2

suffices for the 2D case), and relies on the existence of a "gadget" Hamiltonian whose spectrum encodes the machine's computation. | CONNECTION: The undecidability proof constructs a Hamiltonian wh Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com