In these lectures, we discuss theoretical aspects of analogue quantum simulation, focussing on ultracold atoms in optical lattices as a specific example. We touch on the motivation for quantum simulation, before going into detail on the first-principles microscopic understanding of the system that allows us to use ultra-cold atoms as quantum simulators. This level of understanding and control crucially also exists for the dominant dissipative processes in experiments. We conclude by discussing the verification of quantum simulators, comparison with classical simulations, and the current role of many-body entanglement in this discussion.
In these lectures, we discuss theoretical aspects of analogue quantum simulation, focussing on ultracold atoms in optical lattices as a specific example. We touch on the motivation for quantum simulation, before going into detail on the first-principles microscopic understanding of the system that allows us to use ultra-cold atoms as quantum simulators. This level of understanding and control crucially also exists for the dominant dissipative processes in experiments. We conclude by discussing the verification of quantum simulators, comparison with classical simulations, and the current role of many-body entanglement in this discussion.
This chapter introduces the topic of quantum simulation and the various approaches that are being pursued in cold atom systems. We first start by describing what the aims of quantum simulation are, and why this is considered a difficult yet important problem. The example of the transverse field Ising model is discussed to illustrate the type of phenomenology, more commonly studied in condensed matter physics, that is of interest in quantum simulation. We then discuss two main approaches to quantum simulation. The first is digital quantum simulation, where a quantum computer is used to simulate the time evolution of a system, and methods to obtain static quantities is are discussed. The second is analogue quantum simulation, where experimental methods are used to physically create a tailored system in the laboratory. The toolbox of methods that is available to the cold atom physicist is explained, such aswhich includes optical lattices, Feshbach resonances, artificial gauge fields, spin-orbit coupling, time-of-flight measurements, and the quantum gas microscope are explained. We then consider a specific case study of one of the earliest quantum simulation experiments, where a Bose--Hubbard model was realized to observe a superfluid to Mott insulator transition in cold atoms.
One of the most active areas in atomic, molecular and optical physics is the use of ultracold atomic gases in optical lattices to simulate the behaviour of electrons in condensed matter systems. The larger mass, longer length scale, and tuneable interactions in these systems allow the dynamics of atoms moving in these systems to be followed in real time, and resonant light scattering by the atoms allows this motion to be probed on a microscopic scale using site-resolved imaging. This book reviews the physics of Hubbard-type models for both bosons and fermions in an optical lattice, which give rise to a rich variety of insulating and conducting phases depending on the lattice properties and interparticle interactions. It also discusses the effect of disorder on the transport of atoms in these models, and the recently discovered phenomenon of many-body localization. It presents several examples of experiments using both density and momentum imaging and quantum gas microscopy to study the motion of atoms in optical lattices. These illustrate the power and flexibility of ultracold-lattice analogues for exploring exotic states of matter at an unprecedented level of precision.
One of the most active areas in atomic, molecular and optical physics is the use of ultracold atomic gases in optical lattices to simulate the behaviour of electrons in condensed matter systems. The larger mass, longer length scale, and tuneable interactions in these systems allow the dynamics of atoms moving in these systems to be followed in real time, and resonant light scattering by the atoms allows this motion to be probed on a microscopic scale using site-resolved imaging. This book reviews the physics of Hubbard-type models for both bosons and fermions in an optical lattice, which give rise to a rich variety of insulating and conducting phases depending on the lattice properties and interparticle interactions. It also discusses the effect of disorder on the transport of atoms in these models, and the recently discovered phenomenon of many-body localization. It presents several examples of experiments using both density and momentum imaging and quantum gas microscopy to study the motion of atoms in optical lattices. These illustrate the power and flexibility of ultracold-lattice analogues for exploring exotic states of matter at an unprecedented level of precision.
These lecture notes were created for a graduate-level course on quantum simulation taught at Leibniz University Hannover in 2013. The first part of the course discusses various state of the art methods for the numerical description of many-body quantum systems. In particular, I explain successful applications and inherent limitations due to the exponential complexity of the many-body problem. In the second part of the course, I show how using highly controllable quantum system such as ultracold atoms will provide a way to overcome the limitations of classical simulation methods. I discuss several theoretical and experimental achievements and outline the road for future developments.
Quantum computers, although not yet available on the market, will revolutionise the future of information processing. Already now, quantum computers of special purpose, i.e., quantum simulators, are within reach. The physics of ultracold atoms, ions, and molecules offers unprecedented possibilities of control of quantum many systems, and novel possibilities of applications for quantum information and quantum metrology. Particularly fascinating is the possibility of using ultracold atoms in lattices to simulate condensed matter or even high energy physics. This book provides a comprehensive overview of ultracold lattice gases as quantum simulators, an interdisciplinary field involving atomic, molecular, and optical physics; quantum optics; quantum information; and condensed matter and high energy physics. It includes some introductory chapters on basic concepts and methods, and focuses on the physics of spinor, dipolar, disordered, and frustrated lattice gases, before reviewing in detail artificial lattice gauge fields with ultracold gases. The last part of the book moves onto a discussion of possible implementations universal quantum computers with ultracold atoms. After a crash course in quantum information theory, several models of quantum computation with ultracold gases are presented, as well as the current understanding of condensed matter from a quantum information perspective. The book ends with the general discussion of various detection methods that are unique for ultracold atoms.
Many outstanding problems in quantum physics, such as high-Tc superconductivity or quark confinement, are still - after decades of research - awaiting commonly accepted explanations. One reason is that such systems are often difficult to control, show an intermingling of several effects, or are not easily accessible to measurement. To arrive at a deeper understanding of the physics at work, researchers typically derive simplified models designed to capture the most striking phenomena of the system under consideration. However, due to the exponential complexity of Hilbert space, even some of the simplest of such models pose formidable challenges to analytical and numerical calculations. In 1982, Feynman proposed to solve such quantum models with experimental simulation on a physically distinct, specifically engineered quantum system [Int. J. Theor.Phys. 21, 467]. Designed to be governed by the same underlying equations as the original model, it is hoped that direct measurements on these so called quantum simulators (QSs) will allow to gather deep insights into outstanding problems of physics and beyond. In this thesis, we identify four requirements that a useful QS has to fulfill, relevance, control, reliability, and efficiency. Focusing on these, we review the state of the art of two popular approaches, digital QSs (i.e., special purpose quantum computers) and analog QSs (devices with always-on interactions). Further, focusing on possibilities to increase control over QSs, we discuss a scheme to engineer quantum correlations between mesoscopic numbers of spinful particles in optical lattices. This technique, based on quantum polarization spectroscopy, may be useful for state preparation and quantum information protocols. Additionally, employing several analytical and numerical methods for the calculation of many-body ground states, we demonstrate the variety of condensed-matter problems that can be attacked with QSs consisting of ultracold ions or neutral atoms in optical lattices. The chosen examples, some of which have already been realized in experiment, include such diverse settings as frustrated antiferromagnetism, quantum phase transitions in exotic lattice geometries, topological insulators, non-Abelian gauge-fields, orbital order of ultracold Fermions, and systems with long-range interactions. The experimental realization of all of these models requires techniques which go beyond standard optical lattices, e.g., time-periodic driving of lattices with exotic geometry, loading ultracold atoms into higher bands, or immersing trapped ions into an optical lattice. The chosen models, motivated by important open questions of quantum physics, pose difficult problems for classical computers, but they may be amenable in the near future to quantum simulation with ultracold atoms or ions. While the experimental control over relevant models has increased dramatically in the last years, the reliability and efficiency of QSs has received considerably less attention. As a second important part of this thesis, we emphasize the need to consider these aspects under realistic experimental conditions. We discuss specific situations where terms that have typically been neglected in the description of the QS introduce systematic errors and even lead to novel physics. Further, we characterize in a generic example the influence of quenched disorder on an analog QS. Its performance for simulating universal behavior near a quantum phase transition seems satisfactory for low disorder. Moreover, our results suggest a connection between the reliability and efficiency of a QS: it works less reliable exactly in those interesting regimes where classical calculations are less efficient. If QSs fulfill all of our four requirements, they may revolutionize our approach to quantum-mechanical problems, allowing to solve the behavior of complex Hamiltonians, and to design nano-scale materials and chemical compounds from the ground up.