GROVER’S SEARCH WITH LOCAL AND TOTAL DEPOLARIZINGCHANNEL ERRORS: COMPLEXITY ANALYSIS

Grover’s Search With Local and Total Depolarizing
Channel Errors: Complexity Analysis

ILAN COHN, ANDRÉ L. FONSECA DE OLIVEIRA and EFRAIN BUKSMAN Facultad de Ingeniería, Universidad ORT Uruguay, Cuareim 1451
Montevideo, CP 11100, Uruguay
icohn@uni.ort.edu.uy
fonseca@ort.edu.uy
buksman@ort.edu.uy
   JESÚS GARCÍA LÓPEZ DE LACALLE Escuela Técnica Superior de Ingeniería de Sistemas Informáticos
Universidad Politécnica de Madrid
Calle Alan Turing s/n, 28031 Madrid, Spain
jglopez@etsisi.upm.es
Abstract

In this article the effect of noise on Grover’s algorithm is analyzed, modeled as a total depolarizing channel (TDCh) and a local depolarizing channel in each qubit (LDCh). The focus was not in error correction (e.g. by the fault-tolerant method), but to provide an insight to the kind of error, or degradation, that needs to be corrected. In the last years analytical results regarding mainly the TDCh model have been obtained. In this paper we extend these previous results to the local case, concluding that the degradation of Grover’s algorithm with the latter is worse than the former. It has been shown that for both cases with an -dependent small enough error-width, smaller than for total error and for the local case, correction is not needed.

quantum algorithms; quantum noise; algorithm complexity; Grover’s search.
\newcounter

myctr

I Introduction

Quantum systems cannot be completely isolated from the environment. When a quantum system is to be controlled externally, e.g. gate applications, state preparations and others, additional errors are generated. Such effect on quantum algorithms has been studied lately by several authors Azuma_2002 ; Shapira_2003 ; Salas_2008 ; Gawron_2012 ; Ambainis_2013_Grover .

While there is a fault-tolerant model of quantum computing based on the correction of errors below a certain threshold Aharonov_1997 ; Gottesman_1998 , this method is very expensive in computational resources. Therefore, it is important to diagnose the performance of quantum algorithms affected by noise before making any correction.

Grover’s quantum algorithm is an oracle-based search of an unordered database that, without noise, presents a quadratic speedup over the brute-force classical search algorithm Grover_1996 ; Grover_1997 ; Grover_2001 . However, this advantage is affected drastically if the oracle is faulty Regev_2008 ; Temme_2014 or in the presence of noise Chen_2003 .

Local error models are important due to the fact that any implementation of a quantum circuit are affected by gate errors. In this article we study the effect of a known rate of noise on Grover’s search algorithm, extending the work done in Vrana_2014 with total depolarizing channel error model (TDCh), and also analyzing the effects of local depolarizing channel errors (LDCh). For both model errors, it is shown that quantum speedup disappears when the error rate is constant. Furthermore, we have concluded that the degradation of Grover’s algorithm with local error (LDCh) is worse than with total error (TDCh). This is coherent with recent results Demkowicz_2015 .

The article is divided as follows: in order to introduce the equations used later, in section 2 Grover’s algorithm is briefly explained. Sections 3 and 4 deal with the effect of total and local depolarizing error (TDCh and LDCh) on Grover’s search, respectively. Some conclusions are drawn in section 5. The major calculus are given in the appendixes.

Ii Grover’s quantum search algorithm

Grover’s quantum search algorithm is known to be optimal, in some sense, to solve the problem of finding a marked element in a unsorted database of elements using oracle queries Zalka_1999 . Such problem may be shortly stated as follows: suppose we have a database of of quantum states, being the number of qubits that span the Hilbert space ( ), and an unknown marked state among them. Given an oracle ( or black box ) to identify whether an element is the one being searched, the goal is to find such marked state with high probability and in as few steps as possible.

Let denote the target basis state and the superposition of all basis states. To be able to introduce quantum error, we use the density matrix notation (), obtaining: and , respectively. The algorithm is represented in Algorithm 1.

1. Set up the superposition state .
2. Apply the oracle operator .
3. Apply the diffusion operator .
4. Repeat steps 2 and 3 times.
5. Perform measurements in the canonical basis in each qubit. The target state will emerge with high probability as .
Algorithm 1 Grover’s search algorithm

