We review phase space techniques based on the Wigner representation that provide an approximate description of dilute ultra-cold Bose gases. In this approach the quantum field evolution can be represented using equations of motion of a similar form to the Gross-Pitaevskii equation but with stochastic modifications that include quantum effects in a controlled degree of approximation. These techniques provide a practical quantitative description of both equilibrium and dynamical properties of Bose gas systems. We develop versions of the formalism appropriate at zero temperature, where quantum fluctuations can be important, and at finite temperature where thermal fluctuations dominate. The numerical techniques necessary for implementing the formalism are discussed in detail, together with methods for extracting observables of interest. Numerous applications to a wide range of phenomena are presented.

Phase transitions are ubiquitous in nature, ranging from protein folding and denaturisation, to the superconductor-insulator quantum phase transition, to the decoupling of forces in the early universe. Remarkably, phase transitions can be arranged into universality classes, where systems having unrelated microscopic physics exhibit identical scaling behaviour near the critical point. Here we present an experimental and theoretical study of the Bose-Einstein condensation phase transition of an atomic gas, focusing on one prominent universal element of phase transition dynamics: the spontaneous formation of topological defects during a quench through the transition [1, 2, 3]. While the microscopic dynamics of defect formation in phase transitions are generally difficult to investigate, particularly for superfluid phase transitions [4, 5, 6, 7], Bose-Einstein condensates (BECs) offer unique experimental and theoretical opportunities for probing such details. Although spontaneously formed vortices in the condensation transition have been previously predicted to occur [8, 9], our results encompass the first experimental observations and statistical characterisation of spontaneous vortex formation in the condensation transition. Using microscopic theories [10, 11, 12, 13, 14, 15, 16, 17] that incorporate atomic interactions and quantum and thermal fluctuations of a finite-temperature Bose gas, we simulate condensation and observe vortex formation in close quantitative agreement with our experimental results. Our studies provide further understanding of the development of coherence in superfluids, and may allow for direct investigation of universal phase-transition dynamics.

We report experimental observations and numerical simulations of the formation, dynamics, and lifetimes of single and multiply charged quantized vortex dipoles in highly oblate dilute-gas Bose-Einstein condensates (BECs). We nucleate pairs of vortices of opposite charge (vortex dipoles) by forcing superfluid flow around a repulsive gaussian obstacle within the BEC. By controlling the flow velocity we determine the critical velocity for the nucleation of a single vortex dipole, with excellent agreement between experimental and numerical results. We present measurements of vortex dipole dynamics, finding that the vortex cores of opposite charge can exist for many seconds and that annihilation is inhibited in our highly oblate trap geometry. For sufficiently rapid flow velocities we find that clusters of like-charge vortices aggregate into long-lived dipolar flow structures.