Abstract
This study investigated the unitary equivalence classes of one-dimensional quantum walks with and without initial states. We determined the unitary equivalence classes of one-dimensional quantum walks, two-phase quantum walks with one defect, complete two-phase quantum walks, one-dimensional quantum walks with one defect and translation-invariant one-dimensional quantum walks.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
Quantum walks can be considered as a quantum analog of classical random walks and have been studied in various fields, such as quantum information theory and quantum probability theory. A quantum walk is defined by a pair \((U, \{\mathcal{H}_v\}_{v \in V})\), in which V is a countable set, \(\{\mathcal{H}_v\}_{v \in V}\) is a family of separable Hilbert spaces, and U is a unitary operator on \(\mathcal{H}= \bigoplus _{v \in V} \mathcal{H}_v\) [20]. In this paper, we discuss one-dimensional (two-state) quantum walks, in which \(V = {\mathbb {Z}}\) and \(\mathcal{H}_v = {\mathbb {C}}^2\). These have been the subject of many previous studies [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19, 21,22,23].
It is important to clarify when we think of two quantum walks as being the same. We consider unitary equivalence of quantum walks in the sense of [19, 20]. If two quantum walks are unitarily equivalent, then their digraphs and dimensions of their Hilbert spaces are the same. Furthermore, the probability distributions of the quantum walks are also the same. Consequently, we can think of unitarily equivalent quantum walks as being the same.
The aim of this paper is to determine the unitary equivalence classes of several types of one-dimensional quantum walks. This will enable us to grasp the whole image of such quantum walks. There are many results about explicit models of one-dimensional quantum walk [2, 6,7,8,9,10,11, 15,16,17,18, 21, 23]. The parameterization of unitary equivalence classes tells us what part of one-dimensional quantum walks were already investigated and what part should be studied. Moreover, some previous works researched one-dimensional quantum walks using parameters [3,4,5]. The results in this paper reduce the parameters and make it easy to analyze them.
In the previous paper [19], we discussed some general properties of unitarily equivalent quantum walks. In particular, we proved that every one-dimensional quantum walk is the unitarily equivalent of one of the Ambainis types. We also presented the necessary and sufficient condition for defining a one-dimensional quantum walk as a Szegedy walk.
Unitary equivalence classes of simple quantum walks have been shown to be parameterized by a single parameter [12]. In contrast, there are several types of one-dimensional quantum walks, including two-phase quantum walks with one defect [6, 7], complete two-phase quantum walks [11] and one-dimensional quantum walks with one defect [4, 8,9,10, 17, 18, 23]. A one-dimensional quantum walk with one defect is known for exhibiting localization. Two-phase quantum walks are considered as mathematical models of the topological insulator. In this study, we clarified the unitary equivalence classes of general one-dimensional quantum walks and of the above types of one-dimensional quantum walk, but excluding certain special cases.
When we analyze properties of an evolution operator U such as the spectrum, eigenvalues and eigenvectors, it is not necessary to take into account an initial state. On the other hand, when studying the probability distribution of a quantum walk, an initial state must be set. Hence, we consider quantum walks both with and without initial states.
In Sect. 2, we investigate one-dimensional quantum walks without initial states and present our results: Two-phase quantum walks with one defect are parameterized by six parameters complete two-phase quantum walks by four parameters, and one-dimensional quantum walks with one defect by four parameters. In Sect. 3, we show unitary equivalence classes of all the above types of one-dimensional quantum walk with an initial state.
2 Unitary equivalence classes of one-dimensional quantum walks
In this section, we investigate the unitary equivalence classes of several types of one-dimensional quantum walks without initial states. We first consider the definition of a one-dimensional quantum walk and the unitary equivalence of such walks (see [19]).
Definition 1
Let \(\mathcal{H}_n = {\mathbb {C}}^2\) for \(n \in {\mathbb {Z}}\). A unitary operator U on \(\mathcal{H}= \bigoplus _{n\in {\mathbb {Z}}} \mathcal{H}_n\) is called a one-dimensional quantum walk if
for all \(m, n \in {\mathbb {Z}}\), where \(P_n\) is the projection onto \(\mathcal{H}_n\).
A (pure) quantum state is represented by a unit vector in a Hilbert space. For \(\lambda \in {\mathbb {R}}\), quantum states \(\xi \) and \(e^{\mathrm{i}\lambda } \xi \) in \(\mathcal{H}\) are identified. Hence, the one-dimensional quantum walks U and \(e^{\mathrm{i}\lambda } U\) are also identified.
Definition 2
One-dimensional quantum walks \(U_1\) and \(U_2\) are unitarily equivalent if there exists a unitary \(W = \bigoplus _{n\in {\mathbb {Z}}} W_n\) on \(\mathcal{H}= \bigoplus _{n\in {\mathbb {Z}}} \mathcal{H}_n\) such that
Theorem 1 in [19] (see also the first paragraph of Section 5 in [19]) yields the next theorem.
Theorem 1
A one-dimensional quantum walk U is described as follows:
where \(\{\xi _{n,n+1},\xi _{n+1,n}\}_{n\in {\mathbb {Z}}}\) and \(\{\zeta _{n,n+1} ,\zeta _{n+1,n}\}_{n\in {\mathbb {Z}}}\) are orthonormal bases of \(\mathcal{H}= \bigoplus _{n\in {\mathbb {Z}}} \mathcal{H}_n\) with \(\xi _{n,n+1}, \zeta _{n+1,n} \in \mathcal{H}_n\) and \(\xi _{n+1,n},\zeta _{n,n+1} \in \mathcal{H}_{n+1}\).
The unitary equivalence of a one-dimensional quantum walk can then be analyzed as follows.
Step 1 Assume that U is described as in (1), and define a unitary operator \(W_1\) on \(\mathcal{H}\) as
where \(\{e_1^n, e_2^n\}\) is the standard basis of \(\mathcal{H}_n = {\mathbb {C}}^2\). Then,
for some \(0 \le r_n \le 1\) and \(a_n, b_n, c_n, d_n \in {\mathbb {R}}\) with \(s_n = \sqrt{1-r_n^2}\) and
If there is no confusion, \((\mathrm{mod}\ 2\pi )\) can be omitted hereafter.
Step 2 Define \(g_n \in {\mathbb {R}}\) by \(g_0 =0 \) and
inductively. Similarly, we define \(h_n \in {\mathbb {R}}\) by \(h_0 = g_{-1}-b_0\) and
inductively. Then, by (3),
Let \(W_2\) be a unitary operator defined by
By definitions and (4),
where \(k_n = b_n - g_{n-1} + h_n\). Here,
Step 3 Let \(\ell = k_1/2\), \(p_n = n k_1/2\) and \(q_n = -n k_1/2\), and let
Then,
where \(\theta _n = k_n -n k_1\). Here, \(\theta _0 = \theta _1 =0\).
Now, we are ready to prove the next theorem.
Theorem 2
A one-dimensional quantum walk U is unitarily equivalent to
for some \(0\le r_n \le 1\) and \(\theta _n \in {\mathbb {R}}\) with \(s_n = \sqrt{1-r_n^2}\) and \(\theta _0 = \theta _1 = 0\). Moreover, when \(0<r_n, r'_n <1\) and \(\theta _n, \theta '_n \in [0, 2\pi )\), \(U_{r,\theta }\) and \(U_{r',\theta '}\) are unitarily equivalent if and only if \(r= r'\) and \(\theta =\theta '\).
Proof
We have already proved the first part of this theorem.
We assume that \(U_{r,\theta }\) and \(U_{r', \theta '}\) are unitarily equivalent, where \(0< r_n, r'_n<1\) and \(\theta _n, \theta '_n \in [0,2\pi )\) with \(\theta _0=\theta _1= \theta '_0=\theta '_1 =0\). Then, there exist \(\lambda \in {\mathbb {R}}\) and a unitary operator \(W =\bigoplus _{n \in {\mathbb {Z}}} W_n\) on \(\mathcal{H}=\bigoplus _{n \in {\mathbb {Z}}}\mathcal{H}_n\) such that
Then,
and
Since \(P_{n\pm 1} e^{\mathrm{i}\lambda } WU_{r,\theta } W^* P_n = P_{n\pm 1} U_{r',\theta '}P_n\) for all \(n \in {\mathbb {Z}}\), \(We_1^n\) and \(We_2^n\) are described as \(We_1^n = e^{\mathrm{i}u_n} e_1^n\) and \(We_2^n = e^{\mathrm{i}v_n}e_2^n\) for some \(u_n, v_n \in {\mathbb {R}}\). Then,
Comparing the coefficients of \(|e_1^{n-1}\rangle \langle e_1^n|\) and \(|e_2^{n+1}\rangle \langle e_2^n|\) yields
Here, we can assume that \(u_0 = 0\) because \(WUW^* = (e^{\mathrm{i}w}W) U (e^{\mathrm{i}w}W)^*\) for any \(w \in {\mathbb {R}}\). Therefore, \(u_n = n \lambda \). Moreover, the coefficients of \(|e_1^{-1}\rangle \langle e_2^0|\) imply
with the result that \(v_0 =0\). Hence, \(v_n = - n\lambda \). Similarly, the coefficients of \(|e_1^{0}\rangle \langle e_2^1|\) imply
with the result that \(\lambda =0, \pi \). When \(\lambda =0\), \(u_n = v_n =0\), and therefore, \(W = I_\mathcal{H}\) and \(U_{r,\theta } = U_{r', \theta '}\). When \(\lambda =\pi \), \(u_n = n\pi \) and \(v_n =-n\pi = n\pi \) \((\mathrm{mod} \ 2\pi )\). In this case, \(W = \bigoplus _{n \in {\mathbb {Z}}} (-1)^n I_{\mathcal{H}_n}\). By (5), we have \(e^{\mathrm{i}\lambda }WU_{r,\theta }W^* = U_{r,\theta }\), and therefore, \(U_{r,\theta } = U_{r', \theta '}\). It is easy to see that \(U_{r,\theta } = U_{r', \theta '}\) implies that \(r=r'\) and \(\theta = \theta '\).
The converse is obvious. \(\square \)
This theorem says that the unitary equivalence classes of general one-dimensional quantum walks are described by \(\{U_{r, \theta }\}\) with \(\theta _0 = \theta _1 = 0\).
The operator \(U_{r,\theta }\) is similar to the CMV matrix introduced in [3, 5]. However, our approach and result are different in three ways from those used in [3, 5]. First, our starting point is the general one-dimensional quantum walk. Second, we add the condition \(\theta _0 = \theta _1 =0\). Third, with the exception of certain special cases, \(U_{r,\theta }\) and \(U_{r',\theta '}\) are not unitarily equivalent if \(r\ne r'\) or \(\theta \ne \theta '\).
We next consider some special cases of the one-dimensional quantum walk and introduce four types of one-dimensional quantum walk.
Definition 3
Let U be a one-dimensional quantum walk expressed by
(i) U is called a translation-invariant quantum walk if there exist vectors \(\xi _1, \xi _2, \zeta _1, \zeta _2 \in {\mathbb {C}}^2\) such that
for all \(n \in {\mathbb {Z}}\). In other words, the vectors \(\xi _{n,n+1}\) are the same, and \(\xi _{n,n-1}, \zeta _{n-1,n}\), \(\zeta _{n+1,n}\) also satisfy similar conditions.
(ii) U is called a one-dimensional quantum walk with one defect if there exist vectors \(\xi _1, \xi _2, \zeta _1, \zeta _2 \in {\mathbb {C}}^2\) such that
for all \(n \in {\mathbb {Z}} \backslash \{ 0 \}\). In other words, the vectors \(\xi _{n,n+1}\) are the same except \(n \ne 0\), and \(\xi _{n,n-1}, \zeta _{n-1,n}, \zeta _{n+1,n}\) also satisfy similar conditions.
(iii) U is called a complete two-phase quantum walk if there exist vectors \(\xi _1^+, \xi _1^-, \xi _2^+, \xi _2^-, \zeta _1^+, \zeta _1^-, \zeta _2^+, \zeta _2^- \in {\mathbb {C}}^2\) such that
for all \(n \ge 0\) and
for all \(n \le -1\).
(iv) U is called a two-phase quantum walk with one defect if there exist vectors \(\xi _1^+, \xi _1^-, \xi _2^+, \xi _2^-, \zeta _1^+, \zeta _1^-, \zeta _2^+, \zeta _2^- \in {\mathbb {C}}^2\) such that
for all \(n \ge 1\) and
for all \(n \le -1\).
By definition, two-phase quantum walks with one defect include quantum walks of other three types. Hence, we first investigate the unitary equivalence classes of two-phase quantum walks with one defect.
Theorem 3
A two-phase quantum walk U with one defect is unitarily equivalent to
for some \(0 \le r_+, r_-, r_0 \le 1\) and \(\mu _1, \mu _2, \mu _3 \in {\mathbb {R}}\) with \(s_\varepsilon = \sqrt{1-r_\varepsilon ^2}\) \((\varepsilon = +, -, 0)\). We write \(U_{r_+, r_-, r_0, \mu _1, \mu _2, \mu _3} = U_{r, \mu }\) for short. Moreover, when \(0< r_\varepsilon , r'_\varepsilon <1\) \((\varepsilon = +, -, 0)\) and \(\mu _i, \mu '_i \in [0, 2\pi )\) \((i=1,2,3)\), \(U_{r,\mu }\) and \(U_{r', \mu '}\) are unitarily equivalent if and only if \(r= r'\), \(\mu = \mu '\).
Proof
Let
be a two-phase quantum walk with one defect. Then, by (6) and (7), Eq. (2) can be written as
for some \(0 \le r_\varepsilon \le 1\) and \(a_\varepsilon , b_\varepsilon , c_\varepsilon , d_\varepsilon \in {\mathbb {R}}\) with \(s_\varepsilon = \sqrt{1-r_\varepsilon ^2}\) \((\varepsilon = +,-,0)\).
We can modify Step 2 as follows:
Step 2 \(^{\prime }\) Let \(\ell = (b_-+c_- +\pi )/2\). Define \(g_n, h_n \in {\mathbb {R}}\) by
and
and a unitary \(W_2\) on \(\mathcal{H}\) by
Then, using \(a_\varepsilon + d_\varepsilon + \pi = b_\varepsilon + c_\varepsilon \),
where \(\mu _1 = b_0 - b_-\), \(\mu _2 = b_+ - b_- + c_0 - c_-\) and \(\mu _3 =b_+ - b_- + c_+ - c_-\). This shows the first assertion of this theorem.
Next, we assume that \(U_{r,\mu }\) and \(U_{r', \mu '}\) are unitarily equivalent, where \(0< r_\varepsilon , r'_\varepsilon <1\) and \(\mu _i, \mu '_i \in [0,2\pi )\). Then, there exist \(\lambda \in {\mathbb {R}}\) and a unitary operator \(W =\bigoplus _{n \in {\mathbb {Z}}} W_n\) on \(\mathcal{H}=\bigoplus _{n \in {\mathbb {Z}}}\mathcal{H}_n\) such that
Here,
and
Considering \( P_{n\pm 1} e^{\mathrm{i}\lambda } WU_{r,\mu }W^* P_{n } = P_{n\pm 1} U_{r', \mu '} P_{n}\) for any \(n \in {\mathbb {Z}}\), we have \(We_1^n = e^{\mathrm{i}u_n} e_1^n\) and \(We_2^n = e^{\mathrm{i}v_n}e_2^n\) for some \(u_n, v_n \in {\mathbb {R}}\). Then,
Since \(e^{\mathrm{i}\lambda } WU_{r,\mu }W^* = U_{r', \mu '}\), we obtain \(r =r'\). Moreover, comparing the coefficients of \(|e_1^{n-1}\rangle \langle e_1^n|\), \(|e_1^{n-1}\rangle \langle e_2^{n}|\) and \(|e_2^{n+1}\rangle \langle e_2^n|\) yields
Here, we can assume that \(u_0 = 0\), because \(WUW^* = (e^{\mathrm{i}w}W) U (e^{\mathrm{i}w}W)^*\) for any \(w \in {\mathbb {R}}\). Therefore, \(u_n = n \lambda \), and this implies \(v_{n} = u_{n-1}+\lambda = n \lambda \) \((n \ne 0)\). Using the third equation in (10), we have \(2\lambda = 0\), and therefore \(\lambda = 0\) or \(\pi \). Moreover, the coefficients of \(|e_2^{0}\rangle \langle e_1^{-1}|\) imply \( v_0 = u_{-1} - \lambda = -2\lambda =0\). Comparing the coefficients of \(|e_1^{-1}\rangle \langle e_2^0|\), \(|e_2^{1}\rangle \langle e_1^0|\) and \(|e_2^{n+1}\rangle \langle e_2^n|\) \((n \ge 1)\), we obtain \(\mu = \mu '\). \(\square \)
This theorem says that the unitary equivalence classes of two-phase quantum walks with one defect are described by \(\{ U_{r, \mu }\}\) and are parameterized by six parameters.
From the above proof, if \(e^{\mathrm{i}\lambda } WU_{r,\mu }W^* = U_{r, \mu }\), then \(\lambda = 0\) or \(\pi \). When \(\lambda = 0\), \(v_n = u_n = 0\) and \(W = I_{\mathcal{H}}\). When \(\lambda = \pi \), \(v_n = u_n = n \pi \) and \(W = \bigoplus _{n\in {\mathbb {Z}}} (-1)^n I_{\mathcal{H}_n}\). Hence, we have the next corollary which we will use in Sect. 3.
Corollary 1
Let \(0< r_\varepsilon < 1\) \((\varepsilon = +, - , 0)\) and \(\mu _i \in [0, 2\pi )\), and let \(W = \bigoplus _{n\in {\mathbb {Z}}}W_n\) be a unitary on \(\mathcal{H}= \bigoplus _{n\in {\mathbb {Z}}}\mathcal{H}_n\). Then, for \(\lambda \in [0, 2\pi )\),
if and only if \(\lambda =0\) and \(W = I_\mathcal{H}\) or \(\lambda = \pi \) and \(W = \bigoplus _{n \in {\mathbb {Z}}} (-1)^n I_{\mathcal{H}_n}\).
As a corollary of Theorem 3, we obtain the following.
Corollary 2
[12] A translation-invariant quantum walk U is unitarily equivalent to
for some \(0 \le r \le 1\) with \(s = \sqrt{1-r^2}\). Moreover, \(U_r\) and \(U_{r'}\) are unitarily equivalent if and only if \(r=r'\).
Proof
From the definition of a translation-invariant quantum walk, we can assume that, in (8), \(r_+ = r_- =r_0\), \(a_+ = a_- =a_0\) and so on. This implies that \(\mu _1 = b_0 - b_- =0\), \(\mu _2= b_+-b_- + c_0 - c_- =0\) and \( \mu _3 =b_+ - b_- + c_+ -c_- =0\). Setting \(r = r_0\) satisfies the first assertion. The necessary and sufficient condition for unitary equivalence follows from Theorem 3. \(\square \)
Corollary 3
A one-dimensional quantum walk U with one defect is unitarily equivalent to
for some \(0 \le r_\varepsilon \le 1\) and \(\nu _1, \nu _2 \in {\mathbb {R}}\) with \(s_\varepsilon = \sqrt{1-r_\varepsilon ^2}\) \((\varepsilon = \pm , 0)\). We write \(U_{r_\pm , r_0, \nu _1, \nu _2} = U_{r, \nu }\) for short. Moreover, when \(0< r_\varepsilon , r'_\varepsilon <1\) and \(\nu _i, \nu '_i \in [0,2\pi )\), \(U_{r, \nu } \) and \(U_{r',\nu '}\) are unitarily equivalent if and only if \(r=r'\) and \(\nu = \nu '\).
Proof
From the definition of a one-dimensional quantum walk with one defect, we can assume that, in (8), \(r_+ =r_-\), \(a_+ =a_-\) and so on. This implies that \(\mu _3 =b_+ - b_- + c_+ -c_- =0\). Setting \(r_\pm = r_+ , \nu _1= \mu _1\) and \(\nu _2= \mu _2\) satisfies the first assertion. The necessary and sufficient condition for unitary equivalence follows from Theorem 3. \(\square \)
These corollaries imply that translation-invariant quantum walks are parameterized by one parameter and one-dimensional quantum walks with one defect by four parameters.
Clearly, Theorem 3 can be applied to complete two-phase quantum walks, though in this case, \(U_{r, \mu }\) is not a complete two-phase quantum walk. Indeed, from the definition of complete two-phase quantum walks, we can assume that, in (8), \(r_0 = r_+\), \(a_0 = a_+\) and so on. Then, \(\mu _1 = b_0 - b_- \ne 0\) in general, and the coefficients of \(|e_1^{-1}\rangle \langle e_2^0|\) and \(|e_1^{n-1}\rangle \langle e_2^n|\) \((n \ge 1)\) of \(U_{r, \mu }\) are not the same.
Hence, we provide the next theorem.
Theorem 4
A complete two-phase quantum walk U is unitarily equivalent to
for some \(0 \le r_+, r_- \le 1\) and \(\sigma _1, \sigma _2 \in {\mathbb {R}}\) with \(s_\varepsilon = \sqrt{1-r_\varepsilon ^2}\) \((\varepsilon = +, -)\). We write \(U_{r_+, r_-, \sigma _1, \sigma _2} = U_{r, \sigma }\) for short. Moreover, when \(0< r_\varepsilon , r'_\varepsilon <1\) and \(\sigma _i, \sigma '_i \in [0,2\pi )\), \(U_{r, \sigma } \) and \(U_{r',\sigma '}\) are unitarily equivalent if and only if \(r=r'\) and \(\sigma = \sigma '\).
Proof
The proof is almost the same as that given for Theorem 3, but we present it here for completeness. Let
be a complete two-phase quantum walk. Then, by definition, Eq. (2) can be written as
for some \(0 \le r_\varepsilon \le 1\) and \(a_\varepsilon , b_\varepsilon , c_\varepsilon , d_\varepsilon \in {\mathbb {R}}\) with \(s_\varepsilon = \sqrt{1-r_\varepsilon ^2}\) \((\varepsilon = +,-)\).
We then modify Step 2 as follows:
Step 2 \(^{\prime \prime }\) Let \(\ell = (b_++c_- +\pi )/2\). Define \(g_n, h_n \in {\mathbb {R}}\) by
and
and a unitary \(W_2\) on \(\mathcal{H}\) by
Then, using \(a_\varepsilon + d_\varepsilon + \pi = b_\varepsilon + c_\varepsilon \),
where \(\sigma _1 = c_+- c_-\) and \(\sigma _2 = b_- - b_+\). This shows the first assertion of this theorem.
Next, assume that \(U_{r,\sigma }\) and \(U_{r', \sigma '}\) are unitarily equivalent, where \(0< r_\varepsilon , r'_\varepsilon <1\) and \(\sigma _i, \sigma '_i \in [0,2\pi )\). Then, there exist \(\lambda \in {\mathbb {R}}\) and a unitary operator \(W =\bigoplus _{n \in {\mathbb {Z}}} W_n\) on \(\mathcal{H}=\bigoplus _{n \in {\mathbb {Z}}}\mathcal{H}_n\) such that
Here,
and
Considering \( P_{n\pm 1} e^{\mathrm{i}\lambda } WU_{r,\sigma }W^* P_{n } = P_{n\pm 1} U_{r', \sigma '} P_{n}\) for any \(n \in {\mathbb {Z}}\), we have \(We_1^n = e^{\mathrm{i}u_n} e_1^n\) and \(We_2^n = e^{\mathrm{i}v_n}e_2^n\) for some \(u_n, v_n \in {\mathbb {R}}\). Then,
Since \(e^{\mathrm{i}\lambda } WU_{r,\sigma }W^* = U_{r', \sigma '}\), we obtain \(r =r'\). Moreover, comparing the coefficients of \(|e_1^{n-1}\rangle \langle e_1^n|\), \(|e_1^{n-1}\rangle \langle e_2^{n}|\) and \(|e_2^{n+1}\rangle \langle e_1^n|\) yields
Here, we can assume that \(u_0 = 0\), because \(WUW^* = (e^{\mathrm{i}w}W) U (e^{\mathrm{i}w}W)^*\) for any \(w \in {\mathbb {R}}\). Therefore, \(u_n = n \lambda \), and this implies \(v_n = u_{n-1} +\lambda = n \lambda \) \((n \ge 0)\) and \(v_{n+1} = u_n - \lambda = (n-1) \lambda \) \((n \le -1)\). Hence, \(v_0 = 0\) and \(v_0 = -2\lambda \), with the result that \(\lambda = 0\) or \(\pi \). Then, \(-v_{n+1} + v_n - \lambda = 0\) for all \(n \in {\mathbb {Z}}\), and therefore, \(\sigma = \sigma '\), comparing the coefficients of \(|e_2^{n+1}\rangle \langle e_2^n|\). This completes the proof. \(\square \)
This theorem says that complete two-phase quantum walks are parameterized by four parameters.
From the above proof, if \(e^{\mathrm{i}\lambda } WU_{r,\sigma }W^* = U_{r, \sigma }\), then \(\lambda = 0\) or \(\pi \). When \(\lambda = 0\), \(v_n = u_n = 0\) and \(W = I_{\mathcal{H}}\). When \(\lambda = \pi \), \(v_n = u_n = n \pi \) and \(W = \bigoplus _{n\in {\mathbb {Z}}} (-1)^n I_{\mathcal{H}_n}\). Hence, we have the next corollary.
Corollary 4
Let \(0< r_\varepsilon < 1\) \((\varepsilon = +, -)\) and \(\sigma _i \in [0, 2\pi )\) \((i=1,2)\), and let \(W = \bigoplus _{n\in {\mathbb {Z}}}W_n\) be a unitary on \(\mathcal{H}= \bigoplus _{n\in {\mathbb {Z}}}\mathcal{H}_n\). Then, for \(\lambda \in [0, 2\pi )\),
if and only if \(\lambda =0\) and \(W = I_\mathcal{H}\) or \(\lambda = \pi \) and \(W = \bigoplus _{n \in {\mathbb {Z}}} (-1)^n I_{\mathcal{H}_n}\).
3 Unitary equivalence classes of one-dimensional quantum walks with initial states
In this section, we consider one-dimensional quantum walks with initial states. We assume that an initial state \(\varPhi \) is in \(\mathcal{H}_0\).
Definition 4
One-dimensional quantum walks with initial states \((U, \varPhi )\) and \((U' , \varPhi ')\) are unitarily equivalent if there exists a unitary \(W = \bigoplus _{n\in {\mathbb {Z}}} W_n\) on \(\mathcal{H}= \bigoplus _{n\in {\mathbb {Z}}} \mathcal{H}_n\) such that
Unitary equivalence classes of two-phase quantum walks with one defect with initial states are described as follows:
Theorem 5
A two-phase quantum walk with one defect with an initial state \((U, \varPhi )\) is unitarily equivalent to \((U_{r, \mu }, \varPhi _{\alpha , \theta })\) for some \(0 \le r_\varepsilon , \alpha \le 1\) \((\varepsilon = +, -, 0)\), \(\mu _i, \theta \in {\mathbb {R}}\) \((i =1,2,3)\), where \(\varPhi _{\alpha , \theta } = \alpha e_1^0 +e^{\mathrm{i}\theta } \sqrt{1-\alpha ^2} e_2^0\).
Moreover, \((U_{r, \mu } , \varPhi _{\alpha , \theta })\) and \((U_{r',\mu '} , \varPhi _{\alpha ', \theta '})\) with \( 0< r_\varepsilon , r'_\varepsilon , \alpha , \alpha ' <1\) and \(\mu _i, \mu '_i, \theta , \theta ' \in [0, 2\pi )\) are unitarily equivalent if and only if \(r=r'\), \(\mu = \mu '\), \(\alpha =\alpha '\) and \(\theta = \theta '\).
Proof
It was proved that U is unitarily equivalent to \(U_{r,\mu }\) for some r and \(\mu \) in Theorem 3. Hence, there exists a unitary \(W = \bigoplus _{n\in {\mathbb {Z}}} W_n\) on \(\mathcal{H}\) such that \(WUW^* = U_{r,\mu }\). The state \(W \varPhi \in \mathcal{H}_0 ={\mathbb {C}}^2\) can be written as \(W \varPhi = \alpha e_1^0 + \beta e_2^0\) for some \(\alpha ,\beta \in {\mathbb {C}}\) with \(|\alpha |^2 + |\beta |^2 =1\). Since \(W\varPhi \) and \(e^{\mathrm{i}\lambda } W\varPhi \) are identified, we can assume that \(0 \le \alpha \le 1\). Then, \(\beta = e^{\mathrm{i}\theta } \sqrt{1-\alpha ^2}\) for some \(\theta \in {\mathbb {R}}\). Therefore, \(W \varPhi = \varPhi _{\alpha , \theta }\) holds, and hence, \((U, \varPhi )\) is unitarily equivalent to \((U_{r,\mu }, \varPhi _{\alpha , \theta })\).
Next, assume that \((U_{r,\mu }, \varPhi _{\alpha , \theta })\) and \((U_{r',\mu '} , \varPhi _{\alpha ', \theta '})\) with \( 0< r_\varepsilon , r'_\varepsilon ,\alpha , \alpha ' <1\) and \(\mu _i, \mu '_i, \theta , \theta ' \in [0, 2\pi )\) are unitarily equivalent. Then, by Theorem 3, \(r= r'\) and \(\mu = \mu '\). Moreover, if there exist \(\lambda \in {\mathbb {R}}\) and a unitary operator \(W = \bigoplus _{n\in {\mathbb {Z}}} W_n\) on \(\mathcal{H}\) such that
then, by Corollary 1, \(\lambda = 0\) and \(W=I\) or \(\lambda = \pi \) and \(W =\bigoplus _{n\in {\mathbb {Z}}} (-1)^n I_{\mathcal{H}_n}\). Therefore, \(W\varPhi _{\alpha , \theta } = \varPhi _{\alpha ', \theta '}\) implies \(\alpha =\alpha '\) and \(\theta = \theta '\). \(\square \)
As corollaries, and from Corollaries 2 and 3, we have the following.
Corollary 5
A translation-invariant quantum walk \((U, \varPhi )\) is unitarily equivalent to \((U_r, \varPhi _{\alpha , \theta })\) for some \(0\le r , \alpha \le 1\) and \(\theta \in {\mathbb {R}}\).
Moreover, \((U_r, \varPhi _{\alpha , \theta })\) and \((U_{r'} , \varPhi _{\alpha ', \theta '})\) with \(0< r,r',\alpha , \alpha ' < 1\) and \(\theta , \theta ' \in [0, 2\pi )\) are unitarily equivalent if and only if \(r=r'\), \(\alpha =\alpha '\) and \(\theta = \theta '\).
Corollary 6
A one-dimensional quantum walk with one defect \((U, \varPhi )\) is unitarily equivalent to \((U_{r,\nu }, \varPhi _{\alpha , \theta })\) for some \(0\le r_\varepsilon , \alpha \le 1\) \((\varepsilon = \pm , 0)\) and \(\nu _i, \theta \in {\mathbb {R}}\) \((i=1,2)\).
Moreover, \((U_{r, \nu }, \varPhi _{\alpha , \theta })\) and \((U_{r', \nu '} , \varPhi _{\alpha ', \theta '})\) with \(0< r_\varepsilon , r'_\varepsilon ,\alpha , \alpha ' <1\) and \(\nu _i, \nu '_i, \theta , \theta ' \in [0, 2\pi )\) are unitarily equivalent if and only if \(r=r'\), \(\nu =\nu '\), \(\alpha =\alpha '\) and \(\theta = \theta '\).
The proof of the next theorem is almost the same as that given for Theorem 5 and is omitted.
Theorem 6
A complete two-phase quantum walk \((U, \varPhi )\) is unitarily equivalent to \((U_{r,\sigma }, \varPhi _{\alpha , \theta })\) for some \(0\le r_\varepsilon , \alpha \le 1\) \((\varepsilon = +,-)\) and \(\sigma _i, \theta \in {\mathbb {R}}\) \((i=1,2)\).
Moreover, \((U_{r, \sigma }, \varPhi _{\alpha , \theta })\) and \((U_{r',\sigma '} , \varPhi _{\alpha ', \theta '})\) with \(0< r_\varepsilon , r'_\varepsilon , \alpha , \alpha ' <1\) and \(\sigma _i, \sigma '_i, \theta , \theta ' \in [0, 2\pi )\) are unitarily equivalent if and only if \(r=r'\), \(\sigma =\sigma '\), \(\alpha =\alpha '\) and \(\theta = \theta '\).
4 Conclusion
We discussed the unitary equivalence classes of some types of one-dimensional quantum walks with or without initial states. In the previous paper [19], we showed some general properties of unitarily equivalent quantum walks. In particular, we proved that every one-dimensional quantum walk is the unitarily equivalent of one of the Ambainis types. We also presented the necessary and sufficient condition for defining a one-dimensional quantum walk as a Szegedy walk. In the present paper, we studied the unitary equivalence classes of some special types of one-dimensional quantum walks. As a consequence, we obtained the following results: Two-phase quantum walks with one defect (without initial states) are parameterized by six parameters, complete two-phase quantum walks by four parameters and one-dimensional quantum walks with one defect by four parameters. When we consider quantum walks with initial states, we need additional two parameters which correspond to the initial state \(\varPhi _{\alpha , \theta }\). Moreover, we showed that the unitary equivalence classes of general one-dimensional quantum walks are described by \(\{U_{r,\theta }\}\) with \(\theta _0 = \theta _1 =0\).
The parameterization of unitary equivalence classes tells us what part of one-dimensional quantum walks were already investigated and what part should be studied. For example, a complete two-phase quantum walk considered in [11] is defined by
for some \(\sigma _+, \sigma _- \in [0, 2\pi )\). From Theorem 4, \(U^{(s)}\) is unitarily equivalent to \(U_{r, \sigma }\) with \(r_+=r_- = 1/ \sqrt{2}\) and \(\sigma _1 = \sigma _2 = \sigma _- - \sigma _+\). Hence, quantum walks \(U_{r, \sigma }\) with \(\sigma _1 \ne \sigma _2\) are not included in the model of \(U^{(s)}\). Furthermore, we can reduce the parameters defining \(\sigma _1=\sigma _2 = \sigma _- - \sigma _+\). In the same way, we can apply our results to many other previous works.
References
Aharanov, L., Davidovidh, N., Zagury, N.: Quantum random walks. Phys. Rev. A 48, 1687–1690 (1993)
Ambainis, A., Bach, E., Nayak, A., Vishwanath, A., Watrous, J.: One-dimensional quantum walks. In: Proceedings of 33th ACM Symposium of the Theory of Computing, pp. 37–49 (2001)
Cantero, M.J., Grünbaum, F.A., Moral, L., Velázquez, L.: Matrix valued Szegő polynomials and quantum random walks. Commun. Pure Appl. Math. 58, 464–507 (2010)
Cantero, M.J., Grünbaum, F.A., Moral, L., Velázquez, L.: One-dimensional quantum walks with one defect. Rev. Math. Phys. 24, 1250002 (2012)
Cantero, M.J., Grünbaum, F.A., Moral, L., Velázquez, L.: The CGMV method for quantum walks. Quantum Inf. Process. 11, 1149–1192 (2012)
Endo, S., Endo, T., Konno, N., Segawa, E., Takei, M.: Weak limit theorem of a two-phase quantum walk with one defect. arXiv:1412.4309
Endo, S., Endo, T., Konno, N., Segawa, E., Takei, M.: Limit theorems of a two-phase quantum walk with one defect. Quantum Inf. Comput. 15, 1373–1396 (2015)
Endo, S., Konno, N.: Weak convergence of the Wojcik model. Yokohama Math. J. 61, 87–111 (2015)
Endo, S., Konno, N.: The stationary measure of a space-inhomogeneous quantum walk on the line. Yokohama Math. J. 60, 33–47 (2014)
Endo, S., Konno, N., Segawa, E., Takei, M.: A one-dimensional Hadamard walk with one defect. Yokohama Math. J. 60, 49–90 (2014)
Endo, T., Konno, N., Obuse, H.: Relation between two-phase quantum walks and the topological invariant. arXiv:1511.04230
Goyal, S.K., Konrad, T., Diósi, L.: Unitary equivalence of quantum walks. Phys. Lett. A 379, 100–104 (2015)
Gudder, S.P.: Quantum Probability. Academic Press, London (1988)
Kitagawa, T., Rudner, M.S., Berg, E., Demler, E.: Exploring topological phases with quantum walks. Phys. Rev. A 82, 033429 (2010)
Konno, N.: Quantum random walks in one dimensional. Quantum Inf. Process. 1, 345–354 (2002)
Konno, N.: One-dimensional discrete-time quantum walks on random environment. Quantum Inf. Process. 8, 387–399 (2009)
Konno, N.: Localization of an inhomogeneous discrete-time quantum walk on the line. Quantum Inf. Process. 9, 405–418 (2010)
Konno, N., Łuczak, T., Segawa, E.: Limit measures of inhomogeneous discrete-time quantum walks in one dimensional. Quantum Inf. Process. 12, 33–53 (2013)
Ohno, H.: Unitary equivalent classes of one-dimensional quantum walks. Quantum Inf. Process. 15, 3599–3617 (2016)
Segawa, E., Suzuki, A.: Generator of an abstract quantum walk. Quantum Stud. Math. Found. 3, 11–30 (2016)
Shikano, Y., Katsura, H.: Localization and fractality in inhomogeneous quantum walks with self-duality. Phys. Rev. E 82, 031122 (2010)
Venegas-Andraca, S.E.: Quantum walks: a comprehensive review. Quantum Inf. Process. 11, 1015–1106 (2012)
Wójcik, A., Łuczak, T., Kurzyński, P., Grudka, A., Gdala, T., Bednarska-Bzdega, M.: Trapping a particle of a quantum walk on the line. Phys. Rev. A 85, 012329 (2012)
Acknowledgements
The author is grateful to Etsuo Segawa and Akito Suzuki for their helpful comments and suggestions. This work was supported by JSPS KAKENHI Grant No. 17K05274.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ohno, H. Unitary equivalence classes of one-dimensional quantum walks II. Quantum Inf Process 16, 287 (2017). https://doi.org/10.1007/s11128-017-1741-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11128-017-1741-5