arxiv: v1 [quant-ph] 23 Aug 2016

Transcription

1 Diagonal gates in the Cliffor hierarchy Shawn X. Cui, 1,2 Daniel Gottesman, 3,4 an Aniruh Krishna 3,5 1 University of California Santa Barbara, USA 2 Stanfor University, Palo Alto, USA 3 Perimeter Institute for Theoretical Physics, Waterloo, Canaa 4 CIFAR QIS Program, Toronto, Canaa 5 JARA IQI, RWTH Aachen University, Aachen, Germany arxiv: v1 [quant-ph] 23 Aug 2016 The Cliffor hierarchy is a set of gates that appears in the theory of fault-tolerant quantum computation, but its precise structure remains elusive. We give a complete characterization of the iagonal gates in the Cliffor hierarchy for prime-imensional quits. They turn out to be p m -th roots of unity raise to polynomial functions of the basis state to which they are applie, an we etermine which level of the Cliffor hierarchy a given gate sits in base on m an the egree of the polynomial. I. INTRODUCTION We ect that to buil a largequantum computer, some sort of fault-tolerant encoing will be necessary in orer to eal with imperfections in quantum memories an quantum gates. Arguably the central result in the theory of fault-tolerant quantum computation, the threshol theorem guarantees that it is possible to construct reliable fault-tolerant quantum circuits provie the errors in state preparation, gates, an measurements are below a certain threshol error rate. The central iea behin this theorem is to encoe quantum information into quantum error correcting coes, the most common being stabilizer coes. To process information, we can choose to use a transversal gate architecture an measure Pauli observables. These gates prevent errors on a physical qubit from spreaing to others within an encoe block. Unfortunately, these gates alone are insufficient to achieve universal quantum computation [4]. Magic state injection is one common approach to overcome this limitation. Gottesman an Chuang [5] lore what gates coul be implemente via teleportation-base state injection. They showe that there existe a class of gates calle the Cliffor hierarchy that is intimately connecte to fault tolerance an state injection. The connection between state injection an the thir level of the Cliffor hierarchyhas been subsequently lore in [2, 6, 7]. The Cliffor hierarchy is also important in unerstaning the possible transversal gates on stabilizer coes [1, 3]. Although previous attempts have been mae in [9], the full structure of gates within the Cliffor hierarchy is still not known. In this paper, we make partial progress towars answering this question by giving a complete characterization of the iagonal gates in every level of the Cliffor hierarchy. We focus on prime-imensional quits, but the result also applies to quits of prime-power imension p r with a stanar choice of Pauli group, since their Cliffor group an Cliffor hierarchies are isomorphic to those of r p-imensional quits. In particular, we show that if U is a iagonal gate in any level of the Cliffor hierarchy for quits of imension p, it can be written as U = 2πi ) δ m j)/p m j j, 1) m where δ m j) is a polynomial over Z p m a multivariate polynomial in the case of multiple quits). The level of the Cliffor hierarchy in which it appears is etermine by the largest value of m that appears in the sum an the egree of δ m j) for that m. Section II reviews some backgroun material an establishes terminology. In section III, we prove the theorem for a single quit. We generalize this result to n quits in section IV an make some final comments in section V. II. BACKGROUND A single quit of prime imension p is associate with the complex Eucliean space C p. Let ω = 2πi/p) enote the p-th root of unity. The matrices X an Z are efine by their action on C p : for j Z p, X j = j +1, Z j = ω j, 2) where the aition is performe with respect to the fiel Z p. We will be ealing in this paper not just with powers of ω, but with powers of 2πi/p m ).

