Higher-Dimensional Quantum Walk in Terms of Quantum Bernoulli Noises

Abstract

As a discrete-time quantum walk model on the one-dimensional integer lattice $\mathbb{Z}$, the quantum walk recently constructed by Wang and Ye [Caishi Wang and Xiaojuan Ye, Quantum walk in terms of quantum Bernoulli noises, Quantum Information Processing 15 (2016), 1897–1908] exhibits quite different features. In this paper, we extend this walk to a higher dimensional case. More precisely, for a general positive integer $d\ge 2$, by using quantum Bernoulli noises we introduce a model of discrete-time quantum walk on the d-dimensional integer lattice ${\mathbb{Z}}^d$, which we call the d-dimensional QBN walk. The d-dimensional QBN walk shares the same coin space with the quantum walk constructed by Wang and Ye, although it is a higher dimensional extension of the latter. Moreover we prove that, for a range of choices of its initial state, the d-dimensional QBN walk has a limit probability distribution of d-dimensional standard Gauss type, which is in sharp contrast with the case of the usual higher dimensional quantum walks. Some other results are also obtained.

1. Introduction

As quantum analogs of classical random walks, quantum walks [1] have found wide application in quantum information, quantum computing and many other fields [2,3]. In the past two decades, quantum walks with a finite number of internal degrees of freedom have been intensively studied and many deep results have been obtained (see [2,3,4,5,6] and references therein). For example, Konno [5] found that a one-dimensional quantum walk with two internal degrees of freedom usually has a limit probability distribution with scaling speed n, instead of $\sqrt{n}$, which is far from being Gaussian.

Quantum Bernoulli noises refer to the family of annihilation and creation operators acting on Bernoulli functionals, which satisfy a canonical anti-commutation relation (CAR) in equal time, and can provide an approach to the effects of environment on an open quantum system [7,8]. In 2016, by using quantum Bernoulli noises, Wang and Ye [9] introduced a discrete-time quantum walk model on the one-dimensional integer lattice $\mathbb{Z}$, which we call the one-dimensional QBN walk below.

Belonging to the category of unitary quantum walks, the one-dimensional QBN walk, however, exhibits quite different features. It takes the space $\mathcal{H}$ of square integrable Bernoulli functionals as its coin space, hence has infinitely many internal degrees of freedom since $\mathcal{H}$ is infinite-dimensional. Moreover, for some special choices of the initial state, it has the same limit probability distribution as the classical random walk [9], which is in marked contrast to the case of the usual unitary quantum walks (e.g., the Hadamard walk [5]). From a physical point of view [10], this behavior of the one-dimensional QBN walk might help understand the effects of decoherence in quantum walks.

Recent years have seen much attention paid to quantum walks on higher dimensional integer lattices. Mackay et al. [11] extended the Hadamard walk to a higher dimensional case and examined the time dependence of the standard deviation. Segawa and Konno [12] considered a quantum walk driven by many coins and found that the number of coins can have an important effect on the behavior of the walk. More recently, Komatsu and Konno [4] investigated stationary amplitudes of quantum walks on the higher-dimensional integer lattice. There are other works about quantum walks on higher dimensional integer lattices (see e.g., [13,14,15]).

In this paper, we would like to extend the one-dimensional QBN walk to a higher dimensional case. More precisely, for a general positive integer $d\ge 2$, we will use quantum Bernoulli noises to introduce a model of discrete-time quantum walk on the d-dimensional integer lattice ${\mathbb{Z}}^d$. Our main work is as follows.

• For each $n\ge 0$, by using quantum Bernoulli noises, we construct $2^d$ self-adjoint operators $C_n^{\left(\epsilon \right)}$, $\epsilon \in {\{-1,+1\}}^d$, which act on the space $\mathcal{H}$ of square integrable Bernoulli functionals. We prove that $C_n^{\left(\epsilon \right)}$, $\epsilon \in {\{-1,+1\}}^d$ are pairwise orthogonal and moreover their sum is unitary.
• By taking the operators $C_n^{\left(\epsilon \right)}$, $\epsilon \in {\{-1,+1\}}^d$, $n\ge 0$ as coin operators, we establish a model of discrete-time quantum walk on ${\mathbb{Z}}^d$, which we call the d-dimensional QBN walk. Of this walk, we obtain a unitary representation in the function space $l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)$ and a characterization in the tensor space $l^2\left({\mathbb{Z}}^d\right)\otimes \mathcal{H}$.
• Under some mild conditions, we obtain a link between amplitudes of the d-dimensional QBN walk and those of the one-dimensional QBN walk. And based on this link, we find that, for a range of choices of its initial state, the d-dimensional QBN walk has a limit probability distribution of d-dimensional standard Gauss type.

As is seen, the coin space of the d-dimensional QBN walk is just the space $\mathcal{H}$ of square integrable Bernoulli functionals, which is infinite-dimensional. Thus the d-dimensional QBN walk has infinitely many internal degrees of freedom. It should be also mentioned that the d-dimensional QBN walk shares the same coin space with the one-dimensional QBN walk, although it is a higher dimensional extension of the latter.

This paper consists of five sections. In Section 2, we briefly recall some necessary notions and facts about quantum Bernoulli noises. Our main work then lies in Section 3 and Section 4. Here, among others, we prove several supporting theorems, define our quantum walk model and examine its fundamental properties. Finally in Section 5, we make some conclusion remarks.

2. Preliminaries

In this section, we briefly recall some necessary notions and facts about quantum Bernoulli noises. We refer to [7] for details about quantum Bernoulli noises.

Throughout this paper, $\mathbb{Z}$ always denotes the set of all integers, while $\mathbb{N}$ means the set of all nonnegative integers. We denote by $\mathsf{\Gamma }$ the finite power set of $\mathbb{N}$, namely

