Emergence of topological states in relaxation dynamics of interacting bosons

Wang Huang1    Xu-Chen Yang1,2    Rui Cao1    Ying-Hai Wu3∗    Jianmin Yuan1,4    Yongqiang Li1,2∗ 1Department of Physics, National University of Defense Technology, Changsha 410073, P. R. China 2Hunan Key Laboratory of Extreme Matter and Applications, National University of Defense Technology, Changsha 410073, P. R. China 3School of Physics and Wuhan National High Magnetic Field Center, Huazhong University of Science and Technology, Wuhan 430074, P. R. China 4Institute of Atomic and Molecular Physics, Jilin University, Changchun 130012, P. R. China These authors contributed equally to this work Corresponding authors’ Email: [email protected]; [email protected]
(June 6, 2024)
Abstract

Topological concepts have been employed to understand the ground states of many strongly correlated systems, but it is still quite unclear if and how topology manifests itself in the relaxation dynamics. Here we uncover emergent topological phenomena in the time evolution of far-from-equilibrium one-dimensional interacting bosons. Beginning with simple product states, the system evolves into long-time stationary states with high energy that are nonthermal for a wide range of parameters, and they exhibit nonlocal string correlation that is characteristic of the symmetry-protected topological ground state of the Hamiltonian. In contrast, no topological feature is found in the stationary state as long as the system thermalizes. This difference is further corroborated by the distinct behaviour of quantum entanglement and edge states of the system. Our theoretical prediction can be examined by current experimental techniques and paves the way for a more comprehensive understanding of topological phases in nonequilibrium settings.

In non-relativistic quantum mechanics, the time evolution of an isolated interacting system is deterministic as dictated by its Hamiltonian [1, 2, 3, 4]. It is expected that relaxation dynamics of a nonequilibrium initial state results in a steady state whose local observables are described by the generalized Gibbs ensemble [5, 6, 7, 8] or Gibbs ensemble [9, 10, 11, 12]. Experimental investigations of relaxation dynamics are challenging because a sufficiently large number of quantum objects should be isolated from the environment and precisely manipulated for a considerable amount of time. In this regard, ultracold atomic gases provide a versatile platform for exploring nonequilibrium quantum dynamics, where the system can be driven far from equilibrium by sudden changes in the Hamiltonian [13]. To date, most studies along this direction employed many-body systems that are trivial from the topological perspective [14, 15, 16, 17, 18, 19, 20, 21].

It is by now well established that the properties of some many-body states should be described using topological concepts. The most common setting is to explore topology in the ground states of many-body systems that are well separated from the excited states [22, 23, 24, 25, 26]. Remarkable experimental progresses on ground-state topology of interacting systems have been reported in several quantum simulators [27, 28, 29, 30]. However, far-from-equilibrium dynamics and long-time stationary state of interacting topological systems are largely unexplored [31, 32, 33, 34, 35]. For an isolated system, its total energy remains constant during time evolution [36]. Consequently, the time-evolved stationary state is a high-lying excited state that has substantial overlap with an appreciable number of eigenstates (see Fig. 1a), and the physics is expected to be quite different from the ground state. It raises the question as to what extent topological fingerprints of the Hamiltonian can be revealed during time evolution, and whether an isolated system initially prepared in a nonequilibrium state can reach a new equilibrium with interesting topological phenomena. These issues are also intimately connected with ongoing experiments using ultracold atoms.

Refer to caption
Figure 1: Emergent topology in the relaxation dynamics of an interacting system. a, The most commonly studied scenario of topological phases is based on the properties of the many-body ground state that are separated from the excited states by a gap. In contrast, it is not transparent if and how the high-lying excited states that form a continuum can be defined as topological. b, Schematic of the one-dimensional superlattice Bose-Hubbard model and emergence of topological states that are far from the ground state in its relaxation dynamics. The system has alternating hop** J1,2subscript𝐽12J_{1,2}italic_J start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT and onsite repulsion U𝑈Uitalic_U and is initialized in certain simple product states (upper panel). Depending on the values of J1,2subscript𝐽12J_{1,2}italic_J start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT and U𝑈Uitalic_U, the long-time stationary state may be topologically nontrivial with long-range string correlation or trivial without such correlation (lower panel).

In this paper, we provide compelling evidence for the emergence of topological states in the far-from-equilibrium relaxation dynamics of interacting bosons in a finite one-dimensional superlattice. As illustrated in Fig. 1b, the lattice potential is modulated such that the tunneling between two neighboring sites have different ratios depending on the height of the potential barrier. For our purpose, the system can be described by a superlattice Bose-Hubbard model with alternating hop** terms and onsite interactions. This is a bosonic analogue of the Su-Schrieffer-Heeger model [37], whose many-body ground state has been studied in several previous works [38, 39]. Using the staggered-immersion cooling method [40, 41], the system can be initially prepared in certain product states that are far from equilibrium and topologically trivial. For a wide range of parameters, the system relaxes and reaches nonthermal stationary states that have nontrivial topological properties reminiscent of the many-body ground state, as revealed by nonlocal string correlation, entanglement, and edge state. An experimental protocol is proposed to verify our theoretical results using currently available techniques.

Results

Model. We study nonequilibrium dynamics of interacting bosons in a superlattice shown in Fig. 1b. Each unit cell contains two lattice sites with equal potential depths such that the system possesses bond-inversion symmetry. In the tight-binding limit, it is described by the superlattice Bose-Hubbard Hamiltonian [38]

H^^𝐻\displaystyle\hat{H}over^ start_ARG italic_H end_ARG =\displaystyle== J1i,oddb^ib^i+1J2i,evenb^ib^i+1+H.c.formulae-sequencesubscript𝐽1subscript𝑖oddsubscriptsuperscript^𝑏𝑖subscript^𝑏𝑖1subscript𝐽2subscript𝑖evensubscriptsuperscript^𝑏𝑖subscript^𝑏𝑖1Hc\displaystyle-J_{1}\sum_{i,\text{odd}}\hat{b}^{\dagger}_{i}\hat{b}_{i+1}-J_{2}% \sum_{i,\text{even}}\hat{b}^{\dagger}_{i}\hat{b}_{i+1}+\rm{H.c.}- italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_i , odd end_POSTSUBSCRIPT over^ start_ARG italic_b end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT - italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_i , even end_POSTSUBSCRIPT over^ start_ARG italic_b end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT + roman_H . roman_c . (1)
+U2i=1Ln^i(n^i1).𝑈2superscriptsubscript𝑖1𝐿subscript^𝑛𝑖subscript^𝑛𝑖1\displaystyle+\frac{U}{2}\sum_{i=1}^{L}\hat{n}_{i}(\hat{n}_{i}-1).+ divide start_ARG italic_U end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - 1 ) .

Here, L𝐿Litalic_L is the number of sites, b^isubscriptsuperscript^𝑏𝑖\hat{b}^{\dagger}_{i}over^ start_ARG italic_b end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT (b^isubscript^𝑏𝑖\hat{b}_{i}over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT) is the creation (annihilation) operator on site i𝑖iitalic_i, n^i=b^ib^isubscript^𝑛𝑖subscriptsuperscript^𝑏𝑖subscript^𝑏𝑖\hat{n}_{i}=\hat{b}^{\dagger}_{i}\hat{b}_{i}over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = over^ start_ARG italic_b end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT is the particle number operator, J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT (J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT) is the intracell (intercell) tunneling strength, and U𝑈Uitalic_U is the onsite repulsive interaction. The energy of our system is measured in units of J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. Depending on the system parameters and filling factors, superfluid, topologically trivial and nontrivial Mott insulators may be realized [38, 39]. The nontrivial Mott phase is a symmetry-protected topological (SPT) state that is connected to the celebrated Haldane phase [27, 42, 43]. It exhibits a hidden order that can be characterized using the nonlocal string order parameter

O^i,jsubscript^𝑂𝑖𝑗\displaystyle\hat{O}_{i,j}over^ start_ARG italic_O end_ARG start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT =\displaystyle== 4δn^ik=i+1j1eiπδn^kδn^j,4𝛿subscript^𝑛𝑖subscriptsuperscriptproduct𝑗1𝑘𝑖1superscriptei𝜋𝛿subscript^𝑛𝑘𝛿subscript^𝑛𝑗\displaystyle-4\delta\hat{n}_{i}\prod^{j-1}_{k=i+1}\text{e}^{\text{i}\pi\delta% \hat{n}_{k}}\delta\hat{n}_{j},- 4 italic_δ over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∏ start_POSTSUPERSCRIPT italic_j - 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k = italic_i + 1 end_POSTSUBSCRIPT e start_POSTSUPERSCRIPT i italic_π italic_δ over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_δ over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , (2)

with δn^i=n¯n^i𝛿subscript^𝑛𝑖¯𝑛subscript^𝑛𝑖\delta\hat{n}_{i}=\bar{n}-\hat{n}_{i}italic_δ over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = over¯ start_ARG italic_n end_ARG - over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT (n¯¯𝑛\bar{n}over¯ start_ARG italic_n end_ARG is the average particle density) [44, 45, 46]. The expectation value with respect to the ground state remains finite and approaches a nonzero constant as |ij|𝑖𝑗|i-j|\rightarrow\infty| italic_i - italic_j | → ∞ in the SPT phase [47, 48].

Time-evolved stationary state. In the limits of J1,2/U0subscript𝐽12𝑈0J_{1,2}/U\rightarrow 0italic_J start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT / italic_U → 0 and J1/J20subscript𝐽1subscript𝐽20J_{1}/J_{2}\rightarrow 0italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT → 0 or J2/J10subscript𝐽2subscript𝐽10J_{2}/J_{1}\rightarrow 0italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT → 0, the many-body Hamiltonian in Eq. (1) is integrable and time evolution is trivial. Instead, we focus on the nonequilibrium dynamics in the regime where J1,2/Usubscript𝐽12𝑈J_{1,2}/Uitalic_J start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT / italic_U and J1/J2subscript𝐽1subscript𝐽2J_{1}/J_{2}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT are finite, where one may naively expect that the system thermalizes in the long-time limit. The system is initialized in trivial product states |ψ0=|a1a2ketsubscript𝜓0ketsubscript𝑎1subscript𝑎2\left|\psi_{0}\right\rangle=\left|a_{1}a_{2}\cdots\right\rangle| italic_ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ⟩ = | italic_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⋯ ⟩, where the particle number on each site ai=0,1subscript𝑎𝑖01a_{i}=0,1italic_a start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = 0 , 1 (iai=Nsubscript𝑖subscript𝑎𝑖𝑁\sum_{i}a_{i}=N∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = italic_N). Time evolution is computed using exact diagonalization (ED) for small system sizes [49] and the time dependent variational principle (TDVP) in the framework of matrix product states (MPS) for large system sizes [50, 51, 52]. We choose open boundary condition for the system and focus on the half-filled cases with the number of bosons being N=L/2𝑁𝐿2N=L/2italic_N = italic_L / 2.

Refer to caption
Figure 2: Relaxation dynamics in topologically nontrivial and trivial cases. a, Schematics of the topologically trivial product states |1010ket1010\left|1010\cdots\right\rangle| 1010 ⋯ ⟩ (green) and |1100ket1100\left|1100\cdots\right\rangle| 1100 ⋯ ⟩ (orange) that are used as initial states in our simulations. b-e, Numerical results for the nontrivial case with J1/J2=0.2subscript𝐽1subscript𝐽20.2J_{1}/J_{2}=0.2italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0.2 and U/J2=8𝑈subscript𝐽28U/J_{2}=8italic_U / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 8. b, The string correlation O2,L1(t)subscript𝑂2𝐿1𝑡O_{2,L-1}(t)italic_O start_POSTSUBSCRIPT 2 , italic_L - 1 end_POSTSUBSCRIPT ( italic_t ) of the time-evolved stationary state attains an appreciable value, which is distinct from the thermal averaged value O2,L1thermal0superscriptsubscript𝑂2𝐿1thermal0O_{2,L-1}^{\rm thermal}\approx 0italic_O start_POSTSUBSCRIPT 2 , italic_L - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_thermal end_POSTSUPERSCRIPT ≈ 0 at the mean energy of the initial state (represented by the dashed line). c, Time evolution of the second-order Renyi entanglement entropy S𝒜(t)subscript𝑆𝒜𝑡S_{\mathcal{A}}(t)italic_S start_POSTSUBSCRIPT caligraphic_A end_POSTSUBSCRIPT ( italic_t ) at the center of the L=32𝐿32L=32italic_L = 32 system. d, The Renyi entropy at t=100/J2𝑡100subscript𝐽2t=100/J_{2}italic_t = 100 / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and the thermal entropy given by the canonical ensemble for the L=32𝐿32L=32italic_L = 32 system. The discrepancy suggests that the system has not thermalized. e, O2,L1(t)subscript𝑂2𝐿1𝑡O_{2,L-1}(t)italic_O start_POSTSUBSCRIPT 2 , italic_L - 1 end_POSTSUBSCRIPT ( italic_t ) has quite weak dependence on L𝐿Litalic_L so its nonzero value should not be finite-size effects. f-i, Numerical results for the trivial case with J1/J2=0.8subscript𝐽1subscript𝐽20.8J_{1}/J_{2}=0.8italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0.8 and U/J2=6𝑈subscript𝐽26U/J_{2}=6italic_U / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 6. Each panel presents the same quantity as its counterpart in panels b-e. The time-evolved stationary state has no long-range string correlation, which is consistent with the value O2,L1thermal0superscriptsubscript𝑂2𝐿1thermal0O_{2,L-1}^{\rm thermal}\approx 0italic_O start_POSTSUBSCRIPT 2 , italic_L - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_thermal end_POSTSUPERSCRIPT ≈ 0 for a thermalized system. The time and subsystem size dependence of the Renyi entropy also suggest that thermalization occurs. Finite-size effects are also excluded by studying multiple L𝐿Litalic_L. Numerical simulations are performed for system size up to L=60𝐿60L=60italic_L = 60 and bond dimension up to 3000300030003000 [53].