It is straightforward that after applying the oracle operator and diffusion operator times, the result is

(1)

where is also known as the Grover operator. It can be shown that the density operator obtained afterwards is

(2)

where

(3)

Hence, the probability of success (measuring the marked element) after steps is

(4)

Iii Grover’s search algorithm with Total Depolarizing Channel

In this section we analyze how the error modeled as the Total Depolarizing Channel (TDCh) affects Grover’s search algorithm. Similar work, but with different focus, has been done by Vrana et al Vrana_2014 . Instead of minimizing the mean cost as done in Vrana_2014 we propose a maximization of the probability, because a closed form expression can be obtained. This enables us to compare the results with the error modeled as the Local Depolarizing Channel (LDCh), in Sec. IV. The TDCh is an error model, which maps an -qubit state to the maximally mixed state with probability , and leaves it unchanged with probability Nielsen_2000 , given by

(5)

This can be interpreted in the probabilistic sense as a Binomial distribution, where success or failure should be interpreted as having or respectively. We will use these terms indistinctly.

iii.1 State evolution with error

We now consider the effects of the TDCh in Grover’s algorithm. That is, every step of the algorithm involves applying the Grover operator, followed by the TDCh error. Since the TDCh error commutes with any unitary operator, the density matrix obtained after steps is

(6)

where is given by Eq. (II). This has a very straightforward interpretation: we have probability of success and probability of failure .

This implies the probability of finding the marked element is

(7)

where is given by Eq. (4). Notice how the maximally mixed state introduces uniform probability over all possible states.

\includegraphics

[width=0.65]fig_pk_vs_k_Nfijo_familiaGam

Figure 1: Probability vs. number of steps with qubits and different values of : (A), (B), (C), (D) and 1 (E).
\includegraphics

[width=0.65]fig_pk_vs_kNorm_GamFijo_familiaN

Figure 2: Probability vs. normalized number of steps with and different number of qubits : (A), (B), (C) and (D).
\includegraphics

[width=0.65]fig_kMaxNorm_vs_Gama_vs_N

Figure 3: Number of steps vs. width of noise vs. number of qubits .

As can be seen from Fig. 1 and Fig. 2, the first maxima of the probability , at step , moves left with respect to as either or increase Salas_2008 . This can also be appreciated on Fig. 3, which also shows that for any number of qubits, e.g. , the behavior is similar. A good approximation of can be deduced by maximizing Eq. (7) (see A), resulting in

(8)

where

(9)

and is given by Eq. (II). We provide two approximations of Eq. (8): for and

(10)

and for with

(11)

Notice how for Eq. (10), the approximation is valid only for small values of ; while the approximation given by Eq. (11) is valid for a large range of . Fig. 4 shows different approximations of .

\includegraphics

[width=0.65]fig_kMaxNorm_vs_Gama_Nfijo

Figure 4: Step of maximum probability vs. width of noise , with qubits and different approximations of : obtained by simulation (A) and as in equations (8) (B), (10) (C) and (11) (D).

iii.2 Order estimation of the algorithm

If we apply classical amplification and stop at step , we have the order of the algorithm given by the estimate mean cost (expected number of oracle queries):

(12)

It is well-known that the classical brute-force search algorithm has order with a constant factor of .

iii.2.1 Stopping the algorithm at

If we were to stop the algorithm at , we would have the following estimate cost for the algorithm:

(13)

Since we consider , we have: and , leaving Eq. (13) as:

(14)

Notice that for any fixed the order is . For small values of () Eq. (13) becomes

(15)

It is interesting to find the width of noise that keeps the quantum speedup (order of the algorithm ). Hence, it is straightforward that needs to be a function of . In fact, one needs , as shown in Vrana_2014 .

However, Grover’s quantum search algorithm can still outperform the brute-force classical search algorithm. In fact, there is a maximum width of noise () that leaves the mean cost of Grover’s quantum search algorithm . Such is found by using Eq. (14):

(16)

which for , becomes

(17)

iii.2.2 Stopping the algorithm at

If we were to stop the algorithm at , Eq. (12) becomes . Therefore, in contrast to stopping the algorithm at , for any fixed the algorithm is of order . For large values of () and small values of (), the mean cost becomes

