Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
††thanks: qinmingpu@sjtu.edu.cn

Is the Valence Bond Solid state in J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT Square Lattice Heisenberg Model Plaquette or Columnar?

Jiale Huang Key Laboratory of Artificial Structures and Quantum Control (Ministry of Education), School of Physics and Astronomy, Shanghai Jiao Tong University, Shanghai 200240, China    Xiangjian Qian Key Laboratory of Artificial Structures and Quantum Control (Ministry of Education), School of Physics and Astronomy, Shanghai Jiao Tong University, Shanghai 200240, China    Mingpu Qin Key Laboratory of Artificial Structures and Quantum Control (Ministry of Education), School of Physics and Astronomy, Shanghai Jiao Tong University, Shanghai 200240, China Hefei National Laboratory, Hefei 230088, China
Abstract

We utilize Density Matrix Renormalization Group (DMRG) and Fully Augmented Matrix Product States (FAMPS) methods to investigate the Valence Bond Solid (VBS) phase in the J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT square lattice Heisenberg model. To differentiate between the Columnar Valence Bond Solid (CVBS) and Plaquette Valence Bond Solid (PVBS) phases, we introduce an anisotropy ΔysubscriptΔ𝑦\Delta_{y}roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT in the nearest neighboring coupling in the y𝑦yitalic_y-direction, aiming at detecting the possible spontaneous rotational symmetry breaking in the VBS phase. In the calculations, we push the bond dimension to as large as D=25000𝐷25000D=25000italic_D = 25000 in FAMPS, simulating systems at a maximum size of 14×14141414\times 1414 × 14. With a careful extrapolation of the truncation errors and appropriate finite-size scaling, followed by finite ΔysubscriptΔ𝑦\Delta_{y}roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT scaling analysis of the VBS dimer order parameters, we identify the VBS phase as a PVBS type, meaning there is no spontaneous rotational symmetry breaking in the VBS phase. This study not only resolves the long-standing issue of the characterization of the VBS order in the J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT square lattice Heisenberg model but also highlights the capabilities of FAMPS in the study of two-dimensional quantum many-body systems.

I Introduction

The J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT spin-1/2121/21 / 2 square lattice Heisenberg model stands as one of the most extensively researched paradigms for studying the frustration effect in quantum many-body systems. The competing antiferromagnetic interactions between the nearest and next-nearest neighbors give rise to a rich variety of phases, which makes this model a well-known playground for searching exotic quantum states, such as Quantum Spin Liquid (QSL) and Valence Bond Solid (VBS) Dagotto and Moreo (1989); Gong et al. (2014); Capriotti et al. (2001); Read and Sachdev (1991). Understanding these exotic states may be crucial for elucidating the underlying physics of high-temperature superconductors and other strongly correlated materials Anderson (1987); Wen et al. (1989); Read and Sachdev (1991); Lee et al. (2006).

Over the past few decades, extensive research has been conducted to investigate the phase diagram of the J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT square lattice Heisenberg model. A general agreement has been established that when J2→0→subscript𝐽20J_{2}\rightarrow 0italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT → 0, the model’s ground state manifests as a Néel antiferromagnetic order Sandvik (1997), which extends to a finite region of J2/J1≈0.5subscript𝐽2subscript𝐽10.5J_{2}/J_{1}\approx 0.5italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≈ 0.5. For very large but finite values of J2/J1subscript𝐽2subscript𝐽1J_{2}/J_{1}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, the model’s ground state has antiferromagnetic (AFM) stripe order Dagotto and Moreo (1989); Morita et al. (2015). Intriguingly, the intermediate regime of 0.5≲J2/J1≲0.6less-than-or-similar-to0.5subscript𝐽2subscript𝐽1less-than-or-similar-to0.60.5\lesssim J_{2}/J_{1}\lesssim 0.60.5 ≲ italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≲ 0.6 is termed the non-magnetic phase, which has been a focal point of ongoing research. Many methods have been employed to study this model, including the exact diagonalization Figueirido et al. (1990); Dagotto and Moreo (1989); Poilblanc et al. (1991); H.J. Schulz et al. (1996); Mambrini et al. (2006a), series expansion Oitmaa and Weihong (1996); Singh et al. (1999); Sirker et al. (2006), quantum Monte Carlo Morita et al. (2015); Hu et al. (2013); Ferrari and Becca (2020), and tensor network methods Jiang et al. (2012); Gong et al. (2014); Wang and Sandvik (2018); Haghshenas and Sheng (2018); Hasik et al. (2021); Liu et al. (2022); Nomura and Imada (2021); Poilblanc and Mambrini (2017).