$$\mathsf{\Gamma }=\{\sigma \mid \sigma \subset \mathbb{N}\mathrm{and}\#\sigma <\infty \},$$

(1)

where $\#\sigma$ means the cardinality of $\sigma$. Unless otherwise stated, letters like j, k and n stand for nonnegative integers, namely elements of $\mathbb{N}$.

Let $\mathsf{\Omega }$ be the set of all mappings $\omega :\mathbb{N}\mapsto \{-1,1\}$, and ${\left({\zeta }_n\right)}_{n\ge 0}$ the sequence of canonical projections on $\mathsf{\Omega }$ given by

$${\zeta }_n\left(\omega \right)=\omega \left(n\right),\omega \in \mathsf{\Omega }.$$

(2)

Let $\mathcal{F}$ be the $\sigma$-field on $\mathsf{\Omega }$ generated by the sequence ${\left({\zeta }_n\right)}_{n\ge 0}$, and ${\left(p_n\right)}_{n\ge 0}$ a given sequence of positive numbers with the property that $0<p_n<1$ for all $n\ge 0$. Then there exists a unique probability measure $\mathbb{P}$ on $\mathcal{F}$ such that

$$\mathbb{P}\circ {({\zeta }_{n_1},{\zeta }_{n_2},\cdots ,{\zeta }_{n_k})}^{-1}\left\{({ϵ}_1,{ϵ}_2,\cdots ,{ϵ}_k)\right\}=\prod _{j=1}^k{p}_j^{\frac{1+{ϵ}_j}{2}}{(1-p_j)}^{\frac{1-{ϵ}_j}{2}}$$

(3)

for $n_j\in \mathbb{N}$, ${ϵ}_j\in \{-1,1\}$ ($1\le j\le k$) with $n_i\ne n_j$ when $i\ne j$ and $k\in \mathbb{N}$ with $k\ge 1$. Thus one has a probability measure space $(\mathsf{\Omega },\mathcal{F},\mathbb{P})$, which is referred to as the Bernoulli space and random variables on it are known as Bernoulli functionals.

Let $Z={\left(Z_n\right)}_{n\ge 0}$ be the sequence of Bernoulli functionals generated by sequence ${\left({\zeta }_n\right)}_{n\ge 0}$, namely

$$Z_n=\frac{{\zeta }_n+q_n-p_n}{2\sqrt{p_n{q}_n}},n\ge 0,$$

(4)

where $q_n=1-p_n$. Clearly $Z={\left(Z_n\right)}_{n\ge 0}$ is an independent sequence of random variables on the probability measure space $(\mathsf{\Omega },\mathcal{F},\mathbb{P})$. Let $\mathcal{H}$ be the space of square integrable complex-valued Bernoulli functionals, namely

$$\mathcal{H}=L^2(\mathsf{\Omega },\mathcal{F},\mathbb{P}).$$

(5)

We denote by $\langle ·,·\rangle$ the usual inner product of the space $\mathcal{H}$, and by $\parallel ·\parallel$ the corresponding norm. It is known that Z has the chaotic representation property. Thus $\mathfrak{Z}=\{Z_{\sigma }\mid \sigma \in \mathsf{\Gamma }\}$ form an orthonormal basis (ONB) of $\mathcal{H}$, which is known as the canonical ONB of $\mathcal{H}$. Here $Z_{\varnothing }=1$ and

$$Z_{\sigma }=\prod _{j\in \sigma }{Z}_j,\sigma \in \mathsf{\Gamma },\sigma \ne \varnothing .$$

(6)

Clearly $\mathcal{H}$ is infinite-dimensional as a complex Hilbert space.

Lemma 1.

([7]) For each $k\in \mathbb{N}$, there exists a bounded operator ${\partial }_k$ on $\mathcal{H}$ such that

$${\partial }_k{Z}_{\sigma }={\mathbf{1}}_{\sigma }\left(k\right)Z_{\sigma \setminus k},{\partial }_k^{\ast }{Z}_{\sigma }=[1-{\mathbf{1}}_{\sigma }\left(k\right)]Z_{\sigma \cup k}\sigma \in \mathsf{\Gamma },\sigma \in \mathsf{\Gamma },$$

(7)

where ${\partial }_k^{\ast }$ denotes the adjoint of ${\partial }_k$, $\sigma \setminus k=\sigma \setminus \left\{k\right\}$, $\sigma \cup k=\sigma \cup \left\{k\right\}$ and ${\mathbf{1}}_{\sigma }\left(k\right)$ the indicator of σ as a subset of $\mathbb{N}$.

The operators ${\partial }_k$ and ${\partial }_k^{\ast }$ are usually known as the annihilation and creation operators acting on Bernoulli functionals, respectively. And the family ${\{{\partial }_k,{\partial }_k^{\ast }\}}_{k\ge 0}$ is referred to as quantum Bernoulli noises. The next lemma shows that quantum Bernoulli noises satisfy the canonical anti-commutation relations (CAR) in equal-time.

Lemma 2.

([7]) Let k, $l\in \mathbb{N}$. Then it holds true that

$${\partial }_k{\partial }_l={\partial }_l{\partial }_k,{\partial }_k^{\ast }{\partial }_l^{\ast }={\partial }_l^{\ast }{\partial }_k^{\ast },{\partial }_k^{\ast }{\partial }_l={\partial }_l{\partial }_k^{\ast }(k\ne l)$$

(8)

and

$${\partial }_k{\partial }_k={\partial }_k^{\ast }{\partial }_k^{\ast }=0,{\partial }_k{\partial }_k^{\ast }+{\partial }_k^{\ast }{\partial }_k=I,$$

(9)

where I is the identity operator on $\mathcal{H}$.

For a nonnegative integer $n\ge 0$, one can define, respectively, two self-adjoint operators $L_n$ and $R_n$ on $\mathcal{H}$ in the following manner

$$L_n=\frac{1}{2}({\partial }_n^{\ast }+{\partial }_n-I),R_n=\frac{1}{2}({\partial }_n^{\ast }+{\partial }_n+I),$$

(10)

where I is the identity operator on $\mathcal{H}$. It then follows from Lemma 2 that the operators $L_n$, $R_n$, $n\ge 0$, form a commutative family, namely

$$L_k{L}_l=L_l{L}_k,R_k{L}_l=L_l{R}_k,R_k{R}_l=R_l{R}_k,k,l\ge 0.$$

(11)

Lemma 3.

([9]) For all $n\ge 0$, $R_n+L_n$ is a unitary operator on $\mathcal{H}$ and moreover it holds that

$$R_n^2=R_n,R_n{L}_n=L_n{R}_n=0,L_n^2=-L_n.$$

(12)

In view of the commutativity of family $\{L_n,R_n\mid n\ge 0\}$, we can naturally introduce the following symbols

$$L_{\sigma }=\prod _{k\in \sigma }{L}_k,\sigma \ne \varnothing ,\sigma \in \mathsf{\Gamma }$$

(13)

and $L_{\varnothing }=I$, the identity operator on $\mathcal{H}$. Similarly we can define $R_{\sigma }$ for any $\sigma \in \mathsf{\Gamma }$. It can be verified that $L_{\sigma }$, $R_{\sigma }$, $\sigma \in \mathsf{\Gamma }$ also form a commutative family of self-adjoint operators on $\mathcal{H}$. Additionally, it can be shown that $L_{\sigma }{R}_{\tau }=0$ whenever $\sigma$, $\tau \in \mathsf{\Gamma }$ with $\sigma \cap \tau \ne \varnothing$.

3. Definition and Fundamental Properties

In this section, we prove some supporting theorems, present the definition of our quantum walk and examine its fundamental properties.

In what follows, we always assume that $d\ge 2$ is a given positive integer and $\mathsf{\Lambda }=\{-1,+1\}$. We denote by ${\mathsf{\Lambda }}^d$ the d-fold cartesian product of $\mathsf{\Lambda }$, and by ${\mathcal{H}}^{\otimes d}$ the d-fold tensor product space of $\mathcal{H}$. In addition, we assume that $\mathsf{K}:{\mathcal{H}}^{\otimes d}\to \mathcal{H}$ is a fixed unitary isomorphism. Such a unitary isomorphism exists because $\mathcal{H}$ is infinite-dimensional and separable.

3.1. Coin Operators

This subsection constructs our coin operators, which will play a fundamental role in defining our quantum walk.

Recall that $L_n=\frac{1}{2}({\partial }_n^{\ast }+{\partial }_n-I)$, $R_n=\frac{1}{2}({\partial }_n^{\ast }+{\partial }_n+I)$ for $n\ge 0$. In what follows, for notational convenience we rewrite $B_n^{(-1)}=L_n$, $B_n^{(+1)}=R_n$. And for $\epsilon =({\epsilon }_1,{\epsilon }_2,\cdots ,{\epsilon }_d)\in {\mathsf{\Lambda }}^d$, we use the symbol

$$\underset{i=1}{\overset{d}{⨂}}{B}_n^{\left({\epsilon }_i\right)}=B_n^{\left({\epsilon }_1\right)}\otimes B_n^{\left({\epsilon }_2\right)}\otimes \cdots \otimes B_n^{\left({\epsilon }_d\right)}$$

(14)

to mean the tensor product of $B_n^{\left({\epsilon }_1\right)}$, $B_n^{\left({\epsilon }_2\right)}$, ⋯, $B_n^{\left({\epsilon }_d\right)}$. Clearly, ${⨂}_{i=1}^d{B}_n^{\left({\epsilon }_i\right)}$ is a bounded operator on ${\mathcal{H}}^{\otimes d}$ for each $\epsilon =({\epsilon }_1,{\epsilon }_2,\cdots ,{\epsilon }_d)\in {\mathsf{\Lambda }}^d$.

Definition 1.

For $n\ge 0$ and $\epsilon =({\epsilon }_1,{\epsilon }_2,\cdots ,{\epsilon }_d)\in {\mathsf{\Lambda }}^d$, we define an operator $C_n^{\left(\epsilon \right)}$ on $\mathcal{H}$ as

$$C_n^{\left(\epsilon \right)}=\mathsf{K}\left(\underset{i=1}{\overset{d}{⨂}}{B}_n^{\left({\epsilon }_i\right)}\right){\mathsf{K}}^{-1},$$

(15)

where, as indicated above, $\mathsf{K}$ is the unitary isomorphism from ${\mathcal{H}}^{\otimes d}$ to $\mathcal{H}$ and ${\mathsf{K}}^{-1}$ is the inverse of $\mathsf{K}$.

Theorem 1.

Let $n\ge 0$. Then $C_n^{\left(\epsilon \right)}$, $\epsilon \in {\mathsf{\Lambda }}^d$ are self-adjoint operators on $\mathcal{H}$. And moreover they admit the following operation properties:

(i) 

$C_n^{\left(\epsilon \right)}{C}_n^{\left({\epsilon }^{\prime }\right)}=0$, $\epsilon \ne {\epsilon }^{\prime }$, ε, ${\epsilon }^{\prime }\in {\mathsf{\Lambda }}^d$;

(ii) 

${\sum }_{\epsilon \in {\mathsf{\Lambda }}^d}{C}_n^{\left(\epsilon \right)}$ is a unitary operator on $\mathcal{H}$.

Proof. 

For each $\epsilon =({\epsilon }_1,{\epsilon }_2,\cdots ,{\epsilon }_d)\in {\mathsf{\Lambda }}^d$, it follows from the fact of $B_n^{\left({\epsilon }_i\right)}$ being self-adjoint for all $i\in \{1,2,\cdots ,d\}$ that ${⨂}_{i=1}^d{B}_n^{\left({\epsilon }_i\right)}$ is a self-adjoint operator on ${\mathcal{H}}^{\otimes d}$, which, together with the fact of $\mathsf{K}$ being unitary, implies that the operator defined by (15), namely $C_n^{\left(\epsilon \right)}$, is self-adjoint as an operator on $\mathcal{H}$.

Let $\epsilon$, ${\epsilon }^{\prime }\in {\mathsf{\Lambda }}^d$ with $\epsilon \ne {\epsilon }^{\prime }$. Then there is some $j\in \{1,2,\cdots ,d\}$ such that ${\epsilon }_j\ne {\epsilon }_j^{\prime }$, where ${\epsilon }_j$ and ${\epsilon }_j^{\prime }$ are the jth components of $\epsilon$ and ${\epsilon }^{\prime }$, respectively. By Lemma 3, $B_n^{\left({\epsilon }_j\right)}{B}_n^{\left({\epsilon }_j^{\prime }\right)}=0$, which implies that ${⨂}_{i=1}^d\left(B_n^{\left({\epsilon }_i\right)}{B}_n^{\left({\epsilon }_i^{\prime }\right)}\right)=0$. Thus, we have

$$C_n^{\left(\epsilon \right)}{C}_n^{\left({\epsilon }^{\prime }\right)}=\mathsf{K}\left(\underset{i=1}{\overset{d}{⨂}}\left(B_n^{\left({\epsilon }_i\right)}{B}_n^{\left({\epsilon }_i^{\prime }\right)}\right)\right){\mathsf{K}}^{-1}=0.$$

This completes the proof of property (i).

Next, we verify property (ii). In fact, for each $i\in \{1,2,\cdots ,d\}$, it follows from Lemma 3 that

$$\sum _{{\epsilon }_i\in \mathsf{\Lambda }}{B}_n^{\left({\epsilon }_i\right)}=B_n^{(+1)}+B_n^{(-1)}=R_n+L_n$$

is a unitary operator on $\mathcal{H}$. Thus, by the property of operator tensor product, we know that

$$\sum _{\epsilon \in {\mathsf{\Lambda }}^d}\left(\underset{i=1}{\overset{d}{⨂}}{B}_n^{\left({\epsilon }_i\right)}\right)=\underset{i=1}{\overset{d}{⨂}}\left(\sum _{{\epsilon }_i\in \mathsf{\Lambda }}{B}_n^{\left({\epsilon }_i\right)}\right)$$

is a unitary operator on ${\mathcal{H}}^{\otimes d}$, which, together with fact that $\mathsf{K}:{\mathcal{H}}^{\otimes d}\to \mathcal{H}$ is a unitary isomorphism, implies that

$$\sum _{\epsilon \in {\mathsf{\Lambda }}^d}{C}_n^{\left(\epsilon \right)}=\sum _{\epsilon \in {\mathsf{\Lambda }}^d}\mathsf{K}\left(\underset{i=1}{\overset{d}{⨂}}{B}_n^{\left({\epsilon }_i\right)}\right){\mathsf{K}}^{-1}=\mathsf{K}\left[\sum _{\epsilon \in {\mathsf{\Lambda }}^d}\left(\underset{i=1}{\overset{d}{⨂}}{B}_n^{\left({\epsilon }_i\right)}\right)\right]{\mathsf{K}}^{-1}$$

is a unitary operator on $\mathcal{H}$. □

3.2. Definition and Unitary Representation

In this subsection, we present the definition of our quantum walk and find out its unitary representation. As usual, we set ${\mathbb{Z}}^d$ to be the d-fold cartesian product of $\mathbb{Z}$, and we denote by $l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)$ the space of square summable functions defined on ${\mathbb{Z}}^d$ and valued in $\mathcal{H}$, namely

