Quantum Studies: Mathematics and Foundations

, Volume 2, Issue 3, pp 243–252 | Cite as

Massless Dirac equation from Fibonacci discrete-time quantum walk

  • Giuseppe Di Molfetta
  • Lauchlan Honter
  • Ben B. Luo
  • Tatsuaki Wada
  • Yutaka Shikano
Regular Paper


Discrete-time quantum walks can be regarded as quantum dynamical simulators since they can simulate spatially discretized Schrödinger, massive Dirac, and Klein–Gordon equations. Here, two different types of Fibonacci discrete-time quantum walks are studied analytically. The first is the Fibonacci coin sequence with a generalized Hadamard coin and demonstrates six-step periodic dynamics. The other model is assumed to have three- or six-step periodic dynamics with the Fibonacci sequence. We analytically show that these models have ballistic transportation properties and continuous limits identical to those of the massless Dirac equation with coin basis change.


Quantum Walk Massless Dirac equation Quantum Simulation 

1 Introduction

Discrete-time quantum walks (DTQWs) are defined as quantum-mechanical analogues of classical random walks. The concept of DTQWs was first considered by Feynman [1] and then introduced in greater generality by Refs.  [2, 3, 4]. They have been realized experimentally in Refs. [5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20] and are important in many fields, from fundamental quantum physics [15, 21, 22, 23] to quantum algorithm [24, 25, 26] and condensed matter physics [27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37]. Previously, it has been shown that several DTQWs on a line admit a continuous limit identical to the propagation equations of a massive Dirac fermion [39, 40, 41, 42, 43] and those of massless Dirac fermion equations [21, 39]. Furthermore, the relationship between DTQWs and artificial electric and gravitational fields has been shown [21, 44]. Thus, DTQWs can be regarded as quantum dynamical simulators [39, 40]. Additionally, it is well known that the classical random walk leads to a diffusive behavior characterized by the time evolution of the standard deviation, with \(\sigma (t) \sim t^{1/2}\), while the standard DTQW leads to ballistic behavior, as \(\sigma (t) \sim t\). Further, the standard DTQW can be considerably enriched by generalizing the quantum coin operator and arranging it along different sequences. It has already been shown that quasi-periodic coin sequences induced by the Fibonacci sequence lead to sub-ballistic behavior, whereas random sequences lead to diffusive spreading [48, 49, 50]. Here, we consider two different Fibonacci DTQWs with periodic coin sequences. The first model (FDTQW-I) considers a time-dependent quantum coin following the Fibonacci sequence, while the second model (FDTQW-II) considers a modified version of the unitary operator first defined in Ref. [48], where the Fibonacci sequence is applied to the step operator. We show numerically and analytically that the continuous limit of these models reduces to a massless Dirac equation in \((1+1)\) dimensions.

2 Discrete-time quantum walk with Fibonacci sequence coin

