Analytic approaches to periodically driven closed quantum systems: Methods and Applications

Arnab Sen(1), Diptiman Sen(2), and K. Sengupta(1) (1)School of Physical Sciences, Indian Association for the Cultivation of Science, 2A and 2B Raja S. C. Mullick Road, Jadavpur 700032, India (2)Center for High Energy Physics and Department of Physics, Indian Institute of Science, Bengaluru 560012, India (Dated: February 9, 2021) We present a brief overview of some of the analytic perturbative techniques for the computation of the Floquet Hamiltonian for a periodically driven, or Floquet, quantum many-body system. The key technical points about each of the methods discussed are presented in a pedagogical manner. They are followed by a brief account of some chosen phenomena where these methods have provided useful insights. We provide an extensive discussion of the Floquet-Magnus expansion, the adiabatic- impulse approximation, and the Floquet perturbation theory. This is followed by a relatively short discourse on the rotating wave approximation, a Floquet-Magnus resummation technique and the Hamiltonian flow method. We also provide a discussion of some open problems which may possibly be addressed using these methods.

I. INTRODUCTION that arise from a change of the properties of their Flo- quet Hamiltonian as a function of the drive frequency; The physics of periodically driven, or Floquet, quan- these transitions have no analog in quantum system in 24,25 tum many-body systems has received tremendous atten- equilibrium . Moreover, periodically driven systems tion in recent times1–6. This is due to the fact that such may lead to the realization of a time-crystalline state driven systems exhibit a gamut of interesting phenomena of matter (a phase of matter which is disallowed in 26 which have no analogs either in equilibrium closed quan- equilibrium ); such a state (for a discrete time crys- tum systems or in systems taken out of equilibrium using tal characterized by a Zn symmetry group) exhibits dis- quench or ramp protocols7,8. Moreover, in recent times crete broken time translational symmetry so that its local ultracold atoms in optical lattices, trapped ions and su- correlation functions develop nT -periodicity even when 27–29 perconducting qubits have provided the much needed ex- the Hamiltonian is T -periodic . Furthermore, such perimental platforms where theoretical results involving driven systems exhibit dynamical freezing wherein the such driven systems can be tested9–16. driven state of the system, after n periods of the drive In periodically driven quantum many-body systems, at specific frequencies remains arbitrarily closed to the 30–33 where the time-dependent Hamiltonian follows H(t + initial state . Also, it is well-known that quantum systems in the presence of a periodic drive may lead to nT ) = H(t) for a fixed time period T = 2π/ωD with ωD being the associated drive frequency and n being an arbi- dynamical localization where the drive leads to suppres- 34–36 trary integer, the stroboscopic dynamics at times t = nT sion of the transport of particles in the system . Fi- 17 nally, more recently, it was found that there is a class of is controlled by the Floquet Hamiltonian HF . The Flo- quet Hamiltonian is a Hermitian operator defined as the periodic drives which respects the conformal symmetry generator of the single-period time-evolution operator, or of the underlying field theory; such driven conformal field the Floquet unitary U(T ), which equals theories lead to drive-induced emergent spatial structures in the energy density and correlation functions that have h −i R T dtH(t)/ i −iH T/ U(T ) = T e 0 ~ = e F ~, (1) no analogs in standard non-relativistic systems with ex- ternal drive37–39. where T denotes time-ordering. We note here that the Another interesting feature of periodically driven time-ordering makes it notoriously difficult to calculate quantum systems can be understood from the perspective 3,40 HF for interacting systems and one generally has to re- of the eigenstate thermalization hypothesis (ETH) . arXiv:2102.00793v2 [cond-mat.str-el] 8 Feb 2021 sort to various approximations. It is generally expected that all non-integrable ergodic Most of the phenomena in periodically driven closed quantum many-body systems obey ETH in the ther- quantum systems which have attracted recent attention modynamic limit. When driven periodically, such sys- follow from the properties of their corresponding Flo- tems absorb energy from the drive and heat up to an quet Hamiltonians. For example, these Hamiltonians in infinite temperature steady state implying a featureless periodically driven systems may have topologically non- Floquet-ETH for local correlation functions41,42. This trivial eigenstates even when the ground state of the equi- has the interesting consequence of the Floquet unitary librium system is topologically trivial18–23. Thus the U(T ) (Eq. (1)) resembling a random matrix43 with all its drive may generate non-trivial topology which can be eigenstates mimicking random states as far as local quan- characterized by specific topological invariants23. Such tities are concerned, thus leading to a featureless infi- systems are also known to exhibit dynamical transitions nite temperature ensemble starting from all initial states. 2

However, the approach of the system to such a steady systems and therefore deserve a somewhat long discourse. state, namely, its prethermal behavior, in the presence of These are the Floquet-Magnus expansion method (Sec. a periodic drive is not well-understood and is the subject II), the adiabatic-impulse approximation (Sec.III), and of many recent works44–47. It is generally agreed upon the Floquet perturbation theory (Sec.IV). In addition, that the time window t∗ for such a prethermal regime we provide somewhat shorter discussions on the rotating ωD /J depends on the drive frequency t∗ ∼ e~ loc , where wave approximation, a recent Floquet-Magnus resumma- Jloc denotes a local energy scale, in the high drive fre- tion technique, and the Hamiltonian flow method in Sec. quency limit44. However, the extent of this regime and V. Finally, we summarize this review and discuss a few the Floquet prethermalization mechanisms beyond high open problems in the field in Sec.VI. frequencies in the intermediate or low drive frequency regime are yet to be fully understood. This is a particu- larly relevant issue since many ETH-violating phenomena II. FLOQUET-MAGNUS EXPANSION in driven finite-sized systems can be expected to occur for drive frequencies in the prethermal regime in thermo- In this section, we will outline the calculation of H dynamically large systems, and such finite-sized systems F in the high driving frequency regime using a technique may be experimentally realized using various platforms called Floquet-Magnus (FM) expansion6,58 that formally like ultracold atoms in optical lattices. results in a series of the form The violation of ETH in a thermodynamic many- ∞ body system may occur due to loss of ergodicity due X n to the presence of a large number of constants of mo- HF = T Ωn. (2) tion as seen in integrable systems7 or due to strong dis- n=0 order as seen in the case of systems exhibiting many- The FM expansion is the method of choice to systemat- body localization48. When such systems are periodically ically calculate new terms in the Floquet Hamiltonian, driven, they reach steady states which can be qualita- that may be otherwise difficult to generate in an equi- tively different from the standard infinite temperature librium setting, and thus manipulate out-of-equilibrium steady states of their ETH obeying counterparts49–51. phases by controlling the drive protocol. Moreover, a wide range of quantum many-body systems The explicit expressions for the first three terms in with constrained Hilbert spaces are known to host a Eq. (2) are as follows: special class of many-body eigenstates called quantum scars in their Hilbert space52–55. It has been shown 1 Z T that the presence of such quantum scars may change the Ω0 = dt1H(t1), (3) quantum dynamics of such driven systems52,55; more- T 0 over, a periodic drive applied to such systems with fi- 1 Z T Z t1 Ω = dt dt [H(t ),H(t )], nite size may lead to reentrant transitions between er- 1 2 1 2 1 2 2i~T 0 0 godic and non-ergodic behaviors as a function of the drive Z T Z t1 Z t2 frequency56,57. This phenomenon, theoretically investi- 1 Ω2 = − 2 3 dt1 dt2 dt3 gated for a chain of Rydberg atoms, can be shown to fol- 6~ T 0 0 0 low from the property of the Floquet Hamiltonian of the ([H(t1), [H(t2),H(t3)]] + [H(t3), [H(t2),H(t1)]]) . driven Rydberg chains which can be experimentally real- 13 ized using an ultracold atom setup . Such finite chains The general expression for Ωn (Eq. (2)) can be written have also been shown to exhibit both dynamical freezing in terms of right-nested commutators of H(t) as follows: and novel ETH violating steady states32. 1 X da!db! Though these phenomena in periodically driven quan- Ω = (−1)db (4) n (n + 1)2 n! tum systems follow from the structure and properties of σ∈Cn+1 their Floquet Hamiltonian, the Floquet Hamiltonian of Z T Z t1 Z tn a driven quantum system can, unfortunately, be com- 1 × n n n+1 dt1 dt2 ··· dtn+1 puted analytically for only a handful of cases. There- i ~ T 0 0 0 fore it is natural that several approximate methods ex- ×[H(tσ(1)), [H(tσ(2)), ··· , [H(tσ(n)),H(tσ(n+1))] ··· ]], ist in the literature which try to obtain an analytic, al- beit perturbative, expression for HF (Eq. (1)). These where σ ∈ Cn+1 denotes a permutation of {1, 2, ··· , n+1} analytical results can then be compared with exact nu- (sum is over the (n + 1)! permutations of Cn+1), da (db) merical studies on finite-sized systems to ascertain their is the number of ascents (descents) in the permutation accuracy and range of validity. In this review, we will σ where σ has an ascent (a descent) in i if σ(i) < σ(i + explore some of these methods with a pedagogical in- 1) (σ(i) > σ(i + 1)), i = 1, ··· , n for (i1i2 ··· in+1) = troduction to the technical details for each followed by (σ(1)σ(2) ··· σ(n + 1)), thus giving da + db = n for any a short description of a few chosen areas where these permutation σ. method have yielded useful results. Three of these meth- We will now indicate the essential steps required for ods have been widely applied to a wide range of driven the derivation of the FM expansion (for more details, 3 we refer the reader to Refs.6 and 59). From standard Using Eq. (11) in Eq. (8) gives Eq. (3). For example, quantum mechanics, the propagator U(t, t0) defined by p(12) − (1/2)(p(1) · p(1)) = (1/2)(p(12) − p(21)) from which the expression for Ω1 follows straightforwardly. It |ψ(t)i = U(t, t0)|ψ(t0)i, where U(t0, t0) = I (5) should be noted that the RHS of Eq. (11) contains all pos- sible permutations of time ordering that are consistent (here I is the identity matrix and |ψ(t)i is the many-body with the time ordering within the factors of the original wave function of the system at time t), can be expressed products on the LHS. For example, in the second line in terms of the Dyson series as follows: of Eq. (11), terms such as p(132), p(231), p(321) do not ∞ appear because they are inconsistent with the time order- X U(t, t0) = I + Pn(t, t0), where (6) ing implied by the LHS p(1) · p(12) that the second index n=1 is less than the third index while the first index is ar- n −i Z t Z tn−1 bitrary in p(i1i2i3). This structure generalizes to higher Pn(t, t0) = dt1 ··· dtnH(t1) ··· H(tn). orders as well allowing for the derivation of Ωn in terms ~ t0 t0 of right-nested commutators (Eq. (4)). Since U(T ) = U(T, 0) from Eq. (1), we can simply put An important case where the integrals in Eq. (4) may be analytically computed is for a step-like drive between t0 = 0 and t = T in Eq. (6) to obtain the Dyson series for U(T ). Note that truncating the Dyson series does Hamiltonians H1 for duration T1 and H2 for duration T2 not result in a unitary approximation for U(T ). From where T = T1 + T2. Eq. (2) then reduces to the Baker- Eqs. (1) and (6), it follows that Campbell-Hausdorff (BCH) formula where Z = ln (exp(X) exp(Y )) (12) ∞ ! i X H = ~ ln I + P , (7) 1 1 F T n = X + Y + [X,Y ] + [X − Y, [X,Y ]] + ··· , n=1 2 12 with the identification that X = −iH1T1/~, Y = where we denote Pn(T, 0) by Pn for brevity. Using the −iH T / and Z = −iH T/ . In this section, we hence- series expansion for the logarithm in the above expression 2 2 ~ F ~ forth set ~ = 1 for notational convenience. (Eq. (7)), expressing the LHS using Eq. (2) and finally, We now summarize a few general points regarding matching terms with the same powers of H(t) allows one the FM expansion focussing on many-body lattice mod- to express Ωn (Eq. (4)) in terms of Pn (Eq. (6)). In els with short-ranged Hamiltonians and bounded local particular, for the first few terms, we get Hilbert spaces1,5,44. From Eqs. (3) and (4), it is clear 0 0 i that while only Ω0 6= 0 if [H(t),H(t )] = 0 for t 6= t ; ~ 0 Ω0 = P1, in the case where [H(t),H(t )] 6= 0, the FM expansion T (Eq. (2)) is an infinite series in general. A sufficient (but i  1  ~ 2 not necessary) condition for this infinite series to con- Ω1 = 2 P2 − P1 , T 2 verge is that i  1 1  ~ 3 Z T Ω2 = 3 P3 − (P1P2 + P2P1) + P1 , (8) 1 T 2 3 dtkH(t)k2 < π, (13) ~ 0 To express the RHS of Ω1 and Ω2 (Eq. (8)) in terms where kAk2 denotes the spectral norm of a matrix A that of right-nested commutators, we introduce the following equals the square root of the largest eigenvalue of the ma- notation: trix A†A. For short-ranged Hamiltonians, given that the R T Z T Z t1 Z tn−1 energy is extensive, we expect that (1/~) 0 dtkH(t)k2 ∝ p(i1i2 ··· in) = dt1 dt2 ··· dtn × N where N denotes the number of degrees of freedom, 0 0 0 which implies that in general, Eq. (13) cannot be satisfied H(t )H(t ) ··· H(t ). (9) i1 i2 in for any finite T in a thermodynamically large system. In Using Fubini’s theorem, fact, the weight of evidence suggests that the FM expan- sion is indeed divergent for periodically driven interact- Z a Z a Z a Z x ing systems44 which eventually heat up to a featureless dy F (x, y)dx = dx F (x, y)dy, (10) infinite temperature ensemble at late times due to the 0 y 0 0 absence of energy conservation under driving41,42. As- it can then be shown that suming that the Hamiltonian has at most k-local terms (e.g., k-spin interactions in a quantum spin model on a p(1) · p(1) = p(12) + p(21), lattice), the higher-order terms in the expansion generate p(1) · p(12) = p(123) + p(213) + p(312), progressively longer-ranged terms where Ωn contains at most nk-local terms. Thus, taking the infinite series for p(12) · p(1) = p(123) + p(132) + p(231), the Floquet-Magnus expansion should amount to gener- p(1) · p(1) · p(1) = p(123) + p(132) + p(213), 43 ating a HF that resembles a random matrix and hence +p(231) + p(312) + p(321). (11) mimics an infinite temperature ensemble locally. 4