2 2 Let P enote the single quit Pauli group { i1,x,z if p = 2 P = ω1,x,z if p > 2. 3) We associate with n quits the Hilbert space H = C p ) n. P n := P n refers to the n-quit Pauli group. The Pauli group efines the first level in the Cliffor hierarchy: C 1) = {e iφ } P n. We have ae all global phases for later convenience. We efine Xv) = n X vi 4) i=1 an similarly for Zv). Here, v is an element of Z n p, an n-imensional vector over Z p. The group of automorphisms of the Pauli group is calle the Cliffor group an is enote C 2). These gates play a central role in the theory of quantum error correction an fault tolerance. However, circuits compose entirely of gates from C 2) are not universal for quantum computation. To get aroun this problem, we nee gates from the thir level of the Cliffor hierarchy, C 3), efine as C 3) := {U UPU C 2), P P n }. 5) Any gate from this set can be use to construct a universal quantum circuit in conjunction with the Cliffor group. This can be generalizeto efine C k), the k th level of the Cliffor hierarchy on H C k) := {U UPU C k 1), P P n }. 6) This set of gates was first efine by Gottesman an Chuang [5] who showe that such gates can be implemente exactly via teleportation. For k 3, the set of gates in the Cliffor hierarchy no longer forms a group. However, iagonal Cliffor operators C k) C k) in the k th level of the Cliffor hierarchy o form a group. Theorem 1 [9]). C k) is a group. Proof. The proof works by inuction on k. Since C 2) is a group, so is C 2). To prove the result for larger k, the main observation is that if unitary U is iagonal regarless if it is in C k) or not), then UXv)U = Vv)Xv), 7) with Vv) also a iagonal unitary. Since U C k) commutes with Zv), we only nee to consier conjugation of Xv). Now consier U 1,U 2 C k). Then we have that V 1v) an V 2 v) are in C k 1), so U 1 U 2 )Xv)U 1 U 2 ) = U 1 V 2 v)xv)u 1 8) = V 2 v)v 1 v)xv), 9) since iagonal unitaries commute. By the inuctive hypothesis, C k 1) is a group, so V 2 v)v 1 v) C k 1) an U 1 U 2 C k). In aition, U Xv)U = V v)xv) implies that [V v)] Xv) = UXv)U = Vv)Xv), 10) so V v) = Vv) C k 1), again by the inuctive hypothesis. This implies that U C k). III. SINGLE-QUDIT DIAGONAL UNITARY GATES AND THE CLIFFORD HIERARCHY Let p be some prime number an m N be a fixe natural number. The ring Z p m is efine as Z p m := {0,1,,p m 1}. 11) Any element c Z p m can be resse as c 0 +c 1 p+ +c m 1 p m 1, 12) where {c i } m 1 i=0 are some constants in Z p. Let Θ : Z p Z p m be an arbitrary function. It can be constructe using polynomials of egree at most p 1. This can be seen as follows. Let δ k j) be a elta function such that it is 1 when j = k an 0 otherwise. Θ can then be resse as Θj) = k θ k δ k j), 13) for some constants θ k Z p m. δ k j) is a polynomial of egree at most p 1 since it can be resse as δ k j) = k Z p k k j k ) k k ). 14) We shall be intereste in stuying iagonal unitary operators of the form U = p m Θj) j j. 15) In this context, we shall refer to m as the precision of the unitary U. Note that all unitary operators U of precision m can be resse in the manner above.

