Although the study of ultracold quantum gases trapped by light is a prominent direction of modern research, the quantum properties of light were widely neglected in this field. Quantum optics with quantum gases closes this gap and addresses phenomena, where the quantum statistical nature of both light and ultracold matter play equally important roles. First, light can serve as a quantum nondemolition (QND) probe of the quantum dynamics of various ultracold particles from ultracold atomic and molecular gases to nanoparticles and nanomechanical systems. Second, due to dynamic light-matter entanglement, projective measurement-based preparation of the many-body states is possible, where the class of emerging atomic states can be designed via optical geometry. Light scattering constitutes such a quantum measurement with controllable measurement back-action. As in cavity-based spin squeezing, atom number squeezed and Schroedinger cat states can be prepared. Third, trapping atoms inside an optical cavity one creates optical potentials and forces, which are not prescribed but quantized and dynamical variables themselves. Ultimately, cavity QED with quantum gases requires a self-consistent solution for light and particles, which enriches the picture of quantum many-body states of atoms trapped in quantum potentials. This will allow quantum simulations of phenomena related to the physics of phonons, polarons, polaritons and other quantum quasiparticles.
A forthcoming challenge in ultracold lattice gases is the simulation of quantum magnetism. That involves both the preparation of the lattice atomic gas in the desired spin state and the probing of the state. Here we demonstrate how a probing scheme based on atom-light interfaces gives access to the order parameters of nontrivial quantum magnetic phases, allowing us to characterize univocally strongly correlated magnetic systems produced in ultracold gases. This method, which is also nondemolishing, yields spatially resolved spin correlations and can be applied to bosons or fermions. As a proof of principle, we apply this method to detect the complete phase diagram displayed by a chain of (rotationally invariant) spin-1 bosons.