(18)

Comparing this result with Eq. (15), we can see that an extra constant factor of approximately appears. Then, we need to mantain the quadratic speedup (order of the algorithm ).

For any fixed , the mean cost becomes

(19)

As a result, the maximum width of noise that leaves classical () is independent of , i.e. .

Iv Grover’s search algorithm with Local Depolarizing Channel

The Local Depolarizing Channel (LDCh), maps an -qubit state to a mixed state applying the depolarizing channel in every qubit independently, i.e.

(20)

where corresponds to the depolarizing channel (Eq. (5)) acting in the qubit , and the probability of error. Analogously to Sec. III, we define the probability of obtaining the marked element after steps as , and the step at which the first maxima of the probability occurs as .

iv.1 Operator-sum representation for Grover state evolution with LDCh

For one qubit states the Depolarizing Channel error (Eq. (5)) can be expressed using Kraus’ operators (Operator-sum representation), as

(21)

where and (), being the Pauli matrices.

In the case applying local errors in all qubits in a -qubits state there are operators (all posible combinations), which are of the form Nielsen_2000

(22)

where is the Pauli matrix () and is the amount of () operators present in a particular .

If we consider one step of the algorithm as applying the Grover operator and the LDCh, we get the following state after steps

(23)

where

(24)

represents the step, each has the form of Eq. (22) and is the initial Grover state.

For the first step (), such probability is

(25)

which for becomes

(26)

Due to the exponentially increasing complexity of Eq. (23), we propose to analyze using lower and upper bounds in terms of the TDCh model (because of simplicity and relatively tight bounds), and a first order approximation.

iv.2 Probability Bounds

Grover’s algorithm with LDCh error can be interpreted as a ternary tree where each depth-level corresponds to a step. The initial node is given by , and in each node we have the paths shown in Fig. 5. In fact, the actual probability of getting the marked element at a step is obtained by taking all the possible paths (which are if one uses the Kraus’ operators).

\includegraphics

[width=0.45keepaspectratio=true]fig_Tree

Figure 5: Ternary tree at step of the algorithm with LDCh.

In order to find upper and lower probability bounds, we assume the best and worst case for the desired probability, by taking or , respectively. Thus, the probability bounds are

(27)
(28)

that hold

(29)

. Since these are of the form of the TDCh (Eq. (6)), we define these bounds as their equivalent width of error , i.e.

(30)
(31)

Even though provides a reasonable probability bound, does not (see Fig. 6). A better approach is to replace it by

(32)
\includegraphics

[width=0.65keepaspectratio=true]cotas_nuevas_pk_vs_alfa_kGr_NFijo

(a) Probability evaluated at vs. width of error for qubits and its bounds.
\includegraphics

[width=0.65keepaspectratio=true] cotas_nuevas_pk_vs_alfa_kGr_NFijo_zoom

(b) Detail for small values of .
Figure 6: Comparison between different bounds of probabilities: numerical simulation (A), first order approximation (B), lower bound with (C), upper bound with (D) and upper bound with (E).

iv.3 First order approximation of the LDCh

Here we will propose a method for analyzing the effect of the LDCh in Grover’s algorithm in terms of its first order approximation (in , as in Nielsen_2000 ), proving also that this approximation serves both as an approximation for small values of width of error and as a lower probability bound for any .

After applying the LDCh in every qubit and every step (Eq. (23)), the probability of success after steps is of the form

(33)

where is the total number of errors up to step . Hence, the first order approximation is

(34)

where is Grover’s algorithm original probability and corresponds to the all the contributions of applying one error in any qubit at any step of the algorithm (see B). As can be seen in Fig. 6, Eq. (34) is also a lower bound of the probability because all are non-negative (sums of probabilities).

iv.4 Order estimation of the algorithm

Here we denote the estimate mean cost of the algorithm with LDCh error by . Using the monotonicity of both and in , and Eq. (29), we have found bounds for the mean cost as follows:

(35)

That is, given a fixed number of steps , the bounds and induce bounds on the mean cost.

iv.4.1 Stopping the algorithm at

Considering as the final step, we have an estimate mean cost of the algorithm given by , bounded as in Eq. (35). Similar to the TDCh case, for any fixed the order is .