$$l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)=\left\{W:{\mathbb{Z}}^d\to \mathcal{H}|\sum _{\mathbf{x}\in {\mathbb{Z}}^d}{\parallel W\left(\mathbf{x}\right)\parallel }^2<\infty \right\},$$

(16)

where $\parallel ·\parallel$ means the norm in $\mathcal{H}$. As is known, $l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)$ is a separable Hilbert space with the inner product given by

$${〈U,V〉}_{l^2({\mathbb{Z}}^d,\mathcal{H})}=\sum _{\mathbf{x}\in {\mathbb{Z}}^d}〈U\left(\mathbf{x}\right),V\left(\mathbf{x}\right)〉,U,V\in l^2\left({\mathbb{Z}}^d,\mathcal{H}\right),$$

(17)

where $\langle ·,·\rangle$ is the inner product in $\mathcal{H}$. By convention, elements of $l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)$ are usually known as vectors. A vector $W\in l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)$ is called a unit vector if ${\parallel W\parallel }_{l^2({\mathbb{Z}}^d,\mathcal{H})}=1$, where ${\parallel ·\parallel }_{l^2({\mathbb{Z}}^d,\mathcal{H})}$ stands for the norm in $l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)$. Note that each unit vector $W\in l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)$ makes a probability distribution $\mathbf{x}\mapsto {\parallel W\left(\mathbf{x}\right)\parallel }^2$ on ${\mathbb{Z}}^d$.

Theorem 2.

Let $n\ge 0$. Then, for each $W\in l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)$, both the function $W^{\prime }:{\mathbb{Z}}^d\to \mathcal{H}$ defined by

$$W^{\prime }\left(\mathbf{x}\right)=\sum _{\epsilon \in {\mathsf{\Lambda }}^d}{C}_n^{\left(\epsilon \right)}W(\mathbf{x}-\epsilon ),\mathbf{x}\in {\mathbb{Z}}^d$$

(18)

and the function $W^{″}:{\mathbb{Z}}^d\to \mathcal{H}$ defined by

$$W^{″}\left(\mathbf{x}\right)=\sum _{\epsilon \in {\mathsf{\Lambda }}^d}{C}_n^{\left(\epsilon \right)}W(\mathbf{x}+\epsilon ),\mathbf{x}\in {\mathbb{Z}}^d$$

(19)

all belong to $l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)$, and moreover $\parallel W^{\prime }{\parallel }_{l^2({\mathbb{Z}}^d,\mathcal{H})}=\parallel W^{″}{\parallel }_{l^2({\mathbb{Z}}^d,\mathcal{H})}={\parallel W\parallel }_{l^2({\mathbb{Z}}^d,\mathcal{H})}$.

Proof. 

By using Theorem 1, we have

$$\sum _{\mathbf{x}\in {\mathbb{Z}}^d}{\parallel W^{\prime }\left(\mathbf{x}\right)\parallel }^2=\sum _{\mathbf{x}\in {\mathbb{Z}}^d}\parallel \sum _{\epsilon \in {\mathsf{\Lambda }}^d}{C}_n^{\left(\epsilon \right)}W(\mathbf{x}-\epsilon ){\parallel }^2=\sum _{\mathbf{x}\in {\mathbb{Z}}^d}\sum _{\epsilon \in {\mathsf{\Lambda }}^d}\parallel C_n^{\left(\epsilon \right)}W(\mathbf{x}-\epsilon ){\parallel }^2,$$

which together with the invariance

$$\sum _{\mathbf{x}\in {\mathbb{Z}}^d}\sum _{\epsilon \in {\mathsf{\Lambda }}^d}\parallel C_n^{\left(\epsilon \right)}W(\mathbf{x}-\epsilon ){\parallel }^2=\sum _{\mathbf{x}\in {\mathbb{Z}}^d}\sum _{\epsilon \in {\mathsf{\Lambda }}^d}\parallel C_n^{\left(\epsilon \right)}W\left(\mathbf{x}\right){\parallel }^2$$

gives

$$\sum _{\mathbf{x}\in {\mathbb{Z}}^d}{\parallel W^{\prime }\left(\mathbf{x}\right)\parallel }^2=\sum _{\mathbf{x}\in {\mathbb{Z}}^d}\sum _{\epsilon \in {\mathsf{\Lambda }}^d}\parallel C_n^{\left(\epsilon \right)}W\left(\mathbf{x}\right){\parallel }^2=\sum _{\mathbf{x}\in {\mathbb{Z}}^d}\parallel \sum _{\epsilon \in {\mathsf{\Lambda }}^d}{C}_n^{\left(\epsilon \right)}W\left(\mathbf{x}\right){\parallel }^2,$$

which, together with the fact that ${\sum }_{\epsilon \in {\mathsf{\Lambda }}^d}{C}_n^{\left(\epsilon \right)}$ is a unitary operator on $\mathcal{H}$, implies that

$$\sum _{\mathbf{x}\in {\mathbb{Z}}^d}\parallel W^{\prime }{\left(\mathbf{x}\right)\parallel }^2=\sum _{\mathbf{x}\in {\mathbb{Z}}^d}{\parallel W\left(\mathbf{x}\right)\parallel }^2.$$

Therefore $W^{\prime }\in l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)$ and $\parallel W^{\prime }{\parallel }_{l^2({\mathbb{Z}}^d,\mathcal{H})}={\parallel W\parallel }_{l^2({\mathbb{Z}}^d,\mathcal{H})}$. Similarly, we can show that $W^{″}\in l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)$ and $\parallel W^{″}{\parallel }_{l^2({\mathbb{Z}}^d,\mathcal{H})}={\parallel W\parallel }_{l^2({\mathbb{Z}}^d,\mathcal{H})}$. □

Based on Theorem 2, we can now present the definition of our quantum walk on ${\mathbb{Z}}^d$ as follows.

Definition 2.

The d-dimensional QBN walk is a discrete-time quantum walk on the d-dimensional integer latice ${\mathbb{Z}}^d$ that satisfies the following requirements.

• The walk takes $l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)$ as its state space, and its states are represented by unit vectors in $l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)$.
• The time evolution of the walk is governed by equation

  $$W_{n+1}\left(\mathbf{x}\right)=\sum _{\epsilon \in {\mathsf{\Lambda }}^d}{C}_n^{\left(\epsilon \right)}{W}_n(\mathbf{x}-\epsilon ),\mathbf{x}\in {\mathbb{Z}}^d,n\ge 0,$$

  (20)

  where $W_n$ denotes the state of the walk at time $n\ge 0$, and in particular $W_0$ is the initial state of the walk.

In that case, the function $\mathbf{x}\mapsto \parallel W_n{\left(\mathbf{x}\right)\parallel }^2$ on ${\mathbb{Z}}^d$ is called the probability distribution of the walk at time $n\ge 0$, while the quantity $\parallel W_n{\left(\mathbf{x}\right)\parallel }^2$ is the probability to find out the walker at position $\mathbf{x}\in {\mathbb{Z}}^d$ and time $n\ge 0$.

It is well known that $l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)\cong l^2\left({\mathbb{Z}}^d\right)\otimes \mathcal{H}$. This just means that $l^2\left({\mathbb{Z}}^d\right)$ describes the position of the d-dimensional QBN walk, while $\mathcal{H}$ describes its internal degrees of freedom. As usual, $\mathcal{H}$ is called the coin space of the walk. Clearly, the d-dimensional QBN walk has infinitely many internal degrees of freedom because its coin space $\mathcal{H}$ is infinite-dimensional.

Theorem 3.

For each $n\ge 0$, there exists a unitary operator ${\mathcal{U}}_n^{\left(d\right)}$ on $l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)$ such that

