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

Exact nonequilibrium hole dynamics, magnetic polarons and string excitations in antiferromagnetic Bethe lattices

K.  Knakkergaard  Nielsen Max-Planck Institute for Quantum Optics, Hans-Kopfermann-Str. 1, D-85748 Garching, Germany Center for Complex Quantum Systems, Department of Physics and Astronomy, Aarhus University, Ny Munkegade 120, DK-8000 Aarhus C, Denmark
Abstract

We investigate a rare instance of an exactly solvable nonequilibrium many-body problem. In particular, we derive an exact solution for the nonequilibrium dynamics of an initially localized single hole in a fully anisotropic antiferromagnetic Bethe lattice, described by the tt-JzJ_{z} model. The solvability of the model relies on the fractal self-similarity of Bethe lattices, making it possible to compute the full motion of the hole as it moves through the lattice, as well as exactly characterizing the resulting effect on spin-spin correlation functions. We find that the hole remains bound to its initial position with large aperiodic oscillations in the hole density distribution. We track this back to the irregular pattern of the eigenenergies of the magnetic polaron ground state and string excitations, which we also determine exactly.

I Introduction

The study of quantum many-body systems often rely on approximate descriptions such as mean-field Bogoliubov (1947); Bardeen et al. (1957); Bruus and Flensberg (2016) and variational treatments Griffiths (2000); Landau and Lifshitz (1977), or on extensive numerical analyses such as quantum Monte Carlo Metropolis and Ulam (1949); Kalos (1962); Hammond et al. (1994); Boninsegni et al. (2006); Kolorenč and Mitas (2011). For this reason, instances in which the many-body dynamics can be solved exactly Katsura and Takizawa (1974); Baxter (1982); Andrei (1995); Braak (2011) are important to get precise insights into these systems, and may offer new ways to approximate related models . An important class of such systems are given by Bethe lattices [Fig. 1], whose geometry is uniquely defined by the number of nearest neighbors. The name of these fascinating fractal structures are given in honor of the groundbreaking work of Hans Bethe on the Bethe ansatz Bethe and Bragg (1935), being exact descriptions of e.g. ferro- and antiferromagnetism in these particular lattices Katsura and Takizawa (1974). Related studies have shown that the free quantum walk of a single particle in Bethe lattices may also be solved exactly Brinkman and Rice (1970); Mahan (2001); Eckstein et al. (2005); Economou (2006); Kanász-Nagy et al. (2017); Aryal and Kettemann (2020), which has been used to model amorphous solids Weaire (1971, 1971); Thorpe and Weaire (1971); Thorpe et al. (1973); Joannopoulos and Yndurain (1974); Yndurain and Joannopoulos (1975); Allan and Joannopoulos (1980) and the hopping of ions in ice Chen et al. (1974).

Refer to caption
Figure 1: Single dopant in Bethe lattices. A single hole (grey circle) is initialized at the center of an otherwise perfectly ordered antiferromagnetic Bethe lattice, showcased by coordination numbers q=1,2,3,4q=1,2,3,4 nearest neighbors in panels (a) through (d). Here, red (blue) circles denote spin-\uparrow (spin-\downarrow) fermions.

In this article, we fuse these ideas to describe the motion of a single dopant in an antiferromagnetic Bethe lattice. In particular, we show that the nonequilibrium dynamics of a single hole hopping with amplitude tt in an antiferromagnetic environment with nearest neighbor spin-zz coupling JzJ_{z} can be solved exactly at zero temperature. Previously, an exact solution for the local hole Green’s function, corresponding to the lowest order coefficient in the many-body wave function, was found Chernyshev and Leung (1999); Wrzosek and Wohlfeld (2021). Here, we show that the full many-body wave function can be calculated, not only in the nonequilibrium case, but also for an important set of many-body eigenstates, i.e. the magnetic polaron ground state and the so-called string excitations Bulaevskii et al. (1968); Shraiman and Siggia (1988); Kane et al. (1989); Martinez and Horsch (1991); Liu and Manousakis (1991); Reiter (1994). The appearance of magnetic polarons is a result of the inherent competition between the delocalization of the hole and the emergent magnetic frustrations. Such processes also give rise to induced interactions between two holes, which may provide a mechanism for high-temperature superconductivity Emery (1987); Schrieffer et al. (1988); Dagotto (1994). Due to recent advances in quantum simulation using optical lattices Bakr et al. (2009); Esslinger (2010); Sherson et al. (2010); Haller et al. (2015); Boll et al. (2016); Cheuk et al. (2016); Mazurenko et al. (2017); Hilker et al. (2017); Brown et al. (2017); Chiu et al. (2018); Brown et al. (2019); Koepsell et al. (2019); Chiu et al. (2019); Guardado-Sanchez et al. (2020); Vijayan et al. (2020); Hartke et al. (2020); Guardado-Sanchez et al. (2021); Ji et al. (2021); Gall et al. (2021); Yang et al. (2021), systems in which these quasiparticles arise can now be realized and probed with unprecedented detail Koepsell et al. (2019); Chiu et al. (2019); Koepsell et al. (2020). Consequently, magnetic polarons and the associated motion of holes in antiferromagnetic environments are also receiving renewed theoretical inquiries Carlström et al. (2016); Grusdt et al. (2018a, b); Bohrdt et al. (2019, 2020); Blomquist and Carlström (2020); Wang et al. (2021); Nielsen et al. (2021, 2022). In particular, our present paper is related to the so-called string theory of magnetic polarons Grusdt et al. (2018a), in which the hole is effectively described as moving in a Bethe lattice.

The exact solvability of the anisotropic tt-JzJ_{z} model in Bethe lattices presented in this paper comes about as a result of the fractal self-similarity of the Bethe lattices. In particular, every time the hole hops, the system in the forward direction of motion looks the same as at the previous site. This underlying structure means that the wave function, expressed as a superposition of states with an increasing number of spin excitations, also attains a self-similar form, in which the coefficients of the wave function are related by quite simple recursion relations. This structure is very closely related to the approximate magnetic polarons states Reiter (1994); Ramšak and Horsch (1998); Nielsen et al. (2021) and nonequilibrium wave function Nielsen et al. (2022) for the full tt-JJ model on square lattices. In fact, the present solution can also be understood in the context of the retraceable path approximation Brinkman and Rice (1970), which becomes exact in Bethe lattices.

The article is organized as follows. Section II describes the structure of the antiferromagnetic ground state, and the hopping Hamiltonian in the presence of holes. Section III introduces the Holstein-Primakoff transformation, making it possible to give a concise description of the many-body states. Section IV gives the derivation of the exact solution for the nonequilibrium many-body wave function. Section V describes the exact ground state and string excitations, before Sec. VI characterizes the nonequilibrium hole and spin dynamics as a function of inverse interaction strength Jz/tJ_{z}/t and coordination number qq.

II Ising antiferromagnets in Bethe lattices

We consider spin 1/21/2 fermions hopping in Bethe lattice structures with qq nearest neighbors, as exemplified in Fig. 1. We assume that the nearest neighbor spin-spin interactions are of the Ising type,

H^J=Jz𝐢,𝐣[S^𝐢(z)S^𝐣(z)n^𝐢n^𝐣4],\hat{H}_{J}=J_{z}\sum_{\braket{{\bf i},{\bf j}}}\left[\hat{S}^{(z)}_{\bf i}\hat{S}^{(z)}_{\bf j}-\frac{\hat{n}_{\bf i}\hat{n}_{\bf j}}{4}\right], (1)

and antiferromagnetic (Jz>0J_{z}>0). The Schwinger-fermion representation of spin 1/21/2 as usual reads

𝐒𝐣=12σ,σc^𝐣,σ𝝈σσc^𝐣,σ\mathbf{S}_{\bf j}=\frac{1}{2}\sum_{\sigma,\sigma^{\prime}}\hat{c}_{{\bf j},\sigma}^{\dagger}\boldsymbol{\sigma}_{\sigma\sigma^{\prime}}\hat{c}_{{\bf j},\sigma^{\prime}} (2)

with 𝝈=(σx,σy,σz)\boldsymbol{\sigma}=(\sigma_{x},\sigma_{y},\sigma_{z}) a vector of the Pauli matrices. The antiferromagnetic ground state is, thus, achieved by having every neighboring spin pointing in opposite directions. Choosing a specific lattice site as the central reference point, we then speak of the depth dd of a given site, as the number of hops it takes to go to that site. Correspondingly, the total depth dtotd_{\rm tot} of the lattice is the maximum number of jumps that can be made from the central site. In Fig. 1(c) and (d), the cases of q=3q=3 and q=4q=4 respectively, the total depth of the shown lattices is dtot=5d_{\rm tot}=5. The total number of sites in a Bethe lattice with qq nearest neighbors and total depth dtotd_{\rm tot} is

N(q,dtot)=1+qj=0dtot1(q1)j=1+(q1)dtot1q2.N(q,d_{\rm tot})=1+q\sum_{j=0}^{d_{\rm tot}-1}(q-1)^{j}=1+\frac{(q-1)^{d_{\rm tot}}-1}{q-2}. (3)

In the case of q=2q=2, the Bethe lattice collapses to a one-dimensional chain [Fig. 1(b)], and the expression N=1+dtotN=1+d_{\rm tot} can be found from Eq. (3) by applying l’Hospital’s rule to the limit q2q\to 2. Generally, the number of nearest neighbor links is simply N1N-1, and the antiferromagnetic energy contribution from each of these is Jz/2-J_{z}/2. Therefore, the ground state energy for an Ising antiferromagnet in a Bethe lattice is simply

E0(q,dtot)=[N(q,dtot)1]Jz2.E_{0}(q,d_{\rm tot})=-\left[N(q,d_{\rm tot})-1\right]\frac{J_{z}}{2}. (4)

Since the number of sites at a depth d+1d+1 is q1q-1 times larger than the number of sites at depth dd, and since the spins at d+1d+1 point opposite to the spins at dd, the lattice has a nonzero total spin

Stot(z)(q,dtot)\displaystyle S^{(z)}_{\rm tot}(q,d_{\rm tot}) =12[1qj=0dtot1(1q)j]\displaystyle=-\frac{1}{2}\left[1-q\sum_{j=0}^{d_{\rm tot}-1}(1-q)^{j}\right]
=12(1q)dtot,\displaystyle=-\frac{1}{2}(1-q)^{d_{\rm tot}}, (5)

assuming that the central site has S(z)=1/2S^{(z)}=-1/2. This characterizes the underlying antiferromagnetic ground state. Below half-filling, we assume that the fermionic particles can hop between nearest neighbor sites with amplitude tt

H^t=t𝐢,𝐣,σ[c~𝐢,σc~𝐣,σ+H.c.],\hat{H}_{t}=-t\sum_{\braket{{\bf i},{\bf j}},\sigma}\left[\tilde{c}^{\dagger}_{{\bf i},\sigma}\tilde{c}_{{\bf j},\sigma}+{\rm H.c.}\right], (6)

where c~𝐣,σ=c^𝐣,σ(1n𝐣)\tilde{c}^{\dagger}_{{\bf j},\sigma}=\hat{c}^{\dagger}_{{\bf j},\sigma}(1-n_{\bf j}), and the factor 1n𝐣1-n_{\bf j} restrains the Hilbert space to states with maximally one fermion per lattice site.

III The Holstein-Primakoff transformation

The Holstein-Primakoff transformation is performed to give a more efficient description of the system just below half-filling, in terms of bosonic spin excitation operators s^𝐢\hat{s}_{\bf i}, and fermionic hole operators h^𝐢\hat{h}_{\bf i}. To perform the transformation, it is first useful to define two sublattices corresponding to the sites that in the absence of holes host spins pointing up and down respectively. More precisely, fermions on every site at an odd-numbered depth, d=1,3,5,d=1,3,5,\dots, initially has spin-\uparrow, and is defined to lie on sublattice A. Similarly, every site at an even-numbered depth, d=0,2,4,d=0,2,4,\dots, belong to sublattice B, having spin-\downarrow fermions. We may, then, define the Holstein-Primakoff transformation according to