We first consider a quench from the initial state |ψ0=|1010ketsubscript𝜓0ket1010\left|\psi_{0}\right\rangle=\left|1010\cdots\right\rangle| italic_ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ⟩ = | 1010 ⋯ ⟩ or |1100ket1100\left|1100\cdots\right\rangle| 1100 ⋯ ⟩ (see Fig. 2a) using a Hamiltonian whose ground state is topological (J1/J2=0.2subscript𝐽1subscript𝐽20.2J_{1}/J_{2}=0.2italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0.2, U/J2=8𝑈subscript𝐽28U/J_{2}=8italic_U / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 8). It is found that the many-body system relaxes and reaches a long-time stationary state that is far from the ground state. Surprisingly, the time-evolved high-lying state has long-range string order. As shown in Fig. 2b, the correlation between the second and (L1)𝐿1(L-1)( italic_L - 1 )-th sites O2,L1(t)=ψ(t)|O^2,L1|ψ(t)subscript𝑂2𝐿1𝑡quantum-operator-product𝜓𝑡subscript^𝑂2𝐿1𝜓𝑡O_{2,L-1}(t)=\left\langle\psi(t)\right|\hat{O}_{2,L-1}\left|\psi(t)\right\rangleitalic_O start_POSTSUBSCRIPT 2 , italic_L - 1 end_POSTSUBSCRIPT ( italic_t ) = ⟨ italic_ψ ( italic_t ) | over^ start_ARG italic_O end_ARG start_POSTSUBSCRIPT 2 , italic_L - 1 end_POSTSUBSCRIPT | italic_ψ ( italic_t ) ⟩ oscillates at the beginning but quickly attains a stable value with negligible fluctuations. The variation of Oi,j(t)subscript𝑂𝑖𝑗𝑡O_{i,j}(t)italic_O start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ( italic_t ) with |ij|𝑖𝑗|i-j|| italic_i - italic_j | is also consistent with the existence of long-range order [53]. This behaviour is observed for all system sizes that we have studied (see Fig. 2e), so it should be a genuine phenomenon but not a finite-size effect. For the TDVP calculations, multiple bond dimensions have been tested such that the maximal one captures the entanglement of the time-evolved state [53]. For the small L=12𝐿12L=12italic_L = 12 system, long-range string order is observed for time up to t=1000/J2𝑡1000subscript𝐽2t=1000/J_{2}italic_t = 1000 / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT using ED [53].

The existence of long-range string correlation is associated with the absence of thermalization. At the energy corresponding to the initial state |ψ0ketsubscript𝜓0\left|\psi_{0}\right\rangle| italic_ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ⟩, thermal average of the string correlation is O2,L1thermal0superscriptsubscript𝑂2𝐿1thermal0O_{2,L-1}^{\rm thermal}\approx 0italic_O start_POSTSUBSCRIPT 2 , italic_L - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_thermal end_POSTSUPERSCRIPT ≈ 0. If the system reaches thermal equilibrium, O2,L1(t)subscript𝑂2𝐿1𝑡O_{2,L-1}(t)italic_O start_POSTSUBSCRIPT 2 , italic_L - 1 end_POSTSUBSCRIPT ( italic_t ) should approach zero in the long-time limit, but we clearly obtain nonzero values depending on the initial states. Thermalization can also be probed using the second-order Renyi entanglement entropy S𝒜(t)=log[Tr(ρ𝒜2(t))]subscript𝑆𝒜𝑡logdelimited-[]Trsubscriptsuperscript𝜌2𝒜𝑡S_{\mathcal{A}}(t)=-\text{log}\left[\text{Tr}\left(\rho^{2}_{\mathcal{A}}(t)% \right)\right]italic_S start_POSTSUBSCRIPT caligraphic_A end_POSTSUBSCRIPT ( italic_t ) = - log [ Tr ( italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_A end_POSTSUBSCRIPT ( italic_t ) ) ], where 𝒜𝒜\mathcal{A}caligraphic_A is a subsystem with l𝒜subscript𝑙𝒜l_{\mathcal{A}}italic_l start_POSTSUBSCRIPT caligraphic_A end_POSTSUBSCRIPT sites and ρ𝒜(t)subscript𝜌𝒜𝑡\rho_{\mathcal{A}}(t)italic_ρ start_POSTSUBSCRIPT caligraphic_A end_POSTSUBSCRIPT ( italic_t ) is the associated reduced density matrix. The half-system entropy increases with time and begins to saturate to a constant at the late time t=100/J2𝑡100subscript𝐽2t=100/J_{2}italic_t = 100 / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT (see Fig. 2c). The saturated entropy is noticeably smaller than the thermal entropy given by canonical ensemble as shown in Fig. 2d, which suggests that the time-evolved stationary state is nonthermal [54].

Next we study the topologically trivial case with J1/J2=0.8subscript𝐽1subscript𝐽20.8J_{1}/J_{2}=0.8italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0.8 and U/J2=6𝑈subscript𝐽26U/J_{2}=6italic_U / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 6. In contrast to previous results, the system does thermalize and memory about the initial states is lost when it reaches equilibrium. In Fig. 2f and i, the string correlation O2,L1(t)subscript𝑂2𝐿1𝑡O_{2,L-1}(t)italic_O start_POSTSUBSCRIPT 2 , italic_L - 1 end_POSTSUBSCRIPT ( italic_t ) quickly decays to nearly zero values for both initial states. The dynamics of S𝒜(t)subscript𝑆𝒜𝑡S_{\mathcal{A}}(t)italic_S start_POSTSUBSCRIPT caligraphic_A end_POSTSUBSCRIPT ( italic_t ) for l𝒜=L/2subscript𝑙𝒜𝐿2l_{\mathcal{A}}=L/2italic_l start_POSTSUBSCRIPT caligraphic_A end_POSTSUBSCRIPT = italic_L / 2 is presented in Fig. 2g. It increases with time linearly for a certain interval and eventually reaches a maximum value that is constrained by the MPS bond dimension. The subsystem size dependence of S𝒜(t=100/J2)subscript𝑆𝒜𝑡100subscript𝐽2S_{\mathcal{A}}(t=100/J_{2})italic_S start_POSTSUBSCRIPT caligraphic_A end_POSTSUBSCRIPT ( italic_t = 100 / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) is displayed in Fig. 2h. It grows linearly with l𝒜subscript𝑙𝒜l_{\mathcal{A}}italic_l start_POSTSUBSCRIPT caligraphic_A end_POSTSUBSCRIPT and agrees with the thermal entropy given by the canonical ensemble [15]. These features clearly distinguish this case from the previous one.

It is intriguing that the nonequilibrium phase transition and thermalization is absent for hardcore interaction U=𝑈U=\inftyitalic_U = ∞ but can only be observed in the soft-core case [53]. To further understand this phenomenon, perturbation theory is employed to construct an effective model at half-filling for the J1,2/U1much-less-thansubscript𝐽12𝑈1J_{1,2}/U\ll 1italic_J start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT / italic_U ≪ 1 regime in which terms up to second order of J1,2/Usubscript𝐽12𝑈J_{1,2}/Uitalic_J start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT / italic_U are kept. Time evolution using the effective model and the original model in Eq. (1) agrees with each other remarkably well in the soft-core cases [53].

In addition to the string order parameter, we have also studied other quantities of the stationary state to substantiate its topological nature. It is found that the parity and density-wave orders vanish in the bulk so the long-range string correlation is not caused by some trivial states [53]. For two adjacent lattice sites i𝑖iitalic_i and i+1𝑖1i+1italic_i + 1, their reduced density matrix ρi,i+1(t)subscript𝜌𝑖𝑖1𝑡\rho_{i,i+1}(t)italic_ρ start_POSTSUBSCRIPT italic_i , italic_i + 1 end_POSTSUBSCRIPT ( italic_t ) can be used to define the two-site entanglement entropy Si(t)=Tr[ρi,i+1(t)lnρi,i+1(t)]subscript𝑆𝑖𝑡Trdelimited-[]subscript𝜌𝑖𝑖1𝑡lnsubscript𝜌𝑖𝑖1𝑡S_{i}(t)=-\text{Tr}\left[\rho_{i,i+1}(t)\text{ln}\rho_{i,i+1}(t)\right]italic_S start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_t ) = - Tr [ italic_ρ start_POSTSUBSCRIPT italic_i , italic_i + 1 end_POSTSUBSCRIPT ( italic_t ) ln italic_ρ start_POSTSUBSCRIPT italic_i , italic_i + 1 end_POSTSUBSCRIPT ( italic_t ) ] [55]. In the nontrivial case, Si(t)subscript𝑆𝑖𝑡S_{i}(t)italic_S start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_t ) oscillates between large and small values with a period of two sites for time up to t=100/J2𝑡100subscript𝐽2t=100/J_{2}italic_t = 100 / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT (see Fig. 3a,c). When the system is trivial, Si(t)subscript𝑆𝑖𝑡S_{i}(t)italic_S start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_t ) reaches its maximum value quickly and is basically homogeneous in real space (see Fig. 3b,d). These features are analogous to those of the many-body ground state [44, 45, 46] so the time-evolved state shares similar topological features as the ground state. The dynamics of entanglement spectrum has also been investigated and multiple level crossings are observed [53], which is similar to previous results on free fermions [56].

Refer to caption
Figure 3: Dynamics of the two-site entropy. a, For the nontrivial case with J1/J2=0.2subscript𝐽1subscript𝐽20.2J_{1}/J_{2}=0.2italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0.2 and U/J2=8𝑈subscript𝐽28U/J_{2}=8italic_U / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 8, the two-site entropy oscillates between large and small values on odd and even lattice sites in the bulk of the system. b, For the trivial case with J1/J2=0.8subscript𝐽1subscript𝐽20.8J_{1}/J_{2}=0.8italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0.8 and U/J2=6𝑈subscript𝐽26U/J_{2}=6italic_U / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 6, the two-site entropy is almost homogeneous as one would expect for a thermal state. The line cut at t=100/J2𝑡100subscript𝐽2t=100/J_{2}italic_t = 100 / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT in panels a and b are shown respectively in panels c and d. The same quantity for the nontrivial many-body ground state is shown in panel c for comparison. The oscillations in the ground state and the nontrivial time-evolved stationary state are similar. All panels are for the L=36𝐿36L=36italic_L = 36 system.

Experimental protocol. Our proposal can be readily realized using ultracold bosons trapped in a one-dimensional spin-dependent optical superlattice [57]. The inhomogeneity induced by the Gaussian beams can be compensated by a tailored light profile to generate a flat box potential with hard walls [58, 59]. The superlattice should be adjusted to create balanced double wells so the system is described by Eq. (1) with alternating tunneling strengths J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT controlled by the superlattice depth. It is essential to prepare the system in simple product states at half-filling with the odd (even) sites singly occupied (empty) (see Fig. 2a), which has already been achieved in previous experiments using the staggered-immersion cooling method [40, 41].

Refer to caption
Figure 4: Nonequilibrium phase diagram of the superlattice Bose-Hubbard model. a, Color map of the string correlation O2,L1(t=100/J2)subscript𝑂2𝐿1𝑡100subscript𝐽2O_{2,L-1}(t=100/J_{2})italic_O start_POSTSUBSCRIPT 2 , italic_L - 1 end_POSTSUBSCRIPT ( italic_t = 100 / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) in the L=36𝐿36L=36italic_L = 36 system for a wide range of J1/J2subscript𝐽1subscript𝐽2J_{1}/J_{2}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and U/J2𝑈subscript𝐽2U/J_{2}italic_U / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. The point A (B) indicates the topologically nontrivial (trivial) case that has been studied in detail. b-c, Time evolution of the imbalance Δe(t)subscriptΔ𝑒𝑡\Delta_{e}(t)roman_Δ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ( italic_t ) at the edge and Δb(t)subscriptΔ𝑏𝑡\Delta_{b}(t)roman_Δ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ( italic_t ) in the bulk. The two quantities exhibit very different behavior for the A point but are similar for the B point. d, The long-time limit of O2,L1(t)subscript𝑂2𝐿1𝑡O_{2,L-1}(t)italic_O start_POSTSUBSCRIPT 2 , italic_L - 1 end_POSTSUBSCRIPT ( italic_t ) as a function of the hop** strengths for two different interactions.