3 3 We begin by focusing on unitaries constructe using monomial Θ. Definition 1. For m N, 1 a p 1, the iagonal unitary gate U m,a is efine as U m,a := p m ja j j. 16) We ignore a = 0 because such unitaries are only a constant phase times the ientity operator. We then efine the set of iagonal unitaries D m,a recursively: Definition 2. D m,a = U m,b a b=1 {eiφ } D m 1,p 1. 17) As mentione earlier, polynomials of egree p 1 can be use to construct arbitrary functions Θ : Z p Z p m. Hence, D m,p 1 can be use to construct any iagonal unitary of precision m. Note that D 1,1 = Z is simply the set of all iagonal Pauli operators with global phase φ. Hence we may write D 1,1 = C 1). 18) Among all the iagonal unitary gates, we single out a special class of gates calle phase gates: Definition 3. For m N, P m k) is the phase gate that changes the phase of k : p 1 P m k) = j j + j=0 j k p m k k. 19) Phase gates are not actually istinct iagonal unitary gates. Since the function δ k j) can be represente as a polynomial of egree p 1, the phase gate P m k) D m,p 1. Nevertheless, it will be helpful to be able to refer to P m k) irectly. The main result of this section is the following theorem: Theorem 2. For m N, an 1 a p 1, D m,a = C p 1)m 1)+a). 20) To prove this, we shall break the result into two lemmas, each showing containment of one group in the other. Lemma 1. For m N, an 1 a p 1, D m,a C p 1)m 1)+a). 21) Proof. The proof procees via inuction on both m an a. Base case: By efinition, D 1,1 is the group of all iagonal Pauli operators an therefore This implies the weaker result Inuction on a: Suppose we have prove 1. m < m, b Z p, that D 1,1 = C 1). 22) D 1,1 C 1). 23) D m,b C p 1)m 1)+b). 24) 2. an a such that 1 a < a p 1, that Consier the conjugation D m,a C p 1)m 1)+a ). 25) p 1 U m,a XU m,a = p m [ja j 1) a ] j j 1 where j=1 + p 1 = j=1 + c = ) p m p 1)a 0 p 1 26) )) a 1 c j j j 1 2πi 2πi p m 2πi p m =0 a )) c p 0 p 1, =0 27) a ) 1) a. 28) We have separate the sum over j into two parts because this allows us to write it as a prouct of gates that can be easily ientifie. First, note that the entire ression contains a constant phase p m 1)a+1 that arises from the = 0 terms an can be remove. In equation 27), the sum over j arises from a iagonal unitary W m,a 1 times X, where W m,a 1 D m,a 1 : this unitary has the form W m,a 1 = p m aja 1 j j. 29)

4 4 We have ignore terms of the form 1 p nj 30) if n < m or if n = m but < a 1 since they are in D m, D m,a 1 an will therefore not affect the level of the hierarchy. Thenexttermoftheression27)isaprouctofphase gates P m 0) times X, where is at least 1. To pin own which level of the Cliffor hierarchy U m,a lies in, we only nee to consier the finest phase rotations i.e. the terms with the largest precision; the rest of the gates are lower in the hierarchy an can safely be ignore. With this observation, we can write the above ression as p m 1)a+1 P m 1 0)W m,a 1 X. 31) This can be further simplifie. The phase gate P m 1 0) D m 1,p 1 D m,a 1 an therefore the prouct P m 1 0)W m,a 1 := V m,a 1 D m,a 1. Hence, the above ression is p m 1)a+1 V m,a 1 X. 32) Using the inuctive hypothesis, we know that Therefore, Inuction on m: V m,a 1 C p 1)m 1)+a 1)) = U m,a C p 1)m 1)+a). 33) D m,a C p 1)m 1)+a). 34) Suppose we have shown that m < m an a Z p, Consier the conjugation D m,a C p 1)m 1)+a). 35) p 1 U m,1 XU m,1 = j j 1 j=1 p m + 2πi ) p m p 1) 0 p 1 36) = p m P m 1 0) 1 X. 37) Since the phase gate P m 1 0) D m 1,p 1, the inuctive hypothesis stipulates P m 1 0) C p 1)m 1)) Therefore, = U m,1 C p 1)m 1)+1). 38) D m,1 C p 1)m 1)+1). 39) Lemma 2. D m,a C p 1)m 1)+a). Proof. For m,m 1, 1 a,a p 1, efine m,a ) < m,a) if m < m or m = m an a < a. Clearly this efines a total orering on the set of pairs {m,a)}, an m,a ) < m,a) if an only if m 1)p 1) + a < m 1)p 1)+a. We shallprovethis lemma by inuction onm,a) relative to this orering. Base case m,a) = 1,1): By efinition D 1,1 = C 1) an therefore, Inuction on m, a): m,a ) < m,a) that D 1,1 C 1). 40) Suppose we have shown D m,a Cp 1)m 1)+a ). 41) Suppose U C p 1)m 1)+a). Let us ress U as U = 2πi θj)) j j. 42) Without loss of generality we can let θ0) = 0, absorbing the ifference into a global phase. We woul like to show that U D m,a. 43) For some φ [0,1), we are guarantee the existence of a unitary V C p 1)m 1)+a 1)) such that UXU = e 2πiφ VX. 44) Fromtheinuctivehypothesis,V isanelementofd m,a 1 if a 2, an an element of D m 1,p 1 if a = 1. Let θ enote the function θj) = { θj) θj 1) if j {1,,p 1} θ0) θp 1) if j = 0. 45) Together with Equation 44), this implies that for j =

