Abstract
The phase diagram of a material is of central importance in describing the properties and behaviour of a condensed matter system. In this work, we prove that the task of determining the phase diagram of a manybody Hamiltonian is in general uncomputable, by explicitly constructing a continuous oneparameter family of Hamiltonians H(φ), where \(\varphi \in {\mathbb{R}}\), for which this is the case. The H(φ) are translationallyinvariant, with nearestneighbour couplings on a 2D spin lattice. As well as implying uncomputablity of phase diagrams, our result also proves that undecidability can hold for a set of positive measure of a Hamiltonian’s parameter space, whereas previous results only implied undecidability on a zero measure set. This brings the spectral gap undecidability results a step closer to standard condensed matter problems, where one typically studies phase diagrams of manybody models as a function of one or more continuously varying real parameters, such as magnetic field strength or pressure.
Introduction
Phase transitions and phase diagrams have been a central area of study in condensed matter physics for well over a century. In particular, in the second half of the twentieth century, interest in superconductors and topological phases spurred work on quantum phase transitions: a discontinuous change of a macroscopic observable happening at zero temperature due to the change in some nonthermal parameter^{1}.
The phase diagrams for many materials have been well studied both experimentally and theoretically. There exist numerous algorithms that are heuristically effective at computing properties of manybody quantum systems, such as the Density Matrix Renormalisation Group for onedimensional (1D) gapped systems or density functional theory^{2,3}. Classic toy models include the 1D transverse field Ising Model, which is known to have a transition from an unordered to ordered phase at a critical magnetic field strength^{1}. Beyond that, materials with exotic phases, such as topological insulators, or the fractional quantum Hall effect are becoming increasingly important to understand as they become more applicable to realworld applications^{4,5}.
Yet, the quantum phase diagram for such systems can be highly complex. Numerical simulations of quantum systems are computationally difficult, and may even be intractable^{6,7}. Experimentally and computationally one of the best studied is the 2D electron gas—a model for free electrons in semiconductors—which is well known to exhibit a complex phase behaviour: the system undergoes a large number of phase transitions, most notably those associated with the quantum Hall effect. Indeed, the phase diagrams of such systems are known to be incredibly rich, with some producing Hoftstadter butterfly patterns with an infinite number of phases^{8}. All of these are important instances of the general problem of computing the phase diagram of a Hamiltonian, which classifies the system’s state with respect to a macroscopic observable (such as global magnetisation), and with respect to a parameter of the Hamiltonian (such as a transverse field strength).
Quantum phase transitions are associated with the spectral gap of the Hamiltonian closing. More precisely, a nonanalytic change in the ground state energy is a necessary (although not always sufficient) condition for a phase transition to occur, and a closing spectral gap is necessary (although not always sufficient) for a nonanalytic change in the ground state energy to occur. Cubitt, PerezGarcia and Wolf^{9,10} showed that given a (finite) description of a translationally invariant, nearestneighbour Hamiltonian on a 2D square lattice, deciding whether it has a spectral gap or not is at least as hard as solving the Halting Problem. This was subsequently extended to the case of 1D Hamiltonians^{11}.
In this work, we prove that no general algorithm for determining the phase diagram of a system can exist, even given complete knowledge of the microscopic description of the system’s interactions. To show this, we explicitly construct a continuous, oneparameter Hamiltonian H(φ) on 2D lattice with a fixed, finitedimensional local Hilbert space \({{\mathcal{H}}}_{\mathrm{A}}\oplus {{\mathcal{H}}}_{\mathrm{B}}\), for which determining whether the low energy subspace below some energy cutoff is supported entirely on the A or B subspace is undecidable (where it is guaranteed that one of the two cases holds on a set of positive measure in the parameter space of the model). With respect to the parameter φ, the phase diagram determined with respect to a macroscopic observable O_{A/B} that measures support on \({{\mathcal{H}}}_{\mathrm{A}}\) vs. \({{\mathcal{H}}}_{\mathrm{B}}\) is thus uncomputable. This observable can also be restricted to a single lattice site, with the same conclusion.
Results
The quantum manybody systems we will consider are translationally invariant, nearestneighbour, 2D spin–lattice models. The L × L square lattice with open boundary conditions will be denoted as Λ(L); for brevity, we leave the lattice size implicit whenever it is clear from the context. Each lattice site is associated with a spin system with local Hilbert space of dimension d, \({{\Bbb{C}}}^{d}\). The spins are coupled with a nearestneighbour, translationally invariant Hamiltonian with local terms \(h^{\mathrm{col}},h^{\mathrm{row}}\in {\mathcal{B}}({{\Bbb{C}}}^{d}\otimes {{\Bbb{C}}}^{d})\), such that \(\max \{  h^{\mathrm{row}}  ,  h^{\mathrm{col}}  \}\le 2\). Since we are interested in phase transitions—identified by a discontinuous change of a macroscopic observable O_{A/B}, which strictly speaking can only occur in the thermodynamic limit of infinitely large lattices—we will take the thermodynamic limit by letting L → ∞. An alternative definition of a quantum phase transition is a nonanalytic change in the ground state energy^{1}. This will also be satisfied with our construction. The resulting Hamiltonian over the entire lattice is then
As well as being distinguished by the observable O_{A/B}, the two phases are also distinguished by the spectral gap of the Hamiltonian H^{Λ}, defined as the difference between the smallest and second smallest eigenvalue of the Hamiltonian:
As in ref. ^{9}, we then define a Hamiltonian to be gapped if there exist γ and L_{0} such that the spectral gap Δ(H^{Λ(L)}) ≥ γ for all L > L_{0}; and gapless if the spectrum above the ground state becomes dense in an interval \([\lambda_{\mathrm{min}} (H^{{{\Lambda }}(L)}),\lambda_{\mathrm{min}} (H^{{{\Lambda }}(L)})+c]\) for some c > 0 in the thermodynamic limit (see Supplementary Definitions 1.1 and 1.2 for mathematically rigorous statements). Throughout the paper, we will be using the notion of a continuous family of Hamiltonians, which—loosely speaking—is a family of Hamiltonians \({\{{H}_{i}(\varphi )\}}_{i\in I}\) such that each H_{i}(φ) = ∑_{j}h_{j}(φ), and the matrix elements of h_{j}(φ) depend continuously on φ (see Supplementary Definition 1.3).
Our main result is an explicit construction of a oneparameter continuous family of Hamiltonians, such that for all values \(\varphi \in {\Bbb{R}}\) of the external parameter, the system is guaranteed to be in one of two possible phases, distinguished by an order parameter given by the ground state expectation value of a translationally invariant macroscopic observable O_{A/B}. However, determining which phase the system is in is undecidable, hence the phase diagram of the system as a function of φ is uncomputable. More precisely, we prove the following theorem:
Theorem 2.1 (Phase Diagram Uncomputability) For any given Turing Machine (TM), we can construct explicitly a dimension \(d\in {\Bbb{N}}\), d^{2} × d^{2} matrices \(a,a^{\prime} ,b,c,c^{\prime}\) and a d × d matrix m with the following properties:

