Chao Shen

Universal computation of a quantum system consisting of superpositions of well-separated coherent states of multiple harmonic oscillators can be achieved by three families of adiabatic holonomic gates. The first gate consists of moving a coherent state around a closed path in phase space, resulting in a relative Berry phase between that state and the other states. The second gate consists of "colliding" two coherent states of the same oscillator, resulting in coherent population transfer between them. The third gate is an effective controlled-phase gate on coherent states of two different oscillators. Such gates should be realizable via reservoir engineering of systems which support tunable nonlinearities, such as trapped ions and circuit QED.

We propose a scheme to realize scalable quantum computation in a planar ion crystal confined by a Paul trap. We show that the inevitable in-plane micromotion affects the gate design via three separate effects: renormalization of the equilibrium positions, coupling to the transverse motional modes, and amplitude modulation in the addressing beam. We demonstrate that all of these effects can be taken into account and high-fidelity gates are possible in the presence of micromotion. This proposal opens the prospect to realize large-scale fault-tolerant quantum computation within a single Paul trap.

Two or three dimensional Paul traps can confine a large number of ions forming a Wigner crystal, which would provide an ideal architecture for scalable quantum computation except for the micromotion, an issue that is widely believed to be the killer for high fidelity quantum gates. Surprisingly, here we show that the micromotion is not an obstacle at all for design of high fidelity quantum gates, even though the magnitude of the micromotion is significantly beyond the requirement of the Lamb-Dicke condition. Through exact solution of the quantum Mathieu equations, we demonstrate the principle of the gate design under micromotion using two ions in a quadrupole Paul trap as an example. The proposed micromotion quantum gates can be extended to the many ion case, paving a new way for scalable trapped ion quantum computation.

Boson sampling solves a classically intractable problem by sampling from a probability distribution given by matrix permanents. We propose a scalable implementation of Boson sampling using local transverse phonon modes of trapped ions to encode the Bosons. The proposed scheme allows deterministic preparation and high-efficiency readout of the Bosons in the Fock states and universal mode mixing. With the state-of-the-art trapped ion technology, it is feasible to realize Boson sampling with tens of Bosons by this scheme, which would outperform the most powerful classical computers and constitute an effective disproof of the famous extended Church-Turing thesis.

Spin squeezed states are a class of entangled states of spins that have practical applications to precision measurements. In recent years spin squeezing with one-axis twisting (OAT) has been demonstrated experimentally with spinor BECs with more than 10^3 atoms. Although the noise is below the standard quantum limit, the OAT scheme cannot reduce the noise down to the ultimate Heisenberg limit. Here we propose an experimentally feasible scheme based on optimized quantum control to greatly enhance the performance of OAT to approach the Heisenberg limit, requiring only an OAT Hamiltonian and the use of several coherent driving pulses. The scheme is robust against technical noise and can be readily implemented for spinor BECs or trapped ions with current technology.

We experimentally observed state-independent violations of Kochen-Specker inequalities for the simplest indivisible quantum system manifesting quantum contextuality, a three-level (qutrit) system. We performed the experiment with a single trapped ^{171}Yb^{+} ion, by mapping three ground states of the ^{171}Yb^{+} ion to a qutrit system and carrying out quantum operatations by applying microwaves resonant to the qutrit transition frequencies. Our results are free from the detection loophole and cannot be explained by the non-contextual hidden variable models.