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:2003.12732

Categories of quantum walks

Hiroki Sako

Published Mar 28, 2020• 0 citations
arXivHTMLPDF

Abstract

We propose categories of $1$-dimensional and multi-dimensional quantum walks. In the categories, an object is a quantum walk, and a morphism is an intertwining operator between two quantum walks. The new framework enables us to discuss quantum walks in a unified way. The purposes of this paper are the following: (1) We reinterpret known results in our new framework. (2) We show several new theorems. For example, it is proved that every space-homogeneous time-periodic analytic quantum walk on $\mathbb{Z}^d$ has a limit distribution of velocity for every initial unit vector. Analyticity is a very weak condition. (3) We ask whether there exists a continuous-time quantum walk $(V^{(t)})_{t \in \mathbb{R}}$ which realizes a given discrete-time quantum walk $U$. Existence of $(V^{(t)})_{t \in \mathbb{R}}$ is equivalent to that of a $1$-parameter group of automorphisms $(V^{(t)})_{t \in \mathbb{R}}$ from the object $U$ to $U$.

DOI
10.48550/arxiv.2003.12732

Related papers

Intertwining operators between one-dimensional space-homogeneous quantum walks

Hiroki Sako

The subject of this paper is a kind of dynamical systems called quantum walks. We study one-dimensional homogeneous analytic quantum walks $U$. We explain how to identify the space of all the uniform intertwining operators between these walks. We can also determine whether $U$ can be realized by a (not necessarily homogeneous) continuous-time uniform quantum walk on $\mathbb{Z}$. Several examples of quantum walks, which can not be realized by continuous-time uniform quantum walks, are presented. The 4-state Grover walk is one of them. Before stating the main theorems, we clarify the definition of one-dimensional quantum walks. For the first half of this paper, we study basic properties of one-dimensional quantum walks, which are not necessarily homogeneous. An equivalence relation between quantum walks called similarity is also introduced. This allows us to manipulate quantum walks in a flexible manner.

Journal of the Mathematical Society of Japan•Mar 9, 2026•0 citations

Continuous limit of discrete quantum walks

M N Dheeraj, Todd A. Brun

Quantum walks can be defined in two quite distinct ways: discrete-time and continuous-time quantum walks (DTQWs and CTQWs). For classical random walks, there is a natural sense in which continuous-time walks are a limit of discrete-time walks. Quantum mechanically, in the discrete-time case, an additional ``coin space'' must be appended for the walk to have nontrivial time evolution. Continuous-time quantum walks, however, have no such constraints. This means that there is no completely straightforward way to treat a CTQW as a limit of a DTQW, as can be done in the classical case. Various approaches to this problem have been taken in the past. We give a construction for walks on $d$-regular, $d$-colorable graphs when the coin flip operator is Hermitian: from a standard DTQW we construct a family of discrete-time walks with a well-defined continuous-time limit on a related graph. One can think of this limit as a ``coined'' continuous-time walk. We show that these CTQWs share some properties with coined DTQWs. In particular, we look at a spatial search by a DTQW over the two-dimensional (2D) torus (a grid with periodic boundary conditions) of size $\sqrt{N}\ifmmode\times\else\texttimes\fi{}\sqrt{N}$, where it was shown that a coined DTQW can search in time $O(\sqrt{N}logN)$, but a standard CTQW takes $\mathrm{\ensuremath{\Omega}}(N)$ time to search for a marked element. The continuous limit of the DTQW search over the 2D torus exhibits the $O(\sqrt{N}logN)$ scaling, like the coined walk it is derived from. We also look at the effects of graph symmetry on the limiting walk, and show that the properties are similar to those of the DTQW as shown in Krovi and Brun, Phys. Rev. A 75, 062332 (2007).

arXiv:1501.06950•Physical Review A•Jun 5, 2015•17 citations

Intertwining operators between one-dimensional homogeneous quantum walks

Hiroki Sako

The subject of this paper is a kind of dynamical systems called quantum walks. We study one-dimensional homogeneous analytic quantum walks U. We explain how to identify the space of all the uniform intertwining operators between these walks. We can also determine whether U can be realized by a (not necessarily homogeneous) continuous-time uniform quantum walk on Z. Several examples of quantum walks, which can not be realized by continuous-time uniform quantum walks, are presented. The 4-state Grover walk is one of them. Before stating the main theorems, we clarify the definition of one-dimensional quantum walks. For the first half of this paper, we study basic properties of one-dimensional quantum walks, which are not necessarily homogeneous. An equivalence relation between quantum walks called similarity is also introduced. This allows us to manipulate quantum walks in a flexible manner.