To further assess the experimental feasibility, we have explored the nonequilibirum phase diagram for a wide range of parameters. By inspecting the string order parameter at t=100/J2𝑡100subscript𝐽2t=100/J_{2}italic_t = 100 / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT (typical timescale realized experimentally), it is found that topologically nontrivial stationary states appear in a large portion of the phase diagram, as shown in Fig. 4a,d. This suggests that nontrivial relaxation dynamics should be quite accessible. In view of the single-site resolution provided by quantum gas microscope [60], we expect that nonlocal string correlation [28] and entanglement entropy [15] can be measured in future experiments.

In addition, time evolution of the edge states could also reveal useful information, as experiments on superconducting circuits and trapped ions have already demonstrated [31, 35]. It should be fruitful to measure the imbalance Δe(t)n1(t)nL(t)0subscriptΔ𝑒𝑡subscript𝑛1𝑡subscript𝑛L𝑡0\Delta_{e}(t)\equiv n_{\text{1}}(t)-n_{\text{L}}(t)\neq 0roman_Δ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ( italic_t ) ≡ italic_n start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_t ) - italic_n start_POSTSUBSCRIPT L end_POSTSUBSCRIPT ( italic_t ) ≠ 0 associated with the two edges and the averaged imbalance Δb(t)2L2i=2L1[ni,odd(t)ni,even(t)]=0subscriptΔ𝑏𝑡2𝐿2subscriptsuperscript𝐿1𝑖2delimited-[]subscript𝑛i,odd𝑡subscript𝑛i,even𝑡0\Delta_{b}(t)\equiv\frac{2}{L-2}\sum^{L-1}_{i=2}[n_{\text{i,odd}}(t)-n_{\text{% i,even}}(t)]=0roman_Δ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ( italic_t ) ≡ divide start_ARG 2 end_ARG start_ARG italic_L - 2 end_ARG ∑ start_POSTSUPERSCRIPT italic_L - 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i = 2 end_POSTSUBSCRIPT [ italic_n start_POSTSUBSCRIPT i,odd end_POSTSUBSCRIPT ( italic_t ) - italic_n start_POSTSUBSCRIPT i,even end_POSTSUBSCRIPT ( italic_t ) ] = 0 in the bulk, where ni(t)=ψ(t)|n^i|ψ(t)subscript𝑛𝑖𝑡quantum-operator-product𝜓𝑡subscript^𝑛𝑖𝜓𝑡n_{i}(t)=\langle\psi(t)|{\hat{n}}_{i}|\psi(t)\rangleitalic_n start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_t ) = ⟨ italic_ψ ( italic_t ) | over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | italic_ψ ( italic_t ) ⟩. If the system reaches topologically nontrivial stationary state, Δe(t)subscriptΔ𝑒𝑡\Delta_{e}(t)roman_Δ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ( italic_t ) has an appreciable value throughout the time evolution but Δb(t)subscriptΔ𝑏𝑡\Delta_{b}(t)roman_Δ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ( italic_t ) decays to zero after a short period (see red lines in Fig. 4b,c). This can be taken as evidence for topologically protected edge states in the far-from-equilibrium dynamics. In contrast, both quantities rapidly decay to negligible values in the trivial case (see blue lines in Fig. 4b,c).

Method

ED and TDVP are employed to study the relaxation dynamics of our system. The cases with L12𝐿12L\leq 12italic_L ≤ 12 are studied using the ED programs in the Quspin package [49]. The two-site and one-site hybrid TDVP is applied to the cases with L>12𝐿12L>12italic_L > 12 [50]. This method is favourable because it preserves unitarity for a considerable amount of time using moderate bond dimensions [51, 52]. In the two-site steps, we choose truncation error ε=1010𝜀superscript1010\varepsilon=10^{-10}italic_ε = 10 start_POSTSUPERSCRIPT - 10 end_POSTSUPERSCRIPT and time step Jδt=0.05𝐽𝛿𝑡0.05J\delta t=0.05italic_J italic_δ italic_t = 0.05. Each lattice site is allowed to host at most four bosons. The canonical ensemble properties are computed using the matrix product purification method [61, 62], where a finite-temperature state is obtained by imaginary time evolution from an initial state with infinite temperature. Both TDVP and finite temperature simulations are performed using the ITensor library [63].

Discussion

We have uncovered surprising emergence of topological states in the far-from-equilibrium long-time evolution of strongly interacting systems. This study goes beyond previous works that mainly studied topological systems consist of non-interacting particles [64, 65] or short-time evolution of interacting systems [66, 67, 68], and is related to ongoing experiments on ultracold atoms. Topologically distinct behaviour in the relaxation dynamics are observed as a trivial initial state can evolve to a stationary state that exhibits topological properties in certain parameter regimes. While product states were used as initial states here, other high-lying initial states may also lead to intricate topological physics. It is also possible to induce nonequilibrium topological critical phenomena and study their universality classes and scaling laws. Time evolution and nonequilibrium topology of interacting systems in higher dimensions should also be very interesting. Finally, whether and how nonlocal observables thermalize after a sufficiently long time in large systems calls for more investigations [7, 69]. These questions are very difficult to address from either the experimental or theoretical side and beyond the scope of this work.

Acknowledgements

We acknowledge useful discussions with Zhen-Sheng Yuan, Xiong-Jun Liu, Bing Yang, and Jun-Jun Xu. This work is supported by the National Natural Science Foundation of China under Grants Nos. 12374252, 12074431, and 12174130, and the Excellent Youth Foundation of Hunan Scientific Committee under Grant No. 2021JJ10044. Numerical calculations were performed on the TianHe-1A cluster of the National Supercomputer Center at Tian**.

Data availability

The authors declare that the data supporting the findings of this study is available within the article and its Supplementary Information. Extra data is available from the corresponding authors upon reasonable request.

Author Contribution

Y.L. conceived the project. W. H., X.-C. Y., and R.C. performed the calculations with input from others. All authors contributed to analysis of the results and writing of the paper.

Competing interests

The authors declare no competing interests.