† However, an important simplification happens at large where nj = cjcj, cN+1 = c1, and the number of sites, N, drive frequencies44 which makes truncating this divergent is even. The Floquet structure is induced by a periodic FM expansion up to a finite order physically meaningful. kicking Hamiltonian of the form When the drive frequency ωD  Jloc where Jloc denotes ∞ the energy scale associated with local rearrangements of X the degrees of freedom in an interacting problem (which HK = δ(t − nT )(αNe − βNo), (15) can be deciphered from H(t)), there appears a large tran- n=−∞ sient time t ∼ exp(ω /J ) below which the system is in ∗ D loc where N = P n and N = P n are the total a prethermal Floquet state that can be well described by e i∈e i o i∈o i number of fermions on the even and odd sites, respec- a truncated Floquet Hamiltonian H(n) = Pn T mΩ F m=0 m tively. Considering the non-interacting limit of V = 0, choosing an optimum n = n0. The heating is prevented (n) and using the following special case of the BCH formula in the prethermal regime (t . t∗) because HF appears (Eq. (12)) when [X,Y ] = ζY , as a conserved quantity at stroboscopic times, i.e., at times t = nT . Moreover, and very importantly, the dy- exp(X) exp(Y ) = exp(exp(ζ)Y ) exp(X). (16) namics of local observables can also be accurately de- † † Since [nj, cj] = −cj and [nj, c ] = c , we obtain scribed44 by the unitary dynamics generated from the j j (n) truncated Floquet Hamiltonian HF when t . t∗. For U(T ) = UK UNI times t  t , the system eventually flows to an infinite ∗ = exp(−i(αN − βN )) exp(−iH T ) temperature ensemble. Physically, a many-body system e o NI = exp(+iH T ) exp(−i(αN − βN )), (17) requires O(ωD/Jloc)  1 correlated local rearrangements NI e o to absorb a single quantum of energy from the drive when the drive frequency is large, hence implying a heating when α + β = π. Restricting to α = π, β = 0 so that the periodic kicks (Eq. (15)) are applied only to the even time that scales as exp(ωD/Jloc). We now give an example to show that non-trivial terms sites implies that can be generated in the FM expansion even at low orders U(2T ) = U 2(T ) = exp(−i2πN ) = I, (18) (Ω1, etc in Eq. (3)) which may be otherwise difficult to t generate in static settings. To this end, we consider a model of spinless fermions on a one-dimensional lattice where Nt is the total number of fermions in the system. where the Floquet driving is chosen in such a manner Thus, the non-interacting system is strictly localized at that the problem is dynamically localized without inter- intervals of 2T . We now turn on HI (Eq. (14)) and com- actions. We then consider the interacting problem and pute HF as an expansion in powers of the drive period T use the FM expansion to calculate the first few terms of (Eq. (2)). Since HI commutes with HK , it can be seen the Floquet Hamiltonian. Since the problem has no ki- that netic energy in the Floquet Hamiltonian by construction 2 (due to the dynamical localization), these terms are en- U (T ) = exp(−iHF 2T ) (19) tirely determined by the interaction energy scale and the = exp(−i(−HNI + HI )T ) exp(−i(HNI + HI )T ). driving period T , and generate density-dependent hop- pings of the fermions as we show below 35. We can now use the BCH formula (Eq. (12)) to arrive at To this end, let us consider the Hamiltonian iT T 2 H = H + [H ,H ] − [H , [H ,H ]] + ··· , H = HNI + HI F I 2 NI I 6 NI NI I N N (20) X † X = −γ (cjcj+1 + H.c.) + V njnj+1, (14) which finally gives j=1 j=1

X iγT V X γ2T 2V X  H = V n n − (c† c − c†c )(n − n ) − (n − n )(n − n ) F j j+1 2 j+1 j j j+1 j−1 j+2 3 j j+1 j−1 j+2 j j j 1  + (c† c + c† c )(n + n − 2n ) − (c† c − c† c )(c†c − c† c ) . (21) 2 j−1 j+1 j+1 j−1 j+2 j−2 j j−2 j−1 j−1 j−2 j j+1 j+1 j

Thus, the Floquet Hamiltonian (Eq. (21)) contains induced by HI (Eq. (14)). density-dependent fermion hoppings and pairwise hop- Before concluding this section, we briefly discuss an- pings apart from the usual density-density interactions other incarnation of Floquet prethermalization that al- 5 lows the realization of prethermal versions of nonequilib- The driving is then chosen to have the property rium phases like Floquet time crystals27–29, but without the necessity of strong disorder60. Such a prethermaliza- Z T π tion occurs when the drive frequency ω is greater than dt hx(t) = , (27) D 0 2 all but one of the local scales of the Hamiltonian. Let the Q x time-dependent Hamiltonian H(t) be of the form which gives X = i σi and M = 2. This implies that hx ∼ 1/T and it is also assumed that hz,J  1/T . H(t) = H0(t) + V (t), (22) P z z Then D = −J hiji σi σj + ··· where ··· denote higher- where both H0(t) and V (t) are periodic functions with order corrections that preserve the Ising symmetry since period T . Furthermore, λT  1 where λ is the local en- [D,X] = 0. Starting with a short-ranged correlated state ergy scale of V (t). Importantly, the term in the Hamil- |ψ(0)i which breaks the Ising symmetry and which also tonian with the large coupling (comparable to the drive has an initial energy density (with respect to the Hamil- frequency ωD) needs to take a special form to avoid rapid tonian D) that corresponds to a temperature T < Tc in heating. H0(t) has the property that it generates a trivial two dimensions (where Tc denotes the critical temper- time evolution over M time cycles, i.e., ature for spontaneous breaking of the Ising symmetry) z z XM = I, where ensures that hσi (2nT )i = −hσi ((2n + 1)T )i 6= 0. Here, we have implicitly assumed that the system locally “ther- Z T ! malizes” with respect to the Hamiltonian D starting from X = T exp −i dtH0(t) . (23) 0 the initial state |ψ(0)i on a timescale tth  t∗. Thus, the discrete time translation symmetry of the system is spon- Going to the interaction picture (where V (t) is the “in- taneously broken which results in a prethermal Floquet teraction” term), we see that time crystal that eventually melts away for times t  t∗. Z MT ! As long as the discrete time translation symmetry of the U(MT ) = T exp −i dtVint(t) , (24) drive is unbroken, this prethermal phase is stable to any 0 small perturbations in Eq. (26). † where Vint(t) = U0(t, 0) V (t)U0(t, 0) with U0 being the M propagator for H0(t). Since U0(MT ) = X = I, the time evolution operator U(MT ) is identical in the in- III. ADIABATIC-IMPULSE APPROXIMATION teraction and Schr¨odingerpictures. Rescaling time as t → t/λ, Eq. (24) then describes a system being period- In this section, we discuss the adiabatic-impulse ically driven at a large frequencyω ˜D = 2π/(λMT ) by a method. It is one of the few methods which can compute drive of local strength 1 where standard Floquet prether- the Floquet Hamiltonian accurately in the low-frequency 44 malization results apply forω ˜D  1 resulting in a large drive regime. In this sense, it is complementary to the prethermal time t∗ ∼ exp(˜ωD). FM expansion described in the previous section. A some- Generalizing the ideas in Ref. 61, Ref. 60 showed that what detailed account of this method has been presented within the prethermal window, the Floquet unitary U(T ) in Ref.4. Here we will briefly discuss its salient features, can be well approximated by chart out the basic computations involved, and discuss its recent application to integrable periodically driven sys- U(T ) ≈ V† (X exp(−iDT )) V, (25) tems. where V is a time-independent local unitary rotation, To this end, we first consider a two-level Hamiltonian and D is a local Hamiltonian that has the property given by [D,X] = 0. Hence the stroboscopic time evolution has † an emergent symmetry VXV that commutes with U(T ) H2 = (t)σz + ∆0σ1, (28) even though H(t) has no such symmetry. Interesting prethermal phases can be stabilized when X can be inter- where σx,z are Pauli matrices and ∆0 is a constant. We preted as a symmetry that can be spontaneously broken will consider (t) = 0f(ωDt) to be an arbitrary periodic due to the choice of the initial state and the dimension- function of time, characterized by a drive amplitude 0 ality of the system. and a periodic time-dependent function f(ωDt), where For example, to stabilize a prethermal Floquet time ωD = 2π/T is the drive frequency, and T is the time crystal, an Ising ferromagnet can be considered on the period. The method yields an accurate description of 2 2 2 square lattice with a longitudinal field applied to break the system for 0 + ∆0  (~ωD) and is thus suitable for the Ising symmetry explicitly, and a time-dependent capturing the low-frequency drive regime. transverse field providing the periodic driving60. Thus, The central quantity that one aims to obtain using

X x this technique is the unitary evolution operator U(t, 0) H0(t) = − hx(t)σi , which maps the initial state to the final state at time t: i |ψ(t)i = U(t, 0)|ψini. The adiabatic-impulse approxima- X z z X z V = −J σi σj − hz σi . (26) tion allows a semi-analytic computation of U(t, 0) for all hiji i t and thus is suitable for describing the micromotion of 6

leads to the production of excitations. This is the impulse region. The key approximation of the adiabatic-impulse technique which enables one to analytically compute U is to treat the impulse region as one with an infinitesimal width around a minimum of the instantaneous energy gap. Since this approximation clearly becomes better at lower drive frequencies, the adiabatic-impulse method 0 T/2 naturally describes the low drive-frequency regime accu- rately. To compute U(t, 0) we note that the wave function of I II III the system at any time can be expressed in the adiabatic or the moving basis as

 u(t)   −v(t)  |ψ(t)i = c (t) + c (t) , (31) 1 v(t) 2 u(t)