Despite the valuable insights gained from these results, which have significantly enhanced our understanding of the phase diagram of the J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT square lattice Heisenberg model, the nature of the non-magnetic regime continues to be a subject of active discussion. A variety of competing states have been suggested for this regime with different methods. These potential states encompass the plaquette valence bond solid (PVBS) Capriotti and Sorella (2000); Takano et al. (2003); Mambrini et al. (2006a, b); Darradi et al. (2008); Yu and Kao (2012); Doretto (2014); Gong et al. (2014); Ferrari and Becca (2020); Nomura and Imada (2021); Wang and Sandvik (2018), columnar valence bond solid (CVBS) Dagotto and Moreo (1989); Poilblanc et al. (1991); Schulz and Ziman (1992); Haghshenas and Sheng (2018); Singh et al. (1999); Read and Sachdev (1991), and quantum spin liquid states Capriotti et al. (2001); Zhang et al. (2003); Wang et al. (2013); Hu et al. (2013); Morita et al. (2015); Poilblanc and Mambrini (2017); Wang and Sandvik (2018); Liu et al. (2018); Ferrari and Becca (2020); Nomura and Imada (2021). The source of these controversies can be attributed to the difficulty of accurately simulating large-scale quantum many-body systems.

Recently, a novel approach, termed Fully Augmented Matrix Product States (FAMPS), has been developed to address and mitigate the limitations inherent in the Density Matrix Renormalization Group (DMRG) method when applied to the study of two-dimensional systems Qian and Qin (2023). This method has been subsequently applied to investigate the phase diagram of J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT square lattice Heisenberg model Qian and Qin (2024). In Qian and Qin (2024), it is found that a VBS phase directly connects Néel and stripe AFM phases, indicating the absence of a spin liquid phase in the J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT square lattice Heisenberg model (see Fig. 1 (b)). However, the exact nature of the VBS phase, whether it is a PVBS or a CVBS, remains undetermined. To address this long-standing issue, we employ the DMRG and FAMPS methods, to investigate the nature of the VBS phase at J2=0.57subscript𝐽20.57J_{2}=0.57italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0.57, which is deep in the VBS phase.

By applying an anisotropy ΔysubscriptΔ𝑦\Delta_{y}roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT in the nearest neighboring coupling in the y𝑦yitalic_y-direction in the J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT square lattice Heisenberg model, we can detect the possible spontaneous rotational symmetry breaking of the VBS phase, which can help us to distinguish CVBS from PVBS. We push the bond dimension to D=25000𝐷25000D=25000italic_D = 25000 in our FAMPS calculations and simulate systems with a maximum size of 14×14141414\times 1414 × 14. Through meticulous extrapolation with truncation errors and reliable finite-size and finite ΔysubscriptΔ𝑦\Delta_{y}roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT scaling analysis, we establish that the VBS phase in the J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT square lattice Heisenberg model is a PVBS type.

The rest of this paper is structured as follows: in Sec. II, we introduce the model in which we add an anisotropy ΔysubscriptΔ𝑦\Delta_{y}roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT in the nearest neighboring coupling in the y𝑦yitalic_y-direction to the J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT square lattice Heisenberg model. We also outline the methods used to study this model and demonstrate the advantage of the FAMPS method in comparison to the pure DMRG method. In Sec. III, we present the results of the VBS dimer order parameter and discuss the approach to determine the nature of the VBS phase. We conclude our work in Sec. IV.

II Model and Methods

II.1 Model

The Hamiltonian of J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT square lattice Heisenberg model is given by

H=J1⁢∑⟨i,j⟩S^i⋅S^j+J2⁢∑⟨⟨i,j⟩⟩S^i⋅S^j𝐻subscript𝐽1subscript𝑖𝑗⋅subscript^𝑆𝑖subscript^𝑆𝑗subscript𝐽2subscriptdelimited-⟨⟩𝑖𝑗⋅subscript^𝑆𝑖subscript^𝑆𝑗H=J_{1}\sum_{\langle i,j\rangle}\hat{S}_{i}\cdot\hat{S}_{j}+J_{2}\sum_{\langle% \langle i,j\rangle\rangle}\hat{S}_{i}\cdot\hat{S}_{j}italic_H = italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT ⟨ italic_i , italic_j ⟩ end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⋅ over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT ⟨ ⟨ italic_i , italic_j ⟩ ⟩ end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⋅ over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT (1)

with ⟨i,j⟩𝑖𝑗\langle i,j\rangle⟨ italic_i , italic_j ⟩ denoting the nearest neighboring sites and ⟨⟨i,j⟩⟩delimited-⟨⟩𝑖𝑗\langle\langle i,j\rangle\rangle⟨ ⟨ italic_i , italic_j ⟩ ⟩ denoting the next-nearest neighboring sites. Si^^subscript𝑆𝑖\hat{S_{i}}over^ start_ARG italic_S start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG is the spin-1/2 operator at site i𝑖iitalic_i and J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT are the nearest and next-nearest neighboring couplings, respectively.