References

  • Polkovnikov et al. [2011] A. Polkovnikov, K. Sengupta, A. Silva, and M. Vengalattore, Colloquium: Nonequilibrium dynamics of closed interacting quantum systems, Rev. Mod. Phys. 83, 863 (2011).
  • Deutsch [2018] J. M. Deutsch, Eigenstate thermalization hypothesis, Rep. Prog. Phys. 81, 082001 (2018).
  • Ueda [2020] M. Ueda, Quantum equilibration, thermalization and prethermalization in ultracold atoms, Nat. Rev. Phys. 2, 669 (2020).
  • Bertini et al. [2021] B. Bertini, F. Heidrich-Meisner, C. Karrasch, T. Prosen, R. Steinigeweg, and M. Žnidarič, Finite-temperature transport in one-dimensional quantum lattice models, Rev. Mod. Phys. 93, 025003 (2021).
  • Rigol et al. [2007] M. Rigol, V. Dunjko, V. Yurovsky, and M. Olshanii, Relaxation in a Completely Integrable Many-Body Quantum System: An Ab Initio Study of the Dynamics of the Highly Excited States of 1D Lattice Hard-Core Bosons, Phys. Rev. Lett. 98, 050405 (2007).
  • Rigol et al. [2008] M. Rigol, V. Dunjko, and M. Olshanii, Thermalization and its mechanism for generic isolated quantum systems, Nature 452, 854 (2008).
  • Rigol [2009] M. Rigol, Breakdown of Thermalization in Finite One-Dimensional Systems, Phys. Rev. Lett. 103, 100403 (2009).
  • Garrison and Grover [2018] J. R. Garrison and T. Grover, Does a Single Eigenstate Encode the Full Hamiltonian?, Phys. Rev. X 8, 021026 (2018).
  • Srednicki [1994] M. Srednicki, Chaos and quantum thermalization, Phys. Rev. E 50, 888 (1994).
  • Srednicki [1996] M. Srednicki, Thermal fluctuations in quantized chaotic systems, J. Phys. A: Math. Gen. 29, L75 (1996).
  • Srednicki [1999] M. Srednicki, The approach to thermal equilibrium in quantized chaotic systems, J. Phys. A: Math. Gen. 32, 1163 (1999).
  • Deutsch [1991] J. M. Deutsch, Quantum statistical mechanics in a closed system, Phys. Rev. A 43, 2046 (1991).
  • Mitra [2018] A. Mitra, Quantum Quench Dynamics, Annu. Rev. Condens. Matter Phys. 9, 245 (2018).
  • Eisert et al. [2015] J. Eisert, M. Friesdorf, and C. Gogolin, Quantum many-body systems out of equilibrium, Nature Physics 11, 124 (2015).
  • Kaufman et al. [2016] A. M. Kaufman, M. E. Tai, A. Lukin, M. Rispoli, R. Schittko, P. M. Preiss, and M. Greiner, Quantum thermalization through entanglement in an isolated many-body system, Science 353, 794 (2016).
  • Nichols et al. [2018] M. A. Nichols, L. W. Cheuk, M. Okan, T. Hartke, E. Mendez, T. Senthil, E. Khatami, H. Zhang, and M. W. Zwierlein, Spin transport in a Mott insulator of ultracold fermions, Science 363, 383 (2018).
  • Jepsen et al. [2020] P. N. Jepsen, J. Amato-Grill, I. Dimitrova, W. W. Ho, E. A. Demler, and W. Ketterle, Spin transport in a tunable Heisenberg model realized with ultracold atoms, Nature 588, 403 (2020).
  • Wei et al. [2022] D. Wei, A. Rubio-Abadal, B. Ye, F. Machado, J. Kemp, K. Srakaew, S. Hollerith, J. Rui, S. Gopalakrishnan, N. Y. Yao, I. Bloch, and J. Zeiher, Quantum gas microscopy of Kardar-Parisi-Zhang superdiffusion, Science 376, 716 (2022).
  • Zhou et al. [2022] Z.-Y. Zhou, G.-X. Su, J. C. Halimeh, R. Ott, H. Sun, P. Hauke, B. Yang, Z.-S. Yuan, J. urgen Berges, and J.-W. Pan, Thermalization dynamics of a gauge theory on a quantum simulator, Science 377, 311 (2022).
  • Christakis et al. [2023] L. Christakis, J. S. Rosenberg, R. Raj, S. Chi, A. Morningstar, D. A. Huse, Z. Z. Yan, and W. S. Bakr, Probing site-resolved correlations in a spin system of ultracold molecules, Nature 614, 64 (2023).
  • Li et al. [2023] J.-R. Li, K. Matsuda, C. Miller, A. N. Carroll, W. G. Tobias, J. S. Higgins, and J. Ye, Tunable itinerant spin dynamics with polar molecules, Nature 614, 70 (2023).
  • Hasan and Kane [2010] M. Z. Hasan and C. L. Kane, Colloquium: Topological insulators, Rev. Mod. Phys. 82, 3045 (2010).
  • Qi and Zhang [2011] X.-L. Qi and S.-C. Zhang, Topological insulators and superconductors, Rev. Mod. Phys. 83, 1057 (2011).
  • Cooper et al. [2019] N. R. Cooper, J. Dalibard, and I. B. Spielman, Topological bands for ultracold atoms, Rev. Mod. Phys. 91, 015005 (2019).
  • Rachel [2018] S. Rachel, Interacting topological insulators: a review, Rep. Prog. Phys. 81, 116501 (2018).
  • Zhang et al. [2018] D.-W. Zhang, Y.-Q. Zhu, Y. X. Zhao, H. Yan, and S.-L. Zhu, Topological quantum matter with cold atoms, Adv. Phys. 67, 253 (2018).
  • de Léséleuc et al. [2019] S. de Léséleuc, V. Lienhard, P. Scholl, D. Barredo, S. T. Weber, N. Lang, H. P. Büchler, T. Lahaye, and A. Browaeys, Observation of a symmetry-protected topological phase of interacting bosons with Rydberg atoms, Science 365, 775 (2019).
  • Sompet et al. [2022] P. Sompet, S. Hirthe, D. Bourgund, T. Chalopin, J. Bibo, J. Koepsell, P. Bojović, R. Verresen, F. Pollmann, G. Salomon, C. Gross, T. A. Hilker, and I. Bloch, Realizing the symmetry-protected Haldane phase in Fermi-Hubbard ladders, Nature 606, 484 (2022).
  • Semeghini et al. [2021] G. Semeghini, H. Levine, A. Keesling, S. Ebadi, T. T. Wang, D. Bluvstein, R. Verresen, H. Pichler, M. Kalinowski, R. Samajdar, A. Omran, S. Sachdev, A. Vishwanath, M. Greiner, V. Vuletić, and M. D. Lukin, Probing topological spin liquids on a programmable quantum simulator, Science 374, 1242 (2021).
  • Kiczynski et al. [2022] M. Kiczynski, S. K. Gorman, H. Geng, M. B. Donnelly, Y. Chung, Y. He, J. G. Keizer, and M. Y. Simmons, Engineering topological states in atom-based semiconductor quantum dots, Nature 606, 694 (2022).
  • Cai et al. [2019] W. Cai, J. Han, F. Mei, Y. Xu, Y. Ma, X. Li, H. Wang, Y. P. Song, Z.-Y. Xue, Z.-q. Yin, S. Jia, and L. Sun, Observation of topological magnon insulator states in a superconducting circuit, Phys. Rev. Lett. 123, 080501 (2019).
  • Zhou et al. [2023] T.-W. Zhou, G. Cappellini, D. Tusi, L. Franchi, J. Parravicini, C. Repellin, S. Greschner, M. Inguscio, T. Giamarchi, M. Filippone, J. Catani, and L. Fallani, Observation of universal Hall response in strongly interacting Fermions, Science 381, 427 (2023).
  • Kwan et al. [2023] J. Kwan, P. Segura, Y. Li, S. Kim, A. V. Gorshkov, A. Eckardt, B. Bakkali-Hassani, and M. Greiner, Realization of 1D Anyons with Arbitrary Statistical Phase, https://arxiv.longhoe.net/abs/2306.01737  (2023).
  • Viebahn et al. [2023] K. Viebahn, A.-S. Walter, E. Bertok, Z. Zhu, M. Gächter, A. A. Aligia, F. Heidrich-Meisner, and T. Esslinger, Interaction-induced charge pum** in a topological many-body system, https://arxiv.longhoe.net/abs/2308.03756  (2023).
  • Katz et al. [2024] O. Katz, L. Feng, D. Porras, and C. Monroe, Observing topological insulator phases with a programmable quantum simulator, https://arxiv.longhoe.net/abs/2401.10362  (2024).
  • Schuckert et al. [2023] A. Schuckert, O. Katz, L. Feng, E. Crane, A. De, M. Hafezi, A. V. Gorshkov, and C. Monroe, Observation of a finite-energy phase transition in a one-dimensional quantum simulator, https://arxiv.longhoe.net/abs/2310.19869  (2023).
  • Su et al. [1979] W. P. Su, J. R. Schrieffer, and A. J. Heeger, Solitons in Polyacetylene, Phys. Rev. Lett. 42, 1698 (1979).
  • Grusdt et al. [2013] F. Grusdt, M. Höning, and M. Fleischhauer, Topological edge states in the one-dimensional superlattice Bose-Hubbard model, Phys. Rev. Lett. 110, 260405 (2013).
  • Zhu et al. [2013] S.-L. Zhu, Z.-D. Wang, Y.-H. Chan, and L.-M. Duan, Topological Bose-Mott Insulators in a One-Dimensional Optical Superlattice, Phys. Rev. Lett. 110, 075303 (2013).
  • Yang et al. [2020] B. Yang, H. Sun, C.-J. Huang, H.-Y. Wang, Y. Deng, H.-N. Dai, Z.-S. Yuan, and J.-W. Pan, Cooling and entangling ultracold atoms in optical lattices, Science 369, 550 (2020).
  • Wang et al. [2023] H.-Y. Wang, W.-Y. Zhang, Z. Yao, Y. Liu, Z.-H. Zhu, Y.-G. Zheng, X.-K. Wang, H. Zhai, Z.-S. Yuan, and J.-W. Pan, Interrelated thermalization and quantum criticality in a lattice gauge simulator, Phys. Rev. Lett. 131, 050401 (2023).
  • Haldane [1983] F. D. M. Haldane, Nonlinear Field Theory of Large-Spin Heisenberg Antiferromagnets: Semiclassically Quantized Solitons of the One-Dimensional Easy-Axis Néel State, Phys. Rev. Lett. 50, 1153 (1983).
  • Chen et al. [2012] X. Chen, Z.-C. Gu, Z.-X. Liu, and X.-G. Wen, Symmetry-protected topological orders in interacting bosonic systems, Science 338, 1604 (2012).
  • Dalla Torre et al. [2006] E. G. Dalla Torre, E. Berg, and E. Altman, Hidden Order in 1D Bose Insulators, Phys. Rev. Lett. 97, 260401 (2006).
  • Berg et al. [2008] E. Berg, E. G. Dalla Torre, T. Giamarchi, and E. Altman, Rise and fall of hidden string order of lattice bosons, Phys. Rev. B 77, 245119 (2008).
  • Mazza et al. [2014] L. Mazza, D. Rossini, M. Endres, and R. Fazio, Out-of-equilibrium dynamics and thermalization of string order, Phys. Rev. B 90, 020301 (2014).
  • den Nijs and Rommelse [1989] M. den Nijs and K. Rommelse, Preroughening transitions in crystal surfaces and valence-bond phases in quantum spin chains, Phys. Rev. B 40, 4709 (1989).
  • Kennedy and Tasaki [1992] T. Kennedy and H. Tasaki, Hidden Z2subscriptZ2{\mathrm{Z}}_{2}roman_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT×Z2subscriptZ2{\mathrm{Z}}_{2}roman_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT symmetry breaking in Haldane-gap antiferromagnets, Phys. Rev. B 45, 304 (1992).
  • Weinberg and Bukov [2017] P. Weinberg and M. Bukov, QuSpin: a Python package for dynamics and exact diagonalisation of quantum many body systems part I: spin chains, SciPost Phys. 2, 003 (2017).
  • Haegeman et al. [2011] J. Haegeman, J. I. Cirac, T. J. Osborne, I. Pižorn, H. Verschelde, and F. Verstraete, Time-Dependent Variational Principle for Quantum Lattices, Phys. Rev. Lett. 107, 070601 (2011).
  • Goto and Danshita [2019] S. Goto and I. Danshita, Performance of the time-dependent variational principle for matrix product states in the long-time evolution of a pure state, Phys. Rev. B 99, 054307 (2019).
  • Paeckel et al. [2019] S. Paeckel, T. Köhler, A. Swoboda, S. R. Manmana, U. Schollwöck, and C. Hubig, Time-evolution methods for matrix-product states, Ann. Phys. 411, 167998 (2019).
  • [53] See Supplementary Information at [url] for ground-state phase diagram and topological properties, more discussions about relaxation dynamics of string order, entanglement entropy, and entanglement spectrum, and many-body dynamics based on analytical and effective models.
  • Calabrese and Cardy [2005] P. Calabrese and J. Cardy, Evolution of entanglement entropy in one-dimensional systems, J. Stat. Mech.: Theory Exp. 2005, P04010 (2005).
  • Legeza and Sólyom [2006] O. Legeza and J. Sólyom, Two-Site Entropy and Quantum Phase Transitions in Low-Dimensional Models, Phys. Rev. Lett. 96, 116401 (2006).
  • Gong and Ueda [2018] Z. Gong and M. Ueda, Topological entanglement-spectrum crossing in quench dynamics, Phys. Rev. Lett. 121, 250601 (2018).
  • Anderlini et al. [2007] M. Anderlini, P. J. Lee, B. L. Brown, J. Sebby-Strabley, W. D. Phillips, and J. V. Porto, Controlled exchange interaction between pairs of neutral atoms in an optical lattice, Nature 448, 452 (2007).
  • Mazurenko et al. [2017] A. Mazurenko, C. S. Chiu, G. Ji, M. F. Parsons, M. Kanasz-Nagy, R. Schmidt, F. Grusdt, E. Demler, D. Greif, and M. Greiner, A cold-atom Fermi-Hubbard antiferromagnet, Nature 545, 462 (2017).
  • Navon et al. [2021] N. Navon, R. P. Smith, and Z. Hadzibabic, Quantum gases in optical boxes, Nat. Phys. 17, 1334 (2021).
  • Gross and Bakr [2021] C. Gross and W. S. Bakr, Quantum gas microscopy for single atom and spin detection, Nat. Phys. 17, 1316 (2021).
  • Barthel [2016] T. Barthel, Matrix product purifications for canonical ensembles and quantum number distributions, Phys. Rev. B 94, 115157 (2016).
  • Feiguin and White [2005] A. E. Feiguin and S. R. White, Finite-temperature density matrix renormalization using an enlarged Hilbert space, Phys. Rev. B 72, 220401 (2005).
  • Fishman et al. [2022] M. Fishman, S. R. White, and E. M. Stoudenmire, The ITensor Software Library for Tensor Network Calculations, SciPost Phys. Codebases , 4 (2022).
  • Caio et al. [2015] M. D. Caio, N. R. Cooper, and M. J. Bhaseen, Quantum Quenches in Chern Insulators, Phys. Rev. Lett. 115, 236403 (2015).
  • D’Alessio and Rigol [2015] L. D’Alessio and M. Rigol, Dynamical preparation of Floquet Chern insulators, Nat. Commun. 6, 8336 (2015).
  • McGinley and Cooper [2018] M. McGinley and N. R. Cooper, Topology of One-Dimensional Quantum Systems Out of Equilibrium, Phys. Rev. Lett. 121, 090401 (2018).
  • McGinley and Cooper [2019] M. McGinley and N. R. Cooper, Interacting symmetry-protected topological phases out of equilibrium, Phys. Rev. Res. 1, 033204 (2019).
  • Zhang et al. [2021] L. Zhang, L. Zhang, Y. Hu, S. Niu, and X.-J. Liu, Nonequilibrium characterization of equilibrium correlated quantum phases, Phys. Rev. B 103, 224308 (2021).
  • Moeckel and Kehrein [2008] M. Moeckel and S. Kehrein, Interaction quench in the hubbard model, Phys. Rev. Lett. 100, 175702 (2008).
  • White [1992] S. R. White, Density matrix formulation for quantum renormalization groups, Phys. Rev. Lett. 69, 2863 (1992).
  • Song et al. [2010] H. F. Song, S. Rachel, and K. Le Hur, General relation between entanglement and fluctuations in one dimension, Phys. Rev. B 82, 012405 (2010).
  • Rachel et al. [2012] S. Rachel, N. Laflorencie, H. F. Song, and K. Le Hur, Detecting quantum critical points using bipartite fluctuations, Phys. Rev. Lett. 108, 116401 (2012).
  • Anfuso and Rosch [2007] F. Anfuso and A. Rosch, String order and adiabatic continuity of Haldane chains and band insulators, Phys. Rev. B 75, 144420 (2007).
  • Wang et al. [2013] H. T. Wang, B. Li, and S. Y. Cho, Topological quantum phase transition in bond-alternating spin-1212\frac{1}{2}divide start_ARG 1 end_ARG start_ARG 2 end_ARG Heisenberg chains, Phys. Rev. B 87, 054402 (2013).
  • Bahovadinov et al. [2019] M. S. Bahovadinov, O. Gülseren, and J. Schnack, Local entanglement and string order parameter in dimerized models, Journal of Physics: Condensed Matter 31, 505602 (2019).
  • Pollmann and Turner [2012] F. Pollmann and A. M. Turner, Detection of symmetry-protected topological phases in one dimension, Phys. Rev. B 86, 125441 (2012).
  • Li and Haldane [2008] H. Li and F. D. M. Haldane, Entanglement Spectrum as a Generalization of Entanglement Entropy: Identification of Topological Order in Non-Abelian Fractional Quantum Hall Effect States, Phys. Rev. Lett. 101, 010504 (2008).
  • Pollmann et al. [2010] F. Pollmann, A. M. Turner, E. Berg, and M. Oshikawa, Entanglement spectrum of a topological phase in one dimension, Phys. Rev. B 81, 064439 (2010).
  • Ejima et al. [2014] S. Ejima, F. Lange, and H. Fehske, Spectral and Entanglement Properties of the Bosonic Haldane Insulator, Phys. Rev. Lett. 113, 020401 (2014).
  • Pichler et al. [2016] H. Pichler, G. Zhu, A. Seif, P. Zoller, and M. Hafezi, Measurement Protocol for the Entanglement Spectrum of Cold Atoms, Phys. Rev. X 6, 041033 (2016).
  • Islam et al. [2015] R. Islam, R. Ma, P. M. Preiss, M. Eric Tai, A. Lukin, M. Rispoli, and M. Greiner, Measuring entanglement entropy in a quantum many-body system, Nature 528, 77–83 (2015).
  • Daley et al. [2012] A. J. Daley, H. Pichler, J. Schachenmayer, and P. Zoller, Measuring Entanglement Growth in Quench Dynamics of Bosons in an Optical Lattice, Phys. Rev. Lett. 109, 020505 (2012).
  • Essler et al. [2005] F. H. L. Essler, H. Frahm, F. Göhmann, A. Klümper, and V. E. Korepin, The One-Dimensional Hubbard Model (Cambridge University Press, 2005).
  • Auerbach [2012] A. Auerbach, Interacting Electrons and Quantum Magnetism (Springer New York, 2012).
  • Cassidy et al. [2011] A. C. Cassidy, C. W. Clark, and M. Rigol, Generalized Thermalization in an Integrable Lattice System, Phys. Rev. Lett. 106, 140405 (2011).

Supplementary Information

Contents

In this Supplementary Information, we provide more details about the ground-state properties, and far-from-equilibrium many-body dynamics, and construct effective models to provide additional insight into the physics. Without loss of generality and unless otherwise specified, we focus on the two cases studied in the main text, i.e., J1/J2=0.2subscript𝐽1subscript𝐽20.2J_{1}/J_{2}=0.2italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0.2 and U/J2=8𝑈subscript𝐽28U/J_{2}=8italic_U / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 8 in the nontrivial regime, and J1/J2=0.8subscript𝐽1subscript𝐽20.8J_{1}/J_{2}=0.8italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0.8 and U/J2=6𝑈subscript𝐽26U/J_{2}=6italic_U / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 6 in the trivial regime.

