We derive the momentum space dynamic equations and state functions for one dimensional quantum walks by using linear systems and Lie group theory. The momentum space provides an analytic capability similar to that contributed by the z transform in discrete systems theory. The state functions at each time step are expressed as a simple sum of three Chebyshev polynomials. The functions provide an analytic expression for the development of the walks with time.
We present an implementation scheme for a quantum walk in the orbital angular momentum space of a laser beam. The scheme makes use of a ring interferometer, containing a quarter-wave plate and a q plate. This setup enables one to perform an arbitrary number of quantum walk steps. In addition, the classical nature of the implementation scheme makes it possible to observe the quantum walk evolution in real time. We use nonquantum entanglement of the laser beam's polarization with its orbital angular momentum to implement the quantum walk.
We consider a new model of quantum walk on a one-dimensional momentum space that includes both discrete jumps and continuous drift. Its time evolution has two stages; a Markov diffusion followed by localized dynamics. As in the well known quantum kicked rotor, this model can be mapped into a localized one-dimensional Anderson model. For exceptional (rational) values of its scale parameter, the system exhibits resonant behavior and reduce to the usual discrete time quantum walk on the line.
Photons can carry spin angular momentum (SAM) and orbital angular momentum (OAM), which can be used to realize a qubit system and a high-dimension system respectively. This spin-orbital system is very suitable for implementing one-dimensional discrete-time quantum random walks. We propose a simple scheme of quantum walks on the spin-orbital angular momentum space of photons, where photons walk on the infinity OAM space controlled by their SAM. By employing the recent invention of an optical device, the so-called 'q-plate', our scheme is more simple and efficient than others because there is no…
A Quantum Walk (QW) simulating the flat $(1 + 2)$D Dirac Eq.\ on a spatial polar grid is constructed. Because fermions are represented by spinors, which do not constitute a representation of the rotation group, but rather of its double cover, the QW can only be defined globally on an extended spacetime where the polar angle extends from $0$ to $4 π$. The coupling of the QW with arbitrary electromagnetic fields is also presented. Finally, the cylindrical relativistic Landau levels of the Dirac Eq.\ are computed explicitly and simulated by the QW.
The atom-optics kicked rotor can be used to prepare specific momentum distributions on a discrete basis set. We implement a continuous-time quantum walk and a quantum search protocol in this momentum basis. In particular we propose ways to identify a specific marked state from the final momentum distribution after the walker's evolution. Our protocol is guided by current experimental possibilities making it accessible to experimentally implemented quantum walks with Bose-Einstein condensates.
We investigate the possibility of implementing a sequence of quantum walks whose probability distributions give an overall positive winning probability, while it is negative for the single walks (Parrondo's paradox). In particular, we have in mind an experimental realisation with a Bose-Einstein condensate in which the walker's space is momentum space. Experimental problems in the precise implementation of the coin operations for our discrete-time quantum walks are analysed in detail. We study time-dependent phase fluctuations of the coins as well as perturbations arising from the finite momen…
We report on a discrete-time quantum walk that uses the momentum of ultra-cold rubidium-87 atoms as the walk space and two internal atomic states as the coin degree of freedom. Each step of the walk consists of a coin toss (a microwave pulse) followed by a unitary shift operator (a resonant ratchet pulse). We carry out a comprehensive experimental study on the effects of various parameters, including the strength of the shift operation, coin parameters, noise, and initialization of the system on the behavior of the walk. The walk dynamics can be well controlled in our experiment; potential app…
Classical optics can be used to efficiently implement certain quantum information processing tasks with a high degree of control, for example, one-dimensional quantum walks through the space of orbital angular momentum of light directed by its polarization. To explore the potential of quantum information processing with classical light, we here suggest a method to realize d-dimensional quantum walks with classical optics---an important step towards robust implementation of certain quantum algorithms. In this scheme, different degrees of freedom of light, such as frequency, orbital angular mome…
We present a discrete-time, one-dimensional quantum walk based on the entanglement between the momentum of ultracold rubidium atoms (the walk space) and two internal atomic states (the "coin" degree of freedom). Our scheme is highly flexible and can provide a platform for a wide range of applications such as quantum search algorithms, the observation of topological phases, and the realization of walks with higher dimensionality. Along with the investigation of the quantum-to-classical transition, we demonstrate the distinctive features of a quantum walk and contrast them to those of its classi…
The first general analytic solutions for the one-dimensional walk in position and momentum space are derived. These solutions reveal, among other things, new symmetry features of quantum walk probability densities and further insight into the behaviour of their moments. The analytic expressions for the quantum walk probability distributions provide a means of modelling quantum phenomena that is analogous to that provided by random walks in the classical domain.
We study the quantum walk in momentum space using a coin arranged in quasi-periodic sequences following a Fibonacci prescription. We build for this system a classical map based on the trace of the evolution operator. The sub-ballistic behavior of this quantum walk is connected with the power-law decay of the time correlations of the trace map.
Over the last decade there have been many advances in studies of quantum walks (QWs) including a momentum-space QW recently realized in our spinor Bose-Einstein condensate system. This QW possessed behaviors that generally agreed with theoretical predictions; however, it also showed momentum distributions that were not adequately explained by the theory. We present a theoretical model which proves that the coherent dynamics of the spinor condensate is sufficient to explain the experimental data without invoking the presence of a thermal cloud of atoms as in the original theory. Our numerical f…
We realize a pair of simultaneous ten-step one-dimensional quantum walks with two walkers sharing coins, which we prove is analogous to the ten-step two-dimensional quantum walk with a single walker holding a four-dimensional coin. Our experiment demonstrates a ten-step quantum walk over an 11x11 two-dimensional lattice with a line defect, thereby realizing a localized walker state.
Quantum walks have by now been realized in a large variety of different physical settings. In some of these, particularly with trapped ions, the walk is implemented in phase space, where the corresponding position states are not orthogonal. We develop a general description of such a quantum walk and show how to map it into a standard one with orthogonal states, thereby making available all the tools developed for the latter. This enables a variety of experiments, which can be implemented with smaller step sizes and more steps. Tuning the non-orthogonality allows for an easy preparation of exte…
Each step in a quantum random walk is typically understood to have two basic components; a `coin-toss' which produces a random superposition of two states, and a displacement which moves each component of the superposition by different amounts. Here we suggest the realization of a walk in momentum space with a spinor Bose-Einstein condensate subject to a quantum ratchet realized with a pulsed, off-resonant optical lattice. By an appropriate choice of the lattice detuning, we show how the atomic momentum can be entangled with the internal spin states of the atoms. For the coin-toss, we propose …
We show that with the addition of multiple walkers, quantum walks on a line can be transformed into lattice graphs of higher dimension. Thus, multi-walker walks can simulate single-walker walks on higher dimensional graphs and vice versa. This exponential complexity opens up new applications for present-day quantum walk experiments. We discuss the applications of such higher-dimensional structures and how they relate to linear optics quantum computing. In particular we show that multi-walker quantum walks are equivalent to the BosonSampling model for linear optics quantum computation proposed …
A discrete action principle for general quantum automata is proposed. This action principle is particularized to Discrete Time Quantum Walks (DTQWs) and then extended into an energy and momentum preserving, manifestly covariant formulation. Space-time coordinates are introduced as new variables of the action and their equations of motion enforce energy and momentum conservation. This guarantees that the proposed action can be used to build future, DTQW-based self-consistent models of spinors interacting with gauge fields. A discrete stress-energy tensor for the DTQW is also obtained by functio…
In this paper we study a one-dimensional quantum random walk with the Hadamard transformation which is often called the Hadamard walk. We construct the Hadamard walk using a transition matrix on probability amplitude and give some results on symmetry of probability distributions for the Hadamard walk.
In this paper, we numerically study quantum walks on two kinds of two-dimensional graphs: cylindrical strip and Mobius strip. The two kinds of graphs are typical two-dimensional topological graph. We study the crossing property of quantum walks on these two models. Also, we study its dependence on the initial state, size of the model. At the same time, we compare the quantum walk and classical walk on these two models to discuss the difference of quantum walk and classical walk.
In this paper we investigate one dimensional quantum walks with two-step memory, which can be viewed as an extension of quantum walks with one-step memory. We develop a general formula for the amplitudes of the two-step-memory walk with Hadamard coin by using path integral approach, and numerically simulate its process. The simulation shows that the probability distribution of this new walk is different from that of the Hadamard quantum walk with one-step memory, while it presents some similarities with that of the normal Hadamard quantum walk without memory.
Discrete-time quantum walk in one-dimension is studied from a path-integral perspective. This enables derivation of a closed-form expression for amplitudes corresponding to any coin-position basis of the state vector of the quantum walker at an arbitrary step of the walk. This provides a new approach to the foundations and applications of quantum walks.
Stationary measures of quantum walks on the one-dimensional integer lattice are well studied. However, the stationary measure for the higher dimensional case has not been clarified. In this paper, we give the stationary amplitude for quantum walks on the d-dimensional integer lattice with a finite support by solving the corresponding eigenvalue problem. As a corollary, we can obtain the stationary measures of the Grover walks. In fact, the amplitude for the stationary measure is an eigenfunction with eigenvalue 1.
We introduce and analyze a one-dimensional quantum walk with two time-independent rotations on the coin. We study the influence on the property of quantum walk due to the second rotation on the coin. Based on the asymptotic solution in the long time limit, a ballistic behaviour of this walk is observed. This quantum walk retains the quadratic growth of the variance if the combined operator of the coin rotations is unitary. That confirms no localization exhibits in this walk. This result can be extended to the walk with multiple time-independent rotations on the coin.
Coined quantum walks may be interpreted as the motion in position space of a quantum particle with a spin degree of freedom; the dynamics are determined by iterating a unitary transformation which is the product of a spin transformation and a translation conditional on the spin state. Coined quantum walks on the d-dimensional lattice can be treated as special cases of coined quantum walks on d-dimensional Euclidean space. We study quantum walks on d-dimensional Euclidean space and prove that the sequence of rescaled probability distributions in position space associated to the unitary evolutio…
We consider discrete-time nearest-neighbor quantum walks on random environments in one dimension. Using the method based on a path counting, we present both quenched and annealed weak limit theorems for the quantum walk.
We analyze final-time dependent discrete-time quantum walks in one dimension. We compute asymptotics of the return probability of the quantum walk by a path counting approach. Moreover, we discuss a relation between the quantum walk and the corresponding final-time dependent classical random walk.
Multi-dimensional quantum walks usually require large coin spaces. Here we show that the non-localized case of the spatial density probability of the two-dimensional Grover walk can be obtained using only a two-dimensional coin space and a quantum walk in alternate directions. We present a formal proof of this correspondence and analyze the behavior of the coin-position entanglement as well as the x-y spatial entanglement in our scheme with respect to the Grover one. We show that our experimentally simpler scheme allows to entangle the two orthogonal directions of the walk more efficiently.
Full state revivals in a quantum walk can be viewed as returning of the walker to the initial quantum state in a periodic fashion during the propagation of the walk. In this paper we show that for any given number of spatial dimensions, a coin operator can be constructed to generate a quantum walk having full revivals with any desired period. From the point of view of quantum computation and simulations, these coin operators can be useful in implementing quantum walks which oscillate between any two states with a finite periodicity.
The notion of fidelity susceptibility, introduced within the context of quantum metric tensor, has been an important quantity to characterize the criticality near quantum phase transitions. We demonstrate that for topological phase transitions in Dirac models, provided the momentum space is treated as the manifold of the quantum metric, the fidelity susceptibility coincides with the curvature function whose integration gives the topological invariant. Thus the quantum criticality of the curvature function near a topological phase transition also describes the criticality of the fidelity suscep…
The dimensionality of the internal coin space of discrete-time quantum walks has a strong impact on the complexity and richness of the dynamics of quantum walkers. While two-dimensional coin operators are sufficient to define a certain range of dynamics on complex graphs, higher dimensional coins are necessary to unleash the full potential of discrete-time quantum walks. In this work we present an experimental realization of a discrete-time quantum walk on a line graph that, instead of two-dimensional, exhibits a four-dimensional coin space. Making use of the extra degree of freedom we observe…
We report the experimental measurement of the winding number in an unitary chiral quantum walk. Fundamentally, the spin-orbit coupling in discrete time quantum walks is implemented via birefringent crystal collinearly cut based on time-multiplexing scheme. Our protocol is compact and avoids extra loss, making it suitable for realizing genuine single-photon quantum walks at a large-scale. By adopting heralded single-photon as the walker and with a high time resolution technology in single-photon detection, we carry out a 50-step Hadamard discrete-time quantum walk with high fidelity up to 0.948…
Quantum walks play an important role for developing quantum algorithms and quantum simulations. Here we present one dimensional three-state quantum walk(lazy quantum walk) and show its equivalence for circuit realization in ternary quantum logic for the first of its kind. Using an appropriate logical mapping of the position space on which a walker evolves onto the multi-qutrit states, we present efficient quantum circuits considering the nearest neighbour position space for the implementation of lazy quantum walks in one-dimensional position space in ternary quantum system. We also address sca…
Quantum walks are powerful tools for quantum applications and for designing topological systems. Although they are simulated in a variety of platforms, genuine two-dimensional realizations are still challenging. Here we present an innovative approach to the photonic simulation of a quantum walk in two dimensions, where walker positions are encoded in the transverse wavevector components of a single light beam. The desired dynamics is obtained by means of a sequence of liquid-crystal devices, which apply polarization-dependent transverse "kicks" to the photons in the beam. We engineer our quant…
The CGMV method allows for the general discussion of localization properties for the states of a one-dimensional quantum walk, both in the case of the integers and in the case of the non negative integers. Using this method we classify, according to such localization properties, all the quantum walks with one defect at the origin, providing explicit expressions for the asymptotic return probabilities at the origin.
In this paper, we consider stationary measures of discrete-time three-state quantum walks including the Fourier and Grover walks in the one-dimensional lattice. We give non-uniform stationary measures by solving the corresponding eigenvalue problem. Our new method is based on a reduced matrix, which is different from the generating function approach in our previous work. As a corollary, the Fourier walk on the cycle has a stationary measure with a periodicity.
We propose a novel implementation of discrete time quantum walks for a neutral atom in an array of optical microtraps or an optical lattice. We analyze a one-dimensional walk in position space, with the coin, the additional qubit degree of freedom that controls the displacement of the quantum walker, implemented as a spatially delocalized qubit, i.e., the coin is also encoded in position space. We analyze the dependence of the quantum walk on temperature and experimental imperfections as shaking in the trap positions. Finally, combining a spatially delocalized qubit and a hyperfine qubit, we a…
The discrete quantum walk in N dimensions is analyzed from the perspective of its dispersion relations. This allows understanding known properties, as well as designing new ones when spatially extended initial conditions are considered. This is done by deriving wave equations in the continuum, which are generically of the Schrödinger type, and allow devising interesting behaviors, such as ballistic propagation without deformation, or the generation of almost flat probability distributions, what is corroborated numerically. There are however special points where the energy surfaces display inte…
We propose an optical cavity implementation of the two-dimensional coined quantum walk on the line. The implementation makes use of only classical resources, and is tunable in the sense that a large number of different unitary transformations can be implemented by tuning some parameters of the device.
Lazy quantum walks were presented by Andrew M. Childs to prove that the continuous-time quantum walk is a limit of the discrete-time quantum walk [Commun.Math.Phys.294,581-603(2010)]. In this paper, we discuss properties of lazy quantum walks. Our analysis shows that lazy quantum walks have $O(t^n)$ order of the n-th moment of the corresponding probability distribution, which is the same as that for normal quantum walks. Also, the lazy quantum walk with DFT (Discrete Fourier Transform) coin operator has a similar probability distribution concentrated interval to that of the normal Hadamard qua…
We have recently proposed a two-dimensional quantum walk where the requirement of a higher dimensionality of the coin space is substituted with the alternance of the directions in which the walker can move [C. Di Franco, M. Mc Gettrick, and Th. Busch, Phys. Rev. Lett. {\bf 106}, 080502 (2011)]. For a particular initial state of the coin, this walk is able to perfectly reproduce the spatial probability distribution of the non-localized case of the Grover walk. Here, we present a more detailed proof of this equivalence. We also extend the analysis to other initial states, in order to provide a m…
Quantum random walk in a two-dimensional lattice with randomly distributed traps is investigated. Distributions of quantum walkers are evaluated dynamically for the cases of Hadamard, Fourier, and Grover coins, and quantum to classical transition is examined as a function of the density of the traps. It is shown that traps act as a serious and additional source of quantum decoherence. Furthermore, non-trivial temporal dependence of the standard deviation of the probability distribution of the walker is found when the trapping imperfections are introduced.
In this article we investigate the effects of shifting position decoherence, arisen from the tunneling effect in the experimental realization of the quantum walk, on the one-dimensional discreet time quantum walk. We show that in the regime of this type of noise the quantum behavior of the walker does not fade, in contrary to the coin decoherence for which the walker undergos the quantum-to-classical transition even for weak noise. Particularly, we show that the quadratic dependency of the variance on the time and also the coin-position entanglement, i.e. two important quantum aspects of the c…
The Grover walk, which is related to the Grover's search algorithm on a quantum computer, is one of the typical discrete time quantum walks. However, a localization of the two-dimensional Grover walk starting from a fixed point is striking different from other types of quantum walks. The present paper explains the reason why the walker who moves according to the degree-four Grover's operator can remain at the starting point with a high probability. It is shown that the key factor for the localization is due to the degeneration of eigenvalues of the time evolution operator. In fact, the global …
A coinless, discrete-time quantum walk possesses a Hilbert space whose dimension is smaller compared to the widely-studied coined walk. Coined walks require the direct product of the site basis with the coin space, coinless walks operate purely in the site basis, which is clearly minimal. These coinless quantum walks have received considerable attention recently because they have evolution operators that can be obtained by a graphical method based on lattice tessellations and they have been shown to be as efficient as the best known coined walks when used as a quantum search algorithm. We argu…
The effect of unitary noise on the discrete one-dimensional quantum walk is studied using computer simulations. For the noiseless quantum walk, starting at the origin (n=0) at time t=0, the position distribution Pt(n) at time t is very different from the Gaussian distribution obtained for the classical random walk. Furthermore, its standard deviation, sigma(t) scales as sigma(t) ~ t, unlike the classical random walk for which sigma(t) ~ sqrt{t}. It is shown that when the quantum walk is exposed to unitary noise, it exhibits a crossover from quantum behavior for short times to classical-like be…
We examine the physical implementation of a discrete time quantum walk with a four-dimensional coin. Our quantum walker is a photon moving repeatedly through a time delay loop, with time being our position space. The quantum coin is implemented using the internal states of the photon: the polarization and two of the orbital angular momentum states. We demonstrate how to implement this physically and what components would be needed. We then illustrate some of the results that could be obtained by performing the experiment.
One-dimensional discrete-time quantum walk has played an important role in development of quantum algorithms and protocols for different quantum simulations. The speedup observed in quantum walk algorithms is attributed to quantum interference and coherence of the wave packet in position space. Similarly, localization in quantum walk due to disorder is also attributed to quantum interference effect. Therefore, it is intriguing to have a closer look and understand the way quantum interference manifests in different forms of quantum walk dynamics. Quantum coherence in the system is responsible f…
One of the proposals for the exploitation of two-dimensional quantum walks has been the efficient generation of entanglement. Unfortunately, the technological effort required for the experimental realization of standard two-dimensional quantum walks is significantly demanding. In this respect, an alternative scheme with less challenging conditions has been recently studied, particularly in terms of spatial-entanglement generation [C. Di Franco, M. Mc Gettrick, and Th. Busch, Phys. Rev. Lett. 106, 080502 (2011)]. Here, we extend the investigation to a scenario where a measurement is performed o…
We propose an alternative definition of an N-dimensional coined quantum walk by generalizing a recent proposal [Di Franco et al., Phys. Rev. Lett. 106, 080502 (2011)]. This N-dimensional alternate quantum walk, AQW_N, in contrast with the standard definition of the N-dimensional quantum walk, QW_N, requires only a coin-qubit. We discuss the quantum diffusion properties of AQW_2 and AQW_3 by analyzing their dispersion relations that reveal, in particular, the existence of diabolical points. This allows us to highlight interesting similarities with other well known physical phenomena. We also de…
I obtain the dynamics of the continuous time quantum walk on a $d$-dimensional lattice, with periodic boundary conditions, as an appropriate limit of the dynamics of the discrete time quantum walk on the same lattice. This extends the main result of arXiv:quant-ph/0606050 which proved this limit for the infinite line. By highlighting the main features of the limiting procedure, I then extend it to general graphs. For a given discrete time quantum walk on a general graph, I single out the type of continuous dynamics (Hamiltonians) that can be obtained as a limit of the discrete time dynamics.
We perform generalized measurements of a qubit by realizing the qubit as a coin in a photonic quantum walk and subjecting the walker to projective measurements. Our experimental technique can be used to realize photonically any rank-1 single-qubit positive operator-valued measure via constructing an appropriate interferometric quantum-walk network and then projectively measuring the walker's position at the final step.
We demonstrate an implementation of unambiguous state discrimination of two equally probable single-qubit states via a one-dimensional photonic quantum walk experimentally. Furthermore we experimentally realize a quantum walk algorithm for implementing a generalized measurement in terms of positive operator value measurement on a single qubit. The measurement of the single-photons' positions corresponds to a measurement of an element of the positive operator value measurement on the polarizations of the single-photons.
I introduce a new type of continuous-time quantum walk on graphs called the quantum snake walk, the basis states of which are fixed-length paths (snakes) in the underlying graph. First I analyze the quantum snake walk on the line, and I show that, even though most states stay localized throughout the evolution, there are specific states which most likely move on the line as wave packets with momentum inversely proportional to the length of the snake. Next I discuss how an algorithm based on the quantum snake walk might potentially be able to solve an extended version of the glued trees problem…
From the unitary operator used for implementing two-state discrete-time quantum walk on one-, two- and three- dimensional lattice we obtain a two-component Dirac-like Hamiltonian. In particular, using different pairs of Pauli basis as position translation states we obtain three different form of Hamiltonians for evolution on one-dimensional lattice. We extend this to two- and three-dimensional lattices using different Pauli basis states as position translation states for each dimension and show that the external coin operation, which is necessary for one-dimensional walk is not a necessary req…
This study investigates unitary equivalent classes of one-dimensional quantum walks. We prove that one-dimensional quantum walks are unitary equivalent to quantum walks of Ambainis type and that translation-invariant one-dimensional quantum walks are Szegedy walks. We also present a necessary and sufficient condition for a one-dimensional quantum walk to be a Szegedy walk.
This study investigated the unitary equivalent classes of one-dimensional quantum walks. We determined the unitary equivalent classes of one-dimensional quantum walks, two-phase quantum walks with one defect, complete two-phase quantum walks, one-dimensional quantum walks with one defect and translation-invariant one-dimensional quantum walks. The unitary equivalent classes of one-dimensional quantum walks with initial states were also considered.
The quantum walk differs fundamentally from the classical random walk in a number of ways, including its linear spreading and initial condition dependent asymmetries. Using stationary phase approximations, precise asymptotics have been derived for one-dimensional two-state quantum walks, one-dimensional three-state Grover walks, and two-dimensional four-state Grover walks. Other papers have investigated asymptotic behavior of a much larger set of two-dimensional quantum walks and it has been shown that in special cases the regions of polynomial decay can be parameterized. In this paper, we sho…
We investigate continuous-time quantum walks of two indistinguishable anyons in one-dimensional lattices with both on-site and nearest-neighbor interactions based on the fractional Jordan-Wigner transformation. It is shown that the two-body correlations in position space are symmetric about the initial sites of two quantum walkers in the Bose limit ($χ=0$ ) and Fermi limit ( $χ=1$), while in momentum space this happens only in the Bose limit. An interesting asymmetry arises in the correlation for most cases with the statistical parameter $χ$ varying in between. It turns out that the origin of …