(i)
a, c and m are diagonal with entries in \({\Bbb{Z}}\).

(ii)
\(a^{\prime}\) is Hermitian with entries in \({\Bbb{Z}}+\frac{1}{\sqrt{2}}{\Bbb{Z}}\).

(iii)
b has integer entries.

(iv)
\(c^{\prime}\) is Hermitian with entries in \({\Bbb{Z}}\).

(v)
For any real number \(\varphi \in {\Bbb{R}}\) and any 0 ≤ β ≤ 1, which can be chosen arbitrarily small, setting
$$\begin{array}{lll}\;\;\;\; \;\;\; h^{\mathrm{col}} := c+\beta c^{\prime} \quad \quad independent\,of\,\varphi ,\\ h^{\mathrm{row}}(\varphi ) := a+\beta \left(a^{\prime} +{{e}}^{i\pi \varphi }b+{{e}}^{i\pi \varphi }{b}^{\dagger }\right),\end{array}$$we have ∥h^{row}(φ)∥ ≤ 2, ∥h^{col}(φ)∥ ≤ 1.
Define H^{Λ(L)} as in Eq. (1), and let O_{A/B} ≔ L^{−2}∑_{i ∈ Λ}m_{i}. Then, given φ ∈ [2^{−η}, 2^{−η} + 2^{−η−ℓ}) with \(\eta \in {\Bbb{N}}\), the following statements hold:

If TM halts on input η, then for some ℓ ≥ 1, H^{Λ}(φ) is gapless in the sense of Supplementary Definition 1.2, with a ground state that is critical (i.e. with algebraic decay of correlations), and for all eigenstates \(\left{{{\Psi }}}_{\mathrm{B}}\right\rangle\) with energy \(\left\langle {{{\Psi }}}_{\mathrm{B}}\rightH^{{{\Lambda }}}(\varphi )\left{{{\Psi }}}_{\mathrm{B}}\right\rangle \le 1\) it holds that \(\left\langle {{{\Psi }}}_{\mathrm{B}}\right{O}_{\mathrm{A/B}}\left{{{\Psi }}}_{\mathrm{B}}\right\rangle =0\).

If TM is nonhalting on input η and ℓ = 1, then H^{Λ}(φ) is gapped in the sense of Supplementary Definition 1.1, with a unique, product ground state \(\left{{{\Psi }}}_{\mathrm{A}}\right\rangle\) with \(\left\langle {{{\Psi }}}_{\mathrm{A}}\right{O}_{\mathrm{A/B}}\left{{{\Psi }}}_{\mathrm{A}}\right\rangle =1\).
The undecidability of which of the two cases pertains follows immediately from the undecidability of the Halting Problem, by choosing TM to be a universal TM. For simplicity, we will refer to the phases A and B determined by the value for the macroscopic observable O_{A/B} as the gapped and gapless phase, respectively.
As a consequence of the new Hamiltonian construction in this paper, we also obtain the following result:
Corollary 2.2 For all φ ∈ [0, 1], H^{Λ}(φ) is either in a phase with a product ground state and a spectral gap ≥1, or it is in a gapless phase with algebraic decay of correlations, where the two phases are distinguished by the expectation value of a macroscopic observable O_{A/B}. Moreover, there exists a subset S ⊂ [0, 1] with Borel measure μ(S) > 0, such that even for computable φ ∈ S, determining the phase that H^{Λ}(φ) is in is uncomputable.
A less precise but simple interpretation of the above corollary is:
Corollary 2.3 (informal) The phase diagram of H^{Λ}(φ) as a function of its parameter φ is uncomputable.
A set of schematic phase diagrams is shown in Fig. 1.
Constructing the Hamiltonian
Using wellknown methods from the field of Hamiltonian complexity, it is possible to construct a quantum manybody system whose lowestenergy eigenstate represents the evolution of any desired computation^{12}. If we introduce a local term in the Hamiltonian that gives additional energy to any state with overlap with the halting state of the computation, we can arrange for states representing computations that halt to pick up additional energy relative to states representing computations that do not halt and open up a gap in the spectrum. In this way, Turing’s wellknown Halting Problem can be transcribed into a property of the quantum manybody system, namely whether or not it has a spectral gap. Thus, determining whether the system has a spectral gap is at least as hard as the Halting Problem. Since the Halting Problem is known to be undecidable, determining whether the Hamiltonian is gapped or gapless is also undecidable. Conceptually, this is how Cubitt, PerezGarcia & Wolf, and Bausch et al.^{9,10,11} proved the undecidability of the spectral gap.
The starting point for our construction is also the undecidability of the Halting Problem^{13}: in brief, this states that determining whether a universal (classical) TM (UTM) halts or not on a given input is, in general, undecidable. In the quantum computation setting, Cubitt, PerezGarcia and Wolf^{9} showed how an input can be extracted from a phase in a quantum gate such as \(U={\rm{diag}}(1,\exp (2\pi i\varphi ))\), using quantum phase estimation (QPE, ref. ^{14}), which outputs a binary expansion of φ. The latter can then be fed as input to a UTM. Thus, this combination of QPE and UTM runs the UTM on any desired input encoded in φ, and the Halting Problem for this combination is undecidable.
How do we reduce this QTMbased Halting Problem to a result about phases in a manybody system? This is a culmination of the following techniques from previous works. However, for each one of them, significant obstacles must be overcome to prove the uncomputability of phase diagrams .