$$\left({\mathcal{U}}_n^{\left(d\right)}W\right)\left(\mathbf{x}\right)=\sum _{\epsilon \in {\mathsf{\Lambda }}^d}{C}_n^{\left(\epsilon \right)}W(\mathbf{x}-\epsilon ),\mathbf{x}\in {\mathbb{Z}}^d,W\in l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)$$

(21)

and

$$\left[{\left({\mathcal{U}}_n^{\left(d\right)}\right)}^{\ast }W\right]\left(\mathbf{x}\right)=\sum _{\epsilon \in {\mathsf{\Lambda }}^d}{C}_n^{\left(\epsilon \right)}W(\mathbf{x}+\epsilon ),\mathbf{x}\in {\mathbb{Z}}^d,W\in l^2\left({\mathbb{Z}}^d,\mathcal{H}\right),$$

(22)

where ${\left({\mathcal{U}}_n^{\left(d\right)}\right)}^{\ast }$ denotes the adjoint of ${\mathcal{U}}_n^{\left(d\right)}$.

Proof. 

For each $W\in l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)$, denote by $W^{\prime }$ the function given by

$$W^{\prime }\left(\mathbf{x}\right)=\sum _{\epsilon \in {\mathsf{\Lambda }}^d}{C}_n^{\left(\epsilon \right)}W(\mathbf{x}-\epsilon ),\mathbf{x}\in {\mathbb{Z}}^d,$$

which, by Theorem 2, belongs to $l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)$. Thus, we can define an operator ${\mathcal{U}}_n^{\left(d\right)}$ on $l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)$ in the following manner

$${\mathcal{U}}_n^{\left(d\right)}W=W^{\prime },W\in l^2\left({\mathbb{Z}}^d,\mathcal{H}\right).$$

(23)

It is easy to see that ${\mathcal{U}}_n^{\left(d\right)}$ is linear. And moreover, by Theorem 2, we know that ${\mathcal{U}}_n^{\left(d\right)}$ is even an isometry, which means that ${\mathcal{U}}_n^{\left(d\right)}$ has an adjoint ${\left({\mathcal{U}}_n^{\left(d\right)}\right)}^{\ast }$.

Let U, $V\in l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)$. Then, by general properties of the adjoint of an operator, we have

$${〈{\left({\mathcal{U}}_n^{\left(d\right)}\right)}^{\ast }U,V〉}_{l^2({\mathbb{Z}}^d,\mathcal{H})}={〈U,{\mathcal{U}}_n^{\left(d\right)}V〉}_{l^2({\mathbb{Z}}^d,\mathcal{H})}=\sum _{\mathbf{x}\in {\mathbb{Z}}^d}\sum _{\epsilon \in {\mathsf{\Lambda }}^d}〈U\left(\mathbf{x}\right),C_n^{\left(\epsilon \right)}V(\mathbf{x}-\epsilon )〉,$$

which, together with the fact of $C_n^{\left(\epsilon \right)}$ being self-adjoint, gives

$$\begin{array}{cc}\hfill {〈{\left({\mathcal{U}}_n^{\left(d\right)}\right)}^{\ast }U,V〉}_{l^2({\mathbb{Z}}^d,\mathcal{H})}& =\sum _{\mathbf{x}\in {\mathbb{Z}}^d}\sum _{\epsilon \in {\mathsf{\Lambda }}^d}〈C_n^{\left(\epsilon \right)}U\left(\mathbf{x}\right),V(\mathbf{x}-\epsilon )〉\hfill \\ \hfill & =\sum _{\mathbf{x}\in {\mathbb{Z}}^d}\sum _{\epsilon \in {\mathsf{\Lambda }}^d}〈C_n^{\left(\epsilon \right)}U(\mathbf{x}+\epsilon ),V\left(\mathbf{x}\right)〉\hfill \\ \hfill & =\sum _{\mathbf{x}\in {\mathbb{Z}}^d}〈U^{″}\left(\mathbf{x}\right),V\left(\mathbf{x}\right)〉\hfill \\ \hfill & ={〈U^{″},V〉}_{l^2({\mathbb{Z}}^d,\mathcal{H})},\hfill \end{array}$$

where $U^{″}$ is the function given by

$$U^{″}\left(\mathbf{x}\right)=\sum _{\epsilon \in {\mathsf{\Lambda }}^d}{C}_n^{\left(\epsilon \right)}U(\mathbf{x}+\epsilon ),\mathbf{x}\in {\mathbb{Z}}^d.$$

It then follows from the arbitrariness of $V\in l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)$ that $({\mathcal{U}}_n^{\left(d\right)}{)}^{\ast }U=U^{″}$, namely

$$\left[{\left({\mathcal{U}}_n^{\left(d\right)}\right)}^{\ast }U\right]\left(\mathbf{x}\right)=\sum _{\epsilon \in {\mathsf{\Lambda }}^d}{C}_n^{\left(\epsilon \right)}U(\mathbf{x}+\epsilon ),\mathbf{x}\in {\mathbb{Z}}^d.$$

This shows that (22) holds. A direct calculation yields that

$${\left({\mathcal{U}}_n^{\left(d\right)}\right)}^{\ast }{\mathcal{U}}_n^{\left(d\right)}={\mathcal{U}}_n^{\left(d\right)}{\left({\mathcal{U}}_n^{\left(d\right)}\right)}^{\ast }=\mathcal{I},$$

where $\mathcal{I}$ means the identity operator on $l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)$. Therefore, ${\mathcal{U}}_n^{\left(d\right)}$ is a unitary operator satisfying (21) and (22). □

Applying Theorem 3 to Definition 2, we come to the next theorem, which shows that the d-dimensional QBN walk belongs to the category of unitary quantum walks.

Theorem 4.

Let $W_n$ be the state of the d-dimensional QBN walk at time $n\ge 0$. Then

$$W_n=\left(\prod _{k=0}^{n-1}{\mathcal{U}}_k^{\left(d\right)}\right)W_0,n\ge 1,$$

(24)

where $W_0$ is the initial state of the walk.

3.3. Characterization in Tensor Space

As is seen, the d-dimensional QBN walk is formulated in the function space $l^2({\mathbb{Z}}^d,\mathcal{H})$. In the present subsection, we reformulate it in the tensor space $l^2\left({\mathbb{Z}}^d\right)\otimes \mathcal{H}$, which is isomorphic to $l^2({\mathbb{Z}}^d,\mathcal{H})$ in the sense of unitary isomorphism.

Let $\mathsf{J}:l^2({\mathbb{Z}}^d,\mathcal{H})\to l^2\left({\mathbb{Z}}^d\right)\otimes \mathcal{H}$ be the canonical unitary isomorphism. Then, $\mathsf{J}$ satisfies that

$$\mathsf{J}{W}_{f,\xi }=f\otimes \xi ,f\in l^2\left({\mathbb{Z}}^d\right),\xi \in \mathcal{H},$$

(25)

where $W_{f,\xi }$ is the function defined by $W_{f,\xi }\left(\mathbf{x}\right)=f\left(\mathbf{x}\right)\xi$, $\mathbf{x}\in {\mathbb{Z}}^d$. As is indicated in Theorem 4, unitary operator sequence ${\left({\mathcal{U}}_n^{\left(d\right)}\right)}_{n\ge 0}$ plays an important role in describing the d-dimensional QBN walk.

In the following, for each $n\ge 0$, we denote by ${\mathcal{V}}_n^{\left(d\right)}$ the counterpart of ${\mathcal{U}}_n^{\left(d\right)}$ in tensor space $l^2\left({\mathbb{Z}}^d\right)\otimes \mathcal{H}$, namely

$${\mathcal{V}}_n^{\left(d\right)}=\mathsf{J}{\mathcal{U}}_n^{\left(d\right)}{\mathsf{J}}^{-1}.$$

(26)

Then ${\left({\mathcal{V}}_n^{\left(d\right)}\right)}_{n\ge 0}$ is a sequence of unitary operators on $l^2\left({\mathbb{Z}}^d\right)\otimes \mathcal{H}$. Thus, from a physical point of view, we naturally come to the next observation.

Remark 1.

The d-dimensional QBN walk can be viewed as a unitary evolution determined by the unitary operator sequence ${\left({\mathcal{V}}_n^{\left(d\right)}\right)}_{n\ge 0}$ on the tensor space $l^2\left({\mathbb{Z}}^d\right)\otimes \mathcal{H}$.

We now consider the structure of unitary operators ${\mathcal{V}}_n^{\left(d\right)}$, $n\ge 0$. Let $f\in l^2\left({\mathbb{Z}}^d\right)$ and $\xi \in \mathcal{H}$. Then, for $\epsilon \in {\mathsf{\Lambda }}^d$, by letting $g^{\left(\epsilon \right)}\left(\mathbf{x}\right)=f(\mathbf{x}-\epsilon )$, $\mathbf{x}\in {\mathbb{Z}}^d$, we have

$$g^{\left(\epsilon \right)}=\sum _{\mathbf{x}\in {\mathbb{Z}}^d}|{\delta }_{\mathbf{x}}\rangle \langle {\delta }_{\mathbf{x}-\epsilon }|f,$$

(27)

where the series on the righthand side converges in the norm of $l^2\left({\mathbb{Z}}^d\right)$. By Theorem 3, we have

$$\left[{\mathcal{U}}_n^{\left(d\right)}{W}_{f,\xi }\right]\left(\mathbf{x}\right)=\sum _{\epsilon \in {\mathsf{\Lambda }}^d}{C}_n^{\left(\epsilon \right)}{W}_{f,\xi }(\mathbf{x}-\epsilon )=\sum _{\epsilon \in {\mathsf{\Lambda }}^d}{C}_n^{\left(\epsilon \right)}\left[g^{\left(\epsilon \right)}\left(\mathbf{x}\right)\xi \right]=\sum _{\epsilon \in {\mathsf{\Lambda }}^d}{g}^{\left(\epsilon \right)}\left(\mathbf{x}\right)C_n^{\left(\epsilon \right)}\xi ,\mathbf{x}\in {\mathbb{Z}}^d,$$