Let us consider the two-dimensional spin state \(\Psi _{m,j}\in \mathbb {C}^{2}\), spanned by the orthonormal basis (\(b_{u}, b_{d}\)), and defined by its discrete one-dimensional position \(m\in \mathbb {Z}\) and discrete time \(j \in \mathbb {N}_0\). The standard DTQW’s time evolution is given by the application of the quantum coin operator (QCO) \(\hat{C}\) on \(\Psi _{m,j} = u_{m,j} b_u + d_{m,j} b_d = \left( \begin{array}{c} u_{m,j} \\ d_{m,j} \end{array} \right) \), followed by the chiral-dependent translation operator \(\hat{T}\), which is defined as:
$$\begin{aligned} \left( \begin{array}{cc} u_{m-1,j} \\ d_{m+1,j}\\ \end{array}\right) = \hat{T}\left( \begin{array}{cc} u_{m,j} \\ d_{m,j} \\ \end{array}\right) . \end{aligned}$$
Here, we introduce the simplest quantum coin, the generalized Hadamard coin, which is expressed as:
$$\begin{aligned} \hat{C} (\theta )= \left( \begin{array}{cc} \cos (\theta ) &{}\quad \sin (\theta ) \\ \sin (\theta ) &{}\quad -\cos (\theta ) \\ \end{array} \right) , \end{aligned}$$
where \(\theta \in [0,2 \pi ]\). The one-step discrete time evolution is then given by:
$$\begin{aligned} \begin{pmatrix} u_{m,j+1}\\ d_{m,j+1}\end{pmatrix} = \hat{T}\hat{C}(\theta ) \begin{pmatrix} u_{m,j}\\ d_{m,j} \end{pmatrix}\ . \end{aligned}$$
First, we consider FDTQW-I, which is the simplest case as only the QCO is defined as a Fibonacci series. Here,
$$\begin{aligned} \hat{U}_{j}=\hat{T}\hat{C}_{j}\ , \qquad j \in \mathbb {N}_{0}\ ,\qquad \hat{C}_{j+1} = \hat{C}_{j} \hat{C}_{j-1}\ , \end{aligned}$$
with the initial conditions
$$\begin{aligned} \hat{C}_{0}=\hat{C}(\alpha )\ ,\qquad \hat{C}_{1}=\hat{C}(\alpha )\hat{C}(\beta ), \end{aligned}$$
where \(j\) is the time step. On considering the DTQW acted upon by the Fibonacci coin series, we analytically find that the time evolution of the coin is cyclic with period \(6\). These coin operators then reduce to,
$$\begin{aligned} \begin{array}{ll} \hat{C}_{0}&{}=\begin{pmatrix} \cos (\alpha ) &{}\quad \sin (\alpha ) \\ \sin (\alpha ) &{}\quad -\cos (\alpha ) \end{pmatrix},\\ \hat{C}_{1}&{}=\begin{pmatrix} \cos (\alpha -\beta ) &{}\quad -\sin (\alpha -\beta ) \\ \sin (\alpha -\beta ) &{}\quad \cos (\alpha -\beta ) \end{pmatrix},\\ \hat{C}_{2}&{}=\begin{pmatrix} \cos (2\alpha -\beta ) &{}\quad \sin (2\alpha -\beta ) \\ \sin (2\alpha -\beta ) &{}\quad -\cos (2\alpha -\beta ) \end{pmatrix},\\ \hat{C}_{3}&{}=\begin{pmatrix} \cos (\alpha ) &{}\quad \sin (\alpha ) \\ \sin (\alpha ) &{}\quad -\cos (\alpha ) \end{pmatrix},\\ \hat{C}_{4}&{}=\begin{pmatrix} \cos (\alpha -\beta ) &{}\quad \sin (\alpha -\beta ) \\ -\sin (\alpha -\beta ) &{}\quad \cos (\alpha -\beta ) \end{pmatrix},\\ \hat{C}_{5}&{}=\begin{pmatrix} \cos (\beta ) &{}\quad \sin (\beta ) \\ \sin (\beta ) &{}\quad -\cos (\beta ) \end{pmatrix}.\\ \end{array} \end{aligned}$$
Here, the collection \(W^{n}_{j}=(\Psi _{m,k})_{m\in \mathbb {Z}, k=nj}\) is defined for \(j \in \mathbb {N}\) and \(n \in \{ 0, 1, 2, 3, 4, 5 \}\), and represents the state of the walk at time \(k=nj\). For any given \(n\) we define \(S^{n}=(W^{n}_{j})_{j\in \mathbb {Z}}\), where \(S^{n}\) represents the entire history of the walk observed through a stroboscope of period \(n\). Successive application of the \(6\) unitary operators to an initial state then gives the stroboscopic recursion equations for \(S^{6}\). The discrete-step equations for \(S^6\) read
$$\begin{aligned} u_{m,j+6} = \sum \limits _{k=-3}^3\big ( A_{2k}(\alpha ,\beta ) u_{m+2k,j} + B_{2k}(\alpha ,\beta ) d_{m+2k,j}\big ), \end{aligned}$$
$$\begin{aligned} d_{m,j+6} = \sum \limits _{k=-3}^3\big ( B_{-2k}(-\alpha ,-\beta ) u_{m+2k,j} + A_{-2k}(-\alpha ,-\beta ) d_{m+2k,j}\big ). \end{aligned}$$
Here, the index \(k\)\(\in \)\(\{ -6, -4, -2, 0, 2, 4, 6 \}\) and the coefficients \(A_k\), \(B_k\)\(\in \)\(\mathbb {R}\) are explicitly given as
$$\begin{aligned} A_{-6}&= c^2_\alpha c_\beta c^2_{\alpha -\beta } c_{2\alpha -\beta } \\ A_{-4}&= -\frac{1}{4} c_\alpha c^2_{\alpha -\beta } (c_{\alpha -2 \beta }+3 c_{3 \alpha -2 \beta } - 5 c_{\alpha } + c_{3 \alpha }) \nonumber \\ A_{-2}&= \frac{1}{16} (-6 c_{2 (\alpha -\beta )} + 4 c_{4 (\alpha -\beta )} - c_{2 (\alpha +\beta )}- c_{2 (\alpha -2 \beta )} \nonumber \\&\quad + 2 c_{4 \alpha -2 \beta } - c_{6 \alpha -2 \beta } + c_{6 \alpha -4 \beta } - 2 c_{4 \alpha } - 2 c_{2\beta }+6)\nonumber \\ A_{\ 0}&= \frac{1}{4} c^2_{\alpha -\beta } (-6 c_{2 (\alpha -\beta )}+c_{4 \alpha -2 \beta }-2 c_{2\alpha }+c_{4 \alpha }+ c_{2 \beta }+5)\nonumber \\ A_{\ 2}&= \frac{1}{8} c^2_{\alpha -\beta } (6 c_{2 (\alpha -\beta )}-3 c_{4 \alpha -2 \beta }-2 c_{2 \alpha }+c_{4 \alpha }+c_{2 \beta }-3)\nonumber \\ A_{\ 4}&= \frac{1}{2} s_{2 \alpha } s_{\beta } c^2_{\alpha -\beta } c_{2 \alpha -\beta }\nonumber \\ A_{\ 6}&= 0\nonumber \end{aligned}$$
$$\begin{aligned} B_{-6}&= \frac{1}{2} s_{2 \alpha } c_{\beta } c^2_{\alpha -\beta } c_{2 \alpha -\beta } \\ B_{-4}&= \frac{1}{8} \big (s_{2 \alpha } s_{\beta } (s_\beta - s_{4 \alpha -3 \beta })+c_\beta (3 s_{2 \alpha -\beta }-s_{4 \alpha -\beta }+\nonumber \\&\qquad \qquad 3 s_{4 \alpha -3 \beta }-s_{6 \alpha -3 \beta })\big ) \nonumber \\ B_{-2}&= \frac{1}{8}\left( (c_{2 \alpha }-3) s_{4 \alpha -4 \beta }-2 s_{4 \alpha }c^2_{\alpha -\beta }\right) \nonumber \\ B_{\ 0}&= \frac{1}{16} \big (-s_{2 \alpha -4 \beta }+4 s_{4 \alpha -4 \beta }+s_{6 \alpha -4 \beta }+2 c_\alpha (s_{\alpha +2 \beta }-\nonumber \\&\quad s_{\alpha -2 \beta }-3 s_{3 \alpha -2 \beta }+ s_{5 \alpha -2 \beta })-2 s_{2 \alpha }+2 s_{4 \alpha }\big )\nonumber \\ B_{\ 2}&=-\frac{1}{16} c_{\alpha } (s_{3 \alpha -4 \beta }+3 s_{5 \alpha -4 \beta }+8 s^3_{\alpha } c_{2 \alpha -2 \beta } +4 s_{\alpha }-2 s_{3 \alpha } ) \nonumber \nonumber \\ B_{\ 4}&= -c^2_\alpha s_\beta c^2_{\alpha -\beta } c_{2 \alpha -\beta } \nonumber \\ B_{\ 6}&= 0\nonumber \end{aligned}$$
with \(c_\theta := \cos (\theta )\) and \(s_\theta := \sin (\theta )\).
Let us define the time and space variables, \(t_j =j \Delta t\) and \(x_m = m\Delta x\), where \(\Delta t\) and \(\Delta x\) are the time and space steps, respectively. As \(\Delta t\) and \(\Delta x\) tend to zero, this allows us to take a Taylor expansion of the recursion relations for the DTQW and, hence, derive a pair of partial differential equations (PDEs). To take the continuous limit, we define
$$\begin{aligned} \Delta t&= \epsilon \ ,\nonumber \\ \Delta x&= \epsilon ^{\gamma }\ , \end{aligned}$$
where \(\epsilon \) is an infinitesimal and \(\gamma >0\) is a scaling parameter. The difference between the two expressions is to account for the fact that \(\Delta t\) and \(\Delta x\) may tend to \(0\) differently. Then, taking a Taylor expansion about \(\epsilon \) up to the leading orders of Eqs. (7) and (8), we obtain the following
$$\begin{aligned} u(x,t) + 6 \epsilon \partial _{t}u(x,t) = u(x,t)+ \epsilon ^\gamma \left( p_1\partial _{x}u(x,t)+ p_2 \partial _{x}d(x,t)\right) +O(\epsilon ^{2}),\end{aligned}$$
$$\begin{aligned} d(x,t)+ 6 \epsilon \partial _{t}d(x,t) = d(x,t)+ \epsilon ^\gamma \left( p_2 \partial _{x}u(x,t) - p_1 \partial _{x}d(x,t)\right) + O(\epsilon ^{2}), \end{aligned}$$
$$\begin{aligned} p_1&= \sum \limits _{k=-3}^3 \frac{2k}{6} A_{2k}(\alpha ,\beta ) = -\frac{1}{6}(c_{4\alpha -2\beta }+2c_{2\alpha }+c_{2\beta }+2),\end{aligned}$$
$$\begin{aligned} p_2&= \sum \limits _{k=-3}^3 \frac{2k}{6} B_{2k}(\alpha ,\beta )= -\frac{2}{3}(s_{2\alpha }c^2_{\alpha -\beta }). \end{aligned}$$
Choosing scaling of \(\gamma =1\) and then taking the limit as \(\epsilon \rightarrow 0\), we obtain the following pair of PDEs:
$$\begin{aligned} \begin{aligned} \partial _{t}u(x,t)&= p_{1} \partial _{x}d(x,t) +p_{2} \partial _{x}u(x,t),\\ \partial _{t}d(x,t)&= p_{2} \partial _{x}d(x,t) -p_{1}\partial _{x}u(x,t). \end{aligned} \end{aligned}$$
This set of equations can be then be recast, such that
$$\begin{aligned} \begin{array}{ll} \mathbb {I}\partial _t \Psi + &{}P \partial _x \Psi = 0\ ,\quad P=\begin{pmatrix} p_{1} &{}\quad p_{2} \\ p_{2} &{}\quad - p_{1} \end{pmatrix},\\ \end{array} \end{aligned}$$
where \(\mathbb {I}\) is the \(2\times 2\) identity matrix. To diagonalize the operator acting on \(\Psi \), we perform a change of basis from (\(b_{u}\),\(b_{d}\)) to the new basis, (\(\overline{b_{u}},\overline{b_{d}}\)), with \(\overline{\Psi }=\overline{u}\overline{b}_u+\overline{d}\overline{b}_{d}\). The new basis components are
$$\begin{aligned} \overline{b_{u}}&= \frac{1}{Z} \left( \frac{p_2}{\omega - p_1} b_{u} + b_{d} \right) , \end{aligned}$$
$$\begin{aligned} \overline{b_{d}}&= \frac{1}{Z} \left( -\frac{p_2}{\omega + p_1} b_{u} + b_{d} \right) , \end{aligned}$$
with \(\omega = \sqrt{p_1^2+p_2^2}\) and \(Z\) a normalized constant. Hence, Eq. (17) in the new basis reads
$$\begin{aligned} \mathbb {I} \partial _t \overline{\Psi } + v(\alpha ,\beta )\sigma _{z} \partial _x \overline{\Psi } =0, \end{aligned}$$
$$\begin{aligned} v_1(\alpha ,\beta ) = \frac{\sqrt{8c^2_{\alpha }c_{2\alpha -2\beta }+c_{4\alpha -4\beta }+4c_{2\alpha }+5}}{3\sqrt{2}}, \end{aligned}$$
can be seen as the propagation velocity of the continuous limit distribution and \(\sigma _z\) is the third Pauli matrix. We may also evaluate the standard deviation \(\sigma _j\) of the probability distribution depicted in Fig. 1 as a function of time, by considering the exponent \(\eta (\alpha ,\beta )\) in \(\sigma _j \sim j^{\eta (\alpha ,\beta )}\). For the FDTQW-I case, we observe ballistic behavior for general \((\alpha ,\beta )\), that is, \(\eta (\alpha ,\beta )=1\).
Fig. 1