1.
The first necessary ingredient is a QTMtoHamiltonian mapping, which allows the construction of local, translationally invariant couplings that result in a 1D spin chain Hamiltonian whose ground state energy is exactly zero if the encoded QTM does halts within a certain time interval; or otherwise is positive^{15}. Using such an QTMtoHamiltonian mapping, a QTM running the QPE + UTM computation described above is encoded into the spin chain Hamiltonian, with φ now appearing as a parameter of the resulting Hamiltonian. However, the energy difference between the halting and nonhalting cases decreases as the time interval increases, meaning we need further techniques to obtain a nonzero energy difference in the thermodynamic limit.

2.
A second ingredient is amplifying this penalty. In ref. ^{9} this is done by combining the QTMtoHamiltonian mapping with an aperiodic tiling Hamiltonian, thereby ensuring that, for each length of a computation, a fixed density of such circuittoHamiltonian instances are distributed across the spin lattice. In this way, the ground state energy density is zero iff the QTMtoHamiltonian mapping always has zero energy, and thus depends on whether the QPE + UTM computation ever halts.

3.
In ref. ^{11}, point 2 is replaced by a socalled Marker Hamiltonian. This in combination with a circuittoHamiltonian construction results in a ground state, which partitions the spin chain into segments just large enough for the UTM to halt, if it halts. Here, the segments do not have a fixed length, but instead selfadjust to find their own length. In contrast to ref. ^{9}, this has the effect that either all encoded instances of computations halt, or none do.