which implies that

$$\left[{\mathcal{U}}_n^{\left(d\right)}{W}_{f,\xi }\right]\left(\mathbf{x}\right)=\sum _{\epsilon \in {\mathsf{\Lambda }}^d}{W}_{g^{\left(\epsilon \right)},C_n^{\left(\epsilon \right)}\xi }\left(\mathbf{x}\right),\mathbf{x}\in {\mathbb{Z}}^d.$$

Thus, as vectors in $l^2({\mathbb{Z}}^d,\mathcal{H})$, we have

$${\mathcal{U}}_n^{\left(d\right)}{W}_{f,\xi }=\sum _{\epsilon \in {\mathsf{\Lambda }}^d}{W}_{g^{\left(\epsilon \right)},C_n^{\left(\epsilon \right)}\xi },$$

which, together with $\mathsf{J}$ and ${\mathsf{J}}^{-1}$, yields

$${\mathcal{V}}_n^{\left(d\right)}(f\otimes \xi )=\left[\mathsf{J}{\mathcal{U}}_n^{\left(d\right)}{\mathsf{J}}^{-1}\right](f\otimes \xi )=\left[\mathsf{J}{\mathcal{U}}_n^{\left(d\right)}\right]W_{f,\xi }=\mathsf{J}\sum _{\epsilon \in {\mathsf{\Lambda }}^d}{W}_{g^{\left(\epsilon \right)},C_n^{\left(\epsilon \right)}\xi }=\sum _{\epsilon \in {\mathsf{\Lambda }}^d}{g}^{\left(\epsilon \right)}\otimes C_n^{\left(\epsilon \right)}\xi ,$$

which together with (27) implies that

$${\mathcal{V}}_n^{\left(d\right)}(f\otimes \xi )=\left[\sum _{\mathbf{x}\in {\mathbb{Z}}^d}\sum _{\epsilon \in {\mathsf{\Lambda }}^d}|{\delta }_{\mathbf{x}}\rangle \langle {\delta }_{\mathbf{x}-\epsilon }|\otimes C_n^{\left(\epsilon \right)}\right](f\otimes \xi ).$$

Therefore, by the arbitrariness of choosing $f\in l^2\left({\mathbb{Z}}^d\right)$ and $\xi \in \mathcal{H}$, we come to the next result, which actually offers a characterization of the d-dimensional QBN walk in tensor space.

Theorem 5.

Let $n\ge 0$. Then, the unitary operator ${\mathcal{V}}_n^{\left(d\right)}$ has a structure of the following form

$${\mathcal{V}}_n^{\left(d\right)}=\sum _{\mathbf{x}\in {\mathbb{Z}}^d}\sum _{\epsilon \in {\mathsf{\Lambda }}^d}|{\delta }_{\mathbf{x}}\rangle \langle {\delta }_{\mathbf{x}-\epsilon }|\otimes C_n^{\left(\epsilon \right)},$$

(28)

where $\left\{{\delta }_{\mathbf{x}}\mid \mathbf{x}\in {\mathbb{Z}}^d\right\}$ is the canonical ONB of $l^2\left({\mathbb{Z}}^d\right)$ and $|{\delta }_{\mathbf{x}}\rangle \langle {\delta }_{\mathbf{x}-\epsilon }|$ is the Dirac operator.

4. Limit Probability Distribution

In the present section, we focus on exploring limit probability distribution of the d-dimensional QBN walk. To be convenient, we additionally denote by $l^2(\mathbb{Z},\mathcal{H})$ the space of square summable functions defined on $\mathbb{Z}$ and valued in $\mathcal{H}$.

4.1. Amplitude Formula

Lemma 4.

([9]) For each $n\ge 0$, there exists a unitary operator ${\mathcal{U}}_n$ on $l^2(\mathbb{Z},\mathcal{H})$ such that

$$\left({\mathcal{U}}_n\mathsf{\Phi }\right)\left(z\right)=R_n\mathsf{\Phi }(z-1)+L_n\mathsf{\Phi }(z+1),z\in \mathbb{Z},\mathsf{\Phi }\in l^2(\mathbb{Z},\mathcal{H})$$

(29)

and

$$\left({\mathcal{U}}_n^{\ast }\mathsf{\Phi }\right)\left(z\right)=R_n\mathsf{\Phi }(z+1)+L_n\mathsf{\Phi }(z-1),z\in \mathbb{Z},\mathsf{\Phi }\in l^2(\mathbb{Z},\mathcal{H}),$$

(30)

where ${\mathcal{U}}_n^{\ast }$ stands for the adjoint of ${\mathcal{U}}_n$.

For vectors ${\phi }^{\left(1\right)}$, ${\phi }^{\left(2\right)}$, ⋯, ${\phi }^{\left(d\right)}\in l^2(\mathbb{Z},\mathcal{H})$, it can be verified that the function defined by

$$\mathbf{x}=(x_1,x_2,\cdots ,x_d)⟼\mathsf{K}\left(\underset{i=1}{\overset{d}{⨂}}{\phi }^{\left(i\right)}\left(x_i\right)\right)$$

belongs to $l^2({\mathbb{Z}}^d,\mathcal{H})$. Moreover, this function even becomes a unit vector in $l^2({\mathbb{Z}}^d,\mathcal{H})$ whenever ${\phi }^{\left(1\right)}$, ${\phi }^{\left(2\right)}$, ⋯, ${\phi }^{\left(d\right)}$ are unit vectors in $l^2(\mathbb{Z},\mathcal{H})$.

As is shown above, ${\mathcal{U}}_n$, $n\ge 0$ are unitary operators on $l^2(\mathbb{Z},\mathcal{H})$. Thus, for all unit vector $\phi \in l^2(\mathbb{Z},\mathcal{H})$, vectors

$$\left(\prod _{k=0}^n{\mathcal{U}}_k\right)\phi ,n\ge 0$$

obviously make a sequence of unit vectors in $l^2(\mathbb{Z},\mathcal{H})$.

Theorem 6.

Let ${\phi }^{\left(1\right)}$, ${\phi }^{\left(2\right)}$, ⋯, ${\phi }^{\left(d\right)}\in l^2(\mathbb{Z},\mathcal{H})$ be unit vectors in $l^2(\mathbb{Z},\mathcal{H})$. Suppose that the initial state $W_0$ of the d-dimensional QBN walk takes the following form

$$W_0\left(\mathbf{x}\right)=\mathsf{K}\left(\underset{i=1}{\overset{d}{⨂}}{\phi }^{\left(i\right)}\left(x_i\right)\right),\mathbf{x}=(x_1,x_2,\cdots ,x_d)\in {\mathbb{Z}}^d.$$

(31)

Then, for all $n\ge 1$, the state $W_n$ of the d-dimensional QBN walk at time n satisfies the following relation

$$W_n\left(\mathbf{x}\right)=\mathsf{K}\left(\underset{i=1}{\overset{d}{⨂}}{\mathsf{\Phi }}_n^{\left(i\right)}\left(x_i\right)\right),\mathbf{x}=(x_1,x_2,\cdots ,x_d)\in {\mathbb{Z}}^d,$$

(32)

where

$${\mathsf{\Phi }}_n^{\left(i\right)}=\left(\prod _{k=0}^{n-1}{\mathcal{U}}_k\right){\mathsf{\Phi }}_0^{\left(i\right)}$$

(33)

with ${\mathsf{\Phi }}_0^{\left(i\right)}={\phi }^{\left(i\right)}$ for all index $i\in \{1,2,\cdots ,d\}$.

Proof. 

By Lemma 4, for all $n\ge 0$ and $i\in \{1,2,\cdots ,d\}$, ${\mathsf{\Phi }}_n^{\left(i\right)}$ is a unit vector in $l^2(\mathbb{Z},\mathcal{H})$. Now, for each nonnegative integer $n\ge 0$, we define a function $W_n^{\prime }:{\mathbb{Z}}^d\to \mathcal{H}$ as

$$W_n^{\prime }\left(\mathbf{x}\right)=\mathsf{K}\left(\underset{i=1}{\overset{d}{⨂}}{\mathsf{\Phi }}_n^{\left(i\right)}\left(x_i\right)\right),\mathbf{x}=(x_1,x_2,\cdots ,x_d)\in {\mathbb{Z}}^d.$$

(34)

Then, as indicated above, $W_n^{\prime }$, $n\ge 0$, are unit vectors in $l^2\left({\mathbb{Z}}^d,\mathcal{H}\right)$, and in particular

$$W_0^{\prime }\left(\mathbf{x}\right)=\mathsf{K}\left(\underset{i=1}{\overset{d}{⨂}}{\mathsf{\Phi }}_0^{\left(i\right)}\left(x_i\right)\right)=\mathsf{K}\left(\underset{i=1}{\overset{d}{⨂}}{\phi }^{\left(i\right)}\left(x_i\right)\right)=W_0\left(\mathbf{x}\right),\mathbf{x}=(x_1,x_2,\cdots ,x_d)\in {\mathbb{Z}}^d,$$

which implies that $W_0^{\prime }=W_0$.

On the other hand, for all $n\ge 1$ and $i\in \{1,2,\cdots ,d\}$, by using (33) and Lemma 4, we find that