Our study focuses on a square lattice with Lx=Lysubscript𝐿𝑥subscript𝐿𝑦L_{x}=L_{y}italic_L start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT = italic_L start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT with open boundary conditions in both directions, which preserves the rotational symmetry. The ground state of the VBS phase could potentially manifest as a twofold degenerate CVBS or a genuine PVBS. It is known that there is no spontaneous symmetry breaking for systems with finite size, so it is hard to distinguish between these two states directly in finite systems. To address this issue, we introduce an anisotropy ΔysubscriptΔ𝑦\Delta_{y}roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT in the y𝑦yitalic_y-direction of the nearest neighboring coupling to detect the possible spontaneous rotational symmetry breaking of the VBS state in the thermodynamic limit. By first extrapolating the system sizes to the thermodynamic limit, followed by the extrapolation to the zero ΔysubscriptΔ𝑦\Delta_{y}roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT limit, we can determine the true nature of the VBS phase. The new Hamiltonian is given by

H=∑rJ1⁢S^r⋅S^r+x^+(J1+Δy)⁢S^r⋅S^r+y^+J2⁢(S^r⋅S^r+x^+y^+S^r⋅S^r+x^−y^)𝐻subscript𝑟⋅subscript𝐽1subscript^𝑆𝑟subscript^𝑆𝑟^𝑥⋅subscript𝐽1subscriptΔ𝑦subscript^𝑆𝑟subscript^𝑆𝑟^𝑦subscript𝐽2⋅subscript^𝑆𝑟subscript^𝑆𝑟^𝑥^𝑦⋅subscript^𝑆𝑟subscript^𝑆𝑟^𝑥^𝑦\begin{split}H=\sum_{r}&J_{1}\hat{S}_{r}\cdot\hat{S}_{r+\hat{x}}+(J_{1}+\Delta% _{y})\hat{S}_{r}\cdot\hat{S}_{r+\hat{y}}\\ &+J_{2}(\hat{S}_{r}\cdot\hat{S}_{r+\hat{x}+\hat{y}}+\hat{S}_{r}\cdot\hat{S}_{r% +\hat{x}-\hat{y}})\end{split}start_ROW start_CELL italic_H = ∑ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT end_CELL start_CELL italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ⋅ over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_r + over^ start_ARG italic_x end_ARG end_POSTSUBSCRIPT + ( italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ) over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ⋅ over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_r + over^ start_ARG italic_y end_ARG end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL + italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ⋅ over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_r + over^ start_ARG italic_x end_ARG + over^ start_ARG italic_y end_ARG end_POSTSUBSCRIPT + over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ⋅ over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_r + over^ start_ARG italic_x end_ARG - over^ start_ARG italic_y end_ARG end_POSTSUBSCRIPT ) end_CELL end_ROW (2)

When ΔysubscriptΔ𝑦\Delta_{y}roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT is set to 00, this model reduces to the J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT square lattice Heisenberg model. In this work, we set J1=1.0subscript𝐽11.0J_{1}=1.0italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 1.0 as the energy unit and J2=0.57subscript𝐽20.57J_{2}=0.57italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0.57, deep in the VBS phase as shown in Fig. 1(b).

Refer to caption
Figure 1: (a) Illustration of an 8×8888\times 88 × 8 J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT Heisenberg model on a square lattice, where black lines indicate nearest neighboring couplings J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and dashed blue lines represent next-nearest neighboring couplings J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. Open boundary conditions are applied in both x𝑥xitalic_x and y𝑦yitalic_y directions. The central zone marked by a red dashed area highlights the lattice region utilized for calculating the VBS dimer order parameter Dαsubscript𝐷𝛼D_{\alpha}italic_D start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT defined in Eq. (5) (for each system, we use only the results in the central half for the calculation of Dαsubscript𝐷𝛼D_{\alpha}italic_D start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT). (b) Phase diagram of the J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT square lattice Heisenberg model, illustrating a VBS phase sandwiched by the Néel and stripe AFM phases within the coupling ratio range 0.535≲J2/J1≲0.610less-than-or-similar-to0.535subscript𝐽2subscript𝐽1less-than-or-similar-to0.6100.535\lesssim J_{2}/J_{1}\lesssim 0.6100.535 ≲ italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT / italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≲ 0.610 Qian and Qin (2024). The orange arrow at J2=0.57subscript𝐽20.57J_{2}=0.57italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0.57 denotes the specific coupling strength at which the VBS dimer order parameter is calculated in this work.

