Floquet engineering nearly flat bands through
quantum-geometric light-matter coupling with surface polaritons

Mikołaj Walicki Institute of Theoretical Physics, Faculty of Physics, University of Warsaw, Pasteura 5, PL-02093 Warsaw, Poland    Christian J. Eckhardt Max Planck Institute for the Structure and Dynamics of Matter, Center for Free-Electron Laser Science (CFEL), Luruper Chaussee 149, 22761 Hamburg, Germany Institut für Theorie der Statistischen Physik, RWTH Aachen University and JARA-Fundamentals of Future Information Technology, 52056 Aachen, Germany    Michael A. Sentef Institute for Theoretical Physics and Bremen Center for Computational Materials Science, University of Bremen, 28359 Bremen, Germany Max Planck Institute for the Structure and Dynamics of Matter, Center for Free-Electron Laser Science (CFEL), Luruper Chaussee 149, 22761 Hamburg, Germany [email protected]
(June 3, 2024)
Abstract

We investigate Floquet engineering in a sawtooth chain – a minimal model hosting a nearly flat band endowed with nontrivial quantum geometry – coupled to driven surface polaritons. In this paradigmatic flat band model, light-matter coupling to a flat band is enabled by quantum geometry despite the vanishing band velocity and band curvature. We show that light polarization and finite momentum transfer in polaritonic settings provide sufficient tunability to flatten or unflatten bands, with sometimes drastic band structure modifications beyond what is attainable with laser pulses in free space. Possible implications for light-driven phenomena in prototypical flat-band moiré or kagome materials are discussed.

preprint: APS/123-QED

I Introduction

The design of quantum materials through light-matter coupling is a blossoming research field [1, 2] offering exciting opportunities for creating new states of matter with prospects for applications in optoelectronic devices. Specifically, progress in tailor-made time-resolved dynamics with strong and short laser pulses offers opportunities in the realms of photo-induced phase transitions as well as dressed states in quasi-time-periodic fields, known as Floquet states [3]. On the other hand, the use of quantum fluctuations of light and their strong coupling to matter excitations [4, 5] in cavity quantum materials is an adjacent field of research with increasing activity [6, 7], as highlighted by groundbreaking experimental demonstrations of cavity-modified quantum Hall effects [8] and charge-density wave transitions [9].

In Floquet materials science, one of the major hurdles towards achieving breakthrough results across larger classes of materials lies in the need for strong fields coherently dressing the matter states before heating and dissipation start to dominate the physics [10]. While this has recently been overcome in several instances, with successful demonstrations of Floquet engineering across different quantum materials platforms [11, 12, 13, 14, 15, 16, 17, 18, 19, 20], it remains a challenge to drive materials to the required field strengths for Floquet engineering effects to become sizeable. Hence it is desirable to propose alternative schemes that require lower laser intensities by employing enhanced light-matter coupling. A second limitation of Floquet engineering in free space is that optical or mid-infrared fields usually have wavelengths well above the atomic scale, therefore restricting the scope of light-matter dressing to long-wavelength, small-wavevector regimes in which the dipole approximation typically holds. By contrast, the emerging variety of cavity-like quantum-electrodynamical surroundings with tunable polariton mode dispersions [21, 22, 23] opens new opportunities to overcome the apparent discrepancy of length and momentum scales between light and matter. Below we specifically consider a cavity setting with surface polaritons, instead of more conventional Fabry-Perot type cavities, precisely because this allows us to make use of larger effective couplings, due to compressed effective mode volumes, and finite momentum transfer between light and matter. We note that cavity quality factors are of less importance in this context compared to other situations, e.g., in atomic and molecular physics.

We target one specific goal: We wish to dress electronic bands in a minimal model for flat band physics. Flat bands with non-trivial quantum geometry can lead to interesting strongly correlated electron phenomena, as evidenced by the blossoming fields of moiré heterostructures [24, 25] and kagome materials [26]. General wisdom suggests that Floquet engineering such bands is difficult since nearly flat bands have almost vanishing band velocity and curvature, thus rendering classical paramagnetic and diamagnetic light-matter couplings small. However, their non-trivial quantum geometry can endow nearly flat bands with quantum-geometric light-matter couplings, which in turn provide a handle for Floquet engineering [27].

We show through model calculations that flexible control over the electronic structure in a sawtooth chain is enabled through its coupling to laser-driven surface polaritons. The degree of flattening of a nearly flat band can be controlled via the choice of light polarization and the range of wave vectors involved in the dressing scheme. This flexible light-matter control scheme can be viewed as a step** stone for achieving control over the plethora of emergent phases that arise in flat-band materials.

II Model and methods

Refer to caption
Figure 1: (a) Sawtooth chain with hop** matrix elements t𝑡titalic_t between A and B sites, and tAAsubscript𝑡𝐴𝐴t_{AA}italic_t start_POSTSUBSCRIPT italic_A italic_A end_POSTSUBSCRIPT for hop** on the A sublattice. (b, c) Band unflattening (b) and flattening (c) for homogeneous (q=0𝑞0q=0italic_q = 0) field polarized along y𝑦yitalic_y (“perpendicular field”) with amplitude A0=0.75subscript𝐴00.75A_{0}=0.75italic_A start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 0.75. Here tAA=t2subscript𝑡𝐴𝐴𝑡2t_{AA}=\frac{t}{\sqrt{2}}italic_t start_POSTSUBSCRIPT italic_A italic_A end_POSTSUBSCRIPT = divide start_ARG italic_t end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG in (b) and tAA=0.9tsubscript𝑡𝐴𝐴0.9𝑡t_{AA}=0.9titalic_t start_POSTSUBSCRIPT italic_A italic_A end_POSTSUBSCRIPT = 0.9 italic_t in (c). The grey lines show the energy spectrum in the absence of the electromagnetic field. The band coloring indicates the projection of the driven bands onto the undriven eigenstates, with 1 denoting 100% share of lower bare band and 0 denoting 100% share of the upper bare band.

We investigate the properties of flat bands with non-trivial geometry in a sawtooth chain with lattice constant a𝑎aitalic_a (Fig. 1(a)) and Hamiltonian

H=i(tci,Aci,B+tci+1,Aci,B+tAAci+1,Aci,A)+H.c.formulae-sequence𝐻subscript𝑖𝑡superscriptsubscript𝑐𝑖𝐴subscript𝑐𝑖𝐵𝑡superscriptsubscript𝑐𝑖1𝐴subscript𝑐𝑖𝐵subscript𝑡𝐴𝐴superscriptsubscript𝑐𝑖1𝐴subscript𝑐𝑖𝐴𝐻𝑐\displaystyle H=-\sum_{i}(tc_{i,A}^{\dagger}c_{i,B}+tc_{i+1,A}^{\dagger}c_{i,B% }+t_{AA}c_{i+1,A}^{\dagger}c_{i,A})+H.c.italic_H = - ∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_t italic_c start_POSTSUBSCRIPT italic_i , italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_i , italic_B end_POSTSUBSCRIPT + italic_t italic_c start_POSTSUBSCRIPT italic_i + 1 , italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_i , italic_B end_POSTSUBSCRIPT + italic_t start_POSTSUBSCRIPT italic_A italic_A end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_i + 1 , italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_i , italic_A end_POSTSUBSCRIPT ) + italic_H . italic_c . (1)

Here t𝑡titalic_t denotes inter-sublattice hop**, while tAAsubscript𝑡𝐴𝐴t_{AA}italic_t start_POSTSUBSCRIPT italic_A italic_A end_POSTSUBSCRIPT denotes intra-sublattice hop** on the A sublattice, as depicted in Fig. 1(a); the canonical fermionic operators ci,asuperscriptsubscript𝑐𝑖𝑎c_{i,a}^{\dagger}italic_c start_POSTSUBSCRIPT italic_i , italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT create an electron on site i𝑖iitalic_i and sublattice a{A,B}𝑎𝐴𝐵a\in\{A,B\}italic_a ∈ { italic_A , italic_B }, with corresponding annihilation operator ci,asubscript𝑐𝑖𝑎c_{i,a}italic_c start_POSTSUBSCRIPT italic_i , italic_a end_POSTSUBSCRIPT. Transformation to momentum space k𝑘kitalic_k yields

H𝐻\displaystyle Hitalic_H =k(hAB(k)ck,Ack,B+hAA(k)ck,Ack,A)+H.c.,formulae-sequenceabsentsubscript𝑘subscript𝐴𝐵𝑘superscriptsubscript𝑐𝑘𝐴subscript𝑐𝑘𝐵subscript𝐴𝐴𝑘superscriptsubscript𝑐𝑘𝐴subscript𝑐𝑘𝐴𝐻𝑐\displaystyle=-\sum_{k}(h_{AB}(k)c_{k,A}^{\dagger}c_{k,B}+h_{AA}(k)c_{k,A}^{% \dagger}c_{k,A})+H.c.,= - ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_h start_POSTSUBSCRIPT italic_A italic_B end_POSTSUBSCRIPT ( italic_k ) italic_c start_POSTSUBSCRIPT italic_k , italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_k , italic_B end_POSTSUBSCRIPT + italic_h start_POSTSUBSCRIPT italic_A italic_A end_POSTSUBSCRIPT ( italic_k ) italic_c start_POSTSUBSCRIPT italic_k , italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_k , italic_A end_POSTSUBSCRIPT ) + italic_H . italic_c . , (2)

where hab(k)subscript𝑎𝑏𝑘h_{ab}(k)italic_h start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ( italic_k ) are matrix elements of the 2x22𝑥22x22 italic_x 2 Hamiltonian blocks

h(k)=(2tAAcoskat(1+eika)t(1+eika)0).𝑘matrix2subscript𝑡𝐴𝐴𝑘𝑎𝑡1superscript𝑒𝑖𝑘𝑎𝑡1superscript𝑒𝑖𝑘𝑎0h(k)=-\begin{pmatrix}2t_{AA}\cos ka&t(1+e^{-ika})\\ t(1+e^{ika})&0\\ \end{pmatrix}.italic_h ( italic_k ) = - ( start_ARG start_ROW start_CELL 2 italic_t start_POSTSUBSCRIPT italic_A italic_A end_POSTSUBSCRIPT roman_cos italic_k italic_a end_CELL start_CELL italic_t ( 1 + italic_e start_POSTSUPERSCRIPT - italic_i italic_k italic_a end_POSTSUPERSCRIPT ) end_CELL end_ROW start_ROW start_CELL italic_t ( 1 + italic_e start_POSTSUPERSCRIPT italic_i italic_k italic_a end_POSTSUPERSCRIPT ) end_CELL start_CELL 0 end_CELL end_ROW end_ARG ) . (3)

The blocks are then diagonalized to obtain a band structure with eigenvalues

ε1(k)subscript𝜀1𝑘\displaystyle\varepsilon_{1}(k)italic_ε start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_k ) =tAAcoskatAA2coska+2t2(1+coska),absentsubscript𝑡𝐴𝐴𝑘𝑎superscriptsubscript𝑡𝐴𝐴2𝑘𝑎2superscript𝑡21𝑘𝑎\displaystyle=-t_{AA}\cos ka-\sqrt{t_{AA}^{2}\cos ka+2t^{2}(1+\cos ka)},= - italic_t start_POSTSUBSCRIPT italic_A italic_A end_POSTSUBSCRIPT roman_cos italic_k italic_a - square-root start_ARG italic_t start_POSTSUBSCRIPT italic_A italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos italic_k italic_a + 2 italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 1 + roman_cos italic_k italic_a ) end_ARG , (4)
ε2(k)subscript𝜀2𝑘\displaystyle\varepsilon_{2}(k)italic_ε start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_k ) =tAAcoska+tAA2coska+2t2(1+coska).absentsubscript𝑡𝐴𝐴𝑘𝑎superscriptsubscript𝑡𝐴𝐴2𝑘𝑎2superscript𝑡21𝑘𝑎\displaystyle=-t_{AA}\cos ka+\sqrt{t_{AA}^{2}\cos ka+2t^{2}(1+\cos ka)}.= - italic_t start_POSTSUBSCRIPT italic_A italic_A end_POSTSUBSCRIPT roman_cos italic_k italic_a + square-root start_ARG italic_t start_POSTSUBSCRIPT italic_A italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos italic_k italic_a + 2 italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 1 + roman_cos italic_k italic_a ) end_ARG .

By tuning the ratio tAA/tsubscript𝑡𝐴𝐴𝑡t_{AA}/titalic_t start_POSTSUBSCRIPT italic_A italic_A end_POSTSUBSCRIPT / italic_t one can tune the degree of flatness of the upper band. For tAA=t2subscript𝑡𝐴𝐴𝑡2t_{AA}=\frac{t}{\sqrt{2}}italic_t start_POSTSUBSCRIPT italic_A italic_A end_POSTSUBSCRIPT = divide start_ARG italic_t end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG the upper band becomes exactly flat:

ε1(k)subscript𝜀1𝑘\displaystyle\varepsilon_{1}(k)italic_ε start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_k ) =2t(coska+1),absent2𝑡𝑘𝑎1\displaystyle=-\sqrt{2}t(\cos{ka}+1),= - square-root start_ARG 2 end_ARG italic_t ( roman_cos italic_k italic_a + 1 ) , (5)
ε2(k)subscript𝜀2𝑘\displaystyle\varepsilon_{2}(k)italic_ε start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_k ) =2t.absent2𝑡\displaystyle=\sqrt{2}t.= square-root start_ARG 2 end_ARG italic_t .

While the model is quasi-one-dimensional, the real-space sawtooth geometry of the chain is crucial for its interaction with light. Here we choose the vector between sites A and B to be 𝐫𝐛𝐫𝐚=12(1, 1, 0)Tasubscript𝐫𝐛subscript𝐫𝐚12superscript11 0𝑇𝑎{\bf r_{b}-r_{a}}=\frac{1}{2}(1,\>1,\>0)^{T}abold_r start_POSTSUBSCRIPT bold_b end_POSTSUBSCRIPT - bold_r start_POSTSUBSCRIPT bold_a end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( 1 , 1 , 0 ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_a, as depicted in Fig. 1(a).

The system is coupled to a light field given by a vector potential 𝐀(𝐫)𝐀𝐫{\bf A}({\bf r})bold_A ( bold_r ) (suppressing its possible time dependence for brevity) via the standard Peierls substitution

H𝐻\displaystyle Hitalic_H =ab{A,B}ij(tab(i,j))ci,acj,beiRj,bRi,a𝑑rμAμ(𝐫).absentsubscript𝑎𝑏𝐴𝐵subscript𝑖𝑗subscript𝑡𝑎𝑏𝑖𝑗superscriptsubscript𝑐𝑖𝑎subscript𝑐𝑗𝑏superscript𝑒𝑖superscriptsubscriptsubscript𝑅𝑗𝑏subscript𝑅𝑖𝑎differential-dsubscriptsuperscript𝑟𝜇superscript𝐴𝜇superscript𝐫\displaystyle=\sum_{ab\in\{A,B\}}\sum_{ij}\left(-t_{ab}(i,j)\right)c_{i,a}^{% \dagger}c_{j,b}e^{i\int_{R_{j},b}^{R_{i,a}}dr^{\prime}_{\mu}A^{\mu}({\bf r^{% \prime}})}.= ∑ start_POSTSUBSCRIPT italic_a italic_b ∈ { italic_A , italic_B } end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( - italic_t start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ( italic_i , italic_j ) ) italic_c start_POSTSUBSCRIPT italic_i , italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_j , italic_b end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_i ∫ start_POSTSUBSCRIPT italic_R start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_R start_POSTSUBSCRIPT italic_i , italic_a end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_d italic_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ( bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) end_POSTSUPERSCRIPT . (6)

This can be approximated by assuming that the wavelength of light is much longer than the lattice constant of the chain, simplifying the integral in the exponent. The vector potential is then expanded as a sum of modes containing different momentum 𝐪𝐪{\bf q}bold_q vectors, yielding a perturbative expression for light-matter coupling (here presented up to second order),

H𝐻\displaystyle Hitalic_H =ab{A,B}𝐤{c𝐤,ac𝐤,bhab(𝐤)\displaystyle=\sum_{ab\in\{A,B\}}\sum_{\bf k}\{c_{{\bf k},a}^{\dagger}c_{{\bf k% },b}h_{ab}({\bf k})= ∑ start_POSTSUBSCRIPT italic_a italic_b ∈ { italic_A , italic_B } end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT bold_k end_POSTSUBSCRIPT { italic_c start_POSTSUBSCRIPT bold_k , italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT bold_k , italic_b end_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ( bold_k ) (7)
+𝐪c𝐤,ac𝐤+𝐪,bA𝐪μkμhab(𝐤+𝐪𝟐)subscript𝐪superscriptsubscript𝑐𝐤𝑎subscript𝑐𝐤𝐪𝑏superscriptsubscript𝐴𝐪𝜇subscriptsubscript𝑘𝜇subscript𝑎𝑏𝐤𝐪2\displaystyle+\sum_{\bf q}c_{{\bf k},a}^{\dagger}c_{{\bf k+q},b}A_{\bf q}^{\mu% }\partial_{k_{\mu}}h_{ab}({\bf k+\frac{q}{2}})+ ∑ start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT bold_k , italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT bold_k + bold_q , italic_b end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ( bold_k + divide start_ARG bold_q end_ARG start_ARG bold_2 end_ARG )
+12𝐪𝐪[c𝐤,ac𝐤+𝐪+𝐪,bA𝐪μA𝐪νkμkνhab(𝐤+𝐪𝟐+𝐪𝟐)\displaystyle+\frac{1}{2}\sum_{\bf qq^{\prime}}[c_{{\bf k},a}^{\dagger}c_{{\bf k% +q+q^{\prime}},b}A_{\bf q}^{\mu}A_{\bf q^{\prime}}^{\nu}\partial_{k_{\mu}}% \partial_{k_{\nu}}h_{ab}({\bf k+\frac{q}{2}+\frac{{\bf q^{\prime}}}{2}})+ divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT bold_qq start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT [ italic_c start_POSTSUBSCRIPT bold_k , italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT bold_k + bold_q + bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_b end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_A start_POSTSUBSCRIPT bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT end_POSTSUBSCRIPT ∂ start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ( bold_k + divide start_ARG bold_q end_ARG start_ARG bold_2 end_ARG + divide start_ARG bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG bold_2 end_ARG )
+c𝐤,ac𝐤+𝐪𝐪,bA𝐪μA𝐪νkμkνhab(𝐤+𝐪𝟐𝐪𝟐)]}+H.c.\displaystyle+c_{{\bf k},a}^{\dagger}c_{{\bf k+q-q^{\prime}},b}A_{\bf q}^{\mu}% A_{\bf q^{\prime}}^{\nu*}\partial_{k_{\mu}}\partial_{k_{\nu}}h_{ab}({\bf k+% \frac{q}{2}-\frac{q^{\prime}}{2}})]\}+H.c.+ italic_c start_POSTSUBSCRIPT bold_k , italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT bold_k + bold_q - bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_b end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_A start_POSTSUBSCRIPT bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_ν ∗ end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT end_POSTSUBSCRIPT ∂ start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ( bold_k + divide start_ARG bold_q end_ARG start_ARG bold_2 end_ARG - divide start_ARG bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG bold_2 end_ARG ) ] } + italic_H . italic_c .

This expression makes it explicit that flat bands can couple to light despite their vanishing band velocity, since the momentum derivatives act on the Hamiltonian matrix elements, not just on the energy eigenvalues. The potential light-matter coupling in a flat band is thus a result of non-trivial quantum geometry, as already discussed in Ref. 27.

In the following we wish to drive the light modes that have been kept rather general up to this point. We consider a time-dependent vector potential of the form

𝐀(𝐫,t)=𝐪𝐀qcos(𝐪𝐫ωt),𝐀𝐫𝑡subscript𝐪subscript𝐀𝑞𝐪𝐫𝜔𝑡{\bf A}({\bf r},t)=\sum_{\bf q}{\bf A}_{q}\cos({\bf qr}-\omega t),bold_A ( bold_r , italic_t ) = ∑ start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT bold_A start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT roman_cos ( bold_qr - italic_ω italic_t ) , (8)

and assume that the frequency of the drive is high compared to bandwidth of the nearly flat band, but small compared to the gap between the flat band and the dispersive band. It is anticipated that such a configuration is realistically achievable specifically for fields stemming from surface polaritons, which are typically in the few terahertz range, well below electronic hop** parameters for most materials. In this limit the time dependence can be averaged by time averaging the Peierls phase factor,

ei𝐫𝐢𝐫𝐣𝑑𝐫𝐀(𝐫,t)tsubscriptdelimited-⟨⟩superscript𝑒𝑖superscriptsubscriptsubscript𝐫𝐢subscript𝐫𝐣differential-d𝐫𝐀𝐫𝑡𝑡\displaystyle\langle e^{i\int_{\bf r_{i}}^{\bf r_{j}}d{\bf r}{\bf A}({\bf r},t% )}\rangle_{t}⟨ italic_e start_POSTSUPERSCRIPT italic_i ∫ start_POSTSUBSCRIPT bold_r start_POSTSUBSCRIPT bold_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_r start_POSTSUBSCRIPT bold_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_d bold_rA ( bold_r , italic_t ) end_POSTSUPERSCRIPT ⟩ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT (9)
1T0T𝑑teiq𝐀qcos((𝐫𝐣+𝐫𝐢)2qωt)(𝐫𝐣𝐫𝐢)absent1𝑇superscriptsubscript0𝑇differential-d𝑡superscript𝑒𝑖subscript𝑞subscript𝐀𝑞subscript𝐫𝐣subscript𝐫𝐢2𝑞𝜔𝑡subscript𝐫𝐣subscript𝐫𝐢\displaystyle\approx\frac{1}{T}\int_{0}^{T}dte^{i\sum_{q}{\bf A}_{q}\cos({% \frac{\bf(r_{j}+r_{i})}{2}q}-\omega t)({\bf r_{j}-r_{i}})}≈ divide start_ARG 1 end_ARG start_ARG italic_T end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_d italic_t italic_e start_POSTSUPERSCRIPT italic_i ∑ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT bold_A start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT roman_cos ( divide start_ARG ( bold_r start_POSTSUBSCRIPT bold_j end_POSTSUBSCRIPT + bold_r start_POSTSUBSCRIPT bold_i end_POSTSUBSCRIPT ) end_ARG start_ARG 2 end_ARG italic_q - italic_ω italic_t ) ( bold_r start_POSTSUBSCRIPT bold_j end_POSTSUBSCRIPT - bold_r start_POSTSUBSCRIPT bold_i end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT
=J0(𝐀(𝐫𝐣+𝐫𝐢2)(𝐫𝐣𝐫𝐢))absentsubscript𝐽0𝐀subscript𝐫𝐣subscript𝐫𝐢2subscript𝐫𝐣subscript𝐫𝐢\displaystyle=J_{0}({\bf A}(\frac{{\bf r_{j}+r_{i}}}{2})({\bf r_{j}-r_{i}}))= italic_J start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( bold_A ( divide start_ARG bold_r start_POSTSUBSCRIPT bold_j end_POSTSUBSCRIPT + bold_r start_POSTSUBSCRIPT bold_i end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) ( bold_r start_POSTSUBSCRIPT bold_j end_POSTSUBSCRIPT - bold_r start_POSTSUBSCRIPT bold_i end_POSTSUBSCRIPT ) )
=114[𝐀(𝐫𝐣+𝐫𝐢2)(𝐫𝐣𝐫𝐢)]2+O(𝐀4),absent114superscriptdelimited-[]𝐀subscript𝐫𝐣subscript𝐫𝐢2subscript𝐫𝐣subscript𝐫𝐢2𝑂superscript𝐀4\displaystyle=1-\frac{1}{4}[{\bf A}(\frac{{\bf r_{j}+r_{i}}}{2})({\bf r_{j}-r_% {i}})]^{2}+O({\bf A}^{4}),= 1 - divide start_ARG 1 end_ARG start_ARG 4 end_ARG [ bold_A ( divide start_ARG bold_r start_POSTSUBSCRIPT bold_j end_POSTSUBSCRIPT + bold_r start_POSTSUBSCRIPT bold_i end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) ( bold_r start_POSTSUBSCRIPT bold_j end_POSTSUBSCRIPT - bold_r start_POSTSUBSCRIPT bold_i end_POSTSUBSCRIPT ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_O ( bold_A start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ) ,

where J0subscript𝐽0J_{0}italic_J start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is the zeroth order Bessel function, which has been Taylor-expanded in the last step. One can arrive at the same result by averaging the amplitudes Aqμsubscriptsuperscript𝐴𝜇𝑞A^{\mu}_{q}italic_A start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT in (7).

Typically, field amplitudes required to induce significant changes in the band structure are rather large, as can be seen by inspecting the renormalized Peierls phase factor in Eq. 9. The second order term in the last line of the equation suggests that vector potentials of the size of a significant fraction of the Brillouin zone are needed, since the term 𝐫𝐣𝐫𝐢subscript𝐫𝐣subscript𝐫𝐢{\bf r_{j}-r_{i}}bold_r start_POSTSUBSCRIPT bold_j end_POSTSUBSCRIPT - bold_r start_POSTSUBSCRIPT bold_i end_POSTSUBSCRIPT is on the order of the lattice constant, whose inverse governs the Brillouin zone size. Such enormous field strengths are not attainable in the far field of an optical or terahertz laser drive. To get around this constraint we therefore focus on surface modes, since they allow for the required field enhancement.

Refer to caption
Figure 2: (a) Dependence of the vector potential amplitude of a surface mode with mode function proportional to q2eqz𝑞2superscript𝑒𝑞𝑧\frac{q}{\sqrt{2}}e^{-qz}divide start_ARG italic_q end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG italic_e start_POSTSUPERSCRIPT - italic_q italic_z end_POSTSUPERSCRIPT (cf. Eq. 14) on wavenumber q𝑞qitalic_q plotted at height above the surface z/a=2𝑧𝑎2z/a=2italic_z / italic_a = 2. (b) Effective transition coefficient between A and B sites teffsuperscript𝑡𝑒𝑓𝑓t^{eff}italic_t start_POSTSUPERSCRIPT italic_e italic_f italic_f end_POSTSUPERSCRIPT for different distances z𝑧zitalic_z from the surface, for A0=0.5subscript𝐴00.5A_{0}=0.5italic_A start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 0.5. The modulation is caused by the time-averaged Peierls phase. (c and d) Eigenvalues of Hamiltonian with surface mode A0=0.5subscript𝐴00.5A_{0}=0.5italic_A start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 0.5 perpendicular to the chain, mapped by their projections onto bare Hamiltonian’s eigenvectors at z𝑧zitalic_z values depicted in (b), with ‘1’ denoting 100% share of lower band and ‘0’ denoting 100% share of the upper band. The grey lines indicate the bands in the absence of the electromagnetic field. (c) Band mixing as a consequence of the effective hop** coefficient teffsuperscript𝑡𝑒𝑓𝑓t^{eff}italic_t start_POSTSUPERSCRIPT italic_e italic_f italic_f end_POSTSUPERSCRIPT turning negative. (d) Weak field regime for comparison.

To this end, we model the saw-tooth chain to be in the vicinity of a substrate hosting surface phonon polaritons. For the mode functions we assume the lower half space to be filled with an insulator, giving rise to a frequency- and space-dependent permittivity described by a Lorentz oscillator model for a single phonon resonance,

ε(ω,𝐫)={𝟏;𝐳>𝟎ε(ω)=ωLO𝟐ω𝟐ωTO𝟐ω𝟐;𝐳<𝟎.\varepsilon(\omega,\bf{r})=\begin{cases}&1\hskip 65.44133pt;\,z>0\\ &\varepsilon(\omega)=\frac{\omega_{\rm LO}^{2}-\omega^{2}}{\omega_{\rm TO}^{2}% -\omega^{2}}\hskip 5.69054pt;\,z<0\end{cases}.italic_ε ( italic_ω , bold_r ) = { start_ROW start_CELL end_CELL start_CELL bold_1 ; bold_z > bold_0 end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL italic_ε ( italic_ω ) = divide start_ARG italic_ω start_POSTSUBSCRIPT roman_LO end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_2 end_POSTSUPERSCRIPT - italic_ω start_POSTSUPERSCRIPT bold_2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_ω start_POSTSUBSCRIPT roman_TO end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_2 end_POSTSUPERSCRIPT - italic_ω start_POSTSUPERSCRIPT bold_2 end_POSTSUPERSCRIPT end_ARG ; bold_z < bold_0 end_CELL end_ROW . (10)

Here ωLOsubscript𝜔LO\omega_{\rm LO}italic_ω start_POSTSUBSCRIPT roman_LO end_POSTSUBSCRIPT and ωTOsubscript𝜔TO\omega_{\rm TO}italic_ω start_POSTSUBSCRIPT roman_TO end_POSTSUBSCRIPT are longitudinal and transversal phonon frequencies, respectively. For frequencies ω𝜔\omegaitalic_ω within the restrahlenband ωTO<ω<ωLOsubscript𝜔TO𝜔subscript𝜔LO\omega_{\rm TO}<\omega<\omega_{\rm LO}italic_ω start_POSTSUBSCRIPT roman_TO end_POSTSUBSCRIPT < italic_ω < italic_ω start_POSTSUBSCRIPT roman_LO end_POSTSUBSCRIPT the permittivity is negative, ε(ω)<0𝜀𝜔0\varepsilon(\omega)<0italic_ε ( italic_ω ) < 0, such that no light can travel in the material within this frequency window, giving rise to perfect reflectivity. Within the restrahlenband, p-polarized surface modes of the electromagnetic field appear that are evanescent modes on both the material and vacuum sides, and are thus exponentially localized near the interface. Their mode-functions are given by

f>(𝐫)subscript𝑓𝐫\displaystyle f_{>}(\bf{r})italic_f start_POSTSUBSCRIPT > end_POSTSUBSCRIPT ( bold_r ) =1N(qx|𝐪|,qy|𝐪|,i|ε(ω)|)Te|𝐪|𝐳|ε(ω)|ei𝐪𝐫absent1𝑁superscriptsubscript𝑞𝑥𝐪subscript𝑞𝑦𝐪𝑖𝜀𝜔Tsuperscript𝑒𝐪𝐳𝜀𝜔superscript𝑒𝑖𝐪𝐫\displaystyle=\frac{1}{N}\left(\frac{q_{x}}{|\bf{q}|},\frac{q_{y}}{|\bf{q}|},i% \sqrt{|\varepsilon(\omega)|}\right)^{\rm T}e^{-\frac{|\bf{q}|z}{\sqrt{|% \varepsilon(\omega)|}}}e^{-i\bf{q}\cdot\bf{r}}= divide start_ARG 1 end_ARG start_ARG italic_N end_ARG ( divide start_ARG italic_q start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT end_ARG start_ARG | bold_q | end_ARG , divide start_ARG italic_q start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_ARG start_ARG | bold_q | end_ARG , italic_i square-root start_ARG | italic_ε ( italic_ω ) | end_ARG ) start_POSTSUPERSCRIPT roman_T end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - divide start_ARG | bold_q | bold_z end_ARG start_ARG square-root start_ARG | italic_ε ( italic_ω ) | end_ARG end_ARG end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i bold_q ⋅ bold_r end_POSTSUPERSCRIPT (11)
f<(𝐫)subscript𝑓𝐫\displaystyle f_{<}(\bf{r})italic_f start_POSTSUBSCRIPT < end_POSTSUBSCRIPT ( bold_r ) =1N(qx|𝐪|,qy|𝐪|,i1|ε(ω)|)Te|ε(ω)||𝐪|𝐳ei𝐪𝐫,absent1𝑁superscriptsubscript𝑞𝑥𝐪subscript𝑞𝑦𝐪𝑖1𝜀𝜔Tsuperscript𝑒𝜀𝜔𝐪𝐳superscript𝑒𝑖𝐪𝐫\displaystyle=\frac{1}{N}\left(\frac{q_{x}}{|\bf{q}|},\frac{q_{y}}{|\bf{q}|},i% \frac{1}{\sqrt{|\varepsilon(\omega)|}}\right)^{\rm T}e^{\sqrt{|\varepsilon(% \omega)|}|\bf{q}|z}e^{i\bf{q}\cdot\bf{r}},= divide start_ARG 1 end_ARG start_ARG italic_N end_ARG ( divide start_ARG italic_q start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT end_ARG start_ARG | bold_q | end_ARG , divide start_ARG italic_q start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_ARG start_ARG | bold_q | end_ARG , italic_i divide start_ARG 1 end_ARG start_ARG square-root start_ARG | italic_ε ( italic_ω ) | end_ARG end_ARG ) start_POSTSUPERSCRIPT roman_T end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT square-root start_ARG | italic_ε ( italic_ω ) | end_ARG | bold_q | bold_z end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i bold_q ⋅ bold_r end_POSTSUPERSCRIPT ,

where 𝐫𝐫\bf{r}bold_r and 𝐪𝐪\bf{q}bold_q are in-plane position and wave vector, respectively. Here f>subscript𝑓f_{>}italic_f start_POSTSUBSCRIPT > end_POSTSUBSCRIPT and f<subscript𝑓f_{<}italic_f start_POSTSUBSCRIPT < end_POSTSUBSCRIPT denote the mode functions above and below the interface, respectively. In order to obtain orthonormal modes in the case of a frequency- and space-dependent permittivity ε(ω,𝐫)𝜀𝜔𝐫\varepsilon(\omega,\bf{r})italic_ε ( italic_ω , bold_r ) the normalization constant N𝑁Nitalic_N has to be fixed by

Vd𝐫ε(𝐫,ω𝐪)𝟐(𝟏+𝟏ε(𝐫,ω𝐪)(ω𝐪ε(𝐫,ω𝐪))ω𝐪)|𝐟𝐪(𝐫)|𝟐=𝟏,subscript𝑉differential-d𝐫𝜀𝐫subscript𝜔𝐪211𝜀𝐫subscript𝜔𝐪subscript𝜔𝐪𝜀𝐫subscript𝜔𝐪subscript𝜔𝐪superscriptsubscript𝐟𝐪𝐫21\int_{V}\mathrm{d}\bf{r}\,\frac{\varepsilon(\bf{r},\omega_{q})}{2}\left(1+% \frac{1}{\varepsilon(\bf{r},\omega_{q})}\frac{\partial(\omega_{q}\varepsilon(% \bf{r},\omega_{q}))}{\partial\omega_{q}}\right)|\bf{f}_{q}(\bf{r})|^{2}=1,∫ start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT roman_d bold_r divide start_ARG italic_ε ( bold_r , italic_ω start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT ) end_ARG start_ARG bold_2 end_ARG ( bold_1 + divide start_ARG bold_1 end_ARG start_ARG italic_ε ( bold_r , italic_ω start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT ) end_ARG divide start_ARG ∂ ( italic_ω start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT italic_ε ( bold_r , italic_ω start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT ) ) end_ARG start_ARG ∂ italic_ω start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT end_ARG ) | bold_f start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT ( bold_r ) | start_POSTSUPERSCRIPT bold_2 end_POSTSUPERSCRIPT = bold_1 , (12)

where V𝑉Vitalic_V is the quantization volume. For the surface modes this yields

N2=(1+|ε(ω)|)(|ε(ω)|+[1+ωTO2ωLO2ωTO2(ω2ωTO2)2]|ε(ω)|)2|𝐪||ε(ω)|.superscript𝑁21𝜀𝜔𝜀𝜔delimited-[]1superscriptsubscript𝜔TO2superscriptsubscript𝜔LO2superscriptsubscript𝜔TO2superscriptsuperscript𝜔2superscriptsubscript𝜔TO22𝜀𝜔2𝐪𝜀𝜔N^{2}=\frac{(1+|\varepsilon(\omega)|)\left(|\varepsilon(\omega)|+\frac{\left[1% +\omega_{\rm TO}^{2}\frac{\omega_{\rm LO}^{2}-\omega_{\rm TO}^{2}}{\left(% \omega^{2}-\omega_{\rm TO}^{2}\right)^{2}}\right]}{|\varepsilon(\omega)|}% \right)}{2|\bf{q}|\sqrt{|\varepsilon(\omega)|}}.italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG ( 1 + | italic_ε ( italic_ω ) | ) ( | italic_ε ( italic_ω ) | + divide start_ARG [ 1 + italic_ω start_POSTSUBSCRIPT roman_TO end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_ω start_POSTSUBSCRIPT roman_LO end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_ω start_POSTSUBSCRIPT roman_TO end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_ω start_POSTSUBSCRIPT roman_TO end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ] end_ARG start_ARG | italic_ε ( italic_ω ) | end_ARG ) end_ARG start_ARG 2 | bold_q | square-root start_ARG | italic_ε ( italic_ω ) | end_ARG end_ARG . (13)

Effects from the surface modes can be well understood in the large |𝐪|𝐪|\bf{q}|| bold_q | limit, where their dispersion is essentially flat, and one has ε(ω)1𝜀𝜔1\varepsilon(\omega)\approx-1italic_ε ( italic_ω ) ≈ - 1. For this case, subsuming the constants and considering only the in-plane part of the electromagnetic field above the interface due to the surface modes and remembering that the overall field is real, we thus write

𝐀surf(𝐫)=A0𝐪|𝐪|𝐞𝐪2eqzcos(𝐪𝐫ω𝐭),subscript𝐀surf𝐫subscript𝐴0subscript𝐪𝐪subscript𝐞𝐪2superscript𝑒𝑞𝑧𝐪𝐫𝜔𝐭{\bf A}_{\text{surf}}({\bf r})=A_{0}\sum_{\bf q}\frac{\sqrt{|\bf{q}|}\bf{e}_{q% }}{\sqrt{2}}e^{-qz}\cos(\bf{qr}-\omega t),bold_A start_POSTSUBSCRIPT surf end_POSTSUBSCRIPT ( bold_r ) = italic_A start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT divide start_ARG square-root start_ARG | bold_q | end_ARG bold_e start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG italic_e start_POSTSUPERSCRIPT - italic_q italic_z end_POSTSUPERSCRIPT roman_cos ( bold_qr - italic_ω bold_t ) , (14)

with 𝐞𝐪=𝟏|𝐪|(𝐪𝐱,𝐪𝐲)Tsubscript𝐞𝐪1𝐪superscriptsubscript𝐪𝐱subscript𝐪𝐲T\bf{e}_{q}=\frac{1}{|\bf{q}|}(q_{x},q_{y})^{\rm T}bold_e start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT = divide start_ARG bold_1 end_ARG start_ARG | bold_q | end_ARG ( bold_q start_POSTSUBSCRIPT bold_x end_POSTSUBSCRIPT , bold_q start_POSTSUBSCRIPT bold_y end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT roman_T end_POSTSUPERSCRIPT the in-plane polarization along the wave-vector.

III Results

III.1 Perpendicular field

Refer to caption
Figure 3: (a) Eigenvalues of Hamiltonian with surface mode parallel to the chain, A0=2subscript𝐴02A_{0}=2italic_A start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 2, z=1𝑧1z=1italic_z = 1, sorted in ascending order. (b) The same eigenvalues mapped by their corresponding eigenvectors’ projection onto bare Hamiltonian’s eigenvectors, with ‘1’ denoting 100% share of lower band and ‘0’ denoting 100% share of the upper band. (c) Bandwidth of the upper band as a function of tAAsubscript𝑡𝐴𝐴t_{AA}italic_t start_POSTSUBSCRIPT italic_A italic_A end_POSTSUBSCRIPT hop**, for different perpendicular field strengths. (d) Same as in (c) but for field applied parallel to the chain. Bandwidth of the upper band is defined here as the difference between the maximum and median eigenvalues of the entire two-band spectrum. All results are for N=100𝑁100N=100italic_N = 100 unit cells (200 sites including sublattice).

We study the effect of applying a field perpendicular to the axis of the chain, i.e., along the y𝑦yitalic_y direction in Fig. 1(a). This polarization involves no momentum transfer along the chain, hence leaves the momentum label k𝑘kitalic_k intact.

We first consider a spatially uniform (q=0𝑞0q=0italic_q = 0) field, i.e., setting 𝐀q=(A0δ(𝐪),0,0)subscript𝐀𝑞subscript𝐴0𝛿𝐪00{\bf A}_{q}=(A_{0}\delta({\bf q}),0,0)bold_A start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT = ( italic_A start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_δ ( bold_q ) , 0 , 0 ) in Eq. 8. We consider two different situations: In Fig. 1(b), we start from an exactly flat upper band and show that the homogeneous perpendicular field can unflatten this flat band. In Fig. 1(b), we instead start with a non-flat upper band, which is then flattened by field. The basic mechanism explaining these observed effects is that the field couples differently to the tAAsubscript𝑡𝐴𝐴t_{AA}italic_t start_POSTSUBSCRIPT italic_A italic_A end_POSTSUBSCRIPT and t𝑡titalic_t hop** terms of the chain, thus renormalizing them in a different fashion. Therefore the field allows to tune the ratio between the hop** matrix elements and thus the curvature specifically of the nearly flat band.

However, as already mentioned above, reaching the required high field intensities in the far field is quite unrealistic. We therefore now turn to the discussion of the more realistic scenario of driven surface modes, Eq. 14. In reality such surface modes exist with both in-plane polarizations x𝑥xitalic_x and y𝑦yitalic_y. We envision that a linearly polarized laser can drive these modes selectively, coupling to the near field via, e.g., a scanning tunneling microscope tip.

We first investigate again the situation of a drive polarized perpendicular to the chain, Fig. 2. The vector potential’s momentum profile is shown in Fig. 2(a). Since the light intensity does not vary in the direction of the chain, all of the t𝑡titalic_t coefficients are modified in the same way, and the system can be regarded as a sawtooth chain with different transition rates between sites A𝐴Aitalic_A and B𝐵Bitalic_B, which we call teffsuperscript𝑡𝑒𝑓𝑓t^{eff}italic_t start_POSTSUPERSCRIPT italic_e italic_f italic_f end_POSTSUPERSCRIPT. This effect depends sensitively on the strength of the field, and can even cause the sign of t𝑡titalic_t to change. The strength of the surface mode field, on the other hand, depends strongly on the distance between the surface and the sawtooth chain. The dependence of the relative change of the hop** coefficient, teff/tsuperscript𝑡𝑒𝑓𝑓𝑡t^{eff}/titalic_t start_POSTSUPERSCRIPT italic_e italic_f italic_f end_POSTSUPERSCRIPT / italic_t, on the height above the surface z𝑧zitalic_z is shown in Fig. 2 (b). teffsuperscript𝑡𝑒𝑓𝑓t^{eff}italic_t start_POSTSUPERSCRIPT italic_e italic_f italic_f end_POSTSUPERSCRIPT depends on the field amplitude through the Bessel function, and the field amplitude decays exponentially with distance from the surface. This leads to oscillations near z=0𝑧0z=0italic_z = 0 and a plateau at long distances, as the field strength decays to zero and teff/t1superscript𝑡𝑒𝑓𝑓𝑡1t^{eff}/t\rightarrow 1italic_t start_POSTSUPERSCRIPT italic_e italic_f italic_f end_POSTSUPERSCRIPT / italic_t → 1, recovering the unrenormalized limit. Importantly, we note that reaching the field strengths required to reverse the sign of Floquet-renormalized hop**s in free space is virtually impossible; by contrast, in the near-field setting such strong renormalizations are not out of the question.

We now turn to the discussion of the implications of such strongly renormalized effective hop**s on the resulting light-matter engineered bands. In regions where the effective hop** coefficient is negative the original bands strongly mix in the central part of the first Brillouin zone, as shown in Fig. 2 (c). This gives rise to unflattening of the originally flat band and a decrease of the overall band width of the system, making both bands have similar bandwidths. On the other hand, in regions with positive teffsuperscript𝑡𝑒𝑓𝑓t^{eff}italic_t start_POSTSUPERSCRIPT italic_e italic_f italic_f end_POSTSUPERSCRIPT the bands only bend slightly without mixing, again most visibly near the centre of the Brillouin zone (Fig. 2 (d)).

III.2 Parallel field

We now investigate the effects of applying light parallel to the chain, which leads to momentum transfer between the surface modes and the electrons in the chain. In this case the notion of a well-defined band structure becomes blurry, as electronic momentum ceases to be a good quantum number. Therefore the model is no longer solvable in closed form, and we provide numerical diagonalization results for a finite system size. The results of applying a surface mode (14) parallel to the chain are presented in Fig. 3 (a), (b). Fig. 3 (a) presents the resulting eigenstates as a sorted list of eigenvalues. Importantly, emergence of states within the energy gap between the bands of the bare Hamiltonian can be observed. This can be directly compared to Fig. 3 (b), which presents the eigenvalues projected onto the bare Hamiltonian’s eigenstates, with shading corresponding to the share of the lower band state. This figure reveals that there is significant mixing of states with different momentum coming from the same band (as expected from the Hamiltonian (7), and that the in-gap states result from mixing of the two bands.

Finally we turn to the discussion of the degree of flexibility over bandwidth control that the two distinct driving schemes, perpendicular versus parallel to the chain, can offer. We define effective bandwidth for the upper, flat band as the energy difference between the maximum of energy and the median of the sorted list, since in the bare Hamiltonian the upper half of the energy spectrum belongs mainly to the flat band. Fig. 3(c) and (d) show the comparison of the effects of applying a surface mode perpendicular versus parallel to the chain on the bandwidth of the flat band, for different starting values of tAAsubscript𝑡𝐴𝐴t_{AA}italic_t start_POSTSUBSCRIPT italic_A italic_A end_POSTSUBSCRIPT, and for varying field strengths. As can be seen in Fig. 3 (c), the hop** parameter can be tuned to give a perfectly flat band for any starting value of tAAsubscript𝑡𝐴𝐴t_{AA}italic_t start_POSTSUBSCRIPT italic_A italic_A end_POSTSUBSCRIPT when the field is applied perpendicular to the chain. Fig. 3 (d), on the other hand, shows that applying the field parallel to the chain mainly broadens the band, due to the emergence of in-gap states.

IV Discussion

In this work we have demonstrated that flexible Floquet control over a two-band model sawtooth chain is possible by coupling it to the surface polariton modes of a suitable substrate. We have shown that this allows one to modify the band dispersions and specifically the effective band width of a nearly flat band, an effect that is made possible by quantum-geometric light-matter coupling [27]. Moreover we have discussed the impact of the choice of light polarization on the resulting band structures. Importantly, the quasi-one-dimensional nature of the chain allows one to tune the light polarization perpendicular to the chain, which enables flexible control by flattening and unflattening the nearly flat band while retaining sharply defined band structures. On the other hand, tuning the light polarization parallel to the chain generically leads to band broadening and lifts the conservation of electronic momentum. This opens the path to controlling finite-momentum scattering channels depending on the momentum structure of the surface polaritons.

The interplay between electron-polariton scattering and coupling of electrons to other modes, such as phonons, will open new playgrounds to control quantum materials with polaritonic fields. A particularly interesting route specifically in nearly flat-band materials is the interplay of light-matter coupling and correlation effects, such as the ones observed in moiré or kagome materials, among others. As an example, the influence of surface light-matter coupling on different types of charge orders in kagome metals [26] is an interesting route to explore new light-matter control paradigms, akin to the recent demonstration of cavity control over the charge density wave transition in 1T𝑇Titalic_T-TaS2 [9]. It will be particularly interesting to study the impact of driven surface polaritons on flat-band superconductors [28], or the potential to induce superconductivity with polaritons instead of laser light [29].

We finally note that beyond changing effective bandwidths and the resulting densities of states, the effective hop** renormalization also leads to mixing of bands, which as a consequence affects their resulting quantum geometry and ultimately also their topology if band inversion happens. This opens additional tuning paths for Floquet-like topological control over quantum materials [3].

V Acknowledgments

MAS was funded by the European Union (ERC, CAVMAT, project no. 101124492).

References

  • Basov et al. [2017] D. N. Basov, R. D. Averitt, and D. Hsieh, Nature Materials 16, 1077 (2017).
  • de la Torre et al. [2021] A. de la Torre, D. M. Kennes, M. Claassen, S. Gerber, J. W. McIver, and M. A. Sentef, Reviews of Modern Physics 93, 041002 (2021).
  • Rudner and Lindner [2020] M. S. Rudner and N. H. Lindner, Nature Reviews Physics 2, 229 (2020).
  • Frisk Kockum et al. [2019] A. Frisk Kockum, A. Miranowicz, S. De Liberato, S. Savasta, and F. Nori, Nature Reviews Physics 1, 19 (2019).
  • Garcia-Vidal et al. [2021] F. J. Garcia-Vidal, C. Ciuti, and T. W. Ebbesen, Science 373, eabd0336 (2021).
  • Schlawin et al. [2022] F. Schlawin, D. M. Kennes, and M. A. Sentef, Applied Physics Reviews 9, 011312 (2022).
  • Bloch et al. [2022] J. Bloch, A. Cavalleri, V. Galitski, M. Hafezi, and A. Rubio, Nature 606, 41 (2022).
  • Appugliese et al. [2022] F. Appugliese, J. Enkner, G. L. Paravicini-Bagliani, M. Beck, C. Reichl, W. Wegscheider, G. Scalari, C. Ciuti, and J. Faist, Science 375, 1030 (2022).
  • Jarc et al. [2023] G. Jarc, S. Y. Mathengattil, A. Montanaro, F. Giusti, E. M. Rigoni, R. Sergo, F. Fassioli, S. Winnerl, S. Dal Zilio, D. Mihailovic, P. Prelovšek, M. Eckstein, and D. Fausti, Nature 622, 487 (2023).
  • Aeschlimann et al. [2021] S. Aeschlimann, S. A. Sato, R. Krause, M. Chávez-Cervantes, U. De Giovannini, H. Hübener, S. Forti, C. Coletti, K. Hanff, K. Rossnagel, A. Rubio, and I. Gierz, Nano Letters 21, 5028 (2021).
  • Wang et al. [2013] Y. H. Wang, H. Steinberg, P. Jarillo-Herrero, and N. Gedik, Science 342, 453 (2013).
  • Mahmood et al. [2016] F. Mahmood, C.-K. Chan, Z. Alpichshev, D. Gardner, Y. Lee, P. A. Lee, and N. Gedik, Nature Physics 12, 306 (2016).
  • McIver et al. [2020] J. W. McIver, B. Schulte, F.-U. Stein, T. Matsuyama, G. Jotzu, G. Meier, and A. Cavalleri, Nature Physics 16, 38 (2020).
  • Shan et al. [2021] J.-Y. Shan, M. Ye, H. Chu, S. Lee, J.-G. Park, L. Balents, and D. Hsieh, Nature 600, 235 (2021).
  • Zhou et al. [2023] S. Zhou, C. Bao, B. Fan, H. Zhou, Q. Gao, H. Zhong, T. Lin, H. Liu, P. Yu, P. Tang, S. Meng, W. Duan, and S. Zhou, Nature 614, 75 (2023).
  • Ito et al. [2023] S. Ito, M. Schüler, M. Meierhofer, S. Schlauderer, J. Freudenstein, J. Reimann, D. Afanasiev, K. A. Kokh, O. E. Tereshchenko, J. Güdde, M. A. Sentef, U. Höfer, and R. Huber, Nature 616, 696 (2023).
  • Zhang et al. [2024] X. Zhang, T. Carbin, A. B. Culver, K. Du, K. Wang, S.-W. Cheong, R. Roy, and A. Kogar, Nature Materials , 1 (2024).
  • Merboldt et al. [2024] M. Merboldt, M. Schüler, D. Schmitt, J. P. Bange, W. Bennecke, K. Gadge, K. Pierz, H. W. Schumacher, D. Momeni, D. Steil, S. R. Manmana, M. Sentef, M. Reutzel, and S. Mathias, Observation of Floquet states in graphene (2024), arXiv:2404.12791 [cond-mat].
  • Choi et al. [2024] D. Choi, M. Mogi, U. De Giovannini, D. Azoury, B. Lv, Y. Su, H. Hübener, A. Rubio, and N. Gedik, Direct observation of Floquet-Bloch states in monolayer graphene (2024), arXiv:2404.14392 [cond-mat].
  • Bielinski et al. [2024] N. Bielinski, R. Chari, J. May-Mann, S. Kim, J. Zwettler, Y. Deng, A. Aishwarya, S. Roychowdhury, C. Shekhar, M. Hashimoto, D. Lu, J. Yan, C. Felser, V. Madhavan, Z.-X. Shen, T. L. Hughes, and F. Mahmood, Revealing the hidden Dirac gap in a topological antiferromagnet using Floquet-Bloch manipulation (2024), arXiv:2405.16432 [cond-mat].
  • Basov et al. [2021] D. N. Basov, A. Asenjo-Garcia, P. J. Schuck, X. Zhu, and A. Rubio, Nanophotonics 10, 549 (2021).
  • Herzig Sheinfux et al. [2024] H. Herzig Sheinfux, L. Orsini, M. Jung, I. Torre, M. Ceccanti, S. Marconi, R. Maniyara, D. Barcons Ruiz, A. Hötger, R. Bertini, S. Castilla, N. C. H. Hesp, E. Janzen, A. Holleitner, V. Pruneri, J. H. Edgar, G. Shvets, and F. H. L. Koppens, Nature Materials 23, 499 (2024).
  • Kipp et al. [2024] G. Kipp, H. M. Bretscher, B. Schulte, D. Herrmann, K. Kusyak, M. W. Day, S. Kesavan, T. Matsuyama, X. Li, S. M. Langner, J. Hagelstein, F. Sturm, A. M. Potts, C. J. Eckhardt, Y. Huang, K. Watanabe, T. Taniguchi, A. Rubio, D. M. Kennes, M. A. Sentef, E. Baudin, G. Meier, M. H. Michael, and J. W. McIver, Cavity electrodynamics of van der Waals heterostructures (2024), arXiv:2403.19745 [cond-mat].
  • Cao et al. [2018] Y. Cao, V. Fatemi, S. Fang, K. Watanabe, T. Taniguchi, E. Kaxiras, and P. Jarillo-Herrero, Nature 556, 43 (2018).
  • Kennes et al. [2021] D. M. Kennes, M. Claassen, L. Xian, A. Georges, A. J. Millis, J. Hone, C. R. Dean, D. N. Basov, A. N. Pasupathy, and A. Rubio, Nature Physics 17, 155 (2021).
  • Neupert et al. [2022] T. Neupert, M. M. Denner, J.-X. Yin, R. Thomale, and M. Z. Hasan, Nature Physics 18, 137 (2022).
  • Topp et al. [2021] G. E. Topp, C. J. Eckhardt, D. M. Kennes, M. A. Sentef, and P. Törmä, Physical Review B 104, 064306 (2021).
  • Peotta and Törmä [2015] S. Peotta and P. Törmä, Nature Communications 6, 8944 (2015).
  • Mitrano et al. [2016] M. Mitrano, A. Cantaluppi, D. Nicoletti, S. Kaiser, A. Perucchi, S. Lupi, P. Di Pietro, D. Pontiroli, M. Riccò, S. R. Clark, D. Jaksch, and A. Cavalleri, Nature 530, 461 (2016).

Appendix A Derivation of the light-matter coupling

We start from a vector potential 𝐀(𝐫,t)𝐀𝐫𝑡{\bf A}({\bf r},t)bold_A ( bold_r , italic_t ) with components

Aμ(𝐫,t)=𝐪A𝐪μ(t)ei𝐪𝐫.superscript𝐴𝜇𝐫𝑡subscript𝐪superscriptsubscript𝐴𝐪𝜇𝑡superscript𝑒𝑖𝐪𝐫A^{\mu}({\bf r},t)=\sum_{\bf q}A_{\bf q}^{\mu}(t)e^{i{\bf qr}}.italic_A start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ( bold_r , italic_t ) = ∑ start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ( italic_t ) italic_e start_POSTSUPERSCRIPT italic_i bold_qr end_POSTSUPERSCRIPT . (15)

Introducting a general tight-binding Hamiltonian with Peierls phase factors,

H𝐻\displaystyle Hitalic_H =abijtab(i,j)ci,acj,beiRj,bRi,a𝑑rμAμ(𝐫),absentsubscript𝑎𝑏subscript𝑖𝑗subscript𝑡𝑎𝑏𝑖𝑗superscriptsubscript𝑐𝑖𝑎subscript𝑐𝑗𝑏superscript𝑒𝑖superscriptsubscriptsubscript𝑅𝑗𝑏subscript𝑅𝑖𝑎differential-dsubscriptsuperscript𝑟𝜇superscript𝐴𝜇superscript𝐫\displaystyle=\sum_{ab}\sum_{ij}-t_{ab}(i,j)c_{i,a}^{\dagger}c_{j,b}e^{i\int_{% R_{j},b}^{R_{i,a}}dr^{\prime}_{\mu}A^{\mu}({\bf r^{\prime}})},= ∑ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ( italic_i , italic_j ) italic_c start_POSTSUBSCRIPT italic_i , italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_j , italic_b end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_i ∫ start_POSTSUBSCRIPT italic_R start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_R start_POSTSUBSCRIPT italic_i , italic_a end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_d italic_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ( bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) end_POSTSUPERSCRIPT , (16)

the integral is approximated by taking the value at the midpoint times the distance between endpoints.

H𝐻\displaystyle Hitalic_H abijtab(i,j)ci,acj,beiAμ(𝐑𝐢+𝐑𝐣2)(Ri,aμRj,bμ)absentsubscript𝑎𝑏subscript𝑖𝑗subscript𝑡𝑎𝑏𝑖𝑗superscriptsubscript𝑐𝑖𝑎subscript𝑐𝑗𝑏superscript𝑒𝑖superscript𝐴𝜇subscript𝐑𝐢subscript𝐑𝐣2subscript𝑅𝑖𝑎𝜇subscript𝑅𝑗𝑏𝜇\displaystyle\approx\sum_{ab}\sum_{ij}-t_{ab}(i,j)c_{i,a}^{\dagger}c_{j,b}e^{% iA^{\mu}(\frac{{\bf R_{i}+R_{j}}}{2})(R_{i,a\mu}-R_{j,b\mu})}≈ ∑ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ( italic_i , italic_j ) italic_c start_POSTSUBSCRIPT italic_i , italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_j , italic_b end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_i italic_A start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ( divide start_ARG bold_R start_POSTSUBSCRIPT bold_i end_POSTSUBSCRIPT + bold_R start_POSTSUBSCRIPT bold_j end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) ( italic_R start_POSTSUBSCRIPT italic_i , italic_a italic_μ end_POSTSUBSCRIPT - italic_R start_POSTSUBSCRIPT italic_j , italic_b italic_μ end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT (17)
abijtab(i,j)ci,acj,babsentsubscript𝑎𝑏subscript𝑖𝑗subscript𝑡𝑎𝑏𝑖𝑗superscriptsubscript𝑐𝑖𝑎subscript𝑐𝑗𝑏\displaystyle\approx\sum_{ab}\sum_{ij}-t_{ab}(i,j)c_{i,a}^{\dagger}c_{j,b}≈ ∑ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ( italic_i , italic_j ) italic_c start_POSTSUBSCRIPT italic_i , italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_j , italic_b end_POSTSUBSCRIPT
×(1+iAμ(𝐑𝐢+𝐑𝐣2)(Ri,aμRj,bμ)\displaystyle\times(1+iA^{\mu}(\frac{{\bf R_{i}+R_{j}}}{2})(R_{i,a\mu}-R_{j,b% \mu})× ( 1 + italic_i italic_A start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ( divide start_ARG bold_R start_POSTSUBSCRIPT bold_i end_POSTSUBSCRIPT + bold_R start_POSTSUBSCRIPT bold_j end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) ( italic_R start_POSTSUBSCRIPT italic_i , italic_a italic_μ end_POSTSUBSCRIPT - italic_R start_POSTSUBSCRIPT italic_j , italic_b italic_μ end_POSTSUBSCRIPT )
12[Aμ(𝐑𝐢+𝐑𝐣2)(Ri,aμRj,bμ)]2).\displaystyle-\frac{1}{2}[A^{\mu}(\frac{{\bf R_{i}+R_{j}}}{2})(R_{i,a\mu}-R_{j% ,b\mu})]^{2}).- divide start_ARG 1 end_ARG start_ARG 2 end_ARG [ italic_A start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ( divide start_ARG bold_R start_POSTSUBSCRIPT bold_i end_POSTSUBSCRIPT + bold_R start_POSTSUBSCRIPT bold_j end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) ( italic_R start_POSTSUBSCRIPT italic_i , italic_a italic_μ end_POSTSUBSCRIPT - italic_R start_POSTSUBSCRIPT italic_j , italic_b italic_μ end_POSTSUBSCRIPT ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) .

This approximation is valid for situations relevant here, in which the spatial variations (wavelength) of the light field is orders of magnitude larger than the atomic length (size of unit cell, or lattice constant).

The discrete Fourier transform is introduced in a standard way:

H𝐻\displaystyle Hitalic_H =abij𝐤𝐤tab(i,j)c𝐤,ac𝐤,b(1\displaystyle=\sum_{ab}\sum_{ij}\sum_{{\bf kk^{\prime}}}-t_{ab}(i,j)c_{{\bf k}% ,a}^{\dagger}c_{{\bf k^{\prime}},b}(1= ∑ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT bold_kk start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ( italic_i , italic_j ) italic_c start_POSTSUBSCRIPT bold_k , italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_b end_POSTSUBSCRIPT ( 1 (18)
+i𝐪ei𝐪𝐑𝐢+𝐑𝐣2(Ri,aμRj,bμ)A𝐪μ𝑖subscript𝐪superscript𝑒𝑖𝐪subscript𝐑𝐢subscript𝐑𝐣2subscript𝑅𝑖𝑎𝜇subscript𝑅𝑗𝑏𝜇superscriptsubscript𝐴𝐪𝜇\displaystyle+i\sum_{\bf q}e^{i{\bf q}\frac{\bf R_{i}+R_{j}}{2}}(R_{i,a\mu}-R_% {j,b\mu})A_{\bf q}^{\mu}+ italic_i ∑ start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_i bold_q divide start_ARG bold_R start_POSTSUBSCRIPT bold_i end_POSTSUBSCRIPT + bold_R start_POSTSUBSCRIPT bold_j end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT ( italic_R start_POSTSUBSCRIPT italic_i , italic_a italic_μ end_POSTSUBSCRIPT - italic_R start_POSTSUBSCRIPT italic_j , italic_b italic_μ end_POSTSUBSCRIPT ) italic_A start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT
12𝐪𝐪[ei𝐪𝐑𝐢+𝐑𝐣2ei𝐪𝐑𝐢+𝐑𝐣2(Ri,aμRj,bμ)\displaystyle-\frac{1}{2}\sum_{\bf qq^{\prime}}[e^{i{\bf q}\frac{\bf R_{i}+R_{% j}}{2}}e^{i{\bf q^{\prime}}\frac{\bf R_{i}+R_{j}}{2}}(R_{i,a\mu}-R_{j,b\mu})- divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT bold_qq start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT [ italic_e start_POSTSUPERSCRIPT italic_i bold_q divide start_ARG bold_R start_POSTSUBSCRIPT bold_i end_POSTSUBSCRIPT + bold_R start_POSTSUBSCRIPT bold_j end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT divide start_ARG bold_R start_POSTSUBSCRIPT bold_i end_POSTSUBSCRIPT + bold_R start_POSTSUBSCRIPT bold_j end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT ( italic_R start_POSTSUBSCRIPT italic_i , italic_a italic_μ end_POSTSUBSCRIPT - italic_R start_POSTSUBSCRIPT italic_j , italic_b italic_μ end_POSTSUBSCRIPT )
×A𝐪μ(Ri,aνRj,bν)A𝐪νabsentsuperscriptsubscript𝐴𝐪𝜇subscript𝑅𝑖𝑎𝜈subscript𝑅𝑗𝑏𝜈superscriptsubscript𝐴superscript𝐪𝜈\displaystyle\times A_{\bf q}^{\mu}(R_{i,a\nu}-R_{j,b\nu})A_{\bf q^{\prime}}^{\nu}× italic_A start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ( italic_R start_POSTSUBSCRIPT italic_i , italic_a italic_ν end_POSTSUBSCRIPT - italic_R start_POSTSUBSCRIPT italic_j , italic_b italic_ν end_POSTSUBSCRIPT ) italic_A start_POSTSUBSCRIPT bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT
+ei𝐪𝐑𝐢+𝐑𝐣2ei𝐪𝐑𝐢+𝐑𝐣2(Ri,aμRj,bμ)superscript𝑒𝑖𝐪subscript𝐑𝐢subscript𝐑𝐣2superscript𝑒𝑖superscript𝐪subscript𝐑𝐢subscript𝐑𝐣2subscript𝑅𝑖𝑎𝜇subscript𝑅𝑗𝑏𝜇\displaystyle+e^{i{\bf q}\frac{\bf R_{i}+R_{j}}{2}}e^{-i{\bf q^{\prime}}\frac{% \bf R_{i}+R_{j}}{2}}(R_{i,a\mu}-R_{j,b\mu})+ italic_e start_POSTSUPERSCRIPT italic_i bold_q divide start_ARG bold_R start_POSTSUBSCRIPT bold_i end_POSTSUBSCRIPT + bold_R start_POSTSUBSCRIPT bold_j end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT divide start_ARG bold_R start_POSTSUBSCRIPT bold_i end_POSTSUBSCRIPT + bold_R start_POSTSUBSCRIPT bold_j end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT ( italic_R start_POSTSUBSCRIPT italic_i , italic_a italic_μ end_POSTSUBSCRIPT - italic_R start_POSTSUBSCRIPT italic_j , italic_b italic_μ end_POSTSUBSCRIPT )
×A𝐪μ(Ri,aνRj,bν)A𝐪ν]+H.c.\displaystyle\times A_{\bf q}^{\mu}(R_{i,a\nu}-R_{j,b\nu})A_{\bf q^{\prime}}^{% \nu*}]+H.c.× italic_A start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ( italic_R start_POSTSUBSCRIPT italic_i , italic_a italic_ν end_POSTSUBSCRIPT - italic_R start_POSTSUBSCRIPT italic_j , italic_b italic_ν end_POSTSUBSCRIPT ) italic_A start_POSTSUBSCRIPT bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_ν ∗ end_POSTSUPERSCRIPT ] + italic_H . italic_c .

It is assumed that the hop** amplitudes depend only on the difference vector between the sites, and not their positions, and so the j𝑗jitalic_j index is replaced with 𝚫𝐑𝚫𝐑{\bf\Delta R}bold_Δ bold_R:

H𝐻\displaystyle Hitalic_H =abi𝐤𝐤𝚫𝐑tab(𝚫𝐑)c𝐤,ac𝐤,b{ei(𝐤𝐤)𝐑𝐢ei𝐤𝚫𝐑\displaystyle=\sum_{ab}\sum_{i}\sum_{\bf kk^{\prime}}\sum_{\bf\Delta R}-t_{ab}% ({\bf\Delta R})c_{{\bf k},a}^{\dagger}c_{{\bf k^{\prime}},b}\{e^{i{\bf(k-k^{% \prime})R_{i}}}e^{i{\bf k^{\prime}\Delta R}}= ∑ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT bold_kk start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT bold_Δ bold_R end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ( bold_Δ bold_R ) italic_c start_POSTSUBSCRIPT bold_k , italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_b end_POSTSUBSCRIPT { italic_e start_POSTSUPERSCRIPT italic_i ( bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) bold_R start_POSTSUBSCRIPT bold_i end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_Δ bold_R end_POSTSUPERSCRIPT (19)
i𝐪ei(𝐤𝐤+𝐪)𝐑𝐢ei(𝐤+𝐪𝟐)ΔRμA𝐪μ𝑖subscript𝐪superscript𝑒𝑖𝐤superscript𝐤𝐪subscript𝐑𝐢superscript𝑒𝑖superscript𝐤𝐪2Δsubscript𝑅𝜇superscriptsubscript𝐴𝐪𝜇\displaystyle-i\sum_{\bf q}e^{i{\bf(k-k^{\prime}+q)R_{i}}}e^{i{\bf(k^{\prime}+% \frac{q}{2})}}\Delta R_{\mu}A_{\bf q}^{\mu}- italic_i ∑ start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_i ( bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + bold_q ) bold_R start_POSTSUBSCRIPT bold_i end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i ( bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + divide start_ARG bold_q end_ARG start_ARG bold_2 end_ARG ) end_POSTSUPERSCRIPT roman_Δ italic_R start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT
12𝐪𝐪[ΔRμA𝐪μΔRνA𝐪νei(𝐤𝐤+𝐪+𝐪)𝐑𝐢ei(𝐤+𝐪𝟐+𝐪𝟐)𝚫𝐑\displaystyle-\frac{1}{2}\sum_{\bf qq^{\prime}}[\Delta R_{\mu}A_{\bf q}^{\mu}% \Delta R_{\nu}A_{\bf q^{\prime}}^{\nu}e^{i{\bf(k-k^{\prime}+q+q^{\prime})R_{i}% }}e^{i{\bf(k^{\prime}+\frac{q}{2}+\frac{q^{\prime}}{2})\Delta R}}- divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT bold_qq start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT [ roman_Δ italic_R start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT roman_Δ italic_R start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i ( bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + bold_q + bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) bold_R start_POSTSUBSCRIPT bold_i end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i ( bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + divide start_ARG bold_q end_ARG start_ARG bold_2 end_ARG + divide start_ARG bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG bold_2 end_ARG ) bold_Δ bold_R end_POSTSUPERSCRIPT
+ΔRμA𝐪μΔRνA𝐪νei(𝐤𝐤+𝐪𝐪)ei(𝐤+𝐪𝟐𝐪𝟐)𝚫𝐑]}\displaystyle+\Delta R_{\mu}A_{\bf q}^{\mu}\Delta R_{\nu}A_{\bf q^{\prime}}^{% \nu*}e^{i{\bf(k-k^{\prime}+q-q^{\prime})}}e^{i{\bf(k^{\prime}+\frac{q}{2}-% \frac{q^{\prime}}{2})\Delta R}}]\}+ roman_Δ italic_R start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT roman_Δ italic_R start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_ν ∗ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i ( bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + bold_q - bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i ( bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + divide start_ARG bold_q end_ARG start_ARG bold_2 end_ARG - divide start_ARG bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG bold_2 end_ARG ) bold_Δ bold_R end_POSTSUPERSCRIPT ] }
=ab𝐤{c𝐤,ac𝐤,b𝚫𝐑tab(𝚫𝐑)𝐞𝐢𝐤𝚫𝐑\displaystyle=\sum_{ab}\sum_{\bf k}\{c_{{\bf k},a}^{\dagger}c_{{\bf k},b}\sum_% {\bf\Delta R}-t_{ab}(\bf\Delta R)e^{i{\bf k\Delta R}}= ∑ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT bold_k end_POSTSUBSCRIPT { italic_c start_POSTSUBSCRIPT bold_k , italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT bold_k , italic_b end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT bold_Δ bold_R end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ( bold_Δ bold_R ) bold_e start_POSTSUPERSCRIPT bold_ik bold_Δ bold_R end_POSTSUPERSCRIPT
+i𝐪c𝐤,ac𝐤+𝐪,b𝚫𝐑tab(𝚫𝐑)A𝐪μΔRμei(𝐤+𝐪𝟐)𝚫𝐑𝑖subscript𝐪superscriptsubscript𝑐𝐤𝑎subscript𝑐𝐤𝐪𝑏subscript𝚫𝐑subscript𝑡𝑎𝑏𝚫𝐑superscriptsubscript𝐴𝐪𝜇Δsubscript𝑅𝜇superscript𝑒𝑖𝐤𝐪2𝚫𝐑\displaystyle+i\sum_{\bf q}c_{{\bf k},a}^{\dagger}c_{{\bf k+q},b}\sum_{\bf% \Delta R}-t_{ab}({\bf\Delta R})A_{\bf q}^{\mu}\Delta R_{\mu}e^{i{\bf(k+\frac{q% }{2})\Delta R}}+ italic_i ∑ start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT bold_k , italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT bold_k + bold_q , italic_b end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT bold_Δ bold_R end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ( bold_Δ bold_R ) italic_A start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT roman_Δ italic_R start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_i ( bold_k + divide start_ARG bold_q end_ARG start_ARG bold_2 end_ARG ) bold_Δ bold_R end_POSTSUPERSCRIPT
12𝐪𝐪[c𝐤,ac𝐤+𝐪+𝐪,b\displaystyle-\frac{1}{2}\sum_{\bf qq^{\prime}}[c_{{\bf k},a}^{\dagger}c_{{\bf k% +q+q^{\prime}},b}- divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT bold_qq start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT [ italic_c start_POSTSUBSCRIPT bold_k , italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT bold_k + bold_q + bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_b end_POSTSUBSCRIPT
×𝚫𝐑tab(𝚫𝐑)ΔRμA𝐪μΔRνA𝐪νei(𝐤+𝐪𝟐+𝐪𝟐)𝚫𝐑\displaystyle\times\sum_{\bf\Delta R}-t_{ab}({\bf\Delta R})\Delta R_{\mu}A_{% \bf q}^{\mu}\Delta R_{\nu}A_{\bf q^{\prime}}^{\nu}e^{i{\bf(k+\frac{q}{2}+\frac% {q^{\prime}}{2})\Delta R}}× ∑ start_POSTSUBSCRIPT bold_Δ bold_R end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ( bold_Δ bold_R ) roman_Δ italic_R start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT roman_Δ italic_R start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i ( bold_k + divide start_ARG bold_q end_ARG start_ARG bold_2 end_ARG + divide start_ARG bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG bold_2 end_ARG ) bold_Δ bold_R end_POSTSUPERSCRIPT
+c𝐤,ac𝐤+𝐪𝐪,bsuperscriptsubscript𝑐𝐤𝑎subscript𝑐𝐤𝐪superscript𝐪𝑏\displaystyle+c_{{\bf k},a}^{\dagger}c_{{\bf k+q-q^{\prime}},b}+ italic_c start_POSTSUBSCRIPT bold_k , italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT bold_k + bold_q - bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_b end_POSTSUBSCRIPT
×𝚫𝐑tab(𝚫𝐑)ΔRμA𝐪μΔRνA𝐪νei(𝐤+𝐪𝟐𝐪𝟐)𝚫𝐑]}+H.c.\displaystyle\times\sum_{\bf\Delta R}-t_{ab}({\bf\Delta R})\Delta R_{\mu}A_{% \bf q}^{\mu}\Delta R_{\nu}A_{\bf q^{\prime}}^{\nu*}e^{i{\bf(k+\frac{q}{2}-% \frac{q^{\prime}}{2})\Delta R}}]\}+H.c.× ∑ start_POSTSUBSCRIPT bold_Δ bold_R end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ( bold_Δ bold_R ) roman_Δ italic_R start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT roman_Δ italic_R start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_ν ∗ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i ( bold_k + divide start_ARG bold_q end_ARG start_ARG bold_2 end_ARG - divide start_ARG bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG bold_2 end_ARG ) bold_Δ bold_R end_POSTSUPERSCRIPT ] } + italic_H . italic_c .

Writing this more concisely by introducing the dispersion relation of the bands, and noticing that higher order terms are derivatives of the unperturbed dispersion relations at different values of 𝐤𝐤{\bf k}bold_k, we arrive at (7)

H𝐻\displaystyle Hitalic_H =ab𝐤{c𝐤,ac𝐤,btab(𝐤)\displaystyle=\sum_{ab}\sum_{\bf k}\{c_{{\bf k},a}^{\dagger}c_{{\bf k},b}t_{ab% }({\bf k})= ∑ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT bold_k end_POSTSUBSCRIPT { italic_c start_POSTSUBSCRIPT bold_k , italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT bold_k , italic_b end_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ( bold_k ) (20)
+𝐪c𝐤,ac𝐤+𝐪,bA𝐪μkμt(𝐤+𝐪𝟐)subscript𝐪superscriptsubscript𝑐𝐤𝑎subscript𝑐𝐤𝐪𝑏superscriptsubscript𝐴𝐪𝜇subscriptsubscript𝑘𝜇𝑡𝐤𝐪2\displaystyle+\sum_{\bf q}c_{{\bf k},a}^{\dagger}c_{{\bf k+q},b}A_{\bf q}^{\mu% }\partial_{k_{\mu}}t({\bf k+\frac{q}{2}})+ ∑ start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT bold_k , italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT bold_k + bold_q , italic_b end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_t ( bold_k + divide start_ARG bold_q end_ARG start_ARG bold_2 end_ARG )
+12𝐪𝐪[c𝐤,ac𝐤+𝐪+𝐪,b\displaystyle+\frac{1}{2}\sum_{\bf qq^{\prime}}[c_{{\bf k},a}^{\dagger}c_{{\bf k% +q+q^{\prime}},b}+ divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT bold_qq start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT [ italic_c start_POSTSUBSCRIPT bold_k , italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT bold_k + bold_q + bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_b end_POSTSUBSCRIPT
×A𝐪μA𝐪νkμkνtab(𝐤+𝐪𝟐+𝐪𝟐)absentsuperscriptsubscript𝐴𝐪𝜇superscriptsubscript𝐴superscript𝐪𝜈subscriptsubscript𝑘𝜇subscriptsubscript𝑘𝜈subscript𝑡𝑎𝑏𝐤𝐪2superscript𝐪2\displaystyle\times A_{\bf q}^{\mu}A_{\bf q^{\prime}}^{\nu}\partial_{k_{\mu}}% \partial_{k_{\nu}}t_{ab}({\bf k+\frac{q}{2}+\frac{{\bf q^{\prime}}}{2}})× italic_A start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_A start_POSTSUBSCRIPT bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT end_POSTSUBSCRIPT ∂ start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ( bold_k + divide start_ARG bold_q end_ARG start_ARG bold_2 end_ARG + divide start_ARG bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG bold_2 end_ARG )
+c𝐤,ac𝐤+𝐪𝐪,bsuperscriptsubscript𝑐𝐤𝑎subscript𝑐𝐤𝐪superscript𝐪𝑏\displaystyle+c_{{\bf k},a}^{\dagger}c_{{\bf k+q-q^{\prime}},b}+ italic_c start_POSTSUBSCRIPT bold_k , italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT bold_k + bold_q - bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_b end_POSTSUBSCRIPT
×A𝐪μA𝐪νkμkνtab(𝐤+𝐪𝟐𝐪𝟐)]}+H.c.\displaystyle\times A_{\bf q}^{\mu}A_{\bf q^{\prime}}^{\nu*}\partial_{k_{\mu}}% \partial_{k_{\nu}}t_{ab}({\bf k+\frac{q}{2}-\frac{q^{\prime}}{2}})]\}+H.c.× italic_A start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_A start_POSTSUBSCRIPT bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_ν ∗ end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT end_POSTSUBSCRIPT ∂ start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ( bold_k + divide start_ARG bold_q end_ARG start_ARG bold_2 end_ARG - divide start_ARG bold_q start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG bold_2 end_ARG ) ] } + italic_H . italic_c .