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

Symmetry-protected topological phases and competing orders
in a spin-12\frac{1}{2} XXZ ladder with a four-spin interaction

Takuhiro Ogino Institute for Solid State Physics, University of Tokyo, Kashiwa, Chiba 277-8581, Japan    Shunsuke Furukawa Department of Physics, Keio University, Kohoku-ku, Yokohama, Kanagawa 223-8522, Japan    Ryui Kaneko Department of Physics, Kindai University, Higashi-Osaka, Osaka 577-8502, Japan    Satoshi Morita Institute for Solid State Physics, University of Tokyo, Kashiwa, Chiba 277-8581, Japan    Naoki Kawashima Institute for Solid State Physics, University of Tokyo, Kashiwa, Chiba 277-8581, Japan
Abstract

We study a spin-12\frac{1}{2} XXZ model with a four-spin interaction on a two-leg ladder. By means of effective field theory and matrix product state calculations, we obtain rich ground-state phase diagrams that consist of eight distinct gapped phases. Four of them exhibit spontaneous symmetry breaking with either a magnetic or valence-bond-solid (VBS) long-range order. The other four are featureless, i.e., the bulk ground state is unique and does not break any symmetry. The featureless phases include the rung singlet (RS) and Haldane phases as well as their variants, the RS* and Haldane* phases, in which twisted singlet pairs (|+|)/2\left(\ket{\uparrow\downarrow}+\ket{\downarrow\uparrow}\right)/\sqrt{2} are formed between the two legs. We argue and demonstrate that Gaussian transitions with the central charge c=1c=1 occur between the featureless phases and between the ordered phases while Ising transitions with c=1/2c=1/2 occur between the featureless and ordered phases. The two types of transition lines cross at the SU(2)(2)-symmetric point, where the criticality is described by the SU(2)2(2)_{2} Wess-Zumino-Witten theory with c=3/2c=3/2. The RS-Haldane* and RS*-Haldane transitions give examples of topological phase transitions. Interestingly, the RS* and Haldane* phases, which have highly anisotropic nature, appear even in the vicinity of the isotropic case. We demonstrate that all the four featureless phases are distinguished by topological indices in the presence of certain symmetries.

I Introduction

The concept of symmetry-protected topological (SPT) phases has been proposed and fruitfully developed over the last decade [1, 2, 3, 4, 5, 6]. A SPT phase is a featureless gapped phase that does not exhibit spontaneous symmetry breaking but is distinguished from a trivial phase (i.e. a phase that includes a site-factorized product state) as long as certain symmetries are imposed. For example, Haldane phases [7, 8, 9] of odd-integer-spin chains are distinguished from trivial phases in the presence of the discrete spin rotation symmetry D2(=2×2)D_{2}(=\mathbb{Z}_{2}\times\mathbb{Z}_{2}), time-reversal symmetry, or bond-centered inversion symmetry [1, 10, 11, 12, 13]. The Haldane phases with odd integer spins have been characterized by a string order parameter [14], hidden symmetry breaking [15, 16], a twist operator [17, 18], degeneracy in the edge states [19], the entanglement spectrum [10], and topological indices [10, 20, 21, 22]. Classification of SPT phases of bosons has been achieved by using the projective representations of the symmetry group in one dimension [21, 22, 23] and group cohomology theory in higher dimensions [24, 25].

𝑺2,j2\bm{S}_{2,j-2}𝑺1,j2\bm{S}_{1,j-2}𝑺2,j1\bm{S}_{2,j-1}𝑺1,j1\bm{S}_{1,j-1}𝑺2,j\bm{S}_{2,j}𝑺1,j\bm{S}_{1,j}𝑺2,j+1\bm{S}_{2,j+1}𝑺1,j+1\bm{S}_{1,j+1}𝑺2,j+2\bm{S}_{2,j+2}𝑺1,j+2\bm{S}_{1,j+2}JJJJ_{\perp}J4J_{4}
Figure 1: XXZ ladder with a four-spin interaction, which is described by the Hamiltonian (I). The spin-12\frac{1}{2} operator at the jj-th site on the α\alpha-th leg is denoted by 𝑺α,j\bm{S}_{\alpha,j}. We set J=1J=1 throughout the paper.
Refer to caption
Figure 2: Schematic phase diagram of the model (I) for 0<J,J410<J_{\perp},J_{4}\ll 1, obtained with the effective Hamiltonian (8). The value of JJ_{\perp} is fixed. There are four phases and two phase transition lines. Each phase is characterized by the locking positions of the bosonic fields. The red solid line shows the Gaussian transition with the central charge c=1c=1 while the blue solid line shows the Ising transition with c=1/2c=1/2. Two spins paired by a red oval form a singlet (||)/2(\ket{\uparrow\downarrow}-\ket{\downarrow\uparrow})/\sqrt{2} while those paired by a blue oval form a twisted singlet (|+|)/2(\ket{\uparrow\downarrow}+\ket{\downarrow\uparrow})/\sqrt{2}. The Haldane* state is related with the conventional Haldane state on a ladder (see Fig. 3) through the π\pi rotation of the spins on one of the chains about the zz-axis; a singlet pair of spins on different chains turns into a twisted one by this transformation.
Refer to caption
Figure 3: Schematic phase diagram of the model (I) for J,J4<0J_{\perp},J_{4}<0 with |J|,|J4|1|J_{\perp}|,|J_{4}|\ll 1, obtained with the effective Hamiltonian (8). The value of JJ_{\perp} is fixed. There are four phases, each characterized by the field locking positions. As in Fig. 2, the red and blue solid lines show Gaussian and Ising transitions, respectively. Red and blue ovals show a singlet and a twisted singlet, respectively. The Haldane state is a superposition of various singlet-covering states, and the inset for the Haldane phase is an example of such singlet covering.

A simple extension of the spin-11 Haldane phase can be found in a spin-12\frac{1}{2} two-leg ladder. Consider a spin-12\frac{1}{2} ladder with Heisenberg interactions JJ and JJ_{\perp} along the legs and rungs, respectively, where JJ is assumed to be antiferromagnetic; see Fig. 1. Field-theoretical analyses indicate that the presence of the rung interaction J0J_{\perp}\neq 0 immediately leads to gapped phases whose properties depend on the sign of JJ_{\perp} [26, 27, 28]. In the gapped phase for ferromagnetic J<0J_{\perp}<0, effective spin-11 degrees of freedom emerge on the rungs and collectively form the Haldane state. This state can equivalently be viewed as a superposition of various singlet-covering states on a ladder. In contrast, the gapped phase for antiferromagnetic J>0J_{\perp}>0 can be understood from the limit JJ_{\perp}\to\infty, where the ground state is a product state of singlet pairs on the rungs, known as the rung singlet (RS) state. The gapped phases for J<0J_{\perp}<0 and J>0J_{\perp}>0 are thus called the Haldane and RS phases, respectively. These phases are distinguished in terms of two types of string order parameters [29, 30, 31, 32] [shown in Eq. (5) later].

Liu et al. [33] have conducted a detailed classification of SPT phases in a spin-12\frac{1}{2} two-leg ladder for the symmetry group D2×σD_{2}\times\sigma, where σ\sigma is the symmetry with respect to the interchange of the two legs. They have found three new SPT phases termed tμ(μ=x,y,z)t_{\mu}~{}(\mu=x,y,z), all of which have symmetry-protected two-fold degenerate edge states on each end of an open ladder, with unique responses to magnetic fields. For example, the edge states in the tzt_{z} phase are split by the magnetic field along the zz direction, but not by the fields in the xx and yy directions. The tμt_{\mu} phase is related with the Haldane phase (termed t0t_{0} in Ref. [33]) under the π\pi rotation of spins about the μ\mu-axis on the first leg, U1μ(π):=exp(iπjS1,jμ)U_{1}^{\mu}(\pi):=\exp\quantity(i\pi\sum_{j}S_{1,j}^{\mu}), which provides some intuition on the ground state. Specifically, a singlet pair between spins on different legs turns into a twisted singlet |1,z:=(|+|)/2\ket{1,z}:=\left(\ket{\uparrow\downarrow}+\ket{\downarrow\uparrow}\right)/\sqrt{2} under U1z(π)U_{1}^{z}(\pi). It has also been argued that the trivial phase (i.e., the phase that includes rung-factorized states) is divided into four phases, termed rung-|0,0\ket{0,0} and rung-|1,μ(μ=x,y,z)\ket{1,\mu}~{}(\mu=x,y,z), if the translational symmetry is further imposed. The rung-|0,0\ket{0,0} phase corresponds to the conventional RS phase, and the rung-|1,μ\ket{1,\mu} phase is obtained by operating the unitary transformation U1μ(π)U_{1}^{\mu}(\pi) on the rung-|0,0\ket{0,0} phase. A highly anisotropic XYZ model on a ladder has been studied, which exhibits competition among the t0t_{0}, tzt_{z}, rung-|0,0\ket{0,0}, and rung-|1,z\ket{1,z} phases and a variety of magnetic phases (see also Ref. [34] and Appendix A). Fuji has given a field-theoretical description of a variety of SPT and symmetry-broken phases of a spin-12\frac{1}{2} XXZ ladder [35, 36]. Following him, we henceforth use the terms, the Haldane* and RS* phases, to refer to the tzt_{z} and rung-|1,z\ket{1,z} phases, respectively, where a star indicates the operation of U1z(π)U_{1}^{z}(\pi) or equivalently the twist of singlet pairs between the legs. As the study of these phases has so far been limited in literature, it is worthwhile to further investigate when these phases emerge and how they compete with other phases in concrete spin models.

In this paper, we study a simple extension of the spin-12\frac{1}{2} Heisenberg ladder that has XXZ anisotropy Δ\Delta and a four-spin interaction J4J_{4} (Fig. 1). The Hamiltonian of our model is given by

H=\displaystyle H= Jα=1,2j(𝑺α,j𝑺α,j+1)Δ+Jj(𝑺1,j𝑺2,j)Δ\displaystyle J\sum_{\alpha=1,2}\sum_{j}(\bm{S}_{\alpha,j}\cdot\bm{S}_{\alpha,j+1})_{\Delta}+J_{\perp}\sum_{j}(\bm{S}_{1,j}\cdot\bm{S}_{2,j})_{\Delta}
+J4j(𝑺1,j𝑺1,j+1)(𝑺2,j𝑺2,j+1),\displaystyle+J_{4}\sum_{j}(\bm{S}_{1,j}\cdot\bm{S}_{1,j+1})(\bm{S}_{2,j}\cdot\bm{S}_{2,j+1}), (1)

where

(𝑺α,i𝑺β,j)Δ:=Sα,ixSβ,jx+Sα,iySβ,jy+ΔSα,izSβ,jz.(\bm{S}_{\alpha,i}\cdot\bm{S}_{\beta,j})_{\Delta}:=S^{x}_{\alpha,i}S^{x}_{\beta,j}+S^{y}_{\alpha,i}S^{y}_{\beta,j}+\Delta S^{z}_{\alpha,i}S^{z}_{\beta,j}. (2)

