Undecidability of the spectral gap in 2D quantum lattice models (Computational Physics)

Layer 1 — Physicsin the Computational Physics subtree

Computational-physics application of L0 halting-problem and Gödel incompleteness. Cubitt, Pérez-García, and Wolf 2015 (Nature 528:207–211) proved that determining whether an explicit 2D translation-invariant nearest-neighbour quantum…

Related concepts

Undecidability of the halting problem
Gödel's first incompleteness theorem

Explore Undecidability of the spectral gap in 2D quantum lattice models (Computational Physics) on the interactive knowledge graph →