arxiv: v2 [quant-ph] 30 May 2013

Transcription

1 Entanglement in the Gove s Seach Algoithm Shantanav Chakaboty, Subhashish Banejee, Satyabata Adhikai, and Atul Kuma Indian Institute of Technology Jodhpu, Jodhpu-34011, India axiv: v [quant-ph] 30 May 013 Quantum Algoithms have long captued the imagination of compute scientists and physicists pimaily because of the speed up achieved by them ove thei classical countepats using pinciples of quantum mechanics Entanglement is believed to be the pimay phenomena behind this speed up Howeve thei pecise ole in quantum algoithms is yet unclea In this aticle, we exploe the natue of entanglement in the Gove s seach algoithm This algoithm enables seaching of elements fom an unstuctued database quadatically faste than the best known classical algoithm Geometic measue of entanglement has been used to quantify and analyse entanglement acoss iteations of the algoithm We eveal how the entanglement vaies with incease in the numbe of qubits and also with the numbe of maked o solution states Numeically, it is seen that the behaviou of the maximum value of entanglement is monotonous with the numbe of qubits Also, fo a given value of the numbe of qubits, a change in the maked states altes the amount of entanglement The amount of entanglement in the final state of the algoithm has been shown to depend solely on the natue of the maked states Explicit analytical expessions ae given showing the vaiation of entanglement with the numbe of iteations and the global maximum value of entanglement attained acoss all iteations of the algoithm I INTRODUCTION Entanglement is a puely quantum mechanical phenomena which lies at the heat of many tasks of quantum infomation and quantum computation [1] Entanglement is peceived as a esouce which facilitates faste and moe secued communication as compaed to classical means [] It is believed to be the pimay eason behind the speed up achieved by quantum algoithms ove thei classical countepats [3] Howeve, the lack of a mathematical stuctue fo highe qubits make the study of entanglement difficult [4] At the heat of quantum algoithm, lies two fundamental algoithms namely Sho s algoithm [5] and the Gove s Seach Algoithm [6] The Sho s algoithm, developed by Pete Sho in 1994, factos a numbe into pimes in polynomial time Now this algoithm, when implemented in a quantum compute, poses a isk fo the existing cypto-system It has been shown that entanglement is necessay to achieve an exponential speed up in Sho s Algoithm [7] In [8], scaling of entanglement was studied in Sho s algoithm and adiabatic quantum algoithms acoss quantum phase tansitions in Gove s algoithm as well as the NP-Complete Exact Cove poblem It was obseved that the scaling of entanglement defined the complexity of the quantum phase tansitions In this aticle, the focus would be on the Gove s seach algoithm The poblem of seaching fo an enty in an unodeed database equies O(N) time even fo the best known classical andomized algoithm The Gove s algoithm achieves this task in O( N) time In fact it has been shown that thee exists a family of quantum seach algoithms that can achieve a quadatic speedup of which the Gove s algoithm is a distinguished membe [9] Also, the quantum seach algoithm would equie an exponential ovehead in tems of esouces, if implemented without entanglement [10] In [11], the non-classical coelations fo the two qubit scenaio of the quantum seach algoithm had been studied, howeve, in this aticle we conside the geneal n qubit and M solution states scenaio Fo an n qubit system, the algoithm seaches fo M elements that ae stoed in a database of N = n elements The algoithm ceates an initial supeposition of states on applying Hadamad gates to each of the n qubits esulting in an equal supeposition of all the basis states This is followed by the epeated application of the Gove iteate G theeby amplifying the amplitudes of the maked states The cicuit fo the Gove s algoithm is shown in Fig 1 0 / n H n U 1 H Repeat O( N/M) times H n 0 n 0 n I n H n FIG 1: Cicuit fo Gove s Algoithm The epeated application of G esults in the otation of initial supeposition of an n-qubit poduct state ψ 0 towads the M maked states At the th iteation, the state of the algoithm is given by: Electonic addess: shantanav with u@iitjacin Electonic addess: subhashish@iitjacin Electonic addess: satya@iitjacin Electonic addess: akuma@iitjacin ψ = G ψ 0 = n M S 0 + sin θ M S 1 (1) Hee, S 0 is the supeposition of the non-maked states, while S 1 is the supeposition of all the taget states

