## Abstract

Quasiperiodic systems are aperiodic but deterministic, so their critical behavior differs from that of clean systems and disordered ones as well. Quasiperiodic criticality was previously understood only in the special limit where the couplings follow discrete quasiperiodic sequences. Here we consider generic quasiperiodic modulations; we find, remarkably, that for a wide class of spin chains, generic quasiperiodic modulations flow to discrete sequences under a real-space renormalization-group transformation. These discrete sequences are therefore fixed points of a functional renormalization group. This observation allows for an asymptotically exact treatment of the critical points. We use this approach to analyze the quasiperiodic Heisenberg, Ising, and Potts spin chains, as well as a phenomenological model for the quasiperiodic many-body localization transition.

## Introduction

Quenched randomness has dramatic effects on the thermodynamics and response of one-dimensional quantum systems. Infinitesimal randomness can completely change the critical properties of quantum phase transitions, if the correlation length exponent *ν* violates the Harris criterion *ν* > 2^{1}. This stability criterion follows from requiring that the average detuning *δ* = *g* − *g*_{c} away from criticality be much larger than the detuning fluctuations due to randomness, ~*ξ*^{−1/2}, with *ξ* ~ *δ*^{−ν} the correlation length. For a wide variety of models of quantum magnetism, the resulting random critical points are of the infinite-randomness type, for which asymptotically exact renormalization-group (RG) methods exist^{2,3,4,5}. Many properties of these critical points can be understood by central-limiting arguments that rely on the uncorrelated nature of the disorder potential. Such infinite-randomness fixed points also seem to exist in two dimensions^{6}.

