Related papers: A Note on the Second Spectral Gap Incompleteness T…

We show that the spectral gap problem is undecidable. Specifically, we construct families of translationally-invariant, nearest-neighbour Hamiltonians on a 2D square lattice of d-level quantum systems (d constant), for which determining…

We present an algorithm for reliably and systematically proving the existence of spectral gaps in Hamiltonians with quasicrystalline order, based on numerical calculations on finite domains. We apply this algorithm to prove that the…

Providing system-size independent lower bounds on the spectral gap of local Hamiltonian is in general a hard problem. For the case of finite-range, frustration free Hamiltonians on a spin lattice of arbitrary dimension, we show that a…

We prove, for stably computably enumerable formal systems, direct analogues of the first and second incompleteness theorems of G\"odel. A typical stably computably enumerable set is the set of Diophantine equations with no integer…

It is believed that unbroken PT symmetry is sufficient to guarantee that the spectrum of a non-Hermitian Hamiltonian is real. We prove that this is not true. We study a Hamiltonian with complex spectrum for which PT symmetry is not…

For all convex co-compact hyperbolic surfaces, we prove the existence of an essential spectral gap, that is a strip beyond the unitarity axis in which the Selberg zeta function has only finitely many zeroes. We make no assumption on the…

We formulate the problem of finding self-dual Hamiltonians (associated with integrable systems) as deformations of free systems given on various symplectic manifolds and discuss several known explicit examples, including recently found…

This note provides a very short proof of a spectral gap independent property of the simultaneous iterations algorithm for finding the top singular space of a matrix. See Rokhlin-Szlam-Tygert-2009, Halko-Martinsson-Tropp-2011 and…

Representation theory is shown to be incomplete in terms of enumerating all integrable limits of quantum systems. As a consequence, one can find exactly solvable Hamiltonians which have apparently strongly broken symmetry. The number of…

The problem of determining the existence of a spectral gap in a lattice quantum spin system was previously shown to be undecidable for one [J. Bausch et al., "Undecidability of the spectral gap in one dimension", Physical Review X 10…

The system of a closed vortex filament is an integrable Hamiltonian one, namely, a Hamiltonian system with an infinite sequense of constants of motion in involution. An algebraic framework is given for the aim of describing differential…

In this paper we introduce a notion of integrability in the non autonomous sense. For the cases of 1 + 1/2 degrees of freedom and quadratic homogeneous Hamiltonians of 2 + 1/2 degrees of freedom we prove that this notion is equivalent to…

This paper reviews the 1994 proof that the spectral gap of Hamiltonian quantum systems capable of universal computation is uncomputable.

A semiclassical analysis based on spin-coherent states is used to establish a classification and formulae for the spectral gap of mean-field spin Hamiltonians. For gapped systems we provide a full description of the low-energy spectra based…

We first partly develop a mathematical notion of stable consistency intended to reflect the actual consistency property of human beings. Then we give a generalization of the first and second G\"odel incompleteness theorem to stably…

In this paper we address the question of the existence of a spectral gap in a class of local Hamiltonians. These Hamiltonians have the following properties: their ground states are known exactly; all equal-time correlation functions of…

A formalisation of G\"odel's incompleteness theorems using the Isabelle proof assistant is described. This is apparently the first mechanical verification of the second incompleteness theorem. The work closely follows {\'S}wierczkowski…

We prove a uniform spectral gap for complex transfer operators near the critical line associated to overlapping $C^2$ iterated function systems on the real line satisfying a Uniform Non-Integrability (UNI) condition. Our work extends that…

We introduce the notion of pseudo-Hermiticity and show that every Hamiltonian with a real spectrum is pseudo-Hermitian. We point out that all the PT-symmetric non-Hermitian Hamiltonians studied in the literature belong to the class of…

This part is a continuation of the Part I where we built resolutions of identity for certain non-Hermitian Hamiltonians constructed of biorthogonal sets of their eigen- and associated functions for the spectral problem defined on entire…