II.2 Method

DMRG is a powerful numerical method for studying one-dimensional and quasi-one-dimensional quantum systems White (1992, 1993); Schollwöck (2005). It is based on the Matrix Product States (MPS) ansatz which is a variational wavefunction ansatz for one-dimensional quantum systems Östlund and Rommer (1995); Verstraete and Cirac (2006); F. Verstraete and Cirac (2008). The MPS ansatz is defined as

|MPS⟩=∑{si}Tr⁢(As1⁢As2⁢⋯⁢AsN)⁢|s1⁢s2⁢⋯⁢sN⟩ketMPSsubscriptsubscript𝑠𝑖Trsuperscript𝐴subscript𝑠1superscript𝐴subscript𝑠2⋯superscript𝐴subscript𝑠𝑁ketsubscript𝑠1subscript𝑠2⋯subscript𝑠𝑁|\mathrm{MPS}\rangle=\sum_{\{s_{i}\}}\text{Tr}(A^{s_{1}}A^{s_{2}}\cdots A^{s_{% N}})|s_{1}s_{2}\cdots s_{N}\rangle| roman_MPS ⟩ = ∑ start_POSTSUBSCRIPT { italic_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT } end_POSTSUBSCRIPT Tr ( italic_A start_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_A start_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ⋯ italic_A start_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ) | italic_s start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⋯ italic_s start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ⟩ (3)

where Asisuperscript𝐴subscript𝑠𝑖A^{s_{i}}italic_A start_POSTSUPERSCRIPT italic_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUPERSCRIPT is the rank-3 local tensor at site i𝑖iitalic_i with one physical index sisubscript𝑠𝑖s_{i}italic_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT (with dimension d𝑑ditalic_d) and two auxiliary indices (with bond dimension D𝐷Ditalic_D). D𝐷Ditalic_D is the key parameter in DMRG calculations which determines the accuracy of the calculation. Even though DMRG is designed for one-dimensional systems, it can be extended to two-dimensional systems. Nonetheless, the bond dimension required for the accurate simulation of two-dimensional systems increases exponentially with the system size, due to the area-law of entanglement entropy Eisert et al. (2010). Hence for DMRG calculations, achieving a sufficiently large bond dimension to study a two-dimensional system with high precision becomes computationally challenging.

Recently, FAMPS method has been introduced to address the limitations of DMRG in two-dimensional systems. This approach enhances the entanglement in MPS and improves computational accuracy by incorporating an additional layer of unitary tensors, known as disentanglers Vidal (2008), to the physical indices of the MPS. The FAMPS ansatz is defined as

|FAMPS⟩=D⁢(u)⁢|MPS⟩ketFAMPS𝐷𝑢ketMPS|\mathrm{FAMPS}\rangle=D(u)|\mathrm{MPS}\rangle| roman_FAMPS ⟩ = italic_D ( italic_u ) | roman_MPS ⟩ (4)

where D⁢(u)𝐷𝑢D(u)italic_D ( italic_u ) denotes the additional disentangler layer. FAMPS method has been demonstrated to attain more precise results than pure DMRG method and can support area-law-like entanglement for 2D systems while maintaining the low cost of DMRG O⁢(D3)Osuperscript𝐷3\mathrm{O}(D^{3})roman_O ( italic_D start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ) with a small overhead O⁢(d4)Osuperscript𝑑4\mathrm{O}(d^{4})roman_O ( italic_d start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ) Qian and Qin (2023); Felser et al. (2021); Qian and Qin (2022). In this work, we employ the FAMPS method to study the J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT square lattice Heisenberg model at J2=0.57subscript𝐽20.57J_{2}=0.57italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0.57 with the largest system size 14×14141414\times 1414 × 14 and largest bond dimension D=25000𝐷25000D=25000italic_D = 25000. The other system sizes are studied with pure DMRG method with the largest bond dimension D=50000𝐷50000D=50000italic_D = 50000, which gives reliable results with extrapolations with truncation errors in the DMRG calculation.

Refer to caption
Refer to caption
Figure 2: (a) Ground state energy per site E0subscript𝐸0E_{0}italic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT for the J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT model with J2=0.57subscript𝐽20.57J_{2}=0.57italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0.57 and system size 14×14141414\times 1414 × 14 under OBC, as a function of the truncation errors ε𝜀\varepsilonitalic_ε. The data is calculated using both FAMPS and pure DMRG methods. The dashed line indicates a linear fitting, which is extrapolated to ε=0𝜀0\varepsilon=0italic_ε = 0. Though the extrapolated results for DMRG and FAMPS are consistent, the error bar for FAMPS result is quite smaller. (b) E0subscript𝐸0E_{0}italic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT as a function of the bond dimension D𝐷Ditalic_D. For each D𝐷Ditalic_D, the energy computed using FAMPS is consistently lower than that obtained with pure DMRG method. Analysis indicates that the performance of FAMPS at a given bond dimension D𝐷Ditalic_D is approximately equivalent to pure DMRG calculation with bond dimension 3⁢D3𝐷3D3 italic_D.