Many systems of current interest—such as quasicrystals^{7,8,9}, twisted bilayer graphene^{10,11,12}, and cold atoms in bichromatic laser potentials^{13,14,15,16,17}—are inhomogeneous, but with quasiperiodic rather than random modulation of the couplings. Quasiperiodic patterns are deterministic and have long-range spatial correlations: thus the central-limiting arguments that describe random critical points fail in the quasiperiodic case. Clean critical points are more stable to quasiperiodic than to random potentials: the most general stability criterion, due to Luck, is *ν* ≥ 1 (in one dimension)^{18}. This generalizes the Harris criterion to the case where fluctuations of quasiperiodic potentials cause ~1/*L* shifts to the detuning over a distance *L* (in the case of zero wandering constant), instead of the central-limiting behavior ~\(1\!/\!\sqrt L\) of the random case. The Heisenberg and Potts models violate even this weaker criterion, so when their couplings are quasiperiodically modulated they flow to a critical point dominated by the modulation. The study of such quasiperiodic quantum critical points is in its infancy. Unlike random couplings, which are typically drawn independently from some distribution, quasiperiodic couplings vary as some periodic function *f*(*x*) of space; we do not yet understand which properties of quasiperiodic critical points depend on the nature of this function but it is clear from single-particle hopping problems that smooth, sharp, and singular variation give rise to different phases and critical points. RG methods so far have been restricted to the simplest type of function, a binary substitution sequence^{19,20,21,22,23,24,25,26,27}. Criticality for generic quasiperiodic modulation has only been addressed very recently for free fermions^{28,29,30,31}.

The central result of this work is that, for a wide class of models, generic quasiperiodic modulations flow under renormalization to discrete substitution sequences. These sequences are attractors in the space of quasiperiodic modulations, i.e., fixed points of a functional RG. As generic patterns flow to substitution sequences, for which asymptotically exact real-space RG schemes exist, we can construct asymptotically exact descriptions of generic quasiperiodic quantum critical points, and describe many of their properties (such as critical exponents) analytically. In what follows, we explain why (and under what conditions) substitution sequences are attractors, using the illustrative example of the Heisenberg spin chain; we then extend our analysis to the Ising and Potts models, and finally to a toy model of the many-body localization (MBL) transition^{32,33}.

## Results

### Quasiperiodic Heisenberg chain

Although our results are very general and apply to a variety of one-dimensional systems, for concreteness we will illustrate the approach on a paradigmatic example of quantum magnetism: the antiferromagnetic spin-\(\frac{1}{2}\) Heisenberg spin chain

with *J*_{i} > 0. In the clean case *J*_{i} = *J*, this spin chain is gapless and is described at low energy by a *SU*(2) symmetric Luttinger liquid with Luttinger parameter \(g = \frac{1}{2}\). Disorder in the *J*_{i} couplings is a relevant perturbation^{34} that leads to a quantum critical random-singlet state^{2}. In the random case, the low-energy physics can be captured by a strong disorder real-space RG with the following iterative procedure^{35,36}: one identifies the strongest remaining coupling *J*_{i}, forms a singlet out of the spins *i*, *i* + 1 and generates a new effective coupling \(J_{{\mathrm{e}}ff} = \frac{{J_{i - 1}J_{i + 1}}}{{2J_i}}\)—at second order in perturbation theory—between spins *i* − 1 and *i* + 2. This procedure is accurate so long as *J*_{i} ≫ *J*_{i−1}, *J*_{i+1}; in the random case, the ratio of neighboring couplings flows to infinity, so the procedure is asymptotically exact^{3}.

Here we are interested instead in quasiperiodic modulations of the couplings, with *J*_{i} = *f*(*i*) with *f*(*x*) = *f*(*x* + *φ*^{−1}) for irrational *φ* [in the bulk of this text we take \(\varphi = \frac{{1 \, + \, \sqrt 5 }}{2}\)] (see, e.g., refs. ^{37,38,39}). We take *f* > 0 to be a general smooth function with a smooth logarithm. To understand whether this perturbation is relevant at the Heisenberg critical point we recall that the Heisenberg chain is a critical point separating two inequivalent dimerized phases, which occur when the even and odd bonds have different strengths. The correlation length exponent for the dimerization transition is *ν* = 2/3 < 1; thus, weak quasiperiodicity is relevant^{23,40,41} by the Harris–Luck criterion^{18} and the system flows to a quasiperiodicity-dominated fixed point.

*Flow to discrete sequences*. We now apply the standard real-space decimation procedure (described above for the random case) to this quasiperiodic model. It is convenient to write the decimation rule as

where we have defined \(\ell _j = - {\mathrm{ln}}\;J_j\), *c* = ln2 (for the Heisenberg model), and \(\ell _i = {\mathrm{min}}\{ {\ell _j} \}\). We will be interested in other values of *c* below, in the context of the Potts model, so we will treat it as a parameter. For simplicity, we consider the following quasiperiodic potential

with *φ* the golden ratio, *θ* is a random phase, and *a* is an arbitrary constant. However, we emphasize that our conclusions also hold for any sufficiently regular quasiperiodic potential with frequency *φ* (see Supplementary Note 1.C of the Supplementary Discussion).

Many properties of the decimation procedure can be understood analytically. It is helpful to introduce the notion of a local minimum, i.e., a site *j* such that \(\ell _j\, <\, {\mathrm{min}}( {\ell _{j - 1},\ell _{j + 1}})\). Any such coupling will get decimated before its neighbors, so we can decimate them all at once. It is crucial to note that, if we label minima as *B* and all other sites as *A*, we will arrive at a two-letter Fibonacci sequence defined by the inflation rule *A* → *AB*, *B* → *A* (this can be checked by inspection, see Supplementary Note 1.A,B of the Supplementary Discussion for a formal proof). This implies that the first couplings to be decimated already follow a Fibonacci sequence. With this crucial observation in mind, we denote the set of minima as *B*_{0} and the set of all other couplings as *A*_{0}. We now decimate all the *B*_{0} couplings—we call this a Fibonacci RG step. This gives rise to a new Fibonacci sequence: once again, we can identify the local minima, denote them *B*_{1}, decimate them, and so on. This allows us to keep track of the renormalized couplings analytically. Remarkably, after a few steps, we find that all the *A*(*i*) and *B*(*i*) at a given step become increasingly similar in magnitude. Specifically, after *m* Fibonacci RG steps, we find the effective couplings (see Supplementary Note 1.B of the Supplementary Discussion)

where *F*_{n} is the *n*^{th} Fibonacci number and \(\epsilon _{i,m}^{A,B}\) are site-dependent fluctuations that go to 0 exponentially as *m* → ∞. With each Fibonacci step, the fluctuations get smaller and we obtain a sharper sequence that asymptotically becomes a perfect binary Fibonacci sequence. Even if the fluctuations are non-negligible in the initial steps of the RG, they are small enough for us to decimate all *B* couplings at once (Fig. 1). This means that the complicated initial potential (3) flows under RG to a perfect binary Fibonacci sequence. Moreover, we have *A*_{m} − B_{m} = *mc* + *o*(1) as *m* → ∞, which indicates that the decimation rule (2) given by second-order perturbation theory becomes asymptotically exact as *m* → ∞, as in the random case. In contrast with the random case, where the fixed point is specified by a probability distribution of couplings, in the quasiperiodic case the fixed point Hamiltonian is specified by a specific, self-similar sequence of couplings: any sufficiently regular function *f*(*x*) = *f*(*x* + *φ*^{−1}) flows to a binary piecewise function, which is invariant (up to rescaling) under the RG.

We remark that although this flow to nearly discrete sequences is a general property of the RG rules, and occurs for any irrational number, the self-similarity of these discrete sequences is a special property of the Golden Ratio and other irrational numbers with recurring continued fraction expansions, such as the metallic means 1/(*n* + 1/(*n* + …)) (the Golden Ratio is the case *n* = 1). For more general irrational numbers, the sequences do not repeat under the RG: instead, each level of the RG is governed by the coefficient of the continued fraction expansion at the corresponding level^{21,28,42,43}.

### Quantum critical behavior

The critical properties of the quasiperiodic chain (1) then follow straightforwardly from Eq. (4), in agreement with previous works on discrete aperiodic sequences. The new fixed point has dynamical exponent *z* = ∞: a chain of length *L* ~ *φ*^{3m} is fully decimated in *m* Fibonacci steps, so the energy gap Δ*E* of the chain is set by the last coupling to be decimated, logΔ*E* ~ −*m*^{2}*c*, so that \({\mathrm{\Delta }}E\sim e^{ - \frac{c}{{\left( {3\;{\mathrm{ln}}\;\varphi } \right)^2}}{\mathrm{ln}}^2L}\)^{25}, where we have used (4). The correlation length exponent *ν* can be calculated by introducing an asymmetry between even and odd couplings at the new critical point. Let us assume a perfect sequence of *A*_{0} and *B*_{0} which is dimerized such that \(A_0^E = A_0 + \delta /2,\;B_0^E = B_0 + \delta /2,\;A_0^O = A_0 - \delta /2,\;B_0^O = B_0 - \delta /2\). It is straightforward to check that if one constructs an effective bond made of *n* microscopic bonds, its coupling will have an additive piece ±*nδ*/2 where the sign depends on whether the effective bond is even or odd. Thus, after the RG is iterated out to a scale *L*, the effective couplings at that scale consist of *O*(*L*) microscopic couplings, so the asymmetry between the even and odd couplings is ~*δL*. The asymmetry thus becomes of order unity when *L* ~ 1/*δ* and it follows that *ν* = 1 (see Supplementary Note 1.D of the Supplementary Discussion).

### Quantum Potts model

We now turn to the *q*-state quantum Potts model, governed by the Hamiltonian

where *n*_{i} is a variable on site *i* that takes one of *q* possible values. To treat this model in the RG scheme, one formally rewrites it as a chain with twice the number of links, and assigns the variables *J*_{i} to even links and *h*_{i} to odd links. The decimation step^{44} then takes the same form as Eq. (2) with *c* = log(*q*/2). More precisely, decimating a strong field *h*_{i} leads to a new effective bond *J*_{eff} = 2*J*_{i−1}*J*_{i}/(*qh*_{i}) connecting neighboring spins, while decimating a strong bond *J*_{i} creates an effective spin acted on by am effective field *h*_{eff} = 2*h*_{i}*h*_{i+1}/(*qJ*_{i}). When *q* > 2, *c* > 0; thus, once again the RG flows to discrete sequences. The main distinction between the Potts and Heisenberg models lies in the choice of initial couplings: in the Heisenberg model, it was natural to draw all bonds from the same quasiperiodic sequence, whereas here it is natural to take the *h*_{i} and *J*_{i} from distinct quasiperiodic sequences with frequency *φ* but different phases: \(J_i = W_J( {a + {\mathrm{cos}}( {2\pi \varphi ( {i + \frac{1}{2}}) + \theta _J})})\) and *h*_{i} = *W*_{h}(*a* + cos(2*πφi* + *θ*_{n})) with *a* > 1. This introduces a separate variable to the problem, viz. the relative phase *θ* ≡ *θ*_{J} − *θ*_{h} between the sequences for *h*_{i} and *J*_{i}.