I Many-body ground states of the superlattice Bose-Hubbard model

This section reviews the ground-state properties of the one-dimensional superlattice Bose-Hubbard model. We choose open boundary condition for the system and focus on the J1/J2<1subscript𝐽1subscript𝐽21J_{1}/J_{2}<1italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT < 1 regime at half filling. It has been established that this regime supports two possible phases: a Mott insulator (MI) for strong interaction and a superfluid (SF) for weak interaction [38, 39]. For the L=80𝐿80L=80italic_L = 80 case, the many-body phase diagram obtained using density matrix renormalization group (DMRG) [70] simulations is presented in Fig. S1(a). The boundary between the MI and SF phases is determined by the bipartite particle-number fluctuations

𝒜=(i𝒜n^i)2i𝒜n^i2,subscript𝒜superscriptsubscript𝑖𝒜subscript^𝑛𝑖2subscript𝑖𝒜subscriptsuperscript^𝑛2𝑖\displaystyle\mathcal{F}_{\mathcal{A}}=\left(\sum_{i\in{\mathcal{A}}}\hat{n}_{% i}\right)^{2}-\sum_{i\in{\mathcal{A}}}\hat{n}^{2}_{i},caligraphic_F start_POSTSUBSCRIPT caligraphic_A end_POSTSUBSCRIPT = ( ∑ start_POSTSUBSCRIPT italic_i ∈ caligraphic_A end_POSTSUBSCRIPT over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - ∑ start_POSTSUBSCRIPT italic_i ∈ caligraphic_A end_POSTSUBSCRIPT over^ start_ARG italic_n end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , (S1)

where 𝒜𝒜\mathcal{A}caligraphic_A the left subsystem of the chain. This quantity is suppressed in the MI phase but has appreciable values in the SF phase. For a fixed choice of U/J2𝑈subscript𝐽2U/J_{2}italic_U / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, a quantum phase transition can be induced by tuning J1/J2subscript𝐽1subscript𝐽2J_{1}/J_{2}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, as shown in Fig. S1(b) [71, 72].

Refer to caption
Figure S1: Ground-state properties of the one-dimensional superlattice Bose-Hubbard model. (a) Phase diagram of the half-filled system as a function of J1/J2subscript𝐽1subscript𝐽2J_{1}/J_{2}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and U/J2𝑈subscript𝐽2U/J_{2}italic_U / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. The lattice size is L=80𝐿80L=80italic_L = 80 and open boundary condition is used. There is one MI phase and one SF phase whose boundary is determined by computing the bipartite fluctuation 𝒜subscript𝒜\mathcal{F}_{\mathcal{A}}caligraphic_F start_POSTSUBSCRIPT caligraphic_A end_POSTSUBSCRIPT. Two representative points are labeled for subsequent studies: the nontrivial case A corresponds to J1/J2=0.2,U/J2=8formulae-sequencesubscript𝐽1subscript𝐽20.2𝑈subscript𝐽28J_{1}/J_{2}=0.2,U/J_{2}=8italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0.2 , italic_U / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 8 and the trivial case B corresponds to J1/J2=0.8,U/J2=6formulae-sequencesubscript𝐽1subscript𝐽20.8𝑈subscript𝐽26J_{1}/J_{2}=0.8,U/J_{2}=6italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0.8 , italic_U / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 6. (b) The line cut of 𝒜subscript𝒜\mathcal{F}_{\mathcal{A}}caligraphic_F start_POSTSUBSCRIPT caligraphic_A end_POSTSUBSCRIPT as a function of J1/J2subscript𝐽1subscript𝐽2J_{1}/J_{2}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT for U/J2=8𝑈subscript𝐽28U/J_{2}=8italic_U / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 8 [the dotted line in (a)]. (c) The string correlation Oi,jsubscript𝑂𝑖𝑗O_{i,j}italic_O start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT, parity correlation Oi,j𝕀subscriptsuperscript𝑂𝕀𝑖𝑗O^{\mathbb{I}}_{i,j}italic_O start_POSTSUPERSCRIPT blackboard_I end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT, and density-wave correlation Oi,jDWsubscriptsuperscript𝑂DW𝑖𝑗O^{\rm DW}_{i,j}italic_O start_POSTSUPERSCRIPT roman_DW end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT for the nontrivial MI phase versus the lattice site distance |ij|𝑖𝑗|i-j|| italic_i - italic_j |. Oi,jsubscript𝑂𝑖𝑗O_{i,j}italic_O start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT is long-ranged but Oi,j𝕀subscriptsuperscript𝑂𝕀𝑖𝑗O^{\mathbb{I}}_{i,j}italic_O start_POSTSUPERSCRIPT blackboard_I end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT and Oi,jDWsubscriptsuperscript𝑂DW𝑖𝑗O^{\rm DW}_{i,j}italic_O start_POSTSUPERSCRIPT roman_DW end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT are not. (d) Entanglement spectrum for the nontrivial (red lines and dots) and the trivial cases (blue lines and dots). There is a two-fold degeneracy for each entanglement level in the nontrivial case.

The MI phase is topologically nontrivial that can be characterized by nonlocal string correlation and entanglement spectrum. To begin with, one may inspect the hardcore limit U𝑈U\rightarrow\inftyitalic_U → ∞. Using the Jordan-Wigner transformation, the nontrivial phase can be smoothly connected to the Haldane phase of a bond-alternating spin-1/2 antiferromagnetic Heisenberg model [73, 74, 75]. It is well known that the Haldane phase has a hidden order that can be probed using a nonlocal string correlation [47]. In the superlattice Bose-Hubbard model, we can construct the operator

O^i,j=4δn^ik=i+1j1eiπδn^kδn^j,subscript^𝑂𝑖𝑗4𝛿subscript^𝑛𝑖superscriptsubscriptproduct𝑘𝑖1𝑗1superscript𝑒i𝜋𝛿subscript^𝑛𝑘𝛿subscript^𝑛𝑗\displaystyle\hat{O}_{i,j}=-4\delta\hat{n}_{i}\prod_{k=i+1}^{j-1}e^{\text{i}% \pi\delta\hat{n}_{k}}\delta\hat{n}_{j},over^ start_ARG italic_O end_ARG start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT = - 4 italic_δ over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∏ start_POSTSUBSCRIPT italic_k = italic_i + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j - 1 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT i italic_π italic_δ over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_δ over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , (S2)

to reveal the string order, where δn^i=n¯n^i𝛿subscript^𝑛𝑖¯𝑛subscript^𝑛𝑖\delta\hat{n}_{i}=\overline{n}-\hat{n}_{i}italic_δ over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = over¯ start_ARG italic_n end_ARG - over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT is the density fluctuations with respect to the average filling and the prefactor 4444 is chosen for proper normalization [44]. As shown in Fig. S1(c), the expectation value of O^i,jsubscript^𝑂𝑖𝑗{\hat{O}}_{i,j}over^ start_ARG italic_O end_ARG start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT in the ground state is clearly nonzero for the whole range of |ij|𝑖𝑗|i-j|| italic_i - italic_j |, which signifies the realization of the Haldane phase. Besides the string correlation, we have also studied the parity order parameter

O^i,j𝕀=𝕀ik=i+1j1eiπδn^k𝕀j,subscriptsuperscript^𝑂𝕀𝑖𝑗subscript𝕀𝑖superscriptsubscriptproduct𝑘𝑖1𝑗1superscript𝑒i𝜋𝛿subscript^𝑛𝑘subscript𝕀𝑗\displaystyle\hat{O}^{\mathbb{I}}_{i,j}=\mathbb{I}_{i}\prod_{k=i+1}^{j-1}e^{% \text{i}\pi\delta\hat{n}_{k}}\mathbb{I}_{j},over^ start_ARG italic_O end_ARG start_POSTSUPERSCRIPT blackboard_I end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT = blackboard_I start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∏ start_POSTSUBSCRIPT italic_k = italic_i + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j - 1 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT i italic_π italic_δ over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUPERSCRIPT blackboard_I start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , (S3)

(𝕀isubscript𝕀𝑖\mathbb{I}_{i}blackboard_I start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT is the identity operator on lattice site i𝑖iitalic_i) and the density-wave order parameter

O^i,jDW=(1)|ij|δn^iδn^j,subscriptsuperscript^𝑂DW𝑖𝑗superscript1𝑖𝑗𝛿subscript^𝑛𝑖𝛿subscript^𝑛𝑗\displaystyle\hat{O}^{\rm DW}_{i,j}=(-1)^{|i-j|}\delta\hat{n}_{i}\delta\hat{n}% _{j},over^ start_ARG italic_O end_ARG start_POSTSUPERSCRIPT roman_DW end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT = ( - 1 ) start_POSTSUPERSCRIPT | italic_i - italic_j | end_POSTSUPERSCRIPT italic_δ over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_δ over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , (S4)

that were introduced in Refs. [45, 76, 44]. Both of them vanish in the MI phase [see Fig. S1(c)], so the long-range string correlation of the ground state cannot be attributed to properties of a trivial state. Entanglement spectrum is a very useful tool for studying topological phases [77]. The chain is divided into two subsystems 𝒜𝒜\mathcal{A}caligraphic_A and \mathcal{B}caligraphic_B with equal length and a Schmidt decomposition of the ground state |ΨGSketsubscriptΨGS\left|\Psi_{\rm GS}\right\rangle| roman_Ψ start_POSTSUBSCRIPT roman_GS end_POSTSUBSCRIPT ⟩ yields

|ΨGS=αλα|𝒜α|α.ketsubscriptΨGSsubscript𝛼subscript𝜆𝛼ketsubscript𝒜𝛼ketsubscript𝛼\displaystyle\left|\Psi_{\rm GS}\right\rangle=\sum_{\alpha}\lambda_{\alpha}% \left|{\mathcal{A}}_{\alpha}\right\rangle\left|{\mathcal{B}}_{\alpha}\right\rangle.| roman_Ψ start_POSTSUBSCRIPT roman_GS end_POSTSUBSCRIPT ⟩ = ∑ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT | caligraphic_A start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ⟩ | caligraphic_B start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ⟩ . (S5)

Here λα(α=1,,χ)subscript𝜆𝛼𝛼1𝜒\lambda_{\alpha}\left(\alpha=1,\dots,\chi\right)italic_λ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( italic_α = 1 , … , italic_χ ) are the Schmidt values and |𝒜αketsubscript𝒜𝛼\left|{\mathcal{A}}_{\alpha}\right\rangle| caligraphic_A start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ⟩ and |αketsubscript𝛼\left|{\mathcal{B}}_{\alpha}\right\rangle| caligraphic_B start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ⟩ are the associated Schmidt vectors. Entanglement spectrum is computed from the Schmidt values via 2logλα2subscript𝜆𝛼-2\log{\lambda_{\alpha}}- 2 roman_log italic_λ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT. For the MI phase, each level in the entanglement spectrum is two-fold degenerate as one can see from the left panels of Fig. S1(d) [78, 79]. This degeneracy disappears when the system enters the SF phase as shown in the right panels of Fig. S1(d).

Refer to caption
Figure S2: Comparison of TDVP with ED for the L=12𝐿12L=12italic_L = 12 system in the nontrivial case. (a) Time evolution of the bulk imbalance Δb(t)subscriptΔ𝑏𝑡\Delta_{b}(t)roman_Δ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ( italic_t ). (b) Time evolution of the string correlation Oij(t)subscript𝑂𝑖𝑗𝑡O_{ij}(t)italic_O start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( italic_t ). Its value is clearly nonzero up to t=1000/J2𝑡1000subscript𝐽2t=1000/J_{2}italic_t = 1000 / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. Both quantities exhibit oscillations that are mainly caused by finite-size effects and would be gradually suppressed as the system size increases.

II Relaxation dynamics of the superlattice Bose-Hubbard model

This section provides more numerical results about the relaxation dynamics of the superlattice Bose-Hubbard model obtained using the time-dependent variational principle (TDVP) and exact diagonalization (ED). In Sec. II.1, ED results up to t=1000/J2𝑡1000subscript𝐽2t=1000/J_{2}italic_t = 1000 / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT are presented and compared with TDVP results. In Sec. II.2, the dependence of the string correlation on matrix-product-state (MPS) bond dimension and lattice-site distance are investigated. In Sec. II.3, the dynamics of the parity and density-wave orders are presented to exclude trivial origin of our observations in the stationary states. In Sec. II.4, the second-order Renyi entropy is computed to check if the stationary state has thermalized. In Sec. II.5, the dynamics of entanglement spectrum is employed as an alternative method to probe the topological nature of the stationary states.

II.1 Comparison of TDVP with ED

For smaller systems, long-time dynamics can also be investigated by time-dependent ED [49]. To verify the reliability of TDVP, the dynamics of the interacting bosonic system is compared against the results of ED. We take a L=12𝐿12L=12italic_L = 12 chain as an example, and study the long-time dynamics in the topologically nontrivial regime. We choose the initial state to be |ψ(0)=|1010ket𝜓0ket1010\left|\psi\left(0\right)\right\rangle=\left|1010\dots\right\rangle| italic_ψ ( 0 ) ⟩ = | 1010 … ⟩ and a time step of Δt=0.05/J2Δ𝑡0.05subscript𝐽2\Delta t=0.05/J_{2}roman_Δ italic_t = 0.05 / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT within ED and TDVP. As shown in Fig. S2, the comparisons between ED and TVDP are in good agreement even up to t=1000/J2𝑡1000subscript𝐽2t=1000/J_{2}italic_t = 1000 / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. In addition, we find the string correlation of the L=12𝐿12L=12italic_L = 12 chain persists for long time, indicating the stability of nonthermal features in the many-body relaxation dynamics. We remark here that the persistent oscillations of observations are mainly a result of the finite-size effect and suppressed for larger system size.

Refer to caption
Figure S3: String correlation for the L=32𝐿32L=32italic_L = 32 system in the nontrivial case. (a-d) Time evolution of Oi,j(t)subscript𝑂𝑖𝑗𝑡O_{i,j}(t)italic_O start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ( italic_t ) for four different lengths |ij|=29𝑖𝑗29|i-j|=29| italic_i - italic_j | = 29, 25252525, 21212121, and 17171717. (e-h) Oi,j(t)subscript𝑂𝑖𝑗𝑡O_{i,j}(t)italic_O start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ( italic_t ) as a function of the length |ij|𝑖𝑗|i-j|| italic_i - italic_j | at four different time slices. The results are obtained using bond dimensions between 1000100010001000 to 3000300030003000.

II.2 Dynamics of the string correlation

Numerical simulations based on MPS are fundamentally variational, so it is important to verify that good convergence has been achieved. Time evolution of the string correlation at four different lengths |ij|𝑖𝑗|i-j|| italic_i - italic_j | are presented in Fig. S3(a-d). It decays rapidly at the beginning but is clearly distinct from zero in the long-time limit. The values of Oi,j(t)subscript𝑂𝑖𝑗𝑡O_{i,j}(t)italic_O start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ( italic_t ) at different bond dimensions almost coincide, so we conclude that M=3000𝑀3000M=3000italic_M = 3000 is sufficient for our purpose. The string correlation versus string length |ij|𝑖𝑗|i-j|| italic_i - italic_j | at four different time slices are presented in Fig. S3(e-h). An interesting feature is that Oi,j(t)subscript𝑂𝑖𝑗𝑡O_{i,j}(t)italic_O start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ( italic_t ) first decreases (to a nonzero minimum) and then increases as the length |ij|𝑖𝑗|i-j|| italic_i - italic_j | becomes large. It has been observed in a previous experiment that the string correlation exhibits length dependence in the Haldane phase realized using Fermi-Hubbard ladder [28].

Refer to caption
Figure S4: Dynamics of the string, parity, and density-wave correlations in the L=32𝐿32L=32italic_L = 32 system. (a-c) Time evolution of the three quantities at four different lengths |ij|𝑖𝑗|i-j|| italic_i - italic_j | in the nontrivial case. (d-f) Time evolution of the three quantities at four different lengths |ij|𝑖𝑗|i-j|| italic_i - italic_j | in the trivial case. In all cases, two ends of the chain are not used when computing the density-wave correlation to eliminate the impact of bosons localized at the edges. (g-i) The three quantities at t=100/J2𝑡100subscript𝐽2t=100/J_{2}italic_t = 100 / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT versus the length |ij|𝑖𝑗|i-j|| italic_i - italic_j |. In the nontrivial case, a trivial product state evolves to an emergent topological state with long-range string correlation but no parity or density-wave correlations. In the trivial case, there is no long-range correlation in the time-evolved stationary state. The results are obtained using bond dimension up to 3000300030003000.

II.3 Dynamics of parity and density-wave correlations

Besides the Haldane phase, some trivial states can also have nonzero string correlation. It is important to explore and rule out these trivial origins so our observation can be attributed to the presence of symmetry-protected topological (SPT) order. To this end, we have computed the parity correlation function O^i,j𝕀subscriptsuperscript^𝑂𝕀𝑖𝑗\hat{O}^{\mathbb{I}}_{i,j}over^ start_ARG italic_O end_ARG start_POSTSUPERSCRIPT blackboard_I end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT and density-wave correlation function O^i,jDWsubscriptsuperscript^𝑂DW𝑖𝑗\hat{O}^{\rm DW}_{i,j}over^ start_ARG italic_O end_ARG start_POSTSUPERSCRIPT roman_DW end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT. The initial state |1010ket1010\left|1010\dots\right\rangle| 1010 … ⟩ has long-range string, parity, and density-wave correlations as shown in Fig. S4(a-c), respectively. For these three panels, the Hamiltonian belongs to the nontrivial regime. Time-evolved stationary state at large t𝑡titalic_t still has long-range string correlation, but the other two quantities vanish. This distinction provides strong support for the topological nature of the stationary state. In contrast, when the Hamiltonian is trivial and the system thermalizes during time evolution, the initial state would have a effective high temperature so the stationary state is expected to be featureless with no symmetry-breaking order. This picture is confirmed by the numerical results in Fig. S4(d-f). The three correlations for different lengths |ij|𝑖𝑗|i-j|| italic_i - italic_j | in the nontrivial and trivial regimes are presented in Fig. S4(g-i). The string correlation in the nontrivial case has a nonzero value for the whole range of |ij|𝑖𝑗|i-j|| italic_i - italic_j | but all other quantities vanish at large |ij|𝑖𝑗|i-j|| italic_i - italic_j |.

Refer to caption
Figure S5: Dynamics of the entanglement entropy. The first row is for the nontrivial case and the second row is for the trivial case. (a) The variations with MPS bond dimension of the entropy at the center of the L=32𝐿32L=32italic_L = 32 system. (b) The half system entropy for several different L𝐿Litalic_L’s. (c) The subsystem size dependence of the late-time entropy. Thermal entropy given by the canonical thermal ensembles is shown as black lines with rectangle markers for comparison. (d-f) Each panel shows the same quantity as the panel above it. The results in (b), (c), (e), and (f) are obtained using bond dimension 3000300030003000.

II.4 Dynamics of the entanglement entropy

It has been pointed out that local observables may not be sufficient to uncover the existence or absence of thermalization. Instead, bipartite entanglement entropy could serve as a more powerful tool for analyzing thermalization. We have computed the second-order Renyi entropy S𝒜(t)=log[Tr(ρ𝒜2(t))]subscript𝑆𝒜𝑡logdelimited-[]Trsubscriptsuperscript𝜌2𝒜𝑡S_{\mathcal{A}}(t)=-\text{log}\left[\text{Tr}\left(\rho^{2}_{\mathcal{A}}(t)% \right)\right]italic_S start_POSTSUBSCRIPT caligraphic_A end_POSTSUBSCRIPT ( italic_t ) = - log [ Tr ( italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_A end_POSTSUBSCRIPT ( italic_t ) ) ] for multiple systems, where 𝒜𝒜\mathcal{A}caligraphic_A is a subsystem with l𝒜subscript𝑙𝒜l_{\mathcal{A}}italic_l start_POSTSUBSCRIPT caligraphic_A end_POSTSUBSCRIPT sites and ρ𝒜(t)subscript𝜌𝒜𝑡\rho_{\mathcal{A}}(t)italic_ρ start_POSTSUBSCRIPT caligraphic_A end_POSTSUBSCRIPT ( italic_t ) is the associated reduced density matrix. The data presented below are for the L=32𝐿32L=32italic_L = 32 case.

The dynamical buildup of entanglement entropy in the topologically nontrivial and trivial regimes are very different. In the former case, the entropy increases with time for a transient period and then begins to saturate at late time [see Fig. S5(a)]. By inspecting multiple bond dimensions, we conclude that the saturation is not an artificial truncation caused by finite bond dimension. The saturated value is actually a constant and M=1500𝑀1500M=1500italic_M = 1500 is sufficient for the relaxation dynamics when t100/J2𝑡100subscript𝐽2t\leq 100/J_{2}italic_t ≤ 100 / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. In the latter case, the entropy also saturates after rapid initial growth, and the maximal entropy increases with the bond dimension [see Fig. S5(d)]. This is not surprising because a high-lying state that thermalizes in time evolution should lead to volume law entropy that can only be captured by very large bond dimension. The system-size dependence of the entropy is displayed in Fig. S5(b) and (e). In the nontrivial case, t=100/J2𝑡100subscript𝐽2t=100/J_{2}italic_t = 100 / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT is sufficient to observe saturation in all cases so we set this as the upper limit in our simulations. We have also studied the evolution of the entropy with the subsystem length l𝒜subscript𝑙𝒜l_{\mathcal{A}}italic_l start_POSTSUBSCRIPT caligraphic_A end_POSTSUBSCRIPT at t=100/J2𝑡100subscript𝐽2t=100/J_{2}italic_t = 100 / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. As shown in Fig. S5(f), the entropy grows linearly with l𝒜subscript𝑙𝒜l_{\mathcal{A}}italic_l start_POSTSUBSCRIPT caligraphic_A end_POSTSUBSCRIPT in the trivial case and is basically identical to the thermal entropy given by the canonical ensemble before it saturates in the middle of the system. However, one can see from Fig. S5(c) that the entropy is noticeably smaller than the thermal entropy in the nontrivial case. The data in Fig. S5(b) and (c) corroborate the nonthermal nature of the time-evolved stationary state in the nontrivial case.

II.5 Dynamics of the entanglement spectrum

One may naively anticipate that the two-fold degeneracy in the entanglement spectrum of the ground state can also be found in the time-evolved stationary state. This is not the case because the Schmidt values generally oscillate with time rather than stay constant. Nevertheless, it has been proposed that level crossings of the Schmidt values is a useful fingerprint of topological states in time evolution [56]. The largest four Schmidt values of the L=32𝐿32L=32italic_L = 32 system are plotted in Fig. S6. For the nontrivial case in panel (a), level crossings between λ1subscript𝜆1\lambda_{1}italic_λ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and λ2subscript𝜆2\lambda_{2}italic_λ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and between λ3subscript𝜆3\lambda_{3}italic_λ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT and λ4subscript𝜆4\lambda_{4}italic_λ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT occur at certain time slices during time evolution. On the contrary, the four levels become degenerate at t40/J2similar-to𝑡40subscript𝐽2t\sim 40/J_{2}italic_t ∼ 40 / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and remain constant thereafter for the trivial case in panel (b). It would be very interesting to explore the entanglement spectrum using advanced experimental techniques in ultracold atoms [80, 81, 82].

Refer to caption
Figure S6: Dynamics of the entanglement spectrum in the L=32𝐿32L=32italic_L = 32 system. (a) Time evolution of the largest four entanglement levels for the nontrivial case. (b) The same quantities as in panel (a) for the trivial case. The results are obtained using bond dimension 2500250025002500.

III Analytical results and effective models

This section aims to unveil physics of the superlattice Bose-Hubbard model using analytical results in certain limits. An inspection of the wave functions in the nontrivial and trivial limits provides important insights about the string correlation. We also construct an effective model for our system using perturbation theory. It is demonstrated that the relaxation dynamics and nonequilibrium physics can be understood by kee** up to second-order terms.

III.1 The nontrivial limit J1/J20subscript𝐽1subscript𝐽20J_{1}/J_{2}\rightarrow 0italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT → 0

In the limit of J1/J20subscript𝐽1subscript𝐽20J_{1}/J_{2}\rightarrow 0italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT → 0, Eq. (1) in main text becomes

H^J2=J2i,evenb^ib^i+1+H.c.+U2i=1Ln^i(n^i1).formulae-sequencesubscript^𝐻subscript𝐽2subscript𝐽2subscript𝑖evensubscriptsuperscript^𝑏𝑖subscript^𝑏𝑖1Hc𝑈2subscriptsuperscript𝐿𝑖1subscript^𝑛𝑖subscript^𝑛𝑖1\displaystyle\hat{H}_{J_{2}}=-J_{2}\sum_{i,\text{even}}\hat{b}^{\dagger}_{i}% \hat{b}_{i+1}+{\rm{H.c.}}+\frac{U}{2}\sum^{L}_{i=1}\hat{n}_{i}(\hat{n}_{i}-1).over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT = - italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_i , even end_POSTSUBSCRIPT over^ start_ARG italic_b end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT + roman_H . roman_c . + divide start_ARG italic_U end_ARG start_ARG 2 end_ARG ∑ start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - 1 ) . (S6)