5 5 0,1,,p 1, we must have, for some µ m,a ) Z p, Let θj) = j a µ m,a ) j,a ) = p m +φ mo 1. 46) j k a. 47) k=1 Then aing up the p equations in 46) we obtain Since Z p µ m,a ) p m p 1,a )+pφ = 0 mo 1. is a cyclic group, it is irect to show that p 1,a ) = { p 1 mo p, a = p 1 0 mo p, a p 1 48) 49) Substituting 49) into 48), we know that there exist ν m,a Z, w Z, such that φ = a p 1 ν m,a ) p m + a =p 1 ν m,a ) p m +1 + w p. 50) Since m,p 1) < m,a) implies m +1 m, there exists u Z such that φ = u pm. 51) Next, θj) can be erive from the inuctive formula in equation 46), θj) = = µ m,a ) p m j,a )+jφ mo 1 µ m,a ) p m j,a )+ uj mo 1. pm 52) Faulhaber s formula [8] on sums of powers of positive integers states that j,a ) = 1 a +1 a a 1) k ) +1 B k j a +1 k, 53) k k=0 where B k s are the Bernoulli numbers an B 1 = 1 2. We use the following two facts on Bernoulli numbers: 1. B 2n+1 = 0, n The enominator of B 2n is the prouct of all prime numbers q such that q 1 ivies 2n. In the following we iscuss some properties of j,a ) in two cases. Case 1: a p 1. Sincea p 2, pcannotbeaivisoroftheenominator of any B 2n for 2n a. Let L be the least common multiplier of the enominators of {B 2n,2n a } {B 1 }. Then L is coprime to p, an we have L a +1) a j,a ) = a k j a +1 k, a k Z. 54) k=0 Let I m Z be the inverse of L a + 1) moulo p m, then j,a ) = I m a k j a +1 k a k=0 Case 2: a = p 1. mo p m. 55) In this case, j,a ), just like any function from Z p to Z, can be written as a polynomial Θ p m a j) of egree at most p 1 over Z. p m Finally, combining equations 52) an 55), we have θj) = + a p 1 a =p 1 µ m,a ) p m I m a k j a +1 k a k=0 Θ a j) µ m,a ) p m + uj mo 1. 56) pm Again using the fact that m,p 1) < m,a) implies m +1 m, we know that the terms in the secon line of the above equation sit in D m,p 1 D m,a. It is easy to see the other terms in the equation are also in D m,a. Thus U D m,a. Since C k) is an Abelian group, it can be written as a prouct of cyclic groups. Now that we know its structure, it is straightforwar to etermine this ecomposition licitly.