The four-spin interaction with J4>0J_{4}>0 (J4<0J_{4}<0) introduces effective repulsion (attraction) between singlet pairs on the upper and lower edges of each plaquette. Throughout this paper, we take the leg interaction J=1J=1 as the unit of energy. In contrast to the highly anisotropic models studied in Refs. [33, 34, 35], we investigate a regime around the isotropic case Δ=1\Delta=1. By means of effective field theory for |J|,|J4|1|J_{\perp}|,|J_{4}|\ll 1, we obtain rich ground-state phase diagrams that consist of eight distinct gapped phases, as schematically shown in Figs. 2 and 3. We also perform numerical calculations based on the variational uniform matrix product state (VUMPS) algorithm [37, 38] for J=±1J_{\perp}=\pm 1 to demonstrate that essentially the same phase structures continue for |J|,|J4|=O(1)|J_{\perp}|,|J_{4}|=O(1), as shown in Figs. 4 and 10 later. A notable feature as compared to Refs. [33, 34] is that the four featureless phases, i.e., the RS, RS*, Haldane, and Haldane* phases compete not only with magnetic phases but also with staggered dimer (SD) and columnar dimer (CD) phases, which have valence bond solid (VBS) long-range orders breaking the translational symmetry. It is also remarkable that the RS* and Haldane* phases, which have highly anisotropic wave functions involving twisted singlet pairs, appear even in the vicinity of the isotropic case Δ=1\Delta=1. Below we briefly review previous studies on the model (I) and highlight our contributions.

The model (I) has been studied intensively in the isotropic case Δ=1\Delta=1 [39, 40, 41, 42, 43, 44, 45], which corresponds to the horizontal axes of Figs. 2 and 3. The SD and CD phases can be interpreted as a consequence of effective repulsion or attraction between singlet pairs due to J4J_{4}. These phases have two-fold degenerate ground states below an excitation gap and are characterized by the order parameters

𝒪SD(j)\displaystyle\expectationvalue{\mathcal{O}_{\text{SD}}(j)} =14𝑺1,j1𝑺1,j𝑺2,j1𝑺2,j\displaystyle=\frac{1}{4}\langle\bm{S}_{1,j-1}\cdot\bm{S}_{1,j}-\bm{S}_{2,j-1}\cdot\bm{S}_{2,j}
𝑺1,j𝑺1,j+1+𝑺2,j𝑺2,j+1,\displaystyle~{}~{}~{}~{}~{}~{}-\bm{S}_{1,j}\cdot\bm{S}_{1,j+1}+\bm{S}_{2,j}\cdot\bm{S}_{2,j+1}\rangle, (3a)
𝒪CD(j)\displaystyle\expectationvalue{\mathcal{O}_{\text{CD}}(j)} =14𝑺1,j1𝑺1,j+𝑺2,j1𝑺2,j\displaystyle=\frac{1}{4}\langle\bm{S}_{1,j-1}\cdot\bm{S}_{1,j}+\bm{S}_{2,j-1}\cdot\bm{S}_{2,j}
𝑺1,j𝑺1,j+1𝑺2,j𝑺2,j+1.\displaystyle~{}~{}~{}~{}~{}~{}-\bm{S}_{1,j}\cdot\bm{S}_{1,j+1}-\bm{S}_{2,j}\cdot\bm{S}_{2,j+1}\rangle. (3b)

The translational symmetry as well as a Z2Z_{2} symmetry with respect to the rung-centered reflection (𝑺α,j𝑺α,j{\bm{S}}_{\alpha,j}\mapsto{\bm{S}}_{\alpha,-j}) are spontaneously broken in these phases. Field-theoretical analyses for weak inter-chain couplings (|J|,|J4|1|J_{\perp}|,|J_{4}|\ll 1) [39, 46, 44, 45] suggest that the RS-SD and Haldane-CD transitions are continuous and described by the SU(2)2(2)_{2} Wess-Zumino-Witten (WZW) theory with the central charge c=3/2c=3/2, although a possibility of a first-order transition is not excluded. In this approach, the transition points are estimated to be J42.05JJ_{4}\approx 2.05J_{\perp} for both signs of JJ_{\perp} for |J|,|J4|1|J_{\perp}|,|J_{4}|\ll 1 [44]. More detailed phase diagrams on the JJ_{\perp}-J4J_{4} plane have been obtained numerically [42, 43, 45]. In particular, the exact diagonalization result of Ref. [42] for the RS-SD transition is consistent with the c=3/2c=3/2 criticality for 0.5J1.50.5\lesssim J_{\perp}\lesssim 1.5.

We have started our analysis of the anisotropic case Δ1\Delta\neq 1 in Ref. [47], and we extend it substantially in the present work. The obtained phase diagrams in Figs. 2 and 3 look like mirror images of each other 111 A useful way to relate the phases in Figs. 2 and 3 is to shift the lower leg of the ladder by one lattice spacing. In the bosonization formalism, this can be expressed as the shifts of 2πϕ22\sqrt{\pi}\phi_{2} and πθ2\sqrt{\pi}\theta_{2} by π-\pi and π\pi, respectively, as seen in Eq. (7). This corresponds to the shifts of 22πϕ±2\sqrt{2\pi}\phi_{\pm} and 2πθ\sqrt{2\pi}\theta_{-} by π\mp\pi and π-\pi, respectively. The reason for this qualitative relation between Figs. 2 and 3 is as follows. In the bosonized expressions of spin and dimer operators in Eq. (7), the staggered components play a leading role. Therefore, an antiferromagnetic interaction on a rung, J(𝑺1,j𝑺2,j)ΔJ_{\perp}(\bm{S}_{1,j}\cdot\bm{S}_{2,j})_{\Delta} with J>0J_{\perp}>0, is qualitatively similar to a ferromagnetic interaction in a diagonal direction, J(𝑺1,j𝑺2,j1)Δ-J_{\perp}(\bm{S}_{1,j}\cdot\bm{S}_{2,j-1})_{\Delta}, which is then transformed to a ferromagnetic interaction on a rung after the shift of the lower leg. A similar transformation can also be performed for J4J_{4}. . The Haldane* and RS* phases, which are both featureless, appear for easy-plane anisotropy Δ<1\Delta<1. The Néel and stripe Néel (SN) phases, which have magnetic long-range orders along the zz-axis, appear for easy-axis anisotropy Δ>1\Delta>1. The Néel and SN phases have two-fold degenerate ground states below an excitation gap, and are characterized by the order parameters