$${\mathsf{\Phi }}_n^{\left(i\right)}\left(x_i\right)=R_{n-1}{\mathsf{\Phi }}_{n-1}^{\left(i\right)}(x_i-1)+L_{n-1}{\mathsf{\Phi }}_{n-1}^{\left(i\right)}(x_i+1),x_i\in \mathbb{Z},$$

which, together with the notation $B_{n-1}^{(+1)}=R_{n-1}$ and $B_{n-1}^{(-1)}=L_{n-1}$ (see Section 3.1 for details), gives

$${\mathsf{\Phi }}_n^{\left(i\right)}\left(x_i\right)=B_{n-1}^{(+1)}{\mathsf{\Phi }}_{n-1}^{\left(i\right)}(x_i-1)+B_{n-1}^{(-1)}{\mathsf{\Phi }}_{n-1}^{\left(i\right)}(x_i+1)=\sum _{{\epsilon }_i\in \mathsf{\Lambda }}{B}_{n-1}^{\left({\epsilon }_i\right)}{\mathsf{\Phi }}_{n-1}^{\left(i\right)}(x_i-{\epsilon }_i),x_i\in \mathbb{Z},$$

where $\mathsf{\Lambda }=\{-1,+1\}$ as specified in Section 3. Thus, by taking tensor product, we get

$$\underset{i=1}{\overset{d}{⨂}}{\mathsf{\Phi }}_n^{\left(i\right)}\left(x_i\right)=\sum _{\epsilon \in {\mathsf{\Lambda }}^d}\left(\underset{i=1}{\overset{d}{⨂}}{B}_{n-1}^{\left({\epsilon }_i\right)}\right)\left(\underset{i=1}{\overset{d}{⨂}}{\mathsf{\Phi }}_{n-1}^{\left(i\right)}(x_i-{\epsilon }_i)\right),\mathbf{x}=(x_1,x_2,\cdots ,x_d)\in {\mathbb{Z}}^d,n\ge 1,$$

where $\epsilon =({\epsilon }_1,{\epsilon }_2,\cdots ,{\epsilon }_d)$. Taking the action of operator $\mathsf{K}$ on both sides and then using (15) yields

$$\mathsf{K}\left(\underset{i=1}{\overset{d}{⨂}}{\mathsf{\Phi }}_n^{\left(i\right)}\left(x_i\right)\right)=\sum _{\epsilon \in {\mathsf{\Lambda }}^d}\mathsf{K}\left(\underset{i=1}{\overset{d}{⨂}}{B}_{n-1}^{\left({\epsilon }_i\right)}\right)\left(\underset{i=1}{\overset{d}{⨂}}{\mathsf{\Phi }}_{n-1}^{\left(i\right)}(x_i-{\epsilon }_i)\right)=\sum _{\epsilon \in {\mathsf{\Lambda }}^d}{C}_{n-1}^{\left(\epsilon \right)}\mathsf{K}\left(\underset{i=1}{\overset{d}{⨂}}{\mathsf{\Phi }}_{n-1}^{\left(i\right)}(x_i-{\epsilon }_i)\right),$$

$\mathbf{x}=(x_1,x_2,\cdots ,x_d)\in {\mathbb{Z}}^d$,$n\ge 1$, which together with (34) and Theorem 3 implies that

$$W_n^{\prime }\left(\mathbf{x}\right)=\sum _{\epsilon \in {\mathsf{\Lambda }}^d}{C}_{n-1}^{\left(\epsilon \right)}{W}_{n-1}^{\prime }(\mathbf{x}-\epsilon )=\left({\mathcal{U}}_{n-1}^{\left(d\right)}{W}_{n-1}^{\prime }\right)\left(\mathbf{x}\right),$$

(35)

$\mathbf{x}=(x_1,x_2,\cdots ,x_d)\in {\mathbb{Z}}^d$,$n\ge 1$. Thus

$$W_n^{\prime }={\mathcal{U}}_{n-1}^{\left(d\right)}{W}_{n-1}^{\prime }=\left(\prod _{k=0}^{n-1}{\mathcal{U}}_k^{\left(d\right)}\right)W_0^{\prime },n\ge 1,$$

which, together with the fact $W_0^{\prime }=W_0$ and Theorem 4, implies that $W_n^{\prime }=W_n$, which together with (34) gives (32). This compete the proof. □

Remark 2.

According to [9], the unitary operators ${\mathcal{U}}_n$, $n\ge 0$ described in Lemma 4 serve as the evolution operators of the quantum walk introduced in [9], namely the one-dimensional QBN walk. Thus, the sequence ${\left({\mathsf{\Phi }}_n^{\left(i\right)}\right)}_{n\ge 0}$ in Theorem 6 is exactly the state sequence of the one-dimensional QBN walk corresponding to the initial state ${\mathsf{\Phi }}_0^{\left(i\right)}={\phi }^{\left(i\right)}$. Formula (32) then gives a link between amplitudes of the d-dimensional QBN walk and those of the one-dimensional QBN walk.

As an immediate consequence of Theorem 6, we have the following useful corollary, which offers a formula for calculating the probability to find out the walker at a position in ${\mathbb{Z}}^d$.

Corollary 1.

Let ${\phi }^{\left(1\right)}$, ${\phi }^{\left(2\right)}$, ⋯, ${\phi }^{\left(d\right)}\in l^2(\mathbb{Z},\mathcal{H})$ be unit vectors in $l^2(\mathbb{Z},\mathcal{H})$. Suppose that the initial state $W_0$ of the d-dimensional QBN walk takes the following form

$$W_0\left(\mathbf{x}\right)=\mathsf{K}\left(\underset{i=1}{\overset{d}{⨂}}{\phi }^{\left(i\right)}\left(x_i\right)\right),\mathbf{x}=(x_1,x_2,\cdots ,x_d)\in {\mathbb{Z}}^d.$$

(36)

Then, for all $n\ge 1$, the state $W_n$ of the d-dimensional QBN walk at time n satisfies that

$$\parallel W_n\left(\mathbf{x}\right){\parallel }^2=\prod _{i=1}^d\parallel {\mathsf{\Phi }}_n^{\left(i\right)}\left(x_i\right){\parallel }^2,\mathbf{x}=(x_1,x_2,\cdots ,x_d)\in {\mathbb{Z}}^d,$$

(37)

where

$${\mathsf{\Phi }}_n^{\left(i\right)}=\left(\prod _{k=0}^{n-1}{\mathcal{U}}_k\right){\mathsf{\Phi }}_0^{\left(i\right)}$$

(38)

with ${\mathsf{\Phi }}_0^{\left(i\right)}={\phi }^{\left(i\right)}$ for all index $i\in \{1,2,\cdots ,d\}$.

4.2. Limit Probability Distribution

For $k\ge 0$, we write ${\Xi }_k={\partial }_k^{\ast }+{\partial }_k$, where ${\partial }_k^{\ast }$ and ${\partial }_k$ are the creation and annihilation operators on $\mathcal{H}$, see Section 2 for details. By Lemma 2, ${\Xi }_k$, $k\ge 0$ make a commutative sequence of self-adjoint operators on $\mathcal{H}$. Moreover, by the CAR in equal time, one has

$${\Xi }_k^2={({\partial }_k^{\ast }+{\partial }_k)}^2={\partial }_k^{\ast }{\partial }_k+{\partial }_k{\partial }_k^{\ast }=I,k\ge 0,$$

where I denotes the identity operator on $\mathcal{H}$. In the following, we write ${\Xi }_{\varnothing }=I$ and

$${\Xi }_{\tau }=\prod _{k\in \tau }{\Xi }_k,\tau \ne \varnothing ,\tau \in \mathsf{\Gamma }.$$

(39)

It can be verified that $\{{\Xi }_{\tau }\mid \tau \in \mathsf{\Gamma }\}$ form a commutative family of self-adjoint unitary operators on $\mathcal{H}$.

For $n\ge 0$, we write ${\mathbb{N}}_n=\{0,1,\cdots ,n\}$. Additionally, for $n\ge 1$ and $j\in {\mathbb{N}}_n$, we define a functional $f{}_{nj}$ on $\mathcal{H}$ in the following manner

