Abstract
Renormalisation group methods are among the most important techniques for analysing the physics of manybody systems: by iterating a renormalisation group map, which coarsegrains the description of a system and generates a flow in the parameter space, physical properties of interest can be extracted. However, recent work has shown that important physical features, such as the spectral gap and phase diagram, may be impossible to determine, even in principle. Following these insights, we construct a rigorous renormalisation group map for the original undecidable manybody system that appeared in the literature, which reveals a renormalisation group flow so complex that it cannot be predicted. We prove that each step of this map is computable, and that it converges to the correct fixed points, yet the resulting flow is uncomputable. This extreme form of unpredictability for renormalisation group flows had not been shown before and goes beyond the chaotic behaviour seen previously.
Similar content being viewed by others
Introduction
Understanding collective properties and phases of manybody systems from an underlying model of the interactions between their constituent parts remains one of the major research areas in physics, from highenergy physics to condensed matter. Many powerful techniques have been developed to tackle this problem. One of the most farreaching was the development by Wilson^{1,2} of renormalisation group (RG) techniques, building on early work by others^{3,4}. At a conceptual level, an RG analysis involves constructing an RG map that takes as input a description of the manybody system (e.g., a Hamiltonian, or an action, or a partition function, etc.), and outputs a description of a new manybody system (a new Hamiltonian, or action, or partition function, etc.), that can be understood as a “coarsegrained” version of the original system, in such a way that physical properties of interest are preserved but irrelevant details are discarded.
For example, the RG map may “integrate out” the microscopic details of the interactions between the constituent particles described by the full Hamiltonian of the system. This procedure generates a coarsegrained Hamiltonian that still retains the same physics at larger length scales^{5}. By repeatedly applying the RG map, the original Hamiltonian is transformed into successively simpler Hamiltonians, where the physics may be far easier to extract. The RG map therefore produces a dynamic map on Hamiltonians, and consecutive applications of this map generate a “flow” in the space of Hamiltonians. Often, the form of the Hamiltonian is preserved, and the RG flow can be characterised by the trajectory of the parameters describing the Hamiltonian.
The development of RG methods has not only allowed sophisticated theoretical and numerical analysis of a broad range of manybody systems. It also explained phenomena such as universality, whereby many physical systems, apparently very different, exhibit the same macroscopic behaviour, even at a quantitative level. This is explained by the fact that these systems “flow” to the same fixed point under the RG dynamics.
For many condensed matter systems—even complex strongly interacting ones—the RG dynamics are relatively simple, exhibiting a finite number of fixed points to which the RG flow converges. Hamiltonians that converge to the same fixed point correspond to the same phase, so that the basins of attraction of the fixed points map out the phase diagram of the system. However, more complicated RG trajectories are also possible, including chaotic RG flows with highly complex structure^{6,7,8,9,10}. Nonetheless, as with chaotic dynamics more generally, the structure and attractors of such chaotic RG flows can still be analysed, even if specific trajectories of the dynamics may be highly sensitive to the precise starting point. This structure elucidates much of the physics of the system^{11,12,13}. RG techniques have become one of the most important technique in modern physics for understanding the properties of complex manybody systems.
On the other hand, recent work has shown that determining the macroscopic properties of manybody systems, even given a complete underlying microscopic description, can be even more intractable than previously anticipated. In fact, refs. 14,15,16 showed that this goal is unobtainable in general: they engineered a quantum manybody Hamiltonian whose spectral gap, phase diagrams and any macroscopic property characterising a phase are uncomputable. These results imply that any RG technique which we may apply to this specific system in order to characterise the spectrum and other properties is bound to fail: there can be no RG scheme—or even more broadly, no algorithm—that can answer the spectral gap problem. Yet, it is unclear how such a negative result will emerge. In principle, this obstacle may be because there does not exist an RG map which can compute a coarsegrained version of an intractable Hamiltonian, or which cannot retain its macroscopic properties at every iteration, or again whose fixed points are not welldefined (or do not exist to begin with).
Results
We denote a 2D L × L lattice as Λ(L), and the minimum eigenvalue of a Hamiltonian H (the groundstate energy) as λ_{0}(H). After some RG procedure, we denote the renormalised Hamiltonian R(H), and after \({k}\)iterations of the RG procedure R^{(k)}(H). We also denote \({{{{{{{\mathcal{B}}}}}}}}({{{{{{{\mathcal{H}}}}}}}})\) to be the set of bounded operators acting on Hilbert space \({{{{{{{\mathcal{H}}}}}}}}\).
The family of Hamiltonians we will consider is that from ref. 14, which are a set of translationally invariant, nearest neighbour, 2D spinlattice models with open boundary conditions defined on Λ(L). The Hamiltonians are parametrised by single parameter φ, and hence the set can be written as \({\{H(\varphi )\}}_{\varphi \in {\mathbb{Q}}}\). Each lattice site is associated with a spin system with local Hilbert space of dimension d, \({{\mathbb{C}}}^{d}\). The property of interest is the spectral gap, which is defined as the energy gap between the first excited state energy and the groundstate energy. Importantly, it is shown that as the lattice size goes to infinity, any Hamiltonian in this family must either have a spectral gap >1/2 or be gapless. However, determining which case occurs is undecidable.
Our main result is an explicit construction of a renormalisation group mapping for this Hamiltonian with the following features:
Theorem 1 (Uncomputability of RG Flows (informal)) We construct an RG map for the Hamiltonian of Cubitt, Pérez–García and Wolf^{14} which has the following properties:

1.
The RG map is computable at each renormalisation step.

2.
The RG map preserves whether the Hamiltonian is gapped or gapless, as well as other properties associated with the phase of the Hamiltonian.

3.
The Hamiltonian is guaranteed to converge to one of two fixed points under the RG flow: one gapped, with lowenergy properties similar to those of an Ising model with field; the other gapless, with lowenergy properties similar to the critical XYmodel.

4.
The behaviour of the Hamiltonian under the RG mapping, and which fixed point it converges to, are uncomputable.
The undecidability of the fixed point follows implicitly from the undecidability of the spectral gap^{14,15}, since the fixed point depends on the gappedness of the unrenormalised Hamiltonian. Theorem 1 demonstrates that the renormalisation process fails, but not because it is impossible to construct a welldefined RG mapping: the actual reason is that the trajectory of the Hamiltonian under repeated applications of the RG mapping is itself uncomputable. Consequently, determining the fixed point that the trajectory eventually converges to is itself undecidable. This is despite each individual step of the RG process being computable.
We note a subtlety in the statement of Theorem 1. It is important that we are able to explicitly construct the RG scheme, rather than just prove the existence of such an RG scheme. If only existence were proven, it would leave open the possibility that finding the RG scheme is itself an uncomputable task, thus meaning it cannot actually be determined.
The Cubitt, Pérez–García and Wolf Hamiltonian
Before outlining our RG construction, we review some of the important features of the Hamiltonian from refs. 14, 15 used to prove the undecidability of the spectral gap. The Hamiltonian can be written as:
where \({H}_{d}\in {{{{{{{\mathcal{B}}}}}}}}({{{{{{{{\mathcal{H}}}}}}}}}_{d})\) is a Hamiltonian with a dense spectrum and zero groundstate energy, \({H}_{trivial}\in {{{{{{{\mathcal{B}}}}}}}}({{{{{{{{\mathcal{H}}}}}}}}}_{3})\) is a trivial Hamiltonian also with zero groundstate energy. \({H}_{guard}\in {{{{{{{\mathcal{B}}}}}}}}({{{{{{{{\mathcal{H}}}}}}}}}_{u}\otimes {{{{{{{{\mathcal{H}}}}}}}}}_{d}\otimes {{{{{{{{\mathcal{H}}}}}}}}}_{3})\) applies a large energetic penalty to states which have support on both \({{{{{{{{\mathcal{H}}}}}}}}}_{u}\otimes {{{{{{{{\mathcal{H}}}}}}}}}_{d}\) and \({{{{{{{{\mathcal{H}}}}}}}}}_{3}\). All of the undecidable physics is then contained in the part of the Hamiltonian \({H}_{u}(\varphi )\in {{{{{{{\mathcal{B}}}}}}}}({{{{{{{{\mathcal{H}}}}}}}}}_{u})\), and it is the groundstate energy of this Hamiltonian H_{u} which determines whether the overall Hamiltonian is gapped or gapless.
History states
To understand the structure of the H_{u}(φ) ground state, we must first review how computation can be encoded in Hamiltonians and their ground states using history states. A quantum Turing Machine (QTM) is a model of quantum computation based on classical Turing Machines (TMs). Much like a classical Turing Machine, a QTM consists of a tape split up into cells, such that the cell is either empty or contains a symbol from an allowed set. The QTM also has a control head which moves along the tape. The head updates the tape at each time step depending on its internal state and the symbol currently written on the tape. The significant difference with respect to a classical TM is that the head and tape of a QTM can be in a superposition of states. The updates to the QTM and tape configuration are then described by a transition unitary, U, such that the overall state of the QTM updates as \(\left\psi \right\rangle \to U\left\psi \right\rangle\) at each time step.
Given a particular QTM, using a construction of Gottesman and Irani^{17}, it is possible to encode the evolution of the QTM in the ground state of a specially constructed 1D nearest neighbour, translationally invariant Hamiltonian. In particular, the ground state is known as a history state and it encodes T steps of the QTM computation. Here T is a predefined and fixed function of the Hamiltonian’s chain length determined by the particular QTMtoHamiltonian mapping. If the state of the QTM and its tape at time t is \(\left{\psi }_{t}\right\rangle\), then the history state is
For the QTMtoHamiltonian mapping we are interested in, T is an increasing function of the history state length, T = T(L) = Ω(2^{L}). Thus, longerlength history states encode more computational time steps.
The ground state of H _{u}(φ)
The local Hilbert space which H_{u}(φ) acts on can further be decomposed into a “classical” and “quantum” part: \({{{{{{{{\mathcal{H}}}}}}}}}_{u}={({{{{{{{{\mathcal{H}}}}}}}}}_{c})}^{\otimes \Lambda (L)}\otimes {({{{{{{{{\mathcal{H}}}}}}}}}_{q})}^{\otimes \Lambda (L)}\). In particular, H_{u}(φ) can be thought of as acting classically on states in \({{{{{{{{\mathcal{H}}}}}}}}}_{c}\). Furthermore, H_{u}(φ) has the useful property that all its eigenstates are product states across these two parts of the Hilbert space. In particular, the ground state can be written as \({\leftT\right\rangle }_{c}\otimes {\left{\psi }_{0}\right\rangle }_{q}\) where \({\leftT\right\rangle }_{c}\in {({{{{{{{{\mathcal{H}}}}}}}}}_{c})}^{\otimes \Lambda (L)}\) and \({\left\psi \right\rangle }_{q}\in {({{{{{{{{\mathcal{H}}}}}}}}}_{q})}^{\otimes \Lambda (L)}\).
H_{u}(φ) is designed so that \({\leftT\right\rangle }_{c}\) is the ground state of a classical Hamiltonian based on socalled Robinson tiles. That is, the local basis states in this part of the Hilbert space correspond to particular types of square tiles with markings on them, and the Hamiltonian enforces certain configurations of these tiles to be energetically penalised. Thus \({\leftT\right\rangle }_{c}\) corresponds to a nonpenalised pattern of Robinson tiles. This pattern has a selfsimilar structure of nested squares of increasing size, with side length \({4}^{n}+1,n\in {\mathbb{N}}\)^{18} (see Fig. 1 for a diagram). \({\left{\psi }_{0}\right\rangle }_{q}\) is coupled to \({\leftT\right\rangle }_{c}\) such that 1D history states (of the type described in Eq. (2)) appear along the top edge of every square in the pattern. Thus for every \(n\in {\mathbb{N}}\), 1D history states of length \({4}^{n}+1,\,n\in {\mathbb{N}}\), appear periodically across the lattice. Everywhere else in the lattice is in a trivial “filler” state which has zero energy.
The history states are designed to encode a QTM M which takes input \(\varphi \in {\mathbb{Q}}\) in binary (where φ is the input parameter to the Hamiltonian), and then either halts or does not halt within the allotted time. By introducing an additional local penalty term to the Hamiltonian, the individual history states encoding a halting computation receive an energy penalty, and so the ground state of the whole lattice in the halting case picks up a positive energy contribution scaling as Ω(L^{2}). Conversely, in the nonhalting case, the ground state of H_{u} has energy going as −Ω(L). The overall ground state of the overall Hamiltonian H(φ) is then either the zero energy ground state of H_{trivial} in the halting case, or the ground state of H_{u}(φ) in the nonhalting case. In the halting case the groundstate energy scales as λ_{0}(H_{u}(φ)) = Ω(L^{2}), hence H_{u}(φ) has a higher groundstate energy than H_{trivial} and so the zero energy ground state of H_{trivial} is the overall ground state. Otherwise, λ_{0}(H_{u}(φ)) = −Ω(L) and we see that the overall ground state is that of H_{u}(φ). In the halting case, refs. 14, 15 show that H(φ) is gapped, and in the nonhalting case H(φ) is gapless.
The key point for our purposes is that the overall behaviour of H(φ) is determined by the groundstate energy of H_{u}(φ). Since establishing whether a given universal Turing Machine halts is an undecidable problem^{19}, determining which ground state occurs, and thus whether the Hamiltonian is gapped or gapless, is undecidable.
The blockspin renormalisation group (BRG)
Our RG map is based on a blocking technique widely used in the literature to study spin systems, often called the Block Spin Renormalisation Group (BRG)^{20,21,22,23}. Note that this is also sometimes called the “quantum renormalisation group”, but we will not use this name to avoid potential confusion. Modifications and variations of this RG scheme have also been extensively studied^{24,25}.
The BRG is among the simplest RG schemes. The procedure works by grouping nearby spins together in a block, and then determining the associated energy levels and eigenstates of this block by diagonalisation. Having done this, highenergy (or otherwise unwanted) states are removed, resulting in a new Hamiltonian.
As an explicit example, we repeat the review of the RG process in ref. 21 for the 1D isotropic XYmodel defined below as:
We first group terms into blocks of 2:
where \({h}_{i}=\frac{J}{2}({X}_{i}{X}_{i+1}+{Y}_{i}{Y}_{i+1})+B{Z}_{i}+B{Z}_{i+1}\) now contains all terms acting within the two site blocks. Diagonalising h_{i} gives 4 states with energies \(\{{E}_{0}^{(1)},\,{E}_{1}^{(1)},\,{E}_{2}^{(1)},\,{E}_{3}^{(1)}\}\) in ascending order. We truncate the states associated with the two higher energies, and keep the lowest two which we label as \({\left0\right\rangle }^{(1)},{\left1\right\rangle }^{(1)}\) with energies \({E}_{0}^{(1)},\,{E}_{1}^{(1)}\), respectively. We now replace this operator with a new operator, acting on a single blockspin site with the form
The betweenblock interaction now needs to be determined: to replicate this, we use X = ξ^{(1)}X^{(1)}, where ξ^{(1)} can be determined by looking at the matrix elements under the new renormalised block basis, i.e., \({\left\langle 0\right}^{(1)}X{\left1\right\rangle }^{(1)}={\xi }^{(1)}{\left\langle 0\right}^{(1)}{X}^{(1)}{\left1\right\rangle }^{(1)}\). The two new twolocal terms acting on the block spins are then:
where J^{(1)} = ξ^{(1)2}J. By introducing an extra term depending on the identity, we find a renormalised Hamiltonian:
where \({C}^{(1)}=({E}_{0}^{(1)}+{E}_{1}^{(1)})/2\). After n iterations of the RG mapping, we have a Hamiltonian
where the constants are defined by the same procedure: J^{(n)} = ξ^{(n)2}J^{(n−1)}, \({B}^{(n)}={B}^{(n1)}+({E}_{0}^{(n)}{E}_{1}^{(n)})/2\), \({C}^{(n)}={C}^{(n1)}+({E}_{0}^{(n)}+{E}_{1}^{(n)})/2\).
Our RG scheme
We now want to construct an RG scheme for H(φ) which preserves the relevant physical properties. Most notably, whether the Hamiltonian is gapped or gapless. We will show that in order to preserve the lowenergy properties of this Hamiltonian, we can reduce the analysis to finding RG schemes for each of the Hamiltonians in Eq. (1). Welldefined RG schemes exist for H_{d}, H_{trivial}, H_{guard} which preserve their gaps and groundstate energies, hence the remaining task is finding an RG scheme for H_{u}(φ). In particular, we develop an RG scheme which maps the following:
allowing us to break the problem of finding an overall RG scheme into finding one for each individual Hamiltonian.
To retain the properties of the overall Hamiltonian, the RG scheme must maintain the groundstate energy density of H_{u}(φ) in both the halting and nonhalting cases. We will do this by: (a) preserving the overall selfsimilar structure of the Robinson tiling and thus the pattern of the history states appearing in the ground state, (b) ensuring that the energy contribution of each individual history states is preserved. Since the history states give the only nontrivial energy contribution to the groundstate energy of H_{u}(φ), then this is sufficient for our purposes.
The RG scheme for H _{u}(φ)
In order to develop an RG scheme for H_{u}(φ), we remark that its eigenstates are product states across \({({{{{{{{{\mathcal{H}}}}}}}}}_{c})}^{\otimes \Lambda (L)}\otimes {({{{{{{{{\mathcal{H}}}}}}}}}_{q})}^{\otimes \Lambda (L)}\). This allows us to split our RG scheme up further into one part that renormalises the classical space \({({{{{{{{{\mathcal{H}}}}}}}}}_{c})}^{\otimes \Lambda (L)}\) and another for the quantum space \({({{{{{{{{\mathcal{H}}}}}}}}}_{q})}^{\otimes \Lambda (L)}\) (a rigorous justification of this is given in Section E of the Supplementary Information). As with the BRG, both schemes consist of a blocking and truncation procedure. We give a flow diagram of the proof in Fig. 2.
The blocking procedure
The RG scheme proceeds by splitting the lattice into disjoint 2 × 2 square blocks. The basis states of the individual lattice sites within a 2 × 2 block are then combined into a single site on a new lattice, such that if the initial local Hilbert space dimension was d, then the new lattice sites have local Hilbert space dimension d^{4}. Having obtained a new reduced lattice of size L/2 × L/2, we now wish to reduce the size of the local basis to only include basis states which contribute to lowenergy states.
Truncating the classical space
Since the basis states in the classical part of the Hilbert space are represented by Robinson tiles, the new renormalisedbasis states correspond to all possible combinations of these tiles on a 2 × 2 block: we call these “supertiles”. However, a subset of these bigger tiles can be shown to either have high energy with respect to the previous Hamiltonian or will be removed at later stages of the RG process. Thus removing these supertiles will only remove local basis states which do not contribute to the lowenergy states of the renormalised Hamiltonian. It turns out that each new state in the renormalised basis can be identified in a onetoone manner with a state in the unrenormalised basis, such that the Hamiltonian is of the same form. Thus, the ground state of the new renormalised Hamiltonian on the classical part of the Hilbert space will not only be selfsimilar but will generate the same Robinson pattern as the unrenormalised ground state. A detailed analysis of the RG scheme for this part of the Hamiltonian is given in Section C of the Supplementary Information.
Truncating the quantum space
Finally, we consider the effect of the blocking procedure on the history state, combining pairs of cells on the Turing Machine tape. After kiterations of the blocking, a single new basis state will contain 2^{k} Turing Machine tape cells on a single lattice site, where at each iteration, it is possible to further remove some of the states which we know must have high energy. For example, there exist sets of states which are a priori known to be energetically penalised, e.g., states corresponding to Turing Machine configurations with two heads next to each other. Such states are known to not contribute to the ground state, thus they can be removed from the local Hilbert space in the truncation procedure. We are also able to discard some states which are guaranteed to evolve into one of these disallowed states. Furthermore, after iterating the RG procedure multiple times, there will be entire history states localised to a single renormalisedbasis state. We can then integrate these out. More details are given in Section D of the Supplementary Information.
Energy contribution of the integrated out states
We have glossed over some details in the previous section. In particular, what happens to the energy contributions from the history states which are integrated out?
When the RG mapping has been applied k times, such that 2^{k} ≥ 4^{n} + 1, then we know that a full history state which would appear in the ground state of H(φ) is now formed from a superposition of basis states on a single site. By diagonalising the onsite Hamiltonian, we see that it now forms the lowest energy state of the local Hilbert space. As discussed earlier, in the halting case, this history state will pick up some positive energy, which is known explicitly as per ref. 26, and in the nonhalting case it has exactly zero energy. In order to preserve the groundstate energy of the overall Hamiltonian, when integrating out the local basis states, we take the energy contribution of the history state and add it to a local projector term. This has the effect of introducing a local energy shift which preserves the overall energy. This is equivalent to introducing the term \({C}^{(n)}{{\mathbb{1}}}_{i}\) in the BRG procedure as per Eq. (9). See Supplementary Information E.1 and E.2 for more details.
This introduces a 1local term in H_{u}(φ) which has the form \({\tau }_{2}(k){{\mathbb{1}}}_{i}\) acting on each lattice site i where, if the encoded TM is nonhalting on input φ, then τ_{2}(k) = − 2^{−k} ∀ k. If the TM halts on input φ then:
Here, k_{h}(φ) is defined as the following: let \({L}_{h}\in {\{{4}^{n}+1\}}_{n\in {\mathbb{N}}}\) be the smallestlength history state for which the TM M halts when running on input φ, then k_{h} is the smallest integer satisfying \({2}^{{k}_{h}(\varphi )} > {L}_{h}(\varphi )\). The behaviour of τ_{2}(k) is fully discussed in Supplementary Information E.7.
We see that after kiterations, the Hamiltonian R^{(k)}(H_{u}(φ)) has groundstate energy which scales as
A crucial feature is that every step of the RG process is explicitly computable: it is simply a case of blocking together four sites, determining the renormalisedbasis states, and removing subsets of local basis states which do not contribute to the lowenergy subspace. Even determining whether a given history state contains a halting computation or not can be done by examining the legitimate evolution encoded within the history state, finding whether that halts or not, and then integrating out its energy contribution appropriately. The time taken is a function of the number of local basis states on each site which is upper bounded by O(d^{4k}). Thus each step of the RG procedure is computable, as claimed in point 1 of Theorem 1.
The RG trajectory
As per Eq. (11), we see that the Hamiltonian has a coefficient which is exactly −2^{k} in the case the encoded TM does not halt. However, in the halting case, τ_{2}(k) begins to change behaviour as soon as the number of spins that have been blocked together is larger than the length of the history state needed to encode a halting computation. Thus, the k for which τ_{2}(k) changes behaviour depends on the length when the Turing Machine first halts, and hence on the time step at which the Turing Machine halts. However, as we pointed out before, this quantity is undecidable in general, and thus determining whether τ_{2}(k) eventually becomes positive is itself uncomputable.
Furthermore, there are two fixed points associated with the RG flow. One occurs for τ(k) = −2^{k} which corresponds to a gapless Hamiltonian, and the other for \(\tau (k)\to {2}^{k}+\Omega ({4}^{k{k}_{h}(\varphi )})\), which corresponds to a gapped Hamiltonian. Since distinguishing between these two cases is undecidable, our argument immediately yields that:
Corollary 2 Determining whether the Hamiltonian flows to the gapped or gapless fixed point under this RG scheme is undecidable.
Indeed, the Hamiltonian from ref. 14 has two very different fixed points: one which at low energies roughly corresponds to a 2D Ising model and another which corresponds to a critical, gapless XYmodel (further discussion in Section G of the Supplementary Information).
Thus, we have constructed an RG scheme for the Hamiltonian H(φ) which is computable at every step, but the overall trajectory and endpoint is uncomputable.
Discussion
In this work, we have shown that a qualitatively new type of RG flow occurs in manybody Hamiltonians with undecidable spectral gap. Specifically, we give an explicit construction and analysis a blockspin RG procedure for the Hamiltonian of ref. 14 which we are able to study analytically and prove that it has the following features: (i) the RG map is computable at each renormalisation step; (ii) the RG map preserves whether the Hamiltonian is gapped or gapless; (iii) the Hamiltonian is guaranteed to converge to one of two fixed points under the RG flow; (iv) the behaviour of the Hamiltonian under the RG mapping, the trajectory of the RG flow and which fixed point it converges to are all uncomputable.
We show that under this RG construction, the Hamiltonian flows toward one of two RG fixed points: either a gapped Isinglike Hamiltonian or a gapless critical XYlike Hamiltonian. Furthermore, the parameters characterising the Hamiltonian have a trajectory depending on the halting time of the Turing Machine encoded within the Hamiltonian. Since the Halting Problem is undecidable and the halting time uncomputable, the trajectory of the Hamiltonian under the RG flow—and therefore which fixed point it ultimately converges to—are uncomputable, even if the parameters of the initial Hamiltonian are known exactly.
This is a qualitatively new and more extreme form of unpredictability that goes beyond even chaotic RG flows which have been previously studied. The unpredictability of chaotic systems arises from the fact that even a tiny difference in the initial system parameters—which in practice may not known exactly—can eventually lead to exponentially diverging trajectories (see Fig. 3). However, the more precisely the initial parameters are known, the longer it is possible to accurately predict the trajectory of a chaotic process, and if the system parameters were known exactly, then in principle it becomes possible to determine the longtime behaviour of the RG flow. The RG flow behaviour exhibited in this work is more intractable still. Even if we know the exact initial values of all system parameters, its RG trajectory and the fixed point it ultimately ends up at is provably impossible to predict. Moreover, no matter how close two sets of initial parameters are, it is impossible to predict how long their trajectories will remain close together before abruptly diverging to different fixed points that correspond to separate phases (see Fig. 3). Thus, the structure of the RG flow— e.g., the basins of attraction of the fixed points—is so complex that it cannot be computed or approximated, even in principle. We note that a similar form of unpredictability has previously been seen in classical singleparticle dynamics, in seminal work by Moore^{27,28,29}, while our result shows for the first time that this extreme form of unpredictability can occur in RG flows of manybody systems.
Despite the somewhat artificial Hamiltonian considered here, we expect the behaviour of the RG scheme here to be generic, in the following sense. For any welldefined, computable RG scheme for Hamiltonians with undecidable macroscopic properties, we expect that at least one coefficient of a relevant operator should have an uncomputable trajectory. The reasoning is straightforward: the welldefinedness and computability of the RG flow implies that, at each step of the RG process, we would be able to find each parameter characterising the Hamiltonian after each iteration. However, when the macroscopic properties of the Hamiltonian are undecidable, we expect determining which fixed point it flows towards to be an undecidable problem. For there to be no contradiction between these two statements, the parameters of the Hamiltonian must flow in an uncomputable manner (otherwise, the entire flow is computable and we reach a contradiction). As such, the uncomputable behaviour observed in the RG scheme here must occur for any RG scheme one can construct for Hamiltonians whose macroscopic properties are uncomputable from its microscopic description (note that ref. 16 has shown that such Hamiltonians can constitute a nonzeromeasure subset of a phase diagram, so do not require arbitrarily precisely tuned parameters).
Often RG flows are characterised by a set of continuous differential equations. By the nature of having a discretised lattice and a real space RG procedure, it is not natural to consider continuous variation of the parameters in terms of differential equations^{30}. Rather, the RG relations in this setting are expressed in terms of finite difference equations, e.g., for a Hamiltonian characterised by a set of parameters \({\{{\alpha }_{i}\}}_{i}\), such that after the k^{th} RG iteration the coefficients are denoted \({\{{\alpha }_{i}(k)\}}_{i}\), then:
In the case of the uncomputable RG flows exhibited here, \({f}_{i}(k,\, {\{{\alpha }_{j}\}}_{j})\) will be some function whose behaviour is uncomputable as we iterate k and the coefficients \({\{{\alpha }_{j}\}}_{j}\). In the case of τ_{2}(k) for the blockspin RG scheme, we have constructed in this work, f depends on whether a given TM halts after a time depending on k. For RG flows characterised by continuous differential equations, we expect there should exist RG schemes with uncomputable behaviour that satisfy analogous differential equations: \(\partial {\alpha }_{i}/\partial k={f}_{i}(k,\, {\{{\alpha }_{j}(k1)\}}_{j})\), where f is again an uncomputable function. In the continuous case, one would expect similar behaviour to that observed here: a particular parameter travels along a welldefined trajectory, but at some uncomputable point abruptly changes its behaviour and diverges from its previous trajectory.
Naturally, there are limitations on the generality of the conclusions that can be drawn from this work in the sense that the Hamiltonian discussed in this work is highly artificial and the RG scheme reflects this. Indeed, this Hamiltonian has an enormous local Hilbert space dimension and its matrix elements are highly artificially tuned. Both of these factors are unlikely to be present in naturally occurring Hamiltonians. A step towards overcoming this limitation was taken in ref. 16, where it was shown that Hamiltonians with uncomputable properties can occupy a nonzeromeasure set of the phase diagram, thus do not depend on arbitrarily precise parameter tuning. As the Hamiltonians in that work are a development of the Cubitt–Pérez–García–Wolf Hamiltonian we have studied here, we expect our results will can readily be extended to this case (and indeed to the Hamiltonian in ref. 31 which also displays undecidable properties). However, the Hamiltonians remain highly artificial. Thus an obvious route for further work is to look for more natural Hamiltonians displaying undecidable behaviour and consider RG schemes to renormalise them.
Furthermore, although the RG scheme is essentially a simple BRG scheme, the details of our construction and analysis rely on knowledge of the structure of the ground states. Due to the behaviour of this undecidable model, any BRG scheme will have to exhibit similar behaviour to the one we have analysed rigorously here. But it would be of interest to find a simpler RG scheme for this Hamiltonian (or other Hamiltonians with undecidable properties) which is able to truncate the local Hilbert space to a greater degree, without using explicit a priori knowledge of the ground state, whose behaviour can still be analysed rigorously.
It is also worth noting that the Hamiltonian and RG schemes constructed here could also be used to prove rigorous results for chaotic (but still computable) RG flows. Indeed, if we modify the Hamiltonian H(φ) so that instead of running a universal Turing Machine on input φ, it carries out a computation of a (classical) chaotic process (e.g., repeated application of the logistical map), then two inputs which are initially very close may diverge to completely different outputs after some time. By penalising this output qubit appropriately, the Hamiltonian will still flow to either the gapped or gapless fixed point depending on the outcome of the chaotic process under our RG map, but the RG flow will exhibit chaotic rather than uncomputable dynamics.
Data availability
Data sharing not applicable to this article as no datasets were generated or analysed during this study.
Code availability
An accompanying Mathematica notebook is available at https://gitlab.com/ucl_cs_quantum/RG_flows_uncomputability.
References
Wilson, K. G. Renormalization group and critical phenomena. i. renormalization group and the Kadanoff scaling picture. Phys. Rev. B 4, 3174–3183 (1971).
Wilson, K. G. & Kogut, J. The renormalization group and the ε expansion. Phys. Rep. 12, 75 – 199 (1974).
Stueckelberg de Breidenbach, E. C. G. & Petermann, A. La normalisation des constantes dans la théorie des quantaNormalization of constants in the quanta theory. Helv. Phys. Acta 26, 499–520 (1953).
GellMann, M. & Low, F. E. Quantum electrodynamics at small distances. Phys. Rev. 95, 1300–1312 (1954).
Kadanoff, L. P. Scaling laws for Ising models near T_{c}. Phys. Physique Fizika 2, 263–272 (1966).
McKay, S. R., Berker, A. N. & Kirkpatrick, S. Spinglass behavior in frustrated Ising models with chaotic renormalizationgroup trajectories. Phys. Rev. Lett. 48, 767–770 (1982).
Svrakic, N. M., Kertesz, J. & Selke, W. Hierarchical lattice with competing interactions: an example of a nonlinear map. J. Phys. A: Math. General 15, L427–L432 (1982).
Derrida, B., Eckmann, J.P. & Erzan, A. Renormalisation groups with periodic and aperiodic orbits. J. Phys. A: Math. General 16, 893 (1999).
Damgaard, P. H. & Thorleifsson, G. Chaotic renormalizationgroup trajectories. Phys. Rev. A 44, 2738–2741 (1991).
Morozov, A. & Niemi, A. J. Can renormalization group flow end in a big mess? Nucl. Phys. B 666, 311–336 (2003).
Grassberger, P. & Procaccia, I. Measuring the strangeness of strange attractors. Physica D: Nonlinear Phenomena 9, 189–208 (1983).
Eckmann, J.P. & Ruelle, D. Ergodic theory of chaos and strange attractors. Rev. Mod. Phys. 57, 617–656 (1985).
Shenker, S. H. & Stanford, D. Black holes and the butterfly effect. J. High Energy Phys. 2014, 1–25 (2014).
Cubitt, T. S., PérezGarcía, D. & Wolf, M. M. Undecidability of the spectral gap. Forum Math. Pi 10, e14 (2022).
Cubitt, T. S., PérezGarcía, D. & Wolf, M. M. Undecidability of the spectral gap. Nature 528, 207–211 (2015).
Bausch, J., Cubitt, T. S. & Watson, J. D. Uncomputability of phase diagrams. Nat. Commun. 12, 452–459 (2021).
Gottesman, D. & Irani, S. The quantum and classical complexity of translationally invariant tiling and Hamiltonian problems. In Foundations of Computer Science, 2009. FOCS’09. 50th Annual IEEE Symposium on, 95–104 (IEEE, 2009).
Robinson, R. M. Undecidability and nonperiodicity for tilings of the plane. Inventiones Mathematicae 12, 177–209 (1971).
Turing, A. M. On computable numbers, with an application to the Entscheidungsproblem. Proc. London Math. Soc. s242, 230–265 (1937).
Jullien, R., Pfeuty, P., Fields, J. N. & Doniach, S. Zerotemperature renormalization method for quantum systems. i. Ising model in a transverse field in one dimension. Phys. Rev. B 18, 3568–3578 (1978).
Jullien, R. & Pfeuty, P. Zerotemperature renormalizationgroup method for quantum systems. ii. isotropic x − y model in a transverse field in one dimension. Phys. Rev. B 19, 4646–4652 (1979).
Penson, K. A., Jullien, R. & Pfeuty, P. Zerotemperature renormalizationgroup method for quantum systems. v. frustration in two dimensions. Phys. Rev. B 25, 1837–1847 (1982).
Bhattacharyya, B. & Sil, S. The Hubbard model with bondcharge interaction on a triangular lattice: a renormalization group study. J. Phys.: Condensed Matter 11, 3513–3523 (1999).
MartínDelgado, M. A. & Sierra, G. Real space renormalization group methods and quantum groups. Phys. Rev. Lett. 76, 1146–1149 (1996).
Wang, J., Kais, S. & Levine, R. Realspace renormalization group study of the Hubbard model on a nonbipartite lattice. International Journal of Molecular Sciences 3, 4–16 (2002).
Watson, J. D. Detailed analysis of circuittoHamiltonian mappings. Preprint at https://arxiv.org/abs/1910.01481 (2019).
Moore, C. Unpredictability and undecidability in dynamical systems. Phys. Rev. Lett. 64, 2354–2357 (1990).
Moore, C. Generalized shifts: unpredictability and undecidability in dynamical systems. Nonlinearity 4, 199–230 (1991).
Bennett, C. H. Undecidable dynamics. Nature 346, 606–607 (1990).
Kardar, M. Statistical Physics of Fields (Cambridge University Press, 2013).
Bausch, J., Cubitt, T. S., Lucia, A. & PérezGarcía, D. Undecidability of the spectral gap in one dimension. Phys. Rev. X 10, 031038 (2020).
Acknowledgements
E.O. and T.S.C. are supported by the Royal Society. J.D.W. is supported by the EPSRC Centre for Doctoral Training in Delivering Quantum Technologies (grant EP/L015242/1). This work has been supported in part by the EPSRC Prosperity Partnership in Quantum Software for Simulation and Modelling (grant EP/S005021/1), and by the UK Hub in Quantum Computing and Simulation, part of the UK National Quantum Technologies Programme with funding from UKRI EPSRC (grant EP/T001062/1).
Author information
Authors and Affiliations
Contributions
J.D.W., E.O. and T.S.C. all contributed significantly to the ideas, technical approaches and proofs in this work. All authors contributed to drafting, revising and writing the paper.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Peer review
Peer review information
Nature Communications thanks the other, anonymous, reviewer(s) for their contribution to the peer review of this work. Peer reviewer reports are available.
Additional information
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
Watson, J.D., Onorati, E. & Cubitt, T.S. Uncomputably complex renormalisation group flows. Nat Commun 13, 7618 (2022). https://doi.org/10.1038/s41467022351794
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41467022351794
This article is cited by

Undecidable problems in quantum field theory
International Journal of Theoretical Physics (2023)
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.