Numerically running the RG in this case leads to the following picture. When *θ* is close to the special values, we once again observe a flow to self-similar Fibonacci-like sequences. In that case, the results for the XXX spin chain carry over to Potts immediately—in particular, *ν* = 1. Other critical exponents can readily be computed analytically; e.g., we find that correlation function of the order parameter \(\sigma _i^{\left( a \right)} = \delta _{n_i,a} - q^{ - 1}\) with *a* a given Potts color, scales as (see Supplementary Note 1.E of the Supplementary Discussion)

However, for large *θ* we see abrupt transitions to different sequences. Thus, there appear to be multiple fixed-point sequences, with transitions between them occurring at special values of *θ*. These fixed points have different length-energy scaling: in all cases, \({\mathrm{\Delta }}E\sim e^{ - a\;{\mathrm{ln}}^2\;L}\), but *a* depends on *θ*. However, all of the fixed points agree on the exponent *ν* = 1 and on the spin–spin correlation function (6) (Fig. 2).

### Ising model

We briefly remark on the *q* = 2 Potts model, i.e., the Ising model. In this case, *c* = 0 in the decimation rule (2). Thus, the RG does not take arbitrary functions to sequences. Instead, nonsingular sequences of \(\ell\) are generically squashed under the RG and become effectively constant after a few steps. Remarkably, this corresponds to the observation that weak quasiperiodic modulations are (marginally) irrelevant at the clean Ising critical point. It is indeed known from free fermion numerics^{30,31} that the Ising transition in the presence of any such nonsingular quasiperiodic potentials is governed by the clean Ising conformal field theory, in agreement with the predictions of the RG. To see a nontrivial transition in this case, one must take singular distributions of \(\ell\); one can do this, e.g., by taking \({{J}_{i}} = {{W}_{J}} {( a + {\mathrm{cos}}{( {2 {\pi} {\varphi}} {( i + {\frac{1}{2}} + {{\theta} _{J}}))}})}\) and *h*_{i} = *W*_{h}(*a* + cos(2*πφi* + *θ*_{h})), with 0 < *a* < 1 so \(\ell _{2i} = - {\mathrm{ln}}| {J_i} |\), \(\ell _{2i + 1} = - {\mathrm{ln}}\left| {h_i} \right|\) is singular. For *a* > 1, quasiperiodic potentials flow to uniform ones under renormalization, indicating a transition in the clean Ising universality class. For *a* < 1 the critical dynamics is strongly modified, because the chain has a finite density of nearly broken links, corresponding to a flow to a quasiperiodic fixed point. This quantitatively reproduces the phase diagram obtained in refs. ^{30,31}. For *a* < 1, the RG does not lead to perfect sequences, and does not flow to “infinite quasiperiodicity” as the examples described above. This means that the perturbation theory steps do not become asymptotically exact under the RG. This is a physical feature of the transition, as it is known from numerics that it has a finite dynamical exponent^{30,31}. (This is similar to the random case where the strong disorder RG is exact only for infinite-randomness critical points which have infinite dynamical exponents.) Although our RG procedure is not fully controlled for this model, running the RG numerically yields a fixed point that is qualitatively similar to the numerically seen one^{28,30,31} (Fig. 2): in particular, it has a correlation length exponent *ν* = 1, and a finite dynamical critical exponent *z* ≈ 1.6, which is close to the numerical value *z* ≈ 2. The remaining discrepancies are to be expected given that the procedure is not controlled; however, the RG correctly captures the qualitative features of the transition and is the only analytic method able to capture the universality class of this transition.