𝐀:S^𝐢\displaystyle{\rm{\bf A}}:\hat{S}^{-}_{\bf i} =s^𝐢F(h^𝐢,s^𝐢),c~𝐢,=h^𝐢S^𝐢+,\displaystyle=\hat{s}_{\bf i}^{\dagger}F(\hat{h}_{\bf i},\hat{s}_{\bf i}),\;\tilde{c}_{{\bf i},\downarrow}=\hat{h}^{\dagger}_{\bf i}\hat{S}_{\bf i}^{+},
c~𝐢,\displaystyle\tilde{c}_{{\bf i},\uparrow} =h^𝐢F(h^𝐢,s^𝐢),S^𝐢z=[12s^𝐢s^𝐢][1h^𝐢h^𝐢].\displaystyle=\hat{h}^{\dagger}_{\bf i}F(\hat{h}_{\bf i},\hat{s}_{\bf i}),\;\hat{S}_{\bf i}^{z}=\left[\frac{1}{2}-\hat{s}^{\dagger}_{\bf i}\hat{s}_{\bf i}\right][1-\hat{h}_{\bf i}^{\dagger}\hat{h}_{\bf i}].
𝐁:S^𝐣+\displaystyle{\rm{\bf B}}:\hat{S}^{+}_{\bf j} =s^𝐣F(h^𝐣,s^𝐣),c~𝐣,=h^𝐣S^𝐣,\displaystyle=\hat{s}_{\bf j}^{\dagger}F(\hat{h}_{\bf j},\hat{s}_{\bf j}),\;\tilde{c}_{{\bf j},\uparrow}=\hat{h}^{\dagger}_{\bf j}\hat{S}_{\bf j}^{-},
c~𝐣,\displaystyle\tilde{c}_{{\bf j},\downarrow} =h^𝐣F(h^𝐣,s^𝐣),S^𝐣z=[s^𝐣s^𝐣12][1h^𝐣h^𝐣],\displaystyle=\hat{h}^{\dagger}_{\bf j}F(\hat{h}_{\bf j},\hat{s}_{\bf j}),\;\hat{S}_{\bf j}^{z}=\left[\hat{s}^{\dagger}_{\bf j}\hat{s}_{\bf j}-\frac{1}{2}\right][1-\hat{h}_{\bf j}^{\dagger}\hat{h}_{\bf j}], (7)

with F(s^,h^)=1s^s^h^h^F(\hat{s},\hat{h})=\sqrt{1-\hat{s}^{\dagger}\hat{s}-\hat{h}^{\dagger}\hat{h}}. Consequently, the spin-spin interaction is rewritten as

H^J=Jz𝐢,𝐣\displaystyle\hat{H}_{J}=-J_{z}\sum_{\braket{{\bf i},{\bf j}}} [1h^𝐢h^𝐢][(12s^𝐢s^𝐢)(12s^𝐣s^𝐣)+14]\displaystyle[1-\hat{h}_{\bf i}^{\dagger}\hat{h}_{\bf i}]\left[\left(\frac{1}{2}-\hat{s}^{\dagger}_{\bf i}\hat{s}_{\bf i}\right)\left(\frac{1}{2}-\hat{s}^{\dagger}_{\bf j}\hat{s}_{\bf j}\right)+\frac{1}{4}\right]
\displaystyle\cdot [1h^𝐣h^𝐣].\displaystyle[1-\hat{h}_{\bf j}^{\dagger}\hat{h}_{\bf j}]. (8)

This expression fully accounts for the presence of holes, in which case the nearest neighbor spin coupling is naturally 0. Similarly, the hopping Hamiltonian becomes

H^t=t𝐢,𝐣F(s^𝐢)F(s^𝐣)[h^𝐣h^𝐢s^𝐣+h^𝐢h^𝐣s^𝐢]+H.c.\displaystyle\hat{H}_{t}=t\sum_{\braket{{\bf i},{\bf j}}}\!F(\hat{s}_{\bf i})F(\hat{s}_{\bf j})\left[\hat{h}^{\dagger}_{\bf j}\hat{h}_{\bf i}\hat{s}_{\bf j}+\hat{h}^{\dagger}_{\bf i}\hat{h}_{\bf j}\hat{s}_{\bf i}\right]+{\rm H.c.} (9)

Here, due to the fermionic statistics of the holes, we may use that F(s^𝐢,h^𝐢)h^𝐢=F(s^𝐢,0)h^𝐢F(\hat{s}_{\bf i},\hat{h}_{\bf i})\hat{h}_{\bf i}=F(\hat{s}_{\bf i},0)\hat{h}_{\bf i}. Additionally, we simplify the notation by writing F(s^)=F(s^,0)=1s^s^F(\hat{s})=F(\hat{s},0)=\sqrt{1-\hat{s}^{\dagger}\hat{s}}. Equation (9) shows that as the hole hops through the lattice, it may do so by absorbing or emitting spin excitations. The factors of F(s^𝐢)F(s^𝐣)F(\hat{s}_{\bf i})F(\hat{s}_{\bf j}) constrains this process, so that there is always either 0 or 11 spin excitation on each site, yielding the exact hardcore constraint.

IV The exact nonequilibrium wave function

We are now ready to efficiently formulate the exact nonequilibrium wave function. We will focus on Bethe lattices with more than 1 nearest neighbors, q2q\geq 2, as the case of q=1q=1 corresponds to a system of only two sites. We assume that the hole is initially located at the central site of the Bethe lattice. Note that in the thermodynamic limit, dtotd_{\rm tot}\to\infty, any site in the lattice is equivalent. Therefore, this choice for the initial state is actually the general starting point for quenching the system from the antiferromagnet ground state into a state with a single localized hole. A lattice site at depth dd is written as 𝐣d=0,j1,,jd{\bf j}_{d}=0,j_{1},\dots,j_{d}. Here, j1=1,2,,qj_{1}=1,2,\dots,q, and jl=1,2,,q1j_{l}=1,2,\dots,q-1 for l2l\geq 2 describe the sites at each depth, similar to Ref. Katsura and Takizawa (1974). In this manner, 𝐣d{\bf j}_{d} gives the full path from the central site 𝐣0=0{\bf j}_{0}=0 to the specific site of interest at depth dd. Two sites 𝐣d{\bf j}_{d} and 𝐥d+1{\bf l}_{d+1} at depth dd and d+1d+1 are, thus, nearest neighbors only if 𝐥d+1=𝐣d,ld+1{\bf l}_{d+1}={\bf j}_{d},l_{d+1}. This construction allows us to write the full nonequilibrium wave function at time τ\tau as

|Ψ(τ)=C(0)(τ)h^0|AF+C(1)(τ)𝐣1h^𝐣1s^0|AF\displaystyle\!\!\!\ket{\Psi(\tau)}=C^{(0)}(\tau)\cdot\hat{h}^{\dagger}_{0}\ket{{\rm AF}}+C^{(1)}(\tau)\sum_{{\bf j}_{1}}\hat{h}^{\dagger}_{{\bf j}_{1}}\hat{s}^{\dagger}_{0}\ket{{\rm AF}}
+C(2)(τ)𝐣2h^𝐣2s^0s^𝐣1|AF+\displaystyle\phantom{\ket{\Psi(\tau)}=}+C^{(2)}(\tau)\sum_{{\bf j}_{2}}\hat{h}^{\dagger}_{{\bf j}_{2}}\hat{s}^{\dagger}_{0}\hat{s}^{\dagger}_{{\bf j}_{1}}\ket{{\rm AF}}+\dots
=C(0)(τ)h^0|AF+d=1dtotC(d)(τ)𝐣dh^𝐣dl=0d1s^𝐣l|AF.\displaystyle\!\!\!=C^{(0)}(\tau)\hat{h}^{\dagger}_{0}\ket{{\rm AF}}+\sum_{d=1}^{d_{\rm tot}}C^{(d)}(\tau)\sum_{{\bf j}_{d}}\hat{h}^{\dagger}_{{\bf j}_{d}}\prod_{l=0}^{d-1}\hat{s}^{\dagger}_{{\bf j}_{l}}\ket{{\rm AF}}.\! (10)

In this expression, the lattice site at depth dd is always constrained to be next to the one at depth d1d-1: 𝐣d=𝐣d1,jd{\bf j}_{d}={\bf j}_{d-1},j_{d}. Note that the coefficients of the wave function C(d)C^{(d)} cannot depend on the exact path to the lattice point, 𝐣d=j1,,jd{\bf j}_{d}=j_{1},\dots,j_{d}, only the depth dd of that point. The underlying reason is that the system is symmetric in all these paths, and that the initial wave function, |Ψ(τ=0)=h^0|AF\ket{\Psi(\tau=0)}=\hat{h}^{\dagger}_{0}\ket{{\rm AF}}, is as well. This gives a remarkable simplification of the treatment, as it describes the dynamics in a system whose size grows exponentially with the depth [see Eq. (3)], in terms of a linear number of coefficients C(0),,C(dtot)C^{(0)},\dots,C^{(d_{\rm tot})}.

IV.1 General time-dependent solution

To progress on solving for the coefficients of the nonequilbrium wave function, we introduce the retarded and advanced wave functions

|Ψ(τ)\displaystyle\ket{\Psi(\tau)} =|ΨR(τ)+|ΨA(τ)\displaystyle=\ket{\Psi^{\rm R}(\tau)}+\ket{\Psi^{\rm A}(\tau)}
=eη|τ|[θ(τ)|Ψ(τ)+θ(τ)|Ψ(τ)],\displaystyle={\rm e}^{-\eta|\tau|}\left[\theta(\tau)\ket{\Psi(\tau)}+\theta(-\tau)\ket{\Psi(\tau)}\right], (11)

allowing us to regularize the Fourier transformation to frequency space with the positive infinitesimal η>0\eta>0, and the Heaviside step function θ(τ)\theta(\tau). Consequently, we may express the Schrödinger equation, iτ|Ψ(τ)=H^|Ψ(τ)i\partial_{\tau}\ket{\Psi(\tau)}=\hat{H}\ket{\Psi(\tau)}, as

(ω+iη)|ΨR(ω)\displaystyle(\omega+i\eta)\ket{\Psi^{\rm R}(\omega)} =+i|Ψ(τ=0)+H^|ΨR(ω),\displaystyle=+i\ket{\Psi(\tau=0)}+\hat{H}\ket{\Psi^{\rm R}(\omega)},
(ωiη)|ΨA(ω)\displaystyle(\omega-i\eta)\ket{\Psi^{\rm A}(\omega)} =i|Ψ(τ=0)+H^|ΨA(ω).\displaystyle=-i\ket{\Psi(\tau=0)}+\hat{H}\ket{\Psi^{\rm A}(\omega)}. (12)

As these equations are complex conjugate of each other, it follows that |ΨA(ω)=[|ΨR(ω)]\ket{\Psi^{\rm A}(\omega)}=[\ket{\Psi^{\rm R}(\omega)}]^{*}. We denote the coefficients of the retarded state R(d)(ω)R^{(d)}(\omega). The dynamical coefficients in Eq. (10) are then retrieved from R(d)(ω)R^{(d)}(\omega) by a Fourier transformation

C(d)(τ)=dω2πei(ω+iη)τ2Re[R(d)(ω)].C^{(d)}(\tau)=\int\frac{{\rm d}\omega}{2\pi}{\rm e}^{-i(\omega+i\eta)\tau}\cdot 2{\rm Re}[R^{(d)}(\omega)]. (13)

Using Eq. (12), the equations of motion for the retarded state coefficients become

(ω+iη)R(0)(ω)\displaystyle\!\!\!\!\!\!\!\!(\omega+i\eta)R^{(0)}(\omega) =i+EJ(0)R(0)(ω)+qtR(1)(ω),\displaystyle=i+E_{J}^{(0)}R^{(0)}(\omega)+qtR^{(1)}(\omega),\!\!\!
(ω+iη)R(d)(ω)\displaystyle\!\!\!\!\!\!\!\!(\omega+i\eta)R^{(d)}(\omega) =EJ(d)R(d)(ω)+tR(d1)(ω)\displaystyle=E_{J}^{(d)}R^{(d)}(\omega)+tR^{(d-1)}(\omega)\!\!\!
+(q1)tR(d+1)(ω),\displaystyle\phantom{=}+(q-1)tR^{(d+1)}(\omega),\!\!\!
(ω+iη)R(dtot)(ω)\displaystyle\!\!\!\!\!\!\!\!(\omega+i\eta)R^{(d_{\rm tot})}(\omega) =EJ(dtot)R(dtot)(ω)+tR(dtot1)(ω).\displaystyle=E_{J}^{(d_{\rm tot})}R^{(d_{\rm tot})}(\omega)+tR^{(d_{\rm tot}-1)}(\omega).\!\!\! (14)