Time evolution of the initial state |1010ket1010\left|1010\cdots\right\rangle| 1010 ⋯ ⟩ under this Hamiltonian is significantly simplified. The two sites at the ends are decoupled from the bulk while the other sites break into pairs consist of two adjacent sites. It is useful to introduce the Bell pairs |±i=(|01±|10)i,i+1/2subscriptketplus-or-minus𝑖subscriptplus-or-minusket01ket10𝑖𝑖12\left|\pm\right\rangle_{i}=(\left|01\right\rangle\pm\left|10\right\rangle)_{i,% i+1}/\sqrt{2}| ± ⟩ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = ( | 01 ⟩ ± | 10 ⟩ ) start_POSTSUBSCRIPT italic_i , italic_i + 1 end_POSTSUBSCRIPT / square-root start_ARG 2 end_ARG on sites i𝑖iitalic_i and i+1𝑖1i+1italic_i + 1. The ground state of the coupled two sites is |+isubscriptket𝑖\left|+\right\rangle_{i}| + ⟩ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, so the ground state of the full system is

|ΨJ2=|1|+2|+4|0.ketsubscriptΨsubscript𝐽2tensor-productket1subscriptket2subscriptket4ket0\displaystyle\left|\Psi_{J_{2}}\right\rangle=\left|1\right\rangle\otimes\left|% +\right\rangle_{2}\otimes\left|+\right\rangle_{4}\otimes\cdots\otimes\left|0% \right\rangle.| roman_Ψ start_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ⟩ = | 1 ⟩ ⊗ | + ⟩ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⊗ | + ⟩ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT ⊗ ⋯ ⊗ | 0 ⟩ . (S7)