arXiv:1902.02479•Feb 7, 2019•1 citation

Space-homogeneous quantum walks on $\mathbb{Z}$ from the viewpoint of complex analysis

Hayato Saigo, Hiroki Sako

The subject of this paper is quantum walks, which are expected to simulate several kinds of quantum dynamical systems. In this paper, we define analyticity for quantum walks on $\mathbb{Z}$. Almost all the quantum walks on $\mathbb{Z}$ which have been already studied are analytic. In the framework of analytic quantum walks, we can enlarge the theory of quantum walks. We obtain not only several generalizations of known results, but also new types of theorems. It is proved that every analytic space-homogeneous quantum walk on $\mathbb{Z}$ is essentially a composite of shift operators and continuous-time analytic space-homogeneous quantum walks. We also prove existence of the weak limit distribution for analytic space-homogeneous quantum walks on $\mathbb{Z}$.

Journal of the Mathematical Society of Japan•Aug 16, 2020•4 citations

Space-homogeneous quantum walks on Z from the viewpoint of complex analysis

Hayato Saigo, Hiroki Sako

The subject of this paper is quantum walks, which are expected to simulate several kinds of quantum dynamical systems. In this paper, we define analyticity for quantum walks on Z. Almost all the quantum walks on $\mathbb{Z}$ which have been already studied are analytic. In the framework of analytic quantum walks, we can enlarge the theory of quantum walks. We obtain not only several generalizations of known results, but also new types of theorems. It is proved that every analytic space-homogeneous quantum walk on Z is essentially a composite of shift operators and continuous-time analytic space-homogeneous quantum walks. We also prove existence of the weak limit distribution for analytic space-homogeneous quantum walks on Z.

arXiv:1802.01837•Feb 6, 2018•0 citations

Connection Between Continuous and Discrete Time Quantum Walks on d-Dimensional Lattices; Extensions to General Graphs

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 [8] which proved this limit for the case of the quantum walk on the infinite line and the quantum cellular automaton proposed in [1]. 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. 1 Generalities on quantum walks; continuous and discrete time Consider a graph G: = {V, E} with a set of vertices V of cardinality N and a set of edges E. We assume G to be undirected and without self-loops. In the interval of time ∆t a certain fraction γ∆t of a quantity pj leaves the location of the j-th vertex to move to a neighboring vertex k. The quantity pj, j = 1,..., N, at time t + ∆t is given by 1 pj(t + ∆t) = pj(t) − deg (j)γ∆tpj(t) + ∑ (k,j)∈E γ∆tpk(t). (1) Define ⃗p the N−vector whose components are the pj’s quantities, and L the Laplacian matrix defined by Ljj = − deg (j), Ljk = 1 if (j, k) ∈ E and Ljk = 0 otherwise. L is