For and small values of () the mean cost becomes

(36)

where is a constant in the interval (from bounds). Using the first order approximation, Eq. (34) and , we have found that is approximately . The latter is much closer to than to , and hence, the actual probability is much closer when using than when using . Because of the simplicity and the validity of the expression, we encourage to use to estimate the probability .

From Eq. (36), one can see that to mantain the quadratic speedup is needed.

iv.4.2 Stopping the algorithm at

We now consider the induced bounds for , which are justified by the continuity of in both and . These are

(37)

where and . Since we are stopping at the step of maximum probability (in each curve), the following bound holds:

(38)

In fact, using Eqs. (38) and (26), one finds that and the mean cost is given by . Therefore, again, for any fixed the order is .

For and small values of (), the mean cost is approximately

(39)

where is a constant in the interval . And for the algorithm to be of order , one needs .

This is coherent with the results presented with the TDCh model, where for small values of , choosing or does not change the order of the algorithm, but for any fixed , it changes drastically.

Analogously to the work done in Sec. III, one can find : the maximum value of that leaves the mean cost . Considering the worst case yields

(40)

In contrast to the TDCh case, this width of error does depend on .

V Conclusions

In this article we have studied the effect of noise in Grover’s quantum search algorithm, based in two models of error: total depolarizing channel (TDCh) and local depolarizing channel (LDCh). Our focus was not in error correction (e.g. by the fault-tolerant method), but to provide an insight to the kind of error, or degradation, that needs to be corrected. Our work extends the results found by Vrana et. al. regarding only the TDCh model, concluding that the LDCh error model is more devastating than the TDCh error. We also show that, for both cases, with an -dependent small enough error-width, correction is not needed.

The devastating effect of the LDCh was, in some sense, expected: in the case of TDCh model the state is partially altered, but the rest remains intact (the state evolves partially in the plane formed by and , or otherwise becomes ). Whereas, with an LDCh error model, the state is mostly removed from the plane formed by and .

We have found a closed form for the step at which the maximum of probability occurs for the TDCh error model (), and provided bounds for the LDCh error model (based on the TDCh model). This step could be used as an indicator of the impact of the error in the algorithm. This means, comparing with one has an idea of how degraded the algorithm is. Analogous comparisons could be done with the probability at such steps, but are, in some sense, equivalent.

From this study we conclude that to maintain the original speed up of Grover’s algorithm, different requirements are needed depending on the error model: in the TDCh case, the error-width has to be smaller than (as in Vrana_2014 ); and for the LDCh model, it needs to be smaller than .

Furthermore, there are widths of error for both the TDCh and the LDCh model for which the algorithm still outperforms the classical brute-force algorithm. It is interesting to note that for the TDCh model this width does not depend on , i.e. for widths below the algorithm is better than the classical (Eq. (19)). Nevertheless, for the LDCh model, this classical threshold error , depends of (Eq. (40)) and goes to zero with , reinforcing the idea that the LDCh degrades more the algorithm than the TDCh.

The depolarizing channel is a particular error model. It would be interesting to study other error models taking into account experimental implementations of the algorithm. Future work should be done with this focus, and possibly including error correction.

Appendix A Finding

We wish to find which maximizes Eq. (7). We will assume , and then perform some adjustments. Considering as in Eq. (4), we find the first derivative of Eq. (7)

(41)

Assuming and nulling the derivative yields

(42)

The former can be expressed as

(43)

where , , and . This can be reduced to

(44)

where and . Considering Eq. (44) has two family of solutions

(45)

being an arbitrary integer. Thus, the solution to the original problem is

(46)

where

(47)

Adjusting border values with and , and taking integer part yields

(48)

Appendix B Finding

As stated before, corresponds to the depolarizing channel acting in any qubit at any step of the algorithm. Because of the simmetry of Grover’s algorithm in the qubits, one can assume without loss of generality that the last qubit is the affected one and then multiply by the number of possible ways of having the depolarizing channel acting on one qubit (). We can also assume, without loss of generality, that the target state is .

The depolarizing channel acting on one qubit (without the identity operator and considering that error has been commited) can be expressed with the operators

(49)

where represents the -qubit identity operator and the Pauli matrices.