The term ii in the equation for R(0)(ω)R^{(0)}(\omega) comes directly from the term i|Ψ(τ=0)i\ket{\Psi(\tau=0)} in Eq. (12). Furthermore, the magnetic energy cost EJ(d)E_{J}^{(d)} comes from applying the spin-spin interaction Hamiltonian in Eq. (8) to the ddth term in the wave function. Finally, the hopping Hamiltonian simply relates the coefficient at depth dd to the coefficients at depth d1d-1 and d+1d+1. At d=0d=0, there are qq nearest neighbors at depth d=1d=1. All subsequent depths ddtot1d\leq d_{\rm tot}-1, however, only has q1q-1 nearest neighbors at depth d+1d+1 and a single neighbor one depth up, d1d-1. This leads to the terms (q1)tR(d+1)(ω)(q-1)\cdot t\cdot R^{(d+1)}(\omega) and 1tR(d1)(ω)1\cdot t\cdot R^{(d-1)}(\omega) for 1ddtot1\leq d\leq d_{\rm tot}. Finally, by assumption the bottom depth is dtotd_{\rm tot}, and so R(d)=0R^{(d)}=0 for d>dtotd>d_{\rm tot}.

Refer to caption
Figure 2: Broken antiferromagnetic spin bonds. As the hole moves into the Bethe lattice [(a)–(d)], a number of antiferromagnetic spin bonds are broken along the way (red lines), illustrated here in the case of q=3q=3. (a) At d=0d=0, there are q=3q=3 broken bonds, giving a spin energy of EJ(0)=E0+qJz/2E_{J}^{(0)}=E_{0}+qJ_{z}/2. (b) For d=1d=1, there are q1=2q-1=2 further broken bonds, so EJ(1)=EJ(0)+(q1)J/2E_{J}^{(1)}=E_{J}^{(0)}+(q-1)J/2. (c) and (d) For d2d\geq 2, the spin bonds along the path of the hole are repaired. As a result, there are q1q-1 new spin bonds broken and 11 repaired, yielding q2=1q-2=1 in the present case. Therefore, EJ(d+1)=EJ(d)+(q2)Jz/2E_{J}^{(d+1)}=E_{J}^{(d)}+(q-2)J_{z}/2 for d1d\geq 1.

The value of EJ(d)E_{J}^{(d)} may be understood recursively, starting from d=0d=0. Here, the hole is located at the central site, and there are qq broken antiferromagnetic spin bonds of strength Jz/2J_{z}/2, as indicated in Fig. 2(a). Note that Eq. (8) implies that a hole at a site has the same magnetic energy cost as a spin excitation at that site. Therefore, EJ(0)=E0(q,d)+qJz/2E_{J}^{(0)}=E_{0}(q,d)+qJ_{z}/2, where E0(q,d)E_{0}(q,d) is the ground state energy of the Ising antiferromagnet [Eq. (4)]. When the hole is at depth d=1d=1, as shown in Fig. 2(b), there are q1q-1 additional broken bonds. So EJ(1)=EJ(0)+(q1)Jz/2E_{J}^{(1)}=E_{J}^{(0)}+(q-1)J_{z}/2. At every subsequent depth d2d\geq 2 [Figs. 2(c) and 2(d)], the spin bonds along the path of the hole are repaired. Therefore, each hop is associated with q1q-1 new broken bonds and 11 repaired bond. The magnetic energy cost for d2d\geq 2 is, thus, (q2)Jz/2(q-2)J_{z}/2 for every step in depth. In this way,

EJ(d)\displaystyle E_{J}^{(d)} =[(q1)+(d1)(q2)]Jz2,\displaystyle=\left[(q-1)+(d-1)(q-2)\right]\frac{J_{z}}{2}, (15)

for 1ddtot11\leq d\leq d_{\rm tot}-1. Here, we let EJ(d)EJ(d)EJ(0)E_{J}^{(d)}\to E_{J}^{(d)}-E_{J}^{(0)}, measuring all energies with respect to EJ(0)E_{J}^{(0)}. Finally, at depth dtotd_{\rm tot} the absence of neighbors at dtot+1d_{\rm tot}+1 in principle results in a surface effect, in which there is no additional magnetic energy cost for the hole to hop to the surface, EJ(dtot)=EJ(dtot1)E_{J}^{(d_{\rm tot})}=E_{J}^{(d_{\rm tot}-1)}. While this presumably has an effect on the dynamics for small lattices, we focus on the behavior for large total depths, dtot1d_{\rm tot}\gg 1, and ignore the surface effects. With the magnetic energy costs for the hole to hop to the ddth depth in place [Eq. (15)], we can now solve the equations of motion in Eq. (14) iteratively. Specifically, the equation for R(dtot)R^{(d_{\rm tot})} simply yields

R(dtot)(ω)\displaystyle R^{(d_{\rm tot})}(\omega) =tω+iηEJ(dtot)R(dtot1)(ω)\displaystyle=\frac{t}{\omega+i\eta-E_{J}^{(d_{\rm tot})}}R^{(d_{\rm tot}-1)}(\omega)
=tG(dtot)(ω)R(dtot1)(ω).\displaystyle=t\cdot G^{(d_{\rm tot})}(\omega)\cdot R^{(d_{\rm tot}-1)}(\omega). (16)

Continuing this process for dtotd1d_{\rm tot}\geq d\geq 1, we get the recursion relation

R(d)(ω)\displaystyle R^{(d)}(\omega) =tG(d)(ω)R(d1)(ω),\displaystyle=t\cdot G^{(d)}(\omega)\cdot R^{(d-1)}(\omega),
G(d)(ω)\displaystyle G^{(d)}(\omega) =1ω+iηEJ(d)(q1)t2G(d+1)(ω),\displaystyle=\frac{1}{\omega+i\eta-E_{J}^{(d)}-(q-1)t^{2}\cdot G^{(d+1)}(\omega)}, (17)

defining G(dtot+1)(ω)=0G^{(d_{\rm tot}+1)}(\omega)=0. We refer to G(d)(ω)G^{(d)}(\omega) as the retarded Green’s function at depth dd. Finally, inserting the solution from d=1d=1 into the equation for R(0)R^{(0)}, we get R(0)(ω)=iG(0)(ω)R^{(0)}(\omega)=iG^{(0)}(\omega), with

G(0)(ω)=1ω+iηqt2G(1)(ω).G^{(0)}(\omega)=\frac{1}{\omega+i\eta-qt^{2}\cdot G^{(1)}(\omega)}. (18)

Using the recursion relation in Eq. (17) in reverse, we obtain the general result for the coefficients of the retarded wave function in frequency space

R(0)(ω)\displaystyle R^{(0)}(\omega) =iG(0)(ω),\displaystyle=iG^{(0)}(\omega),
R(d)(ω)\displaystyle R^{(d)}(\omega) =iG(0)(ω)tdl=1dG(l)(ω), 1ddtot.\displaystyle=iG^{(0)}(\omega)\cdot t^{d}\cdot\prod_{l=1}^{d}G^{(l)}(\omega),\;1\leq d\leq d_{\rm tot}. (19)

We end this subsection by connecting the coefficients of the wave function to a specific set of many-body correlation functions. Specifically, we have that

R(0)(τ)\displaystyle R^{(0)}(\tau) =θ(τ)AF|h^0eiHτh^0|AF,\displaystyle=\theta(\tau)\bra{{\rm AF}}\hat{h}_{0}{\rm e}^{-iH\tau}\hat{h}_{0}^{\dagger}\ket{{\rm AF}},
R(d)(τ)\displaystyle R^{(d)}(\tau) =θ(τ)AF|h^𝐣dl=0d1s^𝐣leiHτh^0|AF.\displaystyle=\theta(\tau)\bra{{\rm AF}}\hat{h}_{{\bf j}_{d}}\prod_{l=0}^{d-1}\hat{s}_{{\bf j}_{l}}{\rm e}^{-iH\tau}\hat{h}_{0}^{\dagger}\ket{{\rm AF}}. (20)

This more clearly demonstrates that the ddth coefficient of the wave function is the probability amplitude of the hole to be at depth dd at site 𝐣d{\bf j}_{d} with dd spin excitations after a time τ\tau.

IV.2 Thermodynamic limit

In the thermodynamic limit, dtotd_{\rm tot}\to\infty, the recursion relation for the retarded Green’s functions in Eq. (17) can be written as a self-consistency equation for a single Green’s function G1(ω)G_{1}(\omega). Specifically, we can write G(d)(ω)=G1(ωEJ(d))G^{(d)}(\omega)=G_{1}(\omega-E_{J}^{(d)}) for d1d\geq 1, where

G1(ω)=1ω(q1)t2G1(ω(q2)Jz2).G_{1}(\omega)=\frac{1}{\omega-(q-1)t^{2}\,G_{1}(\omega-(q-2)\frac{J_{z}}{2})}.\! (21)

For brevity, in this subsection we let ω+iηω\omega+i\eta\to\omega. Similarly, we get the Green’s function for the central site, d=0d=0, to be

G0(ω)=1ωqt2G1(ω(q1)Jz2).G_{0}(\omega)=\frac{1}{\omega-qt^{2}\,G_{1}(\omega-(q-1)\frac{J_{z}}{2})}. (22)

Inspired by Ref. Chernyshev and Leung (1999), we anticipate that the G1G_{1} Green’s function can be expressed in terms of Bessel functions. In fact, using the ansatz G1(ω)=1/(q1t)Y(ω)/Y(ω+(q2)J/2)G_{1}(\omega)=-1/(\sqrt{q-1}t)\cdot Y(\omega)/Y(\omega+(q-2)J/2), the resulting recursive relation for the YY functions coincide with that for the Bessel functions of the first kind. This results in

G1(ω)=1q1tJΩ(ω)(4q1t(q2)Jz)JΩ(ω)1(4q1t(q2)Jz),G_{1}(\omega)=-\frac{1}{\sqrt{q-1}t}\frac{J_{\Omega(\omega)}\left(\frac{4\sqrt{q-1}t}{(q-2)J_{z}}\right)}{J_{\Omega(\omega)-1}\left(\frac{4\sqrt{q-1}t}{(q-2)J_{z}}\right)}, (23)

for q3q\geq 3, with Ω(ω)=2ω/(q2)Jz\Omega(\omega)=-2\omega/(q-2)J_{z}. This generalizes the result in Ref. Chernyshev and Leung (1999), where the q=4q=4 Bethe lattice is effectively used as an approximate description of a two-dimensional square lattice, and coincides with what is found in Ref. Wrzosek and Wohlfeld (2021). We can now use the simple fraction of Bessel functions in Eq. (23) together with G(d)(ω)=G1(q,ωEJ(d))G^{(d)}(\omega)=G_{1}(q,\omega-E_{J}^{(d)}) for d1d\geq 1, to find the explicit expression for the coefficients of the nonequilibrium many-body wave function in the thermodynamic limit

R(d)(ω)=iG0(ω)(q1)dJΩ(ωEJ(d))(4q1t(q2)Jz)JΩ(ωEJ(1))1(4q1t(q2)Jz),R^{(d)}(\omega)=\frac{iG_{0}(\omega)}{(-\sqrt{q-1})^{d}}\cdot\frac{J_{\Omega(\omega-E_{J}^{(d)})}\left(\frac{4\sqrt{q-1}t}{(q-2)J_{z}}\right)}{J_{\Omega(\omega-E_{J}^{(1)})-1}\left(\frac{4\sqrt{q-1}t}{(q-2)J_{z}}\right)}, (24)

where the magnetic energy cost for a hole at depth dd, EJ(d)E_{J}^{(d)}, is given in Eq. (15). In the limit of infinitely strong interactions, Jz/t0+J_{z}/t\to 0^{+}, Eq. (21) leads to a second order equation for G1G_{1}, yielding

G1(ω)=J0+ω2(q1)t2(114(q1)t2ω2).\displaystyle G_{1}(\omega)\!\overset{J\to 0^{+}}{=}\!\frac{\omega}{2(q-1)t^{2}}\left(1-\sqrt{1-\frac{4(q-1)t^{2}}{\omega^{2}}}\right). (25)