4.
The final step is the addition of an Isingtype coupling as in refs. ^{9,16}, which breaks the local Hilbert space up into subspaces \({{\mathcal{H}}}_{\mathrm{A}}\oplus {{\mathcal{H}}}_{\mathrm{B}}\), and which ensures that the lowenergy spectrum is contained either entirely in the A or B subspace, depending on the ground state energy density just constructed. Since determining the ground state energy density is uncomputable, it is also uncomputable to determine whether the system is in phase A or B with respect to the Hamiltonian parameter φ.
As mentioned, we require significant alterations to this collection of ingredients. Concretely, the issue is that if we encode an input φ to be extracted using errorfree QPE, then we require the circuit gates to depend explicitly on the binary length of φ, denoted ∣φ∣. Consequently, the resulting matrix elements of the Hamiltonian will also explicitly depend on ∣φ∣—a discontinuous function of φ. To remove this dependence, we instead perform the QPE procedure approximately, by using a universal gate set that approximates all the gates depending on ∣φ∣^{17}. However, the constructions of Cubitt, PerezGarcia & Wolf, and Bausch et al.^{9,11} crucially rely on the QPE expansion of φ to be performed exactly; any errors destroy the constructions.
To overcome this obstacle, we first encode this approximate QPE plus the evolution of a UTM in a QTMtoHamiltonian mapping, which has positive energy iff the QPE + UTM computation does not halt. We label the resulting Hamiltonian H_{comp}. This is outlined in sections ‘Encoding computation in Hamiltonians’, ‘The encoded computation’ and ‘From QTM to Hamiltonian’ where the QTMtoHamiltonian mapping and the computation it encodes are explained, respectively. A significant novel technical contribution of this work is then a proof that the Marker Hamiltonian used in ref. ^{11} does, in fact, allow for some leeway in the precision to which QPE is performed and can be used to provide a correction for the energy penalty picked up as a result of any errors in the QPE.
To generate the required energy correction, we consider a 2D spin lattice and construct an underlying classical Hamiltonian, which we denote H_{cb}, that partitions the lattice into a uniform grid of squares. We note that the method from ref. ^{9} would be inappropriate for this construction as it would lead to an accumulation of energies we cannot correct for without matrix elements depending explicitly on ∣φ∣. Within each square, the ground state encodes the evolution of a classical TM (encoded as a tiling problem akin to the ones used in refs. ^{18,19}), which will calculate the energy correction necessary to offset the error introduced by approximately performing QPE. The classical Hamiltonian is then coupled to the Marker Hamiltonian. We denote this combination H^{(⊞)}.
Section ‘Classical tiling with quantum overlay’ describes the ground state of the resulting Hamiltonian H^{(⊞)} such that the halting or nonhalting behaviour together with the Marker Hamiltonian determines whether the energy density of the constructed Hamiltonian is nonnegative (in the nonhalting case) or negative (in the halting case). Crucially, it is now robust with respect to the errors present in the expansion of φ from the approximate QPE procedure. Finally, in section ‘Uncomputability of the Phase Diagram’, we show how H_{comp}, H_{cb} and H^{(⊞)} are combined mathematically to lift this undecidability of the ground state energy density, to uncomputability of the phase diagram, using nowstandard techniques^{9,11,16}. For a mathematically rigorous derivation, we refer the reader to the Supplementary information.
Encoding computation in Hamiltonians
A QTM can be thought of as a classical TM, but where the TM head and tape configuration can be in a superposition of states. The updates to the QTM and tape configuration are then described by a transition unitary, U, describing the transitions of the QTM state and tape, such that the state is updated via the map \(\left\psi\,\right\rangle \,\mapsto\,U\left\psi \right\rangle\)^{20}.
Given a QTM, one can construct a local Hamiltonian that has a ground state encoding the evolution of the computation^{9,15}, closely related to the Feynman–Kitaev Hamiltonian encoding quantum circuits into Hamiltonians^{12,21}. The ground state encodes T steps of the computation, where T is a predefined and fixed function of the Hamiltonian’s size determined by the particular QTMtoHamiltonian mapping. The ground state of such a Hamiltonian is called a history state and takes the form
where the state of the quantum TM at time step t is \(\left{\psi }_{t}\right\rangle\). The ground state energy of the Hamiltonian can be made dependent on aspects of the computation by adding a projector that penalises certain computational states, and the resulting energy is known to high precision^{22,23}.
The encoded computation
As in refs. ^{9,11}, the computation we wish to encode via such a QTMtoHamiltonian mapping will be a pair of QTMs running in succession: the first will run QPE on a quantum gate U_{φ}, which outputs a number in binary, and the second will be a UTM, which takes the output of the QPE as input. The gate U_{φ} is encoded in the transition unitary U describing the QTM, which is in turn encoded in the matrix elements of the Hamiltonian. The energy of the Hamiltonian encoding the computation will then be made dependent on whether the computation halts or not, allowing us to relate its ground state energy to the halting property.
Phase estimation
Given a unitary matrix \({U}_{\varphi }=\left(\begin{array}{cc}1&0\\ 0&{{e}}^{i\pi \varphi }\end{array}\right)\), the QPE algorithm takes as input the eigenvector corresponding to the eigenvalue e^{iπφ}, and outputs an estimate of φ in binary. If the number of qubits on which the phase estimation is performed is smaller than the number of bits required to express φ in full, the algorithm is only approximate^{14}. Furthermore, if a finite gate set is used, some of the required unitary gates in the algorithm must be approximated rather than performed exactly^{17}. Hence, from phase estimation, we get an output state consisting of a superposition over binary strings:
where the amplitudes β_{x} are concentrated around those values for which x ≈ φ and rapidly drop off away from φ. Details are in Supplementary Note 2.
Universal QTM
We then feed the output \(\left\chi (\varphi )\right\rangle\) of this phase estimation into the input of a universal TM, as in ref. ^{9}, which then runs a computation that may or may not halt. By the wellknown undecidability of the Halting Problem^{13}, determining whether the QTM halts for a given string is undecidable.
From QTM to Hamiltonian
Using the QTMtoHamiltonian mapping described in section ‘Encoding computation in Hamiltonians’, the computation outlined above is mapped to a 1D, translationally invariant, nearestneighbour Hamiltonian H_{comp}(φ)^{15}, with a penalty for the nonhalting case. It can be shown that the ground state energy of H_{comp}(φ) scales as
where
The β_{x} are the QPE coefficients in Eq. (4), and S(L) is the set of inputs for which the universal TM does not halt within time T(L).
Since the β_{x} are concentrated around the binary expansion of φ, if the latter encodes a halting instance, there will be a length L_{0} for which ϵ(L) ≈ 0 for all L > L_{0}; otherwise, ϵ(L) ≈ 1 for all L. This immediately yields a Hamiltonian for which the ground state energy is haltingdependent (and hence uncomputable). We refer the reader to Supplementary Note 3 for details.
Tiling and classical computation
In Eq. (5), we see that the difference between the Hamiltonian’s ground state energy in the case where ϵ(L) from Eq. (6) is ~1 or 0 decreases with the system size L. Thus, the energy gap between the two cases goes to zero irrespective of whether φ encodes a halting or nonhalting instance. To amplify this gap so that there is a finite energy gap in the thermodynamic limit (as per points 2 and 3), we will combine the Feynman–Kitaev Hamiltonian with a classical Hamiltonian based on a Wang tiling that partitions the space suitably to ensure a fixed density of computation instances is spawned across the lattice. The result we achieve with this is an energy gap opening up as L grows between the cases where ϵ takes different values.
A set of Wang tiles—square, 2D tiles with coloured sides, with the rule that adjacent sides of neighbouring tiles in a tiling of the plane must have matching colours—can be mapped to a classical Hamiltonian: if tiles t_{i}, t_{j} cannot be placed next to each other, then we introduce a term \(\left{t}_{i}\right\rangle \langle {t}_{j}\) into the Hamiltonian. The overall Hamiltonian is the sum over all such local terms, such that its ground state represents a tiling satisfying the tiling rules (if such a tiling exists). If no such tiling exists, the ground state energy is ≥1.
Similarly, it is well known that there exist tile sets that encode the evolution of a classical TM^{18,19} within a square grid: TM tape configurations are represented by rows, such that adjacent rows represent successive time steps of the TM (Fig. 2).
We combine both Wang tiles and the TM tiling ideas by constructing a tile set whose valid tilings have the following properties:

