Partition-based discrete-time quantum walks

We introduce a family of discrete-time quantum walks, called two-partition model, based on two equivalence-class partitions of the computational basis, which establish the notion of local dynamics. This family encompasses most versions of unitary discrete-time quantum walks driven by two local operators studied in literature, such as the coined model, Szegedy’s model, and the 2-tessellable staggered model. We also analyze the connection of those models with the two-step coined model, which is driven by the square of the evolution operator of the standard discrete-time coined walk. We prove formally that the two-step coined model, an extension of Szegedy model for multigraphs, and the two-tessellable staggered model are unitarily equivalent. Then, selecting one specific model among those families is a matter of taste not generality.     

Equivalence of Szegedy’s and coined quantum walks

Szegedy’s quantum walk is a quantization of a classical random walk or Markov chain, where the walk occurs on the edges of the bipartite double cover of the original graph. To search, one can simply quantize a Markov chain with absorbing vertices. Recently, Santos proposed two alternative search algorithms that instead utilize the sign-flip oracle in Grover’s algorithm rather than absorbing vertices. In this paper, we show that these two algorithms are exactly equivalent to two algorithms involving coined quantum walks, which are walks on the vertices of the original graph with an internal degree of freedom. The first scheme is equivalent to a coined quantum walk with one walk step per query of Grover’s oracle, and the second is equivalent to a coined quantum walk with two walk steps per query of Grover’s oracle. These equivalences lie outside the previously known equivalence of Szegedy’s quantum walk with absorbing vertices and the coined quantum walk with the negative identity operator as the coin for marked vertices, whose precise relationships we also investigate.     

Establishing the equivalence between Szegedy’s and coined quantum walks using the staggered model

Coined quantum walks (QWs) are being used in many contexts with the goal of understanding quantum systems and building quantum algorithms for quantum computers. Alternative models such as Szegedy’s and continuous-time QWs were proposed taking advantage of the fact that quantum theory seems to allow different quantized versions based on the same classical model, in this case the classical random walk. In this work, we show the conditions upon which coined QWs are equivalent to Szegedy’s QWs. Those QW models have in common a large class of instances, in the sense that the evolution operators are equal when we convert the graph on which the coined QW takes place into a bipartite graph on which Szegedy’s QW takes place, and vice versa. We also show that the abstract search algorithm using the coined QW model can be cast into Szegedy’s searching framework using bipartite graphs with sinks.     

Quantum walks on simplicial complexes

We construct a new type of quantum walks on simplicial complexes as a natural extension of the well-known Szegedy walk on graphs. One can numerically observe that our proposing quantum walks possess linear spreading and localization as in the case of the Grover walk on lattices. Moreover, our numerical simulation suggests that localization of our quantum walks reflects not only topological but also geometric structures. On the other hand, our proposing quantum walk contains an intrinsic problem concerning exhibition of non-trivial behavior, which is not seen in typical quantum walks such as Grover walks on graphs.     

Quantum walk in terms of quantum Bernoulli noises

Quantum Bernoulli noises are the family of annihilation and creation operators acting on Bernoulli functionals, which satisfy a canonical anti-commutation relation in equal time. In this paper, we first present some new results concerning quantum Bernoulli noises, which themselves are interesting. Then, based on these new results, we construct a time-dependent quantum walk with infinitely many degrees of freedom. We prove that the walk has a unitary representation and hence belongs to the category of the so-called unitary quantum walks. We examine its distribution property at the vacuum initial state and some other initial states and find that it has the same limit distribution as the classical random walk, which contrasts sharply with the case of the usual quantum walks with finite degrees of freedom.     

The discrete-time quaternionic quantum walk on a graph

Recently, the quaternionic quantum walk was formulated by the first author as a generalization of discrete-time quantum walks. We deal with the right eigenvalue problem of quaternionic matrices in order to study spectra of the transition matrix of a quaternionic quantum walk. The way to obtain all the right eigenvalues of a quaternionic matrix is given. From the unitary condition on the transition matrix of a quaternionic quantum walk, we deduce some remarkable properties of it. Our main results determine all the right eigenvalues of the quaternionic quantum walk by using those of the corresponding weighted matrix. In addition, we give some examples of quaternionic quantum walks and their right eigenvalues.     

Szegedy’s quantum walk with queries