### Quasiperiodic MBL transition

The observation that generic quasiperiodic potentials flow to analytically tractable substitution sequences under renormalization has broad implications beyond zero-temperature quantum criticality. In particular, isolated quantum systems can undergo eigenstate phase transitions^{45}, in which the properties of eigenstates (and correspondingly the nature of the dynamics) changes in a nonanalytic way, as some parameter is tuned. A key example of such a transition is the highly studied many-body localization (MBL)^{46,47,48} transition in one dimension, which separates localized and chaotic dynamical phases. In the random case, the nature of the transition remains debated^{49,50,51,52,53,54,55,56}, but many RG schemes have been proposed^{32,33,57,58,59,60}, with the most recent works supporting a Kosterlitz–Thouless–like transition^{33,61,62}.

In comparison with the random case, the physics of MBL in quasiperiodic systems remains largely unexplored. Within the latest RG schemes, the mechanism driving the transition is the nucleation of chaos in rare, anomalously thermal regions^{53,63,64}. Quasiperiodic systems seem to lack such regions and might therefore have a qualitatively different MBL transition, but the nature of this transition is not fully understood (but see ref. ^{56}). It would be natural to adapt previous RG approaches to the present case; however, it is not clear whether these schemes are controlled and there are also two inequivalent possible extensions. Some RG schemes in the random case^{58,59} attempt to construct typical individual eigenstates. Deep in the localized phase, these look like random product states. The RG hierarchically arranges these product states into resonant clusters. In principle, which spins belong to this resonant cluster depends on which product state one started out in, as nonresonant spins affect the resonance condition for the cluster to form. In random systems, these Hartree-like effects renormalize the initial random potential but do not change its statistical properties. In the quasiperiodic case, however, things are drastically different: a quasiperiodic potential plus random Hartree shifts is in effect a random potential. Including these random Hartree shifts would thus presumably lead to a transition that looks similar to the random one.

A different class of approaches avoids speaking directly of states, instead trying to disentangle the Hamiltonian by a series of unitary rotations, and thus construct localized integrals of motion (LIOM) in the MBL phase^{65,66,67}. Deep in the MBL phase, a full set of LIOMs exists and, at a critical disorder value, all (or most) of these LIOMs cease to exist. (Note that this is true even if there is a many-body mobility edge, as in this scenario there are some fully thermal eigenstates and the existence of such thermal eigenstates is inconsistent with an extensive number of LIOMs.) There is a transition when the first LIOMs cease to be well-defined; we associate this with the localization transition (note that it must be a sharp transition regardless of whether it is the only localization transition). The properties of the LIOMs in a quasiperiodic system are clearly quasiperiodic, though typical eigenstates have an additional random element from the occupation numbers. Phenomenological RG schemes that model a system in terms of thermal and localized blocks can capture this procedure, as they never explicitly invoke eigenstates.

