Professional Documents
Culture Documents
Liwei Duan∗
Department of Physics, Zhejiang Normal University, Jinhua 321004, China
(Dated: January 28, 2022)
A scheme for implementing the discrete-time quantum walk on the Bloch sphere is proposed,
which is closely related to the SU(2) group. A spin cluster serves as the walker, while its location
on the Bloch sphere is described by the spin coherent state. An additional spin that interacts with
the spin cluster plays the role of a coin, whose state determines the rotation of the spin cluster.
The Wigner function is calculated to visualize the movement of the walker on the Bloch sphere,
with which the probability distribution and the standard deviation are also achieved. The quadratic
enhancement of variance for the quantum walk on the Bloch sphere is confirmed. Compared to the
arXiv:2201.11386v1 [quant-ph] 27 Jan 2022
ideal quantum walk on a circle, the walker’s states on the Bloch sphere are non-orthogonal, whose
drawbacks can be eliminated by increasing the number of spins in the spin cluster.
in the last section. Therefore, it is located on the Bloch sphere with polar
angle θ and azimuthal angle φ [33]. It should be noted
that [35]
II. QUANTUM WALK ON THE BLOCH
SPHERE Θ
|hθ, φ|θ′ , φ′ i| = cos2J , (3)
2
Previous studies on the quantum walk over a circle in where Θ is the angle between the (θ, φ) and (θ′ , φ′ ) di-
the phase space mainly focus on the harmonic oscillator rections and satisfies
[5, 22]. The phase space corresponds to a plane con-
sisting of all possible values of position and momentum cos Θ = cos θ cos θ′ + sin θ sin θ′ cos (φ − φ′ ) . (4)
variables as shown in Fig. 1 (a), which associates to the
Heisenberg-Weyl group. In this paper, the quantum walk Then, the spin coherent states are not orthogonal, even if
in phase space is extended to the Bloch sphere based on they correspond to different points on the Bloch sphere.
a spin cluster as shown in Fig. 1 (b), which corresponds The orthogonality is achieved in the limit of J → ∞ or
to the SU(2) group. Θ → π.
A generic rotation on the Bloch sphere can be de-
scribed by the rotating operator, defined by
A. Spin-coherent state & Bloch sphere As an example, figure 1 (b) depicts 6 sites on the equator,
which correspond to θ = π/2 and δφ = π/3. In the next
I begin by briefly reviewing the spin coherent state, section, I will proposed a scheme for implementing the
which corresponds to a point on the surface of the Bloch quantum walk on such kind of circular trajectory.
sphere [33, 34]. It can be written as
θ iφ ˆ B. Physical implementation of quantum walk on
|θ, φi = exp e J− − e−iφ Jˆ+ |J, Ji
2 the Bloch sphere
2J θ θ iφ ˆ
= cos exp tan e J− |J, Ji , (1) Now I consider a universal model composed of two sub-
2 2
systems, which are described by the collective spin opera-
where Jˆγ (γ = x, y, z) are the collective spin operators tors Ĵ and Ŝ. One subsystem (Ĵ) serves as a walker, while
and Jˆ± = Jˆx ± iJˆy are the corresponding ladder op- the other one (Ŝ) serves as a coin whose state determines
erators. Jˆγ can also be regarded as the generators of the movement of the walker. The total Hamiltonian can
the su(2) algebra. |J, Ji is a Dicke state which satisfies be written as
Jˆz |J, Ji = J |J, Ji. For the spin coherent state |θ, φi,
the expectation values of the collective spin operators Ĥ(t) = Ĥ0 + Ĥ1 , (8)
Jγ = hθ, φ| Jˆγ |θ, φi are Ĥ0 = 2κJˆz ⊗ Ŝz , (9)
(Jx , Jy , Jz ) /J = (sin θ cos φ, sin θ sin φ, cos θ) . (2) Ĥ1 (t) = Iˆw ⊗ h · Ŝδ (t − kT ) , (10)
3
where κ is the interacting strength between two subsys- In what follows, the initial state is set to be |wi = |φ0 i
tems, h = (hx , hy , hz ) corresponds to a pulse
q acted on the and |ci = | ↑i. If the overlap (Eq. (7)) between dif-
coin with period T and amplitude h = h2x + h2y + h2z ferent walker’s state are ignored, the quantum walk on
the Bloch sphere reduces to an ideal one with orthogonal
along the direction h/h, Iˆw is the identity matrix of the walker’s states [17].
walker. Such kind of Hamiltonian commonly appears in
various systems, such as atom-light interaction systems
[44–46], Bose–Einstein condensates [46, 47] and magnetic III. RESULTS AND DISCUSSIONS
clusters [48] et al. In this paper, I take two subsystems
as spin clusters, while other systems can be dealt with The quantum walk is known for its ballistic spread
accordingly. In terms of the Pauli matrices σ̂γ , the col- quadratically faster than its classical counterpart which
lective spin operators can be written as Jˆγ = i=1 σ̂i,γ /2
PN
shows a diffusive spread. Because of the quantum inter-
and Ŝγ = σ̂γ /2, where N is the total number of spins in ference effect, the variance of the quantum walk grows
the spin cluster of the walker. quadratically with the number of steps k (σ 2 ∝ k 2 ),
The time evolution over one period is determined by compared to the linear growth (σ 2 ∝ k) for the classi-
cal random walk.
Û (T ) = M̂ · Ĉ, (11) In order to demonstrate the quadratic enhancement,
one need firstly calculate the probability distribution.
with
For an ideal quantum walk, different walker’s states are
M̂ = exp −iĤ0 T (12) orthogonal. One can easily achieve the probability dis-
tribution as follows
= R̂z (κT ) ⊗ | ↑i h ↑| + R̂z (−κT ) ⊗ | ↓i h ↓| ,
PI (φn ) = hφn | ρ̂w (k) |φn i , (18)
Ĉ = exp −iIˆw ⊗ h · Ŝ (13)
where ρ̂w (k) = trc ( |ψ(k)i hψ(k)|) is the reduced density
= Iˆw ⊗ exp −ih · Ŝ . matrix of the walker. Then, the standard derivative is
given by
In each step of the quantum walk, one flips the coin and q
changes its state at first, which is determined by the σI = hφ2 i − hφi2 , (19)
coin-flip operator. Then, the walker shifts its location
with φ = n PI (φn )φln .
l P
according to the coin’s state, which is determined by the
conditional-shift operator. Based on the time evolution However, the quantum walk on the Bloch sphere cor-
operator Û (T ), one can find that Ĉ leads to a rotation of responds to a set of spin coherent states, which are non-
the coin state by angle h along the h/h direction, which orthogonal, as indicated in Eq. (7). Fortunately, the
plays a role of the coin-flip operator. One of the most Wigner function can be viewed as a quantum analogy to
frequently employed coin-flip operators is the Hadamard the classical probability density, which is able to visualize
gate Ĥc , with the evolution of the walker in the phase space. Following
the Stratonovich-Weyl correspondence [40, 42, 43], the
1 1 1 Wigner function for the SU(2) group can be defined as
Ĥc = √ . (14)
2 1 −1
ˆ φ) ,
W (θ, φ) = tr ρ̂w ∆(θ, (20)
The Hadamard gate up to a global phase factor is
achieved where the kernel can be written as
Ĉ = −iIˆw ⊗ Ĥc , (15) j
ˆ φ) =
X
√ ∆(θ, ∆j,m |j, m; di hj, m; d| , (21)
by setting h = π/ 2 (1, 0, 1). M̂ can be regarded as m=−j
a conditional-shift operator. The interacting strength κ 2j
X 2l + 1 j l j
and period T are chosen such that κT = δφ = 2π/L, ∆j,m = . (22)
which leads to the transfer of walker’s states depending 2j + 1 m 0 m
l=0
on the coin, namely
Here |j, m; di is the Dicke basis along d =
M̂ |φn i ⊗ | ↑i = |φn+1 i ⊗ | ↑i , (sin θ cos φ, sin θ sin φ, cos θ)
direction, which satisfies d ·
M̂ |φn i ⊗ | ↓i = |φn−1 i ⊗ | ↓i . (16) j l j
Ĵ |j, m; di = m |j, m; di. is the Clebsch-
m 0 m
Given that the initial state is |ψ(0)i = |wi ⊗ |ci, with Gordan coefficient.
the walker and the coin initially at |wi and |ci respec- The Wigner function satisfies the normalization rela-
tively, the final state after k steps would be tion
2J + 2 π π
Z Z
k
|ψ(k)i = M̂ · Ĉ |ψ(0)i . (17) W (θ, φ) sin θdθdφ = 1, (23)
4π 0 −π
4
FIG. 2. Quantum Walk on a circle with L = 6 for the first two steps. (a), (d) and (g) correspond to the initial states (k = 0).
(b), (e), (h) and (c), (f), (i) correspond to the states after one (k = 1) and two (k = 2) steps respectively. (a), (b) and (c) refer
to the Wigner functions. (d), (e) , (f) refer to the probability distribution of the quantum walk for a spin cluster with N = 50,
while (g), (h), (i) show the corresponding probability distribution of an ideal quantum walk with orthogonal walker’s states.
and its marginal gives the probability distribution packages, as shown in Fig. 2 (b) and (e). After the sec-
ond step, the walker’s state takes the following form
2J + 2 π
Z
P (φ) = W (θ, φ) sin θdθ. (24)
4π 0 1
ρ̂w = (|φ2 i + |φ0 i) (hφ2 | + hφ0 |)
4
Then one can define the standard derivation σ (same as 1
Eq. (19)), with + (|φ0 i − |φ−2 i) (hφ0 | − hφ−2 |) , (27)
4
Z π
which have two terms. Each term is composed of a super-
l
φ = P (φ)φl dφ. (25)
−π position of two spin coherent states, that can be regarded
as the spin cat state [40, 41]. The probability distribution
Here I focus on the short-time evolution when σ is feasi- for the non-orthogonal (Fig. 2 (f)) and orthogonal (Fig.
ble to depict the quadratic enhancement of the quantum 2 (i)) states are still quite similar. However, the Wigner
walk. For the long-time evolution, the Holevo standard function depicts more detailed structures, as shown in
deviation is more appropriate due to the periodic phase Fig. 2 (c). There exist three wave packages, separated
[49]. by stripes between them. The stripe is due to the in-
Figure 2 shows the quantum walk on the Bloch sphere terference between different coherent states, which is a
for the first two steps. For comparison, the ideal quan- distinguishing feature of the cat state.
tum walk is also present. Initially, the walker+coin is If more sites on the Bloch sphere are involved in the
described by |ψ(0)i = |φ0 i ⊗ | ↑i. The walker can be re- quantum walk, namely increasing L and decreasing δφ, a
garded as a wave package centered at (θ, φ) = (π/2, 0), larger spin cluster with greater N should be considered
as shown by the Wigner function in Fig. 2 (a). The to make sure that the overlap (7) is small enough. Figure
probability distribution for the non-orthogonal (Fig. 2 3 exhibits the quantum walk on the Bloch sphere with
(d)) and orthogonal (Fig. 2 (g)) states are quite similar, L = 40 sites for a spin cluster with N = 200. As shown
except for the finite width in the former case. The finite in Fig. 3 (a), the probability distributions for the non-
width can be reduced by increasing the number o f spins orthogonal and orthogonal states are consistent after k =
N in the spin cluster. After the first step (k = 1), one 9 steps, which exhibit more peaks. If the number of spins
can easily proof that the walker’s state becomes in the spin cluster decreases, the overlaps become larger,
1 which can smear out the multi-peak structures [24]. The
ρ̂w = (|φ1 i hφ1 | + |φ−1 i hφ−1 |) . (26) standard deviation is depicted in Fig. 3 (b). Obviously,
2
the standard deviation grows linearly with the number
Initially localized wave package propagates along oppo- of steps (σ ∝ k), which is a characteristic feature of the
site directions, which results in two uncorrelated wave quantum walk.
5
IV. CONCLUSIONS
1
[1] Y. Aharonov, L. Davidovich, and N. Zagury, J. Math. Phys. 52, 102201 (2011).
Phys. Rev. A 48, 1687 (1993). [15] P. M. Preiss, R. Ma, M. E. Tai, A. Lukin, M. Rispoli,
[2] J. Kempe, Contemp. Phys. 44, 307 (2003). P. Zupancic, Y. Lahini, R. Islam, and M. Greiner,
[3] S. E. Venegas-Andraca, Science 347, 1229 (2015).
Quantum Inf Process 11, 1015 (2012). [16] K. Wang, X. Qiu, L. Xiao, X. Zhan, Z. Bian, W. Yi, and
[4] K. Manouchehri and J. Wang, P. Xue, Phys. Rev. Lett. 122, 020501 (2019).
Physical Implementation of Quantum Walks (Springer [17] B. C. Travaglione and G. J. Milburn,
Berlin Heidelberg, Berlin, Heidelberg, 2014). Phys. Rev. A 65, 032310 (2002).
[5] B. C. Sanders, S. D. Bartlett, B. Tregenna, and P. L. [18] T. A. Brun, H. A. Carteret, and A. Ambainis,
Knight, Phys. Rev. A 67, 042305 (2003). Phys. Rev. Lett. 91, 130602 (2003).
[6] T. Kitagawa, M. S. Rudner, E. Berg, and E. Demler, [19] M. Karski, L. Förster, J.-M. Choi, A. Steffen, W. Alt,
Phys. Rev. A 82, 033429 (2010). D. Meschede, and A. Widera, Science 325, 174 (2009).
[7] T. Kitagawa, M. A. Broome, A. Fedrizzi, M. S. Rud- [20] R. Portugal, Quantum Walks and Search Algorithms
ner, E. Berg, I. Kassal, A. Aspuru-Guzik, E. Demler, (Springer New York, New York, NY, 2013).
and A. G. White, Nat. Commun. 3, 882 (2012). [21] P. Xue, B. C. Sanders, and D. Leibfried,
[8] V. Ramasesh, E. Flurin, M. Rudner, I. Siddiqi, and Phys. Rev. Lett. 103, 183602 (2009).
N. Yao, Phys. Rev. Lett. 118, 130501 (2017). [22] H. Schmitz, R. Matjeschk, C. Schneider, J. Glueck-
[9] D. Xie, T.-S. Deng, T. Xiao, W. Gou, T. Chen, W. Yi, ert, M. Enderlein, T. Huber, and T. Schaetz,
and B. Yan, Phys. Rev. Lett. 124, 050502 (2020). Phys. Rev. Lett. 103, 090504 (2009).
[10] K. Mochizuki, D. Kim, and H. Obuse, [23] F. Zähringer, G. Kirchmair, R. Gerritsma,
Phys. Rev. A 93, 062116 (2016). E. Solano, R. Blatt, and C. F. Roos,
[11] L. Xiao, X. Zhan, Z. H. Bian, K. K. Wang, X. Zhang, Phys. Rev. Lett. 104, 100503 (2010).
X. P. Wang, J. Li, K. Mochizuki, D. Kim, N. Kawakami, [24] R. Matjeschk, C. Schneider, M. Enderlein, T. Hu-
W. Yi, H. Obuse, B. C. Sanders, and P. Xue, ber, H. Schmitz, J. Glueckert, and T. Schaetz,
Nat. Phys. 13, 1117 (2017). New J. Phys. 14, 035012 (2012).
[12] K. Wang, X. Qiu, L. Xiao, X. Zhan, [25] C. A. Ryan, M. Laforest, J. C. Boileau, and R. Laflamme,
Z. Bian, B. C. Sanders, W. Yi, and P. Xue, Phys. Rev. A 72, 062317 (2005).
Nat. Commun. 10, 2293 (2019). [26] A. U. C. Hardal, P. Xue, Y. Shikano,
[13] L. Xiao, T. Deng, K. Wang, G. Zhu, Z. Wang, W. Yi, O. E. Müstecaplıoğlu, and B. C. Sanders,
and P. Xue, Nat. Phys. 16, 761 (2020). Phys. Rev. A 88, 022303 (2013).
[14] A. Ahlbrecht, V. B. Scholz, and A. H. Werner, [27] W. Dür, R. Raussendorf, V. M. Kendon, and H.-J.
6
Briegel, Phys. Rev. A 66, 052319 (2002). [39] A. M. Perelomov, Commun. Math. Phys. 26, 222 (1972).
[28] M. A. Broome, A. Fedrizzi, B. P. Lanyon, [40] J. Davis, M. Kumari, R. B. Mann, and S. Ghose,
I. Kassal, A. Aspuru-Guzik, and A. G. White, Phys. Rev. Research 3, 033134 (2021).
Phys. Rev. Lett. 104, 153602 (2010). [41] N. Akhtar, B. C. Sanders, and C. Navarrete-Benlloch,
[29] S. Dadras, A. Gresch, C. Groiseau, S. Wimberger, and Phys. Rev. A 103, 053711 (2021).
G. S. Summy, Phys. Rev. Lett. 121, 070402 (2018). [42] R. L. Stratonovich, Soviet Physics. JETP 4, 891 (1957).
[30] E. Farhi and S. Gutmann, Phys. Rev. A 58, 915 (1998). [43] J. C. Várilly and J. Gracia-Bondı́a,
[31] R. Matjeschk, A. Ahlbrecht, M. Enderlein, C. Cedzich, Ann. Phys. 190, 107 (1989).
A. H. Werner, M. Keyl, T. Schaetz, and R. F. Werner, [44] A. Kuzmich, N. P. Bigelow, and L. Mandel,
Phys. Rev. Lett. 109, 240503 (2012). EPL 42, 481 (1998).
[32] D. Wineland, C. Monroe, W. Itano, [45] H. Bao, J. Duan, S. Jin, X. Lu, P. Li, W. Qu, M. Wang,
D. Leibfried, B. King, and D. Meekhof, I. Novikova, E. E. Mikhailov, K.-F. Zhao, K. Mølmer,
J. Res. Natl. Inst. Stan. 103, 259 (1998). H. Shen, and Y. Xiao, Nature 581, 159 (2020).
[33] W.-M. Zhang, D. H. Feng, and R. Gilmore, [46] L.-G. Huang, F. Chen, X. Li, Y. Li, R. Lü, and Y.-C.
Rev. Mod. Phys. 62, 867 (1990). Liu, npj Quantum Inform. 7, 168 (2021).
[34] J.-P. Gazeau, The spin coherent states, in [47] Y. Jing, M. Fadel, V. Ivannikov, and T. Byrnes,
Coherent States in Quantum Physics (John Wiley New J. Phys. 21, 093038 (2019).
& Sons, Ltd) Chap. 6, pp. 79–95. [48] A. P. Hines, R. H. McKenzie, and G. J. Milburn,
[35] F. T. Arecchi, E. Courtens, R. Gilmore, and H. Thomas, Phys. Rev. A 71, 042303 (2005).
Phys. Rev. A 6, 2211 (1972). [49] P. Xue, B. C. Sanders, A. Blais, and K. Lalumière,
[36] C. Gerry, Opt. Express 8, 76 (2001). Phys. Rev. A 78, 042334 (2008).
[37] J. M. Radcliffe, J. Phys. A: Gen. Phys. 4, 313 (1971).
[38] R. Gilmore, Ann. Phys. 74, 391 (1972).