Velocity contour plot for the Fibonacci sequence on the QCO, with \(\alpha \) and \(\beta \)\(\in [0, \frac{\pi }{2}]\)

Now consider Eq. (20) in the covariant form, which is expressed as:
$$\begin{aligned} i (\gamma ^0 \partial _0 + \gamma ^1 \partial _{1}) \overline{\Psi }=0, \end{aligned}$$
where \(\gamma ^0 = \sigma _x\) and \(\gamma ^1 = - i \sigma _y\) are the usual gamma matrices, \(\partial _0=\partial _s, \partial _1=\partial _{\tilde{x}}\), and the rescaled coordinate \(\tilde{x}\) = \(x / v_1(\alpha , \beta )\). This equation can now be interpreted as the massless Dirac equation in the 1+1 space-time dimension. In Fig. 2, we observe the density profile of the FDTQW-I case at a time step of \(j=800\), with a symmetric Gaussian initial condition that is sufficiently regular and large with respect to the lattice interval \(\Delta x\). A truly ballistic propagation can be noted, as the continuous limit suggests. This result confirms that FDTQW-I can be used to simulate massless Dirac dynamics.
Fig. 2

Density profile of FDTQW-I at time step, \(j = 800\), \(\rho (j) = \mid \Psi _{m,j} \mid ^2\), versus space step, \(m\). The resolution (i.e. \(\epsilon \) value) is \(n=2^{11}\). The dashed red line indicates \(\alpha \) = \(\pi \)/2 and \(\beta \) = \(\pi /4\); the dashed yellow line is for \(\alpha \) = \(\pi \)/3 and \(\beta \) = \(\pi /6\); the dashed green line represents \(\alpha \) = \(\pi /4\) and \(\beta \) = \(\pi /8\); the dashed blue line indicates \(\alpha \) = \(\pi \)/8 and \(\beta \) = \(\pi /16\); and the dashed pink line represents \(\alpha \) = \(\pi \)/12 and \(\beta \) = \(\pi /24\). The initial condition is \(\Psi (0,x) = \sqrt{N_0(x)}(b_u + I b_d)\), where \(N_0(x)\) is a Gaussian function of width \(20 \Delta x\) and \(\Delta x\) = 2 \(\pi /n\)

