This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Detecting Bulk Topology of Quadrupolar Phase from Quench Dynamics

Tomonari Mizoguchi Department of Physics, University of Tsukuba, Tsukuba, Ibaraki 305-8571, Japan [email protected]    Yoshihito Kuno Department of Physics, University of Tsukuba, Tsukuba, Ibaraki 305-8571, Japan    Yasuhiro Hatsugai Department of Physics, University of Tsukuba, Tsukuba, Ibaraki 305-8571, Japan
Abstract

Direct measurement of a bulk topological observable in topological phase of matter has been a long-standing issue. Recently, detection of bulk topology through quench dynamics has attracted growing interests. Here, we propose that topological characters of a quantum quadrupole insulator can be read out by quench dynamics. Specifically, we introduce a quantity, a quadrupole moment weighted by the eigenvalues of the chiral operator, which takes zero for the trivial phase and finite for the quadrupolar topological phase. By utilizing an efficient numerical method to track the unitary time evolution, we elucidate that the quantity we propose indeed serves as an indicator of topological character for both noninteracting and interacting cases. The robustness against disorders is also demonstrated.

Introduction.— Understanding topological aspects of quantum matters has been one of the central issues in modern condensed matter physics [1, 2]. Discovery of topological insulators (TIs) [3, 4, 5, 6, 7] is highlighted as one of the most prominent steps that makes the roles of topology manifest. Specifically, it was found that topological natures of Bloch electrons characterized by topological invariants result in boundary modes robust against perturbations [8]. This relation between bulk topology and boundary modes is called bulk-boundary correspondence (BBC), and it has served as a central notion in studies on topological materials [9, 10].

BBC also ties topologically protected boundary modes with quantized responses to external fields, which is another characteristic of TIs. A representative example is the quantum Hall effect where the number of edge modes corresponds to the Hall conductance [8, 9, 10]. Another example is the quantization of an electric dipole moment attributed to the quantized Berry’s phase of Bloch electrons in one dimension [11, 12, 13, 14, 15, 16, 17, 18, 19, 20]. From the viewpoint of BBC, this is attributed to the boundary states localized at the ends of one-dimensional systems. Recently, this topological viewpoint of an electric dipole is further extended [21, 22] to higher-rank multipole moments [23, 24, 25, 26, 27, 28] (e.g., quadrupole and octapole) in two or higher dimensions, that are attributed to the boundary states localized at the corners. Such a topological phase of matter hosting boundary modes with codimension greater than one is nowadays established as a higher-order topological phase, and large amount of theoretical [29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47] and experimental [48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61] efforts have been devoted to understanding and realizing this phase.

Refer to caption
Figure 1: Schematics of the BBH model. The unit cell is indicated by a yellow shade, and green circles schematically represent the initial positions of the two particles. Note that π\pi flux threads each square plaquette.

It had been a common belief that topological invariants themselves are not observed from featureless gapped ground states, but characteristic boundary modes enable us to observe them. However, recently, an approach to directly access bulk topological natures was proposed, that is, dynamical aspects of topological phases [62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81]. Such attempts are essential because they are beyond the aforementioned common belief on topological phases. In the literature, the semiclassical approach of wave-packet dynamics has successfully illustrated the role of Berry curvature in transport phenomena [62, 63]. Another direction, on which we focus in this Letter, is considering quench dynamics from completely localized initial states. At single-particle level, i.e., without the Fermi sea of the filled bands, the information of Bloch bands in an entire Brillouin zone can be embedded by setting a spatially localized initial state; this is attributed to the fact that the localized states can be expressed as a linear combination of all the states in the Fourier space. As such, topological invariants can be extracted from the time-dependent quantities. For instance, for chiral-symmetric one-dimensional systems, the quantity called the mean chiral displacement (MCD), which is the polarization weighted by the eigenvalue of the chiral operator, successfully extracts the topological winding number of the system, and thus distinguishes the topological states from the trivial states [68, 69, 70, 80]. Moreover, measurements of such quantities are experimentally feasible in various setups, e.g., discrete quantum walk in a photonic system based on the orbital angular momentum of a light beam [68].

