Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1506.02493

Quantum walks in the density operator picture

Chaobin Liu

Published Jun 8, 2015• 0 citations
arXivHTMLPDF

Abstract

A new approach to quantum walks is presented. Considering a quantum system undergoing some unitary discrete-time evolution in a directed graph G, we think of the vertices of G as sites that are occupied by the quantum system, whose internal state is described by density operators. To formulate the unitary evolution, we define reflections in the tensor product of an internal Hilbert space and a spatial Hilbert space. We then construct unitary channels that govern the evolution of the system in the graph. The discrete dynamics of the system (called quantum walks) is obtained by iterating the unitary channel on the density operator of the quantum system. It turns out that in this framework, the action of the unitary channel on a density operator is described by the usual matrix multiplication.

DOI
10.48550/arxiv.1506.02493

Related papers

Unitary and open scattering quantum walks on graphs

Alain Joye

In this paper, we consider a class of Unitary Quantum Walks on arbitrary graphs, parameterized by a family of scattering matrices. These Scattering Quantum Walks model the discrete dynamics of a system on the graph’s edges, where a scattering process at the vertices is governed by the scattering matrices assigned to each vertex. We show the Scattering Quantum Walks encompass several known Quantum Walks. We further introduce two classes of Scattering Open Quantum Walks on arbitrary graphs, also parameterized by scattering matrices: one defined on the edges, the other on the vertices of the graph. We show these walks give rise to proper quantum channels and describe their main spectral and dynamical properties, relating them to naturally associated classical Markov chains.

arXiv:2409.08428•Reviews in Mathematical Physics•Apr 17, 2026•0 citations

Quantum Markov chains

Stanley Gudder

A new approach to quantum Markov chains is presented. We first define a transition operation matrix (TOM) as a matrix whose entries are completely positive maps whose column sums form a quantum operation. A quantum Markov chain is defined to be a pair (G,E) where G is a directed graph and E=[Eij] is a TOM whose entry Eij labels the edge from vertex j to vertex i. We think of the vertices of G as sites that a quantum system can occupy and Eij is the transition operation from site j to site i in one time step. The discrete dynamics of the system is obtained by iterating the TOM E. We next consider a special type of TOM called a transition effect matrix. In this case, there are two types of dynamics, a state dynamics and an operator dynamics. Although these two types are not identical, they are statistically equivalent. We next give examples that illustrate various properties of quantum Markov chains. We conclude by showing that our formalism generalizes the usual framework for quantum random walks.

Journal of Mathematical Physics•Jul 1, 2008•108 citations

Discrete-Time Quantum Walks on Oriented Graphs

Bruno Chagas, Renato Portugal

The interest in quantum walks has been steadily increasing during the last two decades. It is still worth to present new forms of quantum walks that might find practical applications and new physical behaviors. In this work, we define discrete-time quantum walks on arbitrary oriented graphs by partitioning a graph into tessellations, which is a collection of disjoint cliques that cover the vertex set. By using the adjacency matrices associated with the tessellations, we define local unitary operators, whose product is the evolution operator of our quantum walk model. We introduce a parameter, called alpha, that quantifies the amount of orientation. We show that the parameter alpha can be tuned in order to increase the amount of quantum walk-based transport on oriented graphs.

arXiv:2001.04814•Electronic Proceedings in Theoretical Computer Science•Apr 1, 2020•4 citations

Generator of an abstract quantum walk

Etsuo Segawa, Akito Suzuki

We consider an abstract quantum walk defined by a unitary evolution operator $U$, which acts on a Hilbert space decomposed into a direct sum of Hilbert spaces $\{\mathcal{H}_v \}_{v \in V}$. We show that such $U$ naturally defines a directed graph $G_U$ and the probability of finding a quantum walker on $G_U$. The asymptotic property of an abstract quantum walker is governed by the generator $H$ of $U$ such that $U^n = e^{inH}$. We derive the generator of an evolution of the form $U = S(2d_A^* d_A -1)$, a generalization of the Szegedy evolution operator. Here $d_A$ is a boundary operator and $S$ a shift operator.

arXiv:1508.07473•Aug 29, 2015•0 citations

Quantum walks on quotient graphs

Hari Krovi, Todd A. Brun