where c1(0) = 1 and c2(0) = 0. The choice of this basis FIG. 1: Schematic representation of the instantaneous energy makes the computation simpler, specially in the adiabatic levels of a two-level system during its evolution from t = 0 regions I and III. We note that the basis vectors to t = T/2 with (t) = 5 cos t and ∆ = 0.5. Regions I and III correspond to adiabatic evolution while region II (shaded (0) T |ψad i = (u(t), v(t)) , area) denotes the impulse region. The width of the impulse (1) T region is taken to be close to zero in the adiabatic-impulse |ψad i = (−v(t), u(t)) , (32) approximation. The red line indicates the evolution of the system for the first half-cycle from t = 0 to t = T/2. The are related to those in the diabatic basis (given by remaining half-cycle is traversed in the opposite direction so (0) T (1) |ψdiai = (u(t = 0), v(t = 0)) and |ψdiai = (−v(t = that each region is traversed twice during evolution from t = 0 0), u(t = 0))T ) by the standard transformation to t = T . (0) ! (0) ! |ψad i |ψdiai (1) = Λ(t) (1) , the system. This also means that it provides us informa- |ψad i |ψdiai tion about the phase bands, or instantaneous eigenvalues  p 2  23 η 1 − η of U, of the system . This feature and the applicabil- Λ(t) = p , ity to low-frequency dynamics distinguishes this method − 1 − η2 η from most other approximate analytical techniques for η ≡ η(t) = u(t)u(0) + v(t)v(0). (33) computing HF . To chart out the computation of U using this method, We note that the adiabatic and the diabatic basis coin- we first note that the instantaneous eigenvalue of U(t, 0) cide at t = 0 where η = 1. can be trivially found from Eq. (28) and are given by In region I, as discussed above, the system does not produce any excitations. Thus the dynamics leads to a q E (t) = ±E(t),E(t) = (t)2 + ∆2. (29) kinetic phase. This can be seen most simply in the adia- ± 0 batic basis where a straightforward calculation, charted out in Refs.4, 21, and 22 shows The corresponding instantaneous eigenvectors are given by c1(t) = exp[−iζ(t, 0)]c1(0), T T |ψ−(t)i = (u(t), v(t)) , |ψ+(t)i = (−v(t), u(t)) , c2(t) = exp[iζ(t, 0)]c2(0), Z t1 ∆0 1 0 0 u(t) = , v(t) = (E(t) + (t))/D(t), ζ(t1, t2) = dt E(t ). (34) D(t) ~ t2 q D(t) = [E(t) + (t)]2 + ∆2. (30) 0 0 Thus in this basis one can define UI (t, 0) = T exp[−iσzζ(t, 0)] which relates (c1(t), c2(t)) to their val- A plot of this instantaneous energy gap δE(t) = 2E(t) is ues at t = 0, shown in Fig.1. The plot clearly indicates that the evo-     lution time may be divided into two distinct regimes. In c1(t) 0 c1(0) = UI (t, 0) . (35) the first regime, shown in Fig.1 as regions I and III, one c2(t) c2(0) has δE2(t)/|~ dδE(t)/dt|  1; thus as per standard Lan- 0 dau criterion, the system in these regions undergo near- Note that although UI (t, 0) is not the true evolution oper- adiabatic evolution. In the other regime, denoted in Fig. ator, it acts as an useful operator which provide a handy 1 as region II, δE2(t)/|~ dδE(t)/dt| ≤ 1 and the evolution calculational tool in the adiabatic basis. To find the true 7 √ evolution operator UI (t, 0) for all t where the system is N12,N21 ∼ p. The detailed computation of N from in region I, we use Eq. (33) to obtain these considerations has been charted out in Refs.4, 22, 62 and 63 and yields |ψ (t)i = Λ(t)U 0 (t, 0)|ψ i = U (t, 0)|ψ i, (36) I I in I in √ √  1 − pe−iφ0 − p  N = √ √ , where in the last line we have used the definition p 1 − peiφ0 |ψI (t)i = UI (t, 0)|ψini. This finally yields φ0 = φst − π, (40)  −iζ(t,0) iζ(t,0)p 2  π e η(t) −e 1 − η φst = + δ ln δ + ArgΓ[1 − iδ], UI (t) = (37), 4 e−iζ(t,0)p1 − η2 eiζ(t,0)η(t) where φst is the Stoke’s phase and Γ denotes the gamma which allows us to track the time evolution of the system function. in region I. A similar calculation holds for any adiabatic At the end of region II, one can write region.     Next, we consider region II which is reached at t = t0 c1(t0 + ∆t) 0 1 = N UI (t0 − ∆t, 0) . (41) as shown in Fig.1. Here the drive leads to the production c2(t0 + ∆t) 0 of defects. The width of this region, ∆t, is approximated Thus the evolution operator after the system has tra- to be infinitesimal within the adiabatic-impulse approxi- versed region II is given by mation. The width of region II can be computed from the 2 0 Landau criteria δE ≤ ~|dδE/dt|; since |dδE/dt| ∼ ωD, UII (t0 + ∆t, 0) = Λ(t0 + ∆t)N UI (t0 − ∆t, 0). (42) it is clear that ∆t decreases with decreasing ωD. Thus this approximation becomes better with decreasing ωD. This procedure can be continued to obtain U(t, 0) for all Typically one assumes that the width of this region is t ≤ T . To this end, we note that the system crosses small enough so that the wave functions immediately be- the impulse region twice, at t = t0 and t = T − t0; the fore entering region II and immediately after leaving it rest of the dynamics consists of passing through adiabatic are related by a transfer matrix N regions. The evolution operator during any time t can be written as     c1(t0 + ∆t) c1(t0 − ∆t) = N . (38) 0 c2(t0 + ∆t) c2(t0 − ∆t) U(t, 0) = Λ(t) UI (t, 0), t ≤ t0 (43) 0 0 = Λ(t) UI (t, t0) N UI (t0, 0),T − t0 ≤ t ≤ t0 To compute N , one typically uses a linearized descrip- 0 T 0 tion of H. Within this approximation one writes H(t) ' = Λ(t) UI (t, T − t0) N UI (T − t0, t0) 0 [(t0) + (t − t0)˙(t0)]σz + σx∆0, where t0 is the time at × N UI (t0, 0),T ≤ t ≤ T0 − t. which the system reaches region II. The linearization of where N T denotes the transpose of N . Thus this method H(t) around t = t0 reduces the problem to that of com- puting the probability of the generation of defects due may be used to compute U(t, 0) for all t ≤ T and thus to Kibble-Zureck mechanism7. It is well-known that the obtain information about the micromotion. probability p of defect formation in this case is given by The instantaneous eigenvalues λ±(t) = exp[±iθ(t)] of the evolution operator U(t, 0) are called phase bands. 2 They play an important role in charting out possible p = exp[−2πδ], δ = ∆0/[2~˙0(t0)]. (39) topological transitions in driven many-body systems18,23. So for the two-level system, the probability for the system Moreover, at t = T , one can read off the eigenval- to remain in its starting state after crossing the impulse ues of the Floquet Hamiltonian from them: λ±(T ) = region is 1 −√p. Thus the diagonal elements of N yields exp[±iF T/~]. A straightforward computation, charted N11,N22 ∼ 1 − p while its off-diagonal element satisfies out in Refs.4 and 22 yields

cos θ(t) = η cos α1(t), t ≤ t0 p p 2 = η 1 − p cos α2(t) + p(1 − η ) cos β2(t), t0 ≤ t ≤ T − t0 (44) p 2 = η[p cos α3(t) + (1 − p) cos β3(t)] + p(1 − p)(1 − η )[cos(α3 − φst) − cos(β3 − φst)], t ≥ T0 − t

where we have diagonalized U(t, 0) in Eq. (43) to obtain these expressions, and α1,2,3 and β2,3 are given by

α1(t) = ζ(t, 0), α2(t) = ζ(t, 0) + φst,

β2(t) = ζ(t, t0) − ζ(t0, 0), α3(t) = 2φst + ζ(t, 0),

β3(t) = ζ(t0, 0) − ζ(T − t0, t0) + ζ(t, T − t0). (45) 8

The computational scheme charted above brings out The verification of such crossings at t = T/3 and 2T/3 two aspects of the method. First, it can be di- has been carried out in detail in Ref. 22. A somewhat rectly applied to a class of integrable spin models lengthy calculation yields an analytical expression for the which can be written in terms of free fermions via a phase bands within the adiabatic-impulse approximation. Jordan-Wigner transformation. These models include In terms of the probability pΓ for the formation of exci- the one-dimensional Ising and XY models and the two- tations formation probability and the associated Stuck- 64,65 dimensional Kitaev models . In addition, it can also elberg phase ΦΓ, one finds that the expression for the 22 be used to describe the dynamics of Dirac quasiparticles phase band φΓ at the Γ point is in graphene or atop a topological insulator surface66,67, 68 and Weyl fermions in 3D band systems . All these sys- cos(φ(T/3)) = pΓ + (1 − pΓ) cos(2ΛΓ), (49) tems can be represented by fermionic Hamiltonians of the Z T/6 q 2 2 ΛΓ = ΦΓ + 2 dt  (t) + ∆ (t). form ~k=0 ~k=0 0 X H = ψ†H ψ , (46) ~k ~k ~k It was shown that the band crossings that lead to a ~k change in topology of the state of the driven system at t = T/3 requires cos[φΓ(T/3)] = +(−)1 for crossings where H~k is given by Eq. (28) with 0(t) → ~k(t) and through the zone center (edge). The crossings through ∆0 → ∆~k. The precise forms of ~k(t) and ∆~k depend the zone center thus requires Λ = mπ for m ∈ Z. The 64–68 Γ on the model and are well-known . Second, the crossing through the zone edge, in contrast, necessitates method provides an easy access to the micromotion in cos[2ΛΓ] = −(1 + pΓ)/(1 − pΓ); this is clearly untenable these systems; thus it allows one to address the phase for real Λ and hence the adiabatic-impulse approximation bands of these models. It has been recently pointed out predicts that all such band crossings at t = T/3 should that the understanding of topological transitions in such occur through the zone center. This fact has been nu- driven systems requires an analysis of their phase bands merically verified in Ref. 22. A similar analysis has been θ(~k, t), and a knowledge of only their Floquet spectrum carried out for other values of T and at other points in ~ ~ 23 F (k) = θ(k, T )/T may not be sufficient . We note the graphene Brillouin zone. In all cases, the prediction in passing that this scheme can be generalized to cases of the adiabatic-impulse method provides a near-exact where both  and ∆ are time dependent; the details of match with exact numerics as long as the drive frequency such generalizations have been charted out in Refs. 22 is small compared to the nearest-neighbor hopping ampli- and 69. tude of the electrons in graphene; in addition it provides In what follows, we will provide an example of analytical conditions for phase band crossings which help graphene in the presence of external radiation where one in obtaining a semi-analytic understanding of the phase can use this method to detect a topological transition at diagram of periodically driven graphene22. Moreover, t = T/322. The Hamiltonian of graphene in the pres- such an analysis can be easily extended to a wide class ence of an external radiation is given by Eq. (46) with of driven spin and fermionic systems which host Dirac-

~k(t) = −ReZ~k(t) and ∆~k(t) = ImZ~k(t), where like quasiparticles. It thus provides a complete picture of the low-frequency behavior of a wide range of integrable √ X i(cos(ωt−pπ/3)+(kx+ 3pky )/2) models. Z~k(t) = − e p=±1

