Undecidability and Quantum Mechanics

Recently, great attention has been devoted to the problem of the undecidability of specific questions in quantum mechanics. In this context, it has been shown that the problem of the existence of a spectral gap, i.e., energy difference between the ground state and the first excited state, is algorithmically undecidable. Using this result herein proves that the existence of a quantum phase transition, as inferred from specific microscopic approaches, is an undecidable problem, too. Indeed, some methods, usually adopted to study quantum phase transitions, rely on the existence of a spectral gap. Since there exists no algorithm to determine whether an arbitrary quantum model is gapped or gapless, and there exist models for which the presence or absence of a spectral gap is independent of the axioms of mathematics, it infers that the existence of quantum phase transitions is an undecidable problem.