A discrete-time quantum walk on a graph $\ensuremath{\Gamma}$ is the repeated application of a unitary evolution operator to a Hilbert space corresponding to the graph. If this unitary evolution operator has an associated group of symmetries, then for certain initial states the walk will be confined to a subspace of the original Hilbert space. Symmetries of the original graph, given by its automorphism group, can be inherited by the evolution operator. We show that a quantum walk confined to the subspace corresponding to this symmetry group can be seen as a different quantum walk on a smaller quotient graph. We give an explicit construction of the quotient graph for any subgroup $H$ of the automorphism group and illustrate it with examples. The automorphisms of the quotient graph which are inherited from the original graph are the original automorphism group modulo the subgroup $H$ used to construct it. The quotient graph is constructed by removing the symmetries of the subgroup $H$ from the original graph. We then analyze the behavior of hitting times on quotient graphs. Hitting time is the average time it takes a walk to reach a given final vertex from a given initial vertex. It has been shown in earlier work [Phys. Rev. A 74, 042334 (2006)] that the hitting time for certain initial states of a quantum walks can be infinite, in contrast to classical random walks. We give a condition which determines whether the quotient graph has infinite hitting times given that they exist in the original graph. We apply this condition for the examples discussed and determine which quotient graphs have infinite hitting times. All known examples of quantum walks with hitting times which are short compared to classical random walks correspond to systems with quotient graphs much smaller than the original graph; we conjecture that the existence of a small quotient graph with finite hitting times is necessary for a walk to exhibit a quantum speedup.

arXiv:quant-ph/0701173•Physical Review A•Jun 27, 2007•75 citations

Discrete-time quantum walks in synthetic dimensions

Piergiorgio Ferraro, Caio B. Naves, Jonas Larson

In this work we introduce discrete-time quantum walks in state space, more precisely on Fock-state lattices. Fock-state lattices provide a natural and clean setting for implementing lattice models, particularly in quantum optical systems. Thus, contrary to the common setting where the walker resides in real space or phase space, here the walk takes place in a synthetic space. We present a general formalism based on Lie algebras and their properties. For each Lie algebra one can associate both a phase space and a Fock-state lattice, and by understanding how these spaces are related, together with the action of generalized displacement operators, we construct the discrete unitary operator that generates the walk. In this framework the displacement operators replace the usual nearest-neighbor shifts and lead to state-dependent tunneling on the lattice. By considering several examples we demonstrate ballistic spreading and other characteristic features of discrete-time quantum walks, such as coin-walker entanglement and symmetry-induced interference patterns. We also show that different algebraic structures can give rise to qualitatively different dynamics, including anomalous behavior such as super-ballistic spreading as well as localization effects.