2 At the th iteation, θ = ( + 1 ) sin 1 M ( N ) [1, 6] Clealy, in ode to teminate in a supeposition of the solution states, the optimal value of occus when θ = π Thus π opt = CI[( sin 1 M ( )) 1) 1 ], whee N CI(x) etuns the closest intege to x Clealy, fo N >> M, opt = O( N M ) The geometic measue of entanglement of a state ψ is expessed as its distance fom its neaest sepaable state ζ In othe wods, the ovelap between ψ and ζ is maximized and the entanglement of the state ψ is expessed as [1] E( ψ ) = 1 maxζ ζ ψ () This value of entanglement E( ψ ) of the state ψ can be thought of as the sine squaed of its angle with its closest sepaable state ζ This measue quantifies the amount of global entanglement that a quantum state inheits In this aticle, we have used the geometic measue of entanglement () to analyse how the amount of entanglement vaies acoss iteations in the Gove s seach algoithm Ealie, a simila appoach had been taken in [13] to quantify entanglement acoss each iteation of the Gove s Algoithm by using concuence [14] In [15], the autho eveals that the numbe of entangled states in the quantum seach algoithm incease with the numbe of qubits The stuctue of the aticle is as follows In Section II, the genealized expession fo geometic measue of entanglement fo n qubits and M solution states in the quantum seach algoithm is deived In section III, explicit analytical elations of dependence of entanglement with the numbe of iteations and the maximum value of entanglement acoss all iteations ae calculated In section IV, the entanglement dynamics with the numbe of qubits n and the numbe of solutions M has been plotted using numeical methods It also consists of entanglement dynamics when the quantum seach algoithm conveges to some fixed known states Section V compaes the geometic measue of entanglement with concuence with espect to entanglement in the Gove s seach algoithm Finally, we conclude in section VI II GEOMETRIC MEASURE OF ENTANGLEMENT IN THE GROVER S SEARCH ALGORITHM As mentioned in Eq (1) of Section I, the quantum state ψ at a given iteation of the Gove s algoithm is expessed as the supeposition of the non-taget and the taget states As the opt, the amplitude of the solution states incease and that of the non-solution states decease Also, it is inteesting to note that the Gove s iteate G is compised of two basic stages: Fist, phase invesion by an oacle and second, an invesion about the mean It has been shown that at each iteation, it is the action of the oacle that leads to an incease in the amount of entanglement wheeas, the second stage educes the same [13] Now, to compute the amount of entanglement at the th iteation of the Gove s algoithm, let us assume a puely n-sepaable state ζ = (cos 0 + eiγ sin 1 ) n Each patition epesents the most geneal fom of a single qubit The task is to maximize the ovelap between ψ and ζ Fo the algoithm, the value of θ lies in the inteval [0, π ] (as shown in Eq (1)) and this esults in all coefficients of the state ψ to be positive This enables us to fix γ = 0, when we ae maximizing the ovelap Anothe, inteesting obsevation is that the coefficients of ζ ae pemutation invaiant This implies that the coefficients of all basis states in ζ containing the same numbe of 0 s and 1 s ae equal Thus fo all basis states with n k zeoes and k ones, the coefficient is cos n k sink and thee ae ( n k) basis states having this coefficient Let us assume that of the N = n states pesent in the database, only M ae solution states Let us expess the maked states in tems of the numbe of 0 s and 1 s they contain Let the M maked basis states contain n 1, n, n m 0 s espectively Making use of the phase optimality and pemutation invaiance of ζ, we aive at its ovelap with ψ ζ ψ = N M (cos + sin )n +( sin θ cos θ M )( cos (3) n ni M N M sinni ) i=1 Thus, entanglement of ψ is given by the following expession: E( ψ ) = 1 max (cos N M + sin )n + ( sin θ cos θ M )( cos n ni M N M sinni ) i=1 (4) Thus, fo each iteation, we have obtained an expession that can quantify the entanglement Fo vaious n and M, we calculate the value of E both analytically and numeically III ANALYTICAL RESULTS ON DEPENDENCE OF ENTANGLEMENT ON THE NUMBER OF ITERATIONS AND MAXIMUM ENTANGLEMENT REACHED In this section, we establish analytically, a elation between the entanglement E and the numbe of iteations Fo the Gove s algoithm of n qubits and M solutions, the entanglement at the th iteation is given by Eq (4)

