G. Kirchmair

Quantum error correction (QEC) is required for a practical quantum computer because of the fragile nature of quantum information. In QEC, information is redundantly stored in a large Hilbert space and one or more observables must be monitored to reveal the occurrence of an error, without disturbing the information encoded in an unknown quantum state. Such observables, typically multi-qubit parities such as <XXXX>, must correspond to a special symmetry property inherent to the encoding scheme. Measurements of these observables, or error syndromes, must also be performed in a quantum non-demolition (QND) way and faster than the rate at which errors occur. Previously, QND measurements of quantum jumps between energy eigenstates have been performed in systems such as trapped ions, electrons, cavity quantum electrodynamics (QED), nitrogen-vacancy (NV) centers, and superconducting qubits. So far, however, no fast and repeated monitoring of an error syndrome has been realized. Here, we track the quantum jumps of a possible error syndrome, the photon number parity of a microwave cavity, by mapping this property onto an ancilla qubit. This quantity is just the error syndrome required in a recently proposed scheme for a hardware-efficient protected quantum memory using Schrödinger cat states in a harmonic oscillator. We demonstrate the projective nature of this measurement onto a parity eigenspace by observing the collapse of a coherent state onto even or odd cat states. The measurement is fast compared to the cavity lifetime, has a high single-shot fidelity, and has a 99.8% probability per single measurement of leaving the parity unchanged. In combination with the deterministic encoding of quantum information in cat states realized earlier, our demonstrated QND parity tracking represents a significant step towards implementing an active system that extends the lifetime of a quantum bit.

A digital quantum simulator is an envisioned quantum device that can be pro- grammed to efficiently simulate any other local system. We demonstrate and investigate the digital approach to quantum simulation in a system of trapped ions. Using sequences of up to 100 gates and 6 qubits, the full time dynamics of a range of spin systems are digitally simulated. Interactions beyond those naturally present in our simulator are accurately reproduced and quantitative bounds are provided for the overall simulation quality. Our results demon- strate the key principles of digital quantum simulation and provide evidence that the level of control required for a full-scale device is within reach.

We report on quantum simulations of relativistic scattering dynamics using trapped ions. The simulated state of a scattering particle is encoded in both the electronic and vibrational state of an ion, representing the discrete and continuous components of relativistic wave functions. Multiple laser fields and an auxiliary ion simulate the dynamics generated by the Dirac equation in the presence of a scattering potential. Measurement and reconstruction of the particle wave packet enables a frame-by-frame visualization of the scattering processes. By precisely engineering a range of external potentials we are able to simulate text book relativistic scattering experiments and study Klein tunneling in an analogue quantum simulator. We describe extensions to solve problems that are beyond current classical computing capabilities.

A basic assumption behind the inequalities used for testing noncontextual hidden variable models is that the observables measured on the same individual system are perfectly compatible. However, compatibility is not perfect in actual experiments using sequential measurements. We discuss the resulting "compatibility loophole" and present several methods to rule out certain hidden variable models which obey a kind of extended noncontextuality. Finally, we present a detailed analysis of experimental imperfections in a recent trapped ion experiment and apply our analysis to that case.

We experimentally demonstrate a quantum walk on a line in phase space using one and two trapped ion. A walk with up to 23 steps is realized by subjecting an ion to state-dependent displacement operations interleaved with quantum coin tossing operations. To analyze the ion's motional state after each step we apply a technique that directly maps the probability density distribution onto the ion's internal state. The measured probability distributions and the position's second moment clearly show the non-classical character of the quantum walk. To further highlight the difference between the classical (random) and the quantum walk, we demonstrate the reversibility of the latter. Finally, we extend the quantum walk by using two ions, giving the walker the additional possibility to stay instead of taking a step.

The Dirac equation is a cornerstone in the history of physics, merging successfully quantum mechanics with special relativity, providing a natural description of the electron spin and predicting the existence of anti-matter. Furthermore, it is able to reproduce accurately the spectrum of the hydrogen atom and its realm, relativistic quantum mechanics, is considered as the natural transition to quantum field theory. However, the Dirac equation also predicts some peculiar effects such as Klein's paradox and Zitterbewegung, an unexpected quivering motion of a free relativistic quantum particle first examined by Schrödinger. These and other predictions would be difficult to observe in real particles, while constituting key fundamental examples to understand relativistic quantum effects. Recent years have seen an increased interest in simulations of relativistic quantum effects in different physical setups, where parameter tunability allows accessibility to different physical regimes. Here, we perform a proof-of-principle quantum simulation of the one-dimensional Dirac equation using a single trapped ion, which is set to behave as a free relativistic quantum particle. We measure as a function of time the particle position and study Zitterbewegung for different initial superpositions of positive and negative energy spinor states, as well as the cross-over from relativistic to nonrelativistic dynamics. The high level of control of trapped-ion experimental parameters makes it possible to simulate elegant textbook examples of relativistic quantum physics.

The question of whether quantum phenomena can be explained by classical models with hidden variables is the subject of a long lasting debate. In 1964, Bell showed that certain types of classical models cannot explain the quantum mechanical predictions for specific states of distant particles. Along this line, some types of hidden variable models have been experimentally ruled out. An intuitive feature for classical models is non-contextuality: the property that any measurement has a value which is independent of other compatible measurements being carried out at the same time. However, the results of Kochen, Specker, and Bell show that non-contextuality is in conflict with quantum mechanics. The conflict resides in the structure of the theory and is independent of the properties of special states. It has been debated whether the Kochen-Specker theorem could be experimentally tested at all. Only recently, first tests of quantum contextuality have been proposed and undertaken with photons and neutrons. Yet these tests required the generation of special quantum states and left various loopholes open. Here, using trapped ions, we experimentally demonstrate a state-independent conflict with non-contextuality. The experiment is not subject to the detection loophole and we show that, despite imperfections and possible measurement disturbances, our results cannot be explained in non-contextual terms.

We perform precision measurements of the branching ratios of the 4P3/2 level decay of a single 40Ca+ ion suspended in a linear Paul trap. High precision is achieved by a novel technique based on monitoring the population transfer when repeatedly pumping the ion between different internal states. The branching fractions into the 4S1/2, 3D5/2 and 3D3/2 levels are found to be 0.9347(3), 0.0587(2) and 0.00661(4), respectively. For the branching ratio A(P3/2-S1/2)/\sum_J A(P3/2-D_J)=14.31(5), we find a forty-fold improvement in accuracy as compared to the best previous measurement.

We report on the first absolute transition frequency measurement at the 10^{-15} level with a single, laser-cooled 40Ca+ ion in a linear Paul trap. For this measurement, a frequency comb is referenced to the transportable Cs atomic fountain clock of LNE-SYRTE and is used to measure the S1/2-D5/2 electric-quadrupole transition frequency. After the correction of systematic shifts, the clock transition frequency f_Ca+ = 411 042 129 776 393.2 (1.0) Hz is obtained, which corresponds to a fractional uncertainty within a factor of three of the Cs standard. Future improvements are expected to lead to an uncertainty surpassing the best Cs fountain clocks. In addition, we determine the Lande g-factor of the D5/2 level to be gD5/2=1.2003340(3).

For quantum information processing (QIP) with trapped ions, the isotope 43Ca+ offers the combined advantages of a quantum memory with long coherence time, a high fidelity read out and the possibility of performing two qubit gates on a quadrupole transition with a narrow-band laser. Compared to other ions used for quantum computing, 43Ca+ has a relatively complicated level structure. In this paper we discuss how to meet the basic requirements for QIP and demonstrate ground state cooling, robust state initialization and efficient read out for the hyperfine qubit with a single 43Ca+ ion. A microwave field and a Raman light field are used to drive qubit transitions, and the coherence times for both fields are compared. Phase errors due to interferometric instabilities in the Raman field generation do not limit the experiments on a time scale of 100 ms. We find a quantum information storage time of many seconds for the hyperfine qubit.

Today ion traps are among the most promising physical systems for constructing a quantum device harnessing the computing power inherent in the laws of quantum physics. The standard circuit model of quantum computing requires a universal set of quantum logic gates for the implementation of arbitrary quantum operations. As in classical models of computation, quantum error correction techniques enable rectification of small imperfections in gate operations, thus allowing for perfect computation in the presence of noise. For fault-tolerant computation, it is commonly believed that error thresholds ranging between 10^-4 and 10^-2 will be required depending on the noise model and the computational overhead for realizing the quantum gates. Up to now, all experimental implementations have fallen short of these requirements. Here, we report on a Molmer-Sorensen type gate operation entangling ions with a fidelity of 99.3(1)% which together with single-qubit operations forms a universal set of quantum gates. The gate operation is performed on a pair of qubits encoded in two trapped calcium ions using a single amplitude-modulated laser beam interacting with both ions at the same time. A robust gate operation, mapping separable states onto maximally entangled states is achieved by adiabatically switching the laser-ion coupling on and off. We analyse the performance of a single gate and concatenations of up to 21 gate operations. The gate mechanism holds great promise not only for two-qubit but also for multi-qubit operations.

The hyperfine structure of the S1/2-D5/2 quadrupole transition at 729 nm in 43Ca+ has been investigated by laser spectroscopy using a single trapped 43Ca+ ion. We determine the hyperfine structure constants of the metastable level as A=-3.8931(2) MHz and B=-4.241(4) MHz. The isotope shift of the transition with respect to 40Ca+ was measured to be 4134.713(5) MHz. We demonstrate the existence of transitions that become independent of the first-order Zeeman shift at non-zero low magnetic fields. These transitions might be better suited for building a frequency standard than the well-known 'clock transitions' between m=0 levels at zero magnetic field.