quant-pharXiv:2604.09357•Apr 13, 2026•0 citations
A new approach to quantum walks is presented. Considering a quantum system undergoing some unitary discrete-time evolution in a directed graph G, we think of the vertices of G as sites that are occupied by the quantum system, whose internal state is described by density operators. To formulate the unitary evolution, we define reflections in the tensor product of an internal Hilbert space and a spatial Hilbert space. We then construct unitary channels that govern the evolution of the system in the graph. The discrete dynamics of the system (called quantum walks) is obtained by iterating the unitary channel on the density operator of the quantum system. It turns out that in this framework, the action of the unitary channel on a density operator is described by the usual matrix multiplication.
In this paper, we consider a class of Unitary Quantum Walks on arbitrary graphs, parameterized by a family of scattering matrices. These Scattering Quantum Walks model the discrete dynamics of a system on the graph’s edges, where a scattering process at the vertices is governed by the scattering matrices assigned to each vertex. We show the Scattering Quantum Walks encompass several known Quantum Walks. We further introduce two classes of Scattering Open Quantum Walks on arbitrary graphs, also parameterized by scattering matrices: one defined on the edges, the other on the vertices of the graph. We show these walks give rise to proper quantum channels and describe their main spectral and dynamical properties, relating them to naturally associated classical Markov chains.
A new approach to quantum Markov chains is presented. We first define a transition operation matrix (TOM) as a matrix whose entries are completely positive maps whose column sums form a quantum operation. A quantum Markov chain is defined to be a pair (G,E) where G is a directed graph and E=[Eij] is a TOM whose entry Eij labels the edge from vertex j to vertex i. We think of the vertices of G as sites that a quantum system can occupy and Eij is the transition operation from site j to site i in one time step. The discrete dynamics of the system is obtained by iterating the TOM E. We next consider a special type of TOM called a transition effect matrix. In this case, there are two types of dynamics, a state dynamics and an operator dynamics. Although these two types are not identical, they are statistically equivalent. We next give examples that illustrate various properties of quantum Markov chains. We conclude by showing that our formalism generalizes the usual framework for quantum random walks.
The interest in quantum walks has been steadily increasing during the last two decades. It is still worth to present new forms of quantum walks that might find practical applications and new physical behaviors. In this work, we define discrete-time quantum walks on arbitrary oriented graphs by partitioning a graph into tessellations, which is a collection of disjoint cliques that cover the vertex set. By using the adjacency matrices associated with the tessellations, we define local unitary operators, whose product is the evolution operator of our quantum walk model. We introduce a parameter, called alpha, that quantifies the amount of orientation. We show that the parameter alpha can be tuned in order to increase the amount of quantum walk-based transport on oriented graphs.
We consider an abstract quantum walk defined by a unitary evolution operator UUU, which acts on a Hilbert space decomposed into a direct sum of Hilbert spaces {Hv}v∈V\{\mathcal{H}_v \}_{v \in V}{Hv​}v∈V​. We show that such UUU naturally defines a directed graph GUG_UGU​ and the probability of finding a quantum walker on GUG_UGU​. The asymptotic property of an abstract quantum walker is governed by the generator HHH of UUU such that Un=einHU^n = e^{inH}Un=einH. We derive the generator of an evolution of the form U=S(2dA∗dA−1)U = S(2d_A^* d_A -1)U=S(2dA∗​dA​−1), a generalization of the Szegedy evolution operator. Here dAd_AdA​ is a boundary operator and SSS a shift operator.
A discrete-time quantum walk on a graph $\ensuremath{\Gamma}$ is the repeated application of a unitary evolution operator to a Hilbert space corresponding to the graph. If this unitary evolution operator has an associated group of symmetries, then for certain initial states the walk will be confined to a subspace of the original Hilbert space. Symmetries of the original graph, given by its automorphism group, can be inherited by the evolution operator. We show that a quantum walk confined to the subspace corresponding to this symmetry group can be seen as a different quantum walk on a smaller quotient graph. We give an explicit construction of the quotient graph for any subgroup HHH of the automorphism group and illustrate it with examples. The automorphisms of the quotient graph which are inherited from the original graph are the original automorphism group modulo the subgroup HHH used to construct it. The quotient graph is constructed by removing the symmetries of the subgroup HHH from the original graph. We then analyze the behavior of hitting times on quotient graphs. Hitting time is the average time it takes a walk to reach a given final vertex from a given initial vertex. It has been shown in earlier work [Phys. Rev. A 74, 042334 (2006)] that the hitting time for certain initial states of a quantum walks can be infinite, in contrast to classical random walks. We give a condition which determines whether the quotient graph has infinite hitting times given that they exist in the original graph. We apply this condition for the examples discussed and determine which quotient graphs have infinite hitting times. All known examples of quantum walks with hitting times which are short compared to classical random walks correspond to systems with quotient graphs much smaller than the original graph; we conjecture that the existence of a small quotient graph with finite hitting times is necessary for a walk to exhibit a quantum speedup.
In this work we introduce discrete-time quantum walks in state space, more precisely on Fock-state lattices. Fock-state lattices provide a natural and clean setting for implementing lattice models, particularly in quantum optical systems. Thus, contrary to the common setting where the walker resides in real space or phase space, here the walk takes place in a synthetic space. We present a general formalism based on Lie algebras and their properties. For each Lie algebra one can associate both a phase space and a Fock-state lattice, and by understanding how these spaces are related, together with the action of generalized displacement operators, we construct the discrete unitary operator that generates the walk. In this framework the displacement operators replace the usual nearest-neighbor shifts and lead to state-dependent tunneling on the lattice. By considering several examples we demonstrate ballistic spreading and other characteristic features of discrete-time quantum walks, such as coin-walker entanglement and symmetry-induced interference patterns. We also show that different algebraic structures can give rise to qualitatively different dynamics, including anomalous behavior such as super-ballistic spreading as well as localization effects.