3 3 Let, us assume = to be the value of fo which the ovelap is maximum at the th iteation, whee 1 opt Thus the expession fo entanglement at the th iteation is as follows: E( ψ ) = 1 ( (cos N M + sin )n + ( sin θ cos θ M )( cos n ni (5) M N M sinni )) i=1 Assuming that s 1 = (cos + sin )n, s = M i=1 cosn ni sinni, k 1 = s1 s N M and k = s M, Eq (5) gives: E( ψ ) = 1 (k 1 + k sin θ ) (6) Substituting λ = 1 E( ψ ), we obtain a quadatic equation in As θ is acute, we get: = cos 1 ( λk 1 +k k 1 +k λ k1 +k sin 1 ( ) M N ) 1/ (7) As is eal, we have: k1 + k λ Putting the values of k 1, k and λ, we obtain a bound fo the entanglement E as: E( ψ ) 1 (s 1 s ) N M s M (8) Thus we obtain the equied expession Hee, the entanglement value neve eaches 1 as it can occu only when s 1 = s = 0 The maximum entanglement, E max acoss iteations (1 opt ) is IV E max = max {E( ψ )} (9) QUANTIFYING ENTANGLEMENT: NUMERICAL RESULTS It becomes difficult to analytically obtain and quantify entanglement Hence we esot to numeical analysis Numeical esults ae obtained by consideing t = tan in Eq (4) and maximizing the esulting polynomial Thus the poblem is educed to obtaining the oots of a polynomial as indicated in [1] The entanglement value fo each iteation is then plotted with the numbe of iteations vaying fom = 1 to = opt As the initial state of the Gove s algoithm is a esult of an n qubit Hadamad tansfom, the initial entanglement E( ψ 0 ) is always 0 A Entanglement when M=1 When thee exists a single maked state, the entanglement inceases with the incease in the numbe of iteations, becomes maximum at exactly opt and tails off to zeo when = opt The natue of the cuve is independent of the value of n o the selection of M The peak value of entanglement inceases with the incease in n The esults fo n = 7 and n = 8 qubits have been shown in Fig, assuming that the state 000 is maked (esult does not change on alteing the maked state) Fo n = 7 (a)entanglement fo n=7 qubits (b)entanglement fo n=8 qubits FIG : Entanglement with espect to the numbe of iteations when M = 1 and 000 is maked Hee Y-axis depicts the entanglement while the numbe of iteations is shown along the X-axis qubits, opt = 8, and a peak entanglement value of 037 is attained while the values fo n = 8 qubits ae 1 and 044 espectively This tend continues as n inceases An inteesting obsevation has been the fact that the peak value is attained at exactly half of the optimal numbe of iteations This esult adhees to the one found in [13] using n-qubit concuence The scenaio changes fo M > 1 We analyse how the entanglement vaies when n is fixed and M vaies B Entanglement when n is fixed and M changes In ode to study the vaiation of entanglement with the incease in the numbe of maked states, we fix the numbe of qubits fixed at n = 10 Some of the esults fo M =, M = 3, M = 5 and M = 10 ae shown in Fig 3 Now, again the choice of maked states become impotant As mentioned ealie, fo M =, 000 and 111 ae chosen Fo M >, the states 000, 111 and M states with n 0 s and n 1 s states ae chosen as the maked states without any loss of geneality The entanglement fo all such states is given by: E( ψ, M ) = 1 max (cos N M + sin )n + ( sin θ )(cos n M N M + sinn + (M ) cos n sin n ) (10) We obseve that the peak value of entanglement inceases with incease in M Also, inteestingly, with an incease in M, the ise in entanglement deceases and it takes longe (moe numbe of iteations)to each the peak, o