6 6 Corollary 1. For a p 1, For m > 1, C p 1)m 1)+a) C a) = D 1,a = U1) Z a p. 57) = D m,a = U1) Z a p m Z p a 1 p m 1. 58) Proof. U m,a is isomorphic to Z p m. It contains U m,a for m < m but not U m,a for any a a. Therefore, each egree of polynomial with prefactor 1/p m correspons to one factor of Z p m, an each egree with prefactor 1/p m 1 correspons to one factor of Z p m 1. Lower values of m < m 1 o not give aitional factors because all egrees of polynomials up to p 1 are alreay present for m or m 1. There is also a global phase, isomorphic to U1). for any vectors c Z n p such that 1 c i p 1, an wtc) wta)+p 1) D m,a := U m,a {e } iφ D m,b D m 1,c. 61) b Note that D 1,ei = Ze i ) {e iφ } is the set of iagonal Paulis on the ith quit with a global phase. Definition 6. For w N, let S w enote the set S w = {m,a) p 1)m 1)+wta) = w}. 62) We then efine D w := c m,a) S w D m,a. 63) IV. n QUDIT DIAGONAL GATES AND THE CLIFFORD HIERARCHY In this section, we shall generalize the above results to n quits. a,b, shallenote vectorsin Z n p. The weightof a vector a Z n p, is efine as wta) := n i=1 a i. A basis element of H = C p ) n is represente as j = n i=1 j i. For i {1,,n}, let e i Z n p be the vector whose i-th component is 1 an the rest are 0. Let Θ : Z n p Z pm be some function. Following a similar line of reasoning as in the previous section, we can show that any such function can be constructe using polynomials of egree at most np 1). Any iagonal unitary of precision m on n quits can be resse as U = p m Θj) j j. 59) j As before, we shall start with unitaries whose onents only contain monomial terms. Definition 4. For m N an a Z n p, such that 0 a i p 1, U m,a := p m ja1 1 jan n j j. 60) j Similar to the single quit case, j a1 1...jan n : Zn p Z p m, i.e. the range of these monomials is Z p m. The set D m,a shall enote the set of iagonal unitary operators whose onents are multivariate polynomials of egree a. Definition 5. For m N, a Z n p, an vectors b Z n p such that b i a i for all i [n] an wtb) < wta), an The main result of this section is the following theorem Theorem 3. For w N, D w = C w). 64) As in the single quit case, we shall break the proof of the theorem into two lemmas. Lemma 3. For w N, Proof. Base case: By efinition Therefore, n i=1 D w C w). 65) D 1,ei = C 1). 66) D 1,ei C 1). 67) Inuctive step: For w < w, suppose we have shown that Let m N an a Z n p such that D w C w ). 68) p 1)m 1)+wta) = w. 69) There are three components making up D m,a. The first component is U m,a, with m,a) satisfying the above constraint. The secon component is elements of D m,b an by the conition on b, p 1)m 1)+wtb) = w < w. Thus, D m,b D w an the inuctive hypothesis implies that D m,b C w ). The thir component is D m 1,c

7 7 an p 1)[m 1) 1]+wtc) p 1)m 1)+wta) = w. 70) Therefore, to show that D m,a C w), it suffices to show that U m,a C w). To this en, consier U m,a Xe 1 )U m,a = VXe 1). 71) Case 1: If a 1 > 1, then it is straightforwar to show as in lemma 1 that V D m,b where b = a e 1. The inuctive hypothesis guarantees V C w 1). Case 2: If a 1 = 1, then we can show that V is a prouct of two gates, V L an V R. V L D m,b where b = a e 1 as before; V R D m 1,c where c = p 1,b 2,...,b n ). Since wtc) = wta)+p 2), m 1,c) S w 1. The prouct of V L an V R always lies in D w 1 an hence, by the inuctive hypothesis, V L V R C w 1). The same argument works for conjugation of Xe i ) for i 1. If then U m,a Xe i )U m,a = V i Xe i ), 72) For some φ [0,2), there exists an operator V C w 1) such that UXe 1 )U = e 2πiφ VXe 1 ). 79) Webegin byconsieringonlythe conjugationwith Xe 1 ) for simplicity. Let i θ enote the function i θj 1,,j i,,j n ) = θj 1,,j i,,j n ) θj 1,,j i 1,,j n ) i θj 1,,j i = 0,,j n ) = θj 1,,0,,j n ) θj 1,,p 1,,j n ). FromourinuctiveassumptionitfollowsthatV D w 1. Hence, there exists N N such that V can be resse as the prouct of unitaries {V x } N x=1 D w 1 where each unitary can be resse as V x = mxjbx,1 1...jn bx,n j j, 80) p j with m x,b x ) S α, α w 1. That is, p 1)m x 1)+wtb x ) = α < w. 81) Since C w 1) implies that U m,a Xv)U m,a = i is a group, i V vi i V vi i Xv). 73) C w 1) as well. This We can then ress the polynomial 1 θ as 1 θj) = φ+ x 1 p mxµ m x,b x j bx,1 1...j bx,n n mo 1 82) Lemma 4. For w N, U m,a C w). 74) D w C w). 75) Proof. Base case: By efinition, i D 1,e i = C 1) an therefore, D 1 C 1). 76) Suppose we have shown that for w N, w < w that Let U C w). It can be resse as U = j for some function θ. D w C w ). 77) 2πi θj)) j j, 78) for some constants µ mx,b x Z p. We have ignore terms of the form 1 p njc, 83) where n < m x or n = m x an wtc) < wtb x ). Asinthesingle-quitprooflemma2),wefinφ = u/p m, where m = maxm x. We again apply Faulhaber s result. The argument is the same as the single-quit case, but this time, we fin multiple leaing orer terms in θ: θj) = x 1 p mxα bx j b x,1 1...j b x,n n + uj 1 p m. 84) for some constants α a Z p an tuples m x, b x ) such that either m x = m x an b 1 = b or m x = m x + 1 an b 1 = 1. This means that these tuples obey ) p 1) m x 1)+wt bx = α+1 w. 85) The other ifference from the single-quit case is that thereare constants that appearinthe proofoflemma2