i(cos(ωt)−kx) − e , (47) IV. FLOQUET PERTURBATION THEORY where α = eA0/c, and A0 and ω are the ampli- tude and frequency of the circularly polarized exter- In this section, we discuss a perturbative method to find the Floquet Hamiltonian H or periodically driven nal radiation represented by the vector potential A~ = F many-body Hamiltonians of the form H(t) = H (t) + A (cos(ωt), sin(ωt)). It can be directly checked that at 0 0 gV (t), where H (t)(V (t)) = H (t + T )(V (t + T )) (note the Γ point of the Brillouin zone ((k , k ) = (0, 0)), H 0 0 x y ~k that H (t) or V (t) may be time-independent), g  1, and satisfies 0 crucially, H0(t) consists of mutually commuting terms. We call this Floquet perturbation theory (FPT) whereby H~k(t) = H~k(T − t), (48) 33,56,70 HF is obtained as a power series in g . This method H~k(T/3 ± t) = H~k(t) = H~k(2T/3 ± t), is particularly suited to address the nature of the Floquet U(2T/3, 0) = [U(T/3, 0)]2,U(T, 0) = [U(T/3, 0)]3, Hamiltonian at intermediate and low drive frequencies, unlike the high-frequency FM expansion. where U represents the evolution operator at the Γ point. As the first example, suppose that the Hamiltonian This shows that a phase band crossing leading to a change H can be written as a sum of two parts, H(t) which of topology of the driven system at t = T/3 (which varies periodically in time with a period T = 2π/ωD, amounts to U(T/3, 0) = ±I) necessarily shows analogous and a perturbation V which is time-independent. Thus crossing at t = T ; however, the reverse is not true. H(t) = H0(t) + V . Since H0(t) commutes with itself at 9 different times, we can work in the basis of eigenstates (We have ignored a factor of e(i/~)hn|V |nit on the right of H0(t) which are time-independent and orthonormal. hand side of Eq. (59) since we are only interested in terms We denote these as |ni, so that H0(t)|ni = En(t)|ni, and of first order in V ). Integrating Eq. (59) gives hm|ni = δ . mn T i Z R t 0 0 0 We now find solutions of the time-dependent i dt [Em(t )−En(t )] cm(T ) = cm(0) − hm|V |ni dt e 0 . Schr¨odingerequation ~ 0 (60) ∂ψ i n = H(t)ψ (t) (50) Since we know that Eq. (58) satisfies ~ ∂t n −(i/ )(hm|V |niT + R T dtE (t)) ψ (T ) = e ~ 0 n ψ (0), (61) which satisfy the Floquet eigenstate condition n n we must have, to first order in V , iθn ψn(T ) = e ψn(0), (51) R T (i/ ) dt[Em(t)−En(t)] cm(T ) = e ~ 0 cm(0) (62) where eiθn is the Floquet eigenvalue. For V = 0, we have for all m 6= n. This, along with Eq. (60), means that we must choose −(i/ ) R t dt0E (t0) ψ (t) = e ~ 0 n |ni, (52) n T R t 0 0 0 R (i/~) 0 dt [Em(t )−En(t )] i 0 dt e cm(0) = − hm|V |ni . so that the eigenvalue of the Floquet unitary (i/ ) R T dt[E (t)−E (t)] ~ e ~ 0 m n − 1 (63) −(i/ ) R T dtH(t) U = T e ~ 0 (53) We see that cm(t) is indeed of order V provided that the denominator on the right hand side of Eq. (63) does not is given by vanish; we call this case non-degenerate. If iθ −(i/ ) R T dtE (t) n ~ 0 n (i/ ) R T dt[E (t)−E (t)] e = e . (54) e ~ 0 m n = 1, (64) For V non-zero but small, we will develop a FPT to first we have a resonance between states |mi and |ni, and the order in V . We first consider non-degenerate perturba- above analysis breaks down. We then have to develop a tion theory; the meaning of non-degenerate will become degenerate FPT as discussed below. clear below. We assume that the n-th eigenstate can be If there are several states which are connected to |ni written as by the perturbation V , Eq. (63) describes the amplitude 2 R t 0 0 to go to each of them from |ni. Up to order V , the X −(i/~) dt Em(t ) ψn(t) = cm(t) e 0 |mi, (55) total probability of excitation away from |ni is given m P 2 by m6=n |cm(0)| . If cm(0) turns out to be zero for where cn(t) = 1 + terms of order V for all t, while cm(t) all m 6= n (this can happen if either the matrix ele- is of order V for all m 6= n and all t. Eq. (50) then implies ment hm|V |ni = 0 or the numerator of the expression in Eq. (63) vanishes), the Floquet eigenstate remains equal X R t 0 0 −(i/~) 0 dt Em(t ) to ψ up to first order in V . This is an example of dy- i~ c˙m(t)e |mi n m namical freezing. X −(i/ ) R t dt0E (t0) Next we consider degenerate perturbation theory. Sup- = V c (t) e ~ 0 m |mi, (56) m pose that there are p states |mi (m = 1, 2, ··· , p) which m have energies Em and satisfy Eq. (64) for every pair of wherec ˙m denotes dcm/dt. Taking the inner product of states (m, n) lying in the range 1 to p. Ignoring all the other states for the moment, we assume that a solution Eq. (56) with hn|, we find, to first order in V , that i~c˙n = hn|V |ni. Choosing cn(0) = 1, we then have of the Schr¨odingerequation is given by p −(i/ )hn|V |nit R t 0 0 c (t) = e ~ . (57) X −(i/ ) dt Em(t ) n ψn(t) = cm(t) e ~ 0 |mi, (65) m=1 This gives where we now allow all the cm(t)’s to be of order 1. To R t 0 0 −(i/~)(hn|V |nit + dt En(t )) ψn(t) = e 0 |ni first order in V , we can then replace cm(t) by the time- X −(i/ ) R t dt0E (t0) independent constants cm(0) on the right hand side of + c (t) e ~ 0 m |mi. (58) m Eq. (56). Upon integrating from t = 0 to T , we obtain m6=n p i X Next, taking the inner product of Eq. (56) with hm|, cm(T ) = cm(0) − hm|V |ni where m 6= n, we find, to first order in V , that ~ n=1 Z T i R t 0 0 0 (i/ ) R t dt0[E (t0)−E (t0)] (i/ ) dt [Em(t )−En(t )] ~ 0 m n c˙m = − hm|V |ni e ~ 0 . (59) × dt e cn(0)(66). ~ 0 10

This can be written as a matrix equation and we will assume that λ  g1, g2. The unperturbed problem given by i~∂ψ/∂t = H0ψ has solutions iH0T c(T ) = [I − ] c(0), (67) −i(λ/ ω) sin(ωt) ~ ψ1(t) = e ~ |1i, i(λ/~ω) sin(ωt) T ψ2(t) = e |2i, where c(t) denotes the column (c1(t), c2(t), ··· , cp(t)) 1 1 1  1  (where the superscript T denotes transpose), I is the p- where |1i = √ and |2i = √ ,(73) dimensional identity matrix, and H0 is a p-dimensional 2 1 2 −1 Hermitian matrix with matrix elements and the corresponding eigenvalues of H0(t) are E1(t) = T hm|V |ni Z R t 0 0 0 λ cos(ωt) and E2(t) = −λ cos(ωt) respectively. Since 0 (i/ ) dt [Em(t )−En(t )] (H )mn = dte ~ 0 . these satisfy Eq. (64) we have to use degenerate per- T 0 (68) turbation theory. Following Eqs. (65-71), and using the 73 0 identity Let the eigenvalues of H be n (n = 1, 2, ··· , p). To first 0 order in V , I − iH T/~ is a unitary matrix and therefore T Z R t 0 0 −inT/~ (i/ ) dt 2λ cos(ωt )  2λ  has eigenvalues of the form e ; the corresponding dt e ~ 0 = TJ0 , (74) eigenstates satisfy 0 ~ω we find that the Floquet Hamiltonian is c(T ) = e−inT/~ c(0). (69)  2λ  H = g σx + g J σy. (75) Next, we want the wave function in Eq. (65) to satisfy F 1 2 0 ω Eq. (51). This implies that the Floquet eigenvalues are ~ 0 related to the eigenvalues of H as The Bessel function J0(z) → 1 when z → 0 and goes as p2/(πz) cos(z − π/4) when z → ∞. It is clear that iθ −(i/ )( T + R T dtE (t)) e n = e ~ n 0 n , (70) Eqs. (72) and (75) are consistent with each other in the limit λ/(~ω) → 0; in particular, HF approaches where we have used the resonance condition that R T R T the time-averaged value (1/T ) 0 dtH(t) in the high- −(i/ ) dtEn(t) e ~ 0 has the same value for all n = frequency limit. The limit λ/(~ω) → ∞ is less trivial; 1, 2, ··· , p. we then see that the driving-dependent term in H goes p F Given a Floquet unitary U(T ), we can define a Flo- to zero as ~ω/λ apart from an oscillatory factor. In- quet Hamiltonian HF using Eq. (1). Comparing this with cidentally, we note that if we shift the time, i.e., change Eqs. (67) and (68), we see that the matrix elements of cos(ωt) → cos(ω(t + t0)) in Eq. (72), the expression for HF are the Floquet Hamiltonian in Eq. (75) would change. Note that if we had considered a different limit where T hm|V |ni Z R t 0 0 0 (i/ ) dt [Em(t )−En(t )] ~ω  λ, g, and used the FM expansion, we would have (HF )mn = dte ~ 0 T 0 obtained an expansion in powers of λ/(~ω) and g/(~ω). A resummation of all the terms which are of first order in  1 Z T  + dt En(t) δmn, (71) g would then give back the expression in Eq. (75). Thus T 0 first-order FPT gives an expression for HF which is a resummation of all the terms in the FM expansion which R T where we have assumed that 0 dt En(t) has the same are of first order in the perturbation V . value for all n. [This is a special case of Eq. (64). More Next, we apply FPT to a periodically driven spin chain R T 56 generally, Eq. (64) allows the values of 0 dt En(t) to called the PXP model . We consider H(t) = H0(t) + V , differ from each other by non-zero integer multiples of where 2π~, but we will not consider that possibility here]. λ(t) X Unlike the FM expansion1,71, FPT does not assume H (t) = σz, 0 2 l the drive frequency ωD to be large compared to the other l parameters of the system. It only assumes the amplitude X V = g P σxP , (76) of the driving to be large. This will become clear in l−1 l l+1 the examples discussed below where we will see that the l Floquet Hamiltonian is effectively an expansion in the z where Pl = (1 − σl )/2 is the projection operator to the inverse of the driving amplitude. spin-down state at site l. The presence of the projection As the first application of the above formalism, we con- operator in the second line of Eq. (76) makes the Hamil- sider a simple model with a single spin-1/2 which is gov- tonian V non-integrable. We will consider a driving with 72 erned by a Hamiltonian H(t) = H0(t) + V , where the form of a square pulse,

x H0 = λ cos(ωt) σ , λ(t) = − λ for 0 < t < T/2 x y V = g1 σ + g2 σ , (72) = + λ for T/2 < t < T, (77) 11 and λ(t + T ) = λ(t) for all times. of which have energy E2. We introduce a small time- We now apply FPT assuming that λ  g. We dependent coupling between states in the two sectors z † choose the σl basis for the states. According to the given by V (t) and its Hermitian conjugate V (t) as fol- unperturbed Hamiltonian H0 in Eq. (76), we see that lows, where V (t + T ) = V (t). Denoting states in sectors such states |ni have an instantaneous energy eigenvalue 1 and 2 by Ψ1 and Ψ2, which are columns with M and N P z En(t) = (λ(t)/2) l σl . We now consider the effect entries respectively, the Schr¨odingerequation takes the to first order of the perturbation V in Eq. (76). If |mi form and |ni are two states which are connected by V , they differ by the value of σz at only one site and therefore ∂Ψ1 l i~ = E1 Ψ1 + V Ψ2, Em(t) − En(t) = λ(t). Hence Eq. (64) is satisfied and we ∂t ∂Ψ have to use degenerate perturbation theory. The integral i 2 = E Ψ + V † Ψ , (82) in Eq. (66) is found to be ~ ∂t 2 2 1

Z T where V is a M × N dimensional matrix. We now look (i/ ) R t dt0[E (t0)−E (t0)] i2~ −iλT/(2 ) dt e ~ 0 m n = (e ~ − 1). for a Floquet eigenstate ψ(t) which lies mainly in sector 0 λ (78) 1, namely, −iλT/(2 ) We see that if e ~ = 1, i.e., if ! X −iE1t/ λ ψ(t) = cα(t)|αi e ~ = 2p, (79) α ~ω   where p is an integer, then the expression in Eq. (78) van- X −iE2t/ +  cβ(t)|βi e ~, (83) ishes. This means that even in degenerate perturbation β theory, there is no change in the Floquet eigenvalues and they remain equal to 1. where cα(t) are of order 1 while cβ(t) are of order V . We can now use Eqs. (71) and (78) to derive the Flo- Within sector 1, HF will be equal to E1 plus terms of quet Hamiltonian. If |mi and |ni are two states which are order V 2 (there are no contributions to first order in V connected by the perturbation V , we have hm|V |ni = g since the driving term has no matrix elements within sec- (note that |mi and |ni must necessarily be different from tor 1). To calculate HF , we proceed as follows. Denoting each other). We then obtain the column of coefficients cα and cβ collectively as c1 and c2 respectively, we have i2g~ −iλT/(2 ) (HF )mn = (e ~ − 1) λT i c˙ = ei(E1−E2)t/~ V c , 2g ω  πλ  ~ 1 2 ~ −iπλ/(2~ω) i(E2−E1)t/ † = e sin . (80) i~c˙2 = e ~V c1. (84) πλ 2~ω

We thus see that In the second equation in Eq. (84), we set c1(t) = c1(0) on the right hand side since we want to find c (t) only to sin γ X 2 H = g P [cos γ σx + sin γ σy]P , (81) order V . Integrating in time, we obtain F γ l−1 l l l+1 l t i Z 0 0 i(E2−E1)t / † 0 where γ = πλ/(2~ω). We now see that if Eq. (79) holds, c2(t) − c2(0) = − dt e ~V (t )c1(0). ~ 0 the Floquet Hamiltonian vanishes to first order in g/λ. (85) We then have to go to higher orders or study the model −iE1t/~ 56 Since the Floquet eigenvalue in sector 1 is e to numerically to understand its behavior . first order in V , we require Eq. (81) shows that in the limit λ → ∞, HF goes to zero as 1/λ apart from some oscillatory factors. The i(E2−E1)t/ √ c1(T ) = c1(0) and c2(T ) = e ~c2(0) (86) different power laws, 1/ λ versus 1/λ, in Eqs. (75) and (81) are related to the fact that the driving term has to first order. Using this, we find from Eq. (85) that different forms in the two cases, λ cos(ωt) in the first T 0 case and the square pulse in Eq. (77) in the second case. R 0 i(E2−E1)t /~ † 0 i 0 dt e V (t ) Finally, we consider a case where the Floquet Hamilto- c2(t) = − [ ei(E2−E1)T/~ − 1 nian HF has no contributions to first order in the pertur- ~ t Z 0 bation and we have to go up to second order. Further, 0 i(E2−E1)t / † 0 + dt e ~V (t )]c1(0). (87) we will take the periodically driven part of the Hamil- 0 tonian to be much smaller than the time-independent part, and we will calculate HF only within a particular The first equation in Eq. (84), then gives sector of eigenstates of the time-independent part. We consider a system with M states |αi in sector 1, all of i Z T c (T ) = c (0) − dt ei(E1−E2)t/~V (t)c (t). (88) which have energy E , and N states |βi in sector 2, all 1 1 2 1 ~ 0 12

