Abstract
Discrete-time quantum walks are known to exhibit exotic topological states and phases. Physical realization of quantum walks in a lossy environment may destroy these phases. We investigate the behaviour of topological states in quantum walks in the presence of a lossy environment. The environmental effects in the quantum walk dynamics are addressed using the non-Hermitian Hamiltonian approach. We show that the topological phases of the quantum walks are robust against moderate losses. The topological order in one-dimensional split-step quantum walk persists as long as the Hamiltonian respects exact \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetry. Although the topological nature persists in two-dimensional quantum walks as well, the \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetry has no role to play there. Furthermore, we observe topological phase transition in two-dimensional quantum walks that is induced by losses in the system.
Similar content being viewed by others
Introduction
Quantum walks are the quantum analogue of classical random walks1,2,3,4,5 where a quantum walker propagates on a lattice and the direction of propagation is conditioned over the state of its coin. Due to the quantum nature of the walker and the coin, the position state of the walker is a superposition of multiple lattice sites. This provides a quadratically fast spread of the walker over the lattice as compared to its classical counterpart2. Quantum walks, continuous-time as well as discrete-time, are important in various fields including universal quantum computation6,7,8, quantum search algorithms9,10,11,12, quantum simulations13, quantum state transfer14 and simulation of physical systems15,16,17. Quantum walks have been used in other branches of science as well, such as in biology to study the energy transfer in photosynthesis18. They have also been proved as a promising candidate to simulate the decoherence19,20 and to implement generalized measurements (POVM)21.
Quantum walks have started gaining popularity among condensed matter physicists since the last decade because one can simulate exotic topological phases using one (1D) and two-dimensional (2D) discrete-time quantum walk (DTQW)22,23,24,25. As a consequence, people have been able to establish the bulk-boundary correspondence for 1D periodic systems26,27. These versatile nature of quantum walks make them a prime candidate for fault-tolerant topological quantum computation and quantum simulations.
Quantum walks have been implemented on a variety of systems, such as; trapped ions/atoms28,29,30,31, optical systems32,33,34,35,36,37, NMR38,39, Bose-Einstein condensate40, etc. However, no quantum system is without losses, due to which implementation of quantum algorithms as well as the observation of exotic topological phases have always been difficult. In this article, we study the effect of losses on the topological phases arising in quantum walk systems. A system along with losses effectively renders the quantum walk dynamics non-unitary. We treat this non-unitary evolution using the non-Hermitian Hamiltonian approach41,42. We establish that for a 1D split-step quantum walk (SSQW), the topological phases persist as long as the spectrum of the non-Hermitian Hamiltonian is real. In other words, as long as the underlying non-Hermitian Hamiltonian is exact \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetric41, the topological phase is preserved. 2D quantum walks have a more complex structure. In this case, too, we observe the persistence of the topological phases. However, \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetry is absent in 2D DTQW and the quasi-energies are complex even for infinitesimal losses. Furthermore, loss-induced topological phase transition can be observed in these 2D DTQWs. We study the bulk-boundary correspondence to reconfirm our results and numerically show the robustness of the edge states with the introduction of losses.
The non-Hermitian quantum walk has been studied theoretically43 as well as experimentally34. The existence of topological edge states44, topological phase transition45,46,47 as well as the correspondence between bulk and boundary in non-Hermitian quantum walks have also been established48. In49, the authors have introduced the non-Hermiticity by making partial measurements on the internal states of the walker and showed the robustness of the topological phases against the disorder. The same model was extended to study higher winding numbers50. The role of time-reversal symmetry in topologically protected states was studied in51. We use a different model to introduce non-Hermiticity and establish the persistent nature of topological phases in these systems. We show that the topological nature of the underlying Hamiltonian does not change in the lossy environment within certain limits. We show that in 1D SSQW the topological phase persists as long the system possess exact \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetry. In the case of a 2D quantum walk, such correspondence between the topological order and the \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetry is missing. In this systems, an interesting observation is the loss-induced topological phase transition, which is absent in the 1D case.
The article is organized as follows: In “Background” section, we discuss the topics which are relevant for the understanding of our results. “Results” section contains our results on the effect of the losses on the topological nature of quantum walks. Here, we discuss the 1D SSQW and 2D quantum walks and show the persistence of topological phases in a noisy environment. We conclude in “Conclusion” section.
Background
In this section, we introduce the topics which are relevant to understand our results. We start with 1D and 2D unitary as well as non-unitary DTQWs. Specifically, we discuss the 1D and 2D DTQW, and 1D SSQW and the topological classes arising in these systems. Methods to characterize the topological phases are also discussed in this section.
1D DTQW
DTQW of a quantum walker over a one-dimensional lattice consists of a conditional shift operator T and a coin flip operator \(R(\theta )\) for a real parameter \(\theta \). In position basis \(\{|n\rangle \} \in {\mathcal {H}}_{\text {pos}}\) and spin basis \(\{|\uparrow \rangle , |\downarrow \rangle \}\), the operator \(U(\theta ) = T R(\theta )\) governs the time evolution of the walker for a unit time on the lattice. Here
and \(-2\pi \le \theta <2\pi \) is a real parameter and \(\sigma _y\) is the Pauli matrix along the y-axis. Here, \(\mathbb {1}\) represents the identity operation on the lattice. The operator \(U(\theta )\) can be expressed in terms of the underlying Hamiltonian \(H(\theta )\) as \(U(\theta ) = e^{-i H(\theta )}\)22. For simplicity, we have assumed \(\hbar = 1\) and the periodic boundary condition with N number of lattice sites. Since the unitary operator \(U(\theta )\) and the Hamiltonian is translation invariant, the (quasi) momentum eigenbasis \(\{|k\rangle \}\) are also the energy eigenstates. These states are defined as
with \(-\pi \le k \le \pi \) being the quasi-momentum. The Hamiltonian \(H(\theta )\) in the quasi-momentum space reads22
where the energy \(E_{\theta }(k)\) and the unit Bloch vector \(\mathbf{n} _{\theta }(k)\) read \(\cos E_{\theta }(k) = \cos (\theta /2) \cos k \), and
1D SSQW
A more enriched class of 1D DTQW is SSQW, which involves splitting the conditional shift operator T into left-shift (\( T_{\downarrow } \)) and right-shift (\( T_{\uparrow } \)) operators, separated by an additional coin toss \(R(\theta _2)\)22. The resultant time evolution operator for split-step quantum walks (in one-dimension) reads
where
In this case, the effective Hamiltonian \(H_{\text {SS}}(\theta _1, \theta _2)\) can be written down in quasi-momentum space as
The energy and the components of the Bloch vector are given by
and \(\mathbf{n} _{\theta _1, \theta _2}(k) = n_x(k) {{\hat{\mathbf{i }}}} + n_y(k) {{\hat{\mathbf{j }}}} + n_z(k) {{\hat{\mathbf{k }}}}\) with
Even though 1D SSQW seems complicated when it comes to implementation, it is not much different from ordinary 1D DTQW; Mathematically, the 1D SSQW can be decomposed in two steps of ordinary 1D DTQW46 and the time evolution operator of 1D SSQW can be written as
where \(U(\theta _i)\) is the time evolution for 1D DTQW.
2D DTQW
There are several ways of defining a 2D DTQW in a lattice. For our purpose, we introduce the one in which we have a square lattice and a two-dimensional coin22. This DTQW consists of two conditional translations in two directions accompanied by rotation of the coin. The time evolution operator of 2D DTQW can be written as
where \( T_x \) and \( T_y \) are the translation operators, which translate the particle in x and y directions, respectively. We can also define, 2D DTQW on a triangular lattice which consists of three spin-dependent translations separated by coin-flip operations. In that case, the unitary operator which governs the time evolution is written as
where \( T_i (i=x,y,xy) \) are the translations along \( \mathbf{s} _i \) directions with \( T_{xy} = T_xT_y \), as shown in Fig. 1. We can derive another two-dimensional quantum walk which is unitarily equivalent to \({\tilde{U}}_{_{2D}}(\theta _1, \theta _2)\) as \({\tilde{U}}_{_{2D}} \rightarrow U_{_{2D}} = T_x^\dagger {\tilde{U}}_{_{2D}} T_x\). The resulting time evolution unitary operator can be written as
The underlying Hamiltonian for this quantum walk (in quasi-momentum space) reads
where the expression of quasi-energy reads
and the Bloch vector reads22
with
The purpose of writing the evolution for 2D DTQW as (11) is that now it can be decomposed as two 1D SSQW in two different directions, i.e.46,
where \( U^i_{_{\text {SS}}} \) is the time-evolution operator of 1D SSQW (5).
Characterizing topological phases
The class of topological phases which can be realized in a system is characterized by the underlying symmetries of the Hamiltonian and the dimensionality of the system. They are further quantified by nonlocal topological invariants and possess non-Abelian geometric phases which are quantized52,53,54. The topological and nonlocal nature of these phases make them robust against local perturbations. Tuning the parameters of the Hamiltonian may result in the system going from one topological phase to another as a result of topological phase transition, without breaking the underlying symmetry of the Hamiltonian. We will discuss the symmetries of the Hamiltonian later in detail.
Topological phases can be characterized and classified into various classes using different parameters. In 1D systems, the winding number is the topological invariant that characterizes the topological phase. For a given Hamiltonian \(H = \bigoplus _k H(k)\), the winding number \(W_m\) for the mth band is defined as
where \({\mathcal {A}}_m\) is the Berry connection given as55
Here, \(|\psi _m(k)\rangle \) is the mth eigenstates of H(k) for the parameter value k. By definition, the Winding number W is the Berry phase divided by \(\pi \). In the case of discrete system, it would be convenient to calculate the Berry phase using Pancharatnam’s connection56. For a given set of pure states \(\{|\psi _m(k_n)\rangle \}\) for mth band, where \(k_n\) is momentum (quasi) which takes discrete values, it reads
Geometrically, the winding number \(W_m\) represents the number of times the Bloch vector \(\mathbf{n} \) corresponding to the state \(|\psi _m(k)\rangle \) goes around the origin in the counter-clockwise direction as k runs over the first Brillouin Zone. Note that winding numbers are sufficient to characterize the topological order in translation-invariant systems57. However, in more complex systems such as, systems with disorder in the coin angles or systems in which two bulks are connected through some crossover region, additional invariants may be required for such characterization58,59. They can be calculated easily using Schur approach60.
In two or higher dimensional systems, Chern number61 is one of the topological invariants which is used and defined as
for \( {\mathcal {F}}_m = \nabla \times {\mathcal {A}}_m \) and the integration is over the closed surface in two-dimensions (two-dimensional Brillouin zone). Here, \({\mathcal {A}}\) is the Berry curvature.
Quantum walk Hamiltonian possesses a rich topological structure. For example, the Hamiltonian \(H_{_{\text {SS}}}(\theta _1, \theta _2)\) (6) corresponding to 1D SSQW with parameters \(\theta _1\) and \(\theta _2\) exhibits two different topological phases characterized by the winding number \(W = 0\) and \(W = 1\), as shown in Fig. 2a22. In Fig. 2b, we plot the topological phases with Chern number \( C = 0, \pm 1 \) exhibited by the Hamiltonian \(H_{_{2D}}\) (12) for 2D DTQW22.
Non-unitary quantum walk
Generally, quantum walk dynamics is given by a unitary time evolution operator. However, limitations in physical implementation and the environmental effects can cause losses which can cause the dynamics to deviate from unitary nature. In general, one can extend 1D SSQW to a non-unitary quantum walk by introducing a scaling operator G43, with tunable parameters in the dynamics. The resulting time evolution operator for a non-unitary quantum walk can be written as
with
If \(g_{i, \uparrow },~g_{i, \downarrow } \ne \) 1 then \(G_i\), as well as, U become nonunitary. For simplicity, we consider the case of the homogeneous quantum walk, where all the \(g_i(n)\)s are independent of n and the scaling operator is written as
The above choice of operators is motivated by the experimental setup used in34. The factor \(\delta \) is known as the loss and gain factor as the operator G results in increasing (decreasing) the amplitude of spin-up (down). The time evolution operator for the non-unitary quantum walk becomes
This particular choice of the scaling operator leaves the translational symmetry of the quantum walk intact. Hence, the dynamical operator can be block-diagonalized in the momentum basis as
where
with \( T_{\downarrow }(k) = e^{i k (\sigma _z - \mathbb {1})/2} \), \( T_{\uparrow }(k) = e^{i k (\sigma _z + \mathbb {1})/2} \) and it acts only on the coin part. The corresponding generator or an effective Hamiltonian \(H_{_{\text {NU}}}(\theta _1, \theta _2, \delta )\) reads
with quasi-energy
and \({{\hat{\mathbf{n }}}} = n_x(k) {{\hat{\mathbf{i }}}} + n_y(k) {{\hat{\mathbf{j }}}} + n_z(k) {{\hat{\mathbf{k }}}}\) with
Note that, for \(\delta \ne 0\), G and \( U^{^{\text {NU}}}_{_{\text {SS}}} \) are no longer unitary operators and the norm of the state in the evolution may not be preserved. Consequently, \(H_{_{\text {NU}}}(\theta _1, \theta _2, \delta )\) is not Hermitian but still we have a real spectrum up to a certain critical value of \(\delta = \delta _c\). Given the fact that the energy band closes at \(k = 0, E = 0\) and from (25) we have an expression for \(\delta _c\) which reads
The argument of \(\cosh ^{-1}\) in the above equation is positive (or negative) when \(\theta _1\) and \(\theta _2\) have the opposite (or same) sign. The negative argument results in complex value of \(\delta _c\). So we consider a complex form of \( \delta \) given by \(\delta = \gamma + i \phi \). We observe that the negative argument of \(\cosh ^{-1}\) results in \(\phi _c = \pi /2\). In this article, we restrict ourselves to the case when \(\delta _c\) is real, i.e., opposite signs for \(\theta _1\) and \(\theta _2\) and refer \(\gamma \) as the scaling factor. The calculations for the case when \(\phi _c = \pi /2\) are exactly the same as for \(\phi _c = 0\) case. The imaginary value \(\phi _c = \pi /2\) amounts to shifting \(k \rightarrow k+\pi /2\). The \(\gamma _c (= \delta _c)\) is the point where the exact \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetry (will be discussed in the next section) of the system breaks spontaneously (also known as the exceptional point62), and we will have complex energies for \(\gamma > \gamma _c\).
Symmetries of the Hamiltonian
In this section, we discuss various symmetries possessed by non-unitary quantum walks under consideration. We focus mainly on the parity and time reversal (\({{\mathcal {P}}}{{\mathcal {T}}}\)) symmetry, particle-hole (\(\Xi \)) symmetry and the Chiral (\(\Gamma \)) symmetry. The \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetry characterizes the spectrum of the non-Hermitian Hamiltonian whereas the particle-hole and the Chiral symmetry classify the topological nature of the quantum walk system.
The parity \({\mathcal {P}}\) is a unitary operator which reverses the position as \(\mathbf{x} \rightarrow -\mathbf{x}\). On the other hand, time reversal operator \({\mathcal {T}}\) is an anti-unitary operator which reverses the arrow of time, i.e., \(t \rightarrow -t\). A Hamiltonian H is said to be parity and time reversal symmetric if it commutes with these two operators, i.e., \( {\mathcal {P}} H {\mathcal {P}}^{-1} = H,~{\mathcal {T}} H {\mathcal {T}}^{-1} = H\). The Hamiltonian H is \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetric if
Due to the anti-linear nature of \({{\mathcal {P}}}{{\mathcal {T}}}\) operator, even if the Hamiltonian H commutes with the anti-linear operator \({{\mathcal {P}}}{{\mathcal {T}}}\), they need not necessarily share the same set of eigenvectors. When the Hamiltonian H and the anti-linear operator \({{\mathcal {P}}}{{\mathcal {T}}}\) have the same eigenvectors, then is it called exact \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetry. In such cases the Hamiltonian possess real spectrum.
The system under consideration is quantum walk which is performed on position space with the aid of coin states. Since, the time evolution operator U(k) is block diagonal in the momentum space i.e. \(U(k) = \sum _{k} \tilde{U}(k) \otimes |k\rangle \langle k|\) and \(U(k) = e^{-i H(k)}\), we write the condition for \(\tilde{U}(k)\) in order to have \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetry as
where the operators \(\tilde{{\mathcal {P}}}\), \(\tilde{{\mathcal {T}}}\), \(\tilde{{{\mathcal {P}}}{{\mathcal {T}}}}\) act only on the coin Hilbert space.
In the case of non-Hermitian 1D SSQW, \(\tilde{U}(k)\) given in Eq. (23) satisfies the above mentioned conditions with the choice of \(\tilde{{\mathcal {P}}} = \sigma _y\) and \(\tilde{{\mathcal {T}}} = \sigma _x {\mathcal {K}}\) such that the combined operator becomes \(\mathcal {\tilde{{\mathcal {P}}}\tilde{{\mathcal {T}}}} = i \sigma _z {\mathcal {K}}\) and we have
where \({\mathcal {K}}\) is the complex conjugation operator. Therefore, the 1D SSQW is \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetric for all the values of \(\delta \) (and \(\gamma \)). However, at the exceptional point62 \(\gamma _c\), the eigenstates and eigenvectors become degenerate. Beyond this point, the eigenvectors of the Hamiltonian and the \({{\mathcal {P}}}{{\mathcal {T}}}\) operator are not the same43; hence the system no longer possesses exact-\({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetry, which results in a complex spectrum, as shown in the previous section.
Next we discuss the particle hole symmetry (PHS) represented by an antiunitary operator \(\Xi \), and the chiral symmetry (CS) represented by a unitary operator \(\Gamma \). For a non-Hermitian Hamiltonian, the PHS and CS symmetry conditions read63
respectively. Consequently for the time evolution operator, they read
We redefine the time evolution operator given in (23)26 by performing a unitary transformation which reads
which is related to \(\tilde{U}^{^{\text {NU}}}_{_{\text {SS}}}(k)\) as \(\tilde{U}^{'}(k) = R(\theta _1/2) \tilde{U}^{^{\text {NU}}}_{_{\text {SS}}}(k) R^{-1}(\theta _1/2)\). This is done to make the evolution operator symmetric in time and known as time-symmetric representation. The motivation behind this transformation is to show the existence of CS and PHS in non-Hermitian 1D SSQW explicitly. We can clearly see that \(\tilde{U}^{'}(k)\) satisfies Eqs. (33) and (34) with the choice of \(\Gamma = \sigma _x \) and \(\Xi = {\mathcal {K}}\). Hence, with the existence of these symmetries, \(\tilde{U}^{^{\text {NU}}}_{_{\text {SS}}}(k)\) belongs to a symmetry class (BDI\(^{\dagger }\)63) which supports \(\mathbb {Z}\) topological invariant.
Results
In this section, we study the behavior of the topological phases in 1D SSQW and 2D DTQW by introducing a nonzero scaling factor \(\gamma \) which, essentially, makes the system non-Hermitian. In 1D SSQW, we find that the topological phases are unaffected even when the system is non-Hermitian (i.e., \(\gamma \ne 0\)), as far as the system possesses a real spectrum following the exact \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetry. However, the topological nature of the system vanishes as we cross the exceptional point \(\gamma _c\), which means the quantity W becomes a non-integer number which decays asymptotically to zero for \(\gamma >\gamma _c\). We observe the persistence of the Chern number C in 2D DTQW as well until the scaling factor \(\gamma \) reaches a critical value. However, unlike the 1D case, we cannot associate exact \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetry breaking with the point where the topological phase transition happens due to the absence of the \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetry in 2D DTQW. Since the \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetry is absent in 2D DTQW even in the unitary region, we can not associate the persistence of the topological phase with this particular symmetry. Furthermore, we observe a loss-induced topological phase transition in 2D DTQW.
Topological phases in 1D non-unitary quantum walk
We start our analysis with non-unitary 1D SSQW, with the associated non-Hermitian Hamiltonian \(H_{_{\text {NU}}}(\theta _1, \theta _2, \gamma )\) being given in (24). Since the Hamiltonian is traceless for all values of \(\gamma \), the corresponding eigenvalues will always be of the form of \(\pm E(k)\). For each momentum k, we compute the energy eigenstates \(|\psi _\pm (k)\rangle \) corresponding to energies \(\pm E(k)\) and, we call the set \(\{|\psi _-(k)\rangle \}\) and \(\{|\psi _+(k)\rangle \}\) as the lower and upper energy bands, respectively. Using the expression for the winding number W from (15), we calculate the winding numbers for the lower and upper bands and we name them as \(W_-\) and \(W_+\), respectively.
Since the eigenstates and eigenvalues depend on \(\gamma \), \(\theta _1\) and \(\theta _2\), the winding numbers are also expected to depend upon these parameters. In Fig. 3, we plot the winding number for the lower band \(W_-\) as a function of \(\gamma \) and \(\theta _2\) for different values of \(\theta _1\). In all figures, we notice that for \(\gamma =0\), the winding number can take two different values, zero and one, depending on the choice of \(\theta _1\) and \(\theta _2\). Focusing on the case of \(W_-=1\) for a vanishing \(\gamma \), we observe that for a given \((\theta _1,\theta _2)\) if we increase the value of \(\gamma \), the winding number remains unaffected until we approach the critical value of \(\gamma \), i.e., \(\gamma _c\) (27). Crossing the \(\gamma _c\) causes a phase transition and the value of W starts decreasing and approaches zero asymptotically. Whereas, if initially the winding number \(W_-= 0\), it remains zero until we approach \(\gamma _c\), and then it starts to increase momentarily approaching some maximum value and then deteriorates to zero asymptotically.
By definition, the winding number is an integer quantity. In other words, the geometric phase acquired by the eigenstates of the Hamiltonian in the k-space is quantized and is a multiple of \(\pi \), which is possible only when all the states in an energy band lie in a plane on the Bloch sphere. The winding number must always be an integer for all the Hermitian Hamiltonians. However, beyond the exceptional points, W acquires non-integer values, hence it does not qualify as the winding number. This non-integer value of W can be explained by observing the behaviour of the eigenstates of the non-Hermitian Hamiltonian. In Fig. 4, we plot the Bloch vectors corresponding to the eigenstates \(|\psi (k)\rangle \) of the Hamiltonian \(H_{_{\text {NU}}}(\theta _1,\theta _2,\gamma )\) on the Bloch sphere. In Fig. 4a, the Bloch Vector moves in the clockwise direction and comes back to the same point, winding around the origin once resulting in \(W=1\). However, in Fig. 4b, it first goes clockwise and reverses its direction, and; therefore, \(W=0\). Figure 4a,b are for \(\gamma \le \gamma _c\) whereas Fig. 4c,d are for \(\gamma > \gamma _c\). The animation of Bloch vectors can be found in the Supplementary Material. We can clearly see that in the exact \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetric region, the eigenstates lie in a plane and results in an integer value of W, whereas in the exact \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetry broken region the eigenvectors trace a path which lies outside the plane. Hence geometric phase is not a multiple of \(\pi \) resulting in a non-integer value of W.
In summary, we have shown that the topological phase in 1D SSQW remains invariant as long as the energy eigenvalues are real, even though the Hamiltonian is not Hermitian, i.e., the topological order persists as long as the Hamiltonian respects exact \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetry. Next, we extend our study to the case of 2D DTQW.
Topological phases in 2D non-unitary quantum walk
Since 2D DTQW can be decomposed as a product of two 1D SSQW, we can easily extend 2D DTQW to non-unitary limits by introducing the scaling operator G along the x as well as the y-axis. The time evolution operator can be written as
The corresponding non-Hermitian Hamiltonian of this system reads
where
and
with
The 2D DTQW is different from the 1D SSQW as the former case does not support \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetry even in the unitary region. The energy eigenvalues become complex even for very small values of the scaling factor. If we take \(\gamma _x<< 1\) and \(\gamma _y = 0\), the expression for the energy reads
which makes the quasi-energy complex for infinitesimal scaling parameter \(\gamma _x\).
For 2D DTQW we will have \(\mathbf{k} = (k_x,k_y)\) and the time evolution operator in Eq. (11) in momentum space must satisfy \( \Xi U(\mathbf{k} ) \Xi ^{-1} = U(-\mathbf{k} )\) in order to possess PHS22,43, which is satisfied by choosing \(\Xi = {\mathcal {K}}\) for all the values of scaling factor \(G_{\gamma _x}\) and \(G_{\gamma _y}\). The existence of PHS ensures that 2D DTQW realizes topological phases with \(\mathbb {Z}\) topological invariant64,65.
Similar to the case of 1D SSQW, in 2D quantum walks also the energy eigenvalues appear in pairs \(\pm E(k_x, k_y,\gamma _x, \gamma _y)\) resulting in two energy bands. Introducing loss and gain (scaling factor \(\gamma \)) in x and y-direction results in complex pairs of energy eigenvalues. We can choose the lower energy state by looking at the sign of the real part of the energy eigenstate and calculate the Chern number.
We use (17) to calculate the Chern number for the lower energy band and plot it against \(\gamma _x\) and \(\theta _2\) for some fixed values of \(\theta _1\) and \(\gamma _y\) (Fig. 5). Despite the absence of a real spectrum, we see the persistence of the topological phase as we turn on the scaling . In other words, the system remains in the same topological phase as we introduce loss and gain factors. In 2D DTQW we observe another interesting feature, namely, for some particular values of \(\theta _1\) and \(\theta _2\), the Chern number can change abruptly from one integer value to another as \(\gamma _x\) increases, resulting in a topological phase transition. This is a loss-induced topological phase transition. Furthermore, unlike the 1D SSQW, the Chern number in 2D DTQW changes abruptly and for sufficiently large values of \(\gamma _x\) and \(\gamma _y\) the Chern number for all the parameters becomes zero.
Bulk-boundary correspondence
In the case of infinite lattice or with periodic boundary condition, we characterize our system with topological invariants such as Winding number and Chern number, however, when we have finite lattice with open boundary conditions, we observe topologically protected states on the boundary61,66. In the bulk of topological insulators, the system behaves like an ordinary insulator but on the edges, we find conducting edges states. This is referred as bulk-boundary correspondence. In this section, we study the edge states in the 1D SSQW and the 2D DTQW systems to ensure the persistence of the topological states and hence topological order.
The 1D SSQW is generally performed on an infinite lattice or a closed chain. In order to create a boundary in this system, we still consider the quantum walk on a closed chain, but divide the lattice into two regions with different rotation angles \((\theta _1, \theta _2)\), thus making the lattice inhomogeneous. The parameters for the two parts are chosen such that the two parts locally have different topological phases, as shown in Fig. 6a. At the boundary of these two phases, we should see edge states which establish the topological nature of 1D SSQW.
In Fig. 7, we plot the complex eigenvalues \(\lambda \) of the non-unitary evolution operator U given by (21). Here the close chain of length 201 is divided into two parts of length \(L = 100\) and \(L = 101\) lattice sites. The boundaries are denoted by points \(L_B = \pm 50\). We have chosen \((\theta _1^1, \theta _2^1) = (-3 \pi /8, \pi /4)\) for \(n > |L_B|\) and \((\theta _1^0, \theta _2^0) = (-3 \pi /8, 5\pi /8)\) for \(n \le |L_B|\) corresponding to winding numbers \(W = 1\) and \(W = 0\), respectively.
In Fig. 7a, we observe that two of the eigenvalues of the operator U lying on the real axis, signifying the states with energy 0 or \(\pi \) for \(\gamma = 0\). These states were absent in the homogeneous case; therefore, they are the edge states. As we introduce scaling factor i.e. \(\gamma \ne 0\), the same behaviour persists until we reach the critical value of \(\gamma \). Since we have two sets of \(\theta _1,~\theta _2\) which correspond to two different energy landscapes, we will have different exceptional points. Using Eq. (27), these exceptional points come out to be \(\gamma _c^1 = 0.2110\) and \(\gamma _c^0 = 0.2832\) for the given choice of rotation parameters \(\theta \)’s. We find that the edge states persist till the point given by min(\(\gamma _c^0, \gamma _c^1\)) after which we will have a complex spectrum for the Hamiltonian and we get many states with pure real \(\lambda \) which have a contribution from broken exact \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetry.
In the case of non-Hermitian 2D DTQW, it is more difficult to establish the bulk-edge correspondence. This is mainly due to the fact that 2D DTQW does not support \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetry. The spectrum becomes complex as soon as we introduce the scaling which is evident from Eq. (40). In order to see the persistence of edge states, we only plot the real part of the eigenvalues of the Hamiltonian. In the case of 2D DTQW, we introduce the boundary by considering position-dependent coin operator only along the y-axis while keeping the x-direction periodic, as shown in Fig. 6b. For one part of the lattice, we choose \((\theta _1^{+1}, \theta _2^{+1}) = (7 \pi /6, 7 \pi /6)\) and for the other, we choose \((\theta _1^0, \theta _2^0) = (3 \pi /2, 2\pi /2)\); hence, the Chern numbers are \(C = +1\) and 0 for the two parts.
In Fig. 8, we plot the real part of the spectrum as a function of the quasi-momentum in the x-direction. From these plots, we can see the persistence of the edge states even after introducing the scaling factor \(\gamma \). For the large value of the scaling factors, we see the gap vanishes which is predominately due to the losses. Thus, it becomes very difficult to study the bulk-edge correspondence.
Conclusion
We have studied the effect of a lossy environment on the topological properties of discrete-time quantum walks. Specifically, we have studied the 1D SSQW and 2D DTQW and observed the persistence of topological phases against losses in these systems. The loss is incorporated using the non-Hermitian Hamiltonian approach, where we include a scaling parameter \(\gamma \) which characterizes the non-Hermiticity. We find a strong correspondence between the spontaneous exact \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetry breaking and the loss of topological order in 1D SSQW, i.e, the system retains its topological order for any value of \(\gamma \), as long as the system respects the exact \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetry. Due to the absence of \({{\mathcal {P}}}{{\mathcal {T}}}\)-symmetry in 2D DTQW, we do not observe such correspondence in these systems. However, we observe loss-induced topological phase transition where we see that increasing the scaling parameter \(\gamma \) may transfer the system from one non-trivial topological phase to another. We studied the bulk-boundary correspondence in 1D and 2D DTQW and observe the robustness of edge states against the losses. Our results confirm the robustness of topological properties of DTQWs and the role of losses in a topological phase transition.
References
Aharonov, Y., Davidovich, L. & Zagury, N. Quantum random walks. Phys. Rev. A 48, 1687–1690. https://doi.org/10.1103/PhysRevA.48.1687 (1993).
Ambainis, A., Bach, E., Nayak, A., Vishwanath, A. & Watrous, J. One-dimensional quantum walks. In Proc. Thirty-Third Annual ACM Symposium on Theory of Computing, STOC 01 37–49, (Association for Computing Machinery, 2001). https://doi.org/10.1145/380752.380757.
Kempe, J. Quantum random walks: An introductory overview. Contemp. Phys. 44, 307–327. https://doi.org/10.1080/00107151031000110776 (2003).
Venegas-Andraca, S. E. Quantum walks: A comprehensive review. Quantum Inf. Process. 11, 1015–1106. https://doi.org/10.1007/s11128-012-0432-5 (2012).
Nayak, A. & Vishwanath, A. Quantum Walk on the Line. Preprint at http://arXiv.org/quant-ph/0010117 (2000).
Childs, A. M. Universal computation by quantum walk. Phys. Rev. Lett. 102, 180501. https://doi.org/10.1103/PhysRevLett.102.180501 (2009).
Childs, A. M., Gosset, D. & Webb, Z. Universal computation by multiparticle quantum walk. Science 339, 791–794. https://doi.org/10.1126/science.1229957 (2013).
Lovett, N. B., Cooper, S., Everitt, M., Trevers, M. & Kendon, V. Universal quantum computation using the discrete-time quantum walk. Phys. Rev. A 81, 042330. https://doi.org/10.1103/PhysRevA.81.042330 (2010).
Ambainis, A. Quantum walks and their algorithmic applications. Int. J. Quantum Inf. 01, 507–518. https://doi.org/10.1142/S0219749903000383 (2003).
Childs, A. M. & Goldstone, J. Spatial search by quantum walk. Phys. Rev. A 70, 022314. https://doi.org/10.1103/PhysRevA.70.022314 (2004).
Shenvi, N., Kempe, J. & Whaley, K. B. Quantum random-walk search algorithm. Phys. Rev. A 67, 052307. https://doi.org/10.1103/PhysRevA.67.052307 (2003).
Agliari, E., Blumen, A. & Mülken, O. Quantum-walk approach to searching on fractal structures. Phys. Rev. A 82, 012305. https://doi.org/10.1103/PhysRevA.82.012305 (2010).
De Nicola, F. et al. Quantum simulation of bosonic-fermionic noninteracting particles in disordered systems via a quantum walk. Phys. Rev. A 89, 032322. https://doi.org/10.1103/PhysRevA.89.032322 (2014).
Kurzynski, P. & Wójcik, A. Discrete-time quantum walk approach to state transfer. Phys. Rev. A 83, 062315. https://doi.org/10.1103/PhysRevA.83.062315 (2011).
Schreiber, A. et al. A 2d quantum walk simulation of two-particle dynamics. Science 336, 55–58. https://doi.org/10.1126/science.1218448 (2012).
Sansoni, L. et al. Two-particle bosonic-fermionic quantum walk via integrated photonics. Phys. Rev. Lett. 108, 010502. https://doi.org/10.1103/PhysRevLett.108.010502 (2012).
Peruzzo, A. et al. Quantum walks of correlated photons. Science 329, 1500–1503. https://doi.org/10.1126/science.1193515 (2010).
Mohseni, M., Rebentrost, P., Lloyd, S. & Aspuru-Guzik, A. Environment-assisted quantum walks in photosynthetic energy transfer. The J. Chem. Phys. 129, 174106. https://doi.org/10.1063/1.3002335 (2008).
Romanelli, A., Siri, R., Abal, G., Auyuanet, A. & Donangelo, R. Decoherence in the quantum walk on the line. Phys. A: Stat. Mech. Appl. 347, 137–152. https://doi.org/10.1016/j.physa.2004.08.070 (2005).
Kendon, V. Decoherence in quantum walks—A review. Math. Struct. Comput. Sci. 17, 1169–1220. https://doi.org/10.1017/S0960129507006354 (2007).
Kurzynski, P. & Wójcik, A. Quantum walk as a generalized measuring device. Phys. Rev. Lett. 110, 200404. https://doi.org/10.1103/PhysRevLett.110.200404 (2013).
Kitagawa, T., Rudner, M. S., Berg, E. & Demler, E. Exploring topological phases with quantum walks. Phys. Rev. A 82, 033429. https://doi.org/10.1103/PhysRevA.82.033429 (2010).
Kitagawa, T. et al. Observation of topologically protected bound states in photonic quantum walks. Nat. Commun. 3, 882. https://doi.org/10.1038/ncomms1872 (2012).
Asbóth, J. K. Symmetries, topological phases, and bound states in the one-dimensional quantum walk. Phys. Rev. B 86, 195414. https://doi.org/10.1103/PhysRevB.86.195414 (2012).
Edge, J. M. & Asboth, J. K. Localization, delocalization, and topological transitions in disordered two-dimensional quantum walks. Phys. Rev. B 91, 104202. https://doi.org/10.1103/PhysRevB.91.104202 (2015).
Asbóth, J. K. & Obuse, H. Bulk-boundary correspondence for chiral symmetric quantum walks. Phys. Rev. B 88, 121406. https://doi.org/10.1103/PhysRevB.88.121406 (2013).
Asbóth, J. K., Tarasinski, B. & Delplace, P. Chiral symmetry and bulk-boundary correspondence in periodically driven one-dimensional systems. Phys. Rev. B 90, 125143. https://doi.org/10.1103/PhysRevB.90.125143 (2014).
Travaglione, B. C. & Milburn, G. J. Implementing the quantum random walk. Phys. Rev. A 65, 032310. https://doi.org/10.1103/PhysRevA.65.032310 (2002).
Schmitz, H. et al. Quantum walk of a trapped ion in phase space. Phys. Rev. Lett. 103, 090504. https://doi.org/10.1103/PhysRevLett.103.090504 (2009).
Zähringer, F. et al. Realization of a quantum walk with one and two trapped ions. Phys. Rev. Lett. 104, 100503. https://doi.org/10.1103/PhysRevLett.104.100503 (2010).
Karski, M. et al. Quantum walk in position space with single optically trapped atoms. Science 325, 174–177. https://doi.org/10.1126/science.1174436 (2009).
Schreiber, A. et al. Photons walking the line: A quantum walk with adjustable coin operations. Phys. Rev. Lett. 104, 050502. https://doi.org/10.1103/PhysRevLett.104.050502 (2010).
Schreiber, A. et al. Decoherence and disorder in quantum walks: From ballistic spread to localization. Phys. Rev. Lett. 106, 180403. https://doi.org/10.1103/PhysRevLett.106.180403 (2011).
Regensburger, A. et al. Parity–time synthetic photonic lattices. Nat. 488, 167–171. https://doi.org/10.1038/nature11298 (2012).
Broome, M. A. et al. Discrete single-photon quantum walks with tunable decoherence. Phys. Rev. Lett. 104, 153602. https://doi.org/10.1103/PhysRevLett.104.153602 (2010).
Zhang, P. et al. Demonstration of one-dimensional quantum random walks using orbital angular momentum of photons. Phys. Rev. A 75, 052310. https://doi.org/10.1103/PhysRevA.75.052310 (2007).
Sephton, B. et al. A versatile quantum walk resonator with bright classical light. PLoS ONE 14, 1–14. https://doi.org/10.1371/journal.pone.0214891 (2019).
Du, J. et al. Experimental implementation of the quantum random-walk algorithm. Phys. Rev. A 67, 042316. https://doi.org/10.1103/PhysRevA.67.042316 (2003).
Ryan, C. A., Laforest, M., Boileau, J. C. & Laflamme, R. Experimental implementation of a discrete-time quantum random walk on an nmr quantum-information processor. Phys. Rev. A 72, 062317. https://doi.org/10.1103/PhysRevA.72.062317 (2005).
Alberti, A. & Wimberger, S. Quantum walk of a bose-einstein condensate in the brillouin zone. Phys. Rev. A 96, 023620. https://doi.org/10.1103/PhysRevA.96.023620 (2017).
Bender, C. M. & Boettcher, S. Real spectra in non-hermitian hamiltonians having \({{\mathcal {P}}}{{\mathcal {T}}}\) symmetry. Phys. Rev. Lett. 80, 5243–5246. https://doi.org/10.1103/PhysRevLett.80.5243 (1998).
Mostafazadeh, A. Pseudo-hermiticity versus \({{\mathcal {P}}}{{\mathcal {T}}}\) symmetry: The necessary condition for the reality of the spectrum of a non-hermitian hamiltonian. J. Math. Phys. 43, 205–214. https://doi.org/10.1063/1.1418246 (2002).
Mochizuki, K., Kim, D. & Obuse, H. Explicit definition of \({{\mathcal {P}}}{{\mathcal {T}}}\) symmetry for nonunitary quantum walks with gain and loss. Phys. Rev. A 93, 062116. https://doi.org/10.1103/PhysRevA.93.062116 (2016).
Xiao, L. et al. Observation of topological edge states in parity-time-symmetric quantum walks. Nat. Phys. 13, 1117–1123. https://doi.org/10.1038/nphys4204 (2017).
Rudner, M. S. & Levitov, L. S. Topological transition in a non-hermitian quantum walk. Phys. Rev. Lett. 102, 065703. https://doi.org/10.1103/PhysRevLett.102.065703 (2009).
Zhang, W.-W., Goyal, S. K., Simon, C. & Sanders, B. C. Decomposition of split-step quantum walks for simulating majorana modes and edge states. Phys. Rev. A 95, 052351. https://doi.org/10.1103/PhysRevA.95.052351 (2017).
Wang, Y. et al. Direct observation of topology from single-photon dynamics. Phys. Rev. Lett. 122, 193903. https://doi.org/10.1103/PhysRevLett.122.193903 (2019).
Xiao, L. et al. Non-hermitian bulk-boundary correspondence in quantum dynamics. Nat. Phys. 16, 761–766. https://doi.org/10.1038/s41567-020-0836-6 (2020).
Zhan, X. et al. Detecting topological invariants in nonunitary discrete-time quantum walks. Phys. Rev. Lett. 119, 130501. https://doi.org/10.1103/PhysRevLett.119.130501 (2017).
Xiao, L. et al. Higher winding number in a nonunitary photonic quantum walk. Phys. Rev. A 98, 063847. https://doi.org/10.1103/PhysRevA.98.063847 (2018).
Max McGinley, N. R. C. Fragility of time-reversal symmetry protected topological phases. Nat. Phys. 16, 1181–1183 (2020).
Bernevig, B. A. & Hughes, T. L. Topological Insulators and Topological Superconductors (Princeton University Press, 2013).
Chiu, C.-K., Teo, J. C. Y., Schnyder, A. P. & Ryu, S. Classification of topological quantum matter with symmetries. Rev. Mod. Phys. 88, 035005. https://doi.org/10.1103/RevModPhys.88.035005 (2016).
Shankar, R. Topological insulators—A review. Preprint at: http://arXiv.org/1804.06471 (2018).
Berry, M. V. Quantal phase factors accompanying adiabatic changes. Proc. R. Soc. Lond. A. Math. Phys. Sci. 392, 45–57. https://doi.org/10.1098/rspa.1984.0023 (1984).
Mukunda, N. & Simon, R. Quantum kinematic approach to the geometric phase. I. General formalism. Annals Phys. 228, 205–268. https://doi.org/10.1006/aphy.1993.1093 (1993).
Cedzich, C. et al. Complete homotopy invariants for translation invariant symmetric quantum walks on a chain. Quantum 2, 95. https://doi.org/10.22331/q-2018-09-24-95 (2018).
Cedzich, C. et al. Bulk-edge correspondence of one-dimensional quantum walks. J. Phys. A Math. Theor. 49, 21LT01. https://doi.org/10.1088/1751-8113/49/21/21lt01 (2016).
Cedzich, C. et al. The topological classification of one-dimensional symmetric quantum walks. Ann. Henri Poincaré 19, 325–383. https://doi.org/10.1007/s00023-017-0630-x (2018).
Cedzich, C. et al. Quantum walks: Schur functions meet symmetry protected topological phases. Preprint at http://arXiv.org/1903.07494 (2019).
Asbóth, J., Oroszlány, L. & Pályi, A. A Short Course on Topological Insulators: Band Structure and Edge States in One and Two Dimensions. Lecture Notes in Physics (Springer, 2016).
Özdemir, S. K., Rotter, S., Nori, F. & Yang, L. Parity-time symmetry and exceptional points in photonics. Nat. Mater. 18, 783–798. https://doi.org/10.1038/s41563-019-0304-9 (2019).
Kawabata, K., Shiozaki, K., Ueda, M. & Sato, M. Symmetry and topology in non-hermitian physics. Phys. Rev. X 9, 041015. https://doi.org/10.1103/PhysRevX.9.041015 (2019).
Schnyder, A. P., Ryu, S., Furusaki, A. & Ludwig, A. W. W. Classification of topological insulators and superconductors in three spatial dimensions. Phys. Rev. B 78, 195125. https://doi.org/10.1103/PhysRevB.78.195125 (2008).
Kitaev, A. Periodic table for topological insulators and superconductors. AIP Conf. Proc. 1134, 22–30. https://doi.org/10.1063/1.3149495 (2009).
Kane, C. Chapter 1—Topological band theory and the Z2 invariant. In Topological Insulators, Vol. 6 of Contemporary Concepts of Condensed Matter Science (eds Franz, M. & Molenkamp, L.) 3–34 (Elsevier, 2013).
Acknowledgements
S. K. G. acknowledges the financial support from SERB-DST (File No. ECR/2017/002404). S. D. acknowledges the support of research grant (DST/INSPIRE/04/2016/001391) from DST-INSPIRE, Govt. of India. V. M. thanks International Centre for Theoretical Sciences (ICTS) for the hospitality during the program—Geometric phase in Optics and Topological Matter (Code: ICTS/geomtop2020/01).
Author information
Authors and Affiliations
Contributions
V.M. and S.K.G. conceived the idea and carried out the calculations. A.R. and S.D. contributed in developing the idea. All the authors contributed in writing the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher's note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary Information
Supplementary Video 1.
Supplementary Video 2.
Supplementary Video 3.
Supplementary Video 4.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Mittal, V., Raj, A., Dey, S. et al. Persistence of topological phases in non-Hermitian quantum walks. Sci Rep 11, 10262 (2021). https://doi.org/10.1038/s41598-021-89441-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598-021-89441-8
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.