Considering the findings listed above, one is naturally tempted to ask the following questions: (i) Can we apply the measurement of topological invariants through dynamics to higher-order topological (or quadrupolar) phases? (ii) If so, can it be also applicable to interacting systems and/or disordered ones? In this Letter, to address these issues, we investigate two-particle dynamics of the interacting Benalcazar-Bernevig-Hughes (BBH) model [23, 24]. We heuristically find a quantity whose long time average can characterize the topology. This quantity is a modified bulk quadrupole moment, which is reminiscent of the MCD in one-dimensional systems. Therefore, this quantity is also experimentally measurable. By using a numerically efficient algorithm of tracing the unitary time evolution of the two-particle wave function (one may increase the number of particles in principle), we elucidate that the quantity introduced here characterizes the topological nature of the BBH model, for both noninteracting and interacting cases. Furthermore, the characteristic behavior of this quantity is robust against moderate strength of disorders, indicating the feasibility of experimental measurements in realistic setups that are not completely clean.

Hereafter, we set =1\hbar=1.

Model and method.— We consider the model proposed in Refs. [23, 24], incorporating an interaction and a disorder. The Hamiltonian reads H=H0+Hint+HrandH=H_{0}+H_{\rm int}+H_{\rm rand}, where H0=i,jti,jaiaj+(H.c.)H_{0}=\sum_{\langle i,j\rangle}t_{i,j}a^{\dagger}_{i}a_{j}+(\mathrm{H.c.}), Hint=Vi,jninjH_{\rm int}=V\sum_{\langle i,j\rangle}n_{i}n_{j}, and Hrand=iwiniH_{\rm rand}=\sum_{i}w_{i}n_{i}. Here aa and aa^{\dagger} denote, respectively, the annihilation and creation operators of spinless fermions, and ii denotes the sites on a square lattice specified by a pair of indices 𝒓\bm{r} and α=1,2,3,4\alpha=1,2,3,4, where 𝒓=(rx,ry)\bm{r}=(r_{x},r_{y}) is the position of the unit cell, and α\alpha labels the sublattice (Fig. 1). ni:=aiain_{i}:=a^{\dagger}_{i}a_{i} is the density operator. The symbol ,\langle,\rangle represents the nearest-neighbor pairs of sites. The transfer integral ti,jt_{i,j} is indicated in Fig. 1; there are two parameters, tat_{a} and tbt_{b}. We note that H0H_{0} preserves the chiral symmetry, such that Γ^H0Γ^=H0\hat{\Gamma}H_{0}\hat{\Gamma}=-H_{0} with Γ^=eiπ𝒓(n𝒓,2+n𝒓,4)\hat{\Gamma}=e^{i\pi\sum_{\bm{r}}\left(n_{\bm{r},2}+n_{\bm{r},4}\right)}. In addition to H0H_{0}, we consider two terms HintH_{\rm int} and HrandH_{\rm rand}. Here, VV denotes the strength of the intersite interaction and wiw_{i} is the strength of the disorder potential, chosen randomly in [W2,W2]\left[-\frac{W}{2},\frac{W}{2}\right].

The topological properties of the hopping term H0H_{0} has been well investigated in the literature. For |ta||tb||t_{a}|\neq|t_{b}|, the system is gapped at the half-filling. The half-filled ground state is topologically trivial (nontrivial) when |ta|>|tb||t_{a}|>|t_{b}| (|ta|<|tb||t_{a}|<|t_{b}|). The topological nature can be captured by topological invariants such as the nested Wilson loop [23, 24], the quadrupole moment [25, 26, 27], the entanglement-related quantities [36, 82, 47], and the Berry phase [45]. Furthermore, nontrivial topology results in the emergence of the corner states, which is characteristics of the higher-order topological phases. The aim of this study is to extract the topological nature without relying on the corner states.

