We implement the proof of principle for the quantum walk of one ion in a linear ion trap. With a single-step fidelity exceeding 0.99, we perform three steps of an asymmetric walk on the line. We clearly reveal the differences to its classical counterpart if we allow the walker/ion to take all classical paths simultaneously. Quantum interferences enforce asymmetric, non-classical distributions in the highly entangled degrees of freedom (of coin and position states). We theoretically study and experimentally observe the limitation in the number of steps of our approach, that is imposed by motional squeezing. We propose an altered protocol based on methods of impulsive steps to overcome these restrictions, in principal allowing to scale the quantum walk to several hundreds of steps.PACS numbers: 03.67. Ac, 05.40Fb, 0504Jc A quantum walk[1] is the deterministic quantum mechanical extension of a classical random walk. A simple classical version requires two basic operations: Tossing the coin (coin-operation), allowing for two possible and random outcomes. Dependent on this outcome, the walker performs a step to the right or left (stepoperation). In the quantum mechanical extension the operations allow for coherent superpositions of entangled coin and position states. After several iterations the probability to be in a certain position is determined by quantum mechanical interference of the walker state that leads to fundamentally different characteristics of the walk [2].The motivation for studying quantum walks is twofold. On the one hand, many classical algorithms include random walks. Examples can be found in biology, psychology, economics and physics, for example Einstein's simple model for Brownian motion [3]. The extension of the walk to quantum mechanics might allow for substantial speedup of related quantum versions [2], as in prominent algorithms suggested by Shor[4] and Grover [5] due to other quantum-subroutines. On the other hand, the quantum walk could lead to new insights into entanglement and decoherence in mesoscopic systems [6]. These topics might be explored by increasing the amount of walkers -even before any algorithm might benefit from the quantum random walk.Quantum walks have been thoroughly investigated theoretically and first attempts at implementation have been performed with a very limited amount of steps due to a lack of operation fidelity or fundamental restrictions within the protocol. Some aspects have been realized on the longitudinal modes of a linear optical resonator [7] and in a nuclear magnetic resonance experiment [8]. An implementation based on neutral atoms in a spin-dependent optical lattice[9, 10, 11] has resulted in an experiment recently. Other proposals considered an array of microtraps illuminated by a set of microlenses [12] and Bose-Einstein condensates [13]. Travaglione and Milburn[14] proposed a scheme for trapped ions to transfer the high operational fidelities [6] obtained in quantum information processing (QIP) into To implement the deterministic "tossing of t...

Quantum walks subject to decoherence generically suffer the loss of their genuine quantum feature, a quadratically faster spreading compared to classical random walks. This intuitive statement has been verified analytically for certain models and is also supported by numerical studies of a variety of examples. In this paper we analyze the long-time behavior of a particular class of decoherent quantum walks, which, to the best of our knowledge, was only studied at the level of numerical simulations before. We consider a local coin operation which is randomly and independently chosen for each time step and each lattice site and prove that, under rather mild conditions, this leads to classical behavior: With the same scaling as needed for a classical diffusion the position distribution converges to a Gaussian, which is independent of the initial state. Our method is based on nondegenerate perturbation theory and yields an explicit expression for the covariance matrix of the asymptotic Gaussian in terms of the randomness parameters.

We examine the prospects of discrete quantum walks (QWs) with trapped ions. In particular, we analyze in detail the limitations of the protocol of Travaglione and Milburn (2002 Phys. Rev. A 65 032310) that has been implemented by several experimental groups in recent years. Based on the first realization in our group (Schmitz et al 2009 Phys. Rev. Lett. 103 090504), we investigate the consequences of leaving the scope of the approximations originally made, such as the Lamb-Dicke approximation. We explain the consequential deviations from the idealized QW for different experimental realizations and an increasing number of steps by taking into account higherorder terms of the quantum evolution. It turns out that these already become significant after a few steps, which is confirmed by experimental results and is currently limiting the scalability of this approach. Finally, we propose a new scheme using short laser pulses, derived from a protocol from the field of quantum computation. We show that this scheme is not subject to the abovementioned restrictions and analytically and numerically evaluate its limitations, based on a realistic implementation with our specific setup. Implementing

We cannot translate quantum behavior arising with superposition states or entanglement efficiently into the classical language of conventional computers (Feynman et al. in Int. J. Theor. Phys. 21:467, 1982). A universal quantum computer could describe and help to understand complex quantum systems. But it is envisioned to become functional only within the next decade(s). A shortcut was proposed via simulating the quantum behavior of interest in another quantum system, where all relevant parameters and interactions can be controlled and observables of interest detected sufficiently well. For example simulating quantum spin systems within an architecture of trapped ions (Porras and Cirac in Phys. Rev. Lett. 92:207901, 2004). Here we specify how we simulate the spin and all necessary interactions and how we calibrate their amplitudes. For example via a two-ion phase-gate operation on two axial motional modes simultaneously at a fidelity exceeding 95%. We explain the complete mode of operation of a quantum simulator on the basis of our simple model case-the proof of principle experiment of simulating the transition of a quantum magnet from paramagnetic into entangled ferromagnetic order (Friedenauer et al. in Nat. Phys. 4:757, 2008) and emphasize some of the similarities and differences with a quantum computer.