Undecidability of the spectral gap pdf

For multiple small data gaps, dft, ztr and lst can, unlike fft. Lloyd, on the uncomputability of the spectral gap, arxiv. The spectral gap is one of the most important physical properties of a quantum manybody system, determining much of its low energy physics the theorem states that the sgp is algorithmically undecidable i. Undecidability of the spectral gap quantum field theory. Wolfz5 1department of computer science, university college london, gower street, london wc1e 6ea, united kingdom 2damtp, university of cambridge, centre for mathematical sciences, wilberforce road, cambridge cb3 0wa, united kingdom.

The spectral gapthe energy difference between the ground state and first excited state of a systemis central to quantum manybody physics. A short version of this paper was published in nature cpw15a. In this paper, we discuss finitesize criteria for having a spectral gap in frustrationfree spin systems and their applications. Undecidability of the spectral gap full version authors. Once we have this, it is relatively easy to lift it to undecidability of the spectral gap.

The most common among such formalizations is a turing machine. Determining whether a turing machine is a busy beaver champion i. The aim of this short note is to clarify some of the claims made in the comparison made in s. The spectral gap the energy difference between the ground state and first excited state of a systemis central to quantum manybody physics. Many challenging open problems, such as the haldane conjecture, existence of gapped topological spin liquid phases. Specifically, we construct families of translationallyinvariant, nearestneighbour hamiltonians on a 2d square lattice of dlevel quantum systems d constant, for which determining whether the system is gapped or gapless is an undecidable problem. Undecidability of the spectral gap short version arxiv. In quantum mechanics, the spectral gap of a system is the energy difference between its ground state and its first excited state. The spectral gap problem determining whether the energy spectrum of a system has an energy gap above ground state, or if there is a continuous range of lowenergy excitations pervades quantum manybody physics. Quantum complexity theory siam journal on computing. Many challenging open problems, such as the haldane conjecture, the question of the existence of gapped topological spin liquid phases, and the yangmills gap conjecture, concern spectral. This is somewhat similar to the undecidable tiling problems in which one has to decide whether it is possible to tile an in.

Undecidability of the spectral gap toby cubitt 1,2, david perezgarciay3,4, and michael m. The unsolvable problem in scientific american of october 2018. Related properties, like ergodicity roughly, the equivalence between averages over time and averages over the state space in a markov chain, also fall under the umbrella of mixing but we will not address them. This additive energy can in turn be estimated in terms of the constants in ahlforsdavid regularity of. These and other problems are particular cases of the general. A read is counted each time someone views a publication summary such as the title, abstract, and list of authors, clicks on a figure, or views or downloads the fulltext. We now state a result bounding the pmixing times in terms of the spectral gap. Other articles where turings undecidability theorem is discussed. Review of spectral theory and compact operators 16 2. Full text also available in the acm digital library as pdf html digital edition. Spectral gaps, additive energy, and a fractal uncertainty.

Reproduced below is the abstract to the paper in nature, which gives a better summary of the proof than i. A hamiltonian with a spectral gap is called a gapped hamiltonian, and those that do not are called gapless in solidstate physics, the most important spectral gap is for the manybody. Specifically, we construct families of translationally. This algorithmic undecidability is well known to imply axiomatic independence of the spectral gap problem. It is sucient to prove undecidability of the ground state energy with constant promise gap, i. The most important step in proving undecidability of the spectral gap is to prove undecidability of another relevant quantity. In quantum manybody systems, the existence of a spectral gap above the ground state has farreaching consequences.

Markov chain monte carlo, mixing, and the spectral gap. Many challenging open problems, such as the haldane conjecture, the question of the existence of gapped topological spin liquid phases, and the yangmills gap conjecture, concern spectral gaps. The spectral gap problem is algorithmically undecidable. Reproduced below is the abstract to the paper in nature, which gives a better summary of the proof than i could presume to do. This cited by count includes citations to the following articles in scholar. More precisely, we give a reduction from the ground state energy density problem to the. The authors used an aperiodic tiling of quantum turing. This is the same sense in which the halting problem is undecidable. Dec 09, 2015 a small spectral gap the energy needed to transfer an electron from a lowenergy state to an excited state is the central property of semiconductors. The churchturing theorem of undecidability, combined with the related result of the polishborn american mathematician alfred tarski 190283 on undecidability of truth, eliminated the possibility of a purely mechanical device replacing mathematicians. We explain the spectral gap problem, its importance for physics and possi ble consequences of this exciting new result. In this work we construct simple examples of 2d quantum spinlattice models with small. We show that the spectral gap problem is undecidable. Related properties, like ergodicity roughly, the equivalence between averages over time and averages over the state space in a markov chain, also fall.

Thermally induced metallic phase in a gapped quantum spin liquid a monte carlo study of the kitaev model with parity projection. Wolf submitted on 16 feb 2015, last revised 18 apr 2018 this version, v3 abstract. The undecidability of a problem means that an algorithm is impossible in principle not only that no algorithm is presently known. The spectral gap problem consist in deciding, given a local interaction, whether the corresponding translationally invariant hamiltonian on a lattice has a spectral gap independent of the system size or not. We then show how to transform the halting problem into a question about ground state energy densities. Undecidability of the spectral gap in one dimension.