The quench dynamics of the system can be dictated by the unitary time evolution of the many-body wave function, |Ψ(t)=eiHt|Ψ(0)\ket{\Psi(t)}=e^{-iHt}\ket{\Psi(0)}. To obtain |Ψ(t)\ket{\Psi(t)} numerically, we approximate eiHte^{-iHt} as follows. First, we discretize the time as tl=lΔτt_{l}=l\Delta\tau, with Δτ\Delta\tau being small time step (compared with the hopping parameters); we set Δτ=0.01\Delta\tau=0.01 in the present work. Then, we have eiHtl(eiHΔτ)le^{-iHt_{l}}\sim\left(e^{-iH\Delta\tau}\right)^{l}. The remaining task is to approximate eiHΔτe^{-iH\Delta\tau}. To this end, we employ the fourth-order Suzuki-Trotter decomposition [83, 84], namely, eiΔτH=S(ipΔτ)S(i(12p)Δτ)S(ipΔτ)e^{-i\Delta\tau H}=S(-ip\Delta\tau)S(-i(1-2p)\Delta\tau)S(-ip\Delta\tau), where p:=(221/3)1p:=\left(2-2^{1/3}\right)^{-1} and S(x)=exH12exHq12exHqexHq12exH12.S(x)=e^{x\frac{H_{1}}{2}}\cdots e^{x\frac{H_{q-1}}{2}}e^{xH_{q}}e^{x\frac{H_{q-1}}{2}}\cdots e^{x\frac{H_{1}}{2}}. Note that, in defining S(x)S(x), we divide the Hamiltonian HH into qq pieces, H=H1++HqH=H_{1}+\cdots+H_{q}, which do not necessarily commute each other. Here, we set q=5q=5, and we show the explicit forms of H1H_{1}-H5H_{5} in Supplemental Material [85]. The Suzuki-Trotter decomposition of eiHte^{-iHt} largely reduces computational costs. Hence, we can access long time dynamics with relatively large system size in short computational time, compared with other methods such as exact diagonalization.

Refer to caption
Figure 2: Schematic figures of two decoupled limits. The panel (a) corresponds to tb=0t_{b}=0, i.e., the topologically trivial case, and (b) corresponds to ta=0t_{a}=0, i.e., the topologically nontrivial case.
Refer to caption
Figure 3: The MCQM for the clean system (i.e., W=0W=0) with (a) ta=0.3t_{a}=-0.3, tb=1.0t_{b}=-1.0 and (b) ta=1.0t_{a}=-1.0, tb=0.3t_{b}=-0.3. (c) The time-averaged MCQM, 𝒞¯q\bar{\mathcal{C}}_{\rm q}, as a function of |ta|/|tb||t_{a}|/|t_{b}|. The average is taken over t[0,50]t\in[0,50], and the parameters in the actual simulations are set such that max{|ta|,|tb|}=1\{|t_{a}|,|t_{b}|\}=1.

Mean chiral quadrupole moment.— The main proposal of this Letter is the introduction of a quantity characterizing the topological nature of the quadrupolar phase, which may be termed the mean chiral quadrupole moment (MCQM):

𝒞q(t)=Ψ(t)|𝒬|Ψ(t),\displaystyle\mathcal{C}_{\rm q}(t)=\bra{\Psi(t)}\mathcal{Q}\ket{\Psi(t)}, (1)

where

𝒬=𝒓,αrxryΓαn𝒓,α.\displaystyle\mathcal{Q}=\sum_{\bm{r},\alpha}r_{x}r_{y}\Gamma_{\alpha}n_{\bm{r},\alpha}. (2)

Here Γα\Gamma_{\alpha} is the eigenvalue of the chiral operator; it takes 11 for α=1,3\alpha=1,3 and 1-1 for 2,42,4. Note that, to make the MCQM well defined, we have to fix the labeling of the unit cells and sublattices in the beginning, since this quantity depends on the choice of the frame. Except for Γα\Gamma_{\alpha}, 𝒬\mathcal{Q} follows the conventional definition of the quadrupole operator under the open boundary condition [23, 24, 25, 26, 27, 28]. This quantity can be regarded as an extension of the MCD which dictates the winding number of one-dimensional TIs in classes AIII and BDI in the topological classification, having even number of bands [68, 69, 70, 80]. Note that, in actual experiments, all we need to measure is the site-resolved particle density. This guarantees accessibility of this quantity if spatial resolution of experimental setup is sufficiently fine. It is also noteworthy that this quantity is sensitive to the choice of the initial state. In the present study, we choose the initial state such that two particles are localized at two diagonal sites on the inter-unit-cell plaquette located at the middle of the system, as schematically depicted as green circles in Fig. 1. In Supplemental Material, we show the numerical data for a different choice of initial state, namely, two particles are localized at two diagonal sites on the intra-unit-cell plaquette, where we see that the failure of the distinction between topological and trivial cases.

