Thesis
Reference
Localization and slow thermalization in quantum many-body systems
HO, Wen Wei
Abstract
There has been a surge of interest in studying truly nonequilibrium quantum many-body phenomena, motivated both by theoretical advances such as in the understanding of many-body-localization (MBL), and by experimental advances in controlling synthetic quantum systems that serve as rich playgrounds to probe these phenomena. In this thesis, we show that looking at the physical structure of quantum systems, such as the locality of Hamiltonians and the entanglement of quantum states -- concepts with a quantum informational flavor to them -- is a useful lens with which to explore nonequilibrium many-body physics. We use these ideas to study localization -- the breakdown of ergodicity in certain classes of many-body systems, and also the timescales of thermalization in periodically driven many-body systems. We also explain the recent observations in a dipolar system of the discrete time crystal phase, an exemplary nonequilibrium phase of matter, and further consider the dynamics of entanglement in many-body systems.
HO, Wen Wei. Localization and slow thermalization in quantum many-body systems. Thèse de doctorat : Univ. Genève, 2017, no. Sc. 5083
DOI : 10.13097/archive-ouverte/unige:95354 URN : urn:nbn:ch:unige-953545
Available at:
http://archive-ouverte.unige.ch/unige:95354
Disclaimer: layout of this document may differ from the published version.
UNIVERSIT ´E DE GEN `EVE FACULT ´E DES SCIENCES
Section de Physique Professor Dmitry Abanin
D´epartment de Physique Th´eorique
Localization and Slow Thermalization in Quantum Many-body Systems
TH `ESE
pr´esent´ee `a la Facult´e des Sciences de l’Universit´e de Gen`eve pour obtenir le grade de Docteur `es sciences, mention Physique
par
Wen Wei Ho
de Singapour
Th`ese No. 5083
GEN `EVE
Atelier de reproduction ReproMail
Juin 2017
Abstract
There has been a recent surge of interest in studying truly nonequilibrium quantum many-body phenomena. This has been motivated in part by theoreti- cal advances, such as in the understanding of many-body localization (MBL), and in part by experimental advances in designing and controlling synthetic quantum systems that serve as rich playgrounds to probe these phenomena. However, our understanding of highly nonequilibrium quantum physics is still rather limited compared to that of equilibrium physics, and so we need new tools, conceptual insights and theoretical approaches to make headway in this largely unexplored frontier of condensed matter physics.
In this thesis, we show that looking at the physical structure of quantum sys- tems, such as the locality of Hamiltonians and the entanglement structure of quan- tum states – concepts with a quantum informational flavor to them – is a useful lens with which to explore nonequilibrium many-body physics. We use these ideas to study localization – the breakdown of ergodicity in certain classes of many-body systems, and also the timescales of thermalization in periodically driven many- body systems.
Specifically, in Chapter 2, we study the stability of a potential nonergodic phase of matter arising naturally in disordered systems with a global, continuous non- Abelian symmetry, and which goes beyond an MBL prescription. We find that for arbitrarily weak perturbations, the phase is unstable in the thermodynamic limit, implying that the presence of the symmetry leads to thermalization. In Chapter 3 we study the timescales of heating in high-frequency periodically-driven many- body systems, and show that such systems generically exhibit the phenomenon of prethermalization. We further consider the experimentally relevant question of dynamically preparing such a system in its effective Hamiltonian’s ground state whilst minimizing heating and non-adiabatic effects, in Chapter 4. In Chapter 5, motivated by recent experimental observations of discrete time crystalline (DTC)
order in long-ranged dipolar systems, we elucidate the mechanism by which the DTC order is stabilized, in periodically-driven, disordered systems with long-range interactions. Lastly, in Chapter 6 we explore the mechanism of entanglement dy- namics in quantum many-body systems, and provide a toy model that explains salient features of the apparent universal linear in time growth of entanglement seen in ergodic systems.
Abstrait
Il y a eu rcemment un regain d’interłt dans l’tude des phnomne quantiques n corps dans les systmes fortement hors quilibres. Ceci a t motiv en partie par des avances thoriques, telles que la comprhension de la localisation n corps (MBL), et en partie par des avances exprimentales dans le design et le contrle de systmes quantiques synthtiques qui sont des terrains de jeu riches (systmes modles riches) pour sonder ces phnomnes. Cependant, notre comprhension de la physique forte- ment hors quilibre est encore limite en comparaison avec la physique l’quilibre.
Ainsi, il nous faut des nouveaux outils, des ides conceptuelles et des approches thoriques pour faire une perce dans cette frontire largement inexplore de la physique de la matire condense.
Dans cette thse, nous montrons que l’observation de la structure physique des systmes quantiques - comme la localit des Hamiltoniens ou la structure de l’intrication des tats quantiques (concepts comprenant des notions d’information quantique) - offre une perspective utile pour l’exploration des systmes quantiques n corps.
Nous utilisons ces ides pour tudier la dynamique et la stabilit de la matire hors quilibre.
Spcifiquement, dans le chapitre 2, nous tudions la stabilit d’une potentielle phase non ergodique de la matire qui se manifeste naturellement dans les systmes dsordonns avec une symtrie non-ablienne globale et continue et qui dpasse une prescription MBL. Nous constatons que pour des perturbations arbitrairement faibles, la phase est instable dans la limite thermodynamique, ce qui implique que la prsence de la symtrie conduit la thermisation. Dans le chapitre 3, nous tudions galement l’chelle de temps de thermalisation d’un systme n corps priodiquement entrain sous champ haute frquence et montrons que de tels systmes prsentent gnreusement le phnomne de la prthermalization. Nous considrons en outre la question exprimentale de la prparation dynamique d’un tel systme dans l’tat fon- damental de l’hamiltonien effectif tout en minimisant les effets de chauffage et
non adiabatique, au chapitre 4. Dans le chapitre 5, motiv par les rcentes observa- tions exprimentales d’un ordre de cristal temporel discret (DTC) dans des systmes dipolaires longue porte, nous avons lucid le mcanisme par lequel l’ordre DTC est stabilis dans un systme dsordonn, interaction longue porte, priodiquement en- train. Enfin, dans le chapitre 6, nous explorons le mcanisme de la dynamique de l’enchevłtrement dans les systmes quantiques de nombreux corps et fournissons un modle de jouet qui explique les caractristiques saillantes de la croissance linaire linaire apparente de l’enchevłtrement vu dans les systmes ergodiques.
Acknowledgments
I would like to thank my advisor, Dima Abanin, for his support, advice and guidance over these past few years. Dima is an excellent physicist, and I am lucky to have been his student and seen his way of doing physics: he has taught me much in how to think and do research. Much of what I know about many-body physics is attributed to him. Furthermore his exceptional physical intuition is something that I can only hope to emulate. Working with him has thus always been both a pleasure and a learning experience. Also, Dima has been very supportive of what- ever half-baked ideas I might have, and concerned with my welfare throughout my PhD studies, and I am grateful to him for that.
I would also like to thank my other advisor, Guifr´e Vidal, for being very sup- portive and encouraging despite abandoning him at Perimeter Institute and mov- ing to Geneva. He has also taught me how to think about many-body physics but from a more quantum informational viewpoint, and I find that such a perspective helps me to approach a problem in a very useful way that is complementary to standard ones.
I thank too Julian Sonner and Mark Rudner for agreeing to serve on my thesis committee, and for carefully reading my thesis and offering many constructive comments to help improve it.
I am also grateful to my family and friends, especially my parents, for their unwavering love, encouragement and confidence in me during my studies. Last but not least, I thank Irene Lo for all her support, and for being a good friend to me.
Contents
1 Introduction 12
1.1 Motivation and results . . . 12
1.2 Many-body localization . . . 19
1.2.1 Anderson localization . . . 19
1.2.2 Basko, Aleiner and Altshuler (BAA) . . . 22
1.2.3 Canonical model . . . 23
1.2.4 Local integrals of motion, and phase of matter . . . 26
1.3 Quantum thermalization and ergodicity . . . 29
1.3.1 Eigenstate thermalization hypothesis (ETH) . . . 31
1.4 Quantum entanglement as a tool to probe many-body quantum states 35 1.4.1 Structure of eigenstates: ergodic vs nonergodic . . . 36
1.4.2 Entanglement dynamics . . . 39
1.5 Experimental signatures of MBL . . . 41
1.6 Periodically driven (Floquet) many-body systems . . . 43
1.6.1 Floquet formalism . . . 44
1.6.2 Magnus expansion . . . 45
1.6.3 Thermalization and ETH in Floquet systems . . . 47
1.7 Floquet-MBL systems . . . 49
1.7.1 Discrete time crystalline (DTC) phase . . . 49
2 The effect ofSU(2)symmetry on many-body localization and thermaliza- tion 54 2.1 Introduction . . . 54
CONTENTS
2.2 Conventional MBL phase . . . 56
2.3 SU(2)symmetry implies non-local integrals of motion . . . 57
2.4 Fixed-point Hamiltonian . . . 59
2.5 (In)stability of the non-ergodic phase . . . 60
2.5.1 Matrix elements . . . 62
2.5.2 Instability with respect to local perturbation . . . 63
2.6 Relation to RSRG-X . . . 64
2.7 Summary . . . 65
2.A Supplemental material: overview . . . 65
2.B Matrix element for a given pair of states . . . 67
2.B.1 Preliminary symmetry considerations . . . 67
2.B.2 Recursion relations . . . 69
2.C Statistics over a fixed base state . . . 72
2.C.1 Top level . . . 73
2.C.2 Recursion relations . . . 74
2.C.3 Mean and dispersion . . . 74
2.C.4 Large-Llimit . . . 75
2.D Statistics ofζ andσ . . . 76
2.D.1 Averaging ofζ . . . 77
2.D.2 Averaging ofσ2 . . . 80
2.D.3 Mesoscopic fluctuations ofζ . . . 80
2.E Non-zero top spin . . . 82
3 Effective Hamiltonians, prethermalization and slow energy absorption in periodically driven many-body systems 84 3.1 Introduction . . . 84
3.2 Set-up and outline of method . . . 87
3.3 Method, optimal order, and heating time scale . . . 90
3.3.1 Simple example: single rotating frame transformation . . . 90
3.3.2 General case . . . 92
CONTENTS
3.4 Implications: evolution of a local observable . . . 95
3.5 Discussion and conclusion . . . 96
3.A Technical estimates and proofs . . . 98
3.A.1 Setup . . . 98
3.A.2 Proof of Lemma 1 . . . 100
3.A.3 Bound on remainderδH0(t) . . . 102
4 Quasi-adiabatic dynamics and state preparation in Floquet many-body systems 104 4.1 Introduction . . . 104
4.1.1 Set-up . . . 105
4.1.2 Results . . . 106
4.1.3 Structure of this chapter . . . 109
4.2 Iterative process to generate time-varying effective Hamiltonian . . . 109
4.2.1 Mathematical preliminaries . . . 110
4.2.2 Iterative process through a gauge transformation . . . 110
4.2.3 Effective Hamiltonian, optimal ordern∗ and range of validity 116 4.3 Connection to Floquet-Magnus expansion . . . 119
4.4 Ramp through a quantum critical point and optimal ramp rate . . . . 121
4.5 Summary and discussion . . . 126
4.A Bounds on||W(k)||and||Ω(k)(t)|| . . . 128
4.B Scaling of difference of measurements of a local operatorδhOi . . . . 130
4.C Determining the dominant relevant operator at the QCP . . . 132
5 Critical time crystals in dipolar systems 134 5.1 Introduction . . . 134
5.2 Physical picture . . . 138
5.3 Technical procedure . . . 142
5.4 Phase diagram . . . 144
5.5 Summary and discussion . . . 145
5.A Details on technical procedure . . . 146
CONTENTS
5.A.1 Rotating the Hamiltonian . . . 146
5.A.2 Choosing the rotationQ(t) . . . 148
5.A.3 Effective Hamiltonian . . . 149
5.B Numerical procedure to extract decay rate and phase boundary . . . 151
6 Entanglement dynamics in quantum many-body systems 154 6.1 Introduction . . . 154
6.2 Local measurements of basis operators gives entanglement . . . 158
6.3 Physical spreading of basis operators leads to entanglement growth . 158 6.4 A toy model for explaining universal linear growth in ergodic systems160 6.5 Proposal to experimentally measureSn(t)and relation to Loschmidt echo . . . 163
6.6 Conclusion . . . 165
6.A Analysis for systems with bounded Hilbert spaces of other dimensions166 6.A.1 I. Results . . . 166
6.A.2 II. Derivation of results . . . 167
6.B Basis invariance for measurement . . . 171
6.B.1 I: Proof . . . 172
6.B.2 II: Proof of conversation of weight of an operator under time evolution . . . 172
6.C Proof of replica trick . . . 173
7 Summary and conclusion 175 7.1 Summary of results . . . 175
7.2 Conclusion and outlook . . . 177
Chapter 1
Introduction
1.1 Motivation and results
Historically, condensed matter physics has focused on equilibrium or near equi- librium many-body physics, such as that of the ground state and its low lying excitations. As such, while far from being completely understood, we have accu- mulated a wealth of understanding of such physics as well as a collection of tools to study it. Conversely, truly nonequilibrium many-body physics – such as that of highly excited eigenstates or driven systems – remains comparatively speaking a largely unexplored frontier of condensed matter physics.
From a conceptual standpoint, one might inquire into why it is worthwhile to explore this nonequilibrium frontier. Underpinning equilibrium physics is the concept of universality: that different quantum systems, even though described by different microscopic constituents, can have emergent macroscopic phenomena that do not depend on the ultra-violet (UV) physics and which thus allows for their physics to be systematically analyzed. Naively, one might argue that without this concept, the study of highly nonequilibrium physics would be extremely messy, rather system specific, and possibly featureless. However, as we will see, it turns out to be quite the contrary: it is actually possible to define quantum order even for highly excited or non-equilibrium quantum states, leading to novel new phases of matter with no static analogue. For example, we will discuss the very recent excit-
1.1. MOTIVATION AND RESULTS
ing theoretical prediction and experimental observation of the Discrete Time Crys- talline (DTC) phase in this thesis. Furthermore, the study of quantum dynamics leads to many important, fundamental questions that challenge our foundational assumptions of basic physics, such as those of thermalization and ergodicity in statistical mechanics. The nonequilibrium frontier thus represents not just unex- plored country, but rather also exciting new territory, which very much deserves our attention as condensed matter physicists.
Indeed, as mentioned in the abstract, there has been a recent surge of interest in studying such truly nonequilibrium many-body phenomena. This has been in part due to theoretical advances, such as in our understanding of the long conjec- tured but only recently almost conclusively confirmed phenomenon of many-body localization (MBL), in which the interplay of strong disorder and interactions in a quantum system leads to a many-body version of Anderson localization. A strik- ing implication of this phenomenon is that our assumption that generic interacting systems are always ergodic and hence thermalizing – a foundational tenet of statis- tical mechanics – is violated. Instead, MBL systems belong to a dynamical phase of quantum matter that is robustly nonergodic, thus allowing for quantum order to be defined in their highly excited eigenstates. On the experimental front, advances in designing and controlling synthetic quantum systems, such as with trapped ions and cold atoms, allow for rich playgrounds to explore such nonequilibrium phenomena in, thereby providing even more impetus and stimulus for their study.
Another fruitful direction that has emerged is the use of strong driving by light to control and manipulate quantum states of solid-state or synthetic quantum sys- tems: driving has been shown to be able to change the topology of band structures, or enhance supercondutivity, or even produce new phases of matter that are not possible in a static system.
I hope to have made a strong case for the study of truly nonequilibrium quan- tum many-body physics. One of the main challenges that we face in the explo- ration of this frontier is that many of the concepts and tools of equilibrium physics are often times not the best in a truly nonequilibrium setting, and as such, we need
1.1. MOTIVATION AND RESULTS
new conceptual insights and theoretical approaches. That is precisely the point of this thesis: the overarching theme posited here is that looking at the physical structure of quantum systems, such as the locality of Hamiltonians and the en- tanglement structure of quantum states – concepts with a quantum-informational flavor to them – is a useful lens with which to explore nonequilibrium many-body physics. Armed with this viewpoint, we present a collection of results on some truly nonequilibrium quantum many-body phenomena, such as localization and the lack of ergodicity in certain classes of systems, and also the timescales of heat- ing and thermalization in periodically-driven systems. We study too the stability of a novel nonequilibrium phase of matter, the discrete time crystal (DTC), and also the dynamics of entanglement in many-body systems.
The main results of this thesis are as follows:
Effect of continuous non-Abelian symmetry on many-body localization
This chapter is based on the work [120].
In chapter 2, we study the effect of a continuous non-Abelian symmetry on many-body localization. Our motivation here is as follows: can a fully-MBL de- scription, in which the system has a complete set of quasi-local integrals of motion with area-law entanglement scaling of all eigenstates, survive under the presence of a non-Abelian symmetry? After all, very general representation theoretic argu- ments dictates that eigenstates necessarily come in multiplets with dimensionali- ties larger than one – how does the presence of these higher dimensional multiplets affect the stability of a putative MBL phase?
We specifically consider the case of SU(2) symmetric disordered spin chains, and find that, owing to the continuous symmetry, such a fully-MBL description is not possible (this was also argued in [118]). Instead, the most ‘localized’ yet still symmetry respecting eigenstates all have logarithmic scaling of entanglement entropy (akin to a ‘quantum critical glass’), and which therefore realizes a different nonergodic phase of matter than that of MBL, characterized by an incomplete set
1.1. MOTIVATION AND RESULTS
of quasi-local integrals of motion. If found stable, such a system would represent an example of an exciting new dynamical phase of matter that is nonergodic, i.e. it violates the fundamental tenets of ergodicity that generic interacting systems are believed to possess in statistical mechanics.
We therefore construct a fixed-pont Hamiltonian associated with this phase, and study the stability of the phase to local symmetric perturbations. For arbitrar- ily weak perturbations, we find that the phase is unstable in the thermodynamic limit, implying that the presence of the SU(2) symmetry implies thermalization.
Our method can be used to probe the stability of other potentially nonergodic phases, such as with other non-Abelian symmetries, and can also be extended to understand the timescales of thermalization in these systems.
Prethermalization, effective Hamiltonians, and slow heating in periodically driven many-body systems
This chapter is based on the works [1, 2].
Motivated by theoretical proposals to use periodic driving to modify and con- trol parameters in quantum systems, such as to create Floquet topological insu- lators (FTIs), we analyze the effect of interactions on the dynamics and stability of high-frequency periodically-driven (Floquet) systems in chapter 3. Specifically, we study the timescales of heating and thermalization in such systems, in order to, for example, understand the lifetime for which a Floquet system can host the interesting physics desired in Floquet engineering.
We employ a sequence of quasi-local unitaries to systematically rotate the origi- nal driven Hamiltonian and reduce the effect of the drive, thereby ending up with a mostly-static quasi-local Hamiltonian. We find that for generic periodically-driven many-body systems, there is an optimal order to which the sequence should be carried out to, and which depends on the locality of the Hamiltonian. At that optimal order, the resulting quasi-local effective Hamiltonian governs well strobo- scopic dynamics of the system for a time that is exponentially large in frequency.
The error between measurements of local observables evolved in time due to this
1.1. MOTIVATION AND RESULTS
quasi-local effective Hamiltonian and by the actual time evolution operator, can be bounded by Lieb-Robinson type arguments [87, 100]1. Since the timescale of dynamics generated by the effective Hamiltonian can be parametrically smaller than the timescale that this Hamiltonian is itself valid for, this implies that the sys- tem can settle down to a thermal state given by the effective Hamiltonian for a long time before potentially eventually heating up to infinite temperature. Thus, high-frequency driven many-body systems generically exhibit the phenomenon of prethermalization. Proposals to use high-frequency driving to modify band struc- tures of, for example, topologically trivial insulators into topologically non-trivial ones, are thefore viable for at least this long heating timescale.
Quasi-adiabatic dynamics and state preparation in periodically driven many- body systems
This chapter is based on the work [60].
In chapter 4, we next turn to the dynamic preparation of a periodically driven many-body system in the ground state of its effective prethermal Hamiltonian found in the previous chapter. Since the ground state of the undriven Hamilto- nian (from which we presumably begin with) and the ground state of the effective prethermal Hamiltonian are potentially very different, how does one dynamically coax this highly nonequilibrium system to settle into the desired state? This issue is a rather relevant one from an experimental standpoint.
We thus imagine a protocol in which the ground state of the undriven Hamil- tonian is initially prepared, and the driving term slowly ramped up from zero to some finite value over some timescale. Such a driving protocol thus goes beyond the ‘Floquet’ picture since the drive is no long strictly periodic. However, we show, utilizing a sequence of quasi-local unitaries to rotate the Hamiltonian – similar to the ones used to derive effective prethermal Hamiltonians but now accounting also for the slow ramp – that there is a slowly changing effective Hamiltonian that
1These are bounds that govern the speed of information spreading in local quantum many-body systems, even those that are non-relativistic.
1.1. MOTIVATION AND RESULTS
emerges, provided that the ramp timescale is slower than the heating timescale (which is exponentially long in the driving frequency).
Thus, while there is no strict adiabatic limit possible, there still exists quasi- adiabatic dynamics in a slowly ramped periodically driven system: beginning from the ground state of the undriven model, the system ‘adiabatically’ tracks the ground state of an instantaneous effective Hamiltonian. We also consider a ramp through a quantum critical point (QCP) – necessarily the case if we wish to induce a non-trivial change between the ground states of the undriven Hamiltonian and the effective prethermal Hamiltonian – and obtain the optimal ramp speed which minimizes the effects of both heating and the non-adiabaticity passage through the QCP. We find that this optimal ramp speed is exponentially small in the driving frequency.
Critical time crystals in dipolar systems
This chapter is based on the work [62].
The understanding that many-body localization can lead to stabilization and therefore quantum order in highly excited eigenstates naturally gives rise to the question of whether Floquet many-body systems, which might heat up to infi- nite temperature due to the drive, can similarly be stabilized by MBL. This would potentially lead to novel, new phases of matter with no static analogue. Indeed, such a phase of matter, called the Discrete Time Crystalline (DTC) phase was the- oretically predicted and subsequently, with astounding speed, experimentally ob- served in a number of experiments. Such a phase of matter is characterized by a spontaneously broken discrete2 time translationally symmetry, with the existence of local observables that robustly respond at periods that are an integer multiple of the driving period.
However, one of the experimental observations of DTC order was in disordered dipolar systems [29], which have long-range interactions and which therefore pre-
2Because we are periodically driving the system, the continuous time translation symmetry is reduced to a discrete time translation symmetry, given by the groupZ.
1.1. MOTIVATION AND RESULTS
sumably does not exhibit MBL. If MBL is not the mechanism to stabilize the DTC order, then what is the origin of the robustness of the DTC signature? In chapter 5, we answer this question: we analyze the stability of DTC order in driven, disor- dered systems with long-range interactions. We find that the interplay of driving, disorder and long-range interactions gives rise to ‘critically-slow’ dynamics, lead- ing to a decay rate that is asymptotically small in the perturbing parameter. We obtain this result via a resonance counting argument of pairwise spin flips that are seen to give rise to the dominant channel for which DTC order is lost by, and for- malize it with a quasi-local rotation incorporating the effect of disorder to extract the dominant decay physics.
Our results thus provide an explanation for the mechanism of stability of the DTC order observed in the experiments. Furthermore the method we employed can be used to understand non-equilibrium phenomena in other disordered, driven long-range systems, for example in reduced dimensionalities or with different power law interactions.
Entanglement dynamics in quantum many-body systems
This chapter is based on the work [61].
Lastly, in chapter 6, we study the dynamics of entanglement growth of quan- tum many-body systems beginning from a quench of random initial states that have zero entanglement.
We were motivated by numerical observations that the entanglement growth speed of ergodic and MBL systems are qualitatively different: in the former, en- tanglement across a cut is seen to grow universally linearly, S(t) ∼ t, while for MBL systems, it is seen to grow logarithmically,S(t)∼logt. An explanation of the logarithmic growth in MBL systems was provided via a dephasing picture [128], but an understanding of the linear growth in ergodic systems was not present.
We show that the spread of entanglement is intimately related to the growth of the physical size of the operators in space under time evolution. In time, an initially local operator with support localized in a region in space grows physically larger
1.2. MANY-BODY LOCALIZATION
within its light cone dictated by Lieb-Robinson bounds. Furthermore, it becomes scrambled – it becomes not just physically larger, but is also a complicated sum of all possible basis operators within its light cone. Decreases in the measurements of certain basis operators in the system translates to an increase in entanglement, leading to entanglement growth.
We provide a toy model motivated by random matrix theory, in which local operators fully scramble within its light cone, that we believe captures the salient features of the universal linear in time growth of entanglement seen in ergodic sys- tems. We also propose a method to experimentally measure entanglement entropy growth via a measurement of a Loschmidt echo in a replicated system setup.
The rest of the introduction provides some background material for the reader:
we explain the phenomena of many-body localization (MBL), how quantum en- tanglement is a useful tool to understand the nature of eigenstates of such a phase, relations to questions on ergodicity and thermalization and also the theory and methods employed to study periodically driven (Floquet) many-body systems.
1.2 Many-body localization
1.2.1 Anderson localization
In 1958, P. W. Anderson produced his seminal Nobel-prize winning paper that studied how transport and conductance in solids is affected by the presence of dis- order or impurities [10]. He was motivated to explain certain experimental obser- vations by Fletcher and Feher at Bell Laboratories of anomalously long relaxation times of electron spins in Si semiconductors doped with impurities [44, 45, 43].
What Anderson found was that in non-interacting systems of electrons moving in a disordered potential, single-particle eigenfunctions could be exponentially local- ized for strong enough disorder, contrary to the delocalized nature of eigenfunc- tions (i.e. Bloch states) at no disorder. This is the phenomenon dubbed ‘Ander-
1.2. MANY-BODY LOCALIZATION
son localization’. Since exponentially localized electrons cannot transport heat or charge, disordered materials can thus undergo a so-called ‘Anderson transition’
from conducting to insulating at strong enough disorder strengths.
More concretely, Anderson considered a simplified model to describe Feher’s experiments, a variant of which is given by
H =X
hi,ji
t(c†icj +c†jci) +X
i
Vic†ici. (1.1) In the above, electron-electron interactions that would be present in the experi- ments have been neglected, thus rendering the model a non-interacting one. Here c†i is the creation operator for an electron at sitei,tis the amplitude for short-range hopping, and the onsite potentialsVi are independent and identically distributed random variables, for example drawn from a box distribution of widthW.
A heuristic analysis can be performed in the ‘locator limit’ (wheret W) by treating the hopping terms as perturbations to the onsite disorder. In this case, each unperturbed single-particle eigenstate is simply fully localized at site i, so that|ii=c†i|0i. Turning on the hopping terms, different single-particle eigenstates start to mix, but the degree of hybridization (and thus delocalization) depends on the ratio of the hopping amplitudetto the difference between energies on two sites
|Ei−Ej| ∼W, which could potentially be large if by chance the energy difference is small. In that case, such a process is said to be resonant. However, one can argue that due to the presence of disorder, and the fact that the hopping is weak t W, typical perturbations are off-resonant, and therefore unperturbed eigenstates a distancerapart mix with a strength that goes ast(t/W)r ∼te−r/ξ. Thus, this leads to Anderson’s result of localization: single-particle eigenstates have amplitudes that fall off exponentially,
|ψi(r)|2 ∼e−
|r−ri|
ξ , (1.2)
which is to be contrasted to the case of a delocalized wavefunction
|ψi(r)|2 ∼ 1
Ld, (1.3)
1.2. MANY-BODY LOCALIZATION
whereLis the system size (in units of the lattice constant) anddthe dimensionality of the system. Of course, a more careful analysis requires properly taking care of the probability of dangerous resonance processes which would be detrimental to localization: Anderson’s treatment of this problem involved resumming the per- turbative series to all orders to account for such delocalization processes.
Anderson’s important initial calculation sparked a (still on-going) investigation into the nature of localization-delocalization transitions due to the presence of dis- order. Via the renormalization group, the theory of Anderson localization was in a milestone achievement formulated in terms of a single-parameter scaling theory [6]. In the theory, the Thouless conductance [132]
g = ET
δ = G
e2/h (1.4)
is the scaling variable, whereET is the Thouless energy identified by Edwards and Thouless,δis the mean level spacing, andGis a dimensionless conductance. With an upgrade of the scaling theory to an effective field-theoretic description of An- derson localization in terms of a non-linear σ model [144], more rigorous results arrived, and our current understanding of the phenomenon is as follows: in 1D and 2D, all electronic states3 are localized for arbitrarily weak disorder, implying a vanishing conductivityσ(T) = 0for any temperature T. In dimensions 3D and higher, there exists a so-calledmobility edge(introduced by Mott in [99]) in energy that separates localized and extended states, giving rise to an exponentially sup- pressed conductivityσ(T)∼e−Ec/T in the localized regime, whereEcis the energy difference from the Fermi level to the mobility edge.
3Barring important cases of the inclusion of a topological term [121] in the non-linearσmodel, which is needed to explain the Quantum Hall effect in 2D. Such systems necessarily imply the existence of some extended bulk states, contrary to the Anderson prediction of all eigenstates being localized.
1.2. MANY-BODY LOCALIZATION
1.2.2 Basko, Aleiner and Altshuler (BAA)
A very natural question that arises from the previous discussion is: does the phe- nomenon of Anderson localization survive in the presence of weak, short-range interactions? After all, the original experimental setup of Fejer’s involved interact- ing spins in a disordered potential, but the Anderson model treats the system in a non-interacting way. To what extent does a notion of localization extend also in the many-body case4?
Such a question, while almost instantaneously considered since the inception of the non-interacting Anderson localization, remained an unresolved issue till the work of Basko, Aleiner and Altshuler (BAA) in 2006 [14], although there was some notable progress made by Fleishman and Anderson in [48].
BAA’s treatment of the many-body problem involved considering the effect of many-body interactions to localized single particle eigenstates rigorously in all orders of perturbation theory (a very difficult calculation indeed!). They pre- dicted a many-body mobility edge separating localized and extended eigenstates in the many-body system, with implications that the conductivity is strictly zero σ(T) = 0for temperatures below some finite critical temperatureTc(or more pre- cisely, energy density, since temperature is an ill-defined concept without a bath).
There is thus a many-body metal-insulator transition separating the localized (non- conducting) and delocalized (conducting) regimes.
We do not present BAA’s formidable calculation here, but only very roughly sketch an outline. BAA considered a Hamiltonian of the form
H =X
α
ξac†αcα+X
αβγδ
Vαβγδc†αc†βcγcδ, (1.5) where c†α creates a localized single particle eigenstate with energy ξα, localization centerrα and localization length ζ. The unperturbed many-body eigenstates are the Fock states |nα1, nα2, nα3,· · · i, nαi = 0,1 of the single particle Hamiltonian.
Vαβγδ is a short range electron-electron interaction which is treated as a perturba-
4We consider systems which are isolated, that is, not coupled to an external bath.
1.2. MANY-BODY LOCALIZATION
tion, with matrix elements∼λδζ when
|rα−rβ|.ζ,
|ξα−ξδ|,|ξβ−ξγ|.δζ, or
|ξα−ξγ|,|ξβ −ξδ|.δζ, (1.6) whereδζ = (νζd)−1 ∼O(1)is the so-called local spectral gap within a region of size of the localization lengthζ.
In perturbation theory, repeated application of the perturbation V leads to a process where a particle-excitationα decays into some hole excitations and some particle excitations, and so on. Once again, similarly to the Anderson case, if the matrix element for such a process is comparable to the energy difference between the connected states then hybridization (and therefore delocalization) occurs in the Fock space. BAA’s difficult calculation involved using the self-consistent Born ap- proximation to obtain the imaginary part of the single-particle self energy ImΣto all orders in perturbation theory, and they found that the conductivity was strictly zero, σ(T) = 0, even for finite energy densities Tc > 0. This thus provided very strong evidence for the phenomenon of many-body localization.
1.2.3 Canonical model
Impressive as their perturbative calculation is, the model (1.5) that BAA utilized was not the most amenable to numerical simulations. The use of numerical meth- ods is necessary, for example to go beyond the peturbative limit and investigate the transition, which is where perturbation theory breaks down. To that end, Pal and Huse [107] therefore instead considered a 1D interacting spin-1/2model of a Heisenberg model with random on-site fields,
H =X
i
J(S~i·S~i+1+hiSiz), (1.7) where S~i are spin-1/2 Pauli matrices and hi are independent, identical random variables drawn from a box distribution[−h, h]. Note that such a model is map- pable via a Jordan-Wigner transformation to a fermionic Anderson model with
1.2. MANY-BODY LOCALIZATION
nearest-neighbor Hubbard interactions. In the literature on MBL, the spin model has become the canonical, or ‘Ising model’ of studies of MBL, and is the model of choice for both theoretical and numerical work [107, 152, 13, 129].
Let us first heuristically describe some salient features of two limits of the model: (h/J) → ∞ and (h/J) → 0+. In the former limit, we can essentially ig- nore the Heisenberg part of the Hamiltonian, leaving us with H = P
ihiSiz. So, the many-body eigenstates of (1.7) are simply product states in theSz-basis, of the form|si = | ↑↑↓ · · · i, wheres represents a spin configuration. Upon turning on smallJ, there will be some hybridization of these spin configuration states. How- ever the calculation of BAA [14] suggests that ifJ h, due to the disorder,J will off-resonantly coupled different spin configurations and so that new many-body eigenstates are all5 still ‘close’ to the spin configurations |si. Conversely, in the latter limit, hybridization is so strong that many-body eigenstates are essentially delocalized over the space of all spin configuration states |si, so in between, the model must exhibit a many-body localization transition at some finite value of the disorder strength hc. Many studies have pinpointed the MBL transition to be at hc ' 3.5[107, 92, 129]. Note that the point (h/J) = 0 is singular as the Heisen- berg model without random fields is solvable via the Bethe ansatz, which renders the model integrable and non-generic. However, any weak but finite disorder is believed to break that integrability and leads to ergodicity.
What is the nature of the many-body localization phase transition? It is a quan- tum phase transition (QPTs) even at finite energy density, in which the nature of each eigenstate changes singularly6. For example, an intuitive way to diagnose the two sides of the phase diagram would be to calculate the degree of delocalization of energy eigenstates over theSz-eigenbasis, with such states given by spin config- urations|si. A measure could be the inverse participation ratio (IPR) of momentq
5By all, we therefore mean atinfinitetemperature.
6This quantum phase transition is not a thermodynamic one as equilibrium thermodynamic observables (i.e. measuring observables with respect to ensemble of eigenstates in some energy window) do not exhibit singularities as one crosseshc.
1.2. MANY-BODY LOCALIZATION
[92], defined for an eigenstate|niwith energyEnas SIPR(q)(|ni) = 1
1−q lnX
s
pqs, (1.8)
where ps = |hs|ni|2 is the weight of |ni on the spin-configuration |si. Note that SIPR(1) = −P
spslnps. Forh ≤ hc, eigenstates are found [92] to be delocalized with scaling of the IPR
SIPR(q) =aqln(dimH), (1.9) whereaq∼1for allq, dimHis the dimension of the Hilbert spaceHwhich is equal to2Lfor a spin chain of lengthL, while forh > hc, eigenstates are found to have a scaling behavior either with a behavior similar to above but withaq 1oraq = 0 and a slow logarithmic divergence
SIPR(q) =lqln(lndimH), (1.10) indicating a non-trivial multifractal behavior.
Of course, there are many other diagnostics that can be used, one popular one of which is to look at the spectral statisticssn = (En+1−En)of adjacent energy lev- els in a many-body Hamiltonain [107]. In the infinite-randomness limit hc → ∞, the Hamiltonian reduces toH =P
ihiSiz, and a single spin flip from a given config- uration costs energy∼ hwhich is much larger than the many-body level spacing
∼2−L. Therefore nearby eigenstates in energy involve a large number of spin flips
∼ O(L), and so these eigenstates are spatially very dissimilar and therefore do not interact much. The energy spacingssnare therefore expected to follow a Pois- sonian distribution which indicates a lack of level repulsion (i.e. the distribution P(s)of sn has lims→0P(s) > 0). Conversely, in the hc → 0+ limit, highly excited eigenstates essentially look like random vectors described by random matrix the- ory, implying that level statistics should follow that of one of the random matrix ensembles, with lims→0P(s) = sβ for some β > 0indicating level repulsion. For the case of the canonical model (1.7) which has an antiunitary symmetry implying time reversal symmetry, the ensemble is given by the Gaussian Orthogonal Ensem- ble (GOE) with β = 1. The mean value of the level spacing distributions of these
1.2. MANY-BODY LOCALIZATION
two limiting distributions serves as a single number that can be used to distinguish between the localized and delocalized regimes.
Figure 1.1: Numerically obtained phase diagram of (1.7), as a function of energy densityand disorder strengthh. The transition into full MBL occurs athc ∼ 3.5. There is a many-body mobility edge for smaller values of h. Figure taken from [92].
Using such measures and more, state of the art exact diagonalization of up to L= 22spins has mapped out the phase diagram of (1.7) as a function of the energy densityand disorder strengthh, seen in Fig. 1.1.
1.2.4 Local integrals of motion, and phase of matter
The Hamiltonian (1.7) is very useful for numerical simulations, but the observa- tion thatalleigenstates look ‘similar’ to physical spin configurations|siin the fully MBL (FMBL) regime suggests the following phenomenological picture: There ex- ists anemergent, extensive number of local integrals of motion (LIOMs) (more pre- cisely, quasi-local) which all commute amongst themselves and with the Hamilto-
1.2. MANY-BODY LOCALIZATION
nianH, and which are just dressed versions of physical spins [127, 65].
In other words, an LIOM τ (also called an l-bit, l for local) can be expanded in terms of the physical degrees of freedomσ (also called p-bits, p for physical) as
τiz =X
j
Kijασjα+Kijkαβσjασkβ +· · · (1.11) where α = 0, x, y, z,, and Kiα11i2αi23α···i3···αm m have magnitudes that decay with the maxi- mum separation between any two spins in the set{i1, i2, i3,· · ·im}. Thus, the sup- port of the operatorτiz is mostly localized on siteiand decays exponentially away from it.
Written in terms of the LIOMs, the Hamiltonian then takes the form H =X
i
hiτiz+X
ij
Jijτizτjz+X
ijk
Jijkτizτjzτkz+· · · (1.12) whereJi1i2···im have magnitudes which similary toKi1i2···im decay exponentially in the maximum separation between any two spins in the set{i1, i2, i3,· · ·im}. There- fore, this Hamiltonian is diagonal and quasi-local, and many-body eigenstates are simply product states in theτz basis, which are weakly rotated from a parent spin configuration basis|si. Note that in the non-interacting Anderson limit, onlyhi’s are non-zero, while interaction termsJ’s are all zero.
We see that the dynamics of this Hamiltonian is straightforward (but non- trivial): each τiα operator precesses about the z-axis set by the effective field ex- perienced at site i, which is dependent on the interactions J and the state of the other LIOMs. This leads to interesting predictions about dynamics such as the log- arithmic in time growth of entanglement as we will see below [13]. Moreoever, sinceτizs all commute with the Hamiltonian, MBL systems retain memory of their local initial conditions for an infinitely long time, raising intriguing possibilities of them being used for novel platforms for quantum memory [130].
This phenomenological picture of LIOMs or l-bits was argued for in [127, 65], and has proven to be extremely useful in analytical calculations of various quanti- ties in fully MBL systems. Furthermore, a proof that MBL systems indeed take the
1.2. MANY-BODY LOCALIZATION
form (1.12) was mathematically given7in [68], lending even more credence to this picture.
One should also note that the presence of these LIOMs arerobust. That is to say, if one perturbs the original fully MBL Hamiltonian (1.12) by a local perturbation V, so that
H →H0 =H+V, (1.13)
then if the perturbation is weak enough, H0 will still be described by the phe- nomenology of (1.12), but with modifiedK, hi, andJ in the expansion of the LI- OMs (1.11) and the Hamiltonian. Thus, the MBL prescription describes aphase of mattercharacterized by robust emergent integrability, leading to a lack of transport and therefore infinitely persistent memory of local initial conditions.
At this stage, let us restate the phenomenology of FMBL in slightly more con- crete terms. Let us be given a Hamiltonian written in terms of physical spin vari- ablesH(σ)such as (1.7). Then the FMBL regime is characterized by the existence of a (not necessarily unique) quasi-local unitaryU(σ), such that there is an extensive number of emergent quasi-local operators
τiα(σ)≡U(σ)†σiαU(σ), (1.14) and the Hamiltonian can be re-expressed in terms of theτ variables8
H(σ) = H(σ(τ)) =X
i
hiτiz+X
ij
Jijτizτjz +· · · , (1.15)
7Well, almost, barring one very physical assumption about the amount of level attraction in quantum many-body systems.
8To express σ in terms of τ, as in σ(τ) = · · ·, is a straightforward albeit convoluted af- fair: from (1.14), one can define the map between the space of all tensor products of opera- tors of τ and all tensor products of operators of σ, i.e. (τiα11τiα22· · ·) = U(σ)†(σiα11σαi22· · ·)U(σ).
Furthermore we can parameterize U(σ) in terms of its Hermitian generators σ and their real coefficients c, via U(σ) = U(c, σ) = exp(−iPcαi11iα22······(σiα11σαi22· · ·)). Then we have (τiα11τiα22· · ·) = P
(β;j)R(α1α2···;i1i2···),(β1β2···;j1j2···)(σβ1j1σjβ22· · ·)whereR is the rotation matrix as- sociated with the adjoint action ofU(σ). Multiplying both sides byRT then gives(σiα11σαi22· · ·) = U(c, τ)(τiα11τiα22· · ·)U(c, τ)†, which impliesσαi =U(c, τ)τiαU(c, τ)†andU(σ(τ)) =U(c, τ).
1.3. QUANTUM THERMALIZATION AND ERGODICITY
so thatτizs are the quasi-local integrals of motion
[H, τiz] = 0 (1.16)
for all i. Quasi-locality means that the expansionτiα(σ)of (1.14) in theσ operator space is localized at sitei. Eigenstates ofH(σ)are then given by
|ni=U(σ)†|si, (1.17)
which we see are just small rotations of the physical spin configuration |si if the disorder is strong.
The requirement of quasi-locality ofU(σ)is important: if we relax such a con- dition, then we can always find many integrals of motion, such as the 2L projec- tors onto eigenstates |nihn|. However, that is obviously not a very meaningful statement as this will be true for any quantum mechanical system. The property of quasi-locality therefore imposes a stringent condition to satisfy and leads to a sharp distinction between FMBL and not-FMBL phenomenology.
1.3 Quantum thermalization and ergodicity
Thus far, we have described the MBL phase as one that is characterized by a lack of transport and infinitely persistent memory of local initial conditions. However, such characteristics are rather operational, and we would like a more fundamental and more abstract understanding of the crux of the phenomenon of many-body localization. It turns out that MBL should be thought of as a noveldynamicalphase of matter, with the crucial feature that it is nonergodic.
In the fields of quantum dynamics and quantum statistical mechanics (see [104]
for a review), a very general and important, yet not very well understood question that can be asked is the following: what is the fate of generic, interacting, isolated quantum many-body systems? More precisely, if one prepares an out of equilibrium state (by quenching the system for example) and let it evolve under its own dy- namics, does the systemequilibrate after some long time? In other words, does it
1.3. QUANTUM THERMALIZATION AND ERGODICITY
reach a steady state? Even more stringently, does itthermalize, i.e. can expectation values of microscopic variables be described, in this limit, by some small number of macroscopic variables relating to global conserved quantities in the system such as energy or particle number?
Of course first we have to clarify what it means for equilibration and thermal- ization to take place in the context of isolated systems, i.e. without coupling to a bath. After all, quantum dynamics is unitary, so information preserving; the full density matrix of the system just picks up phase factors when written in the energy eigenbasis|ni:
ρ(t) = X
nm
cnm|nihm|e−i(En−Em)t, (1.18) and clearly does not have a steady state limitlimt→∞ρ(t)6=ρeq.
However, the key point is that while indeed all the quantum information is preserved within ρ(t), the information gets scrambled between different degrees of freedom over time, some of which could be macroscopically physically large (i.e. global variables with support on the order of the size of the system). If we are only allowed to perform local measurements on only a few degrees of freedom, as is the case of the physical world, then we will be unable to recover all the quantum information. Then, measurements of local operators can indeed reach a steady limit, which is equilibriation. Thus the correct way to think about this dynamics is to consider partitioning the isolated system in to two parts, Aand B, where Ais a small subsystem compared toB, such that the ratio of the number of degrees of freedom between the two is vanishingly small in the thermodynamic limit. Then we only consider measurements restricted toA, which amounts to tracing out the contributions ofBto give the reduced density matrix onA
ρA(t) = TrB(ρ(t)) = TrB(U(t)ρ(0)U†(t)), (1.19) which could have a steady state limit limt→∞limL→∞ρA(t) = ρA,eq. If in addition this limit is given by the equilibrium Gibbs ensemble
ρA,eq = 1
ZTrB e−βH
, (1.20)
1.3. QUANTUM THERMALIZATION AND ERGODICITY
where the inverse temperatureβ is obtained implicitly from the energy density of the initial state (which is conserved) via the following equation
Tr(Hρ(0)) = 1
ZTr He−βH
, (1.21)
then we say the system is thermalizing and hence has ergodic dynamics.
The link of quantum dynamics to quantum statistical mechanical mechanics emerges when we realize that if (1.20) is true, then essentially the subsystemB is serving as a bath forAallowing it to thermalize, even though the combined system A∪B is isolated. The original question that we posed at the beginning can then also be understood as:Does an interacting quantum many-body system serve as its own heat bath? For a long time, it was assumed that generic interacting systems are always ergodic and thermal – that a statistical mechanical description holds given long enough times. However, the discovery of MBL reveals that this assumption is not correct. The MBL phase is therefore to be considered as a new dynamical phase of matter, characterized a lack of ergodicity, a failure to thermalize, and an inability for quantum information to be scrambled globally in the system.
1.3.1 Eigenstate thermalization hypothesis (ETH)
What implications are there for a quantum mechanical many-body system that does thermalize? It turns out that one way of reconciling quantum statistical me- chanics and the dynamics of quantum thermalization involves imposing strong and surprising constraints on the nature of eigenstates and observables in such systems, captured by the eigenstate thermalization hypothesis (ETH).
Consider a pure quantum state of a thermodynamically large many-body sys- tem, which is in a superposition of energy eigenstates|nithat have energiesEn,
|ψ(0)i=X
n
cn|ni, (1.22)
1.3. QUANTUM THERMALIZATION AND ERGODICITY
so that it has a mean energyE¯ and small energy uncertainty∆, E¯ =X
n
|cn|2En
∆ = q
hψ(0)|H2|ψ(0)i −E¯2 E.¯ (1.23) The measurement of a local operatorOin time is
hψ(t)|O|ψ(t)i=X
n
|cn|2Onn+X
n6=m
c∗ncme−i(Em−En)tOnm. (1.24) In the infinite time limit, the off-diagonal terms dephase, interfere, and cancel, and so the measurement should reach a steady value given by the time-average
hOi= lim
T→∞
1 T
Z T 0
dthψ(t)|O|ψ(t)i=X
n
|cn|2Onn. (1.25) On the other hand, if the system is thermalizing, then the expectation value ofO can be described well by quantum statistical mechanics, as discussed previously.
In this case,hOican be equally well calculated from hOi= 1
ZTr Oe−βH
Canonical ensemble, (1.26) with inverse temperature fixed byE¯, or
hOi= 1
NTr O
N
X
n=1
|nihn|
!
Micro-canonical ensemble, (1.27) where the sum is over theN states in the small energy window[ ¯E−∆,E¯+ ∆].
If we concentrate on the latter, we get hOi=X
n
|cn|2Onn =
N
X
n=1
1
NOnn. (1.28)
How can this expression be equal for generic initial states that have different values coefficientscnbut with similarE¯ and∆?
One way this can be made equal is if the matrix elements Onn form a slowly varying function of energy on the order of ∆, Onn ∼ O( ¯E), and so equality can be achieved since P
n|cn|2 = 1 = PN n=1
1
N. Coupled with predictions on how far
1.3. QUANTUM THERMALIZATION AND ERGODICITY
the instantaneous value of the observable should deviate from the thermal or equi- librium value in the long time limit leads to Srednicki’s eigenstate thermalization hypothesis (ETH) for the matrix elements of local operators [35, 131]:
hn|O|mi ≡ Onm=O( ¯E)δnm+e−S( ¯E)/2fO( ¯E, ω)Rnm, (1.29) where in this situationE¯ ≡ (En+Em)/2, ω ≡ En−Em, and S(E)is the thermo- dynamic entropy at energyE. O( ¯E)is a smooth slowly varying function that only depends on the average energy, while fO( ¯E, ω)is a smooth, function that varies slowly with E¯ but can vary quickly with ω. Rnm is a random real or complex number with zero mean and unit variance, which should be understood in the sta- tistical context of all pairs of eigenstates, since a given realization of a Hamiltonian does not yield probabilistic eigenstates.
Figure 1.2: Figure from [49]. Trace norm distance between the two density matri- ces of the LHS and RHS of (1.31), for various system sizesL. (Left): Trace norm distance for all eigenstates in some inverse temperature windowβfor a subsystem of sizeLA = 5. (Right): Scaling of mean and standard deviation of trace norm dis- tance withL, for various subsystem sizesLA. For fixedLA, one sees a decrease in the distance asL(or equivalently, the size of the bathB) is increased: this provides evidence that the equality (1.31) holds in the thermodynamic limit.
Another formulation of the ETH which constrains the nature of eigenstates is to take the limiting case when |ψ(0)i is indeed just an eigenstate |ni. Then,
1.3. QUANTUM THERMALIZATION AND ERGODICITY
hψ(t)|O|ψ(t)i=hn|O|niis a static quantity. But if one assumes that in a thermaliz- ing system all initial states eventually reach thermal equilibrium, which includes the special case of a single eigenstate9, then it must mean that the expectation value of a local operatorOis given by
hn|O|ni= 1
ZTr Oe−βH
, (1.30)
withβimplictly defined fromhn|H|ni= Tr He−βH
/Z. However,Ocould be any generic local operator. In particular, if (1.30) is true for all basis operators in some small subregion A, then the equality must hold at the level of reduced density matrices of this small subregion in the thermodynamic limit:
ρA(|ni) = TrB|nihn|= 1
ZTrB e−βH
, (1.31)
which is a very strong statement about the character of individual eigenstates of a thermalizing system.
It important to note that the ETH is a hypothesis, with no rigorous analytical understanding of its validity or applicability. Numerically though, it has been tested extensively and seen to hold in systems where thermalization holds. For example, Fig. 1.2 describes numerical work in probing (1.31): indeed, they see that equality of the equation, measured via the trace norm distance of two density matrices, is achieved in the thermodynamic limit.
Of course, the ETH does not hold true in systems which do not thermalize.
Connecting to the previous discussion on MBL and ergodicity, we see that yet an- other characterization of the MBL phase is the breakdown of the eigenstate ther- malization hypothesis.
9The assumption of all eigenstates being thermal leads to the notion ofstrongETH[76]; if almost all eigenstates are thermal then we haveweakETH.