In this paper we study generic complexity of undecidable problems. It turns out that some classical undecidable problems are, in fact, strongly undecidable, i.e., they are undecidable on every ...

The spectral gap is one of the most important physical properties of a quantum many-body system, determining much of its low-energy physics. Gapped systems exhibit non-critical behaviour (for example, ...