4 4 C Entanglement dynamics when the algoithm conveges to physically known quantum states 1 (a)entanglement when M= (b)entanglement when M=3 (c)entanglement when M=5 (d)entanglement when M=10 FIG 3: Entanglement with espect to the numbe of iteations when n = 10 and M changes Hee entanglement is plotted along the Y-axis while the numbe of iteations is plotted along the X-axis GHZ state When M =, the choice of the maked states become impotant and depending on this the expession and dynamics of entanglement changes The entanglement value is 0 in the beginning, inceases with and attains a maximum value to the ight of opt and de ceases theein till opt The dynamics ae unchanged with the selection of M Howeve, the peak entanglement value inceases with an incease in n just as the case with M = 1 Howeve, the final entanglement depends on the choice of the maked states The n qubit GHZ state is defined as [16] 1 GHZin = ( 0000i i) (11) When 0000i and 1111i ae chosen as the maked states, the esulting final state is a GHZ state and the entanglement value is vey close to 05 as shown in Fig 4 The expession fo entanglement in that case is given by: in othe wods, the peak shifts to the ight In the Fig 3, this has been exhibited clealy Ealie, we had seen that fo M = 1, the entanglement peaked at exactly 05opt, iespective of the choice of the maked state As shown cos θ E( ψ, M = i) = 1 max (cos + sin )n + N sin θ cos θ ( )(cosn + sinn ) N (1) No of Optimal No of iteamaked no of tions equied states iteations to each peak entanglement opt opt opt (a)entanglement fo n=7 qubits (b)entanglement fo n=8 qubits opt 10 7 opt TABLE I: Iteations equied to attain maximum entanglement fo n = 10 qubits (c)entanglement fo n=9 qubits in Table I, we find that the peak entanglement gets close to the optimal numbe of iteations and ultimately coincides with the same On inceasing n, the value of M equied fo maximum entanglement to coincide with opt inceases (d)entanglement fo n=10 qubits FIG 4: Entanglement dynamics with espect to the numbe of iteations when 000i and 111i ae maked Hee Y-axis depicts entanglement and the numbe of iteations is shown in the X-axis

5 5 Clealy, although the natue of the cuve emains the same, the maximum value of entanglement inceases fom 058 to 064 as n changes fom 7 qubits to 10 qubits Howeve, the entanglement of the final state is always 05 and on changing the maked states, this value is alteed Thus, fo a fixed M and on alteing n, the dynamics of entanglement do not change In the next section, we fix n and alte M and study the natue of the undelying entanglement Dicke state In geneal, an n qubit Dicke state [17] with k excitations is given by: Dk n = 1 (n ) Π j { 1 k 0 n k }, (13) k j whee j Π j denotes the sum ove all possible pemutations of n k 0 s and k 1 s These states ae well known in quantum optics and have appeaed in a numbe of investigations elated to the phenomena of supeadiance [17, 18] As all the amplitudes of Dk n ae positive, the neaest sepaable state ζ would be: The maximum ovelap between W n and ζ is calculated as: n max ζ W n = n 1 (n 1 n )n/ = ( n 1 n 1 n )( ) Thus, E( W n ) = 1 ( n 1 n )(n 1) (18) Clealy, the entanglement value of W states is geate than that of GHZ states This occus because the geometic measue of a quantum state is calculated fom its neaest n sepaable state and is a global entanglement measue, not quantifying genuine multipatite entanglement To quantify genuine multipatite entanglement of a state, its ovelap fom its neaest bi-sepaable state must be calculated [1] In this section, we analyse the dynamics of entanglement when the algoithm conveges to a W state When the maked states M = n and each such maked ζ = (cos 0 + sin 1 ) n (14) Thus, ζ D n k = (n k ) cos n k sink (15) and the geometic measue of entanglement is given by (n ) E( Dk n ) = 1 max cos n k k sink (16) By conveting the above equation into a polynomial and maximizing it ove yields the value of entanglement as ( ) n k E( Dk n k ) = 1 { k n n (n k)(n k) } (17) Thus by vaying k we can obtain a plethoa of Dicke states One such example is D n 1 which is the genealized n qubit W state [19] The Gove s algoithm conveges to the W state if the maked states ae aptly chosen 3 W state The genealized n-qubit W state is a maximally entangled state [0] and is expessed as: W n = 1 n ( ) FIG 5: Entanglement dynamics with espect to the numbe of iteations when n = 1 and the taget state is a W state Hee entanglement is plotted along the Y-axis and the numbe of iteations along the X-axis basis state contains exactly one 1 The expession fo geometic measue of entanglement at each iteation of the algoithm in such a case is given by: E( ψ, M = n ) = 1 max (cos N M + sin )n + ( sin θ )(n cos n 1 M N M sin ) (19) The entanglement dynamics fo n = 1 qubits is shown in Fig 5 V COMPARISON WITH CONCURRENCE In [13], concuence was used to quantify the entanglement at each iteation of the algoithm The concuence at the th iteation was expessed in tems of the change in pobability of obtaining the taget state with espect to the numbe of iteations C( ψ ) = 1 A 0 da d