3 Discrete-time quantum walk with Fibonacci sequence quantum walk operator

The FDTQW-II previously defined in Refs. [48, 51] can be expressed in the most general case as a unitary evolution, and the unitary evolution operator can then be defined using the following Fibonacci sequence
$$\begin{aligned} \hat{U}_{j}=\hat{U}_{j-1}\hat{U}_{j-2}, \end{aligned}$$
with the initial conditions
$$\begin{aligned} \hat{U}_{0}=\hat{T}\hat{C}(\alpha ),\qquad \hat{U}_{1}=\hat{T}\hat{C}(\alpha )\hat{T}\hat{C}(\beta ). \end{aligned}$$
Since each step operator contains increasing numbers of translation operators, the boundary size increases at an exponential rate. To account for this, we now parametrize time using the number of translation operators that have thus far been applied. It can then be noted that this DTQW has a quasi-periodic coin sequence. Thus, we define a new parameter for time \(r\), such that \(s_r=r \Delta t\), where \(r=\sum _{n=0}^{j-1}F(n)\) and \(F(n)\) is the Fibonacci sequence with initial conditions, \(F(0)=1\) and \(F(1)=2\). This means how many translation operators a quantum walker is operated. This allows us to easily study the continuous limits of Eq. (3) for the operator expressed in Eq. (23). For the continuous limit to exist, we first require that \(\Psi (s_r+\tau \Delta t)\rightarrow \Psi (s_r)\). It can be shown that this is true only when \(\tau \in 6\mathbb {N}_{0}\), that is, when \(\tau \) is any positive integer multiple of \(6\), as the sequence of unitary operators then reduces to the identity operator. We assume the simplest periodic case, for which \(\tau = 6\), and the discrete-time equations read
$$\begin{aligned} u_{m,r+6} = \sum \limits _{k=-3}^3\big ( A_{2k}(\alpha ,\beta ) u_{m+2k,r} + B_{2k}(\alpha ,\beta ) d_{m+2k,r}\big ), \end{aligned}$$
$$\begin{aligned} d_{m,r+6} = \sum \limits _{k=-3}^3 \big (B_{-2k}(-\alpha ,-\beta ) u_{m+2k,r}+ A_{-2k}(-\alpha ,-\beta ) d_{m+2k,r}\big ), \end{aligned}$$
where \(A_k \in \mathbb {R}\) and \(B_k \in \mathbb {R}\) are
$$\begin{aligned} A_{-6}&= c^4_\alpha c^2_\beta \\ A_{-4}&= c^2_\alpha s_\alpha (c^2_\beta s_\alpha + 2 c_\alpha s_{2 \beta }) \nonumber \\ A_{-2}&= -\frac{1}{8}s_{2\alpha }\big (-2 s_{2 \alpha } + s_{2(\alpha -\beta )}+5 s_{2(\alpha +\beta )}\big ) \nonumber \\ A_{\ 0}&= -\frac{1}{8}\big (3 + c_{4\alpha } - (1+3c_{4\alpha })c_{2\beta }-16c_{\alpha }s_{\alpha }^3s_{2\beta }\big ) \nonumber \\ A_{\ 2}&= c^2_\beta s^4_{\alpha } - 2 c^3_{\alpha }c_{\beta }s_{\alpha }s_{\beta } + c_\alpha s_\alpha ^3 s_{2\beta } \nonumber \\ A_{\ 4}&= c^2_{\alpha }c^2_{\beta }s^2_{\alpha }\nonumber \\ A_{\ 6}&= 0\nonumber \end{aligned}$$
$$\begin{aligned} B_{-6}&= c^3_\alpha c^2_{\beta } s_\alpha \\ B_{-4}&= c_\alpha c_\beta \left( s^3_\alpha c_\beta + c_\alpha (1-2 c_{2\alpha }) s_\beta \right) \nonumber \\ B_{-2}&= \frac{1}{8} \big (s_{4\alpha } (3 c_{2 \beta }-1)-4 s^2_\alpha (2 c_{2 \alpha }+1) s_{2\beta }\big )\nonumber \\ B_{\ 0}&= \frac{1}{8} \big (4 s^2_\alpha (2 c_{2\alpha }+1) s_{2\beta } + s_{4 \alpha } (1-3 c_{2\beta })\big )\nonumber \\ B_{\ 2}&= c_\alpha c_\beta \big (c_\alpha (2 c_{2 \alpha }-1) s_{\beta }-s^3_\alpha c_\beta \big )\nonumber \\ B_{\ 4}&= - s_\alpha c^3_\alpha c^2_\beta \nonumber \\ B_{\ 6}&= 0.\nonumber \end{aligned}$$
Taking the continuous limit of \(S^6\) about \(\epsilon \) (as in the previous section) and noting that the zeroth order terms cancel, we arrive at the first order term expressions for this system
$$\begin{aligned} \partial _{s}u(x,s)&=p_{1}^{\prime } \partial _{x}d(x,s)+p_{2}^{\prime } \partial _{x}u(x,s), \nonumber \\ \partial _{s}d(x,s)&= p_{2}^{\prime } \partial _{x}d(x,s)-p_{1}^{\prime } \partial _{x}u(x,s), \end{aligned}$$
$$\begin{aligned} p^\prime _1&= \sum \limits _{k=-3}^3 \frac{2k}{6} A_{2k}(\alpha ,\beta ) = - \frac{1}{3}(c^2_{2\alpha -\beta }+2 c_{\beta }c_{2\alpha -\beta }) \end{aligned}$$
$$\begin{aligned} p^\prime _2&= \sum \limits _{k=-3}^3 \frac{2k}{6} B_{2k}(\alpha ,\beta )= \frac{1}{3}s_{2\alpha -\beta }(c_{2\alpha -\beta }+2c_{\beta }). \end{aligned}$$
As in the previous case, we can rewrite these equations in matrix form, such that,
$$\begin{aligned} \begin{array}{ll} &{}\partial _s \Psi + P^{\prime } \partial _x \Psi =0, \\ {} &{}P^{\prime } = \left( \begin{array}{cc} p^\prime _{1} &{}\quad p^\prime _{2} \\ p^\prime _{2}&{}\quad -p^\prime _{1}\\ \end{array} \right) ,\\ \end{array} \end{aligned}$$
Again, we diagonalize the differential operator acting on \(\Psi \), which spans \(\Psi \) itself on the new basis, (\(\overline{b^\prime _{u}},\overline{b^\prime _{d}}\)). The new basis components read
$$\begin{aligned} \overline{b^\prime _{u}}&= \frac{1}{Z^\prime } \left( \frac{p^\prime _2}{\omega ^\prime - p^\prime _1} b_{u} + b_{d} \right) , \end{aligned}$$
$$\begin{aligned} \overline{b^\prime _{d}}&= \frac{1}{Z^\prime } \left( -\frac{p^\prime _2}{\omega ^\prime + p^\prime _1} b_{u} + b_{d} \right) , \end{aligned}$$
with \(\omega ^\prime = \sqrt{{p^\prime _1}^2+{p^\prime _2}^2}\) and \(Z^\prime \) a normalized constant. Eq. (32), expressed in terms of \(\overline{\Psi }\), then becomes
$$\begin{aligned} \begin{array}{ll} \partial _s \overline{\Psi } + v(\alpha ,\beta )\sigma _z \partial _x \overline{\Psi } = 0,\qquad v_2(\alpha ,\beta ) =&\frac{1}{3} \left| c_{2 \alpha -\beta }+2 c_{\beta } \right| . \end{array} \end{aligned}$$
This PDE implies ballistic propagation of the quantum walker for fixed \(\alpha \) and \(\beta \). Similar results are obtained when other periodic sequences of finite length are considered, with each result yielding a similar differential equation, albeit with varying functions for \(v\), as seen in Fig. 3. As in the previous section, the latter equation can be reformulated in the following covariant form:
$$\begin{aligned} i (\gamma ^0 \partial _0 + \gamma ^1 \partial _{1}) \overline{\Psi }=0, \end{aligned}$$
where \(\gamma ^0 = \sigma _x\), \(\gamma ^1 = -i \sigma _y\), \(\partial _0=\partial _s, \partial _1=\partial _{\tilde{x}}\), while the rescaled coordinate is now \(\tilde{x} = x / v_2(\alpha , \beta )\). In this rescaled time-space, the velocity is \(1\) and the FDTQW-II can again be interpreted as a massless Dirac equation in the \((1+1)\) dimension.
Fig. 3

