Thermal bosons in 3d optical lattices via tensor networks

Abstract

Ultracold atoms in optical lattices are one of the most promising experimental setups to simulate strongly correlated systems. However, efficient numerical algorithms able to benchmark experiments at low-temperatures in interesting 3d lattices are lacking. To this aim, here we introduce an efficient tensor network algorithm to accurately simulate thermal states of local Hamiltonians in any infinite lattice, and in any dimension. We apply the method to simulate thermal bosons in optical lattices. In particular, we study the physics of the (soft-core and hard-core) Bose–Hubbard model on the infinite pyrochlore and cubic lattices with unprecedented accuracy. Our technique is therefore an ideal tool to benchmark realistic and interesting optical-lattice experiments.

Introduction

Recent progress in the theory and experiments of ultracold atoms1,2 has made them one of the preferred frameworks to implement quantum simulations of strongly correlated systems (SCS)3,4, such as quantum magnets5,6 and High-Tc superconductors7,8,9,10. Moreover, the observation of many fascinating phenomena such as Bose–Einstein condensation (BEC)11,12,13,14, superfluid-Mott insulator transition4,15,16,17,18 and BEC–BSC (Bardeen–Cooper–Schrieffer) crossover19,20,21,22,23,24,25,26,27 are nowadays possible thanks to on-going experimental efforts. State-of-the-art optical lattices allow to accurately simulate a variety of Hubbard models at low temperatures (nanoKelvin regime) as well as complex bosonic4 and spin quantum many-body systems28,29,30,31.

In parallel to experiments, advances in numerical methods have also allowed a better understanding of quantum matter. Techniques such as quantum Monte Carlo (QMC)32,33,34,35 and tensor network (TN) methods36,37,38,39,40,41 have played a major role in this respect, not only by allowing to benchmark experiments, but also by motivating new lines of research. In particular, QMC has been so far the main benchmark algorithm for validating ultracold atom experiments at finite-temperature42,43,44,45,46,47,48. Besides, TN algorithms such as Density Matrix Renormalization Group (DMRG)49,50 and those based on Projected Entangled-Pair States (PEPS)36,37,41,51 have been remarkably successful in studying SCS both at zero-52,53,54,55,56,57,58,59,60,61 and finite-temperature62,63,64,65,66,67,68,69,70,71, in 1d and 2d. In spite of its success, QMC is plagued with the sign-problem, which limits its application for fermionic and frustrated systems. Likewise, state-of-the-art TN methods are highly lattice-dependent, and mostly tailored to target low-temperature properties53,54,56,57,58, with advances for thermal states limited mostly to 1d and, only recently, also to 2d63,64,67. It is therefore essential to develop new numerical techniques able to overcome all these limitations, and which are sufficiently accurate in order to benchmark the complex experiments in state-of-the-art optical lattices.

Considering the above, here we introduce an accurate and highly-efficient TN method for the simulation in the thermodynamic limit of thermal properties of local Hamiltonians in any dimension and lattice geometry. We call this the thermal graph-based PEPS (TgPEPS) algorithm. To show how powerful our method is, we use it to efficiently simulate the physics of the 3d Bose–Hubbard (BH) model in the pyrochlore (see Fig. 1(a)) and cubic lattices, including the zero- and finite-temperature superfluid-Mott insulator transitions as well as the full phase diagrams and critical properties, with unprecedented accuracy.

The TgPEPS method

Traditionally, TN methods for zero-temperature properties target ground states of local Hamiltonians by, e.g., variational optimization41,72 and imaginary-time evolution (ITE)73,74,75. However, at finite-temperature we target the thermal density matrix (TDM) of Hamiltonian H, i.e., \(\rho =e^{-\beta H}\), \(\beta =1/T\) being the inverse temperature. To approximate this state, one typically evolves in imaginary-time for a time \(\beta /2\) both the bra and ket degrees of freedom starting from the infinite-temperature state, i.e., \(\rho = e^{-\beta H/2} \cdot {{\mathbb {I}}} \cdot e^{-\beta H/2}\)41,63,64,66,69. In TN language, the TDM of a system on a lattice with coordination number z can be described by a Projected Entangled-Pair Operator (PEPO)36. The typical tensor describing this PEPO is of the type \(T_{i,j,\alpha _1,\cdots ,\alpha _z}\), with \(i,j =1, \ldots , p\) and \(\alpha _k = 1, \ldots , D\), p being the dimension of the local Hilbert space and D the bond dimension of the bond indices, which in turn controls the amount of correlations (classical and quantum) that can be handled by the ansatz, see Fig. 1(b) for the example of the cubic lattice.

Figure 1
figure1

(Color online) (a) Pyrochlore lattice of corner-sharing tetrahedrons. (b) PEPO for the cubic lattice. In this tensor network diagram, shapes are tensors, lines are indices, and connected lines are contracted common indices. Red and blue indices at every tensor correspond to the local bra and ket degrees of freedom, respectively. (c) Action of the Suzuki–Trotter gate g on both ket and bra indices of two nearest-neighbouring sites, for the PEPO tensors of the cubic lattice. Small red tensors \(\lambda \) correspond to the matrices of singular values obtained from the simple update76. (d) Thermal expectation value of a local two-body operator O in the cubic lattice, with a mean-field approximation of the environment (see main text for more details).

Let us consider, without loss of generality, the case of a Hamiltonian with nearest-neighbour interactions, \(H=\sum _{\langle i,j \rangle } h_{ij}\). The TDM can be sliced into m ITE steps using the Suzuki-Trotter decomposition, i.e,

$$\begin{aligned} \rho \approx \left( \prod _{\langle i,j \rangle } e^{-\delta h_{ij}}\right) ^{m/2} \cdot {{\mathbb {I}}} \cdot \left( \prod _{\langle i,j \rangle } e^{-\delta h_{ij}}\right) ^{m/2}, \end{aligned}$$
(1)

where \(\delta \ll 1\) and \(m \cdot \delta =\beta \). The thermal density matrix of the system at inverse temperature \(\beta \) is then obtained after m successive applications of the gates \(g \equiv e^{-\delta h_{ij}/2}\) on the corresponding links of the lattice, as shown in Fig. 1(b,c) for the cubic lattice.

After applying a gate on the PEPO, the bond dimension of the index connecting the local sites grows from D to \(p^2D\). To truncate it back to its original size one can use a variety of methods, including the so-called “simple” update (SU)61,76,77, or the more involved “fast-full”78 and “full” updates (FFU, FU)52,55,57. These algorithms differ in the way the handle the correlations around the link to be truncated. While the SU handles these correlations by a mean-field-like approach and truncates the index directly with a Singular Value Decomposition (SVD), FFU and FU approximate the full effect of the environment via powerful techniques such as Tensor Renormalization Group (TRG)79,80 and Corner Transfer Matrix Renormalization Group (CTMRG)52,77,81,82,83. The price to pay, though, is that FFU and FU are computationally much more expensive than SU. Besides, application of the FU and FFU algorithms to lattices with higher dimensionality and connectivity is highly non-trivial. However, for thermal systems with a lot of connectivity (such as higher-dimensional systems), the mean-field-like approximation of the environment in the SU is actually good, in turn making the SU a quite accurate option in these situations. And this are good news, because the computational cost of the FFU and FU algorithms is really high for thermal high-dimensional systems.

The TgPEPS algorithm thus targets both the geometrical challenges and the efficient approximation of the environment, in turn providing a universal algorithm for thermal states applicable to any local Hamiltonian in any dimension. Geometrical aspects of the network are encoded in the so-called structure-matrix (SM), first proposed by the authors in Ref.61. Each column of the SM corresponds to one of the links of the lattice and contains all the details about the neighbouring tensors, their interconnecting indices, and their bond dimensions. Thanks to this one can fully automatize the TN update by looping over the columns of the SM in a very systematic way, without the burden of complications due to geometry (see Refs.61 for detailed discussions and examples of SM for different lattices, as well as the Appendix for more information).

Figure 2
figure2

(Color online) TN results for the soft-core (\(n=2\)) BH model on the 3d cubic lattice. (a) Superfluid density, \(\rho _s\), for \(t/U=0.01\) and \(T=0\). \(\rho _s\) is finite in the superfluid (SF) phase and vanishes in the Mott-insulating (MI) phase. The inset shows the second derivative of the ground-state energy per-site, \(\varepsilon _0\), revealing the 2nd-order nature of the SF-MI quantum phase transition at \(T=0\). (b) The \(\rho _s\) at the tip of the first Mott lobe at \(\mu /U=0.393\), and also at \(T=0\). The inset shows the Von-Neumann entropy for bipartition of the lattice on a link (obtained from singular values of \(\lambda \) bond environment matrices) signalling the transition at \((t/U)^c=0.0331\). (c) Energy per site \(\varepsilon \) as a function of T in the MI phase. Specific heat \(C_v\) is shown in the inset. (d) Energy per site \(\varepsilon \) as a function of T in the SF phase. Specific heat \(C_v\) is shown in the inset.

Moreover, TgPEPS makes explicit use of the SU which, as explained above, is well-suited for finite-temperature systems of high dimensionality. Extensions using the FFU and FU (on simple lattice structures) are of course possible, but we found that the SU already provides remarkable accuracy in the considered regimes. Our thermal SU algorithm is based on an iterative ITE algorithm that updates all links of the lattice in each iteration by incorporating the mean-field-like environment (see Appendix for details). Thanks to the SM, the algorithm can also be efficiently adapted to local Hamiltonians on any lattice geometry and dimension61. The algorithm can also be enhanced by using a local gauge-fixing of the tensors61,84,85.

After obtaining the PEPO approximation of the thermal state \(\rho \), expectation values of local operators \(\langle O \rangle _\beta = \mathrm{Tr}(\rho (\beta ) O)/Z(\beta )\) where \(Z(\beta )\) is the partition function of the system. The density operator \(\rho (\beta )\) is the product of two half density operators \(\rho (\beta /2)\), i.e,

$$\begin{aligned} \rho (\beta )=\rho (\beta /2)\rho (\beta /2)=\rho ^\dagger (\beta /2)\rho (\beta /2). \end{aligned}$$
(2)

Using the “Choi’s” isomorphism69,70, the density operator \(\rho (\beta /2)\) can be replaced by its vectorized form \(|\rho (\beta /2)\rangle \) in the product space of the ket and bra. In this vectorized representation, the partition function then becomes an inner product of \(|\rho (\beta /2)\rangle \) and its vector conjugate, namely

$$\begin{aligned} Z(\beta )=\mathrm{Tr}\rho (\beta )=\langle \rho (\beta /2)|\rho (\beta /2)\rangle , \end{aligned}$$
(3)

and the un-normalized expectation value of local operators reads

$$\begin{aligned} \langle O\rangle _\beta =\langle \rho (\beta /2)|O|\rho (\beta /2)\rangle . \end{aligned}$$
(4)

The tensor network representation of Eq. (4) for a two-body operator is demonstrated in Fig. 1(d) using the mean-field approximation to the environment which, as we argued before, works well in the considered regimes (notice also that, unlike at zero temperature, here we do not target variational approximations of ground-state energies). In the end, our approach allows us to push the simulation of thermal 3d models in any geometry to very large dimensions with a very cheap computational cost of \(O(p^2D^z)\).

Numerical results

Figure 3
figure3

(Color online) Contour-plot of the superfluid density \(\rho _s\) for the soft-core (\(n_{oc}=2\)) BH model on the cubic lattice at (a) \(T=0\), (b) \(T=0.05\), (c) \(T=0.1\) and (d) \(T=0.2\). The blue star in (a) locates the tip of the first Mott lobe. The data points vary from zero in the dark region (MI) to one in the light region (SF). Increasing T shrinks the SF regions.

To prove the validity of our approach, we apply the TgPEPS technique to the Bose–Hubbard (BH) model18 in 3d, for which we study the low-temperature phase diagram in the cubic and pyrochlore lattices, with maximum occupation number \(n_{oc} = 2\) (soft-core) and \(n_{oc} = 1\) (hard-core) respectively. The pyrochlore lattice is one of the most challenging structures from the point of view of TN simulations. Besides, the hard- and soft-core cases have different physical dimensions, i.e., \(p=2\) and \(p=3\), respectively resulting in different computational complexity. Our choice of these lattices and occupation numbers was to seriously challenge our algorithm and assess the stability and accuracy of the simulations for different physical systems and lattice geometries.

The generic Hamiltonian of the Bose–Hubbard model is given by

$$\begin{aligned} H=-t\sum _{\langle ij\rangle } (a^{\dagger }_i a_j+a^{\dagger }_j a_i)+\frac{U}{2}\sum _i n_i(n_i-1)-\mu \sum _i n_i,\nonumber \\ \end{aligned}$$
(5)

where \(a^{\dagger }\) (a) are the bosonic creation (annihilation) operators, \(n = a^{\dagger } a\) is the particle number operator, t is the hopping rate between nearest-neighbour sites, U is the on-site repulsive interaction, and \(\mu \) the chemical potential. At zero-temperature \(T=0\), in the extreme regime where \(t/U\ll 1 \) the repulsive interaction is very strong and only one particle per site is allowed, resulting in a Mott insulating (MI) phase. Complementarily, in the \(t/U\gg 1\) regime the bosons are highly delocalized, and the system is in a coherent superfluid (SF) phase. One therefore expects a quantum phase transition (QPT) between these two regimes.

Let us first consider the \(T=0\) properties for the soft-core (\(n_{oc}=2\)) BH model on the cubic lattice, which we can compute accurately using our technique from Ref.61. Figure 2(a) shows the \(T=0\) SF-MI transition at \(t/U=0.01\). This is captured by the superfluid order parameter \(\rho _s=|\langle a_i\rangle |^2\) which is nonzero in the SF phase and zero in the MI phase. The QPT takes place at \((\mu /U)^c\approx 1.119\). The discontinuity in the second derivative of the ground state energy per site (inset of Fig. 2(a)) confirms that this transition is second-order. We have further mapped out the full \(T=0\) phase diagram in the t/U-\(\mu /U\) plane up to \(n_{oc}=2\) in Fig. 3(a). The figure depicts the contour-plot of the superfluid density, which is zero in the two Mott lobes (dark regions).

Figure 4
figure4

(Color online) (a) Superfluid density \(\rho _s\), and particle density \(\rho _0\), for the 3d BH model on the cubic lattice for \(t/U=0.01\), \(T/t=0\) and \(T/t=0.07\). While the SF phase is characterized by non-zero \(\rho _s\), both MI and NG (which exists for \(T>0\)) phases have zero \(\rho _s\). However, the MI phase has integer \(\rho _0\) whereas NG phases (shaded grey regions) have non-integer \(\rho _0\). (b) \(\rho _s\) and (c) \(\rho _0\) for the hard-core (\(n_{oc} = 1\)) BH model on the pyrochlore lattice for \(t=1, U=0\). Both plots show how \(\rho _s\) and \(\rho _0\) evolve when increasing the temperature, eventually having a conventional gas phase at large T. The shaded grey regions are the NG phases emerging at \(T=1\) (we use T instead of T/t since \(t =1\) in this case).

It is already known that there exist two different types of transitions between the Mott insulator and superfluid regions of the Bose–Hubbard phase diagram. The trivial phase transition occurs when the MI-SF phase boundary is crossed at fixed t/U and a critical phase transition at fixed integer density when the phase boundary is crossed at fixed \(\mu /U\) such as the tip of the Mott lobes. While the former transition can be described by the physics of a weakly interacting Bose gas and trivial (mean-field) universality class, the latter transition which occurs at relatively large t/U is described by highly fluctuating delocalized bosons with emerging particle-hole symmetry and relativistic dispersion43,44,86 that belongs to the (d+1)-XY universality class18,43. Our accurate analysis shows that the tip of the first lobe (blue star in Fig. 3(a)) is located at \(\mu /U\approx 0.393\), in excellent agreement with previous studies43,44,86. We find that the QPT occurs at \((t/U)^c\approx 0.0331\), which is well detected by \(\rho _s\) as well as by the one-site Von-Neumann entanglement entropy shown in Fig. 2(b). On the 3d cubic lattice, the QPT at the tip of the lobe is in the four-dimensional XY universality class43,86 which for \(d>3\) is equivalent to mean-field universality class hence, is trivial.

Next, we study the thermal properties of the BH model. In experiments with ultracold gases in optical lattices, bosonic atoms are cooled down to the nanoKelvin regime by efficient techniques such as laser cooling87,88 and the desired quantum states are engineered by inducing quantum correlations between the atoms by microwave pulses. Increasing the temperature of the system destroys quantum correlations due to the extra kinetic energy imposed on the atoms by thermal fluctuations, and eventually the system will end up in a normal gas (NG) phase at large T42. A thermal phase transition (TPT) is therefore expected between the underlying quantum state and the NG phase, depending both on T as well as the couplings of the Hamiltonian.

We further use TgPEPS to provide a good insight into the stability of the Mott and superfluid phases at finite-T. For this, we first dive deeply into the MI and SF regions of the zero-T phase diagram computed previously, and then ramp up the temperature from zero up to large T. To this end, we fixed \(t/U=0.01\) and computed the TDM of the BH model in the cubic lattice for \(\mu /U=0.5\) and \(\mu /U=1.0\), which respectively correspond to the MI and SF phases. Figure 2(c,d) show the energy \(\varepsilon \) and specific heat \(C=\partial \varepsilon / \partial T\) of the BH model on the cubic lattice versus T in the MI and SF phases. The ideal MI phase only exist at \(T=0\). However, at very low-temperature some Mott-like features still persist in the system but with a small finite compressibility. The boundary between the MI and NG phases is therefore a thermal crossover not a thermal phase transition. Our analysis shows that the MI-NG crossover occurs at \(T'\approx 0.38\) as can be captured by the peak of the specific heat in Fig. 2(c). On the other hand, the superfluid phase can exist even at finite-temperature and. The SF-NG phase boundary is therefore a true thermal phase transition which for the example couplings of our choice is located at \(T_c\approx 0.87\) (see the peak of \(C_v\) in Fig. 2(d)). Our TN thermometry analysis thus, indicates that both MI and SF states are stable only at very low temperatures which evaporate to a normal gas for \(T/t\gtrapprox 1\).

Additionally, we have mapped the finite-T phase diagram of the model in the t/U-\(\mu /U\) plane. Figure 3(b–d) illustrate the superfluid density \(\rho _s\) for \(T=0.05, 0.1, 0.2\), revealing how the thermal fluctuations shrink the SF region. The distinction between the MI and NG phases (dark regions) is not visible in the \(\rho _s\) plot because \(\rho _s=0\) for both. However, one can distinguish them by observing the particle density \(\rho _0=\langle a^{\dagger }_i a_i\rangle \), which is shown in Fig. 4(a): it holds integer values in the MI phase, and non-integer values in the NG phase.

Finally, we used TgPEPS to study the hard-core BH model on the pyrochlore lattice at finite temperature. This lattice is well-known for being responsible for interesting effects in frustrated quantum magnets and Kitaev materials. Figure 4(b,c) shows the superfluid density and the particle density of this model for various temperatures. The phase boundaries between SF and NG and between MI and NG can clearly be identified from the curves in both plots.

Let us note that in principle there is no limit on the choice of occupation number, \(n_{oc}\), in our TN simulation of the BH model. However, one should note that by increasing the \(n_{oc}\), the computational cost of the simulation is increased as well. Lets us further stress that there is no soft-core cut-off \(n_{oc}\) in our algorithms for simulating the physics of each lobe and simply by fixing the proper physical dimension to \(p=n_{oc}+1\) (including the unoccupied sites) for each lobe, one obtains the correct physics for all lobs with occupation \(n\le n_{oc}\).

Conclusions and outlook

In this paper we introduced TgPEPS, an efficient TN algorithm for finite-temperature simulation of strongly correlated systems in the thermodynamic limit for any lattice and in any spatial dimension. The method follows the ideas that we introduced in Ref.61, extending them to the finite-temperature case, and allowing for very efficient and accurate simulations of thermal systems with large connectivity. We benchmarked the method by computing the zero- and finite-temperature of the 3d Bose–Hubbard model in the pyrochlore and cubic lattices, with unprecedented accuracy. We believe that the TgPEPS algorithm can serve an essential tool for both benchmarking experiments with ultracold atoms in optical lattices with complex geometric structures. While the TgPEPS algorithm presented in this study has been developed for infinite systems, the optical lattice experiments are performed on finite lattice. On should therefore, be careful when benchmarking finite-lattice experiments. Nevertheless, the TgPEPS algorithm can be adopted to finite systems with minor modifications.

Let us further point out that while the method has been proven to be very successful for simulating local lattice Hamiltonians, some of the longer-range correlations which go beyond the nearest-neighbours may not be fully captured due to the simple mean-field-like environments that have been used for calculating the expectation values and correlators. Besides, after a detailed investigation of the TgPEPS algorithms for simulating some highly entangled systems such as the Kitaev spin liquids, we found out that the algorithms have difficulties in convergence at very low-temperature regime below \(T<10^{-3}\) due to the proximity of thermal states to the \(T=0\) ground state89,90.

Last but not least, for the lattice geometries that can be adopted to renormalization techniques, such as TRG and CTMRG, the thermal states obtained from TgPEPS method can be used to approximate the full environment from which one can calculate variational energies and expectation values. One can therefore increase the accuracy of the simulations by capturing longer-range correlations in the system. Finally, let us point out that the TgPEPS algorithm can also be applied to simulate fermionic atoms on optical lattices91, which we will address in the future extensions of this work. All in all, we think that our method will become a very helpful tool in the discovery of new exotic phases of quantum matter.

References

  1. 1.

    Bloch, I. Quantum gases. Science 319, 1202–1203. https://doi.org/10.1126/science.1152501 (2008).

    ADS  CAS  Article  PubMed  Google Scholar 

  2. 2.

    Lewenstein, M. et al. Ultracold atomic gases in optical lattices: Mimicking condensed matter physics and beyond. Adv. Phys. 56, 243–379. https://doi.org/10.1080/00018730701223200, arXiv:0606771 (2007).

    ADS  Article  Google Scholar 

  3. 3.

    Bloch, I., Dalibard, J. & Zwerger, W. Many-body physics with ultracold gases. Rev. Modern Phys. 80, 885–964. https://doi.org/10.1103/RevModPhys.80.885 (2008).

    ADS  CAS  Article  Google Scholar 

  4. 4.

    Jaksch, D. & Zoller, P. The cold atom Hubbard toolbox. Ann. Phys. 315, 52–79. https://doi.org/10.1016/j.aop.2004.09.010, arXiv:0410614 (2005).

    ADS  CAS  Article  MATH  Google Scholar 

  5. 5.

    Alet, F., Walczak, A. M. & Fisher, M. P. Exotic quantum phases and phase transitions in correlated matter. Physica A: Stat. Mech. Appl. 369, 122–142. https://doi.org/10.1016/j.physa.2006.04.003, arXiv:0511516 (2006) .

    ADS  Article  Google Scholar 

  6. 6.

    Lacroix, C., Mendels, P. & Mila, F. Introduction to Frustrated Magnetism Materials, Experiments, Theory (Springer, Berlin, 2013).

    Google Scholar 

  7. 7.

    Köhl, M., Moritz, H., Stöferle, T., Günter, K. & Esslinger, T. Fermionic atoms in a three dimensional optical lattice: Observing Fermi surfaces, dynamics, and interactions. Phys. Rev. Lett. 94, 080403. https://doi.org/10.1103/PhysRevLett.94.080403 (2005).

    ADS  CAS  Article  PubMed  Google Scholar 

  8. 8.

    Ospelkaus, S. et al. Localization of bosonic atoms by fermionic impurities in a three-dimensional optical lattice. Phys. Rev. Lett. 96, 180403. https://doi.org/10.1103/PhysRevLett.96.180403 (2006).

    ADS  CAS  Article  PubMed  Google Scholar 

  9. 9.

    Günter, K., Stöferle, T., Moritz, H., Köhl, M. & Esslinger, T. Bose–Fermi mixtures in a three-dimensional optical lattice. Phys. Rev. Lett. 96, 180402. https://doi.org/10.1103/PhysRevLett.96.180402 (2006).

    ADS  CAS  Article  PubMed  Google Scholar 

  10. 10.

    Stöferle, T., Moritz, H., Günter, K., Köhl, M. & Esslinger, T. Molecules of fermionic atoms in an optical lattice. Phys. Rev. Lett. 96, 030401. https://doi.org/10.1103/PhysRevLett.96.030401 (2006).

    ADS  CAS  Article  PubMed  Google Scholar 

  11. 11.

    Anderson, M. H., Ensher, J. R., Matthews, M. R., Wieman, C. E. & Cornell, E. A. Observation of Bose–Einstein condensation in a dilute atomic vapor. Science 269, 198–201. https://doi.org/10.1126/science.269.5221.198 (1995).

    ADS  CAS  Article  PubMed  Google Scholar 

  12. 12.

    Davis, K. B. et al. Bose–Einstein condensation in a gas of sodium atoms. Phys. Rev. Lett. 75, 3969–3973. https://doi.org/10.1103/PhysRevLett.75.3969 (1995).

    ADS  CAS  Article  PubMed  Google Scholar 

  13. 13.

    Cornell, E. A. & Wieman, C. E. Nobel lecture: Bose–Einstein condensation in a dilute gas, the first 70 years and some recent experiments. Rev. Mod. Phys. 74, 875–893. https://doi.org/10.1103/RevModPhys.74.875 (2002).

    ADS  CAS  Article  Google Scholar 

  14. 14.

    Ketterle, W. Nobel lecture: When atoms behave as waves: Bose–Einstein condensation and the atom laser Rev. Mod. Phys. 74, 1131. https://doi.org/10.1103/RevModPhys.74.1131 (2002).

    ADS  CAS  Article  Google Scholar 

  15. 15.

    Jaksch, D., Briegel, H. J., Cirac, J. I., Gardiner, C. W. & Zoller, P. Entanglement of atoms via cold controlled collisions. Phys. Rev. Lett. 82, 1975–1978. https://doi.org/10.1103/PhysRevLett.82.1975, arXiv:9810087 (1999).

    ADS  CAS  Article  Google Scholar 

  16. 16.

    Greiner, M., Mandel, O., Esslinger, T., Hänsch, T. W. & Bloch, I. Quantum phase transition from a superfluid to a Mott insulator in a gas of ultracold atoms. Nature 415, 39–44. https://doi.org/10.1038/415039a (2002).

    ADS  CAS  Article  PubMed  Google Scholar 

  17. 17.

    Bloch, I. Quantum gases in optical lattices. Phys. World 17, 25 (2004).

    ADS  CAS  Article  Google Scholar 

  18. 18.

    Fisher, M. P., Weichman, P. B., Grinstein, G. & Fisher, D. S. Boson localization and the superfluid-insulator transition. Phys. Rev. B 40, 546–570. https://doi.org/10.1103/PhysRevB.40.546 (1989).

    ADS  CAS  Article  Google Scholar 

  19. 19.

    Regal, C. A., Greiner, M. & Jin, D. S. Observation of resonance condensation of fermionic atom pairs. Phys. Rev. Lett. 92, 4. https://doi.org/10.1103/PhysRevLett.92.040403, arXiv:0401554 (2004).

    CAS  Article  Google Scholar 

  20. 20.

    Bartenstein, M. et al. Collective excitations of a degenerate gas at the BEC–BCS crossover. Phys. Rev. Lett. 92, 203201. https://doi.org/10.1103/PhysRevLett.92.203201, arXiv:0403716 (2004).

    ADS  CAS  Article  PubMed  Google Scholar 

  21. 21.

    Chin, C. et al. Observation of the pairing gap in a strongly interacting Fermi gas. Science 305, 1128–1130. https://doi.org/10.1126/science.1100818, arXiv:0405632 (2004).

    ADS  CAS  Article  PubMed  Google Scholar 

  22. 22.

    Zwierlein, M. W. et al. Condensation of pairs of fermionic atoms near a Feshbach resonance. Phys. Rev. Lett. 92, 120403. https://doi.org/10.1103/PhysRevLett.92.120403 (2004).

    ADS  CAS  Article  PubMed  Google Scholar 

  23. 23.

    Kinast, J., Hemmer, S. L., Gehm, M. E., Turlapov, A. & Thomas, J. E. Evidence for superfluidity in a resonantly interacting Fermi gas. Phys. Rev. Lett. 92, 150402. https://doi.org/10.1103/PhysRevLett.92.150402 (2004).

    ADS  CAS  Article  PubMed  Google Scholar 

  24. 24.

    Bourdel, T. et al. Experimental study of the BEC–BCS crossover region in lithium 6. Phys. Rev. Lett. 93, 050401. https://doi.org/10.1103/PhysRevLett.93.050401, arXiv:0403091 (2004).

    ADS  CAS  Article  PubMed  Google Scholar 

  25. 25.

    Zwierlein, M. W., Abo-Shaeer, J. R., Schirotzek, A., Schunck, C. H. & Ketterle, W. Vortices and superfluidity in a strongly interacting Fermi gas. Nature 435, 1047–1051. https://doi.org/10.1038/nature03858 (2005).

    ADS  CAS  Article  PubMed  Google Scholar 

  26. 26.

    Zwierlein, M. W., Schirotzek, A., Schunck, C. H. & Ketterle, W. Fermionic superfluidity with imbalanced spin populations. Science 311, 492–496. https://doi.org/10.1126/science.1122318 (2006).

    ADS  CAS  Article  PubMed  Google Scholar 

  27. 27.

    Partridge, G. B., Li, W., Kamar, R. I., Liao, Y. A. & Hulet, R. G. Pairing and phase separation in a polarized fermi gas. Science 311, 503–505. https://doi.org/10.1126/science.1122876 (2006).

    ADS  CAS  Article  PubMed  Google Scholar 

  28. 28.

    García-Ripoll, J. J., Martin-Delgado, M. A. & Cirac, J. I. Implementation of spin Hamiltonians in optical lattices. Phys. Rev. Lett. 93, 250405. https://doi.org/10.1103/PhysRevLett.93.250405 (2004).

    ADS  CAS  Article  PubMed  Google Scholar 

  29. 29.

    Santos, L. et al. Atomic quantum gases in kagomé lattices. Phys. Rev. Lett. 93, 030601–1. https://doi.org/10.1103/PhysRevLett.93.030601, arXiv:0401502 (2004).

    ADS  CAS  Article  PubMed  Google Scholar 

  30. 30.

    Duan, L. M., Demler, E. & Lukin, M. D. Controlling spin exchange interactions of ultracold atoms in optical lattices. Phys. Rev. Lett. 91, 090402. https://doi.org/10.1103/PhysRevLett.91.090402, arXiv:0210564 (2003).

    ADS  CAS  Article  PubMed  Google Scholar 

  31. 31.

    Dorner, U., Fedichev, P., Jaksch, D., Lewenstein, M. & Zoller, P. Entangling strings of neutral atoms in 1D atomic pipeline structures. Phys. Rev. Lett. 91, 073601. https://doi.org/10.1103/PhysRevLett.91.073601 (2003).

    ADS  CAS  Article  PubMed  Google Scholar 

  32. 32.

    Sandvik, A. W. Computational studies of quantum spin systems. In AIP Conference Proceedings 1297, 135–338. (American Institute of Physics 2010). https://doi.org/10.1063/1.3518900, arXiv:1101.3281.

  33. 33.

    Sandvik, A. W. & Kurkijärvi, J. Quantum Monte Carlo simulation method for spin systems. Phys. Rev. B 43, 5950–5961. https://doi.org/10.1103/PhysRevB.43.5950 (1991).

    ADS  CAS  Article  Google Scholar 

  34. 34.

    Sandvik, A. W. Stochastic series expansion method for quantum Ising models with arbitrary interactions. Phys. Rev. E Stat. Phys. Plasmas Fluids Relat. Interdiscip. Topics 68, 056701. https://doi.org/10.1103/PhysRevE.68.056701, arXiv:0303597 (2003).

    CAS  Article  Google Scholar 

  35. 35.

    Capponi, S., Jahromi, S. S., Alet, F. & Schmidt, K. P. Baxter–Wu model in a transverse magnetic field. Phys. Rev. E Stat. Nonlinear Soft Matter Phys. 89, 062136. https://doi.org/10.1103/PhysRevE.89.062136, arXiv:1403.1406 (2014).

    CAS  Article  Google Scholar 

  36. 36.

    Orús, R. A practical introduction to tensor networks: Matrix product states and projected entangled pair states. Ann. Phys. 349, 117–158. https://doi.org/10.1016/j.aop.2014.06.013, arXiv:1306.2164 (2014).

    ADS  MathSciNet  CAS  Article  MATH  Google Scholar 

  37. 37.

    Orús, R. Advances on tensor network theory: symmetries, fermions, entanglement, and holography. Eur. Phys. J. B 87, 280. https://doi.org/10.1140/epjb/e2014-50502-9, arXiv:1407.6552 (2014).

    ADS  CAS  Article  Google Scholar 

  38. 38.

    Orús, R. Tensor networks for complex quantum systems. Nat. Rev. Phys. 1, 538–550. https://doi.org/10.1038/s42254-019-0086-7 (2019).

    Article  Google Scholar 

  39. 39.

    Ran, S.-J. et al. Review of tensor network contraction approaches. https://doi.org/10.1016/j.hrmr.2011.11.009, arXiv:1708.09213 (2017).

  40. 40.

    Biamonte, J. & Bergholm, V. Tensor networks in a Nutshell. Quant. Phys. 1708, 00006 (2017).

    Google Scholar 

  41. 41.

    Verstraete, F., Murg, V. & Cirac, J. I. Matrix product states, projected entangled pair states, and variational renormalization group methods for quantum spin systems. Adv. Phys. 57, 143–224. https://doi.org/10.1080/14789940801912366, arXiv:0907.2796 (2008).

    ADS  Article  Google Scholar 

  42. 42.

    Mahmud, K. W. et al. Finite-temperature study of bosons in a two-dimensional optical lattice. Phys. Rev. B Condens. Matter Mater. Phys. 84, 054302. https://doi.org/10.1103/PhysRevB.84.054302, arXiv:1101.5726, (2011).

    ADS  CAS  Article  Google Scholar 

  43. 43.

    Capogrosso-Sansone, B., Prokof’ev, N. V. & Svistunov, B. V. Phase diagram and thermodynamics of the three-dimensional Bose–Hubbard model. Phys. Rev. B Condens. Matter Mater. Phys. 75, 134302. https://doi.org/10.1103/PhysRevB.75.134302, arXiv:0701178 (2007).

  44. 44.

    Capogrosso-Sansone, B., Soyler, S. G., Prokof’Ev, N. & Svistunov, B. Monte Carlo study of the two-dimensional Bose–Hubbard model. Phys. Rev. A Atom. Mol. Opt. Phys. 77, 015602. https://doi.org/10.1103/PhysRevA.77.015602, arXiv:0710.2703 (2008).

  45. 45.

    Fang, S., Chung, C. M., Ma, P. N., Chen, P. & Wang, D. W. Quantum criticality from in situ density imaging. Phys. Rev. A Atom. Mol. Opt. Phys. 83, 031605. https://doi.org/10.1103/PhysRevA.83.031605 (2011).

    ADS  CAS  Article  Google Scholar 

  46. 46.

    Zhou, Q., Kato, Y., Kawashima, N. & Trivedi, N. Direct mapping of the finite temperature phase diagram of strongly correlated quantum models. Phys. Rev. Lett. 103, 085701. https://doi.org/10.1103/PhysRevLett.103.085701 (2009).

    ADS  CAS  Article  PubMed  Google Scholar 

  47. 47.

    Freericks, J. & Monien, H. Strong-coupling expansions for the pure and disordered Bose–Hubbard model. Phys. Rev. B Condens. Matter Mater. Phys. 53, 2691–2700. https://doi.org/10.1103/PhysRevB.53.2691 (1996).

    ADS  CAS  Article  Google Scholar 

  48. 48.

    Rigol, M., Batrouni, G. G., Rousseau, V. G. & Scalettar, R. T. State diagrams for harmonically trapped bosons in optical lattices. Phys. Rev. A Atom. Mol. Opt. Phys. 79, 053605. https://doi.org/10.1103/PhysRevA.79.053605, arXiv:0811.2219 (2009).

    ADS  CAS  Article  Google Scholar 

  49. 49.

    White, S. R. Density-matrix algorithms for quantum renormalization groups. Phys. Rev. B 48, 10345–10356. https://doi.org/10.1103/PhysRevB.48.10345 (1993).

    ADS  CAS  Article  Google Scholar 

  50. 50.

    White, S. R. & Feiguin, A. E. Real-time evolution using the density matrix renormalization group. Phys. Rev. Lett. 93, 076401. https://doi.org/10.1103/PhysRevLett.93.076401, arXiv:0403310 (2004).

    ADS  CAS  Article  PubMed  Google Scholar 

  51. 51.

    Verstraete, F., Wolf, M. M., Perez-Garcia, D. & Cirac, J. I. Criticality, the area law, and the computational power of projected entangled pair states. Phys. Rev. Lett. 96, 220601. https://doi.org/10.1103/PhysRevLett.96.220601, arXiv:0601075 (2006).

    ADS  MathSciNet  CAS  Article  MATH  PubMed  Google Scholar 

  52. 52.

    Corboz, P., Rice, T. M. & Troyer, M. Competing states in the t-J model: Uniform d-wave state versus stripe state. Phys. Rev. Lett. 113, 046402. https://doi.org/10.1103/PhysRevLett.113.046402, arXiv:1402.2859 (2014).

    ADS  CAS  Article  PubMed  Google Scholar 

  53. 53.

    Corboz, P., Penc, K., Mila, F. & Läuchli, A. M. Simplex solids in SU(N) Heisenberg models on the Kagome and Checkerboard lattices. Phys. Rev. B Condens. Matter Mater. Phys. 86, 041106. https://doi.org/10.1103/PhysRevB.86.041106, arXiv:1204.6682 (2012).

    ADS  CAS  Article  Google Scholar 

  54. 54.

    Corboz, P. & Mila, F. Tensor network study of the Shastry–Sutherland model in zero magnetic field. Phys. Rev. B Condens. Matter Mater. Phys. 87, 115144. https://doi.org/10.1103/PhysRevB.87.115144, arXiv:1212.2983 (2013).

    ADS  CAS  Article  Google Scholar 

  55. 55.

    Corboz, P. & Mila, F. Crystals of bound states in the magnetization plateaus of the Shastry–Sutherland model. Phys. Rev. Lett. 112, 147203. https://doi.org/10.1103/PhysRevLett.112.147203, arXiv:1401.3778v1 (2014).

    ADS  CAS  Article  PubMed  Google Scholar 

  56. 56.

    Jahromi, S. S., Orús, R., Kargarian, M. & Langari, A. Infinite projected entangled-pair state algorithm for ruby and triangle-honeycomb lattices. Phys. Rev. B 97, 115161. https://doi.org/10.1103/PhysRevB.97.115161 (2018).

    ADS  CAS  Article  Google Scholar 

  57. 57.

    Jahromi, S. S. & Orús, R. Spin-1/2 Heisenberg antiferromagnet on the star lattice: Competing valence-bond-solid phases studied by means of tensor networks. Phys. Rev. B 98, 155108. https://doi.org/10.1103/PhysRevB.98.155108 (2018).

    ADS  CAS  Article  Google Scholar 

  58. 58.

    Schmoll, P., Jahromi, S. S., Hörmann, M., Schmidt, K. P. & Orús, R. Fine-grained tensor network. Methods 1911, 04882 (2019).

    Google Scholar 

  59. 59.

    Sadrzadeh, M., Haghshenas, R., Jahromi, S. S. & Langari, A. Emergence of string-valence bond solid state in the frustrated \(J_1-J_2\) transverse field Ising model on the square lattice. Phys. Rev. B 94, 214419. https://doi.org/10.1103/PhysRevB.94.214419 (2016).

    ADS  Article  Google Scholar 

  60. 60.

    Jahromi, S. S. & Orús, R. Topological Z 2 resonating-valence-bond quantum spin liquid on the ruby lattice. Phys. Rev. B 101, 115114. https://doi.org/10.1103/physrevb.101.115114 (2020).

    ADS  CAS  Article  Google Scholar 

  61. 61.

    Jahromi, S. S. & Orús, R. Universal tensor-network algorithm for any infinite lattice. Phys. Rev. B 99, 195105. https://doi.org/10.1103/PhysRevB.99.195105 (2019).

    ADS  CAS  Article  Google Scholar 

  62. 62.

    Wietek, A. et al. Thermodynamic properties of the Shastry–Sutherland model throughout the dimer-product phase. Phys. Rev. Res. 1, 033038. https://doi.org/10.1103/physrevresearch.1.033038, arXiv:1907.00008 (2019).

    CAS  Article  Google Scholar 

  63. 63.

    Kshetrimayum, A., Rizzi, M., Eisert, J. & Orús, R. Tensor network annealing algorithm for two-dimensional thermal states. Phys. Rev. Lett. 122, https://doi.org/10.1103/PhysRevLett.122.070502, arXiv:1809.08258 (2019).

  64. 64.

    Qu, D. W., Li, W. & Xiang, T. Thermal tensor network simulations of the Heisenberg model on the Bethe lattice. Phys. Rev. B 100, 125121. https://doi.org/10.1103/PhysRevB.100.125121, arXiv:1905.12478 (2019).

    ADS  CAS  Article  Google Scholar 

  65. 65.

    Ran, S. J., Xi, B., Peng, C., Su, G. & Lewenstein, M. Efficient quantum simulation for thermodynamics of infinite-size many-body systems in arbitrary dimensions. Phys. Rev. B 99, 205132. https://doi.org/10.1103/PhysRevB.99.205132, arXiv:1810.01612 (2019).

    ADS  CAS  Article  Google Scholar 

  66. 66.

    Czarnik, P., Cincio, L. & Dziarmaga, J. Projected entangled pair states at finite temperature: Imaginary time evolution with Ancillas. Phys. Rev. B Condens. Matter Mater. Phys. 86, 245101. https://doi.org/10.1103/PhysRevB.86.245101 (2012).

    ADS  CAS  Article  Google Scholar 

  67. 67.

    Czarnik, P. & Dziarmaga, J. Variational approach to projected entangled pair states at finite temperature. Phys. Rev. B Condens. Matter Mater. Phys. 92, 035152. https://doi.org/10.1103/PhysRevB.92.035152 (2015).

    ADS  CAS  Article  Google Scholar 

  68. 68.

    Czarnik, P. & Dziarmaga, J. Projected entangled pair states at finite temperature: Iterative self-consistent bond renormalization for exact imaginary time evolution. Phys. Rev. B Condens. Matter Mater. Phys. 92, 035120. https://doi.org/10.1103/PhysRevB.92.035120, arXiv:1411.6778 (2015).

    ADS  CAS  Article  Google Scholar 

  69. 69.

    Zwolak, M. & Vidal, G. Mixed-state dynamics in one-dimensional quantum lattice systems: A time-dependent superoperator renormalization algorithm. Phys. Rev. Lett. 93, 207205. https://doi.org/10.1103/PhysRevLett.93.207205, arXiv:0406440 (2004).

    ADS  CAS  Article  PubMed  Google Scholar 

  70. 70.

    Kshetrimayum, A., Weimer, H. & Orús, R. A simple tensor network algorithm for two-dimensional steady states. Nat. Commun. 8, 1–7. https://doi.org/10.1038/s41467-017-01511-6, arXiv:1612.00656 (2017).

    CAS  Article  Google Scholar 

  71. 71.

    Verstraete, F., García-Ripoll, J. J. & Cirac, J. I. Matrix product density operators: Simulation of finite-temperature and dissipative systems. Phys. Rev. Lett. 93, 207204. https://doi.org/10.1103/PhysRevLett.93.207204 (2004).

    ADS  CAS  Article  PubMed  Google Scholar 

  72. 72.

    Corboz, P. Variational optimization with infinite projected entangled-pair states. Phys. Rev. B 94, 035133. https://doi.org/10.1103/PhysRevB.94.035133, arXiv:1605.03006 (2016).

    ADS  CAS  Article  Google Scholar 

  73. 73.

    Vidal, G. Efficient simulation of one-dimensional quantum many-body systems. Phys. Rev. Lett. 93, 040502–1. https://doi.org/10.1103/PhysRevLett.93.040502, arXiv:0310089 (2004).

    CAS  Article  Google Scholar 

  74. 74.

    Orús, R. & Vidal, G. Infinite time-evolving block decimation algorithm beyond unitary evolution. Phys. Rev. B Condens. Matter Mater. Phys. 78, 155117. https://doi.org/10.1103/PhysRevB.78.155117, arXiv:0711.3960 (2008).

    ADS  CAS  Article  Google Scholar 

  75. 75.

    Jordan, J., Orús, R., Vidal, G., Verstraete, F. & Cirac, J. I. Classical simulation of infinite-size quantum lattice systems in two spatial dimensions. Phys. Rev. Lett. 101, 250602. https://doi.org/10.1103/PhysRevLett.101.250602, arXiv:0703788 (2008).

    ADS  CAS  Article  PubMed  Google Scholar 

  76. 76.

    Jiang, H. C., Weng, Z. Y. & Xiang, T. Accurate determination of tensor network state of quantum lattice models in two dimensions. Phys. Rev. Lett. 101, 090603. https://doi.org/10.1103/PhysRevLett.101.090603, arXiv:0806.3719 (2008).

    ADS  CAS  Article  PubMed  Google Scholar 

  77. 77.

    Corboz, P., Jordan, J. & Vidal, G. Simulation of fermionic lattice models in two dimensions with projected entangled-pair states: Next-nearest neighbor Hamiltonians. Phys. Rev. B Condens. Matter Mater. Phys. 82, 245119. https://doi.org/10.1103/PhysRevB.82.245119, arXiv:1008.3937 (2010).

    ADS  CAS  Article  Google Scholar 

  78. 78.

    Phien, H. N., Bengua, J. A., Tuan, H. D., Corboz, P. & Orús, R. Infinite projected entangled pair states algorithm improved: Fast full update and gauge fixing. Phys. Rev. B Condens. Matter Mater. Phys. 92, 035142. https://doi.org/10.1103/PhysRevB.92.035142, arXiv:1503.05345 (2015).

    ADS  CAS  Article  Google Scholar 

  79. 79.

    Levin, M. & Nave, C. P. Tensor renormalization group approach to two-dimensional classical lattice models. Phys. Rev. Lett. 99, 120601. https://doi.org/10.1103/PhysRevLett.99.120601, arXiv:0611687 (2007).

    ADS  CAS  Article  PubMed  PubMed Central  Google Scholar 

  80. 80.

    Gu, Z. C., Levin, M. & Wen, X. G. Tensor-entanglement renormalization group approach as a unified method for symmetry breaking and topological phase transitions. Phys. Rev. B Condens. Matter Mater. Phys. 78, 205116. https://doi.org/10.1103/PhysRevB.78.205116, arXiv:0807.2010 (2008).

    ADS  CAS  Article  Google Scholar 

  81. 81.

    Nishino, T. & Okunishi, K. Corner transfer matrix renormalization group method. J. Phys. Soc. Jpn. 65, 891–894. https://doi.org/10.1143/JPSJ.65.891, arXiv:9507087 (1996).

    ADS  CAS  Article  MATH  Google Scholar 

  82. 82.

    Orús, R. & Vidal, G. Simulation of two-dimensional quantum systems on an infinite lattice revisited: Corner transfer matrix for tensor contraction. Phys. Rev. B Condens. Matter Mater. Phys. 80, 094403. https://doi.org/10.1103/PhysRevB.80.094403, arXiv:0905.3225 (2009).

    ADS  CAS  Article  Google Scholar 

  83. 83.

    Orús, R. Exploring corner transfer matrices and corner tensors for the classical simulation of quantum lattice systems. Phys. Rev. B Condens. Matter Mater. Phys. 85, 205117. https://doi.org/10.1103/PhysRevB.85.205117, arXiv:1112.4101 (2012).

    ADS  CAS  Article  Google Scholar 

  84. 84.

    Evenbly, G. Gauge fixing, canonical forms, and optimal truncations in tensor networks with closed loops. Phys. Rev. B 98, 085155. https://doi.org/10.1103/PhysRevB.98.085155, arXiv:1801.05390 (2018).

    ADS  CAS  Article  Google Scholar 

  85. 85.

    Ran, S. J., Li, W., Xi, B., Zhang, Z. & Su, G. Optimized decimation of tensor networks with super-orthogonalization for two-dimensional quantum lattice models. Phys. Rev. B- Condens. Matter Mater. Phys. 86, 134429. https://doi.org/10.1103/PhysRevB.86.134429 (2012).

    ADS  CAS  Article  Google Scholar 

  86. 86.

    Sanders, S. & Holthaus, M. Quantum critical properties of Bose–Hubbard models. J. Phys. A: Math. Theor. 52, 255001. https://doi.org/10.1088/1751-8121/AB2153 (2019).

    ADS  MathSciNet  CAS  Article  Google Scholar 

  87. 87.

    Metcalf, H. J. & van der Straten, P. Laser cooling and trapping of neutral atoms. Digit. Encyclop. Appl. Phys. (Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim (2004). https://doi.org/10.1002/3527600434.eap031.pub2

  88. 88.

    Phillips, W. D. Nobel lecture: Laser cooling and trapping of neutral atoms. Rev. Modern Phys. 70, 721–741 (1998).

    ADS  CAS  Article  Google Scholar 

  89. 89.

    Czarnik, P., Francuz, A. & Dziarmaga, J. Tensor network simulation of the Kitaev–Heisenberg model at finite temperature. Phys. Rev. B 100, 165147. https://doi.org/10.1103/PhysRevB.100.165147 (2019).

    ADS  CAS  Article  Google Scholar 

  90. 90.

    Saeed S. Jahromi, H. Y. & Orus, R. 3D Kitaev spin liquids via tensor network: ground state and thermodynamic properties (in preparation) .

  91. 91.

    Corboz, P., Orús, R., Bauer, B. & Vidal, G. Simulation of strongly correlated fermions in two spatial dimensions with fermionic projected entangled-pair states. Phys. Rev. B Condens. Matter Mater. Phys. 81, 165104. https://doi.org/10.1103/PhysRevB.81.165104, arXiv:0912.0646 (2010).

    ADS  CAS  Article  Google Scholar 

Download references

Acknowledgements

CPU time from ATLAS HPC cluster at DIPC is acknowledged.

Author information

Affiliations

Authors

Contributions

S.J. and R.O. devised the simulations, prepared the figures, wrote the text and reviewed the manuscript.

Corresponding author

Correspondence to Román Orús.

Ethics declarations

Competing interests

The authors declare no competing interests.

Additional information

Publisher's note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Appendix

Appendix

Structure-matrix for the cubic and pyrochlore lattices

The structure-matrix (SM) codifies the connectivity information of the tensor network (TN) corresponding to a given lattice geometry. More specifically, the connectivity information of two neighbouring tensors along their shared edges are stored in the columns of the SM. The explicit SMs that we used in our calculations for TN simulation of the cubic (see Fig. 5) and pyrochlore lattices (see Fig. 6) are provided in Table 1 and 2, respectively for translationally invariant unit-cells of 8-sites. For example, according to the second column of Table 1, the edge \(E_3\) connects the bond matrix \(\lambda _3\) and the dimensions 4 and 2 of tensors \(T_1\) and \(T_4\), respectively. Thanks to this information, the algorithm can automatically identify the links and tensors where two-body gates are applied, and implement a simple update. This is done by looping over the columns of the SM and systematically updating the iPEPS tensors along their corresponding edges, which can now be done automatically and regardless of the underlying lattice.

Figure 5
figure5

(Color online) The infinite 3d cubic lattice with an 8-site unit-cell. The numbers at vertices label the graph nodes in the unit-cell.

Last but not least, the non-zero elements of the SM at each row start from 2 which is due to the fact that the first two dimensions (0, 1) of the tensors \(T_i\) in our notation corresponds to the physical bonds of ket and bra, respectively, and play no role in the connectivity of the underlying TN.

Table 1 SM of a 3d cubic lattice with an 8-site unit-cell.
Figure 6
figure6

(Color online) (a) The infinite 3d pyrochlore lattice composed of up and down tetrahedrons. (b) The 8-site unit-cell of the pyrochlore lattice. The numbers represent the labelings of vertices (graph nodes) in the unit-cell.

Table 2 SM of a 3d pyrochlore lattice with an 8-site unit-cell.

The TgPEPS algorithm for any infinite lattice

Figure 7
figure7

(Color online) (a) Graphical representation of the SU optimization, used in the TgPEPS algorithm. In contrast to the gPEPS algorithm61 where the optimization is performed for ground state tensors with one physical leg, in the TgPEPS the optimization is performed over thermal PEPO tensors with two physical degrees of freedom. (b) One-site and (c) two-site expectation values, as computed with a mean-field environment, in the TgPEPS scheme. All these diagrams are for a 2d honeycomb lattice, but they can be straifgtforwardly generalized to any 3d structure, such as the ones considered in the main text.

The thermal density matrix of the system is evaluated by iteratively applying g on every shared link of the two neighbouring tensors \(T_i,T_j\) and updating the tensors along the corresponding links. In this scheme, the update changes only the tensors along the link where a given gate is acting. Therefore, one can update lower-rank sub-tensors related to them and substantially reduce the computational cost of the algorithm78, thus allowing to achieve larger bond dimension D.

Let us briefly revisit how the SU proceeds for the sub-tensors, in the context of TgPEPS. Given a tensor network and its corresponding structure matrix, the SU consists of the following iterative main steps:

  1. 1.

    Do for all edges \(E_k\), \(k\in [1,N_{Edge}]\) (columns of SM matrix)

    1. (a)

      Find tensors \(T_i,T_j\) and their corresponding dimensions connected along edge \(E_k\).

    2. (b)

      Absorb bond matrices \(\lambda _{m}\) to all virtual legs \(m\ne k\) of \(T_i,T_j\) tensors.

    3. (c)

      Group all virtual legs \(m\ne k\) to form \(P_l\), \(P_r\) PEPO tensors.

    4. (d)

      QR/LQ decompose \(P_l\), \(P_r\) to obtain \(Q_1\),R and L, \(Q_2\) sub-tensors, respectively78.

    5. (e)

      Contract the ITE gate \(U_{i,j}\), with R, L along the legs of both ket and bra together with \(\lambda _k\) to form \(\Theta \) tensor.

    6. (f)

      Obtain \(\tilde{R}\), \(\tilde{L}\), \(\tilde{\lambda }_k\) tensors by applying an SVD to \(\Theta \) and truncating the tensors by keeping the D largest singular values.

    7. (g)

      Glue back the \(\tilde{R}\), \(\tilde{L}\), sub-tensors to \(Q_1\), \(Q_2\), respectively, to form updated PEPO tensors \(P'_l\), \(P'_r\).

    8. (h)

      Reshape back the \(P'_l\), \(P'_r\) to the original rank-\((z+2)\) tensors \(T'_i,T'_j\).

    9. (i)

      Remove bond matrices \(\lambda _{m}\) from virtual legs \(m\ne k\) to obtain the updated PEPO tensors \(\tilde{T}_i\) and \(\tilde{T}_j\).

Figure 7-(a) shows all these steps graphically for the case of a 2d honeycomb lattice (the generalization to 3d is straightforward). By repeating the above ITE iterations m/2 times where \(m.\delta =\beta \), the system will cool down to the desired temperature \(T=1/\beta \). Once the TDM of the system at desired T is obtained, we can calculate the expectation values of local operators as shown graphically for one- and two-body operators in Fig. 7(b,c).

In order to have an efficient and universal algorithm applicable to any infinite lattice, the following remarks are in order: (i) In steps (b), (c), (g) and (h) one can locate the lambda matrices corresponding to each leg of a tensor from rows of the SM. One can therefore design clever functions for absorbing (removing) \(\lambda \) matrices to (from) each tensor legs as well as for grouping (un-grouping) the non-updating tensor legs by using the information stored in each row of the SM. (ii) In our SU optimization, we perform the ITE iteration for \(\delta =10^{-3}\). (ii) Furthermore, one can increase the stability of the SU algorithm by applying the gauge-fixing61.

Let us further note that the computational cost of the SU scales as \(O(p^2 D^z)\), and evidently depends on the coordination number of the underlying lattice. Henceforth, the maximum achievable bond dimension D is lattice dependent and is larger for structures with less coordination number, though structures with large z usually need low D because of entanglement monogamy.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Jahromi, S.S., Orús, R. Thermal bosons in 3d optical lattices via tensor networks. Sci Rep 10, 19051 (2020). https://doi.org/10.1038/s41598-020-75548-x

Download citation

Comments

By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.

Search

Nature Briefing

Sign up for the Nature Briefing newsletter — what matters in science, free to your inbox daily.

Get the most important science stories of the day, free in your inbox. Sign up for Nature Briefing