Abstract
Various exotic topological phases of Floquet systems have been shown to arise from crystalline symmetries. Yet, a general theory for Floquet topology that is applicable to all crystalline symmetry groups is still in need. In this work, we propose such a theory for (effectively) non-interacting Floquet crystals. We first introduce quotient winding data to classify the dynamics of the Floquet crystals with equivalent symmetry data, and then construct dynamical symmetry indicators (DSIs) to sufficiently indicate the inherently dynamical Floquet crystals. The DSI and quotient winding data, as well as the symmetry data, are all computationally efficient since they only involve a small number of Bloch momenta. We demonstrate the high efficiency by computing all elementary DSI sets for all spinless and spinful plane groups using the mathematical theory of monoid, and find a large number of different nontrivial classifications, which contain both first-order and higher-order 2+1D anomalous Floquet topological phases. Using the framework, we further find a new 3+1D anomalous Floquet second-order topological insulator (AFSOTI) phase with anomalous chiral hinge modes.
Similar content being viewed by others
Introduction
Crystalline symmetries are crucial in the study of static band topology1,2,3,4,5,6,7, because they can protect and can efficiently indicate exotic topological phases8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29. Powerful theories, topological quantum chemistry30 and symmetry indicators31,32, have been formulated to systematically characterize the crystalline-symmetry-protected (and crystalline-symmetry-indicated) topological phases, which enabled the prediction of thousands of topologically nontrivial materials in a computationally efficient manner33,34,35,36. The power of the two theories relies on the following two features. First, the two theories can be formally applied to all crystalline symmetry groups. Second, the topological invariants proposed in the two theories are computationally efficient, as they only involve a small number of high-symmetry momenta11,32,37,38,39,40 instead of the entire first Brillouin zone (1BZ).
Beyond the static paradigm, non-interacting Floquet systems41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63—systems with noninteracting time-periodic Hamiltonian—can host anomalous topological phases64,65,66,67,68,69,70,71,72 that have no analog in any static systems, such as phases with anomalous chiral edge modes in the absence of nonzero Chern numbers64,66,72. Recently, researchers have recognized the important role of crystalline (or space-time) symmetries in protecting driving-induced higher-order topological phases in Floquet systems73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97, and predicted exotic physical phenomena like anomalous corner modes. In particular, ref. 94 introduces a systematic theoretical framework of classifying and characterizing 2+1D anomalous Floquet higher-order topological phases protected by point group and chiral symmetries.
In the field of Floquet topological phases, there are two (among others) open questions that are fundamentally and practically important. The first one is the topological classification for all crystalline symmetry groups, namely how to efficiently determine whether two generic Floquet crystals with the same crystalline symmetries are topologically equivalent. The second one is how to efficiently determine whether a generic Floquet crystal is in an anomalous phase that has no analog in any static systems. In this work, we refer to such inherently dynamical Floquet crystals as Floquet crystals with obstruction to static limits, in analog to the Wannier obstruction22,30,31,98 for topologically nontrivial phases of static crystals. Then, the second question can be rephrased as how to efficiently diagnose the obstruction to static limits, which is essential for all the above-mentioned anomalous Floquet topological phenomena.
Unfortunately, there have been few efforts to address the above two open questions in the literature, and the previous related works focused on either specific models or special types of crystalline symmetry groups. There have been no general theory that is applicable to all crystalline symmetry groups in all spatial dimensions. Furthermore, the topological invariants proposed in the previous studies have relatively low computational efficiency, since they either do not have an accessible mathematical expression or typically require the information over the entire 1BZ (or a submanifold with nonzero dimensions). Therefore, a general and computationally efficient theory for Floquet topology that takes crystalline symmetries into account is in need.
In this work, we introduce a general theoretical framework to characterize the topological properties of Floquet crystals, which is applicable to all crystalline symmetry groups in all spatial dimensions (up to three). As a demonstration of our general principle, we focus on non-interacting Floquet crystals in the symmetry class A3,70—in the absence of time-reversal, particle-hole and chiral symmetries—because an applied drive can break the time-reversal symmetry, and exact particle-hole and chiral symmetries hardly appear in normal phases of crystals. The brief logic is shown in Fig. 1. We introduce quotient winding data, which, together with the symmetry data30,31 of the quasi-energy bands, provides a topological classification of Floquet crystals (Fig. 1a). In a two-step manner, the symmetry data first provides a coarse classification, which omits the essential information of the dynamics, and the quotient winding data then classifies the dynamics of Floquet crystals with equivalent symmetry data. Based on our classification scheme, we further introduce the concept of DSIs to indicate the obstruction to static limits (Fig. 1b). A nonzero DSI is a sufficient condition for Floquet crystals to have obstruction to static limits. The DSI constructed in this work for Floquet crystals is a dynamical generalization of the symmetry indicator proposed in ref. 31 for static crystals.
Notably, all indices in our theory—including symmetry data, quotient winding data, and thus the DSI—only involve a small number of Bloch momenta in 1BZ, indicating that the evaluation of them is highly computationally efficient or even analytically feasible. As a demonstration of the high efficiency, we provide a table of all elementary DSI sets for all spinless and spinful plane groups. Using specific models, we show that the resultant DSIs can efficiently indicate the nontrivial dynamics in both first-order and higher-order 2+1D anomalous Floquet topological phases. We further apply our framework to the 3+1D inversion-invariant case (space group P\(\overline{1}\) or #2), and find a 3+1D Floquet phase with anomalous chiral hinge modes, which is the first 3+1D AFSOTI phase that is solely protected by static crystalline symmetries. It is both the generality and high computational efficiency that make our theory remarkably powerful for prediction of new Floquet topological phases.
Results
In the following, we will introduce our framework based on symmetry data, quotient winding data, and DSI. We will use a 1+1D inversion-invariant example to illustrate the main idea. Then, we will discuss the DSIs for 2+1D systems. At last, we will introduce the 3+1D AFSOTI phase that we find using DSI. We also briefly describe the general framework in Methods, and the details can be found in Supplementary Notes 2 and 3.
The 1+1D inversion-invariant example that we will use is constructed on a 1D lattice with lattice constant being 1, and each lattice site consists of two orbitals at the same position: one spinless s orbital and one spinless p orbital. As we consider the noninteracting cases, we only care about the single-particle Hilbert space, and the symmetry group \({{{{{{{\mathcal{G}}}}}}}}\) of interest is spanned by the 1D lattice translations and the inversion symmetry. With bases \(|{\psi }_{k}\rangle =(|{\psi }_{k,{{\mbox{s}}}}\rangle ,|{\psi }_{k,{{\mbox{p}}}}\rangle )\), the single-particle Floquet Hamiltonian is represented as H(k, t), where H(k, t + T) = H(k, t) with T > 0 the time period, and k is the Bloch momentum. The corresponding unitary time-evolution matrix U(k, t) can be given by Dyson series. (See Supplementary Note 1 for detailed forms of H and U for this 1+1D example.) Furthermore, the inversion symmetry \({{{{{{{\mathcal{P}}}}}}}}\) is represented as \({{{{{{{\mathcal{P}}}}}}}}\left|{\psi }_{k}\right\rangle =\left|{\psi }_{-k}\right\rangle {u}_{{{{{{{{\mathcal{P}}}}}}}}}(k)\) with \({u}_{{{{{{{{\mathcal{P}}}}}}}}}(k)={\sigma }_{z}\), where σ’s are the Pauli matrices. The inversion invariance of the system leads to
The quasi-energy spectrum of U(k, t), derived from diagonalizing U(k, T), is important for our later discussion. We plot the quasi-energy spectrum for U(k, t) in Fig. 2a for one set of parameter values, showing two quasi-energy bands in the phase Brillouin zone (PBZ) [Φk, Φk + 2π), which are separated by two quasi-energy gaps. (See Supplementary Note 1 for details.) The parameter values used in Fig. 2 give us one specific Floquet system; if we change the parameter values, we would get a new time-evolution matrix \(U^{\prime} (k,t)\), featuring another Floquet system. For this 1+1D example, two Floquet systems are considered to be topologically equivalent if and only if (iff) they are connected by a continuous deformation that preserves the symmetry group \({{{{{{{\mathcal{G}}}}}}}}\) and both quasi-energy gaps.
We choose the PBZ lower bound as Φk = −π in a, c, e and as Φk = π/4 in b, d, f. In all plots, the orange dashed lines mark the boundary of the PBZ, and ± stands for the parity of the eigenvectors at Γ(k = 0) or X(k = π). In a and b, we plot the quasi-energy bands (blue lines) given by U(k, T) in the PBZ, while all gray lines are redundant 2π-copies outside the PBZ. All quasi-energy gaps are relevant for the topological equivalence, and thereby are relevant gaps (labeled by R.G. in the plots). In c and d, we plot the phase bands at Γ and X for the time-evolution matrix U(k, t). In e and f, we plot the phase bands at Γ and X for the return maps Uϵ=Φ(k, t).
In terms of the general terminology discussed in the Methods, we choose both quasi-energy gaps to be the topologically relevant gaps70,71 for this 1+1D example, and after choosing the relevant gaps, U(k, t) (or \(U^{\prime} (k,t)\)) becomes a Floquet gapped unitary (FGU). In general, the relevant gaps for a generic FGU are chosen based on the physics of interest, and one common choice is to choose all quasi-energy gaps to be relevant, as done in this 1+1D example. Topological properties of FGUs are the focus of this work.
Symmetry data
As the first step of our topological classification, let us describe the symmetry data for the quasi-energy band structure of the 1+1D FGU U(k, t). Owing to the inversion invariance, the eigenvectors for the quasi-energy bands at an inversion-invariant momentum k0 = Γ/X have definite parities α = ± , as shown in Fig. 2a. For each quasi-energy band \({{{{{{{{\mathcal{E}}}}}}}}}_{m,k}\,\)(m = 1, 2), we can count the number of eigenvectors carrying parity α at each k0, denoted by \({n}_{{k}_{0},\alpha }^{m}\). As a result, we have a four-component vector for the m-th quasi-energy band as
of which the values can be read out from Fig. 2a as
The symmetry data is the matrix A that has A1 and A2 as its two columns
which clearly only involves two momenta in the 1D 1BZ. The four components of Am in Eq. (2) are not independent, as they satisfy the following compatibility relation30,31\({n}_{{{\Gamma }},+}^{m}+{n}_{{{\Gamma }},-}^{m}={n}_{X,+}^{m}+{n}_{X,-}^{m}\) or equivalently
with the compatibility matrix \({{{{{{{\mathcal{C}}}}}}}}\) being
The above derivation of symmetry data for the quasi-energy band structure is for a given choice of PBZ (as in Fig. 2a), which is exactly the same as that for a static crystalline system30,31. However, the freedom of choosing PBZ for Floquet crystals leads to an additional subtlety in determining the symmetry data, which is absent in dealing with static crystals. As shown in Fig. 2b, we can legitimately shift the PBZ lower bound to Φk = π/4, which relabels the quasi-energy bands as 1 → 2 and 2 → 1, resulting in a new symmetry data \(\widetilde{A}\)
Therefore, the symmetry data of a Floquet crystal depends on the artificial choice of PBZ, which is in contrast to the static case where the symmetry data of a given static crystal is uniquely determined by the Fermi energy.
We remove this artificial PBZ-dependent ambiguity by defining an equivalence among symmetry data of different FGUs. We define two FGUs \(U^{\prime} (k,t)\) and U(k, t) to have equivalent symmetry data iff we can find PBZs to make their symmetry data exactly the same. In practice, we can first pick a PBZ lower bound \({{{\Phi }}}_{k}^{\prime}\) for \(U^{\prime} (k,t)\) and get its symmetry data \(A^{\prime}\). Then we check whether \(A^{\prime} =A\) (Eq. (4)) or \(A^{\prime} =\widetilde{A}\) (Eq. (7)); if one of them is true, \(U^{\prime} (k,t)\) and U(k, t) have equivalent symmetry data, otherwise inequivalent. Despite the ambiguity of the symmetry data, whether two FGUs have equivalent symmetry data or not is independent of the artificial PBZ choice. In particular, inequivalent symmetry data infers topological distinction. Therefore, we can perform a topological classification for FGUs solely based on the symmetry data, similar to what we did for static crystals.
Winding data
The above symmetry-data-based classification only involves the time-evolution matrix at t = T, missing essential information about the quantum dynamics. To classify the dynamics of Floquet crystals with equivalent symmetry data, we will construct the winding data, which contains the dynamical information on the entire time period. A direct visualization of the quantum dynamics for the 1+1D FGU U(k, t) is its phase band spectrum ϕm,k(t) given by directly diagonalizing U(k, t), and we plot the phase bands at two inversion-invariant momenta in Fig. 2(c-d). However, for the construction of the winding data, it turns out to be inconvenient to directly use U(k, t) or phase bands in Fig. 2(c-d), since they are not time-periodic.
It is much more convenient to use the time-periodic return map68,71 Uϵ(k, t) defined as
where ϵk is the branch cut for the logrithm used in the return map, and throughout this work, we always set the branch cut to be equal to the PBZ lower bound (i.e., ϵ = Φ) unless specified otherwise. (See the Methods for more details.) As we want to make winding data computationally efficient, we only care about the return map at two inversion-invariant momenta Γ and X. Since the return map preserves inversion, its eigenvectors at k0 = Γ/X have definite parities, as shown in Fig. 2e for Φk = −π. Then, we can count the total winding (along t) of the phase bands of Uϵ=Φ(k0, t) with parity α, resulting in an integer-valued winding number \({\nu }_{{k}_{0},\alpha }\). We can read out all four quantized winding numbers from Fig. 2e and further group them into a vector
which we refer to as the winding data of the FGU U(k, t) for Φk = −π. (See more details in the Methods.) Clearly, the winding data only involves two momenta in the 1D 1BZ.
As exemplified by Eq. (9), the four components of the winding data satisfy a compatibility relation
since the total winding of all phase bands at each momentum is the same. As a result, the winding data share the same compatibility relation as that of the symmetry data (Eq. (5))
meaning that the winding data takes value in the following set
Shifting the PBZ changes the winding data. In this 1+1D example, if we shift the PBZ lower bound from Φk = −π to Φk = π/4, the phase bands of return map become Fig. 2f, and from Fig. 2f, we know the winding data becomes
Unlike the symmetry data, a 2π-shift of the PBZ Φk → Φk + 2π can also change the winding data
suggesting that the 1+1D FGU U(k, t) can have an infinite number of different winding data, which explicitly depend on the artificial choice of PBZ.
The infinite PBZ dependence of the winding data makes it hard to directly generalize the equivalence among symmetry data (which only has a finite number of variants for a single FGU) to define an equivalence among the winding data, since finding a single proper PBZ among an infinite number of possible choices is not straightforward. Nevertheless, the infinitely many winding data are related by the symmetry data, as shown in Eq. (13) and Eq. (14). This relation inspires us to define the quotient winding data below, in order to resolve the infinity problem.
Quotient winding data
In this part, we define the quotient winding data to resolve the infinity issue of the winding data. To have a finite number of different quotient winding data, we define the quotient winding data to be invariant under all PBZ shifts that keep the symmetry data. For the 1+1D FGU U(k, t), all PBZ shifts that keep the symmetry data are (or are equivalent to) the 2πn-shifts of the PBZ, where n labels an arbitrary integer. Then, we define the quotient winding data VQ as
where
As 2πn-shifts of the PBZ can only change V by multiples of \(\bar{A}\) according to Eq. (14), VQ defined in Eq. (15) is indeed invariant under 2πn-shifts of the PBZ, just like the symmetry data. As a result, the 1+1D FGU U(k, t) only has two different quotient winding data derived from the two winding data in Eqs. (9) and (13) as
which are related by
(See more details in the Methods.)
To further remove the remaining PBZ-dependent ambiguity, we define an equivalence among quotient winding data of different FGUs. Recall that the quotient winding data is introduced for a classification of FGUs with equivalent symmetry data, since inequivalent symmetry data already infers topological distinction. Let us suppose that the two different 1+1D FGUs U(k, t) and \(U^{\prime} (k,t)\) have equivalent symmetry data, meaning that we can always pick PBZ choices \({{{\Phi }}}_{k}^{\prime}\) and Φk for \(U^{\prime} (k,t)\) and U(k, t), respectively, such that they have exactly the same symmetry data \(A^{\prime} =A\). Then, we check whether the quotient winding data of \(U^{\prime} (k,t)\) for \({{{\Phi }}}_{k}^{\prime}\) is the same as that of U(k, t) for Φk; if so, \(U^{\prime} (k,t)\) and U(k, t) are defined to have equivalent quotient winding data.
Given two FGUs with equivalent symmetry data, the artificial PBZ choice has no influence on whether they have equivalent quotient winding data or not. In particular, they must have equivalent quotient winding data if they are topologically equivalent, meaning that inequivalent quotient winding data infers topological distinction. Then, as long as the comparison of VQ is done for the PBZ choices that yield the same symmetry data, quotient winding data provides a topological classification for all FGUs that have equivalent symmetry data to the 1+1D U(k, t). Specifically, the classification is given by {V} in Eq. (12) and \(\bar{A}\) in Eq. (16) as
where \(\bar{A}{\mathbb{Z}}=\{q\bar{A}={(q,q,q,q)}^{T}| q\in {\mathbb{Z}}\}\).
Up to now, we have discussed the relative topological classification based on the symmetry data and the quotient winding data, shown in Fig. 1a. Nevertheless, the (A, VQ)-based classification fails to tell which FGU has obstruction to static limits, i.e., topologically distinct from all static FGUs with the same symmetries. (See the Methods for general definitions.) Yet, determining obstruction to static limits is crucial, because it tells whether the Floquet phase of interest has no static analog or equivalently whether it is allowed to have any anomalous dynamical phenomena. For this purpose, we construct the DSI below.
DSI
In this part, we construct the DSI for the 1+1D example to efficiently indicate its obstruction to static limits. To determine the obstruction to static limits for the 1+1D FGU U(k, t) with \({{{{{{{\mathcal{G}}}}}}}}\) spanned by inversion and lattice translation, we only need to consider the \({{{{{{{\mathcal{G}}}}}}}}\)-invariant static FGUs that have symmetry data equivalent to U(k, t), since U(k, t) must be topologically distinct from all other \({{{{{{{\mathcal{G}}}}}}}}\)-invariant static FGUs. Then, we can check whether any winding data of U(k, t) is forbidden in all static FGUs with symmetry data equivalent to U(k, t); if so, then U(k, t) must have obstruction to static limits. Therefore, although we need to use the quotient winding data to give the relative classification, we can directly use winding data to determine the obstruction. (See Supplementary Note 1 for details.)
The DSI is constructed by formalizing the above criterion. To do so, we first derive a set {VSL} by winding each quasi-energy band of the 1+1D U(k, t) along time, which reads
where A1 and A2 are two columns of A in Eq. (4). {VSL} is invariant under the relabeling of the quasi-energy bands (i.e. 1 ↔ 2) due to a PBZ shift, and it contains all winding data of all \({{{{{{{\mathcal{G}}}}}}}}\)-invariant static FGUs that have symmetry data equivalent to U(k, t). (See details in Supplementary Note 1.) Then, according to Eq. (9), the wind data V of U(k, t) for Φk = −π satisfies V ∉ {VSL}, since νΓ,+ − νX,+ = 1 for V while νΓ,+ − νX,+ = 0 for all elements in {VSL}. It means that V cannot exist in any of the static FGUs that have symmetry data equivalent to U(k, t), and thus U(k, t) must have obstruction to static limits.
It turns out that we are allowed to adopt any PBZ choice for U(k, t) to check the above formalized criterion, and we will always get the same result that U(k, t) has the obstruction to static limits, because Eqs. (13) and (14) suggests U(k, t) always has νΓ,+ − νX,+ = 1 regardless of the PBZ choice. We refer to the PBZ-independent (νΓ,+ − νX,+) as the DSI for U(k, t)—as well as for all other FGUs that have symmetry data equivalent to U(k, t). Formally, the DSI is defined to take values from the following set \({{{{{{{\mathcal{X}}}}}}}}\)
where we have used Eqs. (12) and (20). As shown above, the DSI only involves two momenta in the 1BZ, and nonzero DSI means all winding data of U(k, t) are not in {VSL}, thus sufficiently indicating the obstruction to static limit.
The idea of using quotient group to mod out the trivial systems (though not exclusively), which is used above, was previously used to construct the static symmetry indicator in ref. 31. The difference between ref. 31 and our work is that the quotient is taken for the symmetry contents (like columns of symmetry data) in the construction of the static symmetry indicator in ref. 31 to characterize the static band topology, while the quotient is taken for the winding data in the construction of the DSI to characterize the periodic quantum dynamics here.
Now we discuss the DSIs for all possible 1+1D inversion-invariant FGUs. To do so, we need to use the Hilbert bases27,99, which intuitively speaking, are irreducible bases of the symmetry data. (See Methods and Supplementary Note 3 for more details.) For 1+1D inversion-invariant FGUs, there are four Hilbert bases given by four ways of assigning ± parities to Γ/X, which read
Then, any column of any symmetry data of any 1+1D inversion-invariant FGU is the linear combination of the four Hilbert bases with non-negative integer coefficients.
Based on the Hilbert bases, symmetry data of FGUs can be split into two types, irreducible and reducible. Specifically, we define a symmetry data of a FGU to be irreducible iff all its columns are Hilbert bases; otherwise reducible. According to the general framework presented in Methods, DSI sets for reducible symmetry data can be constructed from those for irreducible symmetry data. Therefore, in the following, we focus on the DSI sets for irreducible symmetry data.
For a 1+1D inversion-invariant FGU with irreducible symmetry data, all its symmetry data are spanned by a unique set of the Hilbert bases {aj} with j taking J ≤ 4 different values in {1, 2, 3, 4}. According to the general framework discussed in the Methods, we can directly obtain the DSI set for the FGU solely based on the set {aj} and the compatibility matrix \({{{{{{{\mathcal{C}}}}}}}}\) in Eq. (6). For the above 1+1D example U(k, t), the two columns of any symmetry data (Eqs. (4) or (7)) are the Hilbert bases a1 and a4 in Eq. (22), and thus are irreducible. Then, the unique set of the Hilbert bases that span the symmetry data is {a1, a4}, and the DSI set Eq. (21) can be directly derived from {a1, a4} and \({{{{{{{\mathcal{C}}}}}}}}\) based on the general framework.
In particular, even if two 1+1D inversion-invariant FGUs have inequivalent symmetry data, they have the same \({{{{{{{\mathcal{X}}}}}}}}\), as long as their irreducible symmetry data are spanned by the same set of Hilbert bases. This simplification allows us to enumerate all possible DSI sets for irreducible symmetry data by considering all 24 − 1 nontrivial combinations of Hilbert bases. As a result, we obtain two nontrivial DSI sets. One is for the Hilbert basis set {a1, a4}, which is just the above 1+1D example U(k, t), and the DSI is shown in Eq. (21). The other one is for the Hilbert basis set {a2, a3}, and the DSI set reads
Besides indicating obstruction to static limit, DSI is also a topological invariant—its different values infer topological distinction for FGUs with equivalent symmetry data. Although the classification given by DSIs is a subset of that given by quotient winding data (like for the above 1+1D example), DSIs have the advantage of being PBZ-independent.
2+1D DSI
The above discussion focused on the 1+1D inversion-invariant case. We, in this part, discuss the DSIs for 2+1D systems. Based on the general framework in Methods, we derive the DSI sets for all nontrivial combinations of Hilbert bases for all spinless and spinful 2D plane groups, and list the numbers of nontrivial DSI sets in Tables 1–2. These DSI sets are for 2+1D FGUs with irreducible symmetry data, and serve as the building blocks for all 2+1D DSI sets for plane groups. The nontrivial DSIs in Tables 1–2 can indicate both first-order and higher-order anomalous Floquet topological phases, as discussed below.
For the first-order phase, we focus on the \({{\mathbb{Z}}}^{3}\) set for spinless plane group p2, which is spanned by the 2D lattice translations and the two-fold rotation C2. We explicitly construct a 2+1D p2-invariant spinless model that has nonzero \({{\mathbb{Z}}}^{3}\) DSI (inspired by the quantum-anomalous-Hall-effect model in ref. 2, and find that the model has anomalous chiral edge modes in the absence of nonzero Chern numbers, similar to the first-order anomalous Floquet topological phase in ref. 64. (See Supplementary Note 4 for details.) Therefore, the \({{\mathbb{Z}}}^{3}\) DSI can indicate first-order anomalous Floquet topological phases. In particular, all components of the DSI take the same values as the winding number W defined in ref. 64 in our specific p2-invariant model, but the evaluation of the former is much more efficient than the latter, since the former only involves four C2-invariant momenta while the latter needs the whole 2D 1BZ. Then, although the winding number W defined in ref. 64 does not rely on any crystalline symmetries other than lattice translations, our model suggests that in the presence of nontrivial crystalline symmetries, DSIs might efficiently indicate the nontrivial dynamics of the first-order anomalous Floquet topological phases characterized by the W winding number.
For the higher-order phase, we find that the 2+1D anomalous Floquet higher-order topological insulator phase proposed in ref. 86 can be indicated by the \({\mathbb{Z}}\) DSI of spinful p4mm in Table 2. (See Supplementary Note 5 for details.) In particular, to determine the nontrivial dynamics in the model, the DSI only requires three momenta in the 1BZ, saving us from evaluating the quantized dynamical quadrupole momoent proposed in ref. 86, which involves all momenta in the entire 2D 1BZ.
3+1D AFSOTI phase
In this part, we apply our framework to the 3+1D inversion-invariant case (P\(\overline{1}\) space group), and predict a new 3+1D AFSOTI phase. We will only present a brief discussion here, and details can be found in Supplementary Note 6.
For P\(\overline{1}\), we only need to care about the eight inversion-invariant momenta—Γ(0, 0, 0), X(π, 0, 0), Y(0, π, 0), Z(0, 0, π), V(π, π, 0), U(π, 0, π), T(0, π, π), and R(π, π, π)30—and we have parities ± at each inversion-invariant momentum. Then, we choose the winding data to have the form
with \({{{{{{{{\bf{K}}}}}}}}}_{i}={({{\Gamma }},{X}_{,}Y,Z,V,U,T,R)}_{i}\), and ν is the winding number. Replacing ν by the number of irreducible representations (irreps) labeled by parities in the above expression gives columns of the symmetry data.
P\(\overline{1}\) has 256 Hilbert bases, given by assigning ± to the eight inversion-invariant momenta in the 3D 1BZ, and thus the number of nontrivial combinations of the Hilbert bases is 2256 − 1, which is very large. For simplicity, we only compute the DSI sets for the 32896 combinations that only include one or two Hilbert bases, resulting in \({\mathbb{Z}}\,(3584)\), \({{\mathbb{Z}}}^{2}\,(7168)\), \({{\mathbb{Z}}}^{3}\,(8960)\), \({{\mathbb{Z}}}^{4}\,(7168)\), \({{\mathbb{Z}}}^{5}\,(3584)\), \({{\mathbb{Z}}}^{6}\,(1024)\), and, \({{\mathbb{Z}}}^{7}\,(128)\), where \({{\mathbb{Z}}}^{n}\) labels the DSI set and the number in the bracket labels how many nontrivial combinations of Hilbert bases lead to the DSI set. For concreteness, we in the following focus on the \({{\mathbb{Z}}}^{7}\) DSI set that corresponds to the combination of the following two Hilbert bases
and the DSI is a seven-component vector that reads
To demonstrate the dynamical phase indicated by the \({{\mathbb{Z}}}^{7}\) DSI, we explicitly construct a 3+1D dynamical tight-binding model with P\(\overline{1}\) space group on a cubic lattice with the lattice constant being 1. It has four bulk quasi-energy bands, which are split into two isolated sets by two relevant gaps, one 0-gap and one π-gap (see Fig. 3a, b). According to the Methods, each isolated set (that consists of two bands) corresponds to one column in the symmetry data, resulting in a two-column symmetry data A = (A1 A2). Direct calculation shows that \({A}_{1}=2{\widetilde{a}}_{1}\) and \({A}_{2}=2{\widetilde{a}}_{2}\), meaning that the symmetry data is reducible. Nevertheless, the Hilbert basis set that spans the symmetry data is uniquely \(\{{\widetilde{a}}_{1},{\widetilde{a}}_{2}\}\), and thus the model is characterized by the DSI in Eq. (26), which is evaluated to (2, 2, 2, 2, 2, 2, 2). As a result of the nontrivial dynamics characterized by the nonzero DSI, the system has chiral hinge modes in each bulk relevant gap, as shown in Fig. 3. The chiral hinge modes are anomalous, because the static topological invariant, axion angle, for the inversion-protected chiral hinge modes100 is zero for both isolated sets of quasi-energy bands according to the symmetry data11,12.
In a, we show an inversion-preserving configuration of the 3+1D AFSOTI that is finite along x, y and infinite along z. The purple and red lines indicate the hinges that host anomalous chiral hinge modes. In b, we plot the quasi-energy band structure of the 3+1D AFSOTI for the configuration in a. \({{{{{{{\mathcal{E}}}}}}}}\) and T label the quasi-energy and time period, respectively. The gray lines are the bulk bands (as well as the dangling surface bands). I.S. labels isolated set of bulk quasi-energy bands, and each isolated set contains two bulk quasi-energy bands. R.G. stands for the bulk relevant gap, and there are two relevant gaps, one at \({{{{{{{\mathcal{E}}}}}}}}T=0\) (called 0-gap) and the other at \({{{{{{{\mathcal{E}}}}}}}}T=\pi\) (called π-gap). The purple and red lines mark the anomalous chiral hinge modes localized at the purple and red hinges in a, respectively. The orange dashed lines mark the boundary of PBZ. In c, we consider an inversion-preserving configuration of the 3+1D AFSOTI that is finite along all three spatial directions, and plot total probability density of the two eigenmodes with quasi-energies closest to 0 or π (\(\ {{{{{{{\rm{mod}}}}}}}}\ 2\pi\)). Details on the parameter values can be found in Supplementary Note 6.
We emphasize that although hinge modes in 3+1D Floquet insulators were discussed in ref. 77 and ref. 97, our model is fundamentally different from theirs. First, the hinge modes originate from the time glide symmetry in ref. 77 and from the effective spectral symmetry in ref. 97, both of which are not static crystalline symmetries, while our model is protected by static inversion symmetry. Second, trivial static topology has not been explicitly confirmed for the bulk quasi-energy bands in ref. 77 and ref. 97, while the relevant static topological invariants in our model are confirmed to be trivial. Therefore, our model, which is constructed based on the DSI, is the first AFSOTI solely protected by the static crystalline symmetries.
Discussion
To summarize, we have established a general and efficient theoretical framework for classifying and characterizing the topological properties of Floquet crystals in the symmetry class A, which is applicable to all crystalline symmetry groups in all spatial dimensions (up to three).
One direct physical implication of the obstruction to static limits is that symmetry breaking or relevant gap closing must appear during any continuous deformation that makes static a Floquet crystal with obstruction. Here the relevant gap closing refers to the closing of the topologically relevant bulk quasi-energy gaps, according to the definition of the topological equivalence discussed in Methods. If all relevant symmetries are preserved during the deformation, the gap closing will occur in at least one of the relevant gaps in the bulk quasi-energy spectrum, and is not required to appear in any irrelevant gaps. Therefore, an experimental test of nonzero DSIs (though not conclusively) would be to observe the quasi-energy gap closing or symmetry breaking as continuously decreasing the driving amplitude to zero while fixing the driving period. Gap closing in quasi-energy spectrum has been observed in experiments like ref. 72.
As for more experimental signatures of our theory, it is worth studying the link between nonzero DSIs and nontrivial boundary signature in the future. A promising direction is p2 plane group, for which the DSI is very likely to contain the information of chiral edge modes. The intuition is based on the fact that the difference in winding data for different PBZ choices consists of the symmetry contents of quasi-energy bands, which have a mod-2 relation to the Chern number11,12. The 2+1D p2-invariant model presented above also suggests a relation between the DSI and the winding number defined in ref. 64, where the latter has a correspondence to the chiral edge modes. Furthermore, the 3+1D AFSOTI presented above suggests that the 3+1D DSI might indicate the anomalous chiral hinge modes in certain space groups, perhaps related to a dynamical generalization of the static bulk-boundary correspondence between the axion angle and the static chiral hinge modes100.
As the symmetry-representation theories for static crystals inspired the proposal of fragile topology22,23 that is beyond the K-theory classification101, another interesting direction is to generalize the concept of fragile topology to Floquet crystals102. Besides, generalizing our theoretical frame work to Floquet crystals with time-reversal, particle-hole, or chiral symmetries is another interesting direction, since it would help identify exotic physical phenomena like anomalous boundary Majorana modes protected by particle-hole symmetries46,103,104,105,106. As our framework focuses on operators, it is interesting to ask whether it is possible to formalize an equivalent state-based formalism63. Similar to the symmetry-representation theories30,31 for static crystals, our classification is not necessarily complete, since two Floquet crystals with equivalent symmetry and quotient winding data might still be topologically distinct, and the obstruction to static limits might still occur for zero DSI (Fig. 1). Thereby, the complete topological classification for static and Floquet crystals is a meaningful future direction. Note added in proof: Recently, we noticed ref. 107, which proposed to classify Floquet topological phases by using dynamical symmetry inversion points.
Methods
Basic definitions
In this part, we list the basic definitions used in this work. Details can be found in Supplementary Note 2.
A Floquet crystal is defined to be a time-evolution operator \(\hat{U}(t)\) equipped with a time period T, a relevant gap choice, and a crystalline symmetry group \({{{{{{{\mathcal{G}}}}}}}}\), which is in short denoted by \(\hat{U}(t)\). In the definition of a Floquet crystal, we have implied that \(\hat{U}(t)\) is unitary and its matrix representation for any bases is continuous. A FGU is defined to be a time-evolution matrix U(k, t) equipped with a time period T, a relevant gap choice, a crystalline symmetry group \({{{{{{{\mathcal{G}}}}}}}}\), and a symmetry representation ug(k), which is in short denoted by U(k, t). Here k is the momentum. In the definition of a FGU, we have implied that U(k, t) and ug(k) are unitary, continuous (smooth for ug(k)), and invariant under the shift of k by reciprocal lattice vectors. By choosing bases for a Floquet crystal, we naturally get a FGU with the same time period, relevant gaps and crystalline symmetry group as the Floquet crystal. FGUs given by the same Floquet crystal with different choices of bases are related by gauge transformations.
Suppose we have two FGUs U(k, t) (with T, relevant gaps, \({{{{{{{\mathcal{G}}}}}}}}\), and ug(k)) and \(U^{\prime} ({{{{{{{\bf{k}}}}}}}},t)\) (with \(T^{\prime}\), relevant gaps, \({{{{{{{\mathcal{G}}}}}}}}\), and \(u^{\prime} ({{{{{{{\bf{k}}}}}}}})\)). The two FGUs U(k, t) and \(U^{\prime} ({{{{{{{\bf{k}}}}}}}},t)\) are defined to be topologically equivalent under the crystalline symmetry group \({{{{{{{\mathcal{G}}}}}}}}\) iff there exists a continuous deformation that connects them, preserves \({{{{{{{\mathcal{G}}}}}}}}\) and preserves all relevant gaps. As long as the crystalline symmetry group \({{{{{{{\mathcal{G}}}}}}}}\) for the topological equivalence is specified, we may refer to "topologically equivalent under \({{{{{{{\mathcal{G}}}}}}}}\)" as "topologically equivalent" in short. Suppose we have two Floquet crystals \(\hat{U}(t)\) (with T, a relevant gap choice, and \({{{{{{{\mathcal{G}}}}}}}}\)) and \(\hat{U}^{\prime} (t)\) (with \(T^{\prime}\), a relevant gap choice, and \({{{{{{{\mathcal{G}}}}}}}}\)). The two Floquet crystals \(\hat{U}(t)\) and \(\hat{U}^{\prime} (t)\) are defined to be topologically equivalent iff there exists a continuous deformation that connects them, preserves \({{{{{{{\mathcal{G}}}}}}}}\) and preserves all relevant gaps. If two Floquet crystals are topologically equivalent, they must have topologically equivalent FGUs for any bases choices. Therefore, the topological distinction among FGUs must infer the topological distinction among the underlying Floquet crystals, and all topological invariants of FGUs can be applied to Floquet crystals. For this reason, we focus on the FGUs in this work.
The defined topological equivalence for FGUs is similar to the definition in Sec. 2 of ref. 68, except the following two differences. First, the definition in this work allows the deformation to deviate from the topologically equivalent FGUs by gauge transformations so that the defined topological equivalence is gauge invariant. Second, the definition in this work allows the symmetry representation and time period to vary along the deformation, and also allows the symmetry representation to depend on momenta. Furthermore, the topological classification based on the definition in this work may be different from the classification in refs. 69,70,71. The topological equivalence defined in this work is immune to any global energy shift, while the same global energy shift may change value of the topological invariant in refs. 69,70,71.
Last but not least, a static limit is a Floquet crystal with static Hamiltonian; a static FGU is a FGU with static matrix Hamiltonian. A Floquet crystal (a FGU) with \({{{{{{{\mathcal{G}}}}}}}}\) is defined to have obstruction to static limits iff it is topologically distinct from all static limits (static FGUs) with \({{{{{{{\mathcal{G}}}}}}}}\).
Return map
The return map for the 1+1D U(k, t) is constructed as follows. We first expand U(k, T) as
where Pk,m(T) is the projection matrix given by the eigenvector of U(k, T) for \({e}^{-{{{{{{{\rm{i}}}}}}}}{{{{{{{{\mathcal{E}}}}}}}}}_{m,k}T}\). With the above expression, the return map reads
where
Here ϵk serves as the branch cut of the logarithm69 by requiring \({{{{{{{\rm{i}}}}}}}}{{{{{{{\mathrm{log}}}}}}}\,}_{{\epsilon }_{k}}(x)\in [{\epsilon }_{k},{\epsilon }_{k}+2\pi )\) for all x ∈ U(1). As we always set the branch cut to be equal to the PBZ lower bound (i.e., ϵ = Φ), we have
For the general situation, we just need to generalize the expression of the return map from the 1 + 1D two-band case to a N-band FGU U(k, t) with T. Specifically, we replace k by k and replace 2 bands by N bands in Eqs. (27)–(29) to get the return map
where
and Pk,m(T) is the projection matrix given by the eigenvector of U(k, T) for \({e}^{-{{{{{{{\rm{i}}}}}}}}{{{{{{{{\mathcal{E}}}}}}}}}_{m,{{{{{{{\bf{k}}}}}}}}}T}\).
Winding data and modulo operation
The winding data of the 1+1D example is mathematically constructed as the follows. The return map commutes with the inversion symmetry representation at k0 = Γ/X
Combined with the representation of inversion symmetry in Eq. (1), the return map at k0 has two blocks with opposite parties
Then we can define the following U(1) winding number for each block
with α = ± again labeling the parity. In particular, the integer-valued nature of \({\nu }_{{k}_{0},\alpha }\) directly comes from time-periodic nature of the return map.
From the winding data V, a modulo operation \(V\ {{{{{{{\rm{mod}}}}}}}}\ \bar{A}\) is required to give the quotient winding data, as shown in Eq. (15). In practice, the modulo operation can be taken for the first nonzero component of \(\bar{A}\) as discussed in the following. Eq. (16) shows that the first nonzero element of \(\bar{A}\) is the its first element \({\bar{A}}_{{{\Gamma }},+}=1\), and then \({V}_{Q}=V+j\bar{A}\) with integer j satisfying
The generalization from the 1+1D example to a generic FGU is discussed in Supplementary Note 3.
General framework
In this part, we briefly introduce the general framework. Details can be found in Supplementary Note 3.
We consider a generic FGU with a generic crystalline symmetry group \({{{{{{{\mathcal{G}}}}}}}}\), and discuss its symmetry data first. The quasi-energy bands of the FGU are separated by relevant gaps into isolated sets of quasi-energy bands, and certain sets may contain more than one bands. Then, the symmetry contents, columns of the symmetry data, are defined for the isolated sets of quasi-energy bands. Each component of a symmetry content is the copy number of the corresponding irrep (like parity in the 1+1D example) of the little group at the corresponding high-symmetry momentum (like the inversion-invariant momentum in the 1+1D example). Nevertheless, the compatibility relation of all symmetry contents can always be expressed in terms of a compatibility matrix \({{{{{{{\mathcal{C}}}}}}}}\) just like Eq. (5), and all the symmetry contents belong to
where \({\mathbb{N}}\) is the set of non-negative integers. Here K is the number of components of each symmetry content (which is 4 for the 1+1D example), and both K and the compatibility matrix \({{{{{{{\mathcal{C}}}}}}}}\) can be determined solely based on \({{{{{{{\mathcal{G}}}}}}}}\). The PBZ-dependence of the symmetry data can still be removed by the equivalence among symmetry data defined in Results, and inequivalent symmetry data still infers topological distinction. Therefore, we can perform a topological classification for FGUs—also for Floquet crystals—solely based on the symmetry data, similar to what we did for static crystals.
Now we discuss the winding data of the generic FGU. The winding data is still a vector that consists of the winding numbers resolved by the high-symmetry momenta and irreps. We demonstrate that we can always choose the same set of high-symmetry momenta and irreps for the winding data and symmetry data, and the winding data always obeys the same compatibility relation as the symmetry content. In addition, if an irrep at certain momentum is missing, the corresponding winding number must be zero, which is an extra constraint imposed on the winding data by the symmetry data. We can always express this extra constraint in terms of a diagonal matrix \({{{{{{{\mathcal{D}}}}}}}}\) as
Then, the winding data takes value from the following group {V}
In the 1 + 1D example (Eq. (4)), all inequivalent irreps appear at all high-symmetry momenta, resulting in \({{{{{{{\mathcal{D}}}}}}}}=0\) and Eq. (12). Similar to the 1 + 1D example, a generic FGU also has an infinite number of winding data, given by varying PBZ.
To solve the infinity issue, we construct the quotient winding data. For the generic FGU, the quotient winding data is still defined as Eq. (15), but \(\bar{A}\) needs to be chosen carefully as discussed below. In the 1+1D example, \(\bar{A}\) is the sum of all columns of the symmetry data just because all PBZ shifts that keep the symmetry data are (or are equivalent to) the 2πn-shifts of the PBZ. For the generic FGU with in total L isolated sets of quasi-energy bands, 2π-shift of the PBZ is equivalent to shifting the PBZ lower bound through L isolated sets, which certainly leaves the symmetry data invariant. Nevertheless, in certain cases, the symmetry data is kept invariant even if we shift the PBZ lower bound through \(0 \, < \, \widetilde{L} \, < \, L\) isolated sets, and then we should choose \(\bar{A}=\mathop{\sum }\nolimits_{l = 1}^{{L}_{KSD}}{A}_{l}\) for the construction of the quotient winding data, where LKSD is the smallest \(\widetilde{L}\) and Al’s are columns of the symmetry data. After choosing proper \(\bar{A}\), the equivalence between quotient winding data defined in Results still holds in the general framework.
Now let us turn to the DSI for the generic FGU. As mentioned in Results, we need to use Hilbert bases, which will be discussed with more details below. As shown in Eq. (37), the symmetry contents compatible with \({{{{{{{\mathcal{G}}}}}}}}\) always take value from the set {BS}. Mathematically speaking, {BS} is a monoid rather than a group, since the components of a symmetry content are always non-negative, preventing nonzero elements in {BS} from having inverse. We call a nonzero element in {BS} irreducible99 if it cannot be expressed as the sum of any two other elements in {BS}; otherwise, it is called reducible. In particular, the irreducible symmetry contents form a unique set of bases of {BS}27,99, called the Hilbert bases, which we label as ai with i = 1, 2, . . . , I.
As discussed in Results, the symmetry data can be classified as irreducible or reducible. We first discuss the DSI set for generic FGUs with irreducible symmetry data. When the symmetry data is irreducible (like the 1+1D example), the symmetry data is spanned by a unique set of Hilbert bases {aj} with j taking J different values in {1, 2, . . . , I}. In this case, the static winding data set {VSL} for constructing the DSI set \({{{{{{{\mathcal{X}}}}}}}}\) simply reads
From {aj}, we can also determine the K (as the number of components of aj) and \({{{{{{{\mathcal{D}}}}}}}}\) (as shown in Supplementary Note 3) in Eq. (39). Then, combined with compatibility matrix \({{{{{{{\mathcal{C}}}}}}}}\), \({{{{{{{\mathcal{X}}}}}}}}\) can be directly derived based on Eq. (39) and the first equality in Eq. (21), meaning that \({{{{{{{\mathcal{X}}}}}}}}\) is uniquely determined by {aj} and \({{{{{{{\mathcal{C}}}}}}}}\). In particular, if two FGUs have the same \({{{{{{{\mathcal{G}}}}}}}}\) and have irreducible symmetry data that involve the same set of Hilbert bases, they have the same \({{{{{{{\mathcal{X}}}}}}}}\), no matter whether the two FGUs have equivalent symmetry data. As mentioned in Results, this simplification allows us to enumerate all possible DSI sets for irreducible symmetry data by considering all 2I − 1 nontrivial combinations of Hilbert bases of a given crystalline symmetry group \({{{{{{{\mathcal{G}}}}}}}}\).
When the symmetry data is reducible, then it is possible that more than one sets of Hilbert bases can span the symmetry data. Nevertheless, the DSI set in this case can be constructed from the tensor product of the DSI sets for irreducible symmetry data. Therefore, the DSI sets for irreducible symmetry data serve as the elementary building blocks for all DSI sets.
Data availability
The datasets generated during and/or analyzed during the current study are available from the corresponding author on reasonable request.
Code availability
The Mathematica and SageMath code generated during and/or analyzed for the current study are available from the corresponding author on reasonable request.
References
Hasan, M. Z. & Kane, C. L. Colloquium: topological insulators. Rev. Mod. Phys. 82, 3045 (2010).
Qi, X.-L. & Zhang, S.-C. Topological insulators and superconductors. Rev. Mod. Phys. 83, 1057 (2011).
Schnyder, A. P., Ryu, S., Furusaki, A. & Ludwig, A. W. Classification of topological insulators and superconductors in three spatial dimensions. Phys. Rev. B 78, 195125 (2008).
Kitaev, A. Periodic table for topological insulators and superconductors. AIP Conf. Proc. 1134, 22 (2009).
Teo, J. C. Y. & Kane, C. L. Topological defects and gapless modes in insulators and superconductors. Phys. Rev. B 82, 115120 (2010).
Ryu, S., Schnyder, A. P., Furusaki, A. & Ludwig, A. W. W. Topological insulators and superconductors: tenfold way and dimensional hierarchy. N. J. Phys. 12, 065010 (2010).
Chiu, C.-K., Teo, J. C. Y., Schnyder, A. P. & Ryu, S. Classification of topological quantum matter with symmetries. Rev. Mod. Phys. 88, 035005 (2016).
Fu, L. Topological crystalline insulators. Phys. Rev. Lett. 106, 106802 (2011).
Shiozaki, K. & Sato, M. Topology of crystalline insulators and superconductors. Phys. Rev. B 90, 165114 (2014).
Chiu, C.-K., Yao, H. & Ryu, S. Classification of topological insulators and superconductors in the presence of reflection symmetry. Phys. Rev. B 88, 075142 (2013).
Hughes, T. L., Prodan, E. & Bernevig, B. A. Inversion-symmetric topological insulators. Phys. Rev. B 83, 245132 (2011).
Turner, A. M., Zhang, Y. & Vishwanath, A. Entanglement and inversion symmetry in topological insulators. Phys. Rev. B 82, 241102 (2010).
Liu, C.-X., Zhang, R.-X. & VanLeeuwen, B. K. Topological nonsymmorphic crystalline insulators. Phys. Rev. B 90, 085304 (2014).
Fang, C. & Fu, L. New classes of three-dimensional topological crystalline insulators: nonsymmorphic and magnetic. Phys. Rev. B 91, 161105 (2015).
Zhang, R.-X. & Liu, C.-X. Topological magnetic crystalline insulators and corepresentation theory. Phys. Rev. B 91, 115317 (2015).
Benalcazar, W. A., Bernevig, B. A. & Hughes, T. L. Quantized electric multipole insulators. Science 357, 61 (2017a).
Benalcazar, W. A., Bernevig, B. A. & Hughes, T. L. Electric multipole moments, topological multipole moment pumping, and chiral hinge states in crystalline insulators. Phys. Rev. B 96, 245115 (2017b).
Schindler, F. et al. Higher-order topological insulators. Sci. Adv. 4, https://doi.org/10.1126/sciadv.aat0346 (2018).
Langbehn, J., Peng, Y., Trifunovic, L., von Oppen, F. & Brouwer, P. W. Reflection-symmetric second-order topological insulators and superconductors. Phys. Rev. Lett. 119, 246401 (2017).
Song, Z., Fang, Z. & Fang, C. (d − 2)-dimensional edge states of rotation symmetry protected topological states. Phys. Rev. Lett. 119, 246402 (2017).
Fang, C. & Fu, L., New classes of topological crystalline insulators having surface rotation anomaly. Sci. Adv. 5, https://doi.org/10.1126/sciadv.aat2374 (2019).
Po, H. C., Watanabe, H. & Vishwanath, A. Fragile topology and wannier obstructions. Phys. Rev. Lett. 121, 126402 (2018).
Cano, J. et al. Topology of disconnected elementary band representations. Phys. Rev. Lett. 120, 266401 (2018).
Bradlyn, B., Wang, Z., Cano, J. & Bernevig, B. A. Disconnected elementary band representations, fragile topology, and wilson loops as topological indices: An example on the triangular lattice. Phys. Rev. B 99, 045140 (2019).
Bouhon, A., Black-Schaffer, A. M. & Slager, R.-J. Wilson loop approach to fragile topology of split elementary band representations and topological crystalline insulators with time-reversal symmetry. Phys. Rev. B 100, 195135 (2019).
Ahn, J., Park, S. & Yang, B.-J. Failure of nielsen-ninomiya theorem and fragile topology in two-dimensional systems with space-time inversion symmetry: application to twisted bilayer graphene at magic angle. Phys. Rev. X 9, 021013 (2019).
Song, Z.-D., Elcoro, L., Xu, Y.-F., Regnault, N. & Bernevig, B. A. Fragile phases as affine monoids: classification and material examples. Phys. Rev. X 10, 031001 (2020).
Alexandradinata, A., Höller, J., Wang, C., Cheng, H. & Lu, L. Crystallographic splitting theorem for band representations and fragile topological photonic crystals. Phys. Rev. B 102, 115117 (2020).
Zhang, R.-X., Wu, F. & Das Sarma, S. Möbius insulator and higher-order topology in mnbi2nte3n+1. Phys. Rev. Lett. 124, 136407 (2020).
Bradlyn, B. et al. Topological quantum chemistry. Nature 547, 298 (2017).
Po, H. C., Vishwanath, A. & Watanabe, H. Symmetry-based indicators of band topology in the 230 space groups. Nat. Commun. 8, 50 (2017a).
Kruthoff, J., de Boer, J., van Wezel, J., Kane, C. L. & Slager, R.-J. Topological classification of crystalline insulators through band structure combinatorics. Phys. Rev. X 7, 041069 (2017).
Vergniory, M. G. et al. A complete catalogue of high-quality topological materials. Nature 566, 480 (2019).
Zhang, T. et al. Catalogue of topological electronic materials. Nature 566, 475 (2019).
Tang, F., Po, H. C., Vishwanath, A. & Wan, X. Comprehensive search for topological materials using symmetry indicators. Nature 566, 486 (2019).
Xu, Y. et al. High-throughput calculations of magnetic topological materials. Nature 586, 702–707 (2020).
Turner, A. M., Zhang, Y., Mong, R. S. K. & Vishwanath, A. Quantized response and topology of magnetic insulators with inversion symmetry. Phys. Rev. B 85, 165120 (2012).
Song, Z., Zhang, T. & Fang, C. Diagnosis for nonmagnetic topological semimetals in the absence of spin-orbital coupling. Phys. Rev. X 8, 031069 (2018).
Po, H. C. Symmetry indicators of band topology. J. Phys. Condens. Matter 32, 263001 (2020).
Elcoro, L. et al. Magnetic topological quantum chemistry. Preprint at https://arxiv.org/abs/2010.00598 (2020).
Sadler, L. E., Higbie, J. M., Leslie, S. R., Vengalattore, M. & Stamper-Kurn, D. M. Spontaneous symmetry breaking in a quenched ferromagnetic spinor bose–einstein condensate. Nature 443, 312 (2006).
Oka, T. & Aoki, H. Photovoltaic hall effect in graphene. Phys. Rev. B 79, 081406 (2009).
Inoue, J.-i & Tanaka, A. Photoinduced transition between conventional and topological insulators in two-dimensional electronic systems. Phys. Rev. Lett. 105, 017401 (2010).
Kitagawa, T., Berg, E., Rudner, M. & Demler, E. Topological characterization of periodically driven quantum systems. Phys. Rev. B 82, 235114 (2010).
Lindner, N. H., Refael, G. & Galitski, V. Floquet topological insulator in semiconductor quantum wells. Nat. Phys. 7, 490 (2011).
Jiang, L. et al. Majorana fermions in equilibrium and in driven cold-atom quantum wires. Phys. Rev. Lett. 106, 220402 (2011).
Kitagawa, T., Oka, T., Brataas, A., Fu, L. & Demler, E. Transport properties of nonequilibrium systems under the application of light: Photoinduced quantum hall insulators without landau levels. Phys. Rev. B 84, 235108 (2011).
Dóra, B., Cayssol, J., Simon, F. & Moessner, R. Optically engineering the topological properties of a spin hall insulator. Phys. Rev. Lett. 108, 056602 (2012).
Thakurathi, M., Patel, A. A., Sen, D. & Dutta, A. Floquet generation of majorana end modes and topological invariants. Phys. Rev. B 88, 155133 (2013).
Wang, Y. H., Steinberg, H., Jarillo-Herrero, P. & Gedik, N. Observation of floquet-bloch states on the surface of a topological insulator. Science 342, 453 (2013).
Cayssol, J., Dóra, B., Simon, F. & Moessner, R. Floquet topological insulators. Phys. Status Solidi 7, 101 (2013).
Rechtsman, M. C. et al. Photonic floquet topological insulators. Nature 496, 196 (2013).
Zhou, Z., Satija, I. I. & Zhao, E. Floquet edge states in a harmonically driven integer quantum hall system. Phys. Rev. B 90, 205108 (2014).
Lababidi, M., Satija, I. I. & Zhao, E. Counter-propagating edge modes and topological phases of a kicked quantum hall system. Phys. Rev. Lett. 112, 026805 (2014).
von Keyserlingk, C. W. & Sondhi, S. L. Phase structure of one-dimensional interacting floquet systems. i. abelian symmetry-protected topological phases. Phys. Rev. B 93, 245145 (2016).
Else, D. V. & Nayak, C. Classification of topological phases in periodically driven interacting systems. Phys. Rev. B 93, 201103 (2016).
Zhao, E. Anatomy of a periodically driven p-wave superconductor. Z. f.ür. Naturforsch. A 71, 883 (2016).
Potirniche, I.-D., Potter, A. C., Schleier-Smith, M., Vishwanath, A. & Yao, N. Y. Floquet symmetry-protected topological phases in cold-atom systems. Phys. Rev. Lett. 119, 123601 (2017).
Eckardt, A. Colloquium: Atomic quantum gases in periodically driven optical lattices. Rev. Mod. Phys. 89, 011004 (2017).
Tarnowski, M. et al. Measuring topology from dynamics by obtaining the chern number from a linking number. Nat. Commun. 10, 1728 (2019).
Oka, T. & Kitamura, S. Floquet engineering of quantum materials. Annu. Rev. Condens. Matter Phys. 10, 387 (2019).
Rudner, M. S. & Lindner, N. H. Band structure engineering and non-equilibrium dynamics in floquet topological insulators. Nat. Rev. Phys. 2, 229 (2020).
Nakagawa, M., Slager, R.-J., Higashikawa, S. & Oka, T. Wannier representation of floquet topological states. Phys. Rev. B 101, 075108 (2020).
Rudner, M. S., Lindner, N. H., Berg, E. & Levin, M. Anomalous edge states and the bulk-edge correspondence for periodically driven two-dimensional systems. Phys. Rev. X 3, 031005 (2013).
Peng, Y.-G. et al. Experimental demonstration of anomalous floquet topological insulator for sound. Nat. Commun. 7, 13368 (2016).
Maczewsky, L. J., Zeuner, J. M., Nolte, S. & Szameit, A. Observation of photonic anomalous floquet topological insulators. Nat. Commun. 8, 13756 (2017).
Mukherjee, S. et al. Experimental observation of anomalous topological edge modes in a slowly driven photonic lattice. Nat. Commun. 8, 13918 (2017).
Nathan, F. & Rudner, M. S. Topological singularities and the general classification of floquet–bloch systems. N. J. Phys. 17, 125014 (2015).
Fruchart, M. Complex classes of periodically driven topological lattice systems. Phys. Rev. B 93, 115429 (2016).
Roy, R. & Harper, F. Periodic table for floquet topological insulators. Phys. Rev. B 96, 155118 (2017).
Yao, S., Yan, Z. & Wang, Z. Topological invariants of floquet systems: General formulation, special properties, and floquet topological defects. Phys. Rev. B 96, 195303 (2017).
Wintersperger, K. et al. Realization of an anomalous floquet topological system with ultracold atoms. Nat. Phys. 16, 1058 (2020).
Morimoto, T., Po, H. C. & Vishwanath, A. Floquet topological phases protected by time glide symmetry. Phys. Rev. B 95, 195155 (2017).
Xu, S. & Wu, C. Space-time crystal and space-time group. Phys. Rev. Lett. 120, 096401 (2018).
Franca, S., van den Brink, J. & Fulga, I. C. An anomalous higher-order topological insulator. Phys. Rev. B 98, 201114 (2018).
Rodriguez-Vega, M., Kumar, A. & Seradjeh, B. Higher-order floquet topological phases with corner and bulk bound states. Phys. Rev. B 100, 085138 (2019).
Peng, Y. & Refael, G. Floquet second-order topological insulators from nonsymmorphic space-time symmetries. Phys. Rev. Lett. 123, 016806 (2019).
Ladovrechis, K. & Fulga, I. C. Anomalous floquet topological crystalline insulators. Phys. Rev. B 99, 195426 (2019).
Seshadri, R., Dutta, A. & Sen, D. Generating a second-order topological insulator with multiple corner states by periodic driving. Phys. Rev. B 100, 115403 (2019).
Plekhanov, K., Thakurathi, M., Loss, D. & Klinovaja, J. Floquet second-order topological superconductor driven via ferromagnetic resonance. Phys. Rev. Res. 1, 032013 (2019).
Nag, T., Juričić, V. & Roy, B. Out of equilibrium higher-order topological insulator: Floquet engineering and quench dynamics. Phys. Rev. Res. 1, 032045 (2019).
Bomantara, R. W., Zhou, L., Pan, J. & Gong, J. Coupled-wire construction of static and floquet second-order topological insulators. Phys. Rev. B 99, 045441 (2019).
Chaudhary, S. et al. Phonon-induced Floquet topological phases protected by space-time symmetries. Phys. Rev. Research 2, 043431 (2020).
Ghosh, A. K., Paul, G. C. & Saha, A. Higher order topological insulator via periodic driving. Phys. Rev. B 101, 235403 (2020a).
Hu, H., Huang, B., Zhao, E. & Liu, W. V. Dynamical singularities of floquet higher-order topological insulators. Phys. Rev. Lett. 124, 057001 (2020).
Huang, B. & Liu, W. V. Floquet higher-order topological insulators with anomalous dynamical polarization. Phys. Rev. Lett. 124, 216601 (2020).
Bomantara, R. W. & Gong, J. Measurement-only quantum computation with floquet majorana corner modes. Phys. Rev. B 101, 085401 (2020).
Peng, Y. Floquet higher-order topological insulators and superconductors with space-time symmetries. Phys. Rev. Res. 2, 013124 (2020).
Bomantara, R. W. Time-induced second-order topological superconductors. Phys. Rev. Res. 2, 33495 (2020).
Nag, T., Juričić, V. & Roy, B. Hierarchy of higher-order Floquet topological phases in three dimensions. Phys. Rev. B 103, 115308 (2021).
Ghosh, A. K., Nag, T. & Saha, A. Floquet generation of a second-order topological superconductor. Phys. Rev. B 103, 045424 (2021).
Zhang, R.-X. & Yang, Z.-C. Tunable fragile topology in floquet systems. Phys. Rev. B 103, L121115 (2021).
Zhu, W., Chong, Y. D. & Gong, J. Floquet higher-order topological insulator in a periodically driven bipartite lattice. Phys. Rev. B103, L041402 (2021).
Zhang, R.-X. & Yang, Z.-C. Theory of anomalous floquet higher-order topology: Classification, characterization, and bulk-boundary correspondence. Preprint at https://arxiv.org/abs/2010.07945 (2020).
Chen, H. & Liu, W. V. Intertwined space-time symmetry, orbital magnetism, and dynamical Berry connection in a circularly shaken optical lattice. Phys. Rev. A 104, 013308 (2021).
Zhu, W., Xue, H., Gong, J., Chong, Y. & Zhang, B. Time-periodic corner states from floquet higher-order topology. Preprint at https://arxiv.org/abs/2012.08847 (2020).
Nag, T., Juričić, V. & Roy, B. Hierarchy of higher-order floquet topological phases in three dimensions. Phys. Rev. B 103, 115308 (2021).
Soluyanov, A. A. & Vanderbilt, D. Wannier representation of \({{\mathbb{z}}}_{2}\) topological insulators. Phys. Rev. B 83, 035108 (2011).
Bruns, W. & Gubeladze, J. Polytopes, rings, and K-theory (Springer, 2009).
Varnava, N. & Vanderbilt, D. Surfaces of axion insulators. Phys. Rev. B 98, 245117 (2018).
Shiozaki, K., Sato, M. & Gomi, K. Atiyah-hirzebruch spectral sequence in band topology: General formalism and topological invariants for 230 space groups. Preprint at https://arxiv.org/abs/1802.06694 (2018).
Yu, J. & Das Sarma, S. Dynamical fragile topology in floquet crystals. Preprint at https://arxiv.org/abs/2103.12107 (2021).
Po, H. C., Fidkowski, L., Vishwanath, A. & Potter, A. C. Radical chiral floquet phases in a periodically driven kitaev model and beyond. Phys. Rev. B 96, 245116 (2017b).
Peng, C. et al. Floquet Majorana bound states in voltage-biased planar Josephson junctions. Phys. Rev. Research 3, 023108 (2021).
Zhang, R.-X. & Das Sarma, S. Anomalous floquet chiral topological superconductivity in a topological insulator sandwich structure. Phys. Rev. Lett. 127, 067001 (2021).
Vu, D., Zhang, R.-X., Yang, Z.-C. & Das Sarma, S. Superconductors with anomalous floquet higher-order topology. Preprint at https://arxiv.org/abs/2103.12758 (2021).
Zhu, W., Chong, Y. D. & Gong, J. Symmetry analysis of anomalous floquet topological phases. Phys. Rev. B 104, L020302 (2021).
Acknowledgements
We thank Yu-An Chen, Yang Ge, Biao Huang, Biao Lian, Xiao-Qi Sun, Jian-Xiao Zhang, Junyi Zhang, and in particular Sankar Das Sarma and Zhi-Cheng Yang for helpful discussions. J.Y. and R.-X.Z. are supported by the Laboratory for Physical Sciences. J.Y. acknowledges the UMD Libraries’ Open Access Publishing Fund. R.-X.Z. acknowledges a JQI postdoctoral fellowship. Z.-D.S. is supported by the DOE Grant No. DE-SC0016239.
Author information
Authors and Affiliations
Contributions
J.Y. conceived the project. J.Y. performed the theoretical analysis with the input from R.-X.Z. and Z.-D.S. J.Y., R.-X.Z. and Z.-D.S. wrote the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Peer review information Nature Communications thanks the anonymous reviewer(s) for their contribution to the peer review of this work. Peer reviewer reports are available.
Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Yu, J., Zhang, RX. & Song, ZD. Dynamical symmetry indicators for Floquet crystals. Nat Commun 12, 5985 (2021). https://doi.org/10.1038/s41467-021-26092-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41467-021-26092-3
- Springer Nature Limited
This article is cited by
-
Spectral observation of symmetry-protected selection rules for dynamical high-dimensional parity in alignment magnetic resonance
Science China Physics, Mechanics & Astronomy (2024)
-
Projective spacetime symmetry of spacetime crystals
Communications Physics (2023)
-
Topological invariants for anomalous Floquet higher-order topological insulators
Frontiers of Physics (2023)