6 6 Hee, A is the pobability of obtaining the taget state and A 0 is the initial amplitude of the supeposition of maked states Fo the case whee thee exists only one maked state, the evolution of concuence with espect to the numbe of iteations follows a tend that is simila to the one obtained in the case of geometic measue of entanglement The concuence of the initial state C( ψ 0 ) and that of the final state, afte opt numbe of iteations is 0 Othe than that, concuence is non-zeo fo all values of On the othe hand, fo multiple maked states, the pesence of entangled states was indicated without explicitly quantifying the same Geometic measue of entanglement allows us to quantify entanglement fo the pesence of one o moe maked states Moeove, the expession fo entanglement in ou study allows us to analyse the vaiation in entanglement with incease in the numbe of qubits and also with the change in the numbe of maked states VI CONCLUSION In this aticle, we have studied the natue of entanglement in the Gove s seach algoithm At each iteation of the algoithm, the amount of entanglement has been pecisely quantified using the geometic measue of the entanglement As mentioned ealie, this entanglement value is a global entanglement quantifie and is not a measue of the inte-paticle entanglement, ie, it does not quantify genuine multipatite entanglement In ode to calculate the genuine multipatite entanglement, one needs to calculate the ovelap of a state fom its neaest bi-sepaable state with the bi-patition occuing between the fist qubit and the emaining n 1 qubits A genealized expession fo the entanglement in the Gove s algoithm fo n qubits and M solution states has been calculated This has been used to analyse the vaiation of entanglement with change in n and M The geneic natue of the behaviou of entanglement does not alte with incease in n fo a given M Howeve, the maximum value of entanglement inceases gadually The amount of entanglement in the final state depends solely on the choice of the solution states as the algoithm ultimately teminates in an equal supeposition of the taget states Fo M = 1, the entanglement tails off to zeo as the algoithm stops o the optimal numbe of iteations is eached, as the state is fully sepaable Also, the maximum value of entanglement is eached at exactly half of the optimal numbe of iteations Fo M > 1, the peak value of entanglement is no longe at the cente but is shifted to the ight The choice of maked states, may lead to the temination of the algoithm in a GHZ o a W state Fo a given value of M, the peak entanglement inceases with n and the position of the peak is same fo all M Howeve, when n is fixed and M is inceased gadually, the peak value of entanglement shifts gadually to the ight and conveges to a steady value at opt numbe of iteations The dependence of entanglement on the numbe of iteations is calculated analytically which futhe imposes a bound on the amount of entanglement that can be attained duing the couse of the algoithm We have also compaed ou esults with that of multi-qubit concuence In [], a global entanglement measue was defined and used to descibe the evolution of entanglement in the Gove s seach algoithm fo ten qubits and one maked state The entanglement dynamics is seen to be consistent with ou esults using geometic measue of entanglement [1] M A Nielsen and I Chuang, Quantum Computation and Quantum Infomation (Cambidge Univesity Pess, 00), p 11, 95 [] D Buβ, J Math Phys 43, 437 (00) [3] A Galindo and M A Matin-Delgado, Rev Mod Phys 74, 347 (00) [4] S Aaonson and D Gottesman, Phys Rev A 70, 0538 (004) [5] P W Sho, SIAM J of Computing 6, 1484 (1997) [6] L K Gove, Phys Rev Lett 79, 35 (1997) [7] D Deutsch and R Jozsa, Poc R Soc Lond A 439, 553 (199) [8] R Ous and J I Latoe, Phys Rev A 69, (004) [9] A Galindo and M A Matin-Delgado, Phys Rev A 6, 6303 (000) [10] D A Meye, Phys Rev Lett 85, 014 (000) [11] S Chakaboty and S Adhikai, axiv:quantph: (013) [1] T C Wei and P M Goldbat, Phys Rev A 68, (003) [13] P Rungta, Phys Lett A 373, 31 (007) [14] W K Woottes, Phys Rev Lett 80, 45 (1998) [15] D Buβ and C Macchiavello, Phys Rev A 83, (011) [16] D M Geenbege, M A Hone, A Zeilinge, axiv:quant-ph: (007) [17] R H Dicke, Phys Rev A 93, 99 (1954) [18] S Pasad and R J Glaube, Phys Rev A 61, (000) [19] M Begmann and O Guhne, axiv:quant-ph: (013) [0] W Du, G Vidal and J I Ciac, Phys Rev A 6, 06314, (000) [1] M Blasone, F Dell Anno, S De Siena and F Illuminati, Phys Rev A 77, (008) [] D A Meye and N R Wallach, J Math Phys 43, 473 (00)