How does the MCQM extract the topological nature of the quadrupole insulators? To see this, we present an intuitive understanding of the implication of the MCQM, namely, the argument of the decoupled four-site cluster limit. In the prior works [86, 87, 21, 45, 43, 88], it was found that this argument is essential for understanding the ground-state properties of the insulating state, since the ground state is adiabatically connected to this limit and topological properties of gapped ground states are unchanged under the change of model parameters unless the excitation gap is closed. Regarding the dynamical properties, for which the information of all the eigenstates matters, the notion of adiabatic connection does not hold straightforwardly, but it still gives a useful insight. In fact, such an argument works in one-dimensional systems as well [85].

For the decoupled limits, the particles are confined in the plaquette on which the particle is initially located, thus unitary time evolution can exactly be tracked by solving the four-site problem. Thus, in these limits, the exact form of 𝒞q(t)\mathcal{C}_{q}(t) is accessible. For the details of the calculations, see Supplemental Material [85]. For the present choice of the initial state, we find that, for the trivial limit, i.e., tb=0t_{b}=0 [Fig. 2(a)], one has

𝒞¯q=0,\displaystyle\bar{\mathcal{C}}_{\rm q}=0, (3)

where 𝒞¯q\bar{\mathcal{C}}_{\rm q} stands for the long time average of 𝒞q(t)\mathcal{C}_{q}(t). Meanwhile, for the nontrivial limit i.e., ta=0t_{a}=0 [Fig. 2(b)], one has

𝒞¯q=12.\displaystyle\bar{\mathcal{C}}_{\rm q}=\frac{1}{2}. (4)

Equation (4) indicates that nonvanishing value of 𝒞¯q\bar{\mathcal{C}}_{\rm q} under the proper choice of the initial state reflects the presence of the nontrivial topology in the bulk. It should be noted that the difference between the trivial limit and the the nontrivial limit is whether the plaquettes with finite hoppings are intra-unit-cell ones or an inter-unit-cell ones. In fact, even away from the limiting cases, assigning larger hoppings on inter-unit-cell plaquettes than the intra-unit-cell ones is essential to obtain the finite value of 𝒞¯q\bar{\mathcal{C}}_{\rm q}, as we will show later.

We briefly remark the role of Γα\Gamma_{\alpha}. In fact, the similar factor is included in the MCD for one-dimensional systems [69, 70]. In that case, its role is to make the contributions from the negative-energy bands and those from the positive-energy bands additive; otherwise they cancel each other. This fact also implies that the MCD is adaptable to chiral symmetric systems with an even number of topological bands. In fact, Γα\Gamma_{\alpha} in the MCQM is incorporated in the same spirit, but in a rather heuristic manner. Nevertheless, it is indeed essential so that the MCQM serves as a topological marker, as clarified in the decoupled cluster argument [85]. Moreover, the topological characterization is valid even in the presence of the chiral-symmetry-breaking term, HrandH_{\rm rand}, as we will show later.

Numerical demonstration.— We now demonstrate the validity of the MCQM for topological characterization. In Figs. 3(a) and 3(b), we plot 𝒞q(t)\mathcal{C}_{\rm q}(t) to t=50t=50 for topological and trivial cases respectively, for the clean systems (i.e., W=0W=0). Here the numerical computations are carried out for 20×2020\times 20-site (i.e., 10×1010\times 10-unit cell) systems under the open boundary condition. At the initial state, two particles are localized at the sublattice 1 at the unit cell (0,0)\left(0,0\right) and the sublattice 3 at the unit cell (1,1)\left(-1,-1\right). We see in these figures that, for the topological case with weak interaction (V=0,0.3V=0,0.3), 𝒞q(t)\mathcal{C}_{\rm q}(t) oscillates around 1/21/2 as expected, whereas it oscillates around 0 for the trivial case. Therefore, the long time average of 𝒞q(t)\mathcal{C}_{\rm q}(t) indeed can be used to extract the topological character of this model.

We also remark the boundary effects. In fact, the particles are initially located near the center of the system, and they reach the boundary at t20t\sim 20. Although the amplitude of the oscillation of the MCQM increases after reaching the boundary, the center of the oscillation is still unchanged, manifesting the robustness of 𝒞¯q\bar{\mathcal{C}}_{\rm q} against the boundary effects. Also, the fact that the finite value of MCQM in the topological case is obtained before reaching the boundary indicates that the finite MCQM is not attributed to the corner states, and thus this is indeed the bulk property.