When searching for a marked vertex in a graph, Szegedy’s usual search operator is defined by using the transition probability matrix of the random walk with absorbing barriers at the marked vertices. Instead of using this operator, we analyze searching with Szegedy’s quantum walk by using reflections around the marked vertices, that is, the standard form of quantum query. We show we can boost the probability to 1 of finding a marked vertex in the complete graph. Numerical simulations suggest that the success probability can be improved for other graphs, like the two-dimensional grid. We also prove that, for a certain class of graphs, we can express Szegedy’s search operator, obtained from the absorbing walk, using the standard query model.     

The CGMV method for quantum walks

We review the main aspects of a recent approach to quantum walks, the CGMV method. This method proceeds by reducing the unitary evolution to canonical form, given by the so-called CMV matrices, which act as a link to the theory of orthogonal polynomials on the unit circle. This connection allows one to obtain results for quantum walks which are hard to tackle with other methods. Behind the above connections lies the discovery of a new quantum dynamical interpretation for well known mathematical tools in complex analysis. Among the standard examples which will illustrate the CGMV method are the famous Hadamard and Grover models, but we will go further showing that CGMV can deal even with non-translation invariant quantum walks. CGMV is not only a useful technique to study quantum walks, but also a method to construct quantum walks à la carte. Following this idea, a few more examples illustrate the versatility of the method. In particular, a quantum walk based on a construction of a measure on the unit circle due to F. Riesz will point out possible non-standard behaviours in quantum walks.     

Controllability of quantum walks on graphs

In this paper, we consider discrete time quantum walks on graphs with coin, focusing on the decentralized model, where the coin operation is allowed to change with the vertex of the graph. When the coin operations can be modified at every time step, these systems can be looked at as control systems and techniques of geometric control theory can be applied. In particular, the set of states that one can achieve can be described by studying controllability. Extending previous results, we give a characterization of the set of reachable states in terms of an appropriate Lie algebra. Controllability is verified when any unitary operation between two states can be implemented as a result of the evolution of the quantum walk. We prove general results and criteria relating controllability to the combinatorial and topological properties of the walk. In particular, controllability is verified if and only if the underlying graph is not a bipartite graph and therefore it depends only on the graph and not on the particular quantum walk defined on it. We also provide explicit algorithms for control and quantify the number of steps needed for an arbitrary state transfer. The results of the paper are of interest in quantum information theory where quantum walks are used and analyzed in the development of quantum algorithms.     

Hitting time of quantum walks with perturbation

The hitting time is the required minimum time for a Markov chain-based walk (classical or quantum) to reach a target state in the state space. We investigate the effect of the perturbation on the hitting time of a quantum walk. We obtain an upper bound for the perturbed quantum walk hitting time by applying Szegedy’s work and the perturbation bounds with Weyl’s perturbation theorem on classical matrix. Based on the definition of quantum hitting time given in MNRS algorithm, we further compute the delayed perturbed hitting time and delayed perturbed quantum hitting time (DPQHT). We show that the upper bound for DPQHT is bounded from above by the difference between the square root of the upper bound for a perturbed random walk and the square root of the lower bound for a random walk.     

Preparation of spin eigenstates including the Dicke states with generalized all-coupled interaction in a spintronic quantum computing architecture

Quantum Information Processing - In this paper, we consider an extended coined Szegedy model and discuss the existence of the point spectrum of induced quantum walks in terms of recurrence...     

Time averaged distribution of a discrete-time quantum walk on the path

The discrete time quantum walk which is a quantum counterpart of random walk plays important roles in the theory of quantum information theory. In the present paper, we focus on discrete time quantum walks viewed as quantization of random walks on the path. We obtain a weak limit theorem for the time averaged distribution of our quantum walks.     

基于一维三态量子游走的量子聚类算法

量子游走具有与经典随机游走不同的特性,因此它已经被用来解决包括元素区分、组合优化、图同构等问题。考虑量子游走和聚类两个领域,提出了一个基于一维三态离散量子游走的聚类算法。在该算法中,将数据点看作游走粒子;然后,这些粒子执行三态量子游走,接着根据粒子的测量结果更新数据点的属性值;最后,属于同一簇的数据点将会聚集,而属于不同簇的数据点将会分离。仿真实验结果表明了所提算法的有效性。     

A quantum walk on the half line with a particular initial state

Quantum walks are considered to be quantum counterparts of random walks. They show us impressive probability distributions which are different from those of random walks. That fact has been precisely proved in terms of mathematics and some of the results were reported as limit theorems. When we analyze quantum walks, some conventional methods are used for the computations; especially, the Fourier analysis has played a role to do that. It is, however, compatible with some types of quantum walks (e.g., quantum walks on the line with a spatially homogeneous dynamics) and cannot well work on the derivation of limit theorems for all the quantum walks. In this paper, we try to obtain a limit theorem for a quantum walk on the half line by the usage of the Fourier analysis. Substituting a quantum walk on the line for it, we will lead to a possibility that the Fourier analysis is useful to compute a limit distribution of the quantum walk on the half line.     