8 8 which in the multiple-quit case are actually functions of j 2 through j n, just not j 1. For most of these functions, their value in θ is fixe by the corresponing polynomials in V, an therefore they are polynomials in θ as well. However, θ0) isappears completely in θ an now cannot be absorbe into the global phase either. By repeating the argument for Xe j ) for j [n], we fin thatθ0)anthereforeu canberesseastheprouct of unitaries j U m y, b j such that y ) p 1) m j y 1)+wt bj y w. 86) Therefore, which implies as esire. Again, we can ress C w) U D w, 87) D w C w) 88) as a prouct of cyclic groups. Corollary 2. Let w wta) m w,a =. 89) p 1 Then C w) = U1) a wta) w Z p mw,a. 90) Proof. Again, U m,a = Z p m an inclues U m,a for all m < m but not U m,a for a a. Thus, each value of a with wta) w gives one factor of Z mw,a. There is also a U1) factor from the global phase. V. CONCLUSION We have given a complete characterization of the iagonal elements of the Cliffor hierarchy in terms of polynomials an p m -th roots of unity. One interesting aspect of this result is that it shines light on the istinction between the qubit Cliffor group an the quit Cliffor groups. C k) over quits of imension p involves only p- th roots of unity for k < p. It is only when k = p o we nee other roots of unity. For qubits, this change is alreay appearing at k = 2, the Cliffor group, whereas for largerpit is elaye into the more exotic higher levels of the Cliffor hierarchy. VI. ACKNOWLEDGEMENTS We woul like to thank Mark Howar for iscussions an pointing out an error in an earlier version of this paper. This research was supporte in part by CIFAR an by the Perimeter Institute for Theoretical Physics. Research at Perimeter Institute is supporte by the Government of Canaa through the Department of Innovation, Science an Economic Development Canaa an by the Province of Ontario through the Ministry of Research, Innovation an Science. [1] J. T. Anerson an T. Jochym-O Connor. Classification of transversal gates in qubit stabilizer coes. arxiv preprint arxiv: , [2] I. Bengtsson, K. Blanchfiel, E. Campbell, an M. Howar. Orer 3 symmetry in the cliffor hierarchy. Journal of Physics A: Mathematical an Theoretical, 4745):455302, [3] S. Bravyi an R. König. Classification of topologically protecte gates for local stabilizer coes. Physical review letters, 11017):170503, [4] B. Eastin an E. Knill. Restrictions on transversal encoe quantum gate sets. Physical review letters, 10211):110502, [5] D. Gottesman an I. L. Chuang. Demonstrating the viability of universal quantum computation using teleportation an single-qubit operations. Nature, ): , [6] M. Howar. Maximum nonlocality an minimum uncertainty using magic states. Physical Review A, 914):042103, [7] M. Howar an J. Vala. Quit versions of the qubit π/8 gate. Physical Review A, 862):022316, [8] Wikipeia. Faulhaber s formula wikipeia, the free encyclopeia, [Online; accesse 28-March-2016]. [9] B. Zeng, X. Chen, an I. L. Chuang. Semi-cliffor operations, structure of c k hierarchy, an gate complexity for fault-tolerant quantum computation. Physical Review A, 774):042313, 2008.