Motivated by this observation, we now explore the simplest such scheme^{32,33}. This model also describes certain classical coarsening dynamics^{68}, and as we shall see its RG rules are similar to those discussed above. This model assumes that on some coarse-grained scale, the system can be described alternating thermal (*T*) and insulating blocks (*I*), characterized by a single parameter, which we call “length” \(\ell _{T,I}\). During the RG, the smallest *I* or *T* block is decimated and merged with its neighbors into a new *T*/*I* block, in the simplest version of this RG^{32}, a renormalized length that is the sum of the decimated blocks \(\ell _{{\mathrm{n}}ew}^{T/I} = \ell _{i - 1}^{T/I} + \ell _i^{I/T} + \ell _{i + 1}^{T/I}\). This RG rule is almost the same as (2), with *c* = 0 and a different sign in front of \(\ell _i\). For random initial distributions of the block sizes, this simple model has a second-order phase transition with correlation length exponent *ν* ≈ 2.5. Starting from quasiperiodic initial lengths \(\ell _i^{T/I} = W^{T/I}\left( {1 + {\mathrm{cos}}\left( {2\pi \varphi i + \theta } \right)} \right)\), we find that the lengths once again renormalize to a Fibonacci sequence for *W*^{T} = *W*^{I} (see Supplementary Fig. 2).

We now consider perturbing away from these fixed points, e.g., driving the system into the insulating phase by making the *I* blocks slightly larger than the *T* blocks. We can do this with the same dimerization perturbation as we previously had. A key thing to note is that this perturbation is actually irrelevant at the Fibonacci-sequence fixed point: a small perturbation does not change the sequence of decimations and the perturbation strength decreases under decimation, as a consequence of the crucial sign change in the RG rule. This situation changes, however, for continuous initial distributions: here, there are pairs of adjacent couplings that are nearby in energy; thus, there are minima (at the critical point) that cease to be minima when the system is perturbed. Thus, even small perturbations change the order in which sites are decimated and disrupt the fixed-point sequence. In this sense, dimerization is a dangerous irrelevant perturbation at the quasiperiodic MBL fixed point.

Interestingly, regardless of this subtlety, we once again find a correlation length exponent *ν* = 1 for smoothly varying initial conditions. The argument is as follows: define a defect as a bond that was a local minimum for the critical pattern but ceased to be one after being perturbed (or vice versa). If a defect is present at position *i* = 0, then another defect will be created at *i* = *F*_{n} with *n* large enough, as *φF*_{n} is almost an integer. Going away from criticality by an amount *δW* induces defects if we choose *n* so that the deviation of *F*_{n} from being the exact period (given by the fractional part of *φF*_{n}) satifies {*φF*_{n}} = *φ*^{−n} ~ *δW*. The distance between the defects then sets the correlation length *ξ* ~ *F*_{n} ≈ *φ*^{n} ~ *δW*^{−1}, implying that *ν* = 1 (see Supplementary Note 2.A of the Supplementary Discussion and Supplementary Figs. 3, 4). An interesting consequence is that one can tunably vary *ν* by introducing singularities at appropriate points in the original sequence; we have checked that this is in fact true (see Supplementary Note 2.B of the Supplementary Discussion and Supplementary Fig. 5). This general argument applies to all the transitions studied in this paper and does not rely on the precise nature of the underlying fixed points.

This toy RG is perfectly symmetric between the *T* and *I* phases; in realistic models, this symmetry is absent, as thermal blocks are much more infectious than insulating blocks. To introduce some asymmetry between the two phases, we follow ref. ^{33} and introduce a new parameter *β* in the RG rules

with *β*^{I} = 1/*β*^{T} = *β*. This modified RG is analytically solvable for random distributions and captures much of the phenomenology of the MBL transition in the maximally asymmetric limit *β* → ∞, with a KT-type transition (*ν* = ∞) in the random case. In the quasiperiodic case, weak asymmetry is irrelevant at the fixed point; however, as the asymmetry is cranked up, eventually the order of decimations changes and one flows to a new fixed-point sequence. Thus, as *β* is increased, the system discontinuously jumps between a number of increasingly complicated self-similar fixed-point sequences, which we detail in Supplementary Note 2.C of the Supplemental Discussion. Perturbations away from criticality lead to defects in these self-similar sequences, with the same exponent *ν* = 1 from the argument above. We therefore conjecture that the value *ν* = 1 remains exact as *β* → ∞. Extrapolating our results from this phenomological RG to the quasiperiodic MBL transition leads to the natural prediction that it belongs to a universality class different from the random case, as conjectured in ref. ^{55}. Moreover, our approach leads to the novel prediction that *ν* = 1, in agreement with recent exact diagonalization results^{55,69}. It would be interesting to investigate the consequences of the dangerously irrelevant character of the parameter driving the transition in future work.

## Discussion

To summarize, we have shown that under quite general conditions, conventional real-space RG rules attract generic initial conditions to fixed-point sequences that are self-similar under RG. The simplest case is in the Heisenberg spin chain, where the fixed-point sequence is given by the simple Fibonacci deflation rule; many results were previously known for this sequence, but our work shows that these results apply far more generally than had been appreciated. For the Potts model, we again found attracting sequences, but unlike the Heisenberg model we found multiple distinct attractors. Finally, for the toy MBL transition models, we found a much more unexpected type of RG flow, in which the control parameter driving the transition is in fact dangerously irrelevant at the critical point, but nevertheless the exponent *ν* = 1. It would be interesting to investigate whether our results can be extended to two-dimensional quasiperiodic systems^{70}.

## Methods

### Numerical implementation

Numerical results were obtained by running the real-space RG procedure iteratively, by identifying strong couplings in the Hamiltonian and decimating them before weaker ones, putting the spins involved in a strong coupling in their local ground state. Residual couplings are then computed using second-order perturbation theory. For all quasiperiodic systems discussed in this paper (with the notable exception of the quantum Ising chain), we find that the small parameter controlling the validity of the perturbation theory decreases under RG, making the procedure asymptotically exact. For quasiperiodic potentials of the form cos(2*πφj* + *θ*), we average our results numerically over thousands of choices of the global phase *θ*.

## Data availability

Data are available on request from the authors.

## Code availability

Codes are available on request from the authors.

## References

- 1.
Harris, A. B. Effect of random defects on the critical behaviour of Ising models.

*J. Phys. C: Solid State Phys.***7**, 1671–1692 (1974). - 2.
Fisher, D. S. Random transverse field Ising spin chains.

*Phys. Rev. Lett.***69**, 534–537, https://doi.org/10.1103/PhysRevLett.69.534 (1992). - 3.
Fisher, D. S. Random antiferromagnetic quantum spin chains.

*Phys. Rev. B***50**, 3799–3821 (1994). - 4.
Fisher, D. S. Critical behavior of random transverse-field ising spin chains.

*Phys. Rev. B***51**, 6411–6461 (1995). - 5.
Iglói, F. & Monthus, C. Strong disorder rg approach of random systems.

*Phys. Rep.***412**, 277–431 (2005). - 6.
Motrunich, O., Mau, S.-C., Huse, D. A. & Fisher, D. S. Infinite-randomness quantum ising critical fixed points.

*Phys. Rev. B***61**, 1160–1172 (2000). - 7.
Shechtman, D., Blech, I., Gratias, D. & Cahn, J. W. Metallic phase with long-range orientational order and no translational symmetry.

*Phys. Rev. Lett.***53**, 1951–1953 (1984). - 8.
Levine, D. & Steinhardt, P. J. Quasicrystals: a new class of ordered structures.

*Phys. Rev. Lett.***53**, 2477–2480 (1984). - 9.
Merlin, R., Bajema, K., Clarke, R., Juang, F. Y. & Bhattacharya, P. K. Quasiperiodic gaas-alas heterostructures.

*Phys. Rev. Lett.***55**, 1768–1770 (1985). - 10.
Bistritzer, R. & MacDonald, A. H. Moiré bands in twisted double-layer graphene.

*Proc. Natl. Acad. Sci. USA***108**, 12233–12237 (2011). - 11.
Cao, Y. et al. Unconventional superconductivity in magic-angle graphene superlattices.

*Nature***556**, 43–50 (2018). - 12.
Cao, Y. et al. Correlated insulator behaviour at half-filling in magic-angle graphene superlattices.

*Nature***556**, 80–84 (2018). - 13.
Roati, G. et al. Anderson localization of a non-interacting bose–einstein condensate.

*Nature***453**, 895–898 (2008). - 14.
Deissler, B. et al. Delocalization of a disordered bosonic system by repulsive interactions.

*Nat. Phys.***6**, 354–358 (2010). - 15.
Schreiber, M. et al. Observation of many-body localization of interacting fermions in a quasirandom optical lattice.

*Science***349**, 842–845 (2015). - 16.
Lüschen, H. P. et al. Signatures of many-body localization in a controlled open quantum system.

*Phys. Rev. X***7**, 011034 (2017). - 17.
Bordia, P. et al. Probing slow relaxation and many-body localization in two-dimensional quasiperiodic systems.

*Phys. Rev. X***7**, 041047 (2017). - 18.
Luck, J. M. A classification of critical phenomena on quasi-crystals and other aperiodic structures.

*Europhys. Lett. (EPL)***24**, 359–364 (1993). - 19.
Kohmoto, M., Kadanoff, L. P. & Tang, C. Localization problem in one dimension: Mapping and escape.

*Phys. Rev. Lett.***50**, 1870–1872 (1983). - 20.
Satija, I. I. & Doria, M. M. Quasiperiodic anisotropic XY model.

*Phys. Rev. B***38**, 5174–5176 (1988). - 21.
Levitov, L. Renormalization group for a quasiperiodic schrödinger operator.

*J. Phys.***50**, 707–716 (1989). - 22.
Iglói, F., Karevski, D. & Rieger, H. Random and aperiodic quantum spin chains: a comparative study.

*Eur. Phys. J. B - Condens. Matter Complex Syst.***1**, 513–517 (1998). - 23.
Vidal, J., Mouhanna, D. & Giamarchi, T. Correlated Fermions in a one-dimensional quasiperiodic potential.

*Phys. Rev. Lett.***83**, 3908–3911 (1999). - 24.
Hermisson, J. Aperiodic and correlated disorder inXYchains: exact results.

*J. Phys. A: Math. Gen.***33**, 57–79 (1999). - 25.
Hida, K. New universality class in spin-one-half Fibonacci Heisenberg chains.

*Phys. Rev. Lett.***93**, 037205 (2004). - 26.
Vieira, A. P. Aperiodic quantum XXZ chains: renormalization-group results.

*Phys. Rev. B***71**, 134408 (2005). - 27.
Barghathi, H., Nozadze, D. & Vojta, T. Contact process on generalized fibonacci chains: infinite-modulation criticality and double-log periodic oscillations.

*Phys. Rev. E***89**, 012112 (2014). - 28.
Wilkinson, M. Critical properties of electron eigenstates in incommensurate systems.

*Proc. R. Soc. Lond. A. Math. Phys. Sci.***391**, 305–350 (1984). - 29.
Chandran, A. & Laumann, C. R. Localization and symmetry breaking in the quantum quasiperiodic ising glass.

*Phys. Rev. X***7**, 031061 (2017). - 30.
Crowley, P. J. D., Chandran, A. & Laumann, C. R. Critical behavior of the quasi-periodic quantum Ising chain. Preprint at http://arxiv.org/abs/1812.01660 (2018).

- 31.
Crowley, P., Chandran, A. & Laumann, C. Quasiperiodic quantum Ising transitions in 1D.

*Phys. Rev. Lett.***120**, 175702 (2018). - 32.
Zhang, L., Zhao, B., Devakul, T. & Huse, D. A. Many-body localization phase transition: a simplified strong-randomness approximate renormalization group.

*Phys. Rev. B***93**, 224201 (2016). - 33.
Goremykina, A., Vasseur, R. & Serbyn, M. Analytically solvable renormalization group for the many-body localization transition.

*Phys. Rev. Lett.***122**, 040601 (2019). - 34.
Giamarchi, T. & Schulz, H. J. Anderson localization and interactions in one-dimensional metals.

*Phys. Rev. B***37**, 325–340 (1988). - 35.
Ma, S.-k, Dasgupta, C., Hu, C.-k & Random Antiferromagnetic Chain

*Phys. Rev. Lett.***43**, 1434–1437 (1979). - 36.
Dasgupta, C. & Ma, S.-K. Low-temperature properties of the random Heisenberg antiferromagnetic chain.

*Phys. Rev. B***22**, 1305–1319 (1980). - 37.
Hu, H.-P., Cheng, C., Luo, H.-G. & Chen, S. Topological incommensurate magnetization plateaus in quasi-periodic quantum spin chains.

*Sci. Rep.***5**, 8433 (2015). - 38.
Hu, H., Cheng, C., Xu, Z., Luo, H.-G. & Chen, S. Topological nature of magnetization plateaus in periodically modulated quantum spin chains.

*Phys. Rev. B***90**, 035150 (2014). - 39.
Lado, J. L. & Zilberberg, O. Topological spin excitations in harper-heisenberg spin chains.

*Phys. Rev. Res.***1**, 033009 (2019). - 40.
Hida, K. Density matrix renormalization group study of the S = 1/2 antiferromagnetic Heisenberg chains with quasiperiodic exchange modulation.

*J. Phys. Soc. Jpn.***68**, 3177–3180 (1999). - 41.
Vidal, J., Mouhanna, D. & Giamarchi, T. Interacting fermions in self-similar potentials.

*Phys. Rev. B***65**, 014201 (2001). - 42.
Szabó, A. & Schneider, U. Non-power-law universality in one-dimensional quasicrystals.

*Phys. Rev. B***98**, 134201 (2018). - 43.
Yao, H., Khoudli, H., Bresque, L. & Sanchez-Palencia, L. Critical behavior and fractality in shallow one-dimensional quasiperiodic potentials.

*Phys. Rev. Lett.***123**, 070405 (2019). - 44.
Senthil, T. & Majumdar, S. N. Critical properties of random quantum potts and clock models.

*Phys. Rev. Lett.***76**, 3001–3004 (1996). - 45.
Parameswaran, S. A., Potter, A. C. & Vasseur, R. Eigenstate phase transitions and the emergence of universal dynamics in highly excited states.

*Ann. der Phys.***529**, 1600302 (2017). - 46.
Basko, D., Aleiner, I. & Altshuler, B. Metal-insulator transition in a weakly interacting many-electron system with localized single-particle states.

*Ann. Phys. (N. Y.)***321**, 1126 (2006). - 47.
Vasseur, R. & Moore, J. E. Nonequilibrium quantum dynamics and transport: from integrability to many-body localization.

*J. Stat. Mech. Theor. Exp.***2016**, 064010 (2016). - 48.
Abanin, D. A., Altman, E., Bloch, I. & Serbyn, M. Many-body localization, thermalization, and entanglement.

*Rev. Mod. Phys.***91**, 021001 (2018). - 49.
Pal, A. & Huse, D. A. Many-body localization phase transition.

*Phys. Rev. B***82**, 174411 (2010). - 50.
Serbyn, M., Papić, Z. & Abanin, D. A. Criterion for many-body localization-delocalization phase transition.

*Phys. Rev. X***5**, 041047 (2015). - 51.
Kjäll, J. A., Bardarson, J. H. & Pollmann, F. Many-body localization in a disordered quantum Ising chain.

*Phys. Rev. Lett.***113**, 107204 (2014). - 52.
Luitz, D. J., Laflorencie, N. & Alet, F. Many-body localization edge in the random-field Heisenberg chain.

*Phys. Rev. B***91**, 081103 (2015). - 53.
Agarwal, K., Gopalakrishnan, S., Knap, M., Müller, M. & Demler, E. Anomalous diffusion and Griffiths effects near the many-body localization transition.

*Phys. Rev. Lett.***114**, 160401 (2015). - 54.
Khemani, V., Lim, S. P., Sheng, D. N. & Huse, D. A. Critical properties of the many-body localization transition.

*Phys. Rev. X***7**, 021013 (2017). - 55.
Khemani, V., Sheng, D. & Huse, D. A. Two universality classes for the many-body localization transition.

*Phys. Rev. Lett.***119**, 075702 (2017). - 56.
Zhang, S.-X. & Yao, H. Universal properties of many-body localization transitions in quasiperiodic systems.

*Phys. Rev. Lett.***121**, 206601 (2018). - 57.
Vosk, R., Huse, D. A. & Altman, E. Theory of the many-body localization transition in one-dimensional systems.

*Phys. Rev. X***5**, 031032 (2015). - 58.
Potter, A. C., Vasseur, R. & Parameswaran, S. A. Universal properties of many-body delocalization transitions.

*Phys. Rev. X***5**, 031033 (2015). - 59.
Dumitrescu, P. T., Vasseur, R. & Potter, A. C. Scaling theory of entanglement at the many-body localization transition.

*Phys. Rev. Lett.***119**, 110604 (2017). - 60.
Thiery, T., Huveneers, F., Müller, M. & De Roeck, W. Many-body delocalization as a quantum avalanche.

*Phys. Rev. Lett.***121**, 140601 (2018). - 61.
Dumitrescu, P. T., Goremykina, A., Parameswaran, S. A., Serbyn, M. & Vasseur, R. Kosterlitz-thouless scaling at many-body localization phase transitions.

*Phys. Rev. B***99**, 094205 (2019). - 62.
Morningstar, A. & Huse, D. A. Renormalization-group study of the many-body localization transition in one dimension.

*Phys. Rev. B***99**, 224205 (2019). - 63.
Gopalakrishnan, S. et al. Low-frequency conductivity in many-body localized systems.

*Phys. Rev. B***92**, 104202 (2015). - 64.
Agarwal, K. et al. Rare-region effects and dynamics near the many-body localization transition.

*Ann. Phys. (Berl.)***529**, 1600326 (2017). - 65.
Serbyn, M., Papić, Z. & Abanin, D. A. Universal slow growth of entanglement in interacting strongly disordered systems.

*Phys. Rev. Lett.***110**, 260601 (2013). - 66.
Huse, D. A., Nandkishore, R. & Oganesyan, V. Phenomenology of fully many-body-localized systems.

*Phys. Rev. B***90**, 174202 (2014). - 67.
Imbrie, J. Z. Diagonalization and many-body localization for a disordered quantum spin chain.

*Phys. Rev. Lett.***117**, 027201 (2016). - 68.
Rutenberg, A. D. & Bray, A. J. Phase-ordering kinetics of one-dimensional nonconserved scalar systems.

*Phys. Rev. E***50**, 1900–1911 (1994). - 69.
Lee, M., Look, T. R., Lim, S. P. & Sheng, D. N. Many-body localization in spin chain systems with quasiperiodic fields.

*Phys. Rev. B***96**, 075146 (2017). - 70.
Jagannathan, A. Quantum spins and quasiperiodicity: a real space renormalization group approach.

*Phys. Rev. Lett.***92**, 047202 (2004).

## Acknowledgements

We thank A. Chandran, P. Crowley, D. Huse, V. Khemani, and C. Laumann for stimulating discussions. We also thank S. Gazit, B. Kang, and J. Pixley for useful discussions and for sharing with us their unpublished Quantum Monte Carlo results. This work was supported by the US Department of Energy, Office of Science, Basic Energy Sciences, under Early Career Award No. DE-SC0019168 (U.A. and R.V.), the Alfred P. Sloan Foundation through a Sloan Research Fellowship (R.V.), and by NSF Grant Number DMR-1653271 (S.G.).

## Author information

### Affiliations

### Contributions

U.A., S.G., and R.V. designed and performed research, analyzed data, and wrote the paper.

### Corresponding author

Correspondence to Utkarsh Agrawal.

## 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

Agrawal, U., Gopalakrishnan, S. & Vasseur, R. Universality and quantum criticality in quasiperiodic spin chains.
*Nat Commun* **11, **2225 (2020). https://doi.org/10.1038/s41467-020-15760-5

Received:

Accepted:

Published:

## Further reading

## 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.