Contour plot for velocity in the case in which Fibonacci sequence is on the step operator for the three periodic Fibonacci sequence

4 Conclusion

By taking the continuous limit, we have characterized the propagation behavior of the DTQWs based on both the Fibonacci sequence of the coin operators and the periodic extension of these sequences. Our analysis shows that both of these quantum walks are ballistic and that the continuous limits can reduce to the \((1+1)\)-dimensional massless Dirac equation. There still remain several unexplored topics, however. For example, we have not examined the continuous limit on the infinite sequence of step operators, as originally defined in Ref. [48]. The propagation properties of this model were numerically analyzed in [48, Fig.3]. According to Ref. [48], this walk is either ballistic or sub-ballistic depending on the initial values of \(\alpha \) and \(\beta \). Other unknown aspects include the type of transition that occurs when \(\tau \) increases towards infinity, and the mechanism by which the behavior of the periodic extension changes into that of the infinite sequence.



The authors acknowledge useful discussion with Fabrice Debbasch and Jingbo Wang. G.D.M. expresses thanks to the JSPS summer program (SP14203) for financial support, while L.H. and B.L. thank the Department of Education of the Australian Government for financial support through the AsiaBound Grants Program. T.W. thanks the JSPS KAKENHI 25400188 and IMS Joint Study Program for financial support, while Y.S. thanks the DAIKO Foundation, also for financial support.


  1. 1.
    Feynman, R.P., Hibbs, A.R.: Quantum mechanics and path integrals. McGraw-Hill Book Company (1965)Google Scholar
  2. 2.
    Aharonov, Y., Davidovich, L., Zagury, N.: Quantum random walks. Phys. Rev. A 48, 1687 (1993)CrossRefGoogle Scholar
  3. 3.
    Meyer, D.A.: From quantum cellular automata to quantum lattice gases. J. Stat. Phys. 85, 551 (1996)CrossRefMATHGoogle Scholar
  4. 4.
    Gudder, S.P.: Quantum Probability. Academic Press, Quantum probability (1988)MATHGoogle Scholar
  5. 5.
    Cardano, F., Massa, F., Qassim, H., Karimi, E., Slussarenko, S., Paparo, D., de Lisio, C., Sciarrino, F., Santamato, E., Boyd, R.W., Marrucci, L.: Quantum walks and quantum simulation of wavepacket dynamics with twisted photons. arXiv:1407.5424
  6. 6.
    Broome, M.A., Fedrizzi, A., Lanyon, B.P., Kassal, I., Aspuru-Guzik, A., White, A.G.: Discrete Single-Photon Quantum Walks with Tunable Decoherence. Phys. Rev. Lett. 104, 153602 (2010)CrossRefGoogle Scholar
  7. 7.
    Kitagawa, T., Broome, M.A., Fedrizzi, A., Rudner, M.S., Berg, E., Kassal, I., Aspuru-Guzik, A., Demler, E., White, A.G.: Observation of topologically protected bound states in photonic quantum walks. Nat. Commun. 3, 882 (2012)CrossRefGoogle Scholar
  8. 8.
    Schreiber, A., Gabris, A., Rohde, P.P., Laiho, K., Stefanak, M., Potocek, V., Hamilton, C., Jex, I., Silberhorn, C.: A 2D quantum walk simulation of two-particle dynamics. Science 336, 55 (2012)CrossRefGoogle Scholar
  9. 9.
    Schmitz, H., Matjeschk, R., Schneider, C., Glueckert, J., Enderlein, M., Huber, T., Schaetz, T.: Quantum Walk of a Trapped Ion in Phase Space. Phys. Rev. Lett. 103, 090504 (2009)CrossRefGoogle Scholar
  10. 10.
    Zähringer, F., Kirchmair, G., Gerritsma, R., Solano, E., Blatt, R., Roos, C.F.: Realization of a Quantum Walk with One and Two Trapped Ions. Phys. Rev. Lett. 104, 100503 (2010)CrossRefGoogle Scholar
  11. 11.
    Schreiber, A., Cassemiro, K.N., Potocek, V., Gabris, A., Mosley, P.J., Andersson, E., Jex, I., Silberhorn, C.: Photons Walking the Line: A Quantum Walk with Adjustable Coin Operations. Phys. Rev. Lett. 104, 050502 (2010)CrossRefGoogle Scholar
  12. 12.
    Karski, M., Forster, L., Choi, J.M., Steffen, A., Alt, W., Meschede, D., Widera, A.: Quantum walk in position space with single optically trapped atoms. Science 325, 174 (2009)CrossRefGoogle Scholar
  13. 13.
    Sansoni, L., Sciarrino, F., Vallone, G., Mataloni, P., Crespi, A., Ramponi, R., Osellame, R.: Two-Particle Bosonic-Fermionic Quantum Walk via Integrated Photonics. Phys. Rev. Lett. 108, 010502 (2012)CrossRefGoogle Scholar
  14. 14.
    Sanders, B.C., Bartlett, S.D., Tregenna, B., Knight, P.L.: Quantum quincunx in cavity quantum electrodynamics. Phys. Rev. A 67, 042305 (2003)CrossRefGoogle Scholar
  15. 15.
    Perets, H.B., Lahini, Y., Pozzi, F., Sorel, M., Morandotti, R., Silberberg, Y.: Realization of Quantum Walks with Negligible Decoherence in Waveguide Lattices. Phys. Rev. Lett. 100, 170506 (2008)CrossRefGoogle Scholar
  16. 16.
    Crespi, A., Osellame, R., Ramponi, R., Giovannetti, V., Fazio, R., Sansoni, L., De Nicola, F., Sciarrino, F., Mataloni, P.: Anderson localization of entangled photons in an integrated quantum walk. Nat. Photonics 7, 322 (2013)CrossRefGoogle Scholar
  17. 17.
    Jeong, Y.C., Di Franco, C., Lim, H.T., Kim, M.S., Kim, Y.H.: Experimental realization of a delayed-choice quantum walk. Nat. Commun. 4, 2471 (2013)Google Scholar
  18. 18.
    Fukuhara, T., Schaus, P., Endres, M., Hild, S., Cheneau, M., Bloch, I., Gross, C.: Microscopic observation of magnon bound states and their dynamics. Nature 502, 76 (2013)CrossRefGoogle Scholar
  19. 19.
    Xue, P., Qin, H., Tang, B., Sanders, B.C.: Observation of quasiperiodic dynamics in a one-dimensional quantum walk of single photons in space. N. J. Phys. 16, 53009 (2014)CrossRefGoogle Scholar
  20. 20.
    Manouchehri, K., Wang, J.B.: Physical implementation of quantum walks. Springer, Berlin (2014)CrossRefMATHGoogle Scholar
  21. 21.
    Di Molfetta, G., Brachet, M., Debbasch, F.: Quantum walks in artificial electric and gravitational fields. Phys. A 397, 157 (2014)MathSciNetCrossRefGoogle Scholar
  22. 22.
    Shikano, Y., Chisaki, K., Segawa, E., Konno, N.: Emergence of randomness and arrow of time in quantum walks. Phys. Rev. A 81, 062129 (2010)CrossRefGoogle Scholar
  23. 23.
    Chandrashekar, C.M., Laflamme, R.: Quantum phase transition using quantum walks in an optical lattice. Phys. Rev. A 78, 022314 (2008)CrossRefGoogle Scholar
  24. 24.
    Ambainis, A.: Quantum Walk Algorithm for Element Distinctness. SIAM J. Comput. 37, 210 (2007)MathSciNetCrossRefMATHGoogle Scholar
  25. 25.
    Magniez, F., Nayak, A., Roland, J., Santha, M.: Search via Quantum Walk. SIAM J. Comput. 40, 142 (2006)MathSciNetCrossRefGoogle Scholar
  26. 26.
    Dheeraj, M.N., Brun, T.A.: Continuous Limit of Discrete Quantum Walks. arXiv:1501.06950
  27. 27.
    Bose, S.: Quantum Communication through an Unmodulated Spin Chain. Phys. Rev. Lett. 91, 207901 (2003)CrossRefGoogle Scholar
  28. 28.
    Aslangul, C.: Quantum dynamics of a particle with a spin-dependent velocity. J. Phys. A Math. Gen. 38, 1 (2005)MathSciNetCrossRefMATHGoogle Scholar
  29. 29.
    Oka, T., Konno, N., Arita, R., Aoki, H.: Breakdown of an Electric-Field Driven System: A Mapping to a Quantum Walk. Phys. Rev. Lett. 94, 100602 (2005)CrossRefGoogle Scholar
  30. 30.
    Bose, S.: Quantum communication through spin chain dynamics: an introductory overview. Contemp. Phys. 48, 13 (2007)CrossRefGoogle Scholar
  31. 31.
    Kitagawa, T., Rudner, M.S., Berg, E., Demler, E.: Exploring topological phases with quantum walks. Phys. Rev. A 82, 033429 (2010)CrossRefGoogle Scholar
  32. 32.
    Gönülol, G., Aydıner, R., Shikano, Y., Müstecaphoglu, Ö.E.: Survival probability in a one-dimensional quantum walk on a trapped lattice. New J. Phys. 13, 033037 (2011)CrossRefGoogle Scholar
  33. 33.
    Gönülol, G., Aydıner, R., Shikano, Y., Müstecaphoglu, Ö.E.: Survival Probability in a Quantum Walk on a One-Dimensional Lattice with Partially Absorbing Traps. J. Comput. Theor. Nanosci. 10, 1596–1600 (2013)CrossRefGoogle Scholar
  34. 34.
    Shikano, Y., Katsura, H.: Localization and fractality in inhomogeneous quantum walks with self-duality. Phys. Rev. E 82, 03112 (2010)MathSciNetCrossRefGoogle Scholar
  35. 35.
    Shikano, Y., Katsura, H.: Notes on Inhomogeneous Quantum Walks. AIP Conf. Proc. 1363, 151–154 (2011)CrossRefGoogle Scholar
  36. 36.
    Obuse, T., Kawakami, N.: Topological phases and delocalization of quantum walks in random environments. Phys. Rev. B 84, 195139 (2011)CrossRefGoogle Scholar
  37. 37.
    Asbóth, J.K., Obuse, H.: Bulk-boundary correspondence for chiral symmetric quantum walks. Phys. Rev. B 88, 121406(R) (2013)CrossRefGoogle Scholar
  38. 38.
    Strauch, F.W.: Relativistic effects and rigorous limits for discrete- and continuous-time quantum walks. J. Math. Phys. 48, 082102 (2007)MathSciNetCrossRefGoogle Scholar
  39. 39.
    Bracken, A.J., Ellinas, D., Smyrnakis, I.: Free-Dirac-particle evolution as a quantum random walk. Phys. Rev. A 75, 022322 (2007)CrossRefGoogle Scholar
  40. 40.
    Chisaki, K., Konno, N., Segawa, E., Shikano, Y.: Crossovers induced by discrete-time quantum walks. Quant. Inf. Comp. 11, 741 (2011)MathSciNetMATHGoogle Scholar
  41. 41.
    Sato, F., Katori, M.: Dirac equation with an ultraviolet cutoff and a quantum walk. Phys. Rev. A 81, 012314 (2010)CrossRefGoogle Scholar
  42. 42.
    Chandrashekar, C.M., Banerjee, S., Srikanth, R.: Relationship between quantum walks and relativistic quantum mechanics. Phys. Rev. A 81, 062340 (2010)CrossRefGoogle Scholar
  43. 43.
    Di Molfetta, G., Debbasch, F.: Discrete-time quantum walks: continuous limit and symmetries. J. Math. Phys. 53, 123302 (2011)CrossRefGoogle Scholar
  44. 44.
    Di Molfetta, G., Brachet, M., Debbasch, F.: Quantum walks as massless Dirac fermions in curved space-time. Phys. Rev. A 88, 042301 (2013)CrossRefGoogle Scholar
  45. 45.
    Shikano, Y.: From Discrete Time Quantum Walk to Continuous Time Quantum Walk in Limit Distribution. J. Comput. Theor. Nanosci. 10, 1558 (2013)CrossRefGoogle Scholar
  46. 46.
    Rohde, P.P., Brennen, G.K., Gilchrist, A.G.: Quantum walks with memory provided by recycled coins and a memory of the coin-flip history. Phys. Rev. A 87, 052302 (2013)CrossRefGoogle Scholar
  47. 47.
    Shikano, Y., Wada, T., Horikawa, J.: Discrete-time quantum walk with feed-forward quantum coin. Sci. Rep. 4, 4427 (2014)CrossRefGoogle Scholar
  48. 48.
    Ribeiro, P., Milman, P., Mosseri, R.: Aperiodic Quantum Random Walks. Phys. Rev. Lett. 93, 190503 (2004)MathSciNetCrossRefGoogle Scholar
  49. 49.
    Rohde, P.P., Brennen, G.K., Gilchrist, A.G.: Quantum walks with memory provided by recycled coins and a memory of the coin-flip history. Phys. Rev. A 87, 052302 (2013)CrossRefGoogle Scholar
  50. 50.
    Shikano, Y., Wada, T., Horikawa, J.: Discrete-time quantum walk with feed-forward quantum coin. Sci. Rep. 4, 4427 (2014)CrossRefGoogle Scholar
  51. 51.
    Romanelli, A.: The Fibonacci quantum walk and its classical trace map. Phys. A 388, 3985 (2009)MathSciNetCrossRefGoogle Scholar

Copyright information

© Chapman University 2015

Authors and Affiliations

  • Giuseppe Di Molfetta
    • 1
    • 2
  • Lauchlan Honter
    • 1
    • 3
  • Ben B. Luo
    • 1
    • 3
  • Tatsuaki Wada
    • 4
  • Yutaka Shikano
    • 1
    • 5
  1. 1.Research Center of Integrative Molecular Systems (CIMoS)Institute for Molecular Science, Natural Institutes of Natural SciencesOkazakiJapan
  2. 2.LERMA, Observatoire de Paris, PSL Research University, CNRS, Sorbonne UniversitésParisFrance
  3. 3.School of Physics, The University of Western AustraliaPerthAustralia
  4. 4.Department of Electrical and Electronic EngineeringIbaraki UniversityHitachiJapan
  5. 5.Institute for Quantum StudiesChapman UniversityOrangeUSA

Personalised recommendations