Exceptional quantum walk search on the cycle

Quantum walks are standard tools for searching graphs for marked vertices, and they often yield quadratic speedups over a classical random walk’s hitting time. In some exceptional cases, however, the system only evolves by sign flips, staying in a uniform probability distribution for all time. We prove that the one-dimensional periodic lattice or cycle with any arrangement of marked vertices is such an exceptional configuration. Using this discovery, we construct a search problem where the quantum walk’s random sampling yields an arbitrary speedup in query complexity over the classical random walk’s hitting time. In this context, however, the mixing time to prepare the initial uniform state is a more suitable comparison than the hitting time, and then, the speedup is roughly quadratic.     

Quantum walk on distinguishable non-interacting many-particles and indistinguishable two-particle

We present an investigation of many-particle quantum walks in systems of non-interacting distinguishable particles. Along with a redistribution of the many-particle density profile we show that the collective evolution of the many-particle system resembles the single-particle quantum walk evolution when the number of steps is greater than the number of particles in the system. For non-uniform initial states we show that the quantum walks can be effectively used to separate the basis states of the particle in position space and grouping like state together. We also discuss a two-particle quantum walk on a two-dimensional lattice and demonstrate an evolution leading to the localization of both particles at the center of the lattice. Finally we discuss the outcome of a quantum walk of two indistinguishable particles interacting at some point during the evolution.     

Asymptotic distributions of quantum walks on the line with two entangled coins

We advance the previous studies of quantum walks on the line with two coins. Such four-state quantum walks driven by a three-direction shift operator may have nonzero limiting probabilities (localization), thereby distinguishing them from the quantum walks on the line in the basic scenario (i.e., driven by a single coin). In this work, asymptotic position distributions of the quantum walks are examined. We derive a weak limit for the quantum walks and explicit formulas for the limiting probability distribution, whose dependencies on the coin parameter and the initial state of quantum walks are presented. In particular, it is shown that the weak limit for the present quantum walks can be of the form in the basic scenario of quantum walks on the line, for certain initial states of the walk and certain values of the coin parameter. In the case where localization occurs, we show that the limiting probability decays exponentially in the absolute value of a walker??s position, independent of the parity of time.     

Laplacian versus adjacency matrix in quantum walk search

A quantum particle evolving by Schrödinger’s equation contains, from the kinetic energy of the particle, a term in its Hamiltonian proportional to Laplace’s operator. In discrete space, this is replaced by the discrete or graph Laplacian, which gives rise to a continuous-time quantum walk. Besides this natural definition, some quantum walk algorithms instead use the adjacency matrix to effect the walk. While this is equivalent to the Laplacian for regular graphs, it is different for non-regular graphs and is thus an inequivalent quantum walk. We algorithmically explore this distinction by analyzing search on the complete bipartite graph with multiple marked vertices, using both the Laplacian and adjacency matrix. The two walks differ qualitatively and quantitatively in their required jumping rate, runtime, sampling of marked vertices, and in what constitutes a natural initial state. Thus the choice of the Laplacian or adjacency matrix to effect the walk has important algorithmic consequences.     

Discrete-time interacting quantum walks and quantum Hash schemes

Through introducing discrete-time quantum walks on the infinite line and on circles, we present a kind of two-particle interacting quantum walk which has two kinds of interactions. We investigate the characteristics of this kind of quantum walk and the time evolution of the two particles. Then we put forward a kind of quantum Hash scheme based on two-particle interacting quantum walks and discuss their feasibility and security. The security of this kind of quantum Hash scheme relies on the infinite possibilities of the initial state rather than the algorithmic complexity of hard problems, which will greatly enhance the security of the Hash schemes.     

Optimal computation with non-unitary quantum walks

Quantum versions of random walks on the line and the cycle show a quadratic improvement over classical random walks in their spreading rates and mixing times, respectively. Non-unitary quantum walks can provide a useful optimisation of these properties, producing a more uniform distribution on the line, and faster mixing times on the cycle. We investigate the interplay between quantum and random dynamics by comparing the resources required, and examining numerically how the level of quantum correlations varies during the walk. We show numerically that the optimal non-unitary quantum walk proceeds such that the quantum correlations are nearly all removed at the point of the final measurement. This requires only O(logT)$O(logT)$ random bits for a quantum walk of T$T$ steps.