Since the Floquet Hamiltonian in sector 1 satisfies eigenvalue equal to 1. Next, we study the states in which −iHF T/ ψ1(T ) = e ~ψ1(0), we see from Eq. (88) that there is one spin-up electron and one spin-down electron. There are four such states, i Z T i(E1−E2)t/ † † HF = E1I − dt e ~ V (t) |1i = |1 ↑, 2 ↓i = c c |0i, ~T 0 1↑ 2↓ T 0 † † R 0 i(E2−E1)t /~ † 0 |2i = |1 ↓, 2 ↑i = c c |0i, 0 dt e V (t ) 1↓ 2↑ × [ † † i(E2−E1)T/~ e − 1 |3i = |1 ↑, 1 ↓i = c1↑c1↓|0i, t Z 0 † † 0 i(E2−E1)t / † 0 + dt ~ V (t )]. (89) |4i = |2 ↑, 2 ↓i = c2↑c2↓|0i. (94) 0 In terms of Eqs. (82), the first two states in Eq. (94) Next, the time periodicity of V allows us to write it as form sector 1 and have eigenvalues E1 = 0 (low energy), ∞ the last two states form sector 2 and have eigenvalues X −inωt E = U (high energy), and the matrix V relating the V = Vne . (90) 2 n=−∞ states of sector 2 to sector 1 is given by

 − ia sin(ωt) ia sin(ωt)  Eq. (89) then gives −e ω −e ω V = g − ia sin(ωt) ia sin(ωt) . (95) e ω e ω ∞ V V † X n n iz sin φ HF = E1I − . (91) Using Eq. (91) and the identity e = E − E + n ω ∞ n=−∞ 2 1 ~ P inφ n=−∞ Jn(z)e , where the Bessel functions satisfy J (−z) = J (z) = (−1)nJ (z), 73 we find that the Eq. (91) shows that resonances occur whenever (E − n −n n 2 Floquet Hamiltonian within sector 1 is E1)/(~ω) is equal to an integer. However, near these ∞ points the above derivation of HF breaks down since   2 −1 1 2 X [Jn(a/ω)] the Floquet eigenstates will no longer have c2(t) much HF = 2g . (96) 1 −1 U + n~ω smaller than c1(t), which was an assumption made in or- n=−∞ der to calculate HF . We note in passing that under a We see that one of the eigenstates of H is the state −inωt0 √ F time shift t → t + t0, we would have Vn → Vne in (|1i + |2i)/ 2 with eigenvalue zero (hence Floquet Eq. (90), but the Floquet Hamiltonian in Eq. (91) would eigenvalue equal to 1); this is one of the three spin- not change. triplet states, the other two being the ones given in As an example of the above formalism, we consider the √ Eq. (93). The other eigenstate of HF is (|1i − |2i)/ 2 Hubbard model with two sites, labeled 1 and 2, where which is a spin-singlet state, and the eigenvalue is the hopping amplitude between the two sites, g, is much 2 P∞ 2 74 −4g n=−∞[Jn(a/ω)] /(U + n~ω). Hence, in the spin smaller than the on-site interaction strength U. We will language, the Floquet Hamiltonian has the form take the phase of the hopping to be a sinusoidal func- tion of time; this describes the effect of a periodically ∞ 2 ~ ~ ! 2 X [Jn(a/ω)] S1 · S2 1 varying electric field through the Peierls prescription (see HF = 4g − . (97) U + n ω 2 4 Sec.VA). The Hamiltonian is n=−∞ ~ ~

X † † We have so far discussed some ways of calculating the H = U cn↑cn↑cn↓cn↓ Floquet Hamiltonian perturbatively. We will now show n=1,2 that the Floquet unitary can also be calculated pertur- X ia † 75 ω sin(ωt) batively . Given a time-dependent Hamiltonian H(t) − g (e c1σc2σ σ=↑,↓ (which may not commute with itself at different times), ia † we define a time-evolution operator as − ω sin(ωt) + e c2σc1σ). (92) −(i/ ) R t dtH(t) U(t, 0) = T e ~ 0 . (98) We will consider a half-filled system with two electrons. In the undriven system (a = 0), we know that the low- Now suppose that H(t) = H0(t) + V , where H0 is energy states are described by an effective spin Hamilto- time-dependent but exactly solvable, and V is a time- 2 ~ ~ 2 nian given by (4g /U)(S1 · S2/~ − 1/4). We will study independent term which we want to treat perturbatively. what effect the driving has on the effective Hamiltonian We denote the time-evolution operator corresponding to which will now be denoted by HF . H0 as U0(t2, t1), so that In the space of two-electron states, the states ∂U (t, 0) i 0 = H (t)U (t, 0). (99) † † † † ~ ∂t 0 0 |1 ↑, 2 ↑i = c1↑c2↑|0i and |1 ↓, 2 ↓i = c1↓c2↓|0i (93) Next, we define states in the interaction picture as have a trivial dynamics since H annihilates these states. I Hence they are both Floquet eigenstates with Floquet ψ (t) = U0(0, t)ψ(t). (100) 13

This satisfies the Schr¨odingerequation V. OTHER METHODS

I ∂ψ I I i~ = V (t)ψ (t), (101) In this section, we present a brief discussion of three ∂t other methods which have been used in the literature to where compute the Floquet Hamiltonian of a driven system.

I V (t) = U0(0, t)VU0(t, 0). (102) A. Rotating wave approximation The corresponding time-evolution operator

I −(i/ ) R t dt0V I (t0) U (t, 0) = T e ~ 0 , (103) The rotating wave approximation (RWA) provides a way to calculate an effective Hamiltonian by transform- satisfies the equation ing to a ‘rotating frame’ in such a way that the Hamil- I tonian in this frame does not have any time-dependent ∂U (t, 0) I I 1,77 i~ = V (t)U (t, 0). (104) terms to lowest order . To see how this works, con- ∂t sider a time-dependent Hamiltonian H(t) and a general Assuming the initial condition U I (0, 0) = I, the solution wave function ψ(t) satisfying the Schr¨odingerequation of Eq. (104) is i~∂ψ/∂t = Hψ. Given a unitary operator W (t) which transforms to a rotating frame, we define a wave func- i Z t tion in that frame as U I (t, 0) = I − dt0V I (t0)U I (t0, 0). (105) 0 ~ ψR(t) = W (t)ψ(t). (109) This provides an iterative way of calculating U I (t, 0) in We find that ψR satisfies the Schr¨odinger equation powers of V I . Thus one can write i~∂ψR/∂t = HRψR, where   Z t I −i 0 I 0 −1 ∂W −1 U (t, 0) = I + dt V (t ) HR = WHW + i~ W (110) ~ 0 ∂t  2 Z t Z t1 −i I I is the Hamiltonian in the rotating frame. + dt1V (t1) dt2V (t2) + .... Now suppose that H(t) = H0(t)+V , where H0(t+T ) = ~ 0 0 H (t). We can then try to choose W (t) in such a way = I + U I (T, 0) + U I (t, 0) + ..., (106) 0 1 2 that the time-dependent part of HR in Eq. (110) is as where the ellipsis denotes higher order terms. Finally, small as possible. For instance, if H0 is much larger than the full time-evolution operator is given by V , and H0(t) commutes with itself at different times, we choose I U(t, 0) = U0(t, 0)U (t, 0). (107) (i/ ) R t dt0H (t0) W (t) = e ~ 0 0 . (111) In the case where U (T, 0) = I, the Floquet operator is 0 Since W and H commute with each other at different obtained by setting t = T in Eq. (107) and is given by 0 times, we see from Eqs. (110-111) that

i~  I I I 2  −1 H = U (T, 0) + (U (T, 0) − (U (T, 0)) /2) + ··· . HR = WVW , (112) F T 1 2 1 (108) which implies that the large term H0 has disappeared in going from H to HR. We end this section with a few comments regarding We would like W to satisfy W (t+T ) = W (t). Eq. (111) the FPT technique which deals directly with U. First, implies that this will be true if H0(t) has a complete set of we note that the perturbation involving U is useful if orthonormal eigenstates |ni with eigenvalue En(t), such one attempts to compute higher order terms since it pro- that vides a straightforward and systematic way of obtaining Z T such terms especially when U0(T, 0) = I. This method dtEn(t) = 0 (113) has indeed been used to compute second and third order 0 perturbative terms in several interacting many-body sys- for all n; this turns out to be true in many problems. tems which is otherwise difficult32,76. Second, in contrast Then HR in Eq. (112) will satisfy HR(t + T ) = HR(t). to the wave function method, the truncation of the per- Eq. (113) also implies Eq. (64) which means that we have turbation series necessarily leads to loss of unitarity of U. to do degenerate FPT. In the case when U0(T, 0) = I, this can be remedied by Next, inserting the identity operator, I = P |nihn|, exponentiating the terms in U I (T, 0). In contrast, such n on the left and right sides of HR in Eq. (112), we obtain unitarization procedure is neither unique nor straightfor- R t 0 0 0 X (i/ ) dt [Em(t )−En(t )] ward if U0(T, 0) 6= 0. However, sometimes special dy- HR(t) = |mihm|V |nihn|e ~ 0 . namical symmetries of U(T, 0) may help one to carry out m,n the task39. (114) 14

If we now do a FM expansion with HR, the first term is which tend to ∓B1 as ω → ∞. Combining these with the T eigenstates ψ± of HR in Eq. (118), we construct a new 1 Z † † (0) Hamiltonian H0 = E0 ψ ψ + E0 ψ ψ which gives HM = dtHR(t) R + + + − − − T 0 q 2 X hm|V |ni − ~ω + B − ~ω
+ B2 = |mihn| 0 2 1 2 2 T HR = m,n q 2 B − ~ω
+ B2 Z T 1 2 2 (i/ ) R t dt0[E (t0)−E (t0)] × dte ~ 0 m n . (115)  ω  × (B − ~ )σz + B σx . (121) 0 1 2 2 The matrix elements of H(0) in Eq. (115) agree with those M In the limit ω → ∞, H0 → B σz as desired. of the Floquet Hamiltonian H given in Eq. (71). (Note R 1 F We now present another application of the RWA. that the second line of Eq. (71) vanishes due to the condi- We consider a tight-binding model of spinless particles tion in Eq. (113)). We thus see that there is a connection (which may be either fermions or bosons) in one dimen- between FPT and RWA if the periodically driven term is sion placed in an electric field E(t) which varies in time the one with the largest coefficient. However, the higher with a period T 77. If the spacing between neighboring order terms that we get in the FM expansion of H (t) R sites is d, the electric field can be put in as an on-site have no counterparts in H obtained from FPT. F potential −qndE(t) at site n, where q is the charge of the A simple use of the RWA is to solve the problem of particle. The complete Hamiltonian is a spin-1/2 particle in a magnetic field which is rotating about one axis1. We consider the Hamiltonian ∞ X H = [−g(c† c +c† c )−qdE(t)nc† c ]. (122) z x y n n+1 n+1 n n n H = B1σ + B2 [cos(ωt)σ + sin(ωt)σ ]. (116) n=−∞ Using Eq. (110), we find that the operator We can now eliminate the on-site potential in Eq. (122) z and move the time-dependence to the phases of the W = eiωt/2 ei(ωt/2)σ (117) nearest-neighbor hoppings by transforming with which rotates by an angle ωt around thez ˆ-axis gives the t −(iqd/ ) R dt0E(t0) P∞ nc† c Hamiltonian W (t) = e ~ 0 n=−∞ n n . (123) ω ω Using Eq. (110), we find that the Hamiltonian in the H = (B − ~ )σz + B σx − ~ I. (118) R 1 2 2 2 rotating frame is (The factor of eiωt/2 has been included in Eq. (117) to ∞ X R t 0 0 (iqd/~) 0 dt E(t ) † ensure that W (t + T ) = W (t)). We see that HR is com- HR = − g [e cncn+1 pletely time-independent and has the eigenvalues n=−∞ R t 0 0 † −(iqd/~) 0 dt E(t ) s + e cn+1cn].(124) ω  ω 2 E = − ~ ± B − ~ + B2. (119) ± 2 1 2 2 (We note that the transformation from Eq. (122) to (124) is a gauge transformation which takes us from an electro- We can use the eigenvalues E± and the corresponding static potential defined at a site n to a vector potential orthonormal eigenstates ψ± of HR to find the general which appears in the phase of the hopping between sites solution for ψ(t) through Eq. (109). n and n + 1 according to the Peierls prescription). Next, No assumptions were made about the relative magni- we define tudes of ω, B and B while deriving Eq. (118). We ~ 1 2 qd Z t now note that when ω → ∞, HR diverges instead of ap- f(t) = dt0E(t0). (125) T R z ~ 0 proaching the time-averaged value (1/T ) 0 dtH = B1σ which is finite. This can be fixed as follows. An examina- T Let us assume that R dtE(t) = 0; then the periodicity of tion of Eq. (119) shows that if ω → ∞, E → −B and 0 + 1 E(t) also implies the periodicity of f(t) and therefore of E → B − ω, where we have ignored terms of order − 1 ~ eif(t). We then find, by going to momentum space, that 1/ω; in the same limit, ψ → (0, 1) and ψ → (1, 0). + − Eq. (124) takes the form Since the Floquet eigenvalues e−iE±T/~ remain invariant if the quasienergies E± are shifted by arbitrary integer Z π/d dk † multiples of ~ω, we use this freedom to add ~ω to E− HR = [−2g cos(k + f(t))] ckck. (126) −π/d 2π/d while keeping E+ as it is. This gives us new quasiener- gies Now suppose that eif has the Fourier expansion  s  ω  ω 2 ∞ E0 = ± − ~ + B − ~ + B2 (120) if(t) X −imωt ±  2 1 2 2  e = Fm e , (127) m=−∞ 15

