*Members of the Quantum Manipulation and Information Theme*

**Theme Leader: **Jevon Longdell

**Investigators:** Michael Albert, Mikkel Andersen, Vladimir Bubanja, Howard Carmichael, Peter Derrick, Maarten Hoogerland, David Hutchinson, Scott Parkins

**Project (QM1) Cavity Quantum Electrodynamics (QED)**

We will explore the interaction between atoms and light in an optical resonator or “cavity”. This cavity can greatly enhance the atom-light interaction by confining photons within small volumes for long times.

**Project (QM2) Sub-Poissonian Electromagnetic Fields with High Photon Number**

Lasers produce light with Poissonian photon number fluctuations. This “shot noise” limits the accuracy of measurements made with light. However this limit is not fundamental, and in this project we will develop techniques to produce light pulses with fluctuations dramatically less than the shot-noise limit.

**Project (QM3) Manipulation of Individual Atoms and Molecules**

This project aims at extending the exquisite control of individual atomic particles to systems consisting of few atoms and molecules. At the same time it will capitalize on the new capabilities for basic science discoveries and future applications. We will construct individual molecules atom by atom, while keeping complete control over the quantum state of the resulting molecule. We will explore the feasibility for using individual trapped molecules for an experimental endeavor into understanding the weak long range dispersive interactions between large organic molecules that play a crucial role in living organisms. Finally, we will initiate a platform for quantum computing based on the tunable interaction between individually addressed atoms.

**Project (QM4) Quantum Debugging**

Quantum computing offers the potential for enormous gains in computing efficiency – both for traditional computing applications and for the simulation of quantum systems. But, can quantum computers ever convince us that their computations are correct and are being carried out by quantum mechanisms? Interactive proofs have the potential to be powerful tools for experimentalists to verify that their quantum devices are operating correctly, and to prove their quantum nature to skeptics. These interactive proofs also have the important property that the classical resources required scale polynomially with the number of subsystems, removing the exponential barrier to testing complex quantum systems. We will investigate interactive proofs for quantum computations using models of computation adapted more directly to experiment. Of particular interest is the adiabatic model used in the 512 qubit commercial quantum computer and ion trap devices.