It is useful to see that the set is closed under the operations of , where is Grover’s operator and is defined as the normalized superposition of the even states of the canonical base as

(50)

The state obtained after steps is represented as , which corresponds to the quantum state . The probability of obtaining the marked state () is given by , where and . Hence, the desired function is

(51)

where is the initial step of the algorithm () and correspond to applying or respectively (up to a global phase). Such matrices are given by

(52)
(53)

The expression of , derived here, has been used to perform the series expansion made in Eq. (36). The full expression is too large to include in this article.

References

  • [1] Hiroo Azuma. Decoherence in grover’s quantum algorithm: Perturbative approach. Physical Review A, 65:042311, Apr 2002.
  • [2] Daniel Shapira, Shay Mozes, and Ofer Biham. Effect of unitary noise on grover’s quantum search algorithm. Physical Review A, 67:042301, Apr 2003.
  • [3] P. J. Salas. Noise effect on grover algorithm. The European Physical Journal D, 46(2):365–373, 2008.
  • [4] Piotr Gawron, Jerzy Klamka, and Ryszard Winiarczyk. Noise effects in the quantum search algorithm from the viewpoint of computational complexity. Applied Mathematics and Computer Science, 22(2):493–499, 2012.
  • [5] Andris Ambainis, Arturs Backurs, Nikolajs Nahimovs, and Alexander Rivosh. Grover s algorithm with errors. In Antonin Kucera, ThomasA. Henzinger, Jaroslav Nesetril, Tomas Vojnar, and David Antos, editors, Mathematical and Engineering Methods in Computer Science, volume 7721 of Lecture Notes in Computer Science, pages 180–189. Springer Berlin Heidelberg, 2013.
  • [6] D. Aharonov and M. Ben-Or. Fault-tolerant quantum computation with constant error. In Proceedings of the Twenty-ninth Annual ACM Symposium on Theory of Computing, STOC ’97, pages 176–188, New York, NY, USA, 1997. ACM.
  • [7] Daniel Gottesman. Theory of fault-tolerant quantum computation. Physical Review A, 57:127–137, Jan 1998.
  • [8] L. K. Grover. A fast quantum mechanical algorithm for database search. In Proceedings, 28th Annual ACM Symposium on the Theory of Computing p. 212, 1996.
  • [9] L. K. Grover. Quantum mechanics helps in searching for a needle in haystack. Phys. Rev. Lett., 79(2):325–328, July 1997.
  • [10] Lov K. Grover. From schrödinger’s equation to the quantum search algorithm. American Journal of Physics, 69(7):769–777, 2001.
  • [11] Oded Regev and Liron Schiff. Impossibility of a quantum speed-up with a faulty oracle. In Luca Aceto, Ivan Damgård, LeslieAnn Goldberg, MagnúsM. Halldórsson, Anna Ingólfsdóttir, and Igor Walukiewicz, editors, Automata, Languages and Programming, volume 5125 of Lecture Notes in Computer Science, pages 773–781. Springer Berlin Heidelberg, 2008.
  • [12] Kristan Temme. Runtime of unstructured search with a faulty hamiltonian oracle. Physical Review A, 90:022310, Aug 2014.
  • [13] Jingling Chen, Dagomir Kaszlikowski, L.C. Kwek, and C.H. Oh. Searching a database under decoherence. Physics Letters A, 306(5–6):296 – 305, 2003.
  • [14] Peter Vrana, David Reeb, Daniel Reitzner, and Michael M. Wolf. Fault-ignorant quantum search. New Journal of Physics, 16:073033, 2014.
  • [15] Rafał Demkowicz-Dobrzański and Marcin Markiewicz. Quantum computation speedup limits from quantum metrological precision bounds. Physical Review A, 91:062322, Jun 2015.
  • [16] Christof Zalka. Grover’s quantum searching algorithm is optimal. Physical Review A, 60:2746–2751, Oct 1999.
  • [17] M. A. Nielsen and I. L. Chuang. Quantum computation and quantum information. Cambridge Univ. Press, 2000.
Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
""
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
   
Add comment
Cancel
Loading ...
121451
This is a comment super asjknd jkasnjk adsnkj
Upvote
Downvote
""
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters
Submit
Cancel

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description