𝒪Néel(j)\displaystyle\expectationvalue{\mathcal{O}_{\text{N\'{e}el}}(j)} =14S1,jzS2,jzS1,j+1z+S2,j+1z,\displaystyle=\frac{1}{4}\expectationvalue{S^{z}_{1,j}-S^{z}_{2,j}-S^{z}_{1,j+1}+S^{z}_{2,j+1}}, (4a)
𝒪SN(j)\displaystyle\expectationvalue{\mathcal{O}_{\text{SN}}(j)} =14S1,jz+S2,jzS1,j+1zS2,j+1z.\displaystyle=\frac{1}{4}\expectationvalue{S^{z}_{1,j}+S^{z}_{2,j}-S^{z}_{1,j+1}-S^{z}_{2,j+1}}. (4b)

A Z2Z_{2} symmetry with respect to the global π\pi rotation of spins about the xx-axis (Sα,jySα,jyS_{\alpha,j}^{y}\mapsto-S_{\alpha,j}^{y} and Sα,jzSα,jzS_{\alpha,j}^{z}\mapsto-S_{\alpha,j}^{z}) is spontaneously broken in these phases.

Our previous work [47] has focused on the nature of the phase transitions in the case of J,J4>0J_{\perp},J_{4}>0 and easy-axis anisotropy Δ>1\Delta>1, which corresponds to the upper half of Fig. 2. The Néel-SD transition is especially intriguing as it is between two ordered phases breaking different symmetries and may be viewed as a one-dimensional (1D) variant of deconfined quantum critical point [49, 50, 51, 52]. We have presented evidence that this transition belongs to the Gaussian universality class with c=1c=1. We have also demonstrated that the RS-Néel transition belongs to the Ising universality class with c=1/2c=1/2.

Our extended analysis in the present work demonstrates that the Gaussian and Ising transition lines found in Ref. [47] cross in the isotropic case Δ=1\Delta=1 and further continue to the easy-plane regime Δ<1\Delta<1, as shown in Fig. 2. We also analyze the case of J,J4<0J_{\perp},J_{4}<0, and find similar crossing of the Gaussian and Ising transition lines, as shown in Fig. 3. In both the cases, the Gaussian transitions occur between featureless phases in the easy-plane regime Δ<1\Delta<1, giving examples of topological phase transitions.

It is interesting to ask in what way the four featureless phases are distinguished. The following two types of string order parameters have been used to characterize the Haldane and RS phases [29, 30, 31, 32]:

Ooddz(r):=\displaystyle O_{\mathrm{odd}}^{z}(r):=-\bigg{\langle} (S1,0z+S2,0z)exp[iπj=1r1(S1,jz+S2,jz)]\displaystyle\quantity(S_{1,0}^{z}+S_{2,0}^{z})\exp\quantity[i\pi\sum_{j=1}^{r-1}\quantity(S_{1,j}^{z}+S_{2,j}^{z})]
×(S1,rz+S2,rz),\displaystyle\times\quantity(S_{1,r}^{z}+S_{2,r}^{z})\bigg{\rangle}, (5a)
Oevenz(r):=\displaystyle O_{\mathrm{even}}^{z}(r):=-\bigg{\langle} (S1,0z+S2,1z)exp[iπj=1r1(S1,jz+S2,j+1z)]\displaystyle\quantity(S_{1,0}^{z}+S_{2,1}^{z})\exp\quantity[i\pi\sum_{j=1}^{r-1}\quantity(S_{1,j}^{z}+S_{2,j+1}^{z})]
×(S1,rz+S2,r+1z).\displaystyle\times\quantity(S_{1,r}^{z}+S_{2,r+1}^{z})\bigg{\rangle}. (5b)

Physically, these string order parameters detect the parity of the number QQ of valence bonds cut by a vertical line between two adjacent rungs [32]. We obtain limrOodd/evenz(r)0\lim_{r\rightarrow\infty}O_{\text{odd/even}}^{z}(r)\neq 0 if QQ is odd/even. Therefore, the Haldane and RS phases are characterized by non-vanishing of Ooddz(r)O_{\mathrm{odd}}^{z}(r) and Oevenz(r)O_{\mathrm{even}}^{z}(r) for rr\to\infty, respectively. As these order parameters remain unchanged under the operation of U1z(π)U_{1}^{z}(\pi), the Haldane* and RS* phases are characterized similarly. However, these string order parameters do not distinguish between the Haldane and Haldane* phases or between the RS and RS* phases. We therefore calculate topological indices [10, 20, 21, 22] associated with D2×σD_{2}\times\sigma and the translational symmetry, and demonstrate that these indices can distinguish all the four featureless phases.

The rest of this paper is organized as follows. In Sec. II, we present a field-theoretical analysis for weak inter-chain couplings, and derive the phase diagrams in Figs.  2 and 3. In Secs. III and IV, we present numerical results for J=1J_{\perp}=1 and J=1J_{\perp}=-1, respectively. In Sec. V, we analyze topological indices that distinguish the four featureless phases. In Sec. VI, we present a summary and an outlook for future studies. In Appendix A, we apply the field-theoretical formulation in Sec. II to an XYZ ladder studied by Liu et al. [33], and provide a qualitative description of their numerical results. In Appendices B and C, we provide some supplemental numerical results.

II Effective field theory

For weak inter-chain couplings with |J|,|J4|1|J_{\perp}|,|J_{4}|\ll 1, the ground-state phase diagram of the model (I) can be studied by means of effective field theory based on bosonization [53, 54]. In our recent work [47], we have applied this formalism to study the case of J>0J_{\perp}>0 and Δ1\Delta\geq 1, i.e., the upper half of Fig. 2. Here we present a more detailed analysis that reveals the rich phase diagrams in Figs. 2 and 3. Our formulation is an extension of those in Refs. [26, 27, 28, 39, 44, 45, 46], and we take similar notations as those in Refs. [44, 47].

II.1 Bosonization

Here we briefly describe the bosonization formulation to obtain the low-energy effective Hamiltonian of the model (I) for |J|,|J4|1|J_{\perp}|,|J_{4}|\ll 1. While this formulation has also been described in our previous paper [47], we summarize it for the purposes of selfcontainedness and fixing our notations.

We start from the two decoupled XXZ chains obtained for J=J4=0J_{\perp}=J_{4}=0. Each chain labeled by α=1,2\alpha=1,2 is described effectively by the quantum sine-Gordon Hamiltonian

Hαeff=dxv2[K1(xϕα)2+K(xθα)2]vλ2πcos(4πϕα),\begin{split}H_{\alpha}^{\mathrm{eff}}=&\int\mathrm{d}x\frac{v}{2}\left[K^{-1}\left(\partial_{x}\phi_{\alpha}\right)^{2}+K\left(\partial_{x}\theta_{\alpha}\right)^{2}\right]\\ &-\frac{v\lambda}{2\pi}\cos(4\sqrt{\pi}\phi_{\alpha}),\end{split} (6)

where ϕα(x)\phi_{\alpha}(x) and θα(x)\theta_{\alpha}(x) are a dual pair of bosonic fields. The Gaussian part of Eq. (6) is known as the Tomonaga-Luttinger liquid (TLL) theory and characterized by the spin velocity vv and the TLL parameter KK. The TLL parameter KK monotonically decreases as a function of Δ\Delta, reaching K=1/2K=1/2 at Δ=1\Delta=1. When Δ\Delta exceeds unity, the λ\lambda term with the scaling dimension 4K4K becomes relevant (i.e., 4K<24K<2) in the renormalization group (RG) sense, and induces the Néel order in the zz direction in each isolated chain. However, once the inter-chain couplings JJ_{\perp} and J4J_{4} are introduced, these couplings have much more significant impact on the low-energy physics than the λ\lambda term as we discuss later.

The spin and dimer operators on each chain are related to the bosonic fields as

Sα,jz=aπxϕα+(1)ja1cos(2πϕα)+,\displaystyle S_{\alpha,j}^{z}=\frac{a}{\sqrt{\pi}}\partial_{x}\phi_{\alpha}+(-1)^{j}a_{1}\cos(2\sqrt{\pi}\phi_{\alpha})+\cdots, (7a)
Sα,j+=eiπθα[b0(1)j+b1cos(2πϕα)+],\displaystyle S_{\alpha,j}^{+}=e^{i\sqrt{\pi}\theta_{\alpha}}\quantity[b_{0}(-1)^{j}+b_{1}\cos(2\sqrt{\pi}\phi_{\alpha})+\cdots], (7b)
Sα,jzSα,j+1z=(1)jdzsin(2πϕα)+,\displaystyle S_{\alpha,j}^{z}S_{\alpha,j+1}^{z}=(-1)^{j}d_{z}\sin(2\sqrt{\pi}\phi_{\alpha})+\cdots, (7c)
Sα,jxSα,j+1x+Sα,jySα,j+1y=(1)jdxysin(2πϕα)+,\displaystyle S_{\alpha,j}^{x}S_{\alpha,j+1}^{x}+S_{\alpha,j}^{y}S_{\alpha,j+1}^{y}=(-1)^{j}d_{xy}\sin(2\sqrt{\pi}\phi_{\alpha})+\cdots, (7d)

where Sα,j±:=Sα,jx±iSα,jyS_{\alpha,j}^{\pm}:=S_{\alpha,j}^{x}\pm iS_{\alpha,j}^{y}, aa is the lattice constant, and a1a_{1}, b0b_{0}, b1b_{1}, dzd_{z}, and dxyd_{xy} are non-universal coefficients [55, 56, 44, 57]. At Δ=1\Delta=1, these coefficients satisfy a1=b0=:a¯a_{1}=b_{0}=:\bar{a} and dz=dxy/2=:d¯d_{z}=d_{xy}/2=:\bar{d} because of the SU(2)(2) symmetry.

Treating JJ_{\perp} and J4J_{4} perturbatively and expressing them using Eq. (7), we obtain the low-energy effective Hamiltonian of the model (I) as

Heff=dxq=±vq2[Kq1(xϕq)2+Kq(xθq)2]+g+cos(22πϕ+)+gcos(22πϕ)+g~cos(2πθ)+,\begin{split}H^{\mathrm{eff}}=&\int\differential x\sum_{q=\pm}\frac{v_{q}}{2}\quantity[K_{q}^{-1}\quantity(\partial_{x}\phi_{q})^{2}+K_{q}\quantity(\partial_{x}\theta_{q})^{2}]\\ &+g_{+}\cos(2\sqrt{2\pi}\phi_{+})+g_{-}\cos(2\sqrt{2\pi}\phi_{-})\\ &+\tilde{g}_{-}\cos(\sqrt{2\pi}\theta_{-})+\cdots,\end{split} (8)

where ϕ±:=(ϕ1±ϕ2)/2\phi_{\pm}:=(\phi_{1}\pm\phi_{2})/\sqrt{2} and θ±:=(θ1±θ2)/2\theta_{\pm}:=(\theta_{1}\pm\theta_{2})/\sqrt{2} are symmetric and antisymmetric combinations of the bosonic fields and

g±=1a(JΔa122J4(3d)22),g~=1aJb02,g_{\pm}=\frac{1}{a}\quantity(J_{\perp}\Delta\frac{a_{1}^{2}}{2}\mp J_{4}\frac{(3d)^{2}}{2}),~{}~{}\tilde{g}_{-}=\frac{1}{a}J_{\perp}b_{0}^{2}, (9)

with 3d:=dxy+dz3d:=d_{xy}+d_{z}. The velocities v±v_{\pm} and the TLL parameters K±K_{\pm} in the symmetric and antisymmetric channels are in general modified from vv and KK in the decoupled XXZ chains by the effects of the inter-chain couplings. In Eq. (8), we focused on the most important terms around the isotropic case Δ=1\Delta=1. Indeed, the g±g_{\pm} and g~\tilde{g}_{-} terms have the scaling dimensions 2K±2K_{\pm} and 1/(2K)1/(2K_{-}), respectively, which are all equal to unity in the limit of the decoupled Heisenberg chains. These terms are much more relevant than the λ\lambda term with the scaling dimension 2K++2K2K_{+}+2K_{-} in Eq. (6). Therefore, the λ\lambda term can be ignored unless the anisotropy Δ1\Delta-1 is significantly larger than JJ_{\perp} and J4J_{4}.

II.2 Expected phase diagrams

The symmetric and antisymmetric channels are separated in the effective Hamiltonian (8). The symmetric channel is described by the sine-Gordon model, in which the strongly relevant g+g_{+} term locks ϕ+\phi_{+} at distinct positions depending on the sign of g+g_{+}. A Gaussian transition with the central charge c=1c=1 is expected at g+=0g_{+}=0. The antisymmetric channel is described by the dual-field double sine-Gordon model, in which the strongly relevant gg_{-} and g~\tilde{g}_{-} terms compete. When K=1/2K_{-}=1/2, in particular, both the terms have the same scaling dimensions of unity, and the long-distance physics can be determined by examining which of |g||g_{-}| and |g~||\tilde{g}_{-}| is larger (in this case, the model is known as the self-dual sine-Gordon model [58]). Namely, |g|>|g~||g_{-}|>|\tilde{g}_{-}| (|g|<|g~||g_{-}|<|\tilde{g}_{-}|) leads to the locking of ϕ\phi_{-} (θ\theta_{-}). Based on a mapping to Majorana fields, an Ising transition with the central charge c=1/2c=1/2 has been shown to occur at |g|=|g~||g_{-}|=|\tilde{g}_{-}| [28, 58]. When KK_{-} deviates slightly from 1/21/2, a similar picture is still expected to hold as the change in KK_{-} is a marginal perturbation.

Based on this argument and the coupling constants in Eq. (9), we obtain the schematic phase diagrams around the isotropic case Δ=1\Delta=1 as shown in Figs. 2 and 3. Each phase is characterized by the locking positions of the bosonic fields. Remarkably, all the eight possible types of field locking in the effective Hamiltonian (8) occur in the two diagrams. In both the diagrams, a Gaussian transition in the symmetric channel occurs at J4=Δ(a1/3d)2JJ_{4}=\Delta\quantity(a_{1}/3d)^{2}J_{\perp} (red line) while an Ising transition in the antisymmetric channel occurs at J4[(2b02Δa12)/(3d)2]JJ_{4}\approx\quantity[(2b_{0}^{2}-\Delta a_{1}^{2})/(3d)^{2}]J_{\perp} (blue line). The two transition lines cross at J4=(a¯/3d¯)2JJ_{4}=\quantity(\bar{a}/3\bar{d})^{2}J_{\perp} in the isotropic case Δ=1\Delta=1, where the central charge is expected to be c=3/2c=3/2 [42, 44, 43, 39, 45, 59, 46]; this point was estimated to be J4,c=2.05JJ_{4,c}=2.05J_{\perp} [44]. Below we discuss the phases appearing in these diagrams.

There are four ordered phases, the Néel, SN, SD, and CD phases. Using Eq. (7), we can express the order operators in Eqs. (3) and (4) in terms of the bosonic fields as

𝒪Néel(j)\displaystyle\mathcal{O}_{\text{N\'{e}el}}(j) =(1)ja1sin(2πϕ+)sin(2πϕ),\displaystyle=-(-1)^{j}a_{1}\sin\quantity(\sqrt{2\pi}\phi_{+})\sin\quantity(\sqrt{2\pi}\phi_{-}), (10a)
𝒪SN(j)\displaystyle\mathcal{O}_{\text{SN}}(j) =(1)ja1cos(2πϕ+)cos(2πϕ),\displaystyle=(-1)^{j}a_{1}\cos\quantity(\sqrt{2\pi}\phi_{+})\cos\quantity(\sqrt{2\pi}\phi_{-}), (10b)
𝒪SD(j)\displaystyle\mathcal{O}_{\text{SD}}(j) =(1)j(3d)cos(2πϕ+)sin(2πϕ),\displaystyle=-(-1)^{j}(3d)\cos\quantity(\sqrt{2\pi}\phi_{+})\sin\quantity(\sqrt{2\pi}\phi_{-}), (10c)
𝒪CD(j)\displaystyle\mathcal{O}_{\text{CD}}(j) =(1)j(3d)sin(2πϕ+)cos(2πϕ).\displaystyle=-(-1)^{j}(3d)\sin\quantity(\sqrt{2\pi}\phi_{+})\cos\quantity(\sqrt{2\pi}\phi_{-}). (10d)

We can easily see that these operators acquire finite expectation values in the corresponding phases. For example, in the CD phase with 22π(ϕ+,ϕ)=(π,ππ)2\sqrt{2\pi}(\phi_{+},\phi_{-})=(-\pi,\pi\mp\pi) in Fig. 3, we have 𝒪CD(j)=±(1)jcCD\expectationvalue{\mathcal{O}_{\text{CD}}(j)}=\pm(-1)^{j}c_{\text{CD}}, where cCDc_{\text{CD}} is a constant independent of jj.

There are also four featureless phases, the RS, RS*, Haldane, and Haldane* phases. In these phases, the expectation values of all the operators in Eq. (10) vanish as ϕ\phi_{-} fluctuates entirely owing to the locking of θ\theta_{-}. These phases are instead characterized by the two types of string correlations in Eq. (5), which have the following bosonized expressions [60]:

Ooddz(r)\displaystyle O_{\mathrm{odd}}^{z}(r) cos(2πϕ+(0))cos(2πϕ+(ra)),\displaystyle\sim\expectationvalue{\cos\quantity(\sqrt{2\pi}\phi_{+}(0))\cos\quantity(\sqrt{2\pi}\phi_{+}(ra))}, (11a)
Oevenz(r)\displaystyle O_{\mathrm{even}}^{z}(r) sin(2πϕ+(a2))sin(2πϕ+(ra+a2)).\displaystyle\sim\expectationvalue{\sin\quantity(\sqrt{2\pi}\phi_{+}\quantity(\frac{a}{2}))\sin\quantity(\sqrt{2\pi}\phi_{+}\quantity(ra+\frac{a}{2}))}. (11b)

We note that only the field in the symmetric channel is involved in these correlations. The Haldane and Haldane* phases with the field locking around 22πϕ+=02\sqrt{2\pi}\phi_{+}=0 exhibit non-vanishing values of Ooddz(r)O_{\mathrm{odd}}^{z}(r) for rr\to\infty. Similarly, the RS and RS* phases with the field locking around 22πϕ+=π2\sqrt{2\pi}\phi_{+}=\pi 222While the RS and RS* phases have the field locking around 22πϕ+=π2\sqrt{2\pi}\phi_{+}=\pi and π-\pi, respectively, in Figs. 2 and 3, these locking positions are equivalent. This is because the field ϕα\phi_{\alpha} on each leg α(=1,2)\alpha(=1,2) is compactified as 2πϕα2πϕα+2π2\sqrt{\pi}\phi_{\alpha}\equiv 2\sqrt{\pi}\phi_{\alpha}+2\pi. exhibit non-vanishing Oevenz(r)O_{\mathrm{even}}^{z}(r) for rr\to\infty.

The difference between the Haldane and Haldane* phases or between the RS and RS* phases resides in the locking positions of 2πθ\sqrt{2\pi}\theta_{-}, which cannot be detected by the string correlations (11). In fact, this difference can be used to show that the two phases are related by the unitary transformation U1z(π)=exp(iπjS1,jz)U_{1}^{z}(\pi)=\exp\quantity(i\pi\sum_{j}S_{1,j}^{z}) [35]. Indeed, under this transformation, the field πθ1\sqrt{\pi}\theta_{1} is shifted by π\pi as seen in Eq. (7b), and then the field 2πθ=π(θ1θ2)\sqrt{2\pi}\theta_{-}=\sqrt{\pi}(\theta_{1}-\theta_{2}) is also shifted by π\pi. Identification of the Haldane* and RS* phases in the bosonization approach is based on this observation.

We have so far neglected possible perturbations to the effective Hamiltonian (8) which have larger scaling dimensions than the g±g_{\pm} and g~\tilde{g} terms. If such perturbations also become relevant, they can potentially change the nature of the phase transitions. In Ref. [47], we have addressed this issue for the case of the Néel-SD transition. Since the antisymmetric channel remains gapped at this transition, we can focus on the symmetric channel. As a possible perturbation, we can consider, for example, a higher-frequency cosine potential cos(42πϕ+)\cos\left(4\sqrt{2\pi}\phi_{+}\right) with the scaling dimension 8K+8K_{+}, which may lead to a first-order phase transition [62]. We have numerically demonstrated that K+K_{+} stays around 0.60.6 along the Néel-SD transition line in the parameter range investigated, and thus the above higher-frequency cosine term is likely to remain sufficiently irrelevant. As we have K+=1/2K_{+}=1/2 in the limit of decoupled Heisenberg chains, we can expect that our picture based on the leading terms in the effective Hamiltonian (8) would hold at least for weak inter-chain couplings.

II.3 Correlation functions around the Gaussian transitions

We have argued that Gaussian transitions occur between the ordered phases and between the featureless phases. We discuss the behavior of correlation functions around the presumed Gaussian transitions. As the case of the Néel-SD transition has been discussed previously [47], we focus on the other cases.

The SN-CD transition can be studied in a similar manner as the Néel-SD transition. We consider the following correlation functions

CSN(r)\displaystyle C_{\text{SN}}(r) :=(1)r𝒪SN(r)𝒪SN(0),\displaystyle:=(-1)^{r}\expectationvalue{\mathcal{O}_{\text{SN}}(r)\mathcal{O}_{\text{SN}}(0)}, (12a)
CCD(r)\displaystyle C_{\text{CD}}(r) :=(1)r𝒪CD(r)𝒪CD(0).\displaystyle:=(-1)^{r}\expectationvalue{\mathcal{O}_{\text{CD}}(r)\mathcal{O}_{\text{CD}}(0)}. (12b)

Each of these correlation functions would show a long-range order (i.e., convergence to a non-vanishing value for rr\to\infty) in the concerned phase and an exponential decay in the other phase. At the Gaussian transition, both of these functions would show a critical power-law decay. This can be shown in the following way. As seen in the bosonized expressions in Eq. (10), the operators 𝒪SN(j)\mathcal{O}_{\text{SN}}(j) and 𝒪CD(j)\mathcal{O}_{\text{CD}}(j) involve both the fields ϕ±\phi_{\pm}. As the symmetric channel is described by the Gaussian theory at the transition point, the symmetric component cos(2πϕ+)\cos\quantity(\sqrt{2\pi}\phi_{+}) or sin(2πϕ+)\sin\quantity(\sqrt{2\pi}\phi_{+}) shows a critical correlation with the decay exponent K+K_{+}. In contrast, as 2πϕ\sqrt{2\pi}\phi_{-} remains locked around (ππ)/2(\pi\mp\pi)/2, the antisymmetric component cos(2πϕ)\cos\quantity(\sqrt{2\pi}\phi_{-}) shows a correlation that converges to a non-vanishing constant above the length scale proportional to the inverse of the excitation gap. Therefore, above this scale, the correlation functions in total exhibit the power-law behavior CSN/CD(r)rK+C_{\text{SN/CD}}(r)\sim r^{-K_{+}}. In numerical calculations, the transition can be identified by plotting the two correlation functions in logarithmic scales and finding the point at which they both become linear and parallel to each other. We conduct this analysis in Sec. IV.2.

Next we consider the RS-Haldane* and RS*-Haldane transitions. We consider the two types of string correlation functions (5). Based on the bosonized expressions (11) and field locking positions in Figs. 2 and 3, we find that Ooddz(r)O_{\mathrm{odd}}^{z}(r) changes from an exponential decay to a long-range order across these transitions while Oevenz(r)O_{\mathrm{even}}^{z}(r) changes in the opposite way. At the transition point, where the symmetric channel is described by the Gaussian theory, we have Oodd/evenz(r)rK+O_{\mathrm{odd/even}}^{z}(r)\sim r^{-K_{+}}. Again, in numerical calculations, the transition point can be identified by linear and parallel behavior of the two correlation functions plotted in logarithmic scales. We conduct this analysis in Secs. III.1 and IV.1.

III Numerical results for J=1J_{\perp}=1

Refer to caption
Figure 4: Phase diagram of the model (I) on the J4J_{4}-Δ\Delta plane with J=J=1J=J_{\perp}=1. Circles indicate transition points obtained numerically, and dotted lines connecting them are our assumption of the phase boundaries. The transition points in the easy-plane regime Δ<1\Delta<1 are obtained in the present work while those in the easy-axis regime Δ>1\Delta>1 are taken from our previous work [47]. We will focus on the RS-Haldane* transition along the red solid line with Δ=0.7\Delta=0.7 (Sec. III.1), and the Haldane*-SD transition along the blue dashed line with Δ=0.9\Delta=0.9 (Sec. III.2). The transition point J41.19J_{4}\simeq 1.19 in the isotropic case Δ=1\Delta=1 is estimated in Appendix C, and is consistent with the previous works [42, 47].

We have performed numerical calculations directly for the infinite system by applying the VUMPS algorithm [37, 38]. In this algorithm, a variational state is prepared in the form of a uniform matrix product state (MPS), and the ground state is obtained by iteratively optimizing constituent tensors to lower the variational energy. In applying it to the present ladder system, we regard two sites on each rung as a single effective site with the local Hilbert space dimension of four. In this section and the next, we adopt the two-site unit cell implementation in Ref. [37] as all the phases discussed in Sec. II have the unit cell consisting of at most two effective sites (i.e., two rungs). To ensure the sufficient convergence, we only used the data points that have the gradient norm B<1010\|B\|<10^{-10}, where BB is the gradient of energy per site with respect to the elementary tensor in VUMPS. The same method was employed in our previous work [47].

In this section, we fix J=J=1J=J_{\perp}=1 and study the ground-state phase diagram in the J4J_{4}-Δ\Delta plane. The obtained phase diagram is shown in Fig. 4, which is qualitatively consistent with the field-theoretical prediction in Fig. 2. As the case of Δ1\Delta\geq 1 has been analyzed previously [42, 47], we focus on the easy-plane regime Δ<1\Delta<1 throughout this section. Below we explain how the RS-Haldane*-SD phase boundaries are obtained and how the critical properties at these transitions are characterized in our numerical analysis.

III.1 RS-Haldane* transition

Refer to caption
Figure 5: Correlation length ξ\xi as a function of J4J_{4} around the RS-Haldane* transition for Δ=0.7\Delta=0.7 (see the red solid line in Fig. 4). The correlation length shows a peak that grows consistently with an increase in χ\chi. However, the non-sharpness of the peaks does not allow a precise determination of the transition point. The transition point is estimated to be J4,cRS-H=0.690(5)J_{4,c}^{\text{RS-H${}^{*}$}}=0.690(5) in the analysis of the string correlations in Fig. 6.
Refer to caption
Refer to caption
Refer to caption
Figure 6: Two types of string correlation functions (5) around the RS-Haldane* transition for Δ=0.7\Delta=0.7 in Fig. 4. Logarithmic scales are used for both axes. Large open and small filled symbols show the data for the bond dimensions χ=96\chi=96 and 192192, respectively. We focus on the range of rr where the dependence on χ\chi is not significant. (a) Oevenz(r)O^{z}_{\text{even}}(r) is non-decaying at long distances in the RS phase with J40.69J_{4}\lesssim 0.69. (b) Ooddz(r)O^{z}_{\text{odd}}(r) is non-decaying in the Haldane* phase with J40.69J_{4}\gtrsim 0.69. (c) The two correlation functions show a power-law decay with the same exponent K+K_{+} at the transition if the transition belongs to the Gaussian universality class. As analyzed in this panel, this should occur between J4=0.685J_{4}=0.685 and 0.6950.695, and the exponent is estimated to be K+=0.76(3)K_{+}=0.76(3). Two parallel gray solid lines are guides to the eye and their slope is 0.76-0.76.
Refer to caption
Figure 7: Entanglement entropy S(χ)S(\chi) versus the correlation length ξ(χ)\xi(\chi) for the bond dimensions χ=96,128,160,192\chi=96,128,160,192. These are calculated at J4=0.685J_{4}=0.685, 0.6900.690, and 0.6950.695, around which the RS-Haldane* transition is expected to occur (see Fig. 6). A logarithmic scale is used for the horizontal axis. The gray straight line is a guide to the eye and its slope is 1/61/6, which corresponds to the central charge c=1c=1 [see Eq. (13)].

Here we focus on the RS-Haldane* transition along the red solid line with Δ=0.7\Delta=0.7 in Fig. 4. In our VUMPS calculations, the ground state is obtained in the form of a period-2 MPS with the finite bond dimension χ\chi. We can extract the correlation length ξ\xi from it in the following way. Let A(k)sjχ×χA(k)^{s_{j}}\in\mathbb{R}^{\chi\times\chi} be the matrix for the state sjs_{j} at the jj-th effective site. Using the matrices at the two neighboring sites j=1j=1 and 22, we construct the combined matrix 𝔸s:=A(1)s1A(2)s2χ×χ\mathbb{A}^{s}:=A(1)^{s_{1}}A(2)^{s_{2}}\in\mathbb{R}^{\chi\times\chi} for the combined state s=(s1,s2)s=(s_{1},s_{2}). The correlation length is then calculated as ξ(χ)=2/ln|ϵ2(χ)|\xi(\chi)=-2/\ln|\epsilon_{2}(\chi)|, where ϵ2(χ)\epsilon_{2}(\chi) is the second largest absolute eigenvalue of the transfer matrix T:=s𝔸s𝔸sT:=\sum_{s}\mathbb{A}^{s\dagger}\otimes\mathbb{A}^{s}. The obtained correlation length ξ(χ)\xi(\chi) is plotted for different bond dimensions χ\chi in Fig. 5. It shows a peak that grows consistently with an increase in χ\chi, and the peak value exceeds 200200 lattice spacings for χ=192\chi=192. However, the peaks in Fig. 5 are not as sharp as those found for the Néel-SD transition in Ref. [47]. Therefore, while Fig. 5 suggests the occurrence of a phase transition, it does not allow a precise determination of the RS-Haldane* transition point. We note that the non-sharpness of peaks has also been found for the RS-SD transition in the isotropic case Δ=1\Delta=1 [47], and is likely to be due to nontrivial effects of finite χ\chi on transitions between valence bond phases. The transition point can instead be determined with reasonable accuracy through the analysis of the string correlations, which is done next.

Figure 6 shows the numerical results on the two types of string correlation functions in Eq. (5). We find a qualitative difference between the ranges of J40.69J_{4}\lesssim 0.69 and J40.69J_{4}\gtrsim 0.69. For J40.69J_{4}\lesssim 0.69, Oevenz(r)O^{z}_{\text{even}}(r) is non-decaying at long distances while Ooddz(r)O^{z}_{\text{odd}}(r) shows a rapid decay. For J40.69J_{4}\gtrsim 0.69, Ooddz(r)O^{z}_{\text{odd}}(r) is non-decaying while Oevenz(r)O^{z}_{\text{even}}(r) shows a rapid decay. These results are consistent with the occurrence of the RS-Haldane* transition. However, we note that (non-)decaying behavior of the two correlations only reflects the locking position of the field ϕ+\phi_{+} [see Eq. (11)], and that more detailed characterization of the phases requires the use of topological indices, which is done in Sec. V.

As discussed in Sec. II.3, the two string correlation functions show a power-law decay with the same exponent K+K_{+} at the transition if it belongs to the Gaussian universality class. Therefore, the transition point can be identified by linear and parallel behavior of the two correlations plotted in logarithmic scales. As seen in Fig. 6(c), this should occur between J4=0.685J_{4}=0.685 and J4=0.695J_{4}=0.695, giving the estimate J4,cRS-H=0.690(5)J_{4,c}^{\text{RS-H${}^{*}$}}=0.690(5) of the transition point.

Critical points of a large class of 1D quantum systems are described by the conformal field theory (CFT). To investigate the underlying CFT, we calculate the entanglement entropy SS for a bipartition of the infinite 1D system into two half-infinite chains. According to the CFT, the entanglement entropy SS and the correlation length ξ\xi obey the scaling

S=c6lnξ+S0,\displaystyle S=\frac{c}{6}\ln\xi+S_{0}, (13)

where cc is the central charge and S0S_{0} is a constant [63, 64]. The numerical results in Fig. 7 show a good agreement with this scaling with c=1c=1. Our results in Figs. 6(c) and 7 thus support the scenario that the RS-Haldane* transition belongs to the Gaussian universality class with c=1c=1.

III.2 Haldane*-SD transition

Refer to caption
Refer to caption
Figure 8: (a) SD order parameter |𝒪SD||\expectationvalue{\mathcal{O}_{\text{SD}}}| [defined in Eq. (3a)] as a function of J4J_{4} around the Haldane*-SD transition for Δ=0.9\Delta=0.9 (see the blue dashed line in Fig. 4). (b) |𝒪SD|8|\expectationvalue{\mathcal{O}_{\text{SD}}}|^{8} as a function of J4J_{4}. The black solid line shows the linear fitting of the χ=224\chi=224 data in the range 1.81J41.831.81\leq J_{4}\leq 1.83, where the dependence on χ\chi is sufficiently converged. Its intersect with the horizontal axis gives the estimate J4,cH-SD1.80J_{4,c}^{\text{H${}^{*}$-SD}}\simeq 1.80 of the transition point.
Refer to caption
Figure 9: Entanglement entropy S(χ)S(\chi) versus the correlation length ξ(χ)\xi(\chi) for the bond dimensions χ=96,128,160,192\chi=96,128,160,192. These are calculated at J4=1.8001J_{4}=1.8001, 1.80041.8004, and 1.80071.8007, around which the Haldane*-SD transition is expected to occur (see Fig. 8). A logarithmic scale is used for the horizontal axis. The gray straight line is a guide to the eye and its slope is 1/121/12, which corresponds to the central charge c=1/2c=1/2.

Here we focus on the Haldane*-SD transition along the blue dashed line with Δ=0.9\Delta=0.9 in Fig. 4. Figure 8(a) shows the SD order parameter |𝒪SD||\expectationvalue{\mathcal{O}_{\text{SD}}}|, which indicates the onset of the SD order at a certain transition point J4,cH-SDJ_{4,c}^{\text{H${}^{*}$-SD}}. According to the effective field theory, the Haldane*-SD transition belongs to the Ising universality class with c=1/2c=1/2. In this universality class, the critical exponent for the spontaneous order parameter is given by β=1/8\beta=1/8. Therefore, it is expected that the order parameter to the eighth power becomes linear around the transition point and its intersect with the horizontal axis gives the estimate of the transition point. This analysis is performed in Fig. 8(b). We indeed find a good agreement with linear behavior in the range where the dependence on χ\chi is sufficiently converged. The transition point is estimated to be J4,cH-SD1.80J_{4,c}^{\text{H${}^{*}$-SD}}\simeq 1.80.

Figure 9 shows the relation between the entanglement entropy S(χ)S(\chi) and the correlation length ξ(χ)\xi(\chi) at three points near the estimated critical point. We can confirm the consistency with the CFT scaling (13) with the central charge c=1/2c=1/2.

IV Numerical results for J=1J_{\perp}=-1

Refer to caption
Figure 10: Phase diagram of the model (I) on the J4J_{4}-Δ\Delta plane with J=1J=1 and J=1J_{\perp}=-1. Circles indicate transition points obtained numerically, and dotted lines are our assumption of the phase boundaries. We will focus on the transitions along the red solid lines with Δ=0.8\Delta=0.8 (Sec. IV.1) and 1.051.05 (Sec. IV.2) and those along the blue dashed lines with J4=0.5J_{4}=-0.5 (Sec. IV.3) and 1.5-1.5 (Sec. IV.4). The transition point J4,c=0.87(5)J_{4,c}=-0.87(5) in the isotropic case Δ=1\Delta=1 (a circle with an error bar) is estimated in Appendix C; see Ref. [43] for an estimate by exact diagonalization.

In this section, we fix J=1J=1 and J=1J_{\perp}=-1. The obtained phase diagram in Fig. 10 is qualitatively consistent with the field-theoretical prediction in Fig. 3. Below we explain how the phase boundaries are obtained and how the critical properties are characterized in our numerical analysis.

IV.1 RS*-Haldane transition

Refer to caption
Refer to caption
Refer to caption
Figure 11: Two types of string correlation functions (5) around the RS*-Haldane transition for Δ=0.8\Delta=0.8 in Fig. 10. Large open and small filled symbols are for χ=96\chi=96 and 192192, respectively. (a) Oevenz(r)O^{z}_{\text{even}}(r) is non-decaying at long distances in the RS* phase with J40.23J_{4}\lesssim-0.23. (b) Ooddz(r)O^{z}_{\text{odd}}(r) is non-decaying in the Haldane phase with J40.23J_{4}\gtrsim-0.23. (c) The two correlation functions show a power-law decay with the same exponent K+K_{+} at the transition in the Gaussian universality class. As analyzed in this panel, this should occur between J4=0.235J_{4}=-0.235 and 0.225-0.225 with the exponent K+=0.68(2)K_{+}=0.68(2). Two parallel gray solid lines are guides to the eye and their slope is 0.68-0.68.

The RS*-Haldane transition can be analyzed in a similar manner as the RS-Haldane* transition discussed in Sec. III.1. Figure 11 shows the string correlation functions around the RS*-Haldane transition for Δ=0.8\Delta=0.8. For J40.23J_{4}\lesssim-0.23, Oevenz(r)O^{z}_{\text{even}}(r) is non-decaying at long distances while Ooddz(r)O^{z}_{\text{odd}}(r) shows a rapid decay. For J40.23J_{4}\gtrsim-0.23, Ooddz(r)O^{z}_{\text{odd}}(r) is non-decaying while Oevenz(r)O^{z}_{\text{even}}(r) shows a rapid decay. These results are consistent with the occurrence of the RS*-Haldane transition. More detailed characterization of these phases is given in terms of topological indices in Sec. V. Assuming the Gaussian universality class, the transition point J4,cRS-HJ_{4,c}^{\text{RS${}^{*}$-H}} can be identified by linear and parallel behavior of the two correlation functions plotted in logarithmic scales. This should occur between the two points examined in Fig. 11(c), giving the estimate J4,cRS-H=0.230(5)J_{4,c}^{\text{RS${}^{*}$-H}}=-0.230(5). We have also confirmed the consistency with the central charge c=1c=1 in a similar manner as in Fig. 7 (not shown).

IV.2 CD-SN transition

Refer to caption
Refer to caption
Refer to caption
Figure 12: Correlation functions (12) around the CD-SN transition for Δ=1.05\Delta=1.05 in Fig. 10. Large open and small filled symbols are for χ=96\chi=96 and 192192, respectively. (a) The CD correlation function CCD(r)C_{\text{CD}}(r) plotted in logarithmic scales is convex for J41.35J_{4}\lesssim-1.35, signifying the CD long-range order. (b) The SN correlation function CSN(r)C_{\text{SN}}(r) plotted in logarithmic scales is convex for J41.35J_{4}\gtrsim-1.35, signifying the SN long-range order. (c) The two correlation functions show a power-law decay with the same exponent K+K_{+} at the transition in the Gaussian universality class. As analyzed in this panel, this should occur between J4=1.37J_{4}=-1.37 and 1.33-1.33 with the exponent K+=0.62(8)K_{+}=0.62(8). Two parallel gray solid lines are guides to the eye and their slope is 0.62-0.62.

Figure 12 shows the CD and SN correlation functions (12) around the CD-SN transition for Δ=1.05\Delta=1.05 in Fig. 10. The data show the tendency of the CD and SN long-range orders for J41.35J_{4}\lesssim-1.35 and J41.35J_{4}\gtrsim-1.35, respectively. As discussed in Sec. II.3, the two correlation functions show a power-law decay with the same exponent K+K_{+} at the transition point J4,cCD-SNJ_{4,c}^{\text{CD-SN}} if the transition belongs to the Gaussian universality class. This should occur between the two points examined in Fig. 12(c), giving the estimate J4,cCD-SN=1.35(2)J_{4,c}^{\text{CD-SN}}=-1.35(2).

IV.3 Haldane-SN transition

Refer to caption
Refer to caption
Figure 13: (a) SN order parameter |𝒪SN||\expectationvalue{\mathcal{O}_{\text{SN}}}| [defined in Eq. (4b)] as a function of Δ\Delta around the SN-Haldane transition for J4=0.5J_{4}=-0.5 in Fig. 10. (b) |𝒪SN|8|\expectationvalue{\mathcal{O}_{\text{SN}}}|^{8} as a function of Δ\Delta. The black solid line shows the linear fitting of the χ=224\chi=224 data in the range 1.025<Δ<1.0351.025<\Delta<1.035. Its intersect with the horizontal axis gives the estimate ΔcH-SN1.022\Delta_{c}^{\text{H-SN}}\simeq 1.022 of the transition point.

The Haldane-SN transition can be analyzed in a similar manner as the Haldane*-SD transition discussed in Sec. III.2. Here, we fix J4=0.5J_{4}=-0.5 and vary Δ\Delta. Figure 13 shows our result on the SN order parameter |𝒪SN||\expectationvalue{\mathcal{O}_{\text{SN}}}|. In the Ising universality class, |𝒪SN|8|\expectationvalue{\mathcal{O}_{\text{SN}}}|^{8} is expected to be linear around the transition point ΔcH-SN\Delta_{c}^{\text{H-SN}} . By performing the linear fitting of the data of |𝒪SN|8|\expectationvalue{\mathcal{O}_{\text{SN}}}|^{8} versus Δ\Delta and finding the intersect with the horizontal axis, we obtain the estimate ΔcH-SN1.022\Delta_{c}^{\text{H-SN}}\simeq 1.022. We also confirmed the consistency with the central charge c=1/2c=1/2 in a similar manner as in Fig. 9 (not shown).

IV.4 RS*-CD transition

Refer to caption
Figure 14: CD order parameter (3b) to the eighth power, |𝒪CD|8|\expectationvalue{\mathcal{O}_{\text{CD}}}|^{8}, as a function of Δ\Delta around the RS*-CD transition for J4=1.5J_{4}=-1.5 in Fig. 10. By performing the linear extrapolation individually for each bond dimension χ\chi, we estimate the pseudo-critical point Δc(χ)\Delta_{c}(\chi). As shown in the inset, we estimate the critical point Δc(χ)0.979\Delta_{c}(\chi\rightarrow\infty)\simeq 0.979 by using the bond-dimensional scaling in Eq. (15) with ν=1\nu=1.

The RS*-CD transition can also be analyzed similarly. Here we fix J4=1.5J_{4}=-1.5, and plot the CD order parameter to the eighth power, |𝒪CD|8|\expectationvalue{\mathcal{O}_{\text{CD}}}|^{8}, as a function of Δ\Delta in Fig. 14. The numerical data show a rather significant dependence on the bond dimension χ\chi. This behavior is specific to the RS*-CD transition, and is likely to be caused by its proximity to the CD-SN transition. We therefore perform the linear fitting individually for each bond dimension χ\chi, find its intersect with the horizontal axis, and obtain the χ\chi-dependent pseudo-critical point ΔcRS-CD(χ)\Delta_{c}^{\text{RS${}^{*}$-CD}}(\chi).

Refer to caption
Figure 15: Entanglement entropy S(χ)S(\chi) versus the correlation length ξ(χ)\xi(\chi) for the bond dimensions χ=96,128,160,192\chi=96,128,160,192. These are calculated at Δ=0.978\Delta=0.978, 0.9790.979, and 0.9800.980, around which the RS*-CD transition is expected to occur. A logarithmic scale is used for the horizontal axis. The gray straight line is a guide to the eye and its slope is 1/121/12, which corresponds to the central charge c=1/2c=1/2.

We extrapolate the pseudo-critical point to infinite χ\chi by using the finite-bond-dimensional scaling. Finite-size scaling predicts that the true critical point Δc,true\Delta_{c,\text{true}} and the pseudo-critical point Δc(L)\Delta_{c}(L) satisfy

Δc,trueΔc(L)L1ν.\displaystyle\Delta_{c,\text{true}}-\Delta_{c}(L)\sim L^{-\frac{1}{\nu}}. (14)

We assume that Eq. (14) holds by replacing the system size LL with the correlation length ξ\xi:

Δc,trueΔc(χ)ξ(χ)1ν.\displaystyle\Delta_{c,\text{true}}-\Delta_{c}(\chi)\sim\xi(\chi)^{-\frac{1}{\nu}}. (15)

We also assume the Ising universality class with ν=1\nu=1. Using this scaling, we obtain the critical point ΔcRS-CD0.979\Delta_{c}^{\text{RS${}^{*}$-CD}}\simeq 0.979 as shown in the inset in Fig. 14. Around the estimated critical point, we have confirmed the consistency with c=1/2c=1/2 by examining the entanglement entropy versus the correlation length as shown in Fig. 15.

V Topological distinction among the four featureless phases

In the preceding sections, we have used two types of string correlations (5) in analyzing the RS-Haldane* and RS*-Haldane transitions. However, these correlations cannot be used to distinguish between the RS and RS* phases or between the Haldane and Haldane* phases. In this section, we demonstrate that topological indices [10, 20, 21, 22] associated with the D2×σD_{2}\times\sigma symmetry and the translational symmetry can distinguish all the four featureless phases. Below we briefly review the basic formalism for classifying 1D SPT phases and calculating topological indices (especially, those of Pollmann and Turner [20]), and then apply it to the present ladder system. While the full classification of SPT phases in a spin-12\frac{1}{2} ladder with the D2×σD_{2}\times\sigma symmetry has been achieved by Liu et al[33], our results illustrate how those phases are identified unambiguously in numerical calculations.

Refer to caption
Refer to caption
Figure 16: (a) Topological indices and (b) entanglement spectra {2lnλα}\{-2\ln\lambda_{\alpha}\} around the RS-Haldane* transition at J=1J_{\perp}=1 and Δ=0.7\Delta=0.7; see the red solid line in Fig. 4.
Refer to caption
Refer to caption
Figure 17: (a) Topological indices and (b) entanglement spectra {2lnλα}\{-2\ln\lambda_{\alpha}\} around the Haldane*-RS transition at J=1J_{\perp}=-1 and Δ=0.8\Delta=0.8; see the red solid line in Fig. 10.

Classification of 1D SPT phases can conveniently be discussed using the MPS representation [10, 11, 21, 22, 23]. Assuming the translational invariance, we represent the (normalized) ground state of the infinite system in the form of a canonical MPS as

|Ψ=,l,m,n,[ΛΓlΛΓmΛΓn]|l,m,n,.\displaystyle\ket{\Psi}=\sum_{\dots,l,m,n,\dots}[\dots\Lambda\Gamma_{l}\Lambda\Gamma_{m}\Lambda\Gamma_{n}\dots]\ket{\dots l,m,n,\dots}. (16)

Here, Γm\Gamma_{m} is a χ\chi-by-χ\chi matrix with mm being the spin state at a site, and Λ=diag(λ1,,λχ)\Lambda=\mathrm{diag}(\lambda_{1},\dots,\lambda_{\chi}) is a diagonal matrix comprised of the Schmidt values associated with a bipartition of the system into half-infinite chains. In our application to the spin-12\frac{1}{2} ladder, mm runs over the four spin states on a rung. Suppose that |Ψ\ket{\Psi} is invariant under an on-site unitary transformation, which is represented in the spin basis as a unitary matrix Σmm\Sigma_{mm^{\prime}} acting on every site. Namely, we have |Ψ|Ψ~|=1|\langle\Psi|\tilde{\Psi}\rangle|=1, where |Ψ~|\tilde{\Psi}\rangle is the state after the transformation. Then the Γm\Gamma_{m} matrices can be shown to satisfy [65]

mΣmmΓm=eiθΣUΣΓmUΣ,\displaystyle\sum_{m^{\prime}}\Sigma_{mm^{\prime}}\Gamma_{m^{\prime}}=e^{i\theta_{\Sigma}}U_{\Sigma}^{\dagger}\Gamma_{m}U_{\Sigma}, (17)

where eiθΣe^{i\theta_{\Sigma}} is a phase factor and UΣU_{\Sigma} is a χ\chi-by-χ\chi unitary matrix which commutes with Λ\Lambda. The phase factors {eiθΣ}\{e^{i\theta_{\Sigma}}\} form a 1D representation of the symmetry group. The matrices {UΣ}\{U_{\Sigma}\} form a χ\chi-dimensional projective representation of the symmetry group. Namely, it may differ from the linear representation by phase factors:

UΣ1UΣ2=eiρ(Σ1,Σ2)UΣ1Σ2.U_{\Sigma_{1}}U_{\Sigma_{2}}=e^{i\rho(\Sigma_{1},\Sigma_{2})}U_{\Sigma_{1}\Sigma_{2}}. (18)

The phases ρ(Σ1,Σ2)\rho(\Sigma_{1},\Sigma_{2}), called the factor set of the representation, can be used to classify different phases. Specifically, if these phases cannot be gauged away by redefining the phases of UΣU_{\Sigma}, the state {|Ψ}\{\ket{\Psi}\} belongs to a nontrivial SPT phase. When the translational symmetry is further imposed, eiθΣe^{i\theta_{\Sigma}} can also be used to classify phases [22].

To obtain the matrix UΣU_{\Sigma} and the phase factor eiθΣe^{i\theta_{\Sigma}} numerically, we introduce a generalized transfer matrix

Tαα;ββΣ:=m(mΣmmΓm,αβ)(Γm,αβ)λβλβ.\displaystyle T^{\Sigma}_{\alpha\alpha^{\prime};\beta\beta^{\prime}}:=\sum_{m}\quantity(\sum_{m^{\prime}}\Sigma_{mm^{\prime}}\Gamma_{m^{\prime},\alpha\beta})\quantity(\Gamma_{m,\alpha^{\prime}\beta^{\prime}})^{*}\lambda_{\beta}\lambda_{\beta^{\prime}}. (19)

Let XX be the right eigenvector with the largest absolute eigenvalue ϵ1Σ\epsilon^{\Sigma}_{1}:

Tαβ;αβΣXββ=ϵ1ΣXββ,\displaystyle T^{\Sigma}_{\alpha\beta;\alpha^{\prime}\beta^{\prime}}X_{\beta\beta^{\prime}}=\epsilon^{\Sigma}_{1}X_{\beta\beta^{\prime}}, (20)

where XX is normalized such that XX=IXX^{\dagger}=I. Since we assumed |Ψ|Ψ~|=1|\langle\Psi|\tilde{\Psi}\rangle|=1, ϵ1Σ\epsilon^{\Sigma}_{1} must have unit modulus. Conversely, if |ϵ1Σ|<1|\epsilon^{\Sigma}_{1}|<1, we have |Ψ|Ψ~|=0|\langle\Psi|\tilde{\Psi}\rangle|=0. We now regard the vector XX with χ2\chi^{2} elements as a χ\chi-by-χ\chi matrix. One can show that if |ϵ1Σ|=1|\epsilon^{\Sigma}_{1}|=1, XX and ϵ1Σ\epsilon^{\Sigma}_{1} are equal to UU^{\dagger} and eiθΣe^{i\theta_{\Sigma}}, respectively, specifically, Uββ=XββU_{\beta\beta^{\prime}}=X_{\beta^{\prime}\beta}^{*} [20, 65].

We now focus on the case of a spin-12\frac{1}{2} ladder with the D2×σD_{2}\times\sigma symmetry studied by Liu et al. [33]. The symmetry transformations acting on each rung are given by the spin rotations Σx:=exp[iπ(S1x+S2x)]\Sigma^{x}:=\exp[i\pi(S^{x}_{1}+S^{x}_{2})] and Σz:=exp[iπ(S1z+S2z)]\Sigma^{z}:=\exp[i\pi(S^{z}_{1}+S^{z}_{2})] and the inter-chain exchange Σσ:=α,β=,|αββα|\Sigma^{\sigma}:=\sum_{\alpha,\beta=\uparrow,\downarrow}\ket{\alpha\beta}\bra{\beta\alpha}. For these transformations, we can introduce the unitary matrices Ux:=UΣxU_{x}:=U_{\Sigma^{x}}, Uz:=UΣzU_{z}:=U_{\Sigma^{z}}, and Uσ:=UΣσU_{\sigma}:=U_{\Sigma^{\sigma}} and the corresponding indices ϵ1x\epsilon_{1}^{x}, ϵ1z\epsilon_{1}^{z}, and ϵ1σ\epsilon_{1}^{\sigma} as explained above. While Σx\Sigma^{x}, Σz\Sigma^{z}, and Σσ\Sigma^{\sigma} commute with one another, the commutation relations among UxU_{x}, UzU_{z}, and UσU_{\sigma} may involve nontrivial phase factors. Such phase factors can be used as fingerprints of different phases. They can conveniently be detected by introducing traced commutators [20]

𝒪xz:={0if|ϵ1x|<1or|ϵ1z|<1;1χtr(UxUzUxUz)if|ϵ1x|=|ϵ1z|=1,\mathcal{O}_{xz}:=\begin{cases}0&\text{if}~{}~{}|\epsilon_{1}^{x}|<1~{}\text{or}~{}|\epsilon_{1}^{z}|<1;\\ \frac{1}{\chi}\tr(U_{x}U_{z}U_{x}^{\dagger}U_{z}^{\dagger})&\text{if}~{}~{}|\epsilon_{1}^{x}|=|\epsilon_{1}^{z}|=1,\end{cases} (21)

and

𝒪xσ:={0if|ϵx|<1or|ϵ1σ|<1;1χtr(UxUσUxUσ)if|ϵ1x|=|ϵ1σ|=1.\mathcal{O}_{x\sigma}:=\begin{cases}0&\text{if}~{}~{}|\epsilon^{x}|<1~{}\text{or}~{}|\epsilon_{1}^{\sigma}|<1;\\ \frac{1}{\chi}\tr(U_{x}U_{\sigma}U_{x}^{\dagger}U_{\sigma}^{\dagger})&\text{if}~{}~{}|\epsilon_{1}^{x}|=|\epsilon_{1}^{\sigma}|=1.\end{cases} (22)

As explained above, we have |ϵ1Σ|<1|\epsilon_{1}^{\Sigma}|<1 if the state is not invariant under the transformation Σ\Sigma; in this case, 𝒪ΣΣ\mathcal{O}_{\Sigma\Sigma^{\prime}} is zero by definition.

The commutation relations among UxU_{x}, UzU_{z}, and UσU_{\sigma} can be read off from Table I in Ref. [33], in which possible projective representations of D2×σD_{2}\times\sigma and the corresponding SPT phases are summarized. If we do not impose the translational symmetry, the RS and RS* phases (termed rung-|0,0\ket{0,0} and rung-|1,z\ket{1,z} in Ref. [33]) fall into the trivial phase as they both include rung-factorized product states. In this trivial phase, UxU_{x}, UzU_{z}, and UσU_{\sigma} commute with one another, indicating 𝒪xz=𝒪xσ=1\mathcal{O}_{xz}=\mathcal{O}_{x\sigma}=1. In contrast, the Haldane and Haldane* phases (termed t0t_{0} and tzt_{z} in Ref. [33]) show the nontrivial relation UxUz=UzUxU_{x}U_{z}=-U_{z}U_{x}, indicating 𝒪xz=1\mathcal{O}_{xz}=-1. Furthermore, the Haldane* phase shows UxUσ=UσUxU_{x}U_{\sigma}=-U_{\sigma}U_{x}, indicating 𝒪xσ=1\mathcal{O}_{x\sigma}=-1. If we further impose the translational symmetry, the RS and RS* phases can be distinguished by the index ϵ1σ\epsilon^{\sigma}_{1}. Indeed, by multiplying Σσ\Sigma_{\sigma} to a singlet |0,0:=(||)/2\ket{0,0}:=\left(\ket{\uparrow\downarrow}-\ket{\downarrow\uparrow}\right)/\sqrt{2} and a twisted singlet |1,z:=(|+|)/2\ket{1,z}:=\left(\ket{\uparrow\downarrow}+\ket{\downarrow\uparrow}\right)/\sqrt{2} on a rung, we find ϵ1σ=1\epsilon^{\sigma}_{1}=-1 and ϵ1σ=1\epsilon^{\sigma}_{1}=1 in the RS and RS* phases, respectively. Therefore, we can distinguish the four featureless phases by using the indices 𝒪xz\mathcal{O}_{xz}, 𝒪xσ\mathcal{O}_{x\sigma}, and ϵ1σ\epsilon^{\sigma}_{1}.

We have numerically calculated these topological indices in our model. Here, we have implemented the VUMPS algorithm not for multi-site unit cells as used in the previous sections but for single-site unit cells. With this implementation, transitions between featureless phases can be investigated more accurately; furthermore, the translational invariance is explicitly imposed, which is useful in applying the formalism described above. The procedure goes as follows. First, we calculate the ground state |Ψ\ket{\Psi} represented in a mixed canonical form. Second, we recast the state into a canonical form. Third, we construct the generalized transfer matrix (19), and obtain the largest eigenvalue ϵ1Σ\epsilon^{\Sigma}_{1} and the corresponding right eigenvector XX, where the latter is equal to UU^{\dagger} if |ϵ1Σ|=1|\epsilon^{\Sigma}_{1}|=1. Finally, we calculate the traced commutators in Eqs. (21) and (22). Additionally, we have calculated the entanglement spectrum {2lnλα}\{-2\ln\lambda_{\alpha}\}, which exhibits nontrivial degeneracy when some of UΣU_{\Sigma}’s are noncommutative [10]. For example, when UxUz=UzUxU_{x}U_{z}=-U_{z}U_{x} as in the Haldane and Haldane* phases, the entire spectrum shows double degeneracy as Λ\Lambda commutes with UxU_{x} and UzU_{z}.

Numerical results obtained around the RS-Haldane* and Haldane*-RS transitions are shown in Figs. 16 and 17, respectively. The numerical values of the indices 𝒪xz\mathcal{O}_{xz}, 𝒪xσ\mathcal{O}_{x\sigma}, and ϵ1σ\epsilon^{\sigma}_{1} shown in the upper panels are in perfect agreement with the expected values in the four phases. The entanglement spectra shown in the lower panels show the expected double degeneracy in the Haldane and Haldane* phases. Physically, the double degeneracy arises if an odd number of (twisted) valence bonds are cut when the ladder is bipartitioned (see Appendix B for entanglement spectra in the ordered phases). In this sense, the degeneracy in the entanglement spectrum has similar information as the string correlation OoddzO_{\mathrm{odd}}^{z}; it cannot distinguish between the Haldane and Haldane* phases. Yet, more detailed information provided by the topological indices can distinguish all the four featureless phases.

VI Summary and outlook

In this paper, we have studied the spin-12\frac{1}{2} XXZ model with a four-spin interaction on a two-leg ladder in Eq. (I). By means of effective field theory and VUMPS calculations, we have obtained rich ground-state phase diagrams that consist of eight distinct gapped phases, as shown in Figs. 2, 3, 4, and 10. Notably, there are four featureless phases, i.e., the RS, RS*, Haldane, and Haldane* phases, which have a unique bulk ground state and do not break any symmetry. While the RS* and Haldane* phases have highly anisotropic nature, they are found to appear even in the vicinity of the isotropic case Δ=1\Delta=1. In the obtained phase diagrams, the four featureless phases compete not only with magnetic phases but also with dimer phases that break the translational symmetry. We have argued and demonstrated that Gaussian transitions with the central charge c=1c=1 occur between the featureless phases and between the ordered phases while Ising transitions with c=1/2c=1/2 occur between the featureless and ordered phases. The two types of transition lines cross at the SU(2)(2)-symmetric point, where the criticality is described by the SU(2)2(2)_{2} WZW theory with c=3/2c=3/2 [39, 46, 43, 44, 45, 42]. As argued by Liu et al. [33], the four featureless phases are distinguished in the presence of the spin rotational dihedral symmetry D2D_{2}, the inter-leg exchange symmetry σ\sigma, and the translational symmetry. We have demonstrated that these phases are indeed distinguished by topological indices associated with these symmetries.

An implication from the present work is that a rich phase structure can emerge by introducing anisotropy around the c=3/2c=3/2 critical point described by the SU(2)2(2)_{2} WZW theory. Such a structure has also been found in the spin-11 chain with bilinear and biquadratic interactions around the c=3/2c=3/2 critical point known as the Takhtajan-Babujian model [66, 67, 68]: in the presence of uniaxial anisotropy DD, the Haldane, dimer, Néel, and large-DD phases compete around this point [69]. While the universality classes of the transitions among them have yet to be investigated, the phase structure is similar to Fig. 3. It would be interesting to extend this idea to other systems such as a generalized Hubbard ladder [59] and spin chains with higher symmetry [68]. Research along this direction may provide opportunities to explore further examples of SPT phases and to investigate their competition with ordered phases.

Refer to caption
Figure 18: Schematic phase diagram of the model (23) with Jx=Jy=:JxyJ_{\perp}^{x}=J_{\perp}^{y}=:J_{\perp}^{xy} and |Jxy|,|Jz|1|J_{\perp}^{xy}|,|J_{\perp}^{z}|\ll 1. We assume that Δ\Delta is close to unity. A Gaussian transition in the symmetric channel is expected on the red solid line with Jz=0J_{\perp}^{z}=0. Ising transitions in the antisymmetric channel are expected on the blue solid lines with Jz±(2b02/a12)JxyJ_{\perp}^{z}\simeq\pm\quantity(2b_{0}^{2}/a_{1}^{2})J_{\perp}^{xy}. The Néelμ and SNμ phases (μ=x,y,z\mu=x,y,z) are phases with magnetic orders along the μ\mu axis; for μ=z\mu=z, they correspond to the Néel and SN phases in Figs. 2 and 3. The phase structure is left-right symmetric as the sign of JxyJ_{\perp}^{xy} can be flipped under the unitary transformation U1z(π):=exp(iπjS1,jz)U_{1}^{z}(\pi):=\exp\quantity(i\pi\sum_{j}S_{1,j}^{z}).
Refer to caption
Figure 19: Schematic phase diagram of the model (23) with Jy=Jz=:JyzJ_{\perp}^{y}=J_{\perp}^{z}=:J_{\perp}^{yz} and |Jx|,|Jyz|1|J_{\perp}^{x}|,|J_{\perp}^{yz}|\ll 1. We assume that Δ\Delta is close to but less than unity. With this assumption, we have a1>b0a_{1}>b_{0}; for example, a12/b021.4a_{1}^{2}/b_{0}^{2}\simeq 1.4 for Δ=0.9\Delta=0.9 [55, 56]. Ising transitions in the symmetric channel are expected on the green solid lines with Jx(1±a12/b02)JyzJ_{\perp}^{x}\simeq\quantity(1\pm a_{1}^{2}/b_{0}^{2})J_{\perp}^{yz}. Ising transitions in the antisymmetric channel are expected on the blue solid lines with Jx(1±a12/b02)JyzJ_{\perp}^{x}\simeq\quantity(-1\pm a_{1}^{2}/b_{0}^{2})J_{\perp}^{yz}. The phase structure is left-right symmetric as the sign of JyzJ_{\perp}^{yz} can be flipped under U1x(π)U_{1}^{x}(\pi). Under this transformation, the RS and Haldane phases are mapped onto the rung-|1,x\ket{1,x} and txt_{x} phases, respectively. Our identification of the latter two phases are based on this observation.
Acknowledgements.
The authors would like to thank Y. Fuji, R. K. Kaul, and M. Sato for useful comments. This research was supported by JSPS KAKENHI Grants No. JP18K03446, No. JP19H01809 and No. JP20K03780. The numerical computations were performed on computers at the Supercomputer Center, the Institute for Solid State Physics (ISSP), the University of Tokyo.

Appendix A Effective field theory for a spin-12\frac{1}{2} XYZ ladder

In this appendix, we apply the field-theoretical formulation in Sec. II to a highly anisotropic XYZ model on a ladder described by the Hamiltonian

H=Jα=1,2j(𝑺α,j𝑺α,j+1)Δ+μ=x,y,zJμjS1,jμS2,jμ.\displaystyle H=J\sum_{\alpha=1,2}\sum_{j}(\bm{S}_{\alpha,j}\cdot\bm{S}_{\alpha,j+1})_{\Delta}+\sum_{\mu=x,y,z}J_{\perp}^{\mu}\sum_{j}S_{1,j}^{\mu}S_{2,j}^{\mu}. (23)

This model is equivalent to the model studied by Liu et al. [33], and our analysis gives a qualitative description of their numerical results, as we explain in the following.

We set J=1J=1 and assume |Jμ|1(μ=x,y,z)|J_{\perp}^{\mu}|\ll 1~{}(\mu=x,y,z). Treating JμJ_{\perp}^{\mu}’s perturbatively, we obtain the low-energy effective Hamiltonian similar to Eq. (8) but with the additional term g~+cos(2πθ+)\tilde{g}_{+}\cos\quantity(\sqrt{2\pi}\theta_{+}). The coupling constants in this effective Hamiltonian are given by

g±=a122aJz,g~±=b022a(JxJy).g_{\pm}=\frac{a_{1}^{2}}{2a}J_{\perp}^{z},~{}~{}\tilde{g}_{\pm}=\frac{b_{0}^{2}}{2a}\quantity(J_{\perp}^{x}\mp J_{\perp}^{y}). (24)

Assuming that Δ\Delta is close to unity, we can determine the ground-state phase diagram in a similar manner as in Sec. II.2.

We first consider the case of Jx=Jy=:JxyJ_{\perp}^{x}=J_{\perp}^{y}=:J_{\perp}^{xy}. In this case, the model (23) has the U(1)U(1) spin-rotational symmetry. Reflecting this symmetry, the g~+\tilde{g}_{+} term vanishes and a magnetic order is allowed only along the zz axis. The obtained phase diagram in Fig. 18 exhibits competition among four featureless phases and two phases with magnetic orders along the zz axis. This diagram agrees qualitatively with Fig. 5 in Ref. [33], which is for Δ=1\Delta=1. In the latter figure, however, the RS-Haldane* and RS*-Haldane phase boundaries are largely bent downward with increasing |Jxy||J_{\perp}^{xy}|; this behavior is beyond the scope of the present analysis for weak inter-chain couplings. We refer the reader to Ref. [70] for a related bosonization analysis on a 1D anisotropic Kondo lattice.

We next consider the case of Jy=Jz=:JyzJ_{\perp}^{y}=J_{\perp}^{z}=:J_{\perp}^{yz} and Δ<1\Delta<1. In this case, the model (23) does not have the U(1)U(1) spin-rotational symmetry. The obtained phase diagram in Fig. 19 exhibits competition among four featureless phases and four phases with magnetic orders along the xx or zz axis. In the limit Δ1\Delta\to 1, where a1=b0a_{1}=b_{0}, the Néelz and SNz phases disappear, and Fig. 19 should become equivalent to Fig. 18 although the roles of the xx and zz directions are interchanged. Figure 19 agrees qualitatively with Fig. 1 in Ref. [33], which is for Δ=0.9\Delta=0.9, if we interchange the xx and zz directions. However, the latter figure indicates that the rung-|0,0\ket{0,0} and rung-|1,x\ket{1,x} phases are much broader and the t0t_{0} and txt_{x} phases are much narrower than in Fig. 19. We note that our conditions |g±||g~±||g_{\pm}|\simeq|\tilde{g}_{\pm}| for finding Ising transitions in the dual-field double sine-Gordon model are only approximate ones for K±1/2K_{\pm}\neq 1/2 and can become inaccurate even in the regime of weak inter-chain couplings as Δ\Delta deviates from unity.

Finally, we note that although the coupling constants in Eq. (24) are subject to the constraint g+=gg_{+}=g_{-}, this constraint can be released by adding the four-spin interaction J4J_{4}, as seen in Eq. (9). By varying Jμ(μ=x,y,z)J_{\perp}^{\mu}~{}(\mu=x,y,z) and J4J_{4} in the regime of weak inter-chain couplings, one can fully control the signs and the relative magnitudes of g±g_{\pm} and g~±\tilde{g}_{\pm}. This huge space allows one to obtain 16 possible phases: the rung-|0,0\ket{0,0}, rung-|1,μ\ket{1,\mu}, t0t_{0}, tμt_{\mu}, Néelμ, SNμ (μ=x,y,z\mu=x,y,z), SD, and CD phases.

Appendix B Entanglement spectra in the ordered phases

Refer to caption
Figure 20: Entanglement spectra {2lnλα}\{-2\ln\lambda_{\alpha}\} at representative points (J,J4,Δ)=(1,1,1.2)(J_{\perp},J_{4},\Delta)=(1,1,1.2), (1,1,1.05)(-1,-1,1.05), (1,1.5,1)(1,1.5,1), and (1,1,1)(-1,-1,1) in the Néel, SN, SD, and CD phases, respectively, where {λα}\{\lambda_{\alpha}\} are Schmidt values and the bond dimension is set to χ=96\chi=96. In the CD phase, the entanglement spectra are calculated for two types of cuts as explained in the text.

In Sec. V, we have calculated the entanglement spectra in the four featureless phases, as shown in Figs. 16 and 17. In this appendix, we discuss the entanglement spectra in the four ordered phases.

All the ordered phases discussed in the paper have the unit cell consisting of two effective sites (i.e., two rungs). We have therefore adopted the two-site unit cell implementation of the VUMPS algorithm as explained in Sec. III. Numerical results on the entanglement spectra are shown in Fig. 20. It is expected that the entire spectrum shows at least double degeneracy if an odd number of valence bonds are cut when bipartitioning the system [10]. The spectrum in the SD phase indeed shows the expected double degeneracy. In the CD phase, the spectra depend on where the system is cut. Specifically, we have obtained the CD state with 𝒪CD(0)>0\expectationvalue{\mathcal{O}_{\text{CD}}(0)}>0 [see Eq. (3b) for the definition of the order parameter]. The spectrum labeled “CD1” is for the case when the cut is placed between the (1)(-1)st and 0th rungs. The spectrum labeled “CD2” is for the case when the cut is placed between the 0th and 11st rungs. The entanglement entropy is larger in the latter case. In an ideal CD state as shown in the inset in Fig. 3, two valence bonds are cut in the “CD2” case, leading to 4-fold degeneracy in the entanglement spectrum. However, this degeneracy is split in a generic CD state. Therefore, there is no symmetry-protected degeneracy in the entanglement spectrum in the CD phase. The Néel and SN phases do not exhibit any symmetry-protected degeneracy in the entanglement spectra, either, as they include site-factorized product states with no entanglement.

Appendix C Phase transitions in the isotropic case

Refer to caption
Figure 21: Two string correlation functions (5) around the RS-SD transition at J=1J_{\perp}=1 and Δ=1.0\Delta=1.0; see Fig. 4. Logarithmic scales are used for both axes. Large open and small filled symbols are for χ=96\chi=96 and 192192, respectively. The two correlation functions are expected to show a power-law decay with the same exponent K+=1/2K_{+}=1/2 at the transition if the criticality is described by the SU(2)2(2)_{2} WZW theory. Two parallel gray solid lines are guides to the eye and their slope is 0.5-0.5. The present figure indicates that the transition should occur between J4=1.19J_{4}=1.19 and 1.201.20.
Refer to caption
Figure 22: Two string correlation functions (5) around the CD-Haldane transition at J=1J_{\perp}=-1 and Δ=1.0\Delta=1.0; see Fig. 10. As in the case of Fig. 21, large open and small filled symbols are for χ=96\chi=96 and 192192, respectively. Two parallel gray solid lines are guides to the eye and their slope is 0.5-0.5. The present figure indicates that the transition should occur between J4=0.92J_{4}=-0.92 and 0.82-0.82.

In this appendix, we estimate the RS-SD and Haldane-CD transition points in the isotropic case Δ=1\Delta=1. Field-theoretical analyses for weak inter-chain couplings (|J|,|J4|1|J_{\perp}|,|J_{4}|\ll 1) [39, 46, 44, 45] suggest that these transitions are continuous and described by the SU(2)2(2)_{2} WZW theory with the central charge c=3/2c=3/2, although a possibility of a first-order transition is not excluded. The SU(2)2(2)_{2} WZW theory is equivalent to the combination of the Gaussian theory with K+=1/2K_{+}=1/2 in the symmetric channel and the Ising CFT in the antisymmetric channel. In estimating the transition points, we use the two types of string correlation functions (5) as they can selectively probe the information in the symmetric channel as seen in Eq. (11). Specifically, these correlation functions are expected to show power-law decay with the same exponent K+=1/2K_{+}=1/2 at the transition if the scenario of the SU(2)2(2)_{2} WZW theory is true.

Figure 21 shows the numerical result around the RS-SD transition at J=1J_{\perp}=1 . The result indicates that a power-law decay of the two correlation functions with the same exponent K+=1/2K_{+}=1/2 is likely to occur between J4=1.19J_{4}=1.19 and 1.201.20. This result is consistent with the previous estimate J4,c1.19J_{4,c}\simeq 1.19 of the transition point by exact diagonalization [42]. At this point, we have obtained the central charge c1.55c\simeq 1.55 by examining the data of the entanglement entropy versus the correlation length in our previous work [47]. Our results are thus consistent with the scenario of the SU(2)2(2)_{2} WZW theory.

Figure 22 shows the numerical result around the CD-Haldane transition at J=1J_{\perp}=-1 . The result indicates that power-law decay with the same exponent K+=1/2K_{+}=1/2 can occur between J4=0.92J_{4}=-0.92 and 0.82-0.82. We thus obtain the estimate J4,c=0.87(5)J_{4,c}=-0.87(5) of the transition point, which still has a relatively large error range. However, we have found that if we try to reduce the range of J4J_{4} further, one of the two correlation functions becomes inconsistent with the K+=1/2K_{+}=1/2 behavior. This is likely to be due to insufficient convergence of the numerical data as a function of χ\chi although the breakdown of the scenario of the SU(2)2(2)_{2} WZW theory is not excluded. Our estimate of the transition point could be compared with the exact diagonalization result of Hijii and Sakai [43] (in particular, Figs. 5 and 6 therein). However, because of a relatively large dependence on the system size in Ref. [43], a detailed consistency check is not possible.

References