It can also be found in Fig. 3(a) that the role of the interaction becomes manifest even for moderate strength of the interaction (V=1.0V=1.0). In the topological case, the MCQM deviates from the noninteracting case, namely, the MCQM exhibits gradual increase (decrease) to t30t\lesssim 30 (t30t\gtrsim 30). This value of VV is smaller than the band gap at the half-filling. This result indicates the essential difference between the dynamical properties and the ground-state properties at the half-filling, because the latter is stable against interactions as far as the excitation gap is not closed [45]. We also note that, in the trivial case, the MCQM seems to be rather insensitive to the interaction strength.

Refer to caption
Figure 4: The MCQM for the disordered system with (a) ta=0.3t_{a}=-0.3, tb=1.0t_{b}=-1.0, W=0.2W=0.2 and (b) ta=0.3t_{a}=-0.3, tb=1.0t_{b}=-1.0, W=1.0W=1.0. The error bars are represented by the shades.

It should also be noted that the “topological transition” of the dynamical properties is not as sharp as that for the ground state. To show this, we plot 𝒞¯q(t)\bar{\mathcal{C}}_{\rm q}(t) as a function of |ta|/|tb||t_{a}|/|t_{b}| in Fig. 3(c). We see that the dependence on |ta|/|tb||t_{a}|/|t_{b}| of 𝒞¯q\bar{\mathcal{C}}_{\rm q} is smooth, rather than a steep jump; this is another indication of the difference between the dynamical properties and the ground-state properties, as the latter is characterized by the jump of the quantized topological number. Note that, at the critical point (ta=tbt_{a}=t_{b}), the behavior of 𝒞q(t)\mathcal{C}_{\rm q}(t) is qualitatively different from that deep inside the topological or trivial cases, namely, 𝒞q(t)\mathcal{C}_{\rm q}(t) does not oscillate around a certain value; see Supplemental Material [85]. This behavior will serve as a useful hallmark indicating that the system is near the critical point.

Robustness against disorders.— We further study the effects of disorder potentials, to test the robustness of the MCQM. In Fig. 4, we plot 𝒞q(t)\mathcal{C}_{\rm q}(t) for the topological case with weak (W=0.2W=0.2) and moderate (W=1.0W=1.0) disorders. Here the average is taken over 432 configurations of the random disorder potential. We see that 𝒞q(t)\mathcal{C}_{\rm q}(t) remains to oscillate around 1/21/2 for a weak disorder case. In particular, for t20t\lesssim 20 where the particles do not reach the boundary, the error bars due to the disorder average are very small. Even for the moderate disorder case, the short-time behavior (i.e., t5t\lesssim 5) is almost unaffected by the disorders. However, after the long time (t20t\gtrsim 20), the 𝒞q(t)\mathcal{C}_{\rm q}(t) starts to decrease gradually and deviates from 1/21/2. These results manifest the robustness of the MCQM against disorders, which indicates that this is a measurable quantity in experiments for moderately clean samples.

Summary.— We have proposed how to extract the topological character of the quadrupolar phase by the quench dynamics. Specifically, we introduce the MCQM as a marker of a topological character. Although the initial state in the present setup is localized, the system is translationally invariant without any boundaries. The numerical results on the two-particle BBH model indicate that the MCQM indeed captures the topological nature for weakly interacting and moderately clean systems. It has also been clarified that there are essential differences between the ground-state topological properties at the half-filling and the MCQM, with respect to the stability against the interactions and the sharpness of the topological transition. This is attributed to the fact that the former is protected by the finite excitation gap, whereas the latter is affected by the information of all the eigenvalues and eigenvectors.

It is worth pointing out that our method of tracking two-particle dynamics is also applicable to bosonic systems. We find that the results are qualitatively the same as those for fermions [85]. This may indicate that each particle contributes to the MCQM additively as far as the few-body systems are concerned and it holds regardless of whether the system is bosonic or fermionic. Considering this fact, the present method can cover a wide range of experimental setups, including fermionic and bosonic ultracold atoms under the optical lattice, photonic crystals, and discrete quantum walks. Meanwhile, insensitivity for the particle statistics may not hold for the many-bony systems and studying such cases is an interesting future problem [80]. We hope our proposal opens up a way to understanding novel aspects of the quadrupolar phase.

Acknowledgements.
This work is supported by the JSPS KAKENHI, Grants No. JP17H06138, NO. JP20K14371 (T. M.), Japan, and JST CREST, Grant No. JPMJCR19T1, Japan. Parts of numerical calculations were carried out on the Supercomputer Center at Institute for Solid State Physics, University of Tokyo.

References