To show the improvement of FAMPS over pure DMRG method, we calculate the ground state energy per site of the J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT square lattice Heisenberg model at J2=0.57subscript𝐽20.57J_{2}=0.57italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0.57 for system size L=14×14𝐿1414L=14\times 14italic_L = 14 × 14 under open boundary conditions (OBC). The results are presented in Fig. 2. By applying a linear extrapolation to obtain the ground state energy E0subscript𝐸0E_{0}italic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT at the truncation errors ε=0𝜀0\varepsilon=0italic_ε = 0, we observe that both FAMPS and DMRG methods yield consistent results. However, the FAMPS method provides a significantly smaller error bar, indicating a more reliable and accurate estimation of E0subscript𝐸0E_{0}italic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT. The FAMPS method achieves convergence more rapidly than the pure DMRG approach. Notably, even the data points corresponding to the largest truncation errors in FAMPS calculations align with the linear fitting line. In contrast, the data points with large truncation errors from the pure DMRG calculations deviate from the fitting line, indicating less robustness in approaching the ground state.

The convergence of the energy per site with bond dimension D𝐷Ditalic_D is depicted in Fig. 2 (b). The results highlight that for a given bond dimension, the energy calculated using the FAMPS method consistently falls below that calculated by the pure DMRG method. Notably, the simulation accuracy of FAMPS at a specific bond dimension D𝐷Ditalic_D is approximately equivalent to that of DMRG with bond dimension 3⁢D3𝐷3D3 italic_D. For instance, the energy value obtained with FAMPS at D=15000𝐷15000D=15000italic_D = 15000 is comparable to those calculated with DMRG at D=45000𝐷45000D=45000italic_D = 45000.

III Results

Refer to caption
Figure 3: (a) PVBS state with Dxsubscript𝐷𝑥D_{x}italic_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT equals to Dysubscript𝐷𝑦D_{y}italic_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT. (b) CVBS state with Dysubscript𝐷𝑦D_{y}italic_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT is non-zero and Dxsubscript𝐷𝑥D_{x}italic_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT is vanishing.

The VBS dimer order parameter, denoted as Dαsubscript𝐷𝛼D_{\alpha}italic_D start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT (α=x/y𝛼𝑥𝑦\alpha=x/yitalic_α = italic_x / italic_y), serves as a critical observable for distinguishing between the competing VBS states in the J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT square lattice Heisenberg model Liu et al. (2018); Zhao et al. (2020). This parameter effectively captures the possible rotational symmetry-breaking, thereby providing a quantitative measure to differentiate between the CVBS and PVBS states. The definition of Dαsubscript𝐷𝛼D_{\alpha}italic_D start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT (α=x/y𝛼𝑥𝑦\alpha=x/yitalic_α = italic_x / italic_y) is given by

Dα=1Nb⁢∑rei⁢qα⋅r⁢S^r⋅S^r+αsubscript𝐷𝛼1subscript𝑁𝑏subscript𝑟⋅superscript𝑒⋅𝑖subscript𝑞𝛼𝑟subscript^𝑆𝑟subscript^𝑆𝑟𝛼D_{\alpha}=\frac{1}{N_{b}}\sum_{r}e^{iq_{\alpha}\cdot r}\hat{S}_{r}\cdot\hat{S% }_{r+\alpha}italic_D start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_i italic_q start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ⋅ italic_r end_POSTSUPERSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ⋅ over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_r + italic_α end_POSTSUBSCRIPT (5)

where Nbsubscript𝑁𝑏N_{b}italic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT is the number of bonds in the calculation, qαsubscript𝑞𝛼q_{\alpha}italic_q start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT is the wave vector associated with the VBS order, taking values (π,0)𝜋0(\pi,0)( italic_π , 0 ) or (0,π)0𝜋(0,\pi)( 0 , italic_π ) depending on the direction α𝛼\alphaitalic_α of the dimer order. In the thermodynamic limit, for the CVBS state, either Dxsubscript𝐷𝑥D_{x}italic_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT or Dysubscript𝐷𝑦D_{y}italic_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT will be non-zero while the other approaches zero. Conversely, for the PVBS state, both Dxsubscript𝐷𝑥D_{x}italic_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT and Dysubscript𝐷𝑦D_{y}italic_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT should exhibit non-zero values, and the ratio |⟨Dx⟩|/|⟨Dy⟩|delimited-⟨⟩subscript𝐷𝑥delimited-⟨⟩subscript𝐷𝑦|\langle D_{x}\rangle|/|\langle D_{y}\rangle|| ⟨ italic_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ⟩ | / | ⟨ italic_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ⟩ | should be unity, indicating an isotropic dimer distribution across the lattice. The illustration of the PVBS and CVBS dimer is shown in Fig. 3.