1.
A tiling pattern that creates a square grid across the lattice Λ (much like a checkerboard). The side length of the grid squares can be varied (provided all grid squares are the same size) and still correspond to a valid tiling (depicted in Fig. 3).

2.
Within each square of the grid, we use the tiles to encode a TM that first counts the size of the square it is contained in, and then outputs a marker • on the top border of the square, where the placement of this marker is a function of the size of the square (depicted in Fig. 2).
Having developed this tiling, we map it to a corresponding tiling Hamiltonian, which we denote H_{cb}, such that its ground states retain the properties of the valid tilings listed above. The reader is referred to Supplementary Note 4 for details.
Classical tiling with a quantum overlay
We now want to combine the classical Hamiltonian encoding the Wang tiles, and the quantum Hamiltonian encoding the Halting Problem computation, to create an overall Hamiltonian that has a large ground state energy difference between the halting and nonhalting cases, without the ~1/poly(L) decay in Eq. (5). To do so, we split the local Hilbert space of each lattice spin into a classical part \({{\mathcal{H}}}_{{\rm{c}}}\) and a quantum part \({{\mathcal{H}}}_{{\rm{e}}}\oplus {{\mathcal{H}}}_{{\rm{q}}}\) giving \({\mathcal{H}}={{\mathcal{H}}}_{{\rm{c}}}\otimes ({{\mathcal{H}}}_{{\rm{e}}}\oplus {{\mathcal{H}}}_{{\rm{q}}})\), where \({{\mathcal{H}}}_{{\rm{e}}}=\{\lefte\right\rangle \}\) just contains a filler state \({\lefte\right\rangle }_{{\rm{e}}}\). The ground state can then be designed to be a product state of the form \({\leftC\right\rangle }_{{\rm{c}}}\otimes {\left{\psi }_{0}\right\rangle }_{{\rm{eq}}}\), where \({\leftC\right\rangle }_{{\rm{c}}}\) is a valid classical tiling configuration—as described in section ‘Tiling and classical computation’—and \({\left{\psi }_{0}\right\rangle }_{{\rm{eq}}}\) is a quantum state with the following properties:

1.
We use the 1D Marker Hamiltonian from ref. ^{11}, and couple its negative energy contribution to the size of each grid square in the classical tiling and the placement of the • marker. The negative energy each square contributes is a determined by where the • marker is placed, and thus by the action of the classical TM. We denote this combined Hamiltonian H^{(⊞)}.

2.
We effectively place the ground state of a Hamiltonian H_{comp} encoding the QPE plus universal TM along the top edge of the square, by adding additional penalty terms to the Hamiltonian that penalise the classical and quantum layers to occur in this configuration elsewhere.