R T if(t) so that (1/T ) 0 dte = F0. If we now do a FM expan- Using a Taylor expansion in  then yields the expression sion of the Hamiltonian in Eq. (126), we find that only ∞ ! R T 1  1  the first term given by HM = (1/T ) 0 dtHR survives, X r ρ r i ln U(T ) = i lim (∂ U (T )) |=0  . and we obtain ρ→0 ρ r! r=0 Z π/d (131) dk † HM = Ek ckck, Interchanging the sum and limit in Eq. (131) then gives −π/d 2π/d the power series ik ∗ −ik Ek = − g (F0e + F e ). (128) 0 ∞ 1 X H = Γ r, where As an example, if (qd/~)E(t) = a cos(ωt), we have F0 = F T r r=0 J0(a/ω). The energy-momentum dispersion is then given i 1 by Ek = −2gJ0(a/ω) cos k, to be compared with the dis- r ρ Γr = lim [(∂ U (T )) |=0] . (132) persion −2g cos k for the undriven system. Note that a r! ρ→0 ρ flat band is generated if a and ω satisfy J0(a/ω) = 0, and this leads to the dynamical localization of any wave So far the discussion was general, and further progress in computing Γ is made by restricting to U(T ) of the packet since the group velocity dEk/dk = 0 for all values r of k. form shown in Eq. (129). The general expression for Γr is worked out in Ref. 78. We restrict ourselves to the O() term which only requires Γ1 that can be obtained B. Floquet-Magnus resummation straightforwardly (assuming an integer replica index ρ):

ρ " ρ−1 # For periodically kicked models where the Floquet uni- U0 X −m m Γ1 = i lim U0 VU0 . (133) tary is of the form (assuming = 1) ρ→0 ρ ~ m=0 The limit ρ → 0 is then taken following an analytic con- U(T ) = exp(−iT H) exp(−iV ) = U0 exp(−iV ), (129) tinuation to arbitrary real values. We illustrate this using an example from Ref. 80 where in Eq. (129), we take a where [H,V ] 6= 0 and V represents a periodic kicking one-dimensional driven Ising model with term (e.g., see Eq. (15)) with   1 being a small param- 78 eter, a replica trick can be used to write the Floquet X z z z Hamiltonian as a power series in  instead of using the H = (Jσj σj+1 + hzσj ), (134) standard BCH formula (Eq. (12)) which yields a power j ∞ series in T . Closed-form expressions for HF can then be X X x computed in some cases78–80. Using the replica trick, V (t) = V δ(t − nT ),V = hx σj . n=−∞ j TH = i ln U(T ) F m 1 Since H contains a sum of commuting terms, U0 can be = i lim (U ρ(T ) − 1) . (130) evaluated to finally give ρ→0 ρ

hx X h U −mVU m = − sin(4mJT ) σz (cos(2mh T )σy + sin(2mh T )σx) 0 0 2 j−1 z j z j j y x z i + (cos(2mhzT )σj + sin(2mhzT )σj )σj+1

X 2 z h x yi z − hx sin (2mJT ) σj−1 cos(2mhzT )σj − sin(2mhzT )σj σj+1 j X 2 h x yi + hx cos (2mJT ) cos(2mhzT )σj − sin(2mhzT )σj . (135) j

To evaluate the sum over m in Eq. (133), we use a mode terms with different exponents, and use summations of expansion for sin(θ) = (exp(iθ) − exp(−iθ))/(2i) and geometric sequences to finally get cos(θ) = (exp(iθ) + exp(−iθ))/2 in Eq. (135), collect 16

ρ−1  X −m m 1 − −
X z y y z U VU0 = − hx  F (ρ) + F (ρ) (σj σ + σ σj+1) 0 8i 4JT −2hz T 4JT +2hz T j+1 j m=0 j 1 X + F + (ρ) − F + (ρ)
(σxσz + σzσx ) 8 4JT −2hz T 4JT +2hz T j j+1 j j+1 j 1 X − F + (ρ) + F + (ρ) − 2F + (ρ)
(σz σxσz ) 8 4JT −2hz T 4JT +2hz T −2hZ T j−1 j j+1 j i X + F − (ρ) − F − (ρ) − 2F − (ρ)
(σz σyσz ) 8 4JT −2hz T 4JT +2hz T −2hZ T j−1 j j+1 j 1 X − F + (ρ) − F + (ρ) + 2F + (ρ)
(σx) 8 4JT −2hz T 4JT +2hz T −2hZ T j j  i − − −
X y + F (ρ) − F (ρ) + 2F (ρ) (σ ) , (136) 8 4JT −2hz T 4JT +2hz T −2hZ T j j

where Finally using Eq. (133) and taking the limit ρ → 0, we get the expression for H to O(), cos(χρ − χ/2) − cos(χ/2) F F −(ρ) = −i , χ sin(χ/2) sin(χρ − χ/2) + sin(χ/2) F +(ρ) = . (137) χ sin(χ/2)

 X z z z X z y y z HF = (Jσj σj+1 + hzσj ) + hx  J (σj σj+1 + σj σj+1) j j 1 X + [(2J + h ) cot(2JT + h T ) − (2J − h ) cot(2JT − h T )] (σxσz + σzσx ) 4 z z z z j j+1 j j+1 j 1 X + [(2J − h ) cot(2JT − h T ) − (2J + h ) cot(2JT + h T ) − 2h cot(h T )] (σz σxσz ) 4 z z z z z z j−1 j j+1 j 1 X + [(2J − h ) cot(2JT − h T ) + (2J + h ) cot(2JT + h T ) + 2h cot(h T )] σx 4 z z z z z z j j  X y + hz σj  . (138) j

In Ref. 78, it was demonstrated for one-dimensional C. Hamiltonian Flow Method kicked Ising models that long prethermal Floquet regimes can exist in the thermodynamic limit even at intermedi- The Hamiltonian flow method was initially applied ate and low drive frequencies that are governed by H F to time-independent Hamiltonians by Wegner81,82. The obtained from the replica expansion. idea behind this method is to obtain an effective Hamil- tonian, via generation of a flow, which is diagonal in a chosen basis (usually chosen to be the non-interacting single particle eigenstates). The flow is designed such that the off-diagonal terms reduce gradually as the flow 17 continues. Such a flow is characterized by a parameter To obtain the flow equation, one generates an infinites- ` and is implemented via an anti-unitary transformation imal change by δ` and relates H[` + δ`, t] to H[`, t]. A η(`). The flow equation, in terms of this anti-unitary straightforward calculation charted out in Ref. 84 shows operator η is given by81 that this leads to the flow equation