$$f{}_{nj}\left(\xi \right)=\sum _{\sigma \in {▵}_j^{n-1}}\parallel \sum _{\tau \subset {\mathbb{N}}_{n-1}}{(-1)}^{\#(\sigma \setminus \tau )}{\Xi }_{\tau }\xi {\parallel }^2-2^n\left(\genfrac{}{}{0pt}{}{n}{j}\right),\xi \in \mathcal{H},$$

(40)

where ${▵}_j^{n-1}=\{\sigma \mid \#\sigma =j,\sigma \subset {\mathbb{N}}_{n-1}\}$ and $\#\sigma$ means the cardinality of $\sigma$ as a set.

Theorem 7.

Let ${\left({\mathsf{\Phi }}_n\right)}_{n\ge 0}$ be a sequence of unit vectors in $l^2(\mathbb{Z},\mathcal{H})$ satisfying

$${\mathsf{\Phi }}_n=\left(\prod _{k=0}^{n-1}{\mathcal{U}}_k\right){\mathsf{\Phi }}_0,n\ge 1.$$

(41)

Suppose that ${\mathsf{\Phi }}_0$ is localized, namely ${\mathsf{\Phi }}_0$ satisfies the following requirement

$${\mathsf{\Phi }}_0\left(x\right)=\left\{\begin{array}{cc}\xi ,\hfill & x=0;\hfill \\ 0,\hfill & x\ne 0,x\in \mathbb{Z},\hfill \end{array}\right.$$

(42)

where $\xi \in \mathcal{H}$ is a unit vector. Then, for all $n\ge 1$, it holds that

$$\parallel {\mathsf{\Phi }}_n{\left(x\right)\parallel }^2=\left\{\begin{array}{cc}\frac{1}{4^n}{f}_{nj}\left(\xi \right)+\frac{1}{2^n}\left(\genfrac{}{}{0pt}{}{n}{j}\right),\hfill & x=n-2j,j\in {\mathbb{N}}_n;\hfill \\ 0,\hfill & \mathit{otherwise}.\hfill \end{array}\right.$$

(43)

 □

Proof. 

For each $n\ge 1$, by using the method of Fourier transform for vector-valued functions, we can get an expression of ${\mathsf{\Phi }}_n$ of the following form

$${\mathsf{\Phi }}_n\left(x\right)=\left\{\begin{array}{cc}\sum _{\sigma \in {▵}_j^{n-1}}{L}_{\sigma }{R}_{{\mathbb{N}}_{n-1}\setminus \sigma }\xi ,\hfill & x=n-2j,j\in {\mathbb{N}}_n;\hfill \\ 0,\hfill & \mathrm{otherwise}.\hfill \end{array}\right.$$

(44)

Let $n\ge 1$ and $\sigma \subset {\mathbb{N}}_{n-1}$. Then, with the notation $\epsilon \left(k\right)=1-2{\mathbf{1}}_{\sigma }\left(k\right)$, we have

$$\begin{array}{cc}\hfill L_{\sigma }{R}_{{\mathbb{N}}_{n-1}\setminus \sigma }& =\prod _{k\in \sigma }\left[\frac{1}{2}({\Xi }_k-I)\right]\prod _{k\in {\mathbb{N}}_{n-1}\setminus \sigma }\left[\frac{1}{2}({\Xi }_k+I)\right]\hfill \\ \hfill & =\frac{1}{2^n}\prod _{k\in \sigma }({\Xi }_k+\epsilon \left(k\right)I)\prod _{k\in {\mathbb{N}}_{n-1}\setminus \sigma }({\Xi }_k+\epsilon \left(k\right)I)\hfill \\ \hfill & =\frac{1}{2^n}\prod _{k=0}^{n-1}({\Xi }_k+\epsilon \left(k\right)I)\hfill \\ \hfill & =\frac{1}{2^n}\sum _{\tau \subset {\mathbb{N}}_{n-1}}\left[\prod _{k\in {\mathbb{N}}_{n-1}\setminus \tau }\epsilon \left(k\right)\right]{\Xi }_{\tau }.\hfill \end{array}$$

On the other hand, for each $\tau \subset {\mathbb{N}}_{n-1}$, it follows easily that

$$\prod _{k\in {\mathbb{N}}_{n-1}\setminus \tau }\epsilon \left(k\right)=\prod _{k\in ({\mathbb{N}}_{n-1}\setminus \tau )\cap \sigma }(-1)={(-1)}^{\#(\sigma \setminus \tau )}.$$

Thus

$$L_{\sigma }{R}_{{\mathbb{N}}_{n-1}\setminus \sigma }=\frac{1}{2^n}\sum _{\tau \subset {\mathbb{N}}_{n-1}}\left[\prod _{k\in {\mathbb{N}}_m\setminus \tau }\epsilon \left(k\right)\right]{\Xi }_{\tau }=\frac{1}{2^n}\sum _{\tau \subset {\mathbb{N}}_{n-1}}{(-1)}^{\#(\sigma \setminus \tau )}{\Xi }_{\tau },$$

which implies that

$$\parallel L_{\sigma }{R}_{{\mathbb{N}}_{n-1}\setminus \sigma }{\xi \parallel }^2=\frac{1}{4^n}\parallel \sum _{\tau \subset {\mathbb{N}}_{n-1}}{(-1)}^{\#(\sigma \setminus \tau )}{\Xi }_{\tau }\xi {\parallel }^2.$$

(45)

Note that vectors $L_{\sigma }{R}_{{\mathbb{N}}_{n-1}\setminus \sigma }\xi$ and $L_{\tau }{R}_{{\mathbb{N}}_{n-1}\setminus \tau }\xi$ are orthogonal for $\sigma$, $\tau \in {▵}_j^{n-1}$ with $\sigma \ne \tau$. Thus, by (44) and (45), we have

$$\parallel {\mathsf{\Phi }}_n{\left(x\right)\parallel }^2=\left\{\begin{array}{cc}\frac{1}{4^n}\sum _{\sigma \in {▵}_j^{n-1}}\parallel \sum _{\tau \subset {\mathbb{N}}_{n-1}}{(-1)}^{\#(\sigma \setminus \tau )}{\Xi }_{\tau }\xi {\parallel }^2,\hfill & x=n-2j,j\in {\mathbb{N}}_n;\hfill \\ 0,\hfill & \mathrm{otherwise},\hfill \end{array}\right.$$

(46)

which together with the definition of functional $f_{nj}$ gives (43). □

Definition 3.

A vector $\xi \in \mathcal{H}$ is said to have the ABD property if there exist constants $c\ge 0$ and $r>1$ such that

$$|f{}_{nj}\left(\xi \right)|\le \frac{c{4}^n}{{(n+j)}^r},\forall j\in {\mathbb{N}}_n,\forall n\ge 1.$$

(47)

Example 1.

Every basis vector in the canonical OBN $\mathfrak{Z}=\{Z_{\sigma }\mid \sigma \in \mathsf{\Gamma }\}$ of $\mathcal{H}$ has the ABD property.

Proof. 

Let $\sigma \in \mathsf{\Gamma }$. Then, for all $\tau \in \mathsf{\Gamma }$, we have ${\Xi }_{\tau }{Z}_{\sigma }=Z_{\sigma △\tau }$. On the other hand, we can verify that $\{Z_{\sigma △\tau }\mid \tau \in \mathsf{\Gamma }\}$ make an orthonormal system in $\mathcal{H}$. Thus, for any $n\ge 1$ and $j\in {\mathbb{N}}_n$, we have

$$\begin{array}{cc}\hfill f{}_{nj}\left(Z_{\sigma }\right)& =\sum _{\gamma \in {▵}_j^{n-1}}\parallel \sum _{\tau \subset {\mathbb{N}}_{n-1}}{(-1)}^{\#(\gamma \setminus \tau )}{Z}_{\sigma △\tau }{\parallel }^2-2^n\left(\genfrac{}{}{0pt}{}{n}{j}\right)\hfill \\ \hfill & =\sum _{\gamma \in {▵}_j^{n-1}}\sum _{\tau \subset {\mathbb{N}}_{n-1}}1-2^n\left(\genfrac{}{}{0pt}{}{n}{j}\right)\hfill \\ \hfill & =\sum _{\gamma \in {▵}_j^{n-1}}{2}^n-2^n\left(\genfrac{}{}{0pt}{}{n}{j}\right)\hfill \\ \hfill & =0,\hfill \end{array}$$

which implies that $Z_{\sigma }$ has the ABD property. □

Theorem 8.

Let $\xi \in \mathcal{H}$ be a unit vector having the ABD property and ${\left({\mathsf{\Phi }}_n\right)}_{n\ge 0}$ a sequence of unit vectors in $l^2(\mathbb{Z},\mathcal{H})$ satisfying

$${\mathsf{\Phi }}_n=\left(\prod _{k=0}^{n-1}{\mathcal{U}}_k\right){\mathsf{\Phi }}_0,n\ge 1.$$

(48)

Suppose that ${\mathsf{\Phi }}_0$ satisfies the requirement below

$${\mathsf{\Phi }}_0\left(x\right)=\left\{\begin{array}{cc}\xi ,\hfill & x=0;\hfill \\ 0,\hfill & x\ne 0,x\in \mathbb{Z}.\hfill \end{array}\right.$$

(49)

Then it holds that

$$\underset{n\to \infty }{lim}\sum _{x\in \mathbb{Z}}{e}^{\frac{\mathrm{i}tx}{\sqrt{n}}}{\parallel {\mathsf{\Phi }}_n\left(x\right)\parallel }^2=e^{-\frac{t^2}{2}},t\in \mathbb{R}.$$

(50)

Proof. 

Let $t\in \mathbb{R}$. Then, by Theorem 7, we have

$$\sum _{x\in \mathbb{Z}}{e}^{\frac{\mathrm{i}tx}{\sqrt{n}}}{\parallel {\mathsf{\Phi }}_n\left(x\right)\parallel }^2=\frac{1}{4^n}\sum _{j=0}^n{e}^{\frac{\mathrm{i}t(n-2j)}{\sqrt{n}}}{f}_{nj}\left(\xi \right)+{cos}^n\frac{t}{\sqrt{n}},n\ge 1.$$

On the other hand, since $\xi$ has the ABD property, there exist constant $c\ge 0$ and $r>1$ such that

$$|f{}_{nj}\left(\xi \right)|\le \frac{c{4}^n}{{(n+j)}^r},\forall j\in {\mathbb{N}}_n,\forall n\ge 1,$$

which implies that

$$|\frac{1}{4^n}\sum _{j=0}^n{e}^{\frac{\mathrm{i}t(n-2j)}{\sqrt{n}}}{f}_{nj}\left(\xi \right)|\le c\sum _{j=0}^n\frac{1}{{(n+j)}^r}\le c\sum _{j=0}^{\infty }\frac{1}{{(n+j)}^r},n\ge 1,$$

which, together with ${lim}_{n\to \infty }{\sum }_{j=0}^{\infty }\frac{1}{{(n+j)}^r}=0$, yields that

$$\underset{n\to \infty }{lim}\frac{1}{4^n}\sum _{j=0}^n{e}^{\frac{\mathrm{i}t(n-2j)}{\sqrt{n}}}{f}_{nj}\left(\xi \right)=0.$$

Therefore

$$\underset{n\to \infty }{lim}\sum _{x\in \mathbb{Z}}{e}^{\frac{\mathrm{i}tx}{\sqrt{n}}}{\parallel {\mathsf{\Phi }}_n\left(x\right)\parallel }^2=\underset{n\to \infty }{lim}\frac{1}{4^n}\sum _{j=0}^n{e}^{\frac{\mathrm{i}t(n-2j)}{\sqrt{n}}}{f}_{nj}\left(\xi \right)+\underset{n\to \infty }{lim}{cos}^n\frac{t}{\sqrt{n}}=e^{-\frac{t^2}{2}}.$$

This completes the proof. □

The next result establishes a limit theorem for the d-dimensional QBN walk, which shows that for a range of choices of its initial state the d-dimensional QBN walk has a limit probability distribution of d-dimensional standard Gauss type.

Theorem 9.

Let the initial state $W_0$ of the d-dimensional QBN walk take the following form

$$W_0\left(\mathbf{x}\right)=\left\{\begin{array}{cc}\mathsf{K}\left(\underset{i=1}{\overset{d}{⨂}}{\xi }^{\left(i\right)}\right),\hfill & \mathbf{x}=(0,0,\cdots ,0);\hfill \\ 0,\hfill & \mathbf{x}\ne (0,0,\cdots ,0),\mathbf{x}\in {\mathbb{Z}}^d,\hfill \end{array}\right.$$

(51)

where ${\xi }^{\left(1\right)}$, ${\xi }^{\left(2\right)}$, ⋯, ${\xi }^{\left(d\right)}\in \mathcal{H}$ are unit vectors. For $n\ge 1$, let $X_n$ be a d-dimensional random vector with the probability distribution given by

$$P\{X_n=\mathbf{x}\}={\parallel W_n\left(\mathbf{x}\right)\parallel }^2,\mathbf{x}=(x_1,x_2,\cdots ,x_d)\in {\mathbb{Z}}^d,$$

(52)

where $W_n$ is the state of the d-dimensional QBN walk at time n. Suppose that all the above vectors ${\xi }^{\left(1\right)}$, ${\xi }^{\left(2\right)}$, ⋯, ${\xi }^{\left(d\right)}$ have the ABD property. Then

$$\frac{X_n}{\sqrt{n}}⟹N(\mathbf{0},I_{d\times d}),$$

(53)

namely $\frac{X_n}{\sqrt{n}}$ converges in law to the d-dimensional standard Gaussian distribution $N(\mathbf{0},I_{d\times d})$ as $n\to \infty$.

Proof. 

For each $i\in \{1,2,\cdots ,d\}$, we can define a function ${\phi }^{\left(i\right)}:\mathbb{Z}\to \mathcal{H}$ in the following manner:

$${\phi }^{\left(i\right)}\left(x\right)=\left\{\begin{array}{cc}{\xi }^{\left(i\right)},\hfill & x=0;\hfill \\ 0,\hfill & x\ne 0,x\in \mathbb{Z}.\hfill \end{array}\right.$$

Clearly, ${\phi }^{\left(1\right)}$, ${\phi }^{\left(2\right)}$, ⋯, ${\phi }^{\left(d\right)}$ are unit vectors in $l^2(\mathbb{Z},\mathcal{H})$, and moreover they admit the following relations

$$W_0\left(\mathbf{x}\right)=\mathsf{K}\left(\underset{i=1}{\overset{d}{⨂}}{\phi }^{\left(i\right)}\left(x_i\right)\right),\mathbf{x}=(x_1,x_2,\cdots ,x_d)\in Z^d.$$

Thus, by Corollary 1, we have

$$\parallel W_n\left(\mathbf{x}\right){\parallel }^2=\prod _{i=1}^d\parallel {\mathsf{\Phi }}_n^{\left(i\right)}\left(x_i\right){\parallel }^2,\mathbf{x}=(x_1,x_2,\cdots ,x_d)\in {\mathbb{Z}}^d,$$

(54)

where

$${\mathsf{\Phi }}_n^{\left(i\right)}=\left(\prod _{k=0}^{n-1}{\mathcal{U}}_k\right){\mathsf{\Phi }}_0^{\left(i\right)}$$

(55)

with ${\mathsf{\Phi }}_0^{\left(i\right)}={\phi }^{\left(i\right)}$ for all index $i\in \{1,2,\cdots ,d\}$.

Now, let us consider the characteristic function $C_{\frac{X_n}{\sqrt{n}}}\left(\mathbf{t}\right)$ of random vector $\frac{X_n}{\sqrt{n}}$. By definition, we have

$$C_{\frac{X_n}{\sqrt{n}}}\left(\mathbf{t}\right)=\sum _{\mathbf{x}\in {\mathbb{Z}}^d}{e}^{\frac{\mathrm{i}}{\sqrt{n}}{\sum }_{i=1}^d{t}_i{x}_i}\parallel W_n\left(\mathbf{x}\right){\parallel }^2,\mathbf{t}=(t_1,t_2,\cdots ,t_d)\in {\mathbb{R}}^d,$$

(56)

where $\mathbf{x}=(x_1,x_2,\cdots ,x_d)$. Using (54) gives

$$C_{\frac{X_n}{\sqrt{n}}}\left(\mathbf{t}\right)=\sum _{\mathbf{x}\in {\mathbb{Z}}^d}\prod _{i=0}^d{e}^{\frac{\mathrm{i}{t}_i{x}_i}{\sqrt{n}}}\parallel {\mathsf{\Phi }}_n^{\left(i\right)}\left(x_i\right){\parallel }^2=\prod _{i=0}^d\sum _{x_i\in \mathbb{Z}}{e}^{\frac{\mathrm{i}{t}_i{x}_i}{\sqrt{n}}}\parallel {\mathsf{\Phi }}_n^{\left(i\right)}\left(x_i\right){\parallel }^2,$$

(57)

$\mathbf{t}=(t_1,t_2,\cdots ,t_d)\in {\mathbb{R}}^d$. For each $i\in \{1,2,\cdots ,d\}$, by using Theorem 8, we find

$$\underset{n\to \infty }{lim}\sum _{x_i\in \mathbb{Z}}{e}^{\frac{\mathrm{i}{t}_i{x}_i}{\sqrt{n}}}\parallel {\mathsf{\Phi }}_n^{\left(i\right)}\left(x_i\right){\parallel }^2=e^{-\frac{t_i^2}{2}},t_i\in \mathbb{R}.$$

Therefore

$$\underset{n\to \infty }{lim}{C}_{\frac{X_n}{\sqrt{n}}}\left(\mathbf{t}\right)=\prod _{i=0}^d{e}^{-\frac{t_i^2}{2}}=e^{-\frac{1}{2}{\sum }_{i=1}^d{t}_i^2},\mathbf{t}=(t_1,t_2,\cdots ,t_d)\in {\mathbb{R}}^d,$$

which implies that $\frac{X_n}{\sqrt{n}}$ converges in law to the d-dimensional standard Gaussian distribution. □

5. Conclusions Remarks

As is well known, the Hadamard walk is a one-dimensional quantum walk, whose coin space is a two-dimensional space (typically ${\mathbb{C}}^2$). In 2002, by extending the Hadamard walk to a higher dimensional case, Mackay et al. [11] actually introduced a d-dimensional quantum walk for a general $d\ge 2$. However, their d-dimensional quantum walk takes a $2^d$-dimensional space as its coin space, hence has a finite number of internal degrees of freedom. In other words, as a higher dimensional extension of the Hadamard walk, the d-dimensional quantum walk introduced by Mackay et al. [11] does not share the same coin space with the Hadamard walk.

As is seen, in this paper we introduce a d-dimensional quantum walk in terms of quantum Bernoulli noises, which is called the d-dimensional QBN walk. The coin space of the d-dimensional QBN walk is the space $\mathcal{H}$ of square integrable Bernoulli functionals, which is infinite-dimensional. Thus the d-dimensional QBN walk has infinitely many internal degrees of freedom. Moreover, the d-dimensional QBN walk shares the same coin space $\mathcal{H}$ with the one-dimensional QBN walk (namely the one recently introduced in [9]), although it is a higher dimensional extension of the latter.

It should be noted that the existence of a unitary isomorphism $\mathsf{K}:{\mathcal{H}}^{\otimes d}\to \mathcal{H}$ plays a key role in constructing the d-dimensional QBN walk. For a finite dimensional space, say ${\mathbb{C}}^2$, there exists no unitary isomorphism from ${\left({\mathbb{C}}^2\right)}^{\otimes d}$ to ${\mathbb{C}}^2$ unless $d=1$. This just means that our approach in this paper differs from that used by Mackay et al. in [11].

Decoherence is one of important topics in the study of quantum walks. Physically, decoherence means a deviation from pure quantum behavior. If a quantum walk shows some classical asymptotic behavior, then it contains an amount of decoherence. Kendon and Tregenna [16] showed for the first time that decoherence can be useful in quantum walks. Brun et al. [17] investigated quantum walks with decoherent coins. Chisaki et al. [18] analyzed a class of quantum walks with position measurements and found that those walks have limit probability distributions of Gauss type under some situations, which means that quantum walks with position measurements can produce decoherence. There are other works addressing decoherence in quantum walks (see [10] and references therein). As is seen, as a model of higher-dimensional quantum walk constructed in terms of quantum Bernoulli noises, the d-dimensional QBN walk has a limit probability distribution of d-dimensional standard Gauss type for some choices of its initial state, which together with the work of [9] implies that quantum Bernoulli noises can provide an alternative way to produce decoherence in quantum walks.