Assistant vice president of production and manufacturing. Specifically, we construct families of translationallyinvariant. Many challenging open problems, such as the haldane conjecture, existence of gapped topological spin liquid phases, or the yangmills gap conjecture, concern spectral gaps. Spectral gaps of frustrationfree spin systems with. We will first relate undecidability of the spectral gap to undecidability of another important physical quantity, the ground state energy density, which for a 2d lattice is given by e. This algorithmic undecidability relates to solving the spectral gap for a family of hamiltonians, as we might have if we want to map out the phase diagram of a system as we vary some external parameters. Why some physicists are excited about the undecidability of the. The spectral gap the energy difference between the ground state and first excited state is central to quantum manybody physics. A small spectral gap the energy needed to transfer an electron from a lowenergy state to an excited state is the central property of semiconductors. The ones marked may be different from the article in the profile. Previous universality results have required proofs involving complicated chains of perturbative gadgets. Undecidability of the spectral gap short version core.

Recently, this important problem was shown to be undecidable for quantum systems in two or more spatial dimensions. Spectral theory in hilbert spaces eth zuric h, fs 09. Ask an unbounded question, get an uncomputable answer. Undecidability of the spectral gap in one dimension inspire. The spectral gapthe energy difference between the ground state and first excited stateis central to quantum manybody physics. The spectral gap the energy difference between the ground state and first excited state of a system is central to quantum manybody physics. In solidstate physics, the most important spectral gap is for the manybody system of electrons in a solid material, in which case it is often known as an. Undecidability of the spectral gap toby cubitt 1, david perezgarciay2, and michael m. Specifically, we construct families of translationallyinvariant, nearestneighbour hamiltonians on a 2d square lattice of dlevel quantum systems d constant, for which determining whether the system is. Undecidability of the spectral gap eprints complutense. The size of the gap is expressed using the additive energy of stereographic projections of the limit set. A hamiltonian with a spectral gap is called a gapped hamiltonian, and those that do not are called gapless. In this case, estimating the spectral gap becomes undecidable. A recent preprint as well as a refereed paper in nature describe the situation more completely.

These and other problems are particular cases of the general spectral gap problem. Conceptually, the process x t may be described as follows. On the other extreme, for two or higher dimensional. Spectral analysis of signalspetre stoica and randolph moses p. Nature just published a paper by cubitt, perezgarcia and wolf titled undecidability of the spectral gap, there is an extended version on arxiv which is 146 pages long. The one i know about is the undecidability of the spectral gap in quantum manybody physics. It is to be emphasized, however, that all suggested formalizations have turned out to be equivalent and, moreover, the existence of undecidable. The mass gap is the spectral gap between the vacuum and the lightest particle. In the simplest case of nearestneighbour frustrationfree qubit interactions, there is a complete classification. Just to be clear, the title to our nature article is undecidability of the spectral gap. The halting problem determining whether a turing machine halts on a given input and the mortality problem determining whether it halts for every starting configuration. Undecidability of the spectral gap short version arxiv vanity. In fact, undecidability of the ground state energy density is stronger than we really need to prove undecidability of the spectral gap. The spectral gap problemwhether the hamiltonian of a quantum manybody problem is gapped or gaplessis rigorously proved to be undecidable.

Godel and turing enter quantum physics 9 december 2015 a mathematical problem underlying fundamental questions in particle and quantum physics is. Dec 10, 2015 the spectral gap the energy difference between the ground state and first excited state of a systemis central to quantum manybody physics. Undecidability of the spectral gap full version core. What happens to undecidability in the quantum computing paradigm. On the other hand, ztr and lst preserve the absolute level of amplitude but lead to greatly increased spectral noise for increasing gap size. In 2015 it was shown that the problem of determining the existence of a spectral gap is undecidable. The spectral gap problem determining whether the energy spectrum of a system has an energy gap above ground state, or if there is a. Quantum complexity theory siam journal on computing vol. The title a paradox at the heart of mathematics makes a physics problem unanswerable is that of the nature news article, written by davide castelvecci though i dont know if he wrote the title. The spectral gap problem is axiomatically independent. The question of the spectral gap is connected with the question of quantization because the existence of a spectral gap involves the presence of a discontinuous distribution of energy inside complex system while the absence of a spectral gap involves a continuous. Chapter 1 introduction in a 2015 paper by cubitt et al. History of computing theory, quantum computation theory.

Many challenging open problems, such as the haldane. Undecidability of the spectral gap free download as pdf file. Recent work has characterised rigorously what it means for one quantum system to simulate another, and demonstrated the existence of universal hamiltonianssimple spin lattice hamiltonians that can replicate the entire physics of any other quantum many body system. However, the shape of their amplitude spectrum remains unmodi. For all system sizes smaller than some threshold n, the lowenergy physics are classical.