For a system at a temperature of absolute zero, all thermal fluctuations are frozen out, while quantum fluctuations prevail. These microscopic quantum fluctuations can induce a macroscopic phase transition in the ground state of a many-body system when the relative strength of two competing energy terms is varied across a critical value. Here we observe such a quantum phase transition in a Bose-Einstein condensate with repulsive interactions, held in a three-dimensional optical lattice potential. As the potential depth of the lattice is increased, a transition is observed from a superfluid to a Mott insulator phase. In the superfluid phase, each atom is spread out over the entire lattice, with long-range phase coherence. But in the insulating phase, exact numbers of atoms are localized at individual lattice sites, with no phase coherence across the lattice; this phase is characterized by a gap in the excitation spectrum. We can induce reversible changes between the two ground states of the system.

Controllable, coherent many-body systems can provide insights into the fundamental properties of quantum matter, enable the realization of new quantum phases and could ultimately lead to computational systems that outperform existing computers based on classical approaches. Here we demonstrate a method for creating controlled many-body quantum matter that combines deterministically prepared, reconfigurable arrays of individually trapped cold atoms with strong, coherent interactions enabled by excitation to Rydberg states. We realize a programmable Ising-type quantum spin model with tunable interactions and system sizes of up to 51 qubits. Within this model, we observe phase transitions into spatially ordered states that break various discrete symmetries, verify the high-fidelity preparation of these states and investigate the dynamics across the phase transition in large arrays of atoms. In particular, we observe robust many-body dynamics corresponding to persistent oscillations of the order after a rapid quantum quench that results from a sudden transition across the phase boundary. Our method provides a way of exploring many-body phenomena on a programmable quantum simulator and could enable realizations of new quantum algorithms.

We have observed condensation of fermionic atom pairs in the BCS-BEC crossover regime. A trapped gas of fermionic 40K atoms is evaporatively cooled to quantum degeneracy and then a magnetic-field Feshbach resonance is used to control the atom-atom interactions. The location of this resonance is precisely determined from low-density measurements of molecule dissociation. In order to search for condensation on either side of the resonance, we introduce a technique that pairwise projects fermionic atoms onto molecules; this enables us to measure the momentum distribution of fermionic atom pairs. The transition to condensation of fermionic atom pairs is mapped out as a function of the initial atom gas temperature T compared to the Fermi temperature T(F) for magnetic-field detunings on both the BCS and BEC sides of the resonance.