•Jan 1, 2009•11 citations
We propose categories of 111-dimensional and multi-dimensional quantum walks. In the categories, an object is a quantum walk, and a morphism is an intertwining operator between two quantum walks. The new framework enables us to discuss quantum walks in a unified way. The purposes of this paper are the following: (1) We reinterpret known results in our new framework. (2) We show several new theorems. For example, it is proved that every space-homogeneous time-periodic analytic quantum walk on Zd\mathbb{Z}^dZd has a limit distribution of velocity for every initial unit vector. Analyticity is a very weak condition. (3) We ask whether there exists a continuous-time quantum walk (V(t))t∈R(V^{(t)})_{t \in \mathbb{R}}(V(t))t∈R​ which realizes a given discrete-time quantum walk UUU. Existence of (V(t))t∈R(V^{(t)})_{t \in \mathbb{R}}(V(t))t∈R​ is equivalent to that of a 111-parameter group of automorphisms (V(t))t∈R(V^{(t)})_{t \in \mathbb{R}}(V(t))t∈R​ from the object UUU to UUU.
The subject of this paper is a kind of dynamical systems called quantum walks. We study one-dimensional homogeneous analytic quantum walks UUU. We explain how to identify the space of all the uniform intertwining operators between these walks. We can also determine whether UUU can be realized by a (not necessarily homogeneous) continuous-time uniform quantum walk on Z\mathbb{Z}Z. Several examples of quantum walks, which can not be realized by continuous-time uniform quantum walks, are presented. The 4-state Grover walk is one of them. Before stating the main theorems, we clarify the definition of one-dimensional quantum walks. For the first half of this paper, we study basic properties of one-dimensional quantum walks, which are not necessarily homogeneous. An equivalence relation between quantum walks called similarity is also introduced. This allows us to manipulate quantum walks in a flexible manner.
Quantum walks can be defined in two quite distinct ways: discrete-time and continuous-time quantum walks (DTQWs and CTQWs). For classical random walks, there is a natural sense in which continuous-time walks are a limit of discrete-time walks. Quantum mechanically, in the discrete-time case, an additional ``coin space'' must be appended for the walk to have nontrivial time evolution. Continuous-time quantum walks, however, have no such constraints. This means that there is no completely straightforward way to treat a CTQW as a limit of a DTQW, as can be done in the classical case. Various approaches to this problem have been taken in the past. We give a construction for walks on ddd-regular, ddd-colorable graphs when the coin flip operator is Hermitian: from a standard DTQW we construct a family of discrete-time walks with a well-defined continuous-time limit on a related graph. One can think of this limit as a ``coined'' continuous-time walk. We show that these CTQWs share some properties with coined DTQWs. In particular, we look at a spatial search by a DTQW over the two-dimensional (2D) torus (a grid with periodic boundary conditions) of size $\sqrt{N}\ifmmode\times\else\texttimes\fi{}\sqrt{N}$, where it was shown that a coined DTQW can search in time O(NlogN)O(\sqrt{N}logN)O(N​logN), but a standard CTQW takes $\mathrm{\ensuremath{\Omega}}(N)$ time to search for a marked element. The continuous limit of the DTQW search over the 2D torus exhibits the O(NlogN)O(\sqrt{N}logN)O(N​logN) scaling, like the coined walk it is derived from. We also look at the effects of graph symmetry on the limiting walk, and show that the properties are similar to those of the DTQW as shown in Krovi and Brun, Phys. Rev. A 75, 062332 (2007).
The subject of this paper is a kind of dynamical systems called quantum walks. We study one-dimensional homogeneous analytic quantum walks U. We explain how to identify the space of all the uniform intertwining operators between these walks. We can also determine whether U can be realized by a (not necessarily homogeneous) continuous-time uniform quantum walk on Z. Several examples of quantum walks, which can not be realized by continuous-time uniform quantum walks, are presented. The 4-state Grover walk is one of them. Before stating the main theorems, we clarify the definition of one-dimensional quantum walks. For the first half of this paper, we study basic properties of one-dimensional quantum walks, which are not necessarily homogeneous. An equivalence relation between quantum walks called similarity is also introduced. This allows us to manipulate quantum walks in a flexible manner.
Space-homogeneous quantum walks on Z\mathbb{Z}Z from the viewpoint of complex analysis
The subject of this paper is quantum walks, which are expected to simulate several kinds of quantum dynamical systems. In this paper, we define analyticity for quantum walks on Z\mathbb{Z}Z. Almost all the quantum walks on Z\mathbb{Z}Z which have been already studied are analytic. In the framework of analytic quantum walks, we can enlarge the theory of quantum walks. We obtain not only several generalizations of known results, but also new types of theorems. It is proved that every analytic space-homogeneous quantum walk on Z\mathbb{Z}Z is essentially a composite of shift operators and continuous-time analytic space-homogeneous quantum walks. We also prove existence of the weak limit distribution for analytic space-homogeneous quantum walks on Z\mathbb{Z}Z.
The subject of this paper is quantum walks, which are expected to simulate several kinds of quantum dynamical systems. In this paper, we define analyticity for quantum walks on Z. Almost all the quantum walks on Z\mathbb{Z}Z which have been already studied are analytic. In the framework of analytic quantum walks, we can enlarge the theory of quantum walks. We obtain not only several generalizations of known results, but also new types of theorems. It is proved that every analytic space-homogeneous quantum walk on Z is essentially a composite of shift operators and continuous-time analytic space-homogeneous quantum walks. We also prove existence of the weak limit distribution for analytic space-homogeneous quantum walks on Z.
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 [8] which proved this limit for the case of the quantum walk on the infinite line and the quantum cellular automaton proposed in [1]. 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. 1 Generalities on quantum walks; continuous and discrete time Consider a graph G: = {V, E} with a set of vertices V of cardinality N and a set of edges E. We assume G to be undirected and without self-loops. In the interval of time ∆t a certain fraction γ∆t of a quantity pj leaves the location of the j-th vertex to move to a neighboring vertex k. The quantity pj, j = 1,..., N, at time t + ∆t is given by 1 pj(t + ∆t) = pj(t) − deg (j)γ∆tpj(t) + ∑ (k,j)∈E γ∆tpk(t). (1) Define ⃗p the N−vector whose components are the pj’s quantities, and L the Laplacian matrix defined by Ljj = − deg (j), Ljk = 1 if (j, k) ∈ E and Ljk = 0 otherwise. L is