Refer to caption
Figure 4: The bond strength |⟨S^r⋅S^r+α⟩|delimited-⟨⟩⋅subscript^𝑆𝑟subscript^𝑆𝑟𝛼|\langle\hat{S}_{r}\cdot\hat{S}_{r+\alpha}\rangle|| ⟨ over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ⋅ over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_r + italic_α end_POSTSUBSCRIPT ⟩ | of the 12×12121212\times 1212 × 12 system at Δy=0.03subscriptΔ𝑦0.03\Delta_{y}=0.03roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = 0.03. The blue line shows the strong coupling bonds and the red line shows the weak coupling bonds.
Refer to caption
Figure 5: The VBS dimer order parameter Dαsubscript𝐷𝛼D_{\alpha}italic_D start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT versus ΔysubscriptΔ𝑦\Delta_{y}roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT with Dysubscript𝐷𝑦D_{y}italic_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT denoted as star markers and Dxsubscript𝐷𝑥D_{x}italic_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT denoted as circle markers. All data have been extrapolated to truncation errors ε=0𝜀0\varepsilon=0italic_ε = 0. The red markers represent values extrapolated to the thermodynamic limit (L→∞→𝐿L\rightarrow\inftyitalic_L → ∞). Quadratic fitting is applied to these extrapolated points versus ΔysubscriptΔ𝑦\Delta_{y}roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT. The convergence of fitting lines at Δy=0subscriptΔ𝑦0\Delta_{y}=0roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = 0 strongly suggests that there is no spontaneous rotational symmetry breaking in the VBS phase and the VBS phase is a PVBS type.

In our study, by adding an anisotropy ΔysubscriptΔ𝑦\Delta_{y}roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT in the nearest neighboring coupling in the y𝑦yitalic_y-direction to the J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT square lattice Heisenberg model, we can detect the possible spontaneous rotational symmetry breaking of the VBS state. As shown in Fig. 4, though the strong coupling bonds (with larger |⟨S^r⋅S^r+α⟩|delimited-⟨⟩⋅subscript^𝑆𝑟subscript^𝑆𝑟𝛼|\langle\hat{S}_{r}\cdot\hat{S}_{r+\alpha}\rangle|| ⟨ over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ⋅ over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_r + italic_α end_POSTSUBSCRIPT ⟩ |) form a plaquette structure, the rotational symmetry is broken due to the inclusion of the ΔysubscriptΔ𝑦\Delta_{y}roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT term in Eq. (2). This rotational symmetry breaking can be detected by the VBS dimer order parameter.

In Fig. 5, we present the main results about VBS dimer order parameter Dαsubscript𝐷𝛼D_{\alpha}italic_D start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT as a function of the anisotropy ΔysubscriptΔ𝑦\Delta_{y}roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT for J2=0.57subscript𝐽20.57J_{2}=0.57italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0.57 across various system sizes L×L𝐿𝐿L\times Litalic_L × italic_L. To reduce the finite-size effect, we only use results in the central half of the studied systems. We can find that as ΔysubscriptΔ𝑦\Delta_{y}roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT increases, Dxsubscript𝐷𝑥D_{x}italic_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT (Dysubscript𝐷𝑦D_{y}italic_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT) decreases (increases). For Δy≳0.2greater-than-or-equivalent-tosubscriptΔ𝑦0.2\Delta_{y}\gtrsim 0.2roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ≳ 0.2, Dxsubscript𝐷𝑥D_{x}italic_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT almost approaches zero while Dysubscript𝐷𝑦D_{y}italic_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT has a finite values. This behavior is consistent with theoretical expectations of Eq. (2), where rotational symmetry is explicitly broken by including the ΔysubscriptΔ𝑦\Delta_{y}roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT term. We also notice that as expected, when Δy=0subscriptΔ𝑦0\Delta_{y}=0roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = 0, Dxsubscript𝐷𝑥D_{x}italic_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT = Dysubscript𝐷𝑦D_{y}italic_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT for given systems, because spontaneous symmetry breaking can’t occur for finite systems. To detect the possible spontaneous rotational symmetry breaking, we need to focus on how Dαsubscript𝐷𝛼D_{\alpha}italic_D start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT behaves as ΔysubscriptΔ𝑦\Delta_{y}roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT approaches zero.