3.
Everywhere not along the horizontal edge of a grid square in \({{\mathcal{H}}}_{{\rm{c}}}\) is in the zeroenergy \({\lefte\right\rangle }_{{\rm{e}}}\) filler state in \({{\mathcal{H}}}_{{\rm{e}}}\oplus {{\mathcal{H}}}_{{\rm{q}}}\).
As mentioned, the patterns in the degenerate ground space of H_{cb} are checkerboard grids of squares with periodicity w × w, where the integer square size w is not fixed.
By choosing the classical TM encoded in the tiling to place a • marker at an appropriate point, we are able to tune the ground state energy of H^{(⊞)} such that the total energy of a single w × w square A in the checkerboard pattern is:
where ϵ_{0}(w) is some cutoff point, w_{0} is the halting length (recall from the previous section that the runtime of the computation encoded in the ground state depends on the size of the available tape, i.e. the size of the checkerboard square edge that the TM runs on), and where \(\lambda_{\mathrm{min}} ({w}_{0})=\delta ({w}_{0})\,<\,0\) for the halting length w_{0} is a small negative constant.
The Marker Hamiltonian’s energy bonus thus compensates for the QPE approximation errors by lowering the energy by just enough such that a halting instance has negative energy. On the other hand, the energy of the nonhalting instance remains large enough that the energy of a single square remains positive^{11,23}.
Thus, provided ϵ(w) is sufficiently small, the ground state of H_{cb} + H_{comp} + H^{(⊞)}(+coupling terms) is a checkerboard grid of squares with a constant but negative energy density. Otherwise, the ground state energy density of the lattice is lower bounded by zero. Which of the two cases holds depends on determining whether ϵ(w) ≥ ϵ_{0}(w) or <ϵ_{0}(w), which is undecidable; undecidability of the ground state energy density follows. The reader is referred to Supplementary Note 5 for more details.
We define the Hamiltonian formed by H_{cb}, H_{comp} and H^{(⊞)} and the coupling terms as H_{u}(φ). Assume φ encodes a halting instance and set \(w={\mathrm{argmin}}_{s}\{\lambda_{\mathrm{min}} (s)\,<\,0\}\), and A is a single square of size w × w. Then, the ground state energy H_{u}(φ) on a grid Λ of size L × H is given by
Uncomputability of the phase diagram
To go from undecidability of the ground state energy density, demonstrated at the end of section ‘Classical tiling with quantum overlay’ to the undecidability of the phase (and spectral gap), we follow the approach of Cubitt, PerezGarcia and Wolf^{9} by combining H_{u}(φ) with a trivial state \(\left0\right\rangle\) such that \({\left0\right\rangle }^{\otimes {{\Lambda }}}\) has zero energy, and the spectrum of H_{u}(φ) is shifted up by +1 (Supplementary Lemma 6.5). From this shift and Eq. (8) it can be shown that
Let h_{u}(φ) denote the local terms of H_{u}(φ), let h_{d} be the local terms of the critical XY model, and let \(\left0\right\rangle\) be a zero energy state, such that the total Hilbert space is \(({{\mathcal{H}}}_{1}\otimes {{\mathcal{H}}}_{2})\oplus \{\left0\right\rangle \}\). Then, the local terms of the total Hamiltonian H^{Λ}(φ) are defined as
The result is the following: the overall spectrum of the Hamiltonian is
where G ⊂ [1, ∞). To understand this, we consider the two cases. If a nonhalting instance is encoded \(\lambda_{\mathrm{min}} \, \ge \, 0\) in Eq. (7), then H_{u}(φ)—from Eq. (9)—has ground state energy lowerbounded by 1; the ground state of the overall Hamiltonian is the trivial zero energy classical product state \({\left0\right\rangle }^{\otimes {{\Lambda }}}\), and H^{Λ} has a constant spectral gap. If \(\lambda_{\mathrm{min}} \, < \, {\!} \delta \), then H_{u}(φ) has a ground state with energy diverging to −∞. We further note that the critical XY model has a dense spectrum with zero ground state energy, hence from the H_{d} term we obtain a dense spectrum above the ground state^{24}. As a result, the Hamiltonian becomes gapless and has a highly entangled ground state with algebraically decaying correlations.
Since the existence of a halting length w_{0} in Eq. (7) is undecidable, discriminating between \(\lambda_{\mathrm{min}} \, \ge \, 0\) or <−∣δ∣ is also undecidable. This implies determining whether the Hamiltonian is in the critical, quantumcorrelated phase or the trivial product state gapped phase is undecidable as well.
As H^{Λ}(φ) is a continuous function of φ, there exist finite measure regions for which all values of φ have the same ground state and for which there is no closing of the spectral gap, which delineates the two phases. Setting \({{{\Pi }}}_{i}:= \left0\right\rangle {\left\langle 0\right}^{(i)}\), the observable O_{A/B} = L^{−2}∑_{i∈Λ}Π_{i} has expectation value 1 when in the state \({\left0\right\rangle }^{\otimes {{\Lambda }}(L)}\), and 0 in the other case. This is true even if the observable is restricted to a finite geometrically local subset of the lattice. We refer the reader to Supplementary Note 6 for more details.
Discussion
Our result proves the undecidability of the phase and spectral gap for a continuous, oneparameter family of Hamiltonians on a twodimensional lattice. An immediate consequence is that there is no algorithm that can compute a Hamiltonian’s phase diagram in general, even given a complete description of its microscopic interactions.
Qualitatively, this brings the results close to classic condensed matter models, for example, the transverse Ising model described by the Hamiltonian \({H}_{{\rm{TIM}}}={\sum }_{\langle i,j\rangle }{\sigma }_{z}^{(i)}{\sigma }_{z}^{(j)}+\varphi {\sum }_{i}{\sigma }_{x}^{(i)}\). Here, the real parameter φ determines the strength of an external magnetic field. Its phase diagram comprises an ordered and a disordered phase, with an order parameter given by the macroscopic observable \({O}_{{\rm{TIM}}}=\frac{1}{N}\mathop{\sum }\nolimits_{j = 1}^{N}{\sigma }_{z}^{(j)}\) corresponding to the global magnetisation per spin. In the ordered phase, the ground state expectation value \( \langle {O}_{{\rm{TIM}}}\rangle  =1\). In the disordered phase, the ground state expectation value is 0. Both these phases have a nonzero spectral gap in the thermodynamic limit. At the critical point φ = 1 between the two phases, the system is gapless and exhibits criticality.
As mentioned previously, we can take as the order parameter the macroscopic observable \({O}_{\mathrm{A/B}}=\frac{1}{N}{\sum }_{j}{{{\Pi }}}_{\mathrm{A}}^{(j)}\), where \({{{\Pi }}}_{\mathrm{A}}^{(j)}\) is a projector onto the local Hilbert space \({{\mathcal{H}}}_{\mathrm{A}}\) on lattice site j. This definition yields a familiar picture: for those φ such that H(φ) is in the A phase, we prove that the ground space is nondegenerate with 〈O_{A/B}〉 = 1. In the B phase, all ground states have an expectation value 〈O_{A/B}〉 = 0 with respect to this observable. Thus, phases A and B are distinguished by an order parameter given by a macroscopic observable O_{A/B}, and the system undergoes a (firstorder) phase transition between these as φ varies.
However, unlike the Ising model, in our case, one phase (phase A, say) is gapped, but the other (phase B) is a gapless phase. This gapped vs. gapless phase transition has further phenomenological consequences. For instance, a transition between A and B implies a transition from exponential decay of correlations to longrange correlations with algebraic decay of correlation functions. In fact, something stronger holds in our case: in the gapped phase, the ground state is a product state and all connected correlation functions are strictly zero.
If we define a phase diagram of a kparameter Hamiltonian as a normalised parameter space [0, 1]^{k}, which maps out the different phases as a function of the parameters at each point p ∈ [0, 1]^{k}, then previous undecidability results^{9,11} do not imply uncomputablity of phase diagrams, for multiple reasons. There, as here, the matrix elements of the local interactions of the Hamiltonian H(φ) depend on an external parameter φ, which determines the gappedness of the Hamiltonian. However, importantly, in the previous constructions, the matrix elements also depend on the binary length of φ, denoted ∣φ∣, which is a discontinuous function of φ. A consequence of this, it is not possible to define a meaningful phase diagram for these Hamiltonians over the required parameter range. This significantly limits the implications one can draw from previous spectral gap undecidability results, in particular for quantum phase diagrams, which are one of the main reasons for caring about spectral gaps in the first place.
Although the construction developed herein proves undecidability between phases defined by O_{A/B}, the result can be extended to more general phase diagrams by a small modification to the construction. If we modify the Hamiltonian by introducing two terms h_{¬X} and h_{X}, which are Hamiltonians that, respectively, have and do not have the ground state property X in the thermodynamic limit (specifically, in Eq. (10) defining the Hamiltonian, we replace \(\left0\right\rangle \left\langle 0\right\) and h_{d} with h_{¬X} and h_{X}), then the new overall Hamiltonian will have two phases, one of which has property X and another which does not. Determining which of the two properties holds is undecidable.
Furthermore, the algorithmic uncomputability of the phase diagram problem implies axiomatic independence of the problem^{25}. That is, for any consistent formal system with a recursive set of axioms, there exists a Hamiltonian of the form given in Theorem 2.1 such that determining the phase diagram from the given axioms is not possible.
There are other consequences: a common technique in numerical condensed matter physics to estimate the phase of a physical system is to take the Hamiltonian on an L × L lattice, calculate the phase for this lattice size by some numerical means, and then extrapolate its phase to the thermodynamic limit. This is justified by the assumption that as long as L is sufficiently large, the system already displays the behaviour of the thermodynamic limit. In ref. ^{10} it was shown that this assumption is not justified in all cases, as the phase may without warning appear completely different at some arbitrarily large and uncomputably system size. Leading to the phenomenon of sizeddriven phase transitions explored in ref. ^{16}. Our result further extends this to show that attempting to compute the phase diagram by extrapolating from some finitesize system may not reflect the phase diagram in the thermodynamic limit.
We note, however, that our result only establishes uncomputability for certain highly complex and artificially constructed Hamiltonians. Furthermore, the Hamiltonians constructed by our techniques are necessarily frustrated. For many commonly occurring Hamiltonians—particularly those with small local Hilbert space dimension—determining the phase may well be rigorously decidable. For example, using techniques from refs. ^{26,27}, as done for example in ref. ^{28}, completely solves the case of frustrationfree, nearestneighbour 1D qubit chains.
As aforementioned, previous gap undecidability results^{9,11} required the explicit inclusion of the binary length of φ, that is, ∣φ∣, as matrix elements of the form
It is clear that one cannot vary φ along a continuous path between two points φ_{1} and φ_{2} while keeping the length of its binary expansion ∣φ∣ fixed at all points along the path. Moreover, varying φ and ∣φ∣ separately breaks the construction. As a result, it is impossible to draw a phase diagram with respect to the parameter φ for the Hamiltonians of refs. ^{9,11}.
Phase transitions are typically defined as points at which there is a nonanalyticity in the ground state energy (or some associated order parameter) with respect to continuous changes in φ. If one were to view ∣φ∣ as an explicitly discontinuous function of φ, the ground state may no longer analytically depend on φ even at points where the system is gapped. As such it is unclear if it is even meaningful to define a phase or phase transition for the models presented in refs. ^{9,11}. In addition, Hamiltonians depending discontinuously on a continuously varying parameter are not typically encountered in physics.
The family of Hamiltonians we construct in this work is truly continuous, that is, we define our local terms h_{row}(φ) for arbitrary \(\varphi \in {\Bbb{R}}\), thus even irrational numbers with infinitely long binary expansions are perfectly fine as instances of our problem setup. This brings us qualitatively closer to models of Hamiltonians of real systems, where the parameter varied will typically be some physical property, such as an applied magnetic field, which can be varied continuously.
Since Theorem 2.1 shows that for any φ there exists a small finite interval around φ for which the phase of the Hamiltonian is the same, we have a notion of stability of undecidability under perturbations to φ—something that was not the case in previous results. However, it is not clear if there is any stability of the Hamiltonian’s properties with respect to perturbations in arbitrary matrix elements. Stability of undecidability under arbitrary local perturbations to the Hamiltonian remains a challenging but important topic for future research, but one that has yet to be fully resolved even for simple models such as the Ising model. Finally, it important to emphasise that the Hamiltonian constructed here is highly artificial, in the sense that it has an unnaturally large local Hilbert space dimension and highly complex, specifically tailored interactions. While sizedriven phase transitions have been discovered in much simpler models^{16}, and recent results in Hamiltonian complexity theory^{29,30,31,32} show that related complexitytheoretic properties can also occur in far simpler models, it remains an open question whether undecidability occurs in any remotely natural Hamiltonians.
Ongoing research directions both in Hamiltonian complexity and computability focus on reducing the physical dimensionality of the system, reducing the local Hilbert space dimension and choosing physical interactions comparable to those seen in physical systems. A further route of investigation would be to determine how difficult it is to compute phases for systems of finite size, rather than in the thermodynamic limit, for some suitable definition of phase in the finitesize setting.
References
Sachdev, S. Quantum Phase Transitions 2nd edn (Cambridge University Press, 2011).
White, S. R. Density matrix formulation for quantum renormalization groups. Phys. Rev. Lett. 69, 2863–2866 (1992).
Jones, R. O. Density functional theory: Its origins, rise to prominence, and future. Rev. Mod. Phys. 87, 897–923 (2015).
Pudalov, V. M. & Semenchinskii, S. G. A physical standard of the unit of electrical resistance based on the quantum hall effect. Sov. Phys. Uspekhi 31, 880–881 (1988).
Vobornik, I. et al. Magnetic proximity effect as a pathway to spintronic applications of topological insulators. Nano Lett. 11, 4079–4082 (2011).
Staar, P., Maier, T. & Schulthess, T. C. Dynamical cluster approximation with continuous lattice selfenergy. Phys. Rev. B 88, 115101 (2013).
Schuch, N. & Verstraete, F. Computational complexity of interacting electrons and fundamental limitations of density functional theory. Nat. Phys. 5, 732–735 (2009).
Osadchy, D. & Avron, J. E. Hofstadter butterfly as quantum phase diagram. J. Math. Phys. 42, 5665–5671 (2001).
Cubitt, T. S., PerezGarcia, D. & Wolf, M. M. Undecidability of the spectral gap, 2015.
Cubitt, T., PerezGarcia, D., & Wolf, M. M. Undecidability of the Spectral Gap (full version). arXiv preprint arXiv:1502.04573. (2015).
Bausch, J., Cubitt, T., Lucia, A. & PerezGarcia, D. Undecidability of the spectral gap in one dimension. Phys. Rev. X, 10, 031038 (2018).
Kitaev, A. Y., Shen, A. & Vyalyi, M. N. In Quantum Information, 203–217 (Springer, New York, 2002).
Turing, A. M. On computable numbers, with an application to the entscheidungsproblem. Proc. Lond. Math. Soc. s242, 230–265 (1937).
Nielsen, M. A. & Chuang, I. L. Quantum Computation and Quantum Information (Cambridge University Press, Cambridge, 2010).
Gottesman, D. & Irani, S. The quantum and classical complexity of translationally invariant tiling and Hamiltonian problems. In 50th Annual IEEE Symposium on Foundations of Computer Science (2009). FOCS’09, 95–104 (IEEE, 2009).
Bausch, J., Cubitt, T. S., Lucia, A., PerezGarcia, D. & Wolf, M. M. Sizedriven quantum phase transitions. Proc. Natl Acad. Sci. USA 115, 19–23 (2018).
Dawson, C. M. & Nielsen, M. A. The SolovayKitaev algorithm. Quantum Info. Comput. 6, 81–95 (2006).
Berger, R. The Undecidability of the Domino Problem (American Mathematical Society, 1966).
Robinson, R. M. Undecidability and nonperiodicity for tilings of the plane. Invent. Math. 12, 177–209 (1971).
Bernstein, E. & Vazirani, U. Quantum Complexity Theory. SIAM J. Comput. 26, 1411–1473 (1997).
Feynman, R. P. Simulating physics with computers. Int. J. Theor. Phys. 21, 467–488 (1982).
Bausch, J. & Crosson, E. Analysis and limitations of modified circuittoHamiltonian constructions. Quantum 2, 94 (2018).
Watson, J. D. Detailed analysis of circuittoHamiltonian mappings. Preprint at http://arxiv.org/abs/1910.01481 (2019).
Lieb, E., Schultz, T. & Mattis, D. Two soluble models of an antiferromagnetic chain. Ann. Phys. 16, 407–466 (1961).
Poonen, B. In Interpreting Gödel (ed. Kennedy, J.) 211–241 (Cambridge University Press, 2014).
Knabe, S. Energy gaps and elementary excitations for certain vbsquantum antiferromagnets. J. Stat. Phys. 52, 627–638 (1988).
Nachtergaele, B. The spectral gap for some spin chains with discrete symmetry breaking. Commun. Math. Phys. 175, 565–606 (1996).
Bravyi, S. & Gosset, D. Gapped and gapless phases of frustrationfree spin /1 2 chains. J. Math. Phys. 56, 061902 (2015).
Cubitt, T. & Montanaro, A. Complexity classification of local Hamiltonian problems. SIAM J. Comput., 45, 268–316 (2016).
Bausch, J., Cubitt, T. & Ozols, M. The complexity of translationallyinvariant spin chains with low local dimension. Ann. Henri Poincaré 18, 3449–3513 (2017).
Cubitt, T. S., Montanaro, A. & Piddock, S. Universal quantum hamiltonians. Proc. Natl Acad. Sci. USA 115, 9497–9502 (2018).
Bausch, J. & Piddock, S. The complexity of translationally invariant lowdimensional spin lattices in 3D. J. Math. Phys. 58, 111901 (2017).
Acknowledgements
J.B. is supported by the Draper’s Research Fellowship at Pembroke College. J.D.W. is supported by the EPSRC Centre for Doctoral Training in Delivering Quantum Technologies [EP/L015242/1]. T.S.C. is supported by the Royal Society. This work was supported by the EPSRC Prosperity Partnership in Quantum Software for Simulation and Modelling (EP/S005021/1).
Author information
Authors and Affiliations
Contributions
J.D.W., J.B. and T.S.C. all contributed significantly to the research.
Corresponding authors
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Peer review information Nature Communications thanks the anonymous reviewers for their contribution to the peer review of this work. Peer reviewer reports are available.
Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bausch, J., Cubitt, T.S. & Watson, J.D. Uncomputability of phase diagrams. Nat Commun 12, 452 (2021). https://doi.org/10.1038/s41467020205046
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41467020205046
This article is cited by

Undecidable problems in quantum field theory
International Journal of Theoretical Physics (2023)

Uncomputably complex renormalisation group flows
Nature Communications (2022)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.