Takuya Machida

Alternate two-dimensional quantum walk with a single-qubit coin

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. 106, 080502 (2011)]. For a particular initial state of the coin, this walk is able to perfectly reproduce the spatial probability distribution of the nonlocalized 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 more complete picture of our walk. We show that this scheme outperforms the Grover walk in the generation of x-y spatial entanglement for any initial condition, with the maximum entanglement obtained in the case of the particular aforementioned state. Finally, the equivalence is generalized to wider classes of quantum walks and a limit theorem for the alternate walk in this context is presented.

LIMIT THEOREMS FOR A LOCALIZATION MODEL OF 2-STATE QUANTUM WALKS

We consider 2-state quantum walks (QWs) on the line, which are defined by two matrices. One of the matrices operates the walk at only half-time. In the usual QWs, localization does not occur at all. However, our walk can be localized around the origin. In this paper, we present two limit theorems, that is, one is a stationary distribution and the other is a convergence theorem in distribution.

Limit Theorem for a Time-Dependent Coined Quantum Walk on the Line

We study time-dependent discrete-time quantum walks on the one-dimensional lattice. We compute the limit distribution of a two-period quantum walk defined by two orthogonal matrices. For the symmetric case, the distribution is determined by one of two matrices. Moreover, limit theorems for two special cases are presented.

Localization and limit laws of a three-state alternate quantum walk on a two-dimensional lattice

A two-dimensional discrete-time quantum walk (DTQW) can be realized by alternating a two-state DTQW in one spatial dimension followed by an evolution in the other dimension. This was shown to reproduce a probability distribution for a certain configuration of a four-state DTQW on a two-dimensional lattice. In this work we present a three-state alternate DTQW with a parametrized coin-flip operator and show that it can produce localization that is also observed for a certain other configuration of the four-state DTQW and nonreproducible using the two-state alternate DTQW. We will present two limit theorems for the three-state alternate DTQW. One of the limit theorems describes a long-time limit of a return probability, and the other presents a convergence in distribution for the position of the walker on a rescaled space by time. We find that the spatial entanglement generated by the three-state alternate DTQW is higher than that by the four-state DTQW. Using all our results, we outline the relevance of these walks in three-level physical systems.

Trapping and spreading properties of quantum walk in homological structure

We attempt to extract a homological structure of two kinds of graphs by the Grover walk. The first one consists of a cycle and two semi-infinite lines, and the second one is assembled by a periodic embedding of the cycles in

Measurement-Induced Generation of Spatial Entanglement in a Two-Dimensional Quantum Walk with Single-Qubit Coin

\mathbb {Z}

A limit law of the return probability for a quantum walk on a hexagonal lattice

Z. We show that both of them have essentially the same eigenvalues induced by the existence of cycles in the infinite graphs. The eigenspace of the homological structure appears as so called localization in the Grover walks, in which the walk is partially trapped by the homological structure. On the other hand, the difference of the absolutely continuous part of spectrum between them provides different behaviors. We characterize the behaviors by the density functions in the weak convergence theorem: The first one is the delta measure at the bottom, while the second one is expressed by two kinds of continuous functions, which have different finite supports