To accurately determine the true VBS phase type at Δy=0subscriptΔ𝑦0\Delta_{y}=0roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = 0, we have to extrapolate Dαsubscript𝐷𝛼D_{\alpha}italic_D start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT to the thermodynamic limit L→∞→𝐿L\rightarrow\inftyitalic_L → ∞. In this process, the order in which the limit is taken is critical. We first approach the thermodynamic limit and then take the limit of vanishing anisotropy ΔysubscriptΔ𝑦\Delta_{y}roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT. This approach can be formally expressed as

Dα=limΔy→0limL→∞Dαsubscript𝐷𝛼subscript→subscriptΔ𝑦0subscript→𝐿subscript𝐷𝛼D_{\alpha}=\lim_{\Delta_{y}\rightarrow 0}\lim_{L\rightarrow\infty}D_{\alpha}italic_D start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT = roman_lim start_POSTSUBSCRIPT roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT → 0 end_POSTSUBSCRIPT roman_lim start_POSTSUBSCRIPT italic_L → ∞ end_POSTSUBSCRIPT italic_D start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT (6)

In this study, we first perform a linear extrapolation to L→∞→𝐿L\rightarrow\inftyitalic_L → ∞ for fixed ΔysubscriptΔ𝑦\Delta_{y}roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT. An example for Δy=0.03subscriptΔ𝑦0.03\Delta_{y}=0.03roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = 0.03 is shown in Fig. 6, and results for other ΔysubscriptΔ𝑦\Delta_{y}roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT values are shown in Appendix. A. We subsequently apply a quadratic fitting of extrapolated Dαsubscript𝐷𝛼D_{\alpha}italic_D start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT with ΔysubscriptΔ𝑦\Delta_{y}roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT to obtain the spontaneous order parameters. The results are shown in Fig. 5.

Refer to caption
Figure 6: The VBS dimer order parameter Dαsubscript𝐷𝛼D_{\alpha}italic_D start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT versus 1/L1𝐿1/L1 / italic_L for Δy=0.03subscriptΔ𝑦0.03\Delta_{y}=0.03roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = 0.03. The dashed line represents the linear fitting to the data points. For Dxsubscript𝐷𝑥D_{x}italic_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT, we use data points from 6×6666\times 66 × 6 to 14×14141414\times 1414 × 14, while for Dysubscript𝐷𝑦D_{y}italic_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT, we exclude the data point from the 14×14141414\times 1414 × 14 system because it is not converged in the FAMPS calculation (details can be found in Appendix. B).

If the VBS phase was a CVBS type, Dxsubscript𝐷𝑥D_{x}italic_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT would vanish and Dysubscript𝐷𝑦D_{y}italic_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT remain non-zero, due to the applied anisotropy ΔysubscriptΔ𝑦\Delta_{y}roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT in the y𝑦yitalic_y-direction of the nearest neighboring coupling. But we find that the fitting curves for Dxsubscript𝐷𝑥D_{x}italic_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT and Dysubscript𝐷𝑦D_{y}italic_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT exhibit remarkable convergence at Δy=0subscriptΔ𝑦0\Delta_{y}=0roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = 0, as depicted in Fig. 5. This convergence strongly suggests that the VBS phase in the J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT square lattice Heisenberg model is a PVBS type.

One may notice that in the extrapolation process to L→∞→𝐿L\rightarrow\inftyitalic_L → ∞, we utilize data points from the 14×14141414\times 1414 × 14 system size for Dxsubscript𝐷𝑥D_{x}italic_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT but exclude them for Dysubscript𝐷𝑦D_{y}italic_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT (see Fig. 6). The reason for this procedure is as follows. The Dysubscript𝐷𝑦D_{y}italic_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT values obtained from the 14×14141414\times 1414 × 14 system appear unreasonably high. Moreover, the linear and quadratic extrapolations of Dysubscript𝐷𝑦D_{y}italic_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT with truncation errors in FAMPS give inconsistent values, suggesting a significant finite-bond effect for Dysubscript𝐷𝑦D_{y}italic_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT in the FAMPS calculation. However, the behavior of Dxsubscript𝐷𝑥D_{x}italic_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT with truncation errors in FAMPS is quite flat and the extrapolation with truncation errors is robust. More details of the finite-bond effect are discussed in Appendix. B.

In summary, our results indicate that the VBS phase in the J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT square lattice Heisenberg model is a PVBS type.

IV Conclusion