dH(`) dH[`, t] Z t = [η(`),H(`)] . (139) = −V [`, t] + i dt1[V [`, t],H[`, t]].(146) d` d` 0 Of course, the key issue here is the choice of η(`) and The general nature of the flow from this equation is this depends on the system at hand. For example, for a quite complicated. However, consideration simplifica- two-level system with H(`) ≡ Ht given by tion occurs at high frequencies where the second term can be neglected. In this case the equation reduces to X −` Ht = i|ii + (∆12|1ih2| + H.c.) , (140) dV [`, t]/d` = −V [`, t] and leads to V = V (t)e . Thus i=1,2 V [∞, t] = 0 and H = H0 (Eq. (143)) which is the stan- dard FM result. it was shown that one can choose η = −[Ht,HD], where The existence of such fixed points of the flow equation HD is the diagonal part of Ht. This choice leads to (tak- at lower drive frequencies is not simple to prove. This ing ∆12 to be real for simplicity) issue and the application of the method to a simple spin model where the flow equations can be written down in ∂∆12 a straightforward manner have been studied in Ref. 84. = [η, H]12 ∂` However, the applicability of this method to more com- X = (1 + 2 − 2j)∆1j∆j2. (141) plicated interacting many-body systems and the fate of j=1,2 the flow equation at lower frequency remain interesting open problems. where ∆11 = 1 and ∆22 = 2. It was shown in Ref. 81 that these equations lead to VI. DISCUSSION 2 ∆12(`) = ∆12(` = 0) exp[−(1 − 2) `]. (142) In this review, we have aimed to provide a pedagogical Thus the Hamiltonian reduces to a diagonal form with discussion of several analytic methods for computing the increasing `. The method gets more complicated with Floquet Hamiltonian for interacting many-body systems. increasing number of energy levels, and in most cases the Out of these, the Floquet-Magnus expansion method, the flow equations require a numerical solution. 83,84 adiabatic-impulse approximation and the Floquet pertur- As shown by several authors , this method can be bation theory are treated in detail. Three other methods, modified to be applied to periodically driven systems. namely, the rotating wave approximation, the Floquet- Here one tries to generate such a flow to compute the Magnus resummation method, and the Hamiltonian flow Floquet Hamiltonian. To this end, the Hamiltonian is technique have been discussed briefly. divided into two parts, H0 and V . Typically, H0 is chosen The Floquet-Magnus expansion is probably the most to be the first term in the FM expansion of HF so that widely used perturbative method in the literature. This technique treats inverse of the drive frequency (in units of 1 Z T H0 = dtH(t),V = H(t) − H0. (143) Jloc/~, where Jloc is a typical energy scale of the system) T 0 as the perturbation parameter and is therefore expected Note that V → 0 for T → 0, so that the method, for to be accurate in the high drive frequency regime. More- such a choice of the division of H(t), is naturally ac- over, it provides a perturbative expansion which main- curate at high drive frequency. Next, the flow parame- tains unitarity of U at each order in perturbation theory. ter ` and η are introduced through the transformation Also, the method has been quite successful in providing U = exp(η[`, t]), where a qualitatively accurate picture of drive-induced gener- ation of topologically non-trivial Floquet states and the ` Z t presence of a long prethermal timescale in interacting η[`, t] = −i dt1V [`, t1], (144) many-body systems at high drive frequencies. The main T 0 weakness of this method is two-fold. First, the radius of where we have extended the definition of H(t) to H[`, t] convergence of the perturbation expansion and its regime with of validity is difficult to determine. Second, the method may lead to qualitatively wrong pictures at intermedi- 1 Z T ate and low drive frequencies76. The resolution of these V [`, t] = dt1 (H[`, t] − H[`, t1]). (145) issues which might provide one with a more complete pic- T 0 ture of the Floquet-Magnus expansion method is a long Note that V [0, t] = V (t) and our aim is show that standing challenge; some progress in this direction has V [∞, t] = 0. been made recently44,78. 18

In contrast, the adiabatic-impulse approximation leads the value of N depends on both the nature of the Hamil- to a method which is more accurate at low drive frequen- tonian and the drive protocol used. Here we note that N cies. This makes the method ideal for studying properties is of order 1 if we use discrete protocols such as a square of driven systems in regimes where most other approxi- pulse or periodic kicks since for these protocols H(T ) re- mation methods fail. Moreover, the method provides ac- mains constant for a large part of the drive cycle. In cess to the micromotion of the system; thus it allows one contrast, for continuous drives N  1 and therefore such to obtain information about the phase bands which car- drive protocols are difficult to treat numerically. Next, ries significantly more information about the properties one expresses Uj using the eigenenergies and eigenvectors of the driven system than the Floquet Hamiltonian. The of Hj ≡ H(tj−1 +δt/2) which can be obtained using ED. key disadvantage of the method is that its application Finally one computes the product over Uj to construct is limited to a class of integrable models; for more com- U and diagonalizes to obtain the Floquet eigenvectors plicated non-integrable modes, it gets extremely compli- and quasienergies. Clearly, the numerical cost of this cated. The possibility of generalizing this method so that method depends both on the Hilbert space dimension of it may be applied to non-integrable and/or multi-band the many-body system and N; thus this method is most models is an open problem. useful for one-dimensional systems driven by discrete pro- The Floquet perturbation theory, in contrast to both tocols. There are several other numerical methods for the methods discussed above, does not treat the drive fre- computing the Floquet spectrum of a driven many-body 86 quency or it’s inverse as a perturbation parameter. The system , but we will not address them here. perturbation parameter for this method is the ratio of amplitudes of the terms in the Hamiltonian; the largest We also note that quasiperiodically-driven many- term in the Hamiltonian (which consists of commuting body quantum systems, with two or more incommen- terms) is treated exactly and the contribution of the rest, surate drive frequencies, have received attention only re- smaller, terms are assessed using perturbation theory. cently87–95. While the steady state is again expected to The method provides qualitatively accurate results even be described by a featureless infinite temperature ensem- when the drive frequency is small compared to the ampli- ble, much less is known about possible prethermal phases tude of the largest term and can therefore access regimes in such settings. In case such prethermal phases exist (see where the Floquet-Magnus expansion fails. When this Refs. 93 and 95), they would likely constitute a much largest amplitude term is also the term which implements richer class than their Floquet analogs. Finding reliable the periodic drive, this method is analogous to the ro- perturbative approaches, particularly beyond the high- tating wave approximation to leading order. However, frequency regime where a generalization of the Floquet- for other cases, the Floquet perturbation theory leads Magnus expansion to quasiperiodic drives exists96, re- to different, more accurate, results compared to the ro- mains an uncharted territory. tating wave approximation76. Moreover, the first order contribution to the Floquet Hamiltonian in this method already constitutes a resummation of an infinite class of Finally, we would like to point out that in this re- terms in the Floquet-Magnus expansion; this has been view we have not discussed path integrals methods for explicitly demonstrated in the context of ultracold Ryd- periodically driven quantum systems. It is well known berg atoms subjected to a square pulse protocol in Ref. that study of non-equilibrium dynamics using path in- 56. The key disadvantages of this method are two-fold. tegrals usually requires use of the Schwinger-Keldysh First, it does not automatically lead to an unitary evo- formalism97. This method is used for study of open lution operator at a given order in perturbation theory systems98, driven superconductors99, and systems with and a separate unitarization procedure is necessary. This dissipation treated within Lindblad approach100. It is procedure need not be unique specially when the zeroth also to be noted for closed integrable systems, path (0) integral technique may be used for computation of order Floquet Hamiltonian, HF , does not vanish. Sec- ond, the method is difficult to apply if the largest ampli- the Floquet Hamiltonian of a periodically driven sys- tude term in the Hamiltonian is complicated so that its tem for certain protocols without resorting to Keldysh 101 contribution to U cannot be determined exactly. These techniques . Overall, the path integral method is usu- issues constitute some open problems relevant for FPT. ally more widely used for treatment of open quantum systems and we do not study its details in this review. Next, we note that we have not provided a discussion of numerical methods for computing U or HF . This, in our opinion, warrants a separate review. Here we briefly com- In conclusion we have compared and contrasted sev- ment that the standard method for this involves exact di- eral analytic, albeit perturbative, techniques for compu- agonalization (ED), specially when one wants an access tation of a periodically driven many-body system. Our to all states in the Hilbert space of the driven model nec- review, while not entirely exhaustive, provides a pedagog- essary for tracking the dynamics at long times85. For this ical introduction to the technical details of several such one proceeds as follows. First, one decomposes U(T, 0) methods and addresses some of the applications of these into a product of N Trotter steps (Uj = U(tj−1 +δt, tj−1) methods to a number of recent problems in periodically being the unitary at the j-th step and δt = T/N), where driven quantum many-body systems. 19

VII. ACKNOWLEDGMENTS ciation for the Cultivation of Science (Kolkata) and the Max Planck Institute for the Physics of Complex Sys- The work of A.S. is partly supported through the Max tems (Dresden). D.S. thanks DST, India for Project No. Planck Partner Group program between the Indian Asso- SR/S2/JCB-44/2010 for financial support.

1 M. Bukov, L. D’Alessio and A. Polkovnikov, Advances in (London) 431, 162 (2004). Physics 64, 139 (2015). 17 G. Floquet, Gaston Annales de l’Ecole Normale Su- 2 L. D’Alessio and A. Polkovnikov, Ann. Phys. 333, 19 perieure, 12, 47 (1883). (2013). 18 T. Kitagawa, E. Berg, M. Rudner, and E. Demler, Phys. 3 L. D’Alessio, Y. Kafri, A. Polokovnikov, and M. Rigol, Rev. B 82, 235114 (2010); N. H. Lindner, G. Refael, and Adv. Phys. 65, 239 (2016). V. Galitski, Nat. Phys. 7, 490 (2011). 4 S. N. Shevchenko, S. Ashhab, and F. Nori, Physics Re- 19 T. Kitagawa, T. Oka, A. Brataas, L. Fu, and E. Demler, ports 492, 1 (2010). Phys. Rev. B 84, 235108 (2011); A. Kundu, H. A. Fertig, 5 T. Oka and S. Kitamura, Annu. Rev. Condens. Matter and B. Seradjeh, Phys. Rev. Lett. 113, 236803 (2014). Phys. 10, 387 (2019). 20 M. Thakurathi, A. A. Patel, D. Sen, and A. Dutta, Phys. 6 S. Blanes, F. Casas, J. A. Oteo, and J. Ros, Physics Re- Rev. B 88, 155133 (2013); M. Thakurathi, K. Sengupta, ports 470, 151 (2009). and D. Sen, Phys. Rev. B 89, 235434 (2015). 7 J. Dziarmaga, Adv. Phys. 59, 1063 (2010); A. 21 B. Mukherjee, A. Sen, D. Sen, and K. Sengupta Phys. Polkovnikov, K. Sengupta, A. Silva, and M. Vengalattore, Rev. B 94, 155122 (2016); B. Mukherjee, Phys. Rev. B Rev. Mod. Phys. 83, 863 (2011). 98, 235112 (2018). 8 A. Dutta, G. Aeppli, B. K. Chakrabarti, U. Divakaran, T. 22 B. Mukherjee, P. Mohan. D. Sen, and K. Sengupta, Phys. F. Rosenbaum, and D. Sen, Quantum phase transitions Rev. B 97, 205415 (2018). in transverse field spin models: from statistical physics to 23 F. Nathan and M. S. Rudner, New J. Phys. 17 125014 quantum information (Cambridge University Press, Cam- (2015). bridge, 2015); S. Mondal, D. Sen, and K. Sengupta, Quan- 24 M. Heyl, A. Polkovnikov, and S. Kehrein, Phys. Rev. Lett. tum Quenching, Annealing and Computation, edited by 110, 135704 (2013); For a review, see M. Heyl, Rep. Prog. Das, A., Chandra, A. & Chakrabarti, B. K. Lecture Notes Phys 81, 054001 (2018). in Physics, Vol. 802 (Springer, Berlin, Heidelberg, 2010), 25 A. Sen, S. Nandy, and K. Sengupta, Phys. Rev. B 94, Chap. 2, p. 21; C. De Grandi and A. Polkovnikov, ibid, 214301 (2016); S. Nandy, K. Sengupta, and A. Sen, J. Chap 6, p. 75. Phys. A: Math. Theor. 51, 334002 (2018). 9 I. Bloch, J. Dalibard, and W. Zwerger, Rev. Mod. Phys. 26 H. Watanabe and M. Oshikawa, Phys. Rev. Lett. 114, 80, 885 (2008); L. Taurell and L. Sanchez-Palencia, C. R. 251603 (2015). Physique 19, 365 (2018). 27 V. Khemani, A. Lazarides, R. Moessner, and S. L. Sondhi, 10 M. Greiner, et al., Nature 415, 39 (2002); C. Orzel et al., Phys. Rev. Lett. 116, 250401 (2016). Science 291, 2386 (2001); Kinoshita, T., T. Wenger, and 28 J. Zhang, P. W. Hess, A. Kyprianidis, P. Becker, A. Lee, D. S. Weiss, Nature 440, 900 (2006); L. E. Saddler et al., J. Smith, G. Pagano, I-D. Potirniche, A. C. Potter, A. Nature 443, 312 (2006). Vishwanath, N. Y. Yao, and C. Monroe, Nature 543, 217 11 J. Simon, W. S. Bakr, R. Ma, M. E. Tai, P. M. Preiss, and (2017). M. Greiner, Nature (London) 472, 307 (2011); W. Bakr, 29 D. V. Else, B. Bauer, and C. Nayak, Phys. Rev. Lett. 117, A. Peng, E. Tai, R. Ma, J. Simon, J. Gillen, S. Foelling, 090402 (2016). L. Pollet, and M. Greiner, Science 329, 547 (2010). 30 A. Das, Phys. Rev. B 82, 172402 (2010); S. Bhat- 12 H. Bernien, S. Schwartz, A. Keesling, H. Levine, A. Om- tacharyya, A. Das, and S. Dasgupta, Phys. Rev. B 86, ran, H. Pichler, S. Choi, A. S. Zibrov, M. Endres, M. 054410 (2012); S. S. Hedge, H. Katiyar, T. S. Mahesh, Greiner, V. Vuletic, and M. D. Lukin, Nature 551, 579 and A. Das, Phys. Rev. B 90, 174407 (2014). (2017). 31 S. Mondal, D. Pekker, and K. Sengupta, Europhys. Lett. 13 D. Bluvstein, A. Omran, H. Levine, A. Keesling, G. Se- 100, 60007 (2012); U. Divakaran and K. Sengupta, Phys. meghini, S. Ebadi, T. T. Wang, A. A. Michailidis, N. Rev. B 90, 184303 (2014); S. Kar, B. Mukherjee, and Maskara, W. W. Ho, S. Choi, M. Serbyn, M. Greiner, K. Sengupta, Phys. Rev. B 94, 075130 (2016); S. Lubini, V. Vuletic, and M. D. Lukin, arXiv:2012.12276 (unpub- L. Chirondojan, G. Oppo, A. Politi, and P. Politi, Phys. lished). Rev. Lett. 122, 084102 (2019). 14 S. Ebadi, T. T. Wang, H. Levine, A. Keesling, G. Semegh- 32 B. Mukherjee, A. Sen, D. Sen, and K. Sengupta, Phys. ini, A. Omran, D. Bluvstein, R. Samajdar, H. Pichler, W. Rev. B 102, 075123 (2020). W. Ho, S. Choi, S. Sachdev, M. Greiner, V. Vuletic, and 33 A. Haldar, D. Sen, R. Moessner, and A. Das, M. D. Lukin, arXiv:2012.12281 (unpublished). arXiv:1909.04064 (unpublished). 15 P. Kiefer, F. Hakelberg, M. Wittemer, A. Bermudez, D. 34 T. Nag, S. Roy, A. Dutta, and D. Sen, Phys. Rev. B 89, Porras, U. Warring, and T. Schaetz, Phys. Rev. Lett. 123, 165425 (2014); T. Nag, D. Sen, and A. Dutta, Phys. Rev. 213605 (2019). A 91, 063607 (2015); A. Agarwala, U. Bhattacharya, A. 16 S. Loyd, Science 273, 1073 (1996); A. Wallraff, D. I. Dutta, and D. Sen, Phys. Rev. B 93, 174301 (2016). Schuster, A. Blais, L. Frunzio, R.-S. Huang, J. Majer, 35 A. Agarwala and D. Sen, Phys. Rev. B 95, 014305 (2017). S. Kumar, S. M. Girvin and R. J. Schoelkopf, Nature 36 D. J. Luitz, Y. Bar Lev, and A. Lazarides, SciPost Phys. 20

3, 029 (2017); D. J. Luitz, A. Lazarides, and Y. Bar Lev, Ho, S. Choi, H. Pitchler, and M. D. Lukin, Phys. Rev. Phys. Rev. B 97, 020303 (2018). Lett. 122, 040603 (2019). 37 X. Wen and J.-Q. Wu, arXiv:1805.00031 (unpublished); 53 C. J. Turner, A. A. Michailidis, D. A. Abanin, M. Serbyn, ibid., Phys. Rev. B, 97, 184309 (2018); R. Fan, Y. Gu, and Z. Papi´c,Nat. Phys. 14, 745 (2018); C. J. Turner, A. A. Vishwanath and X. Wen, Phys. Rev. X 10, 031036 A. Michailidis, D. A. Abanin, M. Serbyn, and Z. Papi´c, (2020); X. Wen, R. Fan, A. Vishwanath and Y. Gu, Phys. Rev. B 98, 155134 (2018); K. Bull, I. Martin, and arXiv:2006.10072 (unpublished); B. Han and X. Wen, Z. Papi´c,Phys. Rev. Lett. 123, 030601 (2019). Phys. Rev. B 102, 205125 (2020); R. Fan, Y. Gui, A. Vish- 54 V. Khemani, C. R. Lauman, and A. Chandran, Phys. Rev. wanath, and X. Wen, arXiv:2011.09491 (unpublished). B 99, 161101 (2019); S. Maudgalya, N. Regnault, and B. 38 B. Lapierre, K. Choo, C. Tauber, A. Tiwari, T. Neupert A. Bernevig, Phys. Rev. B 98, 235156 (2018); T. Iadecola, and R. Chitra, Phys. Rev. Research 2, 023085 (2020); B. M. Schecter, and S. Xu, Phys. Rev. B 100, 184312 (2019); Lapierre, K. Choo, A. Tiwari, C. Tauber, T. Neupert and N. Shiraishi, J. Stat. Mech. 08313 (2019); M. Schecter, R. Chitra, Phys. Rev. Research 2, 033461 (2020). and T. Iadecola, Phys. Rev. Lett. 123, 147201 (2019). 39 D. Das, R. Ghosh, and K. Sengupta, arXiv:2101.04140 55 D. Banerjee and A. Sen, arXiv:2012.08540 (unpublished). (unpublished). 56 B. Mukherjee, S. Nandy, D. Sen, A. Sen, and K. Sengupta, 40 J. M. Deutsch, Phys. Rev. A 43, 2046 (1991); M. Sred- Phys. Rev. B 101, 245107 (2020). nicki, Phys. Rev. E 50, 888 (1994); ibid, J. Phys. A 32, 57 K. Mizuta, K. Takasan, N. Kawakami, Phys. Rev. Re- 1163 (1999). search 2, 033284 (2020); S. Pai and M. Pretko, Phys. 41 A. Lazarides, A. Das, and R. Moessner, Phys. Rev. E 90, Rev. Lett. 123, 136401 (2019); S. Sugiura, T. Kuwahara, 012110 (2014). and K. Saito, arXiv:1911.06092 (unpublished). 42 P. Ponte, A. Chandran, Z. Papi´c,and D. A. Abanin, An- 58 W. Magnus, Comm. Pure Appl.Math. 7, 649 (1954). nals of Physics 353, 196 (2015). 59 A. Arnal, F. Casas, and C. Chiralt, J. Phys. Commun. 2, 43 L. D’Alessio and M. Rigol, Phys. Rev. X 4, 041048 (2014). 035024 (2018). 44 T. Kuwahara, T. Mori, and K. Saito, Annals of Physics 60 D. V. Else, B. Bauer, and C. Nayak, Phys. Rev. X 7, 367, 96 (2016). 011026 (2017). 45 T. Mori, T. Kuwahara, and K. Saito, Phys. Rev. Lett. 61 D. A. Abanin, W. De Roeck, W. W. Ho, and F. Huve- 116, 120401 (2016); M. Bukov, S. Gopalakrishnan, M. neers, Phys. Rev. B 95, 014112 (2017). Knap, and E. Demler, Phys. Rev. Lett. 115, 205301 62 M. S. Child, Molecular Collision Theory, Academic Press, (2015); T-S. Zeng and D. N. Sheng, Phys. Rev. B 96, London (1974). 094202 (2017); T. Mori, Phys. Rev. B 98, 104303 (2018); 63 Y. Kayanuma, Phys. Rev. A 50, 843 (1994); ibid Phys. D. J. Luitz, R. Moessner, S. L. Sondhi, and V. Khemani, Rev. A 55, 2495 (1997). Phys. Rev. X 10, 021046 (2020); J. Okamoto and F. Pe- 64 S. Sachdev, Quantum Phase Transitions, (Cambridge runaci, arXiv:2010.00326 (unpublished). University Press, Cambridge, England, (1999). 46 S. A. Weidinger and M. Knap, Scientific Reports 7, 45382 65 A. Kitaev, Ann. Phys. 321, 2 (2006); H.-D. Chen and Z. (2017); O. Howell, P. Weinberg, D. Sels, A. Polkovnikov, Nussinov, J. Phys. A 41, 075001 (2008). and M. Bukov, Phys. Rev. Lett. 122, 010602 (2019); K. 66 A. H. Castro Neto, F. Guinea, N. M. R. Peres, K. S. Mizuta, K. Takasan, N. Kawakami, Phys. Rev. B 100, Novoselov, and A. K. Geim, Rev. Mod. Phys. 81, 109 020301 (2019); E. G. Dalla Torre, arXiv:2005.07207 (un- (2009). published). 67 X-L. Qi and S-C. Zhang. Rev. Mod. Phys. 83, 1057 47 K. Singh, C. J. Fujiwara, Z. A. Geiger, E. Q. Sim- (2011). mons, M. Lipatov, A. Cao, P. Dotti, S. V. Rajagopal, 68 N. P. Armitage, E.J. Mele, and A. Vishwanath Rev. Mod. R. Senaratne, T. Shimasaki, M. Heyl, A. Eckardt, and Phys. 90, 015001 (2018). D. M. Weld, Phys. Rev. X 9, 041021 (2019); P. Peng, 69 J. Sau and K. Sengupta, Phys. Rev. B 90, 104306 (2014). C. Yin, X. Huang, C. Ramanathan, and P. Cappellaro, 70 A. Soori and D. Sen, Phys. Rev. B 82, 115432 (2010). arXiv:1912.05799 (unpublished); A. Rubio-Abadal, M. Ip- 71 T. Mikami, S. Kitamura, K. Yasuda, N. Tsuji, T. Oka, politi, S. Hollerith, D. Wei, J. Rui, S. L. Sondhi, V. Khe- and H. Aoki, Phys. Rev. B 93, 144307 (2016). mani, C. Gross, and I. Bloch, Phys. Rev. X 10, 021044 72 A. Udupa, K. Sengupta, and D. Sen, Phys. Rev. B 102, (2020). 045419 (2020). 48 R. Nandkishore and D. Huse, Ann. Rev. Cond. Mat. 6, 73 M. Abramowitz and I. A. Stegun, Handbook of Mathemat- 15 (2015). ical Functions (Dover, New York, 1972). 49 P. Ponte, Z. Papi´c,F. Huveneers, and D. A. Abanin, Phys. 74 A. P. Itin and M. I. Katsnelson, Phys. Rev. Lett. 115, Rev. Lett. 114, 140401 (2015); D. Abanin, W. De Roeck, 075301 (2015). and F. Huveneers, Annals of Physics 372, 1 (2016). 75 T. Bilitewski and N. R. Cooper, Phys. Rev. A 91, 033601 50 J. Rehn, A. Lazarides, F. Pollmann, and R. Moessner, (2015). Phys. Rev. B 94, 020201 (2016); H. C. Po, L. Fidkowski, 76 R. Ghosh, B. Mukherjee, and K. Sengupta, Phys. Rev. B T. Morimoto, A. C. Potter, and A. Vishwanath, Phys. 102, 235114 (2020); M. Bukov, M. Kolodrubetz, and A. Rev. X 6, 041070 (2016); Polkovnikov, Phys. Rev. Lett. 116, 125301 (2016). 51 L. Zhang, V. Khemani, and D. Huse, Phys. Rev. B 94, 77 A. Eckardt, Rev. Mod. Phys. 89, 011004 (2017). 224202 (2016); M. Sonner, M. Serbyn, Z. Papi´c,and D. A. 78 S. Vajna, K. Klobas, T. Prosen, and A. Polkovnikov, Abanin, arXiv:2012.15676 (unpublished); A. Chan, A. De Phys. Rev. Lett. 120, 200607 (2018). Luca, and J. T. Chalker, arXiv:2012.05295 (unpublished). 79 C. Fleckenstein and M. Bukov, arXiv:2012.10405 (unpub- 52 S. Choi, C. J. Turner, H. Pichler, W. W. Ho, A. A. lished). Michailidis, Z. Papi´c,M. Serbyn, M. D. Lukin, and D. 80 C. Fleckenstein and M. Bukov, arXiv:2101.04372 (unpub- A. Abanin, Phys. Rev. Lett. 122, 220603 (2019); W. W. lished). 21

81 F. Wegner, Ann. Phys. 3, 77 (1994); ibid, J. Phys. A 39, X 10, 021032 (2020). 8221 (2006). 94 B. Mukherjee, A. Sen, D. Sen, and K. Sengupta, Phys. 82 S. Kehrein, The Flow Equation Approach to Many Parti- Rev. B 102, 014301 (2020). cle Systems, (Springer, New York, 2006) 95 T. Mori, H. Zhao, F. Mintert, J. Knolle, and R. Moessner, 83 A. Verdeny, A. Mielke, and F. Mintert, Phys. Rev. Lett. arXiv:2101.07065 (unpublished). 111, 375101 (2013); A. Roy and A. Das, Phys. Rev. B 96 A. Verdeny, J. Puig, and F. Mintert, Z. Naturforsch 71, 91, 121106 (R) (2015); S. J. Thomson, D. Magano, M. 897 (2016). Schiro, arXiv:2009.03186 (unpublished). 97 A. Kamenev, Adv. Phys. 58, 193 (2009); ibid, cond- 84 M. Vogl, P. Laurell, A. D. Barr, and G. A. Fiete, Phys. mat/0109316 (unpublished). Rev. X 9, 021037 (2019) 98 See, for example, Chap 3.3 of H. P. Breuer and F. 85 T.V. Laptyeva, E.A. Kozinov, I.B. Meyerov, M.V. Petruccione, The theory of open quantum systems (Ox- Ivanchenkoc, S.V. Denisov, and P. Hanggi, Comp. Phys. ford, 2006). Comm. 201, 85 (2016). 99 A. Robertson and V. M. Galitski, Phys. Rev. A 80, 063609 86 Steven R. White and Adrian E. Feiguin, Phys. Rev. Lett. (2009); R. Mankowsky, A. Subedi, M. Forst, M. Mariager, 93 076401 (2004); G. Vidal, Phys. Rev. Lett. 91, 147902 S. O. Chollet, H. T. Lemke, J. S. Robinson, J. M. Glownia, (2003). M. P. Minitti, A. Frano, M. Fechner, N. A. Spaldin, T. 87 S. Nandy, A. Sen, and D. Sen, Phys. Rev. X 7, 031034 Loew, B. Keimer, A. Georges, and A. Cavalleri, Nature (2017). 516, 71 (2014). 88 S. Nandy, A. Sen, and D. Sen, Phys. Rev. B 98, 245144 100 E. G. D. Torre, S. Diehl, M. D. Lukin, S. Sachdev, and P. (2018). Strack, Phys. Rev. A 87, 023831 (2013); L. M. Sieberer, 89 S. Maity, U. Bhattacharya, A. Dutta, and D. Sen, Phys. S. D. Huber, E. Altman, and S. Diehl, Phys. Rev. Lett. Rev. B 99, 020306(R) (2019). 110, 195301 (2013); E. Altman, L. M. Sieberer, L. Chen, 90 S. Ray, S. Sinha, and D. Sen, Phys. Rev. E 100, 052129 S. Diehl, and J. Toner, Phys. Rev. X 5, 011017 (2015); (2019). M. F. Maghrebi and A. V. Gorshkov, Phys. Rev. B 93, 91 P. T. Dumitrescu, R. Vasseur, and A. C. Potter, Phys. 014307 (2016). Rev. Lett. 120, 070602 (2018). 101 R. Ghosh, N. Dupuis, A. Sen, and K. Sengupta, Phys. 92 K. Giergiel, A. Kuro´s,and K. Sacha, Phys. Rev. B 99, Rev. B. 101, 245130 (2020). 220303(R) (2019). 93 D. V. Else, W. W. Ho, and P. T. Dumitrescu, Phys. Rev.