and its string correlation Oij=1subscript𝑂𝑖𝑗1O_{ij}=1italic_O start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = 1. The time-evolved state is

|ψJ2(t)=|1[eiJ2t|+2+eiJ2t|22]|0,ketsubscript𝜓subscript𝐽2𝑡tensor-productket1delimited-[]superscript𝑒𝑖subscript𝐽2𝑡subscriptket2superscript𝑒𝑖subscript𝐽2𝑡subscriptket22ket0\displaystyle|\psi_{J_{2}}\left(t\right)\rangle=\left|1\right\rangle\otimes% \left[\frac{e^{iJ_{2}t}|+\rangle_{2}+e^{-iJ_{2}t}|-\rangle_{2}}{\sqrt{2}}% \right]\otimes\cdots\otimes\left|0\right\rangle,| italic_ψ start_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) ⟩ = | 1 ⟩ ⊗ [ divide start_ARG italic_e start_POSTSUPERSCRIPT italic_i italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT | + ⟩ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_e start_POSTSUPERSCRIPT - italic_i italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT | - ⟩ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ] ⊗ ⋯ ⊗ | 0 ⟩ , (S8)

for which the string correlation is still Oi,j(t)=1subscript𝑂𝑖𝑗𝑡1O_{i,j}\left(t\right)=1italic_O start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ( italic_t ) = 1. While this analysis is interesting, it is not exactly the same as the physics discussed in the main text. This can be seen from the average imbalance in the bulk

Δb(t)2L2i=2L1[ni,odd(t)ni,even(t)]cos2J2t,subscriptΔ𝑏𝑡2𝐿2subscriptsuperscript𝐿1𝑖2delimited-[]subscript𝑛i,odd𝑡subscript𝑛i,even𝑡proportional-to2subscript𝐽2𝑡\displaystyle\Delta_{b}(t)\equiv\frac{2}{L-2}\sum^{L-1}_{i=2}\left[n_{\text{i,% odd}}(t)-n_{\text{i,even}}(t)\right]\propto\cos{2J_{2}t}\,,roman_Δ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ( italic_t ) ≡ divide start_ARG 2 end_ARG start_ARG italic_L - 2 end_ARG ∑ start_POSTSUPERSCRIPT italic_L - 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i = 2 end_POSTSUBSCRIPT [ italic_n start_POSTSUBSCRIPT i,odd end_POSTSUBSCRIPT ( italic_t ) - italic_n start_POSTSUBSCRIPT i,even end_POSTSUBSCRIPT ( italic_t ) ] ∝ roman_cos 2 italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_t , (S9)

whose oscillation is in sharp contrast to the results in Fig. 4(c) of the main text.

III.2 The trivial limit J2/J10subscript𝐽2subscript𝐽10J_{2}/J_{1}\rightarrow 0italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT → 0

In the limit of J2/J10subscript𝐽2subscript𝐽10J_{2}/J_{1}\rightarrow 0italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT → 0, Eq. (1) in the main text becomes

H^J1=J1i,oddb^ib^i+1+H.c.+U2i=1Ln^i(n^i1).formulae-sequencesubscript^𝐻subscript𝐽1subscript𝐽1subscript𝑖oddsubscriptsuperscript^𝑏𝑖subscript^𝑏𝑖1Hc𝑈2subscriptsuperscript𝐿𝑖1subscript^𝑛𝑖subscript^𝑛𝑖1\displaystyle\hat{H}_{J_{1}}=-J_{1}\sum_{i,\text{odd}}\hat{b}^{\dagger}_{i}% \hat{b}_{i+1}+{\rm{H.c.}}+\frac{U}{2}\sum^{L}_{i=1}\hat{n}_{i}(\hat{n}_{i}-1).over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT = - italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_i , odd end_POSTSUBSCRIPT over^ start_ARG italic_b end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT + roman_H . roman_c . + divide start_ARG italic_U end_ARG start_ARG 2 end_ARG ∑ start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - 1 ) . (S10)

An even numbered site is coupled with its left neighbor but decoupled from its right neighbor, so the system breaks into L/2𝐿2L/2italic_L / 2 copies of two-site pairs. The ground state can be written as |ΨJ1=|+1|+3ketsubscriptΨsubscript𝐽1tensor-productsubscriptket1subscriptket3\left|\Psi_{J_{1}}\right\rangle=\left|+\right\rangle_{1}\otimes\left|+\right% \rangle_{3}\otimes\cdots| roman_Ψ start_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ⟩ = | + ⟩ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⊗ | + ⟩ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ⊗ ⋯. It has no string correlation as one would expect. Time evolution of the initial state |1010ket1010\left|1010\cdots\right\rangle| 1010 ⋯ ⟩ yields

|ψJ1(t)=[eiJ1t|+1eiJ1t|12][eiJ1t|+3eiJ1t|32].ketsubscript𝜓subscript𝐽1𝑡tensor-productdelimited-[]superscript𝑒𝑖subscript𝐽1𝑡subscriptket1superscript𝑒𝑖subscript𝐽1𝑡subscriptket12delimited-[]superscript𝑒𝑖subscript𝐽1𝑡subscriptket3superscript𝑒𝑖subscript𝐽1𝑡subscriptket32\displaystyle|\psi_{J_{1}}\left(t\right)\rangle=\left[\frac{e^{iJ_{1}t}|+% \rangle_{1}-e^{-iJ_{1}t}|-\rangle_{1}}{\sqrt{2}}\right]\otimes\left[\frac{e^{% iJ_{1}t}|+\rangle_{3}-e^{-iJ_{1}t}|-\rangle_{3}}{\sqrt{2}}\right]\otimes\cdots.| italic_ψ start_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) ⟩ = [ divide start_ARG italic_e start_POSTSUPERSCRIPT italic_i italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT | + ⟩ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_e start_POSTSUPERSCRIPT - italic_i italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT | - ⟩ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ] ⊗ [ divide start_ARG italic_e start_POSTSUPERSCRIPT italic_i italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT | + ⟩ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT - italic_e start_POSTSUPERSCRIPT - italic_i italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT | - ⟩ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ] ⊗ ⋯ . (S11)

One can see that the string correlation

Oi,j(t)=12+12cos(4J1t)subscript𝑂𝑖𝑗𝑡12124subscript𝐽1𝑡\displaystyle O_{i,j}\left(t\right)=\frac{1}{2}+\frac{1}{2}\cos\left(4J_{1}t\right)italic_O start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ( italic_t ) = divide start_ARG 1 end_ARG start_ARG 2 end_ARG + divide start_ARG 1 end_ARG start_ARG 2 end_ARG roman_cos ( 4 italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_t ) (S12)

and the bulk imbalance Δb(t)cos2J1tproportional-tosubscriptΔ𝑏𝑡2subscript𝐽1𝑡\Delta_{b}(t)\propto\cos{2J_{1}t}roman_Δ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ( italic_t ) ∝ roman_cos 2 italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_t. Both quantities oscillate with time, which is different from the ground state and the results in Fig. 4(c) of the main text.

III.3 Effective model in the strongly correlated regime

The two limits discussed above fail to provide an accurate account of the relaxation dynamics that we are interested in. This is hardly surprising given that the system is actually integrable in both cases. To overcome this challenge, effective models for our system have been derived using the projection operator method [83, 84]. Deep in the Mott phase with UJ1,J2much-greater-than𝑈subscript𝐽1subscript𝐽2U\gg J_{1},J_{2}italic_U ≫ italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, large onsite repulsion suppresses particle number fluctuations, so it is natural to organize perturbative calculations according to lattice site occupations. We define P^^𝑃\hat{P}over^ start_ARG italic_P end_ARG (Q^^𝑄\hat{Q}over^ start_ARG italic_Q end_ARG) as the projection operator onto the subspace Psubscript𝑃\mathcal{H}_{P}caligraphic_H start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT in which each site hosts at most one boson (Qsubscript𝑄\mathcal{H}_{Q}caligraphic_H start_POSTSUBSCRIPT italic_Q end_POSTSUBSCRIPT at least one site is doubly occupied). These operators satisfy the relations P^2=P^superscript^𝑃2^𝑃\hat{P}^{2}=\hat{P}over^ start_ARG italic_P end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = over^ start_ARG italic_P end_ARG, Q^2=Q^superscript^𝑄2^𝑄\hat{Q}^{2}=\hat{Q}over^ start_ARG italic_Q end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = over^ start_ARG italic_Q end_ARG, and P^+Q^=1^𝑃^𝑄1\hat{P}+\hat{Q}=1over^ start_ARG italic_P end_ARG + over^ start_ARG italic_Q end_ARG = 1.

The hop** terms in the original Hamiltonian are denoted as HJsubscript𝐻𝐽H_{J}italic_H start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT and the onsite repulsion as HUsubscript𝐻𝑈H_{U}italic_H start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT. Its eigenvalue problem can be written as

H^|ψ=(H^J+H^U)|ψ=(H^J+H^U)(P^+Q^)|ψ=E|ψ.^𝐻ket𝜓subscript^𝐻𝐽subscript^𝐻𝑈ket𝜓subscript^𝐻𝐽subscript^𝐻𝑈^𝑃^𝑄ket𝜓𝐸ket𝜓\displaystyle\hat{H}|\psi\rangle=\left(\hat{H}_{J}+\hat{H}_{U}\right)|\psi% \rangle=\left(\hat{H}_{J}+\hat{H}_{U}\right)\left(\hat{P}+\hat{Q}\right)|\psi% \rangle=E|\psi\rangle.over^ start_ARG italic_H end_ARG | italic_ψ ⟩ = ( over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT + over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT ) | italic_ψ ⟩ = ( over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT + over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT ) ( over^ start_ARG italic_P end_ARG + over^ start_ARG italic_Q end_ARG ) | italic_ψ ⟩ = italic_E | italic_ψ ⟩ . (S13)

If we multiply both sides by P^^𝑃\hat{P}over^ start_ARG italic_P end_ARG or Q^^𝑄\hat{Q}over^ start_ARG italic_Q end_ARG, the equation becomes

(P^H^JP^+P^H^JQ^+P^H^UP^+P^H^UQ^)|ψ=EP^|ψ,^𝑃subscript^𝐻𝐽^𝑃^𝑃subscript^𝐻𝐽^𝑄^𝑃subscript^𝐻𝑈^𝑃^𝑃subscript^𝐻𝑈^𝑄ket𝜓𝐸^𝑃ket𝜓\displaystyle\left(\hat{P}\hat{H}_{J}\hat{P}+\hat{P}\hat{H}_{J}\hat{Q}+\hat{P}% \hat{H}_{U}\hat{P}+\hat{P}\hat{H}_{U}\hat{Q}\right)|\psi\rangle=E\hat{P}|\psi\rangle,( over^ start_ARG italic_P end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT over^ start_ARG italic_P end_ARG + over^ start_ARG italic_P end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT over^ start_ARG italic_Q end_ARG + over^ start_ARG italic_P end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT over^ start_ARG italic_P end_ARG + over^ start_ARG italic_P end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT over^ start_ARG italic_Q end_ARG ) | italic_ψ ⟩ = italic_E over^ start_ARG italic_P end_ARG | italic_ψ ⟩ , (S14)
(Q^H^JP^+Q^H^JQ^+Q^H^UP^+Q^H^UQ^)|ψ=EQ^|ψ.^𝑄subscript^𝐻𝐽^𝑃^𝑄subscript^𝐻𝐽^𝑄^𝑄subscript^𝐻𝑈^𝑃^𝑄subscript^𝐻𝑈^𝑄ket𝜓𝐸^𝑄ket𝜓\displaystyle\left(\hat{Q}\hat{H}_{J}\hat{P}+\hat{Q}\hat{H}_{J}\hat{Q}+\hat{Q}% \hat{H}_{U}\hat{P}+\hat{Q}\hat{H}_{U}\hat{Q}\right)|\psi\rangle=E\hat{Q}|\psi\rangle.( over^ start_ARG italic_Q end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT over^ start_ARG italic_P end_ARG + over^ start_ARG italic_Q end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT over^ start_ARG italic_Q end_ARG + over^ start_ARG italic_Q end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT over^ start_ARG italic_P end_ARG + over^ start_ARG italic_Q end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT over^ start_ARG italic_Q end_ARG ) | italic_ψ ⟩ = italic_E over^ start_ARG italic_Q end_ARG | italic_ψ ⟩ . (S15)

The first one can be manipulated with the aid of the second one to yield

(P^H^JP^+P^H^JQ^1EQ^H^UQ^Q^H^JQ^Q^H^JP^)P^|ψ=EP^|ψ,^𝑃subscript^𝐻𝐽^𝑃^𝑃subscript^𝐻𝐽^𝑄1𝐸^𝑄subscript^𝐻𝑈^𝑄^𝑄subscript^𝐻𝐽^𝑄^𝑄subscript^𝐻𝐽^𝑃^𝑃ket𝜓𝐸^𝑃ket𝜓\displaystyle\left(\hat{P}\hat{H}_{J}\hat{P}+\hat{P}\hat{H}_{J}\hat{Q}\frac{1}% {E-\hat{Q}\hat{H}_{U}\hat{Q}-\hat{Q}\hat{H}_{J}\hat{Q}}\hat{Q}\hat{H}_{J}\hat{% P}\right)\hat{P}|\psi\rangle=E\hat{P}|\psi\rangle,( over^ start_ARG italic_P end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT over^ start_ARG italic_P end_ARG + over^ start_ARG italic_P end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT over^ start_ARG italic_Q end_ARG divide start_ARG 1 end_ARG start_ARG italic_E - over^ start_ARG italic_Q end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT over^ start_ARG italic_Q end_ARG - over^ start_ARG italic_Q end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT over^ start_ARG italic_Q end_ARG end_ARG over^ start_ARG italic_Q end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT over^ start_ARG italic_P end_ARG ) over^ start_ARG italic_P end_ARG | italic_ψ ⟩ = italic_E over^ start_ARG italic_P end_ARG | italic_ψ ⟩ , (S16)

so we conclude that the effective Hamiltonian for the subspace Psubscript𝑃\mathcal{H}_{P}caligraphic_H start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT is

H^eff=P^H^JP^+P^H^JQ^1EQ^H^UQ^Q^H^JQ^Q^H^JP^.subscript^𝐻eff^𝑃subscript^𝐻𝐽^𝑃^𝑃subscript^𝐻𝐽^𝑄1𝐸^𝑄subscript^𝐻𝑈^𝑄^𝑄subscript^𝐻𝐽^𝑄^𝑄subscript^𝐻𝐽^𝑃\displaystyle\hat{H}_{\rm eff}=\hat{P}\hat{H}_{J}\hat{P}+\hat{P}\hat{H}_{J}% \hat{Q}\frac{1}{E-\hat{Q}\hat{H}_{U}\hat{Q}-\hat{Q}\hat{H}_{J}\hat{Q}}\hat{Q}% \hat{H}_{J}\hat{P}.over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT = over^ start_ARG italic_P end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT over^ start_ARG italic_P end_ARG + over^ start_ARG italic_P end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT over^ start_ARG italic_Q end_ARG divide start_ARG 1 end_ARG start_ARG italic_E - over^ start_ARG italic_Q end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT over^ start_ARG italic_Q end_ARG - over^ start_ARG italic_Q end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT over^ start_ARG italic_Q end_ARG end_ARG over^ start_ARG italic_Q end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT over^ start_ARG italic_P end_ARG . (S17)

Using the identity (AB)1=A1n=0(BA1)nsuperscript𝐴𝐵1superscript𝐴1subscriptsuperscript𝑛0superscript𝐵superscript𝐴1𝑛\left(A-B\right)^{-1}=A^{-1}\sum^{\infty}_{n=0}\left(BA^{-1}\right)^{n}( italic_A - italic_B ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT = italic_A start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ∑ start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n = 0 end_POSTSUBSCRIPT ( italic_B italic_A start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT, it can be further expanded as

H^eff=P^H^JP^+P^H^JQ^1EPQ^H^UQ^n=0(Q^H^JQ^E+EPEPQ^H^UQ^)nQ^H^JP^,subscript^𝐻eff^𝑃subscript^𝐻𝐽^𝑃^𝑃subscript^𝐻𝐽^𝑄1subscript𝐸𝑃^𝑄subscript^𝐻𝑈^𝑄subscriptsuperscript𝑛0superscript^𝑄subscript^𝐻𝐽^𝑄𝐸subscript𝐸𝑃subscript𝐸𝑃^𝑄subscript^𝐻𝑈^𝑄𝑛^𝑄subscript^𝐻𝐽^𝑃\displaystyle\hat{H}_{\rm eff}=\hat{P}\hat{H}_{J}\hat{P}+\hat{P}\hat{H}_{J}% \hat{Q}\frac{1}{E_{P}-\hat{Q}\hat{H}_{U}\hat{Q}}\sum^{\infty}_{n=0}\left(\frac% {\hat{Q}\hat{H}_{J}\hat{Q}-E+E_{P}}{E_{P}-\hat{Q}\hat{H}_{U}\hat{Q}}\right)^{n% }\hat{Q}\hat{H}_{J}\hat{P},over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT = over^ start_ARG italic_P end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT over^ start_ARG italic_P end_ARG + over^ start_ARG italic_P end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT over^ start_ARG italic_Q end_ARG divide start_ARG 1 end_ARG start_ARG italic_E start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT - over^ start_ARG italic_Q end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT over^ start_ARG italic_Q end_ARG end_ARG ∑ start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n = 0 end_POSTSUBSCRIPT ( divide start_ARG over^ start_ARG italic_Q end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT over^ start_ARG italic_Q end_ARG - italic_E + italic_E start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT end_ARG start_ARG italic_E start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT - over^ start_ARG italic_Q end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT over^ start_ARG italic_Q end_ARG end_ARG ) start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT over^ start_ARG italic_Q end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT over^ start_ARG italic_P end_ARG , (S18)

where A=EPQ^H^UQ^𝐴subscript𝐸𝑃^𝑄subscript^𝐻𝑈^𝑄A=E_{P}-\hat{Q}\hat{H}_{U}\hat{Q}italic_A = italic_E start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT - over^ start_ARG italic_Q end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT over^ start_ARG italic_Q end_ARG, B=Q^H^JQ^E+EP𝐵^𝑄subscript^𝐻𝐽^𝑄𝐸subscript𝐸𝑃B=\hat{Q}\hat{H}_{J}\hat{Q}-E+E_{P}italic_B = over^ start_ARG italic_Q end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT over^ start_ARG italic_Q end_ARG - italic_E + italic_E start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT, and EPsubscript𝐸𝑃E_{P}italic_E start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT is the energy of HUsubscript𝐻𝑈H_{U}italic_H start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT in the subspace Psubscript𝑃\mathcal{H}_{P}caligraphic_H start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT.

Refer to caption
Figure S7: Comparison of the string correlations in the effective and original models for the L=24𝐿24L=24italic_L = 24 system. (a) Time evolution of Oi,j(t)subscript𝑂𝑖𝑗𝑡O_{i,j}(t)italic_O start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ( italic_t ) for the nontrivial case obtained using the first-, second-order effective Hamiltonians, and the original Hamiltonian. (b) The same quantities as in panel (a) for the trivial case. The predictions based on the second-order effective model and the original model are in good agreement.

III.3.1 First-order effective model

If we only keep first-order terms, virtual hop** processes would be ignored. This means that only the hop** terms are retained and the effective Hamiltonian is simply

H^1=J1i,oddb^ib^i+1J2i,evenb^ib^i+1+H.c..formulae-sequencesubscript^𝐻1subscript𝐽1subscript𝑖oddsubscriptsuperscript^𝑏𝑖subscript^𝑏𝑖1subscript𝐽2subscript𝑖evensubscriptsuperscript^𝑏𝑖subscript^𝑏𝑖1Hc\displaystyle\hat{H}_{1}=-J_{1}\sum_{i,\text{odd}}\hat{b}^{\dagger}_{i}\hat{b}% _{i+1}-\!J_{2}\sum_{i,\text{even}}\hat{b}^{\dagger}_{i}\hat{b}_{i+1}+{\rm{H.c.% }}.over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = - italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_i , odd end_POSTSUBSCRIPT over^ start_ARG italic_b end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT - italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_i , even end_POSTSUBSCRIPT over^ start_ARG italic_b end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT + roman_H . roman_c . . (S19)

The system is still integrable [5, 85] so it is expected that the long-time average of a local observable is time-independent and can be described by generalized Gibbs ensembles. Time evolution from the initial state |1010ket1010|1010...\rangle| 1010 … ⟩ under Eq. (S19) leads to persistent oscillations of the bulk imbalance and the string correlation. As shown in Fig. S7(a)(b), the string correlation Oi,j(t)subscript𝑂𝑖𝑗𝑡O_{i,j}\left(t\right)italic_O start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ( italic_t ) oscillates with time rather than acquire stable values in the whole regime 0<J1/J2<10subscript𝐽1subscript𝐽210<J_{1}/J_{2}<10 < italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT < 1 and for timescale up to t=100/J2𝑡100subscript𝐽2t=100/J_{2}italic_t = 100 / italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, which suggests that the nonequilibrium topological state cannot be explained using first-order perturbation theory.

III.3.2 Second-order effective model

The effective model with up to second-order virtual hop** processes is

H^eff=P^H^JP^+P^H^JQ^1EPQ^H^UQ^Q^H^JP^.subscript^𝐻eff^𝑃subscript^𝐻𝐽^𝑃^𝑃subscript^𝐻𝐽^𝑄1subscript𝐸𝑃^𝑄subscript^𝐻𝑈^𝑄^𝑄subscript^𝐻𝐽^𝑃\displaystyle\hat{H}_{\rm eff}=\hat{P}\hat{H}_{J}\hat{P}+\hat{P}\hat{H}_{J}% \hat{Q}\frac{1}{E_{P}-\hat{Q}\hat{H}_{U}\hat{Q}}\hat{Q}\hat{H}_{J}\hat{P}.over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT = over^ start_ARG italic_P end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT over^ start_ARG italic_P end_ARG + over^ start_ARG italic_P end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT over^ start_ARG italic_Q end_ARG divide start_ARG 1 end_ARG start_ARG italic_E start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT - over^ start_ARG italic_Q end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT over^ start_ARG italic_Q end_ARG end_ARG over^ start_ARG italic_Q end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT over^ start_ARG italic_P end_ARG . (S20)

A straightforward calculation using Eq. (1) of the main text gives

H^=J1i,oddb^ib^i+1J2i,evenb^ib^i+1+4J12Ui,oddn^in^i+1+4J22Ui,evenn^in^i+1+2J1J2Uib^i1n^ib^i+1+H.c..formulae-sequence^𝐻subscript𝐽1subscript𝑖oddsubscriptsuperscript^𝑏𝑖subscript^𝑏𝑖1subscript𝐽2subscript𝑖evensubscriptsuperscript^𝑏𝑖subscript^𝑏𝑖14subscriptsuperscript𝐽21𝑈subscript𝑖oddsubscript^𝑛𝑖subscript^𝑛𝑖14subscriptsuperscript𝐽22𝑈subscript𝑖evensubscript^𝑛𝑖subscript^𝑛𝑖12subscript𝐽1subscript𝐽2𝑈subscript𝑖subscriptsuperscript^𝑏𝑖1subscript^𝑛𝑖subscript^𝑏𝑖1Hc\displaystyle\hat{H}=-J_{1}\sum_{i,\text{odd}}\hat{b}^{\dagger}_{i}\hat{b}_{i+% 1}-\!J_{2}\sum_{i,\text{even}}\hat{b}^{\dagger}_{i}\hat{b}_{i+1}+\frac{4J^{2}_% {1}}{U}\sum_{i,\text{odd}}\hat{n}_{i}\hat{n}_{i+1}+\frac{4J^{2}_{2}}{U}\sum_{i% ,\text{even}}\hat{n}_{i}\hat{n}_{i+1}+\!\frac{2J_{1}J_{2}}{U}\sum_{i}\hat{b}^{% \dagger}_{i-1}\hat{n}_{i}\hat{b}_{i+1}+{\rm H.c.}.over^ start_ARG italic_H end_ARG = - italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_i , odd end_POSTSUBSCRIPT over^ start_ARG italic_b end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT - italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_i , even end_POSTSUBSCRIPT over^ start_ARG italic_b end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT + divide start_ARG 4 italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_U end_ARG ∑ start_POSTSUBSCRIPT italic_i , odd end_POSTSUBSCRIPT over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT + divide start_ARG 4 italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_U end_ARG ∑ start_POSTSUBSCRIPT italic_i , even end_POSTSUBSCRIPT over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT + divide start_ARG 2 italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_U end_ARG ∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over^ start_ARG italic_b end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i - 1 end_POSTSUBSCRIPT over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT + roman_H . roman_c . . (S21)

For large but finite onsite repulsion, the coefficients J1,22/Usubscriptsuperscript𝐽212𝑈J^{2}_{1,2}/Uitalic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT / italic_U and J1J2/Usubscript𝐽1subscript𝐽2𝑈J_{1}J_{2}/Uitalic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT / italic_U of the second-order processes are nonzero. As shown in Fig. S7(a)(b), remarkable agreement is found between the results obtained using Eq. (S21) and the original Hamiltonian presented in the main text. This fact underscores the essential role of the soft-core interaction in the relaxation dynamics. The emergent behaviour observed here should be attributed to the interplay of the onsite interactions and topological characters of the Hamiltonian.