In this work, we employ FAMPS and DMRG methods to the J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT square lattice Heisenberg model to investigate the nature of the VBS phase in its phase diagram. By introducing an anisotropy parameter ΔysubscriptΔ𝑦\Delta_{y}roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT in the nearest neighboring coupling in the y𝑦yitalic_y-direction into the system, we are able to distinguish between the CVBS and PVBS types. Through careful extrapolation of truncation errors and employing reliable finite-size scaling, followed by finite ΔysubscriptΔ𝑦\Delta_{y}roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT scaling analysis of the VBS dimer order parameter, we establish that the VBS phase in the J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT square lattice Heisenberg model is a PVBS type, meaning the rotational symmetry is not spontaneously broken in the VBS phase.

Our results not only resolve the long-standing issue on the characterization of the VBS phase in the phase diagram of the J1subscript𝐽1J_{1}italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-J2subscript𝐽2J_{2}italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT square lattice Heisenberg model, but also demonstrate the potential of FAMPS to be applied to other complex two-dimensional systems, where large system sizes and bond dimensions are necessary to capture the intricate details of the ground state.

Acknowledgements.
We thank useful discussion with Jong Yeon Lee. The calculation in this work is carried out with TensorKit foo . We acknowledge the support from the Innovation Program for Quantum Science and Technology (2021ZD0301902), the National Natural Science Foundation of China (Grant No. 12274290) and the sponsorship from Yangyang Development Fund.

References

Appendix A Finite-size scaling

In Fig. 7, we show the extrapolation of the VBS dimer order parameter with respect to the system sizes at Δy=0.01,0.02,0.05subscriptΔ𝑦0.010.020.05\Delta_{y}=0.01,0.02,0.05roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = 0.01 , 0.02 , 0.05, and 0.070.070.070.07.

Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 7: VBS dimer order parameter Dαsubscript𝐷𝛼D_{\alpha}italic_D start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT plotted as a function of system size 1/L1𝐿1/L1 / italic_L. The dashed line represents a linear fitting to the data points. (a) results for Δy=0.01subscriptΔ𝑦0.01\Delta_{y}=0.01roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = 0.01, (b) results for Δy=0.02subscriptΔ𝑦0.02\Delta_{y}=0.02roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = 0.02, (c) results for Δy=0.05subscriptΔ𝑦0.05\Delta_{y}=0.05roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = 0.05, and (d) results for Δy=0.07subscriptΔ𝑦0.07\Delta_{y}=0.07roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = 0.07.

Appendix B Finite-bond effect of FAMPS results for the 14×14141414\times 1414 × 14 system

To elucidate the finite-bond effect on the VBS dimer order parameter, particularly the unreliability of the results for Dysubscript𝐷𝑦D_{y}italic_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT at system size 14×14141414\times 1414 × 14, we present the extrapolation of the VBS dimer order parameter with respect to the truncation errors in FAMPS calculations for the system with size 14×14141414\times 1414 × 14 in Fig. 8. For both Dxsubscript𝐷𝑥D_{x}italic_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT and Dysubscript𝐷𝑦D_{y}italic_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT, linear and quadratic fittings are employed to extrapolate the truncation errors to ε=0𝜀0\varepsilon=0italic_ε = 0. Notably, both fittings give consistent results for Dxsubscript𝐷𝑥D_{x}italic_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT. However, for Dysubscript𝐷𝑦D_{y}italic_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT, linear and quadratic fittings give different results.

Due to the computational resource limitation, achieving the required bond dimension for the convergence of Dysubscript𝐷𝑦D_{y}italic_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT in the 14×14141414\times 1414 × 14 system size is challenging. So we exclude the data for size 14×14141414\times 1414 × 14 when performing the finite-size scalings for Dysubscript𝐷𝑦D_{y}italic_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT.

Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 8: VBS dimer order parameter Dαsubscript𝐷𝛼D_{\alpha}italic_D start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT plotted as a function of truncation errors ε𝜀\varepsilonitalic_ε for the 14×14141414\times 1414 × 14 system. The solid line indicates a linear fitting to the data points, while the dashed line represents a quadratic fitting. The blue dot-dash line represents the extrapolated value of Dysubscript𝐷𝑦D_{y}italic_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT for the 12×12121212\times 1212 × 12 system as a reference. (a) Δy=0.01subscriptΔ𝑦0.01\Delta_{y}=0.01roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = 0.01, (b) Δy=0.02subscriptΔ𝑦0.02\Delta_{y}=0.02roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = 0.02, (c)Δy=0.03subscriptΔ𝑦0.03\Delta_{y}=0.03roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = 0.03 and (d) Δy=0.05subscriptΔ𝑦0.05\Delta_{y}=0.05roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = 0.05. We can find that the extrapolation for Dxsubscript𝐷𝑥D_{x}italic_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT is robust, whereas it is not reliable for Dysubscript𝐷𝑦D_{y}italic_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT.