In 1953, Richard Feynman showed how superfluidity can be understood from the point of view of imaginary-time path integrals. In this picture, each atom becomes a cyclic polymer and the superfluid transition occurs when the atomic paths join up to make larger units which stretch a macroscopic distance. Boson statistics imply that all possible ways of connecting or "permuting" the "polymers" have equal weight. Feynman's path integrals are an exact isomorphism between quantum statistical mechanics of bosons and the classical statistical mechanics of these special "polymers". We have implemented Feynman's path integral method on a computer. Efficient methods, based on the Metropolis algorithm have been developed to move the paths quickly through path configuration space and permutation space. In addition, accurate approximations to the many-body off-diagonal density matrix involving pairs and triplets of atoms have been calculated.
In 1953, Richard Feynman showed how superfluidity can be understood from the point of view of imaginary-time path integrals. In this picture, each atom becomes a cyclic polymer and the superfluid transition occurs when the atomic paths join up to make larger units which stretch a macroscopic distance. Boson statistics imply that all possible ways of connecting or "permuting" the "polymers" have equal weight. Feynman's path integrals are an exact isomorphism between quantum statistical mechanics of bosons and the classical statistical mechanics of these special "polymers". We have implemented Feynman's path integral method on a computer. Efficient methods, based on the Metropolis algorithm have been developed to move the paths quickly through path configuration space and permutation space. In addition, accurate approximations to the many-body off-diagonal density matrix involving pairs and triplets of atoms have been calculated.
We review the path integral method wherein quantum systems are mapped with Feynman's path integrals onto a classical system of "ring-polymers" and then simulated with the Monte Carlo technique. Bose or Fermi statistics correspond to possible "cross-linking" of polymers. As proposed by Feynman, superfluidity and Bose condensation result from macroscopic exchange of bosons. To map fermions onto a positive probability distribution, one must restrict the paths to lie in regions where the fermion density matrix is positive. We discuss a recent application to the two-component electron-hole plasma. At low temperature excitons and bi-excitons form. We have used nodal surfaces incorporating paired fermions and see evidence of a Bose condensation in the energy, specific heat and superfluid density. In the restricted path integral picture, pairing appears as intertwined electron-hole paths. Bose condensation occurs when these intertwined paths wind around the periodic boundaries.
Using imaginary time, quantum statistical mechanics of a finite-temperature system in thermodynamical equilibrium turns into a problem of classical ring polymers made of particle paths. We need to consider all possible ring polymers at a given temperature, which again is where Monte Carlo methods are effective, especially using a so-called worm algorithm. We show how paths can be sampled using Monte Carlo, and how the physical properties, such as energy and radial distribution, are computed from the paths. Identical particles can have their paths exchanged at will, and we see how boson superfluidity comes out of this picture. Finally, the stochastic series expansion method is introduced to show finite temperature Hubbard model can be simulated.
Several microscopic theories point out that Bose-Einstein condensation (BEC), i.e., a macroscopic occupation of the lowest energy single particle state in many-boson systems, may appear also in quantum fluids and solids and that it is at the origin of the phenomenon of superfluidity. Nevertheless, the connection between BEC and superfluidity is still matter of debate, since the experimental evidences indicating a non zero condensate fraction in superfluid helium are only indirect. In the theoretical study of BEC in quantum fluids and solids, perturbative approaches are useless because of the strong correlations between the atoms, arising both from the interatomic potential and from the quantum nature of the system. Microscopic Quantum Monte Carlo simulations provide a reliable description of these systems. In particular, the Path Integral Monte Carlo (PIMC) method is very suitable for this purpose. This method is able to provide exact results for the properties of the quantum system, both at zero and finite temperature, only with the definition of the Hamiltonian and of the symmetry properties of the system, giving an easy picture for superfluidity and BEC in many-boson systems. In this thesis, we apply PIMC methods to the study of several quantum fluids and solids. We describe in detail all the features of PIMC, from the sampling methods to the estimators of the physical properties. We present also the most recent techniques, such as the high-order approximations for the thermal density matrix and the worm algorithm, used in PIMC to provide reliable simulations. We study the liquid phase of condensed 4He, providing unbiased estimations of the one-body density matrix g1(r). We analyze the model for g1(r) used to fit the experimental data, highlighting its merits and its faults. In particular we see that, even if it presents some difficulties in the description of the overall behavior of g1(r), it can provide an accurate estimation of the kinetic energy K and of the condensate fraction n0 of the system. Furthermore, we show that our results for n0 as a function of the pressure are in a good agreement with the most recent experimental results. The study of the solid phase of 4He is the most significant part of this thesis. The recent observation of non classical rotational inertia (NCRI) effects in solid helium has generated big interest in the study of an eventual supersolid phase, characterized at the same time by crystalline order and superfluidity. Nevertheless, until now it has been impossible to give a theoretical model able to describe all the experimental evidences. In this work, we perform PIMC simulations of 4He at high densities, according to different microscopic configurations of the atoms. In commensurate crystals we see that BEC does not appear, our model being able to reproduce the momentum distribution obtained form neutron scattering experiments. In a crystal with vacancies, we have been able to see a transition to a superfluid phase at temperatures in agreement with experimental results if the vacancy concentration is low enough. In amorphous solids, superfluid effects are enhanced but appear at temperatures higher than the experimental estimation for the transition temperature. Finally, we study also metastable disordered configurations in molecular para-hydrogen at low temperature. The aim of this study is to investigate if a Bose liquid other than helium can display superfluidity. Choosing accurately a ¿quantum liquid¿ initial configuration and the dimensions of the simulation box, we have been able to frustrate the formation of the crystal and to calculate the temperature dependence of the superfluid density, showing a transition to a superfluid phase at temperatures close to 1 K.
Abstract The focus of Chapter 12 is the Feynman path integral formulations of quantum mechanics and quantum statistical mechanics. The connection between real-time quantum propagator and the density matrix is established via the Wick rotation, and a Trotter expansion is used to derive discrete path integral expressions for both. The continuous limit of the discrete path integral is derived to yield the functional integral formulation of the path integral. The construction of estimators and their averages for computing quantum observables is discussed. Next, the path integral is extended to incorporate Boltzmann, Fermi-Dirac, and Bose-Einstein statistics, and a useful recursive formula for the partition function is derived that accelerates convergence by building up N-body partition functions from those of smaller systems. Quantum free energies are discussed, and algorithms for the evaluation of path integrals using molecular dynamics or Monte Carlo are presented. The chapter concludes with a discussion of higher-order factorizations and ring-polymer contraction methods to reduce the computational overhead of path-integral calculations
It is shown from first principles that, in spite of the large interatomic forces, liquid 4 He should exhibit a transition analogous to the transition in an ideal Bose–Einstein gas. The exact partition function is written as an integral over trajectories, using the space-time approach to quantum mechanics. R.P. Feynman, 1953 Summary In this chapter we discuss imaginary-time path integrals and the path-integral Monte Carlo method for the calculation of properties of quantum systems at non-zero temperature. We discuss how Fermi and Bose statistics enter, and how to generalize the fixed-node procedure to non-zero temperature. We then discuss an auxiliary-field method for the Hubbard model. The path-integral method can be used to perform ground-state calculations, allowing calculations of properties with less bias than the projector Monte Carlo method. We also discuss the problem of estimating real-time response functions using information from imaginary-time correlation functions. In previous chapters we described two QMC methods, namely variational QMC and projector (diffusion) QMC. Both of these methods are zero temperature, or, more properly, are formulated for single states. In this chapter we discuss the path-integral Monte Carlo (PIMC) method, which is explicitly formulated at non-zero temperature. Directly including temperature is important because many, if not most, measurements and practical applications involve significant thermal effects. One might think that to do calculations at a non-zero temperature we would have to explicitly sum over excited states. Such a summation would be difficult to accomplish once the temperature is above the energy gap, because there are so many possible many-body excitations. In addition, the properties for each excitation are more difficult to calculate than those for the ground state. As we will see, path-integral methods do not require an explicit sum over excitations. As an added bonus, they provide an interesting and enlightening window through which to view quantum systems. However, the sign problem, introduced in the previous chapter, is still present for fermion systems. The fixed-node approximation is used again. An advantage of PIMC is the absence of a trial wavefunction. As a result, quantum expectation values, including ones not involving the energy, can be computed directly. For the expert, the lack of an importance function may seem a disadvantage; without it one cannot push the simulation in a preferred direction.
Trapped bosons exhibit fundamental physical phenomena and are at the core of emerging quantum technologies. We present a method for simulating bosons using path integral molecular dynamics. The main difficulty in performing such simulations is enumerating all ring-polymer configurations, which arise due to permutations of identical particles. We show that the potential and forces at each time step can be evaluated by using a recurrence relation which avoids enumerating all permutations, while providing the correct thermal expectation values. The resulting algorithm scales cubically with system size. The method is tested and applied to bosons in a 2-dimensional (2D) trap and agrees with analytical results and numerical diagonalization of the many-body Hamiltonian. An analysis of the role of exchange effects at different temperatures, through the relative probability of different ring-polymer configurations, is also presented.