---
abstract: 'Recent experiments showed that the surface of a three dimensional topological insulator develops gaps in the Floquet-Bloch band spectrum when illuminated with a circularly polarized laser. These Floquet-Bloch bands are characterized by non-trivial Chern numbers which only depend on the helicity of the polarization of the radiation field. Here we propose a setup consisting of a pair of counter-rotating lasers, and show that one-dimensional chiral states emerge at the interface between the two lasers. These interface states turn out to be spin-polarized and may trigger interesting applications in the field of optoelectronics and spintronics.'
author:
- 'H. L. Calvo'
- 'L. E. F. Foa Torres'
- 'P. M. Perez-Piskunow'
- 'C. A. Balseiro'
- Gonzalo Usaj
bibliography:
- 'cite.bib'
- 'notes.bib'
title: 'Floquet interface states in illuminated three-dimensional topological insulators'
---

*Introduction.–* Amid the thrill sparked by graphene @Novoselov2005a [@Zhang2005] and its record properties @Geim2007, the discovery of topological insulators (TIs) @Koenig2007 [@Hsieh2008] developed with surprising speed. Indeed, TIs were predicted two years earlier in graphene @Kane2005, but the necessary spin-orbit interactions were too weak for this to be observed and a different playground was needed to realize them @Bernevig2006. Most TIs are three-dimensional materials like usual solids, but with a special property: they have a bulk band gap while keeping states that propagate with unprecedented robustness at the periphery of the sample @Fu2007 [@Hasan2010]. These peculiar states hold great promise for quantum computation @Moore2010 but at the same time open up a major challenge: controlling them is particularly demanding for 3D TIs.

Encompassing the rapid progress in graphene photonics @Bonaccorso2010 and optoelectronics @Glazov2014 [@Hartmann2013], theoretical studies predicted the formation of laser-induced band gaps @Oka2009 in graphene when properly tuning the laser polarization, frequency and intensity @Calvo2011 [@Zhou2011; @Savelev2011; @SuarezMorell2012]. More recently, these gaps were unveiled at the surface of a TI through ARPES @Wang2013. This triggered great expectations for achieving laser-assisted control not only in the form of an on-off switch for the available states but also because theoretically non-trivial topological states @Oka2009 [@Lindner2011; @Kitagawa2011] can be induced on a diversity of materials @Piskunow2014 [@Sentef2014; @Dahlhaus2014; @Quelle2014; @Lopez2015], and also in cold matter physics @Goldman2014 [@Choudhury2014]. Exciting questions arise about the nature of these novel states @Gomez-Leon2014 [@Bilitewski2015; @TenenbaumKatan2013a; @Rudner2013; @Ho2014; @Zhou2014; @Usaj2014; @DAlessio2014; @Dehghani2014; @Liu2015; @Seetharam2015; @Iadecola2015; @Gu2011; @Kundu2014; @Foa2014; @Dehghani2015], the possibilities for manipulating them @TenenbaumKatan2013a, the associated topological invariants @Rudner2013 [@Ho2014; @Zhou2014; @Usaj2014; @DAlessio2014], their statistical properties @Dehghani2014 [@Liu2015; @Seetharam2015; @Iadecola2015] and their two-terminal @Gu2011 [@Kundu2014] and multi-terminal (Hall) response @Foa2014 [@Dehghani2015]. Still, an experimental realization of the Floquet chiral edge states is missing. Most studies considered two-dimensional systems, except for Refs. @Lindner2013 and @Tenenbaum-Katan2013 where the target was a 3D semiconductor.

Here we show that besides opening a band gap as in Ref. @Wang2013, illuminating a 3D TI with a suitable set of lasers can confine the surface states into one-dimensional states which also bear a topological origin. The proposed setup is represented in Fig. \[fig:1\]: Two lasers with opposite circular polarization incident perpendicularly to a face of a 3D TI. This can be devised through, *e.g.*, a single laser beam splitted into two with opposite helicity. The interface between the lasers is assumed to be shorter than the thermalization length so that the occupations are determined by the (larger) regions without radiation. As we will see below, this modification of the experimental setup in Ref. @Wang2013 introduces Floquet states propagating along the boundary where the polarization changes. Our results follow from simulations of the Floquet spectra based on low-energy models, which are further supported by: (*i*) a calculation of the topological invariants and (*ii*) explicit calculations for a driven 3D lattice model. Interestingly, we show that the resulting Floquet boundary states, which arise from a topological transition between the illuminated regions, carry spin-polarized currents.

![(color online). Scheme of the proposed setup where the surface of a 3D TI is illuminated by two circularly polarized lasers with opposite directions of rotation. The $y$-axis defines the interface region between the two lasers. The dashed line in the border indicates that the system extends indefinitely in the $x$-$y$ plane. Inset: Laser intensities as function of the $x$-coordinate. At the interface, the two lasers interfere and the total field becomes linearly polarized.<span data-label="fig:1"></span>](fig1.pdf){width="0.9\columnwidth"}

*Illuminated TIs and Floquet theory.–* We consider a low-energy Hamiltonian describing the surface of a TI. Assuming the $(00\bar{1})$ direction @Zhang2012 and linear order in $\bm{k}$, the effective surface Hamiltonian reads $H_0 = \hbar v(k_y \sigma_x - k_x \sigma_y)$, where $\sigma_x$ and $\sigma_y$ are Pauli matrices describing the spin degree of freedom. The time-dependent field is included through the Peierls substitution $\bm{k} \rightarrow \bm{k}+e\bm{A}(t)/\hbar c$, with $\bm{A}(t)$ the laser's vector potential. In the regions dominated by one of the two lasers, *i.e.* $|x|\gg x_0$, with $x_0$ the characteristic length of the lasers' interface (see Fig. \[fig:1\]), we choose a circularly polarized field $\bm{A}_\tau(t) = A_0 [\cos(\tau \Omega t + \varphi)\, \bm{e}_x + \sin(\tau \Omega t + \varphi)\, \bm{e}_y]$, where $\tau = \pm 1$ sets the direction of rotation and $\varphi$ determines its orientation (measured from the $x$-axis) at $t=0$ and, as shown later on, it becomes relevant at the interface's region $x \sim 0$. The time-dependent Hamiltonian thus reads $$H_\tau(t) = H_0 + \gamma \sin(\tau \Omega t + \varphi)\, \sigma_x - \gamma \cos(\tau \Omega t + \varphi)\, \sigma_y,$$ where $\gamma = v e A_0/c$ characterizes the strength of the perturbation. A suitable description of the dc-spectrum and the topological properties of the system can be achieved through the Floquet theory. By using Floquet's theorem, we obtain a time-independent Hamiltonian in Floquet space, defined as the direct product $\mathcal{R} \otimes \mathcal{T}$ between the usual Hilbert space $\mathcal{R}$ and the space of time-periodic functions $\mathcal{T}$. This space is spanned by the states $\ket{\Psi_\sigma,m}$, where $\sigma = \{\uparrow,\downarrow \}$ accounts for spin and $m$ is the Fourier index. The Floquet Hamiltonian writes $$\mathcal{H}_F^\tau(\bm{k}) = H_0 \otimes I + I \otimes N_\Omega  + i \gamma \tau \sum_{\beta=\pm} \beta\, e^{-i \beta \tau \varphi} \sigma_{\beta\tau} \otimes \Delta_{\beta}, 
\label{eq:Floquet}$$ where we use $\sigma_\pm = (\sigma_x\pm i \sigma_y)/2$. Such Hamiltonian can be imagined as a series of replicas (Floquet channels) of $H_0$, each one defined in a Fourier component of the driving. The static $H_0$ enters in the diagonal part, together with the contribution $[N_\Omega]_{n,m} = m \hbar \Omega \delta_{n,m}$ from the driving field, and the vector potential couples, through $[\Delta_{\beta}]_{n,m} = \delta_{m,n-\beta}$, those channels differing in their Fourier indices by $\Delta m = \pm 1$.

For the calculation of the laser-induced band gaps and the associated Chern numbers, it is enough to consider an homogeneous system defined at the TI's surface through Eq. (\[eq:Floquet\]). The underlying assumption is that $\hbar \Omega$ is smaller than the bulk gap, such that the states associated to the bulk do not participate in the gap openings. As discussed in Refs. @Piskunow2014 [@Usaj2014], these laser-induced gaps are indeed depletions of the time-averaged density of states which results from weighting the Floquet spectrum on the $m=0$ channel. By assuming low intensities ($\gamma/\hbar\Omega \ll 1$) we restrict ourselves to the main contributions to the band gap openings around $\varepsilon = \hbar\Omega/2$ and at the Dirac point $\varepsilon = 0$, henceforth called the zone boundary (ZB) and the zone center (ZC) gaps, respectively. These two gaps were described in Ref. @Fregoso2013, obtaining $\Delta_1 \approx \gamma$ and $\Delta_0 \approx 2\gamma^2/\hbar\Omega$ for the ZB and ZC gaps, respectively. Notice that a $\pi/2$-rotation along the $z$-direction of the spin coordinate system maps $H_0$ to the low-energy Hamiltonian describing a single valley in graphene ($H_0 \rightarrow \hbar v\bm{k}\cdot \boldsymbol{\sigma}$). Therefore, apart from a change in the Fermi velocity, the laser-induced gaps show the same dependencies in both systems @Syzranov2008 [@Oka2009; @Calvo2011].

The equivalence between Eq. (\[eq:Floquet\]) and the low-energy description for illuminated graphene can be exploited even further: In graphene, the laser-induced gaps are characterized by non-trivial Chern numbers, and the bulk-boundary correspondence leads to Floquet chiral states at the sample edges @Gu2011 [@Piskunow2014; @Usaj2014]. Can similar states appear here? A first problem is simply that the surface of a 3D solid cannot have a boundary. This motivates our proposal of changing the light polarization as in Fig. \[fig:1\], thereby introducing an effective boundary (much like a domain wall, as discussed in other examples @Fu2008 [@Chu2011; @Zhang2013]) where Floquet chiral states develop—by chiral we mean that the direction of motion is fixed by the helicity of the two lasers.

Starting from Eq. (\[eq:Floquet\]), we proceed as in Refs. @Usaj2014 [@Piskunow2015]: First we isolate each crossing where a band gap opens, and then we compute a $2 \times 2$ effective Hamiltonian of the form $\mathcal{H}_\mathrm{eff} = \bm{h}\cdot\bm{\sigma}$. The contribution to the Chern number of the lower band can be calculated through the expression @Hasan2010: $$C = \frac{1}{4\pi} \int \mathrm{d}^2\bm{k}\, \frac{\bm{h}}{h^3}\cdot\left( \partial_{k_x}\bm{h} \times \partial_{k_y}\bm{h} \right).$$ In the ZB gap region, the band gap opening comes from the crossing between the states $\ket{\Psi_{+},0}$ and $\ket{\Psi_{-},1}$. Here $\ket{\Psi_{\pm}}$ refer to the conduction and valence band solutions of $H_0$, respectively, and the second index ($0$ or $1$) indicates the Floquet channel. By reducing the Floquet Hamiltonian to these states, we obtain that the contribution to the Chern number is $C_1=\tau$. In the ZC region there are two processes related to the gap opening. These consist of (*i*) the renormalization of $\ket{\Psi_{\pm},0}$ due to the coupling to the $m=\pm 1$ states, and (*ii*) the level crossing between $\ket{\Psi_{-},1}$ and $\ket{\Psi_{+},-1}$, bridged by the $m=0$ states. A straightforward calculation of these two contributions yields $C_0=-\tau/2+2\tau = 3\tau/2$. While in graphene this half-integer Chern number is compensated by spin and valley degeneracies, in strong TIs, where the surface encloses an odd number of Kramers degenerate Dirac points, a half-integer Chern number results for example when exposing the material to a static magnetic field @Hasan2010 [@Niemi1983; @Redlich1984; @Qi2008; @Chu2011; @Zhang2015].

*Interface states in 3D TIs.–* A natural question relies on the bulk-boundary correspondence in illuminated TIs associated to the non-zero Chern numbers of the Floquet bands. In the present case, since inverting the helicity of the circularly polarized laser changes the sign of the Chern numbers, one expects the generation of chiral states at the boundary between the two regions.

![(color online). Laser generation of interface states crossing the ZB (a) and ZC (b) gaps. Gray regions indicate extended states zones. The color scale shows the time-average spin texture $\braket{\braket{\sigma_x}}$. Inset: Time-averaged probability density $\bar{P}$ for the state at $\varepsilon = \hbar \Omega/2$ in solid line (black). Dotted line (green) shows the $m=0$ component while dashed line (purple) is for $m=1$. Here we use $\gamma / \hbar \Omega = 0.2$ and $\varphi = \pi/2$.<span data-label="fig:2"></span>](fig2.pdf){width="0.95\columnwidth"}

To elucidate this question we proceed by solving the proposed model at the laser's interface. For simplicity in the calculation we assume a sudden change of the laser's direction of rotation by assigning a different $\tau$ to each portion of the system \[according to Fig. \[fig:1\], $\tau(x) \equiv -{\mathrm{sgn}}(x)$\]. The resulting differential equation therefore reads $$\partial_x \boldsymbol{\Psi}(\bm{r}) = \mathcal{M}_{\tau(x)} \boldsymbol{\Psi}(\bm{r}),
\label{eq:diffeq}$$ where $\mathcal{M}_\tau = i \sigma_y (\mathcal{H}_F^\tau(k_y\,\bm{e}_y)-\varepsilon\mathcal{I})/v$ and $\boldsymbol{\Psi}(\bm{r}) = e^{i k_y y}(\psi_{\uparrow,0}, \psi_{\downarrow,0}, \psi_{\uparrow,1}, \psi_{\downarrow,1})^\mathrm{T}$ contains the wave-function coefficients $\psi_{\sigma,m}(x)$ for the involved channels @note1. The solutions to the above differential equation follow a standard diagonalization of $\mathcal{M}_\tau$ in the two regions with the appropriate boundary condition @Zhang2012 and is discussed in detail in the Supplemental Material @note2.

In Fig. \[fig:2\] we show the resulting localized states in both the ZB and ZC gaps in a configuration of $\varphi = \pi/2$, such that at $t = 0$ the vector potentials point parallel to the interface's direction. Our calculations allow to verify the bulk-boundary correspondence. Indeed, the difference between forward and backward propagating states (relative to the $y$-axis) is always fixed to the calculated difference between the Chern invariants at each side of the interface, yielding $\Delta C_1 = -2$ for the ZB gap and $\Delta C_0 = -3$ for the ZC gap. Other choices in the orientation $\varphi$ lead to changes in the dispersions of the chiral states but keeping these numbers the same @note2. Although never crossing the gaps, additional states localized at the interface are also present—since they are not chiral, one could expect these states to backscatter when encountering impurities in the sample. In Fig. \[fig:2\](a) (inset) we show the time-averaged probability density, $\bar{P}(x) = \sum_{m,\sigma} |\psi_{\sigma,m}(x)|^2$, associated to one of the two localized states crossing the gap at $\varepsilon = \hbar\Omega/2$ (negative $k_y$). Here, the decay length depends inversely on the size of the gap and, similarly to illuminated graphene @Piskunow2014 [@Usaj2014], it is independent of the microscopic details of the sample. In a more realistic situation where the inversion of the laser helicity is taken gradually over a finite length $x_0$ (see below), the width of these states shows to depend also on the latter parameter $x_0$. It can be seen also that there is a pronounced asymmetry in the contributions from the $m=0$ and $m=1$ channels to the overall probability density, which is particular to the relative angle between $\varphi$ and the direction of the interface. The other state developed at positive $k_y$ shows to have this asymmetry inverted.

\[t\] ![image](fig3.pdf){width="90.00000%"}

Using the solutions of Eq. (\[eq:diffeq\]) we calculate the time-averaged spin texture @Usaj2014 associated to the Floquet boundary states. Thanks to the spin-momentum locking present in the TI without radiation, there is a non-vanishing spin component in the Floquet states, $\braket{\braket{\sigma_x}} = 2 \sum_{m} \int \text{Re} [ \psi_{\uparrow,m}^{*}(x) \psi_{\downarrow,m}(x) ] \mathrm{d}x$, *i.e.* the in-plane component perpendicular to the interface's direction. In all cases, $\braket{\braket{\sigma_x}}$ is proportional to the group velocity, as can be seen in Fig. \[fig:2\]. Since the direction of propagation can be tuned by the lasers, these robust states could be also interesting from the point of view of spin-polarized transport at a desired region of the TI's surface.

*Three-dimensional lattice model and LDOS.–* Up to now our analysis is based on an effective 2D-model for the surface states of a TI. This poses the question on whether these properties can be reproduced in a model accounting for the insulating bulk bands of a 3D TI. We therefore consider a lattice Hamiltonian which satisfies the four symmetries present in a strong TI @Zhang2012. By taking a cubic lattice with parameter $a$, we obtain a tight-binding description for an isotropic TI @Chu2011. The vector potential $\bm{A}(\bm{r},t) = \sum_{\tau=\pm} \bm{A}_\tau(z,t)f(\tau x)$, enters through Peierls' substitution as a time-dependent modulation of the hopping matrices coupling nearest neighbor sites. This accounts for (*i*) a gradual change $f(x)=[1+\exp(x/x_0)]^{-1}$ of the laser helicity, which produces a $\varphi$-oriented, linearly polarized field at the interface region, and (*ii*) a photon absorption process across the layers of the TI which manifests through a decay in the laser intensity, $A_0(z) = a_0 \xi^{-z/z_0}$. In our simulations, $\xi$ and $z_0$ are adjusted in such a way that the laser becomes negligible at the bottom face of the irradiated sample. The resulting lattice Hamiltonian is derived in the Supplemental Material @note2.

In Fig. \[fig:3\] we show the time-averaged $k_y$-resolved LDOS ($\rho_{k_y}$) @Piskunow2014 [@Usaj2014] in a geometry \[see panel (a)\] where the solid is infinite along the $x$ and $y$ directions, while in the $z$-direction it has $N_z = 9$ layers. A quantitative description is possible by adjusting the model parameters to, *e.g.*, those estimated in Ref. @Zhang2009, yielding larger values of $N_z$. In panel (b) we calculate $\rho_{k_y}$ for the non-illuminated material, where the gapless surface state crossing the bulk gap can be appreciated. Turning on the lasers, we evaluate $\rho_{k_y}$ at different points of the sample. Panel (c) shows the sample's bulk region, where there is a clear absence of states within the insulating bulk gap. When moving to the top surface, to a region dominated by only one of the two lasers, panel (d) reveals the ZB and ZC gaps similar to those observed in Ref. @Wang2013. Finally, once we arrive to the interface region, panel (e) shows the emergence of chiral states similar to those of Fig. \[fig:2\]. In the ZC region \[bottom panels in Fig. \[fig:3\](f)\], we can observe that due to the small width of the gap the central state (forward mover) *apparently* crosses it, reflecting the $-\tau/2$ contribution to $C_0$ from the renormalization of the $m=0$ states. Similar to Fig. \[fig:2\](b) there is, however, a small admixture which hybridizes this forward mover state with the degenerate states around $k_y \sim 0$ (backward movers) and the final state crossing the gap shows a negative slope, as required by $\Delta C_0$. In this sense, the difference in the number of states with opposite direction of motion is again bounded to the calculated topological invariants $C_0$ and $C_1$ on each side of the interface and do not depend on its specific shape. The details of the wave functions and of the quasi-energy dispersion, however, do depend on the angle between the interface and the orientation $\varphi$ of the linearly polarized vector potential formed at that point @note2.

*Final remarks.–* In summary, we found that illuminating the surface of a 3D TI with a pair of counter-rotating lasers generate chiral, one-dimensional states confined at the interface region between the lasers. These states locate within the recently measured laser-induced gaps in ARPES @Wang2013, for which we believe a small modification of the experimental setup would be enough for its observation. Additionally, these states have a finite time-averaged spin texture subjected to the spin-momentum locking effect of the bare material, making them interesting from the point of view of spin polarized transport. Our calculations in the low-energy regime are supported by simulations in a 3D lattice model, which accounts for the interface zone. Given the topological character of the Floquet bands, the qualitative properties of these interface states (chirality and spin-momentum locking) remain unaffected by the experimental details of the laser configuration (*e.g.* fluctuations in their relative phase). Importantly, the existence of the topological states is not bounded to the local recovery of the time-reversal symmetry at the interface @note4. Other choices in the setup including, *e.g.*, the simultaneous irradiation of different faces of the TI, are of great interest and deserve further exploration since one could exploit different spin-textures and band curvatures @Zhang2012 [@Zhang2013] to achieve control over the chiral states.\
*Acknowlegdments.–* We acknowledge financial support from SeCyT-UNC, ANPCyT (PICT Bicentenario 2010-1060, PICT 2013-1045), CONICET (PIP 11220110100832) and SeCTyP-UNCuyo (06/C415), ICTP's associateship program (LEFFT and GU), the Alexander von Humboldt Foundation (LEFFT) and Simons Foundation (GU).\

Supplemental Material
=====================

In this supplemental material we provide additional details concerning: (a) The solutions of the differential equation (continuum model) presented in the main article, (b) the explicit form of the Floquet Hamiltonian for the lattice model of an isotropic 3D TI, (c) the role of the linear polarization angle $\varphi$ in the dispersion of the laser-induced interface states, and (d) the case of two lasers with different frequencies.\
**Solutions of the continuum model.–** The discussed differential equation in the main article for an interface region along the $y$-coordinate is of the form $$\partial_x\boldsymbol{\Psi}(\bm{r}) = \mathcal{M}_{\tau(x)}\boldsymbol{\Psi}(\bm{r}),
\label{eq:diffeqS}$$ where in general $\boldsymbol{\Psi}(\bm{r})=e^{i k_y}(...,\boldsymbol{\psi}_{-1},\boldsymbol{\psi}_{0},\boldsymbol{\psi}_{1},...)^\text{T}$, with $\boldsymbol{\psi}_m=(\psi_{\uparrow,m},\psi_{\downarrow,m})^\text{T}$, accounts for spin-up and spin-down states for each one of the $m$-Floquet channels and the coefficient matrix $\mathcal{M}_\tau = \text{i}\sigma_y (\mathcal{H}_F^\tau(k_y \bm{e}_y) -\varepsilon \mathcal{I})$, with $\mathcal{H}_F^\tau$ defined in Eq. (\[eq:Floquet\]), comes from the replacement $k_x \rightarrow -i \partial_x$ due to the broken traslational invariance. The solutions of Eq. (\[eq:diffeqS\]) can be obtained by diagonalizing $\mathcal{M}_\tau$ in the two regions ($x\gtrless0$) of the sample separately. These are of the form $$\psi_i(x) = \sum_j [\mathcal{U}_{\tau(x)}^{-1}]_{ij} C_j^{\tau(x)} e^{\lambda_j x},
\label{eq:solution}$$ where $i$ labels the states of the truncated basis $\{\sigma,m\}$, $\mathcal{U}_\tau$ is the transformation matrix that diagonalizes $\mathcal{M}_\tau$ and $\tau(x) = -{\mathrm{sgn}}(x)$ determines the direction of rotation of the vector potentials at each side of the interface. For each one of the considered gapped regions, namely the zone center (ZC) and zone boundary (ZB), we work in a different truncation basis of Floquet channels to ensure a symmetric eigenvalue spectrum of $\mathcal{M}_\tau$ around zero. Specifically, we work in the Floquet space defined by the $m \in \{0,1\}$ for the ZB gap and $m \in \{-1,0,1\}$ for the ZC gap. This last guarantees that for an eigenvalue $\lambda_j$ of $\mathcal{M}_\tau$ there is always another $\lambda_k$ such that $\lambda_k = -\lambda_j$ and allows us to order them in the form $\text{Re}(\lambda_1)<...<\text{Re}(\lambda_{N/2})<0<\text{Re}(\lambda_{N/2+1})<...<\text{Re}(\lambda_N)$, with $N$ the dimension of the truncated space. Due to the specific form of the coefficient matrices $\mathcal{M}_\tau$, the eigenvalues $\lambda_j$ are independent of the $\tau$-index, yielding the same $\lambda$-spectrum in the two regions @note3. To ensure the convergence of $\psi_i$ for $x\rightarrow \pm\infty$ in the considered gaps, we set to zero those coefficients $C_j^{\pm}$ which are associated to $\mathrm{Re}(\lambda_j) \lessgtr 0$. According to the above ordering, this implies $$\begin{aligned}
C_j^{+} &= 0, &j &=1,...,N/2,\\
C_j^{-} &= 0, &j &=N/2+1,...,N.\end{aligned}$$ The remaining coefficients are found by imposing a topological boundary condition @Zhang2012 across the interface between the two portions of the system. In the considered setup, this implies the continuity of $\boldsymbol{\Psi}(\bm{r})$ along the $x$-direction, where the sign in the Chern number is inverted, and it reads $$\sum_{j=N/2+1}^N [\mathcal{U}_{+}^{-1}]_{ij} C_j^{+} = \sum_{j=1}^{N/2} [\mathcal{U}_{-}^{-1}]_{ij} C_j^{-}.$$ Since in the above equation there is only one coefficient for each particular state $j$, we can define $\bm{C} = (C_1^{-},...,C_{N/2}^{-},C_{N/2+1}^{+},...,C_{N}^{+})^\mathrm{T}$, such that $\mathcal{Q}\bm{C} = \bm{0}$, with $$[\mathcal{Q}]_{ij}=\left\{ 
\begin{array}{ll}
-[\mathcal{U}_{-}^{-1}]_{ij}, &j=1,...,N/2\\
+[\mathcal{U}_{+}^{-1}]_{ij}, &j=N/2+1,...,N.
\end{array}\right.
\label{eq:qmatrix}$$ Through the condition $\det{\mathcal{Q}}=0$ we thus determine *numerically* the energy $\varepsilon$ and momentum $k_y$ of the interface states within the ZC and ZB gaps where all the $\lambda$-eigenvalues have a non-vanishing real component (cf. Figs. \[fig:2\] and \[fig:S1\]).\
*Spin texture.–* Based on the above solutions for the interface state wave-functions we can now calculate the expectation values of the spin operator $\boldsymbol{\sigma}$. Let's assume we find a solution $\boldsymbol{\Psi}(\bm{r})$ such that it satisfies the characteristic equation $\det{\mathcal{Q}}=0$. Written in the Hilbert's real space ($\mathcal{R}$), the wave-function reads @Usaj2014 $$\ket{\Psi(\bm{r},t)} = e^{i\varepsilon t} \sum_{\sigma,m} \psi_{\sigma,m}(x) e^{i k_y y} e^{i m \Omega t} 
\ket{\Psi_\sigma},$$ where $\{\ket{\Psi_\sigma}\}$ is a complete basis for the spin states in $\mathcal{R}$ and the expectation value of the spin operator therefore reads $$\braket{\boldsymbol{\sigma}} = \sum_{\sigma,\sigma'} \sum_{m,m'} \int \mathrm{d}x \psi_{\sigma,m}^{*}(x) \psi_{\sigma',m'}(x) e^{-i(m-m')\Omega t}
[\boldsymbol{\sigma}]_{\sigma,\sigma'}.$$ For time-averaged quantities over a period $T = 2\pi/\Omega$ of the driving we observe that only the direct terms with $m' = m$ survive and hence $$\braket{\braket{\boldsymbol{\sigma}}} = \sum_{\sigma,\sigma'} \sum_m \int \mathrm{d}x \psi_{\sigma,m}^{*}(x) \psi_{\sigma',m}(x) [\boldsymbol{\sigma}]_{\sigma,\sigma'}.
\label{eq:spin}$$ This last was calculated in Figs. \[fig:2\] and \[fig:S1\] for the interface oriented along the $y$-direction and yields the same spin-momentum locking effect observed in static 3D TIs, *i.e.*, $\braket{\braket{\sigma_y}} = \braket{\braket{\sigma_z}} = 0$ and finite $\braket{\braket{\sigma_x}}$.\
**Lattice Floquet Hamiltonian.–** Here we derive the Floquet Hamiltonian for the lattice model introduced in the main article. We start from the static Hamiltonian for the isotropic TI of Ref. @Chu2011 for a cubic geometry with lattice parameter $a$: $$H = \sum_{\bm{r}} c_{\bm{r}}^\dag M_0 c_{\bm{r}} + \sum_{\bm{r},\alpha} c_{\bm{r}}^\dag T_\alpha c_{\bm{r}+a\bm{e}_\alpha}+\text{H.c.},$$ where the sum runs over the lattice's sites $\bm{r}$ and $\alpha=\{x,y,z\}$. The $4\times4$ on-site $M_0$ and hopping $T_\alpha$ matrices $$M_0 = (m_0-6 m_1)\tau_z, \; T_\alpha = \left(m_1\tau_z-i\frac{m_2}{2} \tau_x \sigma_\alpha \right),$$ account for both the orbital and spin degrees of freedom through the Pauli's matrices $\tau_\alpha$ and $\sigma_\alpha$, respectively. Here $m_0$, $m_1$ and $m_2$ are standard parameters of the model @Chu2011 whose scale is set by the hopping term $\gamma_0$. The driving field is included by Peierls' substitution as a phase-modulation of the hopping amplitudes coupling nearest-neigbour sites. This incorporates space and time dependencies in $T_\alpha$ through the vector potential, defined as $\bm{A}(\bm{r},t) = \bm{A}_{-}(z,t)f(x)+\bm{A}_{+}(z,t)(1-f(x))$, where $f(x)=1/[1+\exp(x/x_0)]$ and $$\bm{A}_\tau = A_0(z)\left[ \cos(\tau\Omega t+\varphi) \, \bm{e}_x + \sin(\tau\Omega t+\varphi)\, \bm{e}_y \right],$$ with $A_0(z)=a_0 \xi^{z/z_0}$ the magnitude of the vector potential, assumed to be attenuated along $z$ due to absorption within the solid. At the interface region ($x=0$) the two lasers add-up, yielding a linearly polarized field $\bm{A}= A_0(z) \cos(\Omega t) \bm{e}_\varphi$ whose direction forms an angle $\varphi$ with respect to the $x$-axis. The phase-modulation thus enters through the line integrals $$T_\alpha(\bm{r},t) \rightarrow T_\alpha \exp \left[i \frac{2\pi}{\Phi_0} \int_{\bm{r}}^{\bm{r}+a\bm{e}_\alpha} \bm{A}(\bm{r},t) \cdot \text{d}\bm{\ell}_\alpha \right],$$ with $\Phi_0$ the magnetic flux quantum. Now that we have the explicit time-dependence of the hopping matrices, the Floquet Hamiltonian can be easily obtained by taking the Fourier components of the above phase-modulation, i.e., $[\mathcal{H}_F]_{n,m}=\frac{1}{T}\int_0^T H(t)e^{i(n-m)\Omega t} \text{d}t$, such that $$\mathcal{H}_F = \sum_{\bm{r}} c_{\bm{r}}^\dag \mathcal{M}_0 c_{\bm{r}} + \sum_{\bm{r},\alpha} c_{\bm{r}}^\dag \mathcal{T}_\alpha(\bm{r}) c_{\bm{r}+a\bm{e}_\alpha}+\text{H.c.}
\label{eq:red}$$ The above static matrices $M_0$ and $T_\alpha$ generalize in Floquet space to $$\mathcal{M}_0 = M_0 \otimes I + I \otimes N_\Omega, \; \mathcal{T}_\alpha(\bm{r}) = T_\alpha \otimes \gamma_{\alpha}(\bm{r}),$$ where $[N_\Omega]_{n,m} = n\hbar\Omega \delta_{n,m}$. The tensor product follows from the $\mathcal{R} \otimes \mathcal{T}$ structure of the Floquet space and $[\gamma_\alpha(\bm{r})]_{n,m} = \gamma_\alpha^{n-m}(\bm{r})$, with $$\begin{aligned}
\gamma_x^n &=& \sum_m i^n e^{i(2m-n)\varphi} J_m(\eta g) J_{n-m}(\eta (1-g)),\\
\gamma_y^n &=& \sum_m e^{i(2m-n)\varphi} J_m(\eta f) J_{n-m}(\eta (f-1)),\end{aligned}$$ and $\gamma_z^n=\delta_{n,0}$. Here, $J_n$ is the $n$-th order Bessel function of the first kind, $g(x) = \frac{1}{a}\int_x^{x+a} f(x') \text{d}x'$ and $\eta(z) = 2 \pi a A_0(z)/\Phi_0$, such that $\eta_0 = 2\pi a_0 a /\Phi_0$ sets the strength of the couplings between the Floquet channels.\
**Polarization angle.–** In this section we describe in detail the role of the angle $\varphi$ of the linearly polarized laser formed in the vicinity of the interface region \[see Figs. \[fig:1\] and \[fig:S1\](a)\].

\[tbh\] ![image](figS1.pdf){width="85.00000%"}

We start our description based on the solutions discussed above for the low-energy, continuum model. In this case, we assumed a sudden change in the helicity of the laser through $\tau(x) = -{\mathrm{sgn}}(x)$ \[see Eq. (\[eq:solution\])\], and the relevant angular dependence comes from the sum between the two contributions, *i.e.*, $\bm{A}_+(t)+\bm{A}_-(t) = A_0 \cos (\Omega t) \bm{e}_\varphi$, which yields a linearly polarized field whose oscillation direction forms an angle $\varphi$ with respect to the $x$-axis. Although this linearly polarized field is not explicitly present in the continuum model, the dispersions of the interface states strongly depend on the relative orientation of the two fields which is kept fixed by $\varphi$ at any value of time.

In Fig. \[fig:S1\] we show the solutions to $\det \mathcal{Q} = 0$ discussed above in the vicinity of the ZC and ZB gaps. In panel (b) we fix the energy at the center of each one of the gaps and evaluate the $k_y$-position of the interface states for arbitrary orientation $\varphi$. It can be seen that for the ZB region (top panel) these states are $\pi$-periodic while in the ZC region (bottom panel) they turn to be $\pi/2$-periodic. As we will discuss below, the difference in the $\varphi$-periodicity of the two regions bears a direct resemblance with the Floquet spectrum in a sample irradiated with a linearly polarized field. In panels (c) and (d) we explore the dispersion relations of the interface states for intermediate angles, where the dependence with $\varphi$ becomes evident. For the ZB gap, cf. Fig. \[fig:S1\](c), the two interface states move backwards with respect to the interface's direction $y$. These start at maximum separation for $\varphi=\pi/2$ (left panel) and then they shift to the center $k_y \sim 0$, becoming almost degenerate for $\varphi=0$ (right panel). In this $\varphi$-evolution we observe, in addition, a change in the group velocities, and together with it a decreasing spin polarization. For the ZC gap \[see panel (d)\], we notice a central state moving forwards and dominated by a negative spin component. This state remains almost in the same $k_y$-position regardless the value of $\varphi$. The other states (backward movers) shift in such a way that those in the center are degenerate for $\varphi=\pi/2$ (left panel) and then they merge with those initially placed in the extremes for $\varphi=\pi/4$ (right panel). This marked difference between forward and backward movers has indeed its origin in the different contributions to the Chern number $C_0 = -\tau/2+2\tau$ discussed in the main article. These contributions are not, however, completely 'separated' when including the interface boundary, manifesting itself as an avoided crossing between forward and backward movers. In any case, this admixture between states with different directions of propagation is in agreement with the bulk-boundary correspondence, since this last dictates not the total number of interface states but the difference between forward and backward movers.

\[tbh\] ![image](figS2.pdf){width="95.00000%"}

To elucidate the $k_y$-position of the interface states in the above discussed dispersion relations, we show in Fig. \[fig:S2\](a) the calculated Floquet spectrum of a sample which is being irradiated by a laser with linear polarization @Fregoso2013. In this setup both the traslational invariance along $x$ and the time-reversal symmetry are recovered. The corresponding Floquet Hamiltonian in this case writes: $$\mathcal{H}_F = H_0\otimes I + I \otimes N_\Omega + \frac{\gamma}{2}(\sin\varphi \sigma_x - \cos\varphi \sigma_y) \otimes \Delta, 
\label{eq:lineal}$$ where $H_0 = \hbar v (k_y \sigma_x - k_x \sigma_y)$, $\gamma = v e A_0/c$ and $[\Delta]_{m,n}=\delta_{m,n+1}+\delta_{m,n-1}$. From Fig. \[fig:S2\](a) it can be seen that the aforementioned laser-induced gaps now close at certain points as a consequence of the reinstated time-reversal symmetry. This 'closing' of the gaps occurs at two points in the ZB region (top) while in the ZC region (bottom) we have a central Dirac cone (gapless) surrounded by four closing points in a different shell of the spectrum. From Eq. (\[eq:lineal\]) we notice that the role of the polarization angle $\varphi$ is to rotate the whole spectrum and with it the points where the gaps close. Returning to the initial setup with the two counter-rotating, circularly polarized lasers, we can now associate the $k_y$-position of the interface states bridging the gaps to these points in which the gaps close when accounting for the linear polarization scenario. In particular, in the ZC region the difference between forward and backward movers can be attributed to the shells of the spectrum to which they belong: The forward mover is tied-up to the central Dirac cone, related to the $m=0$ channel, while the backward movers are placed in the outer closing points, associated to the crossing between $m=-1$ and $m=1$ cones. Within this correspondence between interface states and the points where the gaps close, it is possible to understand the above periodicities in both the ZB and ZC gaps \[see Fig. \[fig:S1\](b)\] as a consequence of the rigid rotation of the spectrum when sweeping $\varphi$.

To further support the above discussed $\varphi$-dependence in the dispersion relations of the interface states, we also present calculations of the time-averaged LDOS ($\rho_{k_y}$) evaluated along the interface region for the lattice model described in the previous section. In Figs. \[fig:S2\](b) and (c) we show the normalized $\rho_{k_y}$ in the ZB and ZC gap regions for the same angles $\varphi$ as in Figs. \[fig:S1\](c) and (d), respectively. All the discussed effects are reproduced qualitatively. In this case where the intensity of the laser is smaller than the one used in the continuum model, the mixing between forward and backward movers becomes almost unnoticeable.\
**Lasers with different frequencies.–** As a concrete test example to inspect the robustness of the laser-induced interface states against possible breaking of the local time-reversal symmetry (TRS) we consider the case of two laser beams defined with two different frequencies and opposite helicities. To ensure the global periodicity of the radiation field, we take commensurable frequencies. Indeed, the TRS is broken everywhere in this system.

\[tbh\] ![image](figS3.pdf){width="95.00000%"}

In Fig. \[fig:S3\](a) we calculate the determinant of the $\mathcal{Q}$-matrix as defined in Eq. (\[eq:qmatrix\]) around the Floquet zone center (ZC) region. The solutions to Eq. (\[eq:diffeqS\]) correspond to those points (black traces) where the map goes to zero. Here, we can appreciate the presence and chirality of the laser-induced interface states for the case of two laser beams with frequencies $\Omega_1=\Omega$ and $\Omega_2 = 2\Omega$, respectively, and opposite helicities. We have tested other cases with smaller frequency ratios, and they all show the same features but become technically demanding @note5. The spectrum results similar to that of the single frequency case (cf. Fig. \[fig:2\](b) in the main manuscript). At very low energies, differences are expected from this situation regarding the effect of additional Fourier replicas that need to be included in our calculation. These, however, are well-understood and follow the hierarchy recently introduced in Ref. \[\].

We emphasize that the formation of chiral interface states even in this system with fully broken TRS can be explained by the closing of the laser-induced ZC gap when connecting two Hamiltonians of different topology (winding number) in a continuous manner. To verify this, we compute the Floquet-Bloch bands of the Hamiltonian $$H(t) = \frac{1-\alpha}{2} H_{+}(\Omega_1,t)+\frac{1+\alpha}{2} H_{-}(\Omega_2,t),$$ where $H_\tau(\Omega,t)$ is the Hamiltonian describing the surface of the topological insulator in the presence of a circularly polarized laser of frequency $\Omega$ whose helicity is determined by $\tau=\pm 1$. Here, the constant $\alpha$ simply parametrizes the continuous change of $H(t)$ from $H_{+}(\Omega_1,t)$ to $H_{-}(\Omega_2,t)$. In the case described in the main manuscript, this parameter would depend on the coordinate perpendicular to the interface and represents the relative strength between the two laser beams. Here, however, it is an interpolation parameter and thus $H(t)$ can be regarded as a local Hamiltonian describing the interface region. By taking a particular symmetry point ($\mathbf{k}=0$), we find that when $\alpha$ goes from -1 to 1, hence connecting the two topological phases, the ZC gap necessarily closes as indicated in Fig. \[fig:S3\](b). This occurs for the value of $\alpha$ indicated by the arrow when the replicas from $m=-2$ to $m=2$ are retained (the specific value of $\alpha$ where the gap closes shows little change when considering more replicas). Although not shown, the ZC gap also closes in other $\mathbf{k}$-points as $\alpha$ is swept. Thus, the gap closing at certain points in the $k$-space as connecting the two topological distinct phases ensures bulk-boundary correspondence to hold in this system. Very importantly, TRS is always broken regardless the value of $\alpha$.

{'source': 'arXiv_out/1502'}