This results in the hole Green’s function

G0(ω)=J0+1ω[1q2(q1)(114(q1)t2ω2)].\displaystyle G_{0}(\omega)\overset{J\to 0^{+}}{=}\!\frac{1}{\omega\left[1-\frac{q}{2(q-1)}\left(1-\sqrt{1-\frac{4(q-1)t^{2}}{\omega^{2}}}\right)\right]}. (26)

Equations (25) and (26) together with Eq. (19) describes a free quantum walk of a single particle in Bethe lattices Eckstein et al. (2005), as one might expect in this extreme limit, where spin interactions play no role.

V Exact ground state and string excitations

The present methodology allows us to extract a certain set of many-body eigenstates on top of the nonequilibrium wave function derived in Sec. IV.1. This constitutes the depth symmetric states

|Ψn=Cn(0)h^0|AF+d=1dtotCn(d)𝐣dh^𝐣dl=0d1s^𝐣l|AF,\ket{\Psi_{n}}=C^{(0)}_{n}\hat{h}^{\dagger}_{0}\ket{{\rm AF}}+\sum_{d=1}^{d_{\rm tot}}C^{(d)}_{n}\sum_{{\bf j}_{d}}\hat{h}^{\dagger}_{{\bf j}_{d}}\prod_{l=0}^{d-1}\hat{s}^{\dagger}_{{\bf j}_{l}}\ket{{\rm AF}}, (27)

which are all dtot+1d_{\rm tot}+1 states for which the coefficients of the wave function only depend on the depth dd of the hole, and not the particular point 𝐣d{\bf j}_{d} at which it is located. Put in another manner, they are all the states that can be reached dynamically by immersing a single hole at the center of the lattice, i.e. the ones for which Ψn|Ψ(τ)0\braket{\Psi_{n}}{\Psi(\tau)}\neq 0. In the limit of weak interactions, JztJ_{z}\gg t, the many-body ground state is just the lowest order term, h^0|AF\hat{h}^{\dagger}_{0}\ket{{\rm AF}}, as the hopping of the hole is strongly suppressed. Conversely, in the limit of infinite interactions, Jz/t0+J_{z}/t\to 0^{+}, the energy should go to that of a free particle, which in a Bethe lattice is 2q1t-2\sqrt{q-1}t. This is indeed the case for our solution, shown explicitly in Sec. V.2. Therefore, we expect |Ψ0\ket{\Psi_{0}} to be the true many-body ground state for any value of Jz/t0J_{z}/t\geq 0. This is in contrast to the case of regular lattices, in which this type of states, so-called string excitations, do not approach the correct limiting value at very small values of Jz/tJ_{z}/t. Instead, as a precursor to the Nagaoka limit at J=0J=0 Nagaoka (1966), a ferromagnetic polaron is expected to emerge White and Affleck (2001).

V.1 General time-independent solution

The static Schrödinger equation,

εn|Ψn=H^|Ψn\varepsilon_{n}\ket{\Psi_{n}}=\hat{H}\ket{\Psi_{n}} (28)

simply corresponds to removing the i|Ψ(τ=0)i\ket{\Psi(\tau=0)} term in Eq. (12), and replacing the frequency ω+iη\omega+i\eta with the eigenstate energy εn\varepsilon_{n}. As a result, we simply have to remove the term ii in the equations of motion in Eq. (14) for the nonequilibrium case, and the same recursive relation in Eq. (17) for the nonequilibrium coefficients, therefore, applies to these eigenstates. Explicitly,

Cn(d)=tG(d)(εn)Cn(d1),C^{(d)}_{n}=t\cdot G^{(d)}(\varepsilon_{n})\cdot C^{(d-1)}_{n}, (29)

with the Green’s functions G(d)G^{(d)} evaluated at the quasiparticle pole εn\varepsilon_{n}. Inserting the result at depth d=1d=1 into the equation of motion at depth d=0d=0, we get

εnCn(0)=qt2G(1)(εn)Cn(0)εn=Σ(0)(εn).\varepsilon_{n}\cdot C^{(0)}_{n}=qt^{2}\cdot G^{(1)}(\varepsilon_{n})\cdot C^{(0)}_{n}\Rightarrow\varepsilon_{n}=\Sigma^{(0)}(\varepsilon_{n}). (30)
Refer to caption
Figure 3: Spectral functions, A(ω)A(\omega), for 4 indicated values of the number of nearest neighbors, qq. (a) For q=2q=2, the particles sit in a 1D chain [Fig. 1(b)], and there is a continuous spectrum above the quasiparticle pole at energy ε0=Jz/2(Jz/2)2+(2t)2\varepsilon_{0}=J_{z}/2-\sqrt{(J_{z}/2)^{2}+(2t)^{2}}. For higher values of qq [(b)–(d)], the spectrum consists of a series quasiparticle peaks, scaling with (Jz/t)2/3(J_{z}/t)^{2/3} at strong interactions (colored lines).

Here, Σ(0)(ω)=qt2G(1)(ω)\Sigma^{(0)}(\omega)=qt^{2}\cdot G^{(1)}(\omega) is the self-energy associated with the Green’s function G(0)(ω)G^{(0)}(\omega) in Eq. (18). This equation simply states the fact that the poles of G(0)G^{(0)} are eigenstate energies of the system, the lowest of which gives the true ground state of the system. To find the lowest order coefficient of the nnth state, Cn(0)C^{(0)}_{n}, we compute the full norm of the wave function, |Ψn\ket{\Psi_{n}}. Repeated use of the recursion relation in Eq. (29) yields

1=Ψn|Ψn=|Cn(0)|2+qd=1dtot(q1)d1|Cn(d)|2\displaystyle 1=\braket{\Psi_{n}}{\Psi_{n}}=\left|C^{(0)}_{n}\right|^{2}+q\sum_{d=1}^{d_{\rm tot}}(q-1)^{d-1}\left|C^{(d)}_{n}\right|^{2}
=|Cn(0)|2[1+qt2(G(1)(εn))2\displaystyle=\left|C^{(0)}_{n}\right|^{2}\Big{[}1+qt^{2}\big{(}G^{(1)}(\varepsilon_{n})\big{)}^{2}
+q(q1)t4(G(1)(εn)G(2)(εn))2+]\displaystyle\phantom{=\left|C^{(0)}_{n}\right|^{2}\Big{[}}+q(q-1)t^{4}\big{(}G^{(1)}(\varepsilon_{n})G^{(2)}(\varepsilon_{n})\big{)}^{2}+\dots\Big{]}
=|Cn(0)|2[1+qt2(G(1)(εn))2[1+(q1)t2G(2)[1+]]]\displaystyle=\left|C^{(0)}_{n}\right|^{2}\!\Big{[}1+qt^{2}\big{(}G^{(1)}(\varepsilon_{n})\big{)}^{2}\big{[}1+(q-1)t^{2}G^{(2)}[1+\dots]\big{]}\Big{]}

Investigating the quasiparticle residue, Zn=[1ωΣ(0)(ω)|ω=εn]1Z_{n}=[1-\partial_{\omega}\Sigma^{(0)}(\omega)|_{\omega=\varepsilon_{n}}]^{-1}, shows that the expression within the square brackets above is simply Zn1Z^{-1}_{n}. In turn, Cn(0)=ZnC^{(0)}_{n}=\sqrt{Z_{n}}, whereby we may write the eigenstate coefficients as

Cn(0)\displaystyle C^{(0)}_{n} =Zn,\displaystyle=\sqrt{Z_{n}},
Cn(d)\displaystyle C^{(d)}_{n} =Zntdl=1dG(l)(εn), 1ddtot.\displaystyle=\sqrt{Z_{n}}\cdot t^{d}\cdot\prod_{l=1}^{d}G^{(l)}(\varepsilon_{n}),\;1\leq d\leq d_{\rm tot}. (31)

In the thermodynamic limit, these coefficients can, in complete analogy to the nonequilibrium case investigated in Sec. IV.2, also be written as fractions of Bessel functions. This has previously been established for the ground state in Ref. Bieniasz et al. (2019), where the Bethe lattice description is used as a variational ansatz for the square lattice case. In Fig. 3, we plot the spectral function A(ω)=2ImG0(ω)A(\omega)=-2{\rm Im}\,G_{0}(\omega), computed in the thermodynamic limit from Eq. (22). This reveals the poles of G0G_{0}, and thereby the eigenstate energies εn\varepsilon_{n}. In the special case of q=2q=2 Batista and Ortiz (2000), the system is one-dimensional and the spectral function splits into a quasiparticle pole at

ε0=Jz24t2+Jz24.\varepsilon_{0}=\frac{J_{z}}{2}-\sqrt{4t^{2}+\frac{J_{z}^{2}}{4}}. (32)

and a continuum of states residing between Jz/2±2tJ_{z}/2\pm 2t; see also Fig. 3(a). This describes the effect known as spin-charge separation, which has been intensely studied both theoretically and experimentally in one-dimensional systems Tomonaga (1950); Kim et al. (1996); Segovia et al. (1999); Auslaender et al. (2005); Kim et al. (2006); Jompol et al. (2009); Vijayan et al. (2020). In the present case, as the charge degree of freedom moves (the hole), a single spin excitation is created and remains at the original site of the hole. Due to intense previous studies of these effects, we will not go any further with it in the present paper.

For more nearest neighbors, q3q\geq 3, a series of quasiparticles peaks arises [see Figs. 3(b)–3(d)]. In Sec. V.2, we show that at strong interactions, their energies all scale with (Jz/t)2/3(J_{z}/t)^{2/3}. The origin of this scaling is that the system in this limit can be rephrased as a continuum model, in which the hole moves in a linear potential with strength JzJ_{z}. While such a rephrasing in a regular lattice is approximate Bulaevskii et al. (1968); Kane et al. (1989); Grusdt et al. (2018a), this becomes exact in Bethe lattices as we shall unfold in Sec. V.2. In the limit of weak interactions on the other hand, JztJ_{z}\gg t, the hole becomes immobile and the nnth eigenstate is completely localized at the nnth depth with an energy simply given by the magnetic energy cost, εnEJ(n)=[(q1)+(n1)(q2)]Jz/2\varepsilon_{n}\to E_{J}^{(n)}=[(q-1)+(n-1)(q-2)]J_{z}/2 [Eq. (15)] for n1n\geq 1. In fact, to order 𝒪(t2/Jz)\mathcal{O}(t^{2}/J_{z}), only the magnetic polaron ground state and the first string excitation are affected and attain the energies

ε(±)=(q1)Jz4[1±(1+q2[4t(q1)Jz]2)].\varepsilon^{(\pm)}=\frac{(q-1)J_{z}}{4}\left[1\pm\left(1+\frac{q}{2}\left[\frac{4t}{(q-1)J_{z}}\right]^{2}\right)\right]. (33)

Here, ε0=ε()\varepsilon_{0}=\varepsilon^{(-)} and ε1=ε(+)\varepsilon_{1}=\varepsilon^{(+)} are the ground and lowest string excitation energies respectively.

The method used here to find the explicit coefficients of these eigenstates is similar to Refs. Ramšak and Horsch (1998); Reiter (1994), where the approximate magnetic polaron eigenstates within the SCBA Kane et al. (1989); Martinez and Horsch (1991); Liu and Manousakis (1991) are found. We finally note that these many-body eigenstates can in principle be used to completely characterize the full nonequilibrium dynamics. Specifically, Ψn|Ψ(τ)=Ψn|eiH^τh^0|AF=eiεnτΨn|h^0|AF=Zneiεnτ\braket{\Psi_{n}}{\Psi(\tau)}=\bra{\Psi_{n}}{\rm e}^{-i\hat{H}\tau}\hat{h}^{\dagger}_{0}\ket{{\rm AF}}={\rm e}^{-i\varepsilon_{n}\tau}\!\bra{\Psi_{n}}\hat{h}^{\dagger}_{0}\ket{{\rm AF}}=\sqrt{Z_{n}}\cdot{\rm e}^{-i\varepsilon_{n}\tau}. Therefore, the dynamics is the quantum interference of the polaron ground state and the string excitations. While this lends insight into the conceptual nature of the dynamics, it does not actually simplify the characterization of the underlying hole motion.

V.2 Continuum limit for strong interactions

In this subsection, we describe in detail the continuum limit arising for Jz/t0+J_{z}/t\to 0^{+} and a number of nearest neighbors q3q\geq 3. In addition to the dominant (Jz/t)2/3(J_{z}/t)^{2/3} contribution to the energy found previously Kane et al. (1989); Grusdt et al. (2018a); Zhong and Sorella (1995), we also variationally determine a term linear in JzJ_{z}, which allows us to accurately describe the limiting behavior of the quasiparticle residue for Jz/t0+J_{z}/t\to 0^{+}. Additionally, we explicitly compare the exact eigenstates found in Sec. V.1 to the strong-coupling limit investigated here.

We begin by transforming the equations of motion to an effective one-dimensional setting valid for the depth symmetric eigenstates found in the previous Sec. V.1. To this end, we define ψ(0)=C(0)\psi(0)=C^{(0)}, and ψ(d)=(1)dq(q1)d1C(d)\psi(d)=(-1)^{d}\sqrt{q(q-1)^{d-1}}\cdot C^{(d)} for d1d\geq 1, similar to the approach in Ref. Grusdt et al. (2018a). In this manner, the wave function fulfills a one-dimensional normalization condition: d|ψ(d)|2=1\sum_{d}|\psi(d)|^{2}=1. With this in hand, the equations of motion become

εψ(0)\displaystyle\!\!\!\varepsilon\psi(0) =qtψ(1),\displaystyle=-\sqrt{q}t\psi(1),
εψ(1)\displaystyle\!\!\!\varepsilon\psi(1) =EJ(1)ψ(1)qtψ(0)q1tψ(2),\displaystyle=E_{J}^{(1)}\psi(1)-\sqrt{q}t\psi(0)-\sqrt{q-1}t\psi(2),
εψ(d)\displaystyle\!\!\!\varepsilon\psi(d) =EJ(d)ψ(d)q1t[ψ(d1)+ψ(d+1)],\displaystyle=E_{J}^{(d)}\psi(d)-\sqrt{q-1}t\left[\psi(d-1)+\psi(d+1)\right], (34)

where the lower equation is valid for d2d\geq 2. We may now formulate the continuum model by taking this lower equation and rephrase it as a continuous equation in the limit of JztJ_{z}\ll t. This is possible, because the wave function spreads out over an ever increasing number of lattice sites in this limit, as we shall explicitly see in Sec. VI. Here, it is first beneficial to rewrite this equation according to

ε~ψ(d)=\displaystyle\tilde{\varepsilon}\psi(d)= (q2)Jz2q1tdψ(d)\displaystyle\,\frac{(q-2)J_{z}}{2\sqrt{q-1}t}d\cdot\psi(d)
[ψ(d1)2ψ(d)+ψ(d+1)],\displaystyle-\left[\psi(d-1)-2\psi(d)+\psi(d+1)\right], (35)

using Eq. (15), and defining q1tε~=[ε+2q1t]\sqrt{q-1}t\cdot\tilde{\varepsilon}=\left[\varepsilon+2\sqrt{q-1}t\right]. Next, we let d=x/λd=x/\lambda and introduce a rescaled wave function ϕ(x)=ψ(x/λ)/λ\phi(x)=\psi(x/\lambda)/\sqrt{\lambda}. Inserting this in Eq. (35) and dividing out λ2\lambda^{2}, we get

ε~λ2ϕ(x)=\displaystyle\frac{\tilde{\varepsilon}}{\lambda^{2}}\phi(x)= (q2)Jz2q1txλ3ϕ(x)\displaystyle\,\frac{(q-2)J_{z}}{2\sqrt{q-1}t}\frac{x}{\lambda^{3}}\phi(x)
ϕ(xλ)2ϕ(x)+ϕ(x+λ)λ2.\displaystyle-\frac{\phi(x-\lambda)-2\phi(x)+\phi(x+\lambda)}{\lambda^{2}}. (36)

To eliminate Jz/tJ_{z}/t, we set λ=[(q2)Jz/(2q1t)]1/3\lambda=[(q-2)J_{z}/(2\sqrt{q-1}t)]^{1/3}. For Jz/t0+J_{z}/t\to 0^{+}, the fraction in the second line of Eq. (36) approaches the second order derivative. Setting a=ε~/λ2a=\tilde{\varepsilon}/\lambda^{2}, we, hereby, obtain

aϕ(x)=xϕ(x)d2ϕdx2,a\phi(x)=x\cdot\phi(x)-\frac{{\rm d}^{2}\phi}{{\rm d}x^{2}}, (37)

which is accurate up to order λ2(Jz/t)2/3\lambda^{2}\propto(J_{z}/t)^{2/3}. The wave function ϕ(x)\phi(x) fulfills the continuous normalization condition: 0dx|ϕ(x)|2=1\int_{0}^{\infty}\!{\rm d}x|\phi(x)|^{2}=1. Letting y=xay=x-a, we get the Airy equation

0=yf(y)d2fdy2,0=yf(y)-\frac{{\rm d}^{2}f}{{\rm d}y^{2}}, (38)

for yay\geq-a, where f(y)=ϕ(y+a)f(y)=\phi(y+a). The solutions to this equation can thus be written as a superposition of the Airy functions: f(y)=AAi(y)+BBi(y)f(y)=A\cdot{\rm Ai}(y)+B\cdot{\rm Bi}(y). Since Bi(y){\rm Bi}(y) blows up for yy\to\infty, B=0B=0. Furthermore, the continuous one-dimensional description, which is exact for Jz/t0+J_{z}/t\to 0^{+}, entails that ϕ(x)\phi(x) must vanish for x<0x<0, and therefore also at x=0x=0. In turn, a-a must be a zero of the Airy function Ai(y){\rm Ai}(y). In this way, we obtain the sought set of eigenstates in the strongly interacting limit

ψn(d)\displaystyle\psi_{n}(d) =λϕn(λd)=λAnAi(λdan).\displaystyle=\sqrt{\lambda}\cdot\phi_{n}\left(\lambda d\right)=\sqrt{\lambda}\cdot A_{n}{\rm Ai}\left(\lambda d-a_{n}\right). (39)
Refer to caption
Figure 4: Eigenstates for strong interactions. The hole density is plotted as function of depth for four indicated interaction strengths [(a)–(d)] and q=4q=4 nearest neighbors. We compare the numerically calculated eigenstates from Eq. (31) to the strongly interacting limit, Eq. (39) with ddd0d\to d-d_{0}, for the three lowest string excitation states in red (ground state), green (first excited state), and blue (second excited state).

The nnth eigenstate is, thus, defined by the nnth order zero of the Airy function an-a_{n}. Also, An2=0dx|Ai(xan)|2A_{n}^{-2}=\int_{0}^{\infty}{\rm d}x\,|{\rm Ai}\left(x-a_{n}\right)|^{2} ensures normalized eigenstates. For any nonzero value of Jz/tJ_{z}/t, the eigenstates remain nonzero at the origin, d=0d=0. This turns out to yield a correction linear in Jz/tJ_{z}/t. To accommodate for this, we let ddd0d\to d-d_{0} in Eq. (39) and use d0d_{0} as a variational parameter. A rather lengthy calculation (see Appendix A) yields the variational energy for the nnth eigenstate

εnvar\displaystyle\!\varepsilon_{n}^{\rm var} =2q1t(1an2λ2)+cq(d0)Jz,\displaystyle=-2\sqrt{q-1}t\left(1-\frac{a_{n}}{2}\lambda^{2}\right)+c_{q}(d_{0})J_{z}, (40)

with cq(d0)=(q2)[d0+(q2)1+2(q(q1)11)d0(1d0)+(d0+1/2)2]c_{q}(d_{0})=(q-2)[d_{0}+(q-2)^{-1}+2(\sqrt{q(q-1)^{-1}}-1)d_{0}(1-d_{0})+(d_{0}+1/2)^{2}]. The two first terms yield the exact asymptotic behavior Zhong and Sorella (1995) with the dominant λ2(Jz/t)2/3\lambda^{2}\propto(J_{z}/t)^{2/3} scaling. The term proportional to JzJ_{z} is variationally determined, yielding a value of d0=1/(23q(q1)1)d_{0}=1/(2-3\sqrt{q(q-1)^{-1}}). The resulting energies of the three lowest energies are plotted as colored lines in Fig. 3 for q=3q=3, 44 and 55. The corresponding eigenstates for q=4q=4 are plotted in Fig. 4, showing the approach to the strongly interacting limit. Whereas the behavior at large depths is already captured very well at Jz/t=0.16J_{z}/t=0.16, the convergence of the full wave function requires very strong interactions of around Jz/t=0.02J_{z}/t=0.02.

Refer to caption
Figure 5: Residue for strong interactions. The residue is plotted for three lowest energy states as a function of interaction strength: the ground state in red, the first excited state in green, and the second excitated state in blue. This is compared to the linear behavior in Eq. (42) (black dashed), confirming the universal linear trend at strong enough interactions.

The presence of a nonzero d0d_{0} allows us to to calculate the residues, ZnZ_{n}, in this asymptotic strong coupling limit. This yields

Zn=|ψn(d=0)|2λ[AnAi(λd0an)]2\displaystyle Z_{n}=|\psi_{n}(d=0)|^{2}\simeq\lambda\cdot\left[A_{n}{\rm Ai}\left(-\lambda d_{0}-a_{n}\right)\right]^{2} (41)

This can be greatly simplified by expanding the Airy function. In fact, Ai(λd0an)(λd0)Ai(an){\rm Ai}\left(-\lambda d_{0}-a_{n}\right)\to(-\lambda d_{0}){\rm Ai}^{\prime}(-a_{n}), for λ(Jz/t)1/30\lambda\propto(J_{z}/t)^{1/3}\to 0. Furthermore, using the integral relation 0dx[Ai(xan)]2=an[Ai(an)]2+[Ai(an)]2=[Ai(an)]2\int_{0}^{\infty}{\rm d}x[{\rm Ai}(x-a_{n})]^{2}=a_{n}[{\rm Ai}(-a_{n})]^{2}+[{\rm Ai}^{\prime}(-a_{n})]^{2}=[{\rm Ai}^{\prime}(-a_{n})]^{2}, and that An2=0dx[Ai(xan)]2=[Ai(an)]2A_{n}^{-2}=\int_{0}^{\infty}{\rm d}x[{\rm Ai}(x-a_{n})]^{2}=[{\rm Ai}^{\prime}(-a_{n})]^{2} for (Jz/t)1/30(J_{z}/t)^{1/3}\to 0, we get the very simple asymptotic behavior of the residues

Zn\displaystyle Z_{n} λ[An(λd0)Ai(an)]2=λ3d02\displaystyle\to\lambda\cdot\left[A_{n}(-\lambda d_{0}){\rm Ai}^{\prime}(-a_{n})\right]^{2}=\lambda^{3}d_{0}^{2}
=q22q11(23qq1)2Jzt,\displaystyle=\frac{q-2}{2\sqrt{q-1}}\frac{1}{\left(2-3\sqrt{\frac{q}{q-1}}\right)^{2}}\cdot\frac{J_{z}}{t}, (42)

linear in Jz/tJ_{z}/t as argued previously Kane et al. (1989). Additionally, we find it to be independent of the eigenstate nn, essentially because the energy shifts due to a nonzero d0d_{0}, εnvarεn\varepsilon_{n}^{\rm var}-\varepsilon_{n} is independent of nn. Consequently, this variational approach strongly suggests that the residues of all string excitation states approach this universal value, which is confirmed by our numerical calcuations in Fig. 5 for q=4q=4 nearest neighbors. Consequently, the quasiparticles remain well-defined for any Jz/t>0J_{z}/t>0. Note that the deviations between the full result and the continuum limit at first glance seem larger for the residues in Fig. 5 than for the overall eigenstates in Fig. 4. However, a closer inspection of Fig. 4 reveals that the short-range part of the eigenstates, and in particular the residue Zn=|Ψn|h^0|AF|2Z_{n}=|\bra{\Psi_{n}}\hat{h}^{\dagger}_{0}\ket{{\rm AF}}|^{2}, only approach the continuum limit at very low values of Jz/tJ_{z}/t, as we might expect from comparing to a continuum limit. In more detail, while the long-range part of the eigenstates are determined by the (Jz/t)2/3(J_{z}/t)^{2/3} term in the energy [see Eq. (40)], the finite value of the residue arises due to the linear term, and is, therefore, more prone to higher-order corrections.

VI Nonequilibrium hole and spin dynamics

In this section, we describe the main results for the nonequilibrium dynamics. In Section VI.1, we investigate the hole dynamics, whereas the nonequilibrium spin-spin correlation dynamics is studied in Sec. VI.2.

VI.1 Hole dynamics

The density of holes at certain depth dd is readily computed from the coefficients of the many-body wave function as

nh(d=0,τ)\displaystyle n_{h}(d=0,\tau) =|C(0)(τ)|2,\displaystyle=|C^{(0)}(\tau)|^{2},
nh(d,τ)\displaystyle n_{h}(d,\tau) =q(q1)d|C(d)(τ)|2,d1.\displaystyle=q(q-1)^{d}\cdot|C^{(d)}(\tau)|^{2},\;\;d\geq 1. (43)

Here, C(d)(τ)C^{(d)}(\tau) is calculated from Eq. (13). The results for q=4q=4 and Jz=0.2tJ_{z}=0.2t are shown in Fig. 6 in the vicinity of the initial position of the hole. Since C(d)(τ)C^{(d)}(\tau) is the Fourier transform of 2Re[R(d)(ω)]2{\rm Re}[R^{(d)}(\omega)], given in Eq. (19), the appearance of heavy oscillations in these local densities can be understood from the presence of a plethora of spectral peaks, Fig. 3(d), corresponding to the string excitations found in Sec. V.1. Furthermore, the presence of a hole at depth dd is always accompanied by dd overturned spins, see Eqs. (10) and (20), and, therefore, entails a spin string of length dd. As a result, the hole density distribution is equal to the probability distribution for the so-called string length, which has been investigated previously in a two-dimensional square lattice both theoretically Grusdt et al. (2018a); Bieniasz et al. (2019) and experimentally Chiu et al. (2019).

Refer to caption
Figure 6: Local densities. We plot the local density of holes in the vicinity of its original position, d=0d=0, for 4 indicated depths (insets) in the case of q=4q=4 nearest neighbors, and a spin-spin coupling Jz=0.2tJ_{z}=0.2t (blue lines). This is further compared to the limit of infinite interactions, J/t0+J/t\to 0^{+}, where the hole moves like a free particle (black lines). While the initial stage shows a clear dampening of regular oscillations, associated with a free quantum walk, for any nonzero Jz/tJ_{z}/t large aperiodic oscillations start to kick at later times, in the present case of Jz/t=0.2J_{z}/t=0.2 around τ=10/t\tau=10/t.
Refer to caption
Figure 7: String length vs. coordination number. (a) The string length ls(τ)=ddnh(d,τ)l_{s}(\tau)=\sum_{d}d\cdot n_{h}(d,\tau) as a function of time for three different coordination numbers, q=4,8,16q=4,8,16. For τ1/qt\tau\ll 1/\sqrt{q}t, all curves collapse to an initial ballistic behavior of the hole, corresponding to ls=qt2τ2l_{s}=qt^{2}\cdot\tau^{2}. At long times, the string length has heavy oscillations around a well-defined mean value, lsl_{s}^{\infty}, shown in dashed lines. This mean value is plotted in (b) as a function of the coordination number qq for three different values of Jz/tJ_{z}/t, and compared to the weak-coupling result (dashed lines).

To better understand this complex many-body scenario, we calculate the average depth of the hole,

ls(τ)=ddnh(d,τ).l_{s}(\tau)=\sum_{d}d\cdot n_{h}(d,\tau). (44)

We denote it lsl_{s}, as it also gives the average length of overturned spins, or simply the string length, at time τ\tau. This is plotted in Fig. 7(a) as a function of time for three indicated coordination numbers. Solving the equations of motion at short times, reveals that the initial dynamics is a free quantum walk independent of the inverse interaction strength Jz/tJ_{z}/t, with

ls=qt2τ2+𝒪[(tτ)4].l_{s}=qt^{2}\cdot\tau^{2}+\mathcal{O}[(t\cdot\tau)^{4}]. (45)

It is actually fairly easy to show Nielsen et al. (2022) that the initial motion of an initially localized hole within the tt-JJ model has to be that of a free quantum walk, even in the presence of anisotropic spin-couplings.

Refer to caption
Figure 8: Time-averaged hole distribution. In black squares is shown the time-averaged hole density distribution nh(d)τ\braket{n_{h}(d)}_{\tau} [Eq. (47)] compared to the hole distribution for the first 3 eigenstates (colored markers) as a function of the depth dd and for 4 indicated interaction strengths. The coordination number is set to q=4q=4.

At long times, our results reveal that the string length undergoes heavy oscillations around a well-defined mean value,

ls=ddnh(d)τ,l_{s}^{\infty}=\sum_{d}d\cdot\braket{n_{h}(d)}_{\tau}, (46)

where

nh(d)τ=limT1T0Tdτnh(𝐝,τ).\braket{n_{h}(d)}_{\tau}=\lim_{T\to\infty}\frac{1}{T}\int_{0}^{T}{\rm d}\tau\;n_{h}({\bf d},\tau). (47)

Physically, this finite asymptote reflects that the hole remains bound to its initial position. The time-averaged hole distribution in Eq. (47) is shown in Fig. 8 for a set of indicated inverse interaction strengths Jz/tJ_{z}/t, and compared to the hole distribution for the polaron ground state and the two lowest string states [see Sec. V.1]. It is evident that for strong coupling, JztJ_{z}\ll t, the dynamical wave function is significantly more spread out than its equilibrium counterparts. This is a natural consequence of the fact that the average energy of the quenched system Ψ(τ)|H|Ψ(τ)=0\bra{\Psi(\tau)}H\ket{\Psi(\tau)}=0 (relative to EJ(0)=qJz/2+E0(q,d)E_{J}^{(0)}=qJ_{z}/2+E_{0}(q,d)) is much larger than the ground state energy 2q1t\sim-2\sqrt{q-1}t. Additionally, the shape of the time-averaged distribution changes quite dramatically with decreasing Jz/tJ_{z}/t. Indeed, below Jz=0.4tJ_{z}=0.4t the hole is no longer found with the highest probability at its original site, but rather one of its nearest neighbors. In Fig. 7(b), we compare the asymptotic string length lsl_{s}^{\infty} to the weak coupling result,

ls8q(q1)2(Jzt)2,l_{s}^{\infty}\to\frac{8q}{(q-1)^{2}}\cdot\left(\frac{J_{z}}{t}\right)^{-2}, (48)

valid for Jz/t1J_{z}/t\gg 1. To further investigate the dependency on the interaction strength, we plot the string length dynamics in Fig. 9(a) for several indicated values of Jz/tJ_{z}/t. As can be expected, the hole travels further into the Bethe lattice for decreasing values of Jz/tJ_{z}/t. The motion is generally aperiodic, due to the irregular spacing of the energy levels εn\varepsilon_{n} evident in Fig. 3. The only exception is in the limit of very weak interactions, JztJ_{z}\gg t, in which the hole is restricted to hop back and forth between depths d=0d=0 and d=1d=1, resulting in periodic motion with an angular frequency given by the energy difference between the polaron ground state and the lowest string excitation,

ε1ε0(q1)Jz2(1+q2[4t(q1)Jz]2),\varepsilon_{1}-\varepsilon_{0}\to(q-1)\frac{J_{z}}{2}\left(1+\frac{q}{2}\left[\frac{4t}{(q-1)J_{z}}\right]^{2}\right), (49)

approaching the magnetic energy cost of going to depth d=1d=1, EJ(1)=(q1)Jz/2E_{J}^{(1)}=(q-1)J_{z}/2, as JztJ_{z}\gg t. In the opposite extreme of Jz/t=0+J_{z}/t=0^{+}, the dynamics is characterized by a free quantum walk of the hole as anticipated by Eqs. (25) and (26). In Figures 9(b) and 9(c), we further characterize the full dependency on the inverse interaction strength, Jz/tJ_{z}/t. Whereas the two string lengths are simply proportional in the weak coupling limit with ls=2ls0l_{s}^{\infty}=2\cdot l_{s}^{0}, they feature remarkably different scaling behaviors for strong coupling. In fact, for any number of nearest neighbors, q3q\geq 3, our power-law fits at strong interactions, Jz/t1J_{z}/t\ll 1, reveal that ls=f(q)(Jz/t)1l_{s}^{\infty}=f^{\infty}(q)\cdot(J_{z}/t)^{-1}. On the contrary, the scaling law for the eigenstates are dramatically different, as we may derive explicitly from the strong coupling states derived in Sec. V.2.

Refer to caption
Figure 9: String length vs. interaction strength. (a) The string length is plotted as a function of time for q=4q=4 for four indicated inverse interaction strengths, Jz/tJ_{z}/t, with long time averages, lsl_{s}^{\infty}, shown as dashed lines. In the limit of infinitely strong interactions, Jz/t=0+J_{z}/t=0^{+}, the hole motion is a free quantum walk [black solid line]. (b) The long time averages, lsl_{s}^{\infty}, is plotted as a function of interaction strength and further compared to the string length in the magnetic polaron ground state ls0l_{s}^{0} (c) for three indicated values of the coordination number qq. At weak coupling, ls=2ls0(Jz/t)2l_{s}^{\infty}=2\cdot l_{s}^{0}\propto(J_{z}/t)^{-2} (black short-dashed lines). At strong coupling, they feature different power-law scalings (black long-dashed lines) with ls(Jz/t)1l_{s}^{\infty}\propto(J_{z}/t)^{-1} and ls0(Jz/t)1/3l_{s}^{0}\propto(J_{z}/t)^{-1/3}.

Explicitly, we can use that the nnth eigenstate is asymptotically given by ψn(d)=λϕn(λ(dd0))=λAnAi(λ(dd0)an)\psi_{n}(d)=\sqrt{\lambda}\phi_{n}(\lambda(d-d_{0}))=\sqrt{\lambda}A_{n}\cdot{\rm Ai}(\lambda(d-d_{0})-a_{n}). Here, we also include the effect of a nonzero shift d0d_{0}. We then get

lsn\displaystyle l_{s}^{n} =dd|ψn(d)|2=λdd|ϕn(λ(dd0))|2\displaystyle=\sum_{d}d\cdot|\psi_{n}(d)|^{2}=\lambda\sum_{d}d\cdot|\phi_{n}(\lambda(d-d_{0}))|^{2}
=xλd0(xλ+d0)|ϕn(x)|2Δx.\displaystyle=\sum_{x\geq-\!\lambda d_{0}}\!\!\!\left(\frac{x}{\lambda}+d_{0}\right)|\phi_{n}(x)|^{2}\Delta x.

Here, we use x=λ(dd0)x=\lambda(d-d_{0}), whereby Δx=λ\Delta x=\lambda. The term proportional to d0d_{0} is simply the normalization of the wave function, and so just yields d0d_{0}. The remaining terms can, in the limit of strong interactions λ(Jz/t)1/30+\lambda\propto(J_{z}/t)^{1/3}\to 0^{+}, be rephrased as an integral. This yields

lsn\displaystyle l_{s}^{n} d0+1λ0dxx|ϕn(x)|2\displaystyle\to d_{0}+\frac{1}{\lambda}\int_{0}^{\infty}{\rm d}x\,x|\phi_{n}(x)|^{2}
=d0+1λ0dxxAn2[Ai(xan)]2\displaystyle=d_{0}+\frac{1}{\lambda}\int_{0}^{\infty}{\rm d}x\,xA_{n}^{2}[{\rm Ai}(x-a_{n})]^{2}
=d0+1λ2an3An2[Ai(an)]2=d0+2an3λ.\displaystyle=d_{0}+\frac{1}{\lambda}\cdot\frac{2a_{n}}{3}A_{n}^{2}[{\rm Ai}^{\prime}(-a_{n})]^{2}=d_{0}+\frac{2a_{n}}{3\lambda}. (50)

In the last line, we first use an integral relation for the Airy functions: 0dxxAn2[Ai(xx0)]2=(2x0[Ai(x0)]2Ai(x0)Ai(x0)+2x0[Ai(x0)]2)/3\int_{0}^{\infty}{\rm d}x\,xA_{n}^{2}[{\rm Ai}(x-x_{0})]^{2}=(2x_{0}[{\rm Ai}(-x_{0})]^{2}-{\rm Ai}(-x_{0}){\rm Ai}^{\prime}(-x_{0})+2x_{0}[{\rm Ai}^{\prime}(-x_{0})]^{2})/3, and that x0=an-x_{0}=-a_{n} is a zero of the Airy function. Finally, we use that the normalization constant is given by An2=[Ai(an)]2A_{n}^{-2}=[{\rm Ai}^{\prime}(-a_{n})]^{2}. This expression, hereby, yields a dominant λ1(Jz/t)1/3\lambda^{-1}\propto(J_{z}/t)^{-1/3} scaling of the string length for all eigenstates. Additionally, the increase in string length for eigenstates with higher energy is simply linearly related to the increase in the zeros of the Airy function an-a_{n}. In Fig. 9, Eq. (50) is compared to the numerically obtained string length for the ground state for three different values of the number of nearest neighbors, showing excellent agreement at strong coupling.

We note that to get converging results for the thermodynamic limit in the case of q=4q=4 and very strong interactions of Jz=0.05tJ_{z}=0.05t, we need to go to a total depth of at least dtot=200d_{\rm tot}=200. In this case, the Bethe lattice consists of N(q=4,dtot=200)1095N(q=4,d_{\rm tot}=200)\simeq 10^{95} sites [Eq. (3)]. This far exceeds the total number of atoms in the observable universe Lif (2021), and exemplifies the enormity of the simplification achieved when reducing the description of an exponential number of sites in the Bethe lattice with just a linear number of coefficient, C(d)C^{(d)}.

VI.2 Spin dynamics

In the present subsection, we investigate the dynamics of the spin-spin correlation function

CS(d,τ)=4Ψ(τ)|S^0(z)S^𝐣d(z)|Ψ(τ).C_{S}(d,\tau)=4\bra{\Psi(\tau)}\hat{S}^{(z)}_{0}\hat{S}^{(z)}_{{\bf j}_{d}}\ket{\Psi(\tau)}. (51)

This describes the tendency of the spin at the origin, d=0d=0, to align (CS>0C_{S}>0) or antialign (CS<0C_{S}<0) with a spin at depth dd. Note that the depth symmetry of the dynamics entails that CSC_{S} only depends on the depth dd of the second spin. The advent of quantum simulation platforms enables the study of such quantities, as has been seen in two-dimensional square lattices both in Koepsell et al. (2019) and out of equilibrium Ji et al. (2021). On the other hand, the actual computation of these correlators often present an astonishing theoretical feat. In the presently studied Bethe structures, however, the full knowledge of the many-body wave function enables the precise and efficient investigation of the spin-spin correlator in Eq. (51).

To see this more concretely, we link CSC_{S} to the coefficients of the many-body wave function. In the absence of a hole, the system is a perfect antiferromagnetic state, resulting in CS(0)(d)=4AF|S^0(z)S^𝐣d(z)|AF=(1)dC_{S}^{(0)}(d)=4\bra{{\rm AF}}\hat{S}^{(z)}_{0}\hat{S}^{(z)}_{{\bf j}_{d}}\ket{{\rm AF}}=(-1)^{d}. This overall sign expresses the perfectly staggered antiferromagnetism. In the presence of a hole, we now link CS(d,τ)C_{S}(d,\tau) to the hole density. Consider, then, first the case where the hole is located between depths 0 and dd, 0<dh<d0<d_{h}<d. In this case, the zz component of the spin at d=0d=0 is just +1/2+1/2, while the zz component of the spin at depth dd is (1)d1/2(-1)^{d-1}/2. In turn, we get a contribution of (1)d1P(0<dh<d,τ)(-1)^{d-1}\cdot P(0\!<\!d_{h}\!<\!d,\tau) to CS(d,τ)C_{S}(d,\tau). Here, P(0<dh<d,τ)=0<dh<dnh(dh,τ)P(0\!<\!d_{h}\!<\!d,\tau)=\sum_{0<d_{h}<d}n_{h}(d_{h},\tau) is the probability to find the hole between depths 0 and dd at time τ\tau.

Next, if the hole has passed depth dd, the above correlation flips sign if the hole has passed the specific site 𝐣d{\bf j}_{d}. If not, then the correlation does not flip. The relative probability to have passed 𝐣d{\bf j}_{d} is just 1/q(q1)d11/q(q-1)^{d-1}. If the hole passes 𝐣d{\bf j}_{d}, there is, thus, a contribution of (1)dP(dh>d,τ)/q(q1)d1(-1)^{d}\cdot P(d_{h}\!>\!d,\tau)/q(q-1)^{d-1}. If it does not pass 𝐣d{\bf j}_{d}, it contributes with (1)d1P(dh>d,τ)(11/q(q1)d1)(-1)^{d-1}\cdot P(d_{h}\!>\!d,\tau)(1-1/q(q-1)^{d-1}). Here, P(dh>d,τ)=dh>dnh(dh,τ)P(d_{h}\!>\!d,\tau)=\sum_{d_{h}>d}n_{h}(d_{h},\tau) is the probability for the hole to have passed depth dd.

Finally, if the hole is at the specific depth dd, the correlator CS(d,τ)C_{S}(d,\tau) vanishes if the hole is at site 𝐣d{\bf j}_{d}. The contribution from this scenario is, therefore, only (1)d1P(dh=d,τ)(11/q(q1)d1)(-1)^{d-1}\cdot P(d_{h}=d,\tau)(1-1/q(q-1)^{d-1}), coming from the instance where the hole is not at 𝐣d{\bf j}_{d}. In total then, the nonequilibrium spin-spin correlator in Eq. (51) is

CS(d,τ)=(1)d1[P(0<dh<d,τ)\displaystyle C_{S}(d,\tau)=(-1)^{d-1}\Bigg{[}P(0<d_{h}<d,\tau)
+P(dh>d,τ)(12q(q1)d1)\displaystyle\phantom{C_{S}(d,\tau)=}+P(d_{h}>d,\tau)\left(1-\frac{2}{q(q-1)^{d-1}}\right)
+P(dh=d,τ)(11q(q1)d1)]\displaystyle\phantom{C_{S}(d,\tau)=}+P(d_{h}=d,\tau)\left(1-\frac{1}{q(q-1)^{d-1}}\right)\Bigg{]}
=(1)d1[1nh(0,τ)nh(d,τ)+2dh>dnh(dh,τ)q(q1)d1].\displaystyle\!=\!(-1)^{d-1}\Bigg{[}1\!-\!n_{h}(0,\tau)\!-\!\frac{n_{h}(d,\tau)+2\sum_{d_{h}\!>d}n_{h}(d_{h},\tau)}{q(q-1)^{d-1}}\Bigg{]}. (52)

This expression is valid for any d1d\geq 1. For d=0d=0, we simply have CS(d=0,τ)=1nh(d=0,τ)C_{S}(d=0,\tau)=1-n_{h}(d=0,\tau). In Eq. (52), we use that the total probability of finding the hole away from the origin is 11 minus the hole density at d=0d=0: P(0<dh<d,τ)+P(dh=d,τ)+P(dh>d,τ)=P(dh>0,τ)=1nh(dh=0,τ)P(0\!<\!d_{h}\!<\!d,\tau)+P(d_{h}\!=\!d,\tau)+P(d_{h}\!>\!d,\tau)=P(d_{h}\!>\!0,\tau)=1-n_{h}(d_{h}=0,\tau). At τ=0\tau=0, it follows that CS(d,τ=0)=0C_{S}(d,\tau=0)=0, which also has to be the case physically, because there is no spin at d=0d=0 initially. At later times, as nh(0,τ)n_{h}(0,\tau) diminishes, the spin-spin correlations can be strongly affected in the vicinity of d=0d=0. If e.g. the hole is entirely located at d=1d=1, CS(d=1,τ)=11/q>0C_{S}(d=1,\tau)=1-1/q>0. This has the opposite sign of the spin correlations in the absence of holes, and is simply a result of removing the original spin-\downarrow fermion at d=0d=0, and letting the resulting hole travel to d=1d=1 [see Fig. 2].

Refer to caption
Figure 10: Spin dynamics. The time-dependent spin-spin correlation function CS(d,τ)=4Ψ(τ)|S^0(z)S^𝐣d(z)|Ψ(τ)C_{S}(d,\tau)=4\bra{\Psi(\tau)}\hat{S}^{(z)}_{0}\hat{S}^{(z)}_{{\bf j}_{d}}\ket{\Psi(\tau)} [Eqs. (51) and (52)] relative to the spin correlation in the absence of a hole CS(0)(d)=(1)dC_{S}^{(0)}(d)=(-1)^{d} for indicated depths dd [(a)–(d)]. This is shown in the case of weak (J=2tJ=2t, blue lines), intermediate (J=0.5tJ=0.5t, green lines), strong (J=0.2tJ=0.2t, orange lines), and very strong interactions (J=0.1tJ=0.1t, red lines), as well as in the quantum walk limit of J/t0+J/t\to 0^{+} (black lines). Note that for all d1d\geq 1, the spin correlation has flipped sign with respect to the value in the absence of holes.

We investigate this mechanism in more detail in Fig. 10 by plotting the full dynamics of the spin-spin correlator [Eq. (52)] relative to the spin correlator in the absence of holes. Throughout the entire dynamics, we observe the mentioned flip in correlation for any d1d\geq 1. Furthermore, for weak to intermediate interactions we observe heavy oscillations originating in the density oscillations [Fig. 6]. At very strong interactions, approaching the free quantum walk of the hole, the relative spin correlation reaches an asymptotic value of CS(d,τ)/CS(0)(d)1+2/q(q1)d1C_{S}(d,\tau)/C_{S}^{(0)}(d)\to-1+2/q(q-1)^{d-1} at long timescales, τ1/t\tau\gg 1/t. This is because the hole in this case will always leave any finite region of the Bethe lattice, so that dh>dnh(dh,τ)1\sum_{d_{h}>d}n_{h}(d_{h},\tau)\to 1 in Eq. (52), while nh(0,τ),nh(d,τ)0n_{h}(0,\tau),n_{h}(d,\tau)\to 0. Finally, by carefully analyzing the possible extremal values of CS(d,τ)/CS(0)(d)C_{S}(d,\tau)/C_{S}^{(0)}(d), we find that

CS(d=0,τ)CS(0)(d=0)\displaystyle\frac{C_{S}(d=0,\tau)}{C_{S}^{(0)}(d=0)} [0,1],\displaystyle\in[0,1],
CS(d=1,τ)CS(0)(d=1)\displaystyle\frac{C_{S}(d=1,\tau)}{C_{S}^{(0)}(d=1)} [1+1/q,0],\displaystyle\in[-1+1/q,0],
CS(d2,τ)CS(0)(d2)\displaystyle\frac{C_{S}(d\geq 2,\tau)}{C_{S}^{(0)}(d\geq 2)} [1,0],\displaystyle\in[-1,0], (53)

used as the axis limits on the second axes in Fig. 10. This result is not limited to the tt-JzJ_{z} model investigated in the present paper, but holds in general. It only depends on the depth symmetry of the wave function in Eq. (10), and may be derived by varying CS(d,τ)/CS(0)(d)C_{S}(d,\tau)/C_{S}^{(0)}(d) with respect to the coefficients C(d)C^{(d)} of the wave function given that the norm of the wave function is preserved, Ψ|Ψ=1\braket{\Psi}{\Psi}=1. Indeed, we see that CSC_{S} does not necessarily explore all the possible values, evident in the cases of d=1d=1 and d=2d=2, Figs. 10(b) and 10(c) respectively.

In this way, we see how we may we characterize both the hole and spin dynamics exactly and very efficiently in these Bethe lattice structures.

VII Conclusions and outlook

In this article, we have found exact solutions to the nonequilibrium many-body dynamics and a certain class of eigenstates of a single hole in antiferromagnetic Bethe lattices, described by the fully anisotropic tt-JzJ_{z} model. The found eigenstates include the magnetic polaron ground state as well as the ubiquitous string excitations. The latter are in this case exact many-body eigenstates with a vanishing spectral width in contrast to the tt-JzJ_{z} model in regular crystal lattices Wrzosek and Wohlfeld (2021), as well as in the presence of transverse spin coupling present in the full tt-JJ model Kane et al. (1989); Martinez and Horsch (1991).

As our methodology yields the full many-body wave function, any correlation function can be calculated very efficiently, illustrated by the investigated spin-spin correlation dynamics. The exact solvability of the model is a result of the fractal self-similarity of Bethe lattices, which we have shown leads to simple recursion relations for the coefficients of the wave function. In particular, the self-similarity of the lattice reduces the number of independent coefficients in the wave function from being exponential to linear in the depth, greatly reducing its complexity. We anticipate that it should be possible to extend the present methodology to nonzero temperatures. In this case, we see two possible routes forward, either by expressing the system dynamics in terms of a full density matrix, or by translating the methodology to finite temperature quantum field theory. In either case, understanding the impact of temperature in these highly idealized lattices may further our understanding of the same phenomena in regular crystal lattices. Finally, the exploration of pairing of two holes is essential to improve our understanding of the mechanisms behind high-temperature superconductivity. The massive simplification found in the Bethe lattices for a single hole in the present paper, may lead to interesting new insights into this scenario, which we hope to explore in the future.

Acknowledgements.
KKN would like to thank Georg M. Bruun for helpful and valuable input on the manuscript. KKN also thanks Jens Havgaard Nyhegn and Thomas Pohl for fruitful discussions. This work has been supported by the Carlsberg Foundation through a Carlsberg Internationalisation Fellowship and the Danish National Research Foundation through the Center of Excellence “CCQ” (Grant agreement no.: DNRF156).

Appendix A Variational energy at strong interactions

In this section, we derive the variational energy in Eq. (40). We use

ψn(d)=λAnAi(λ(dd0)an)=λϕn(x),\psi_{n}(d)=\sqrt{\lambda}A_{n}\cdot{\rm Ai}(\lambda(d-d_{0})-a_{n})=\sqrt{\lambda}\phi_{n}(x), (54)

where x=λ(dd0)x=\lambda(d-d_{0}), and λ=[(q2)Jz/(2q1)t]1/3\lambda=[(q-2)J_{z}/(2\sqrt{q-1})t]^{1/3}. The variational parameter is thus the reference depth d0d_{0}. Using the equations of motion in Eq. (34), we obtain the variational energy functional

εnvar=\displaystyle\varepsilon_{n}^{\rm var}= d1EJ(d)|ψn(d)|22q1td1ψn(d)ψ(d+1)\displaystyle\sum_{d\geq 1}E_{J}^{(d)}|\psi_{n}(d)|^{2}-2\sqrt{q-1}t\sum_{d\geq 1}\psi_{n}(d)\psi(d+1)
2qtψn(0)ψ(1)\displaystyle-2\sqrt{q}t\cdot\psi_{n}(0)\psi(1)
=\displaystyle= d1EJ(d)|ψn(d)|22q1td0ψn(d)ψ(d+1)\displaystyle\sum_{d\geq 1}E_{J}^{(d)}|\psi_{n}(d)|^{2}-2\sqrt{q-1}t\sum_{d\geq 0}\psi_{n}(d)\psi(d+1)
2t(qq1)ψn(0)ψn(1).\displaystyle-2t(\sqrt{q}-\sqrt{q-1})\cdot\psi_{n}(0)\psi_{n}(1). (55)

This expression can already be used to numerically determine d0d_{0}. However, as we shall now show, it is actually possible to determine it analytically. Let us first investigate the contribution from the magnetic energy cost

εn,1var=\displaystyle\varepsilon_{n,1}^{\rm var}= d1EJ(d)|ψn(d)|2=Jz2d1[1+(q2)d]|ψn(d)|2\displaystyle\sum_{d\geq 1}E_{J}^{(d)}|\psi_{n}(d)|^{2}=\frac{J_{z}}{2}\sum_{d\geq 1}\left[1+(q-2)d\right]|\psi_{n}(d)|^{2}
=\displaystyle= Jz2[1+(q2)d0][1|ψn(0)|2]\displaystyle\frac{J_{z}}{2}\left[1+(q-2)d_{0}\right]\left[1-|\psi_{n}(0)|^{2}\right]
+(q2)Jz2d1(dd0)|ψn(d)|2.\displaystyle+(q-2)\frac{J_{z}}{2}\sum_{d\geq 1}(d-d_{0})|\psi_{n}(d)|^{2}. (56)

Here, we separate out the contribution from d0d_{0}. From Eq. (42), we get |ψn(0)|2Jz/t|\psi_{n}(0)|^{2}\propto J_{z}/t. This term, therefore, yields a contribution at order (Jz/t)2(J_{z}/t)^{2} and may be dropped. The term proportional to (dd0)(d-d_{0}) will superficially yield a term of order Jzls(n)(Jz/t)2/3J_{z}\cdot l_{s}^{(n)}\propto(J_{z}/t)^{2/3} [See Eq. (50)]. However, as we shall see shortly, there is a corresponding term from the hopping Hamiltonian that cancels this.

To evaluate this sum, containing ψn(d)ψn(d+1)\psi_{n}(d)\psi_{n}(d+1), we expand ψn(d+1)\psi_{n}(d+1) to second order: ψn(d+1)=ψn(d)+dψn+d2ψn/2\psi_{n}(d+1)=\psi_{n}(d)+\partial_{d}\psi_{n}+\partial_{d}^{2}\psi_{n}/2. The first of these terms, therefore, contribute with 2q1td|ψn(d)|2=2q1t-2\sqrt{q-1}t\cdot\sum_{d}|\psi_{n}(d)|^{2}=-2\sqrt{q-1}t. Further, using the defining differential equation for the Airy function [Eq. (38)], we get d2ψn=λ2[λ(dd0)an]ψn(d)\partial_{d}^{2}\psi_{n}=\lambda^{2}[\lambda(d-d_{0})-a_{n}]\psi_{n}(d). Hence, the contribution from the second order derivative is

q1tλ2dψn(d)d2ψn(d)\displaystyle-\!\sqrt{q-1}t\cdot\lambda^{2}\sum_{d}\psi_{n}(d)\partial_{d}^{2}\psi_{n}(d)
=q1tλ2d[λ(dd0)an]|ψn(d)|2\displaystyle=-\sqrt{q-1}t\cdot\lambda^{2}\sum_{d}[\lambda(d-d_{0})-a_{n}]|\psi_{n}(d)|^{2}
=q1tanλ2(q2)Jz2d0(dd0)|ψn(d)|2.\displaystyle=\sqrt{q-1}t\cdot a_{n}\lambda^{2}-\frac{(q-2)J_{z}}{2}\!\sum_{d\geq 0}(d-d_{0})|\psi_{n}(d)|^{2}.\!\! (57)

The first term in this expression yields the term at order (Jz/t)2/3(J_{z}/t)^{2/3} to the energy in Eq. (40). The second term cancels all contributions in the lower line of Eq. (56) for d1d\geq 1. The remaining term is, thus, proportional to |ψn(d)|2|\psi_{n}(d)|^{2}, and is therefore proportional to (Jz/t)2(J_{z}/t)^{2} and may be dropped. We now move on to the contribution from the first derivate, dψn\partial_{d}\psi_{n}. This yields,

dψ(d)dψn\displaystyle\sum_{d}\psi(d)\partial_{d}\psi_{n} =λ2xλd0ϕn(x)xϕn(x)\displaystyle=\lambda^{2}\sum_{x\geq-\lambda d_{0}}\phi_{n}(x)\partial_{x}\phi_{n}(x)
=λxλd0Δxϕn(x)xϕn(x),\displaystyle=\lambda\sum_{x\geq-\lambda d_{0}}\Delta x\cdot\phi_{n}(x)\partial_{x}\phi_{n}(x), (58)

using Δx=λ\Delta x=\lambda. To evaluate this sum, we transform the sum to an integral using the midpoint rule. This yields

dψ(d)dψnλλd0λ/2dxϕn(x)xϕn(x)\displaystyle\sum_{d}\psi(d)\partial_{d}\psi_{n}\to\lambda\int_{-\lambda d_{0}-\lambda/2}^{\infty}{\rm d}x\,\phi_{n}(x)\partial_{x}\phi_{n}(x)
=λ[0dxϕn(x)xϕn(x)0λ(d0+1/2)dxϕn(x)xϕn(x)]\displaystyle=\lambda\left[\int_{0}^{\infty}\!\!\!{\rm d}x\,\phi_{n}(x)\partial_{x}\phi_{n}(x)-\int_{0}^{-\lambda(d_{0}+1/2)}\!\!\!\!\!{\rm d}x\,\phi_{n}(x)\partial_{x}\phi_{n}(x)\right]
λ0λ(d0+1/2)dxx|[yϕn(y)]y=0|2\displaystyle\simeq-\lambda\int_{0}^{-\lambda(d_{0}+1/2)}\!\!\!{\rm d}x\,x\left|[\partial_{y}\phi_{n}(y)]_{y=0}\right|^{2}
=λ32(d0+12)2\displaystyle=-\frac{\lambda^{3}}{2}\left(d_{0}+\frac{1}{2}\right)^{2} (59)

The use of the midpoint rule results in the shift of the integration limit from λd0-\lambda d_{0} to λd0λ/2-\lambda d_{0}-\lambda/2, i.e. half an interval of Δx\Delta x. Consequently, the error made in transforming the sum to an integral is of order (λ(d0+1/2))3(\lambda(d_{0}+1/2))^{3} and may be neglected. The collected contribution from these hopping terms is, thus,

εn,2var=\displaystyle\varepsilon^{\rm var}_{n,2}= 2q1t+q1tan((q2)Jz2q1t)2/3\displaystyle\,-2\sqrt{q-1}t+\sqrt{q-1}t\cdot a_{n}\cdot\left(\frac{(q-2)J_{z}}{2\sqrt{q-1}t}\right)^{2/3}
+q1tλ3(d0+12)2\displaystyle+\sqrt{q-1}t\cdot\lambda^{3}\left(d_{0}+\frac{1}{2}\right)^{2}
=εn+(q2)Jz2(d0+12)2.\displaystyle=\varepsilon_{n}+(q-2)\frac{J_{z}}{2}\left(d_{0}+\frac{1}{2}\right)^{2}. (60)

Here, we neglect the term (q2)Jz2d0(dd0)|ψn(d)|2-(q-2)\frac{J_{z}}{2}\sum_{d\geq 0}(d-d_{0})|\psi_{n}(d)|^{2}, cancelling the lower term in Eq. (56). Finally, we investigate the term proportional to ψn(0)ψn(1)\psi_{n}(0)\psi_{n}(1), present due to the fact that the hopping between d=0d=0 and d=1d=1 is fundamentally different than for d1d\geq 1. Expanding the wave functions to lowest order yields

εn,3var\displaystyle\varepsilon^{\rm var}_{n,3} =2t(qq1)ψn(0)ψn(1)\displaystyle=-2t(\sqrt{q}-\sqrt{q-1})\cdot\psi_{n}(0)\psi_{n}(1)
=2t(qq1)λ3d0(1d0),\displaystyle=2t(\sqrt{q}-\sqrt{q-1})\cdot\lambda^{3}d_{0}(1-d_{0}), (61)

using that An2|Ai(an)|2=1A_{n}^{2}|{\rm Ai}^{\prime}(-a_{n})|^{2}=1. All in all, we get the variational energy

εnvar=εn+[1+(q2)d0]Jz2\displaystyle\varepsilon_{n}^{\rm var}=\varepsilon_{n}+\left[1+(q-2)d_{0}\right]\cdot\frac{J_{z}}{2}
+(q2)(d0+12)2Jz2\displaystyle+(q-2)\left(d_{0}+\frac{1}{2}\right)^{2}\cdot\frac{J_{z}}{2}
+2(q2)(qq11)d0(1d0)Jz2,\displaystyle+2(q-2)\left(\sqrt{\frac{q}{q-1}}-1\right)d_{0}(1-d_{0})\cdot\frac{J_{z}}{2}, (62)

where εn=2q1t(1anλ2/2)\varepsilon_{n}=-2\sqrt{q-1}t(1-a_{n}\lambda^{2}/2). The result in Eq. (62) coincides with Eq. (40).

References