Professional Documents
Culture Documents
Arbitrary Precision Composite Pulses For NMR Quantum Computing (Journal of Magnetic Resonance, Vol. 189, Issue 1) (2007)
Arbitrary Precision Composite Pulses For NMR Quantum Computing (Journal of Magnetic Resonance, Vol. 189, Issue 1) (2007)
com
Oxford Centre for Quantum Computation, Clarendon Laboratory, Parks Road, Oxford OX1 3PU, UK
Abstract
We discuss the implementation of arbitrary precision composite pulses developed using the methods of Brown et al.
[K.R. Brown, A.W. Harrow, I.L. Chuang, Arbitrarily accurate composite pulse sequences, Phys. Rev. A 70 (2004) 052318].
We give explicit results for pulse sequences designed to tackle both the simple case of pulse length errors and the more complex
case of off-resonance errors. The results are developed in the context of NMR quantum computation, but could be applied more
widely.
Ó 2007 Elsevier Inc. All rights reserved.
1090-7807/$ - see front matter Ó 2007 Elsevier Inc. All rights reserved.
doi:10.1016/j.jmr.2007.09.001
W.G. Alway, J.A. Jones / Journal of Magnetic Resonance 189 (2007) 114–120 115
2. Pulse length errors general rotations in the xy plane are trivially derivable
from these by offsetting the phase of all pulses appropri-
We consider rotations about axes in the xy plane, for ately. These pulses can also be used to design sequences
which an ideal rotation is described by the propagator for robust evolution under J-couplings [13].
U ðh; /Þ ¼ exp½ihðrx cos / þ ry sin /Þ=2 ð1Þ
2.1. Isolating the error
where h, the rotation angle, depends on the strength of the
resonant driving field and the time for which it is applied, The first step is to isolate the error part of a pulse
and /, the phase, depends on the phase of the field with re- sequence by calculating
spect to some appropriate reference. Following Brown
ih
et al. [9] we describe our rotations in terms of the Pauli A1 ¼ V ðh; 0ÞU 1 ðh; 0Þ ¼ 1 rx þ Oð2 Þ ð8Þ
matrices, which are trivially related to the corresponding 2
single spin product operator terms [11]. The description where A1 indicates a first order error in a sequence correct
above is really only appropriate when h P 0, but also to zero order. Since
works for negative angles as
A1
1 V ¼ UV
1
V¼U ð9Þ
1
U ðh; /Þ ¼ U ðh; / þ pÞ ¼ U ðh; /Þ: ð2Þ
if we can generate A11 exactly then we can convert an erro-
In the presence of errors, however, this extension may not neous rotation into a correct one. More realistically, if we
be appropriate and it is necessary to proceed with some can generate A11 correct to first order then we can use this
caution. to cancel out the first order error in the original pulse. To
Pulse length errors occur when the strength of the field is do this it is useful to note that
higher or lower than its nominal value, so that all rotation
A1 ¼ U ðh; 0Þ þ Oð2 Þ ð10Þ
angles are systematically wrong by some constant fraction
. It is convenient to write so that A1
1 is approximately equal to an x-rotation with
V ðh; /Þ ¼ U ðh½1 þ ; /Þ ð3Þ angle h.
in such cases, and a series expansion in the error gives 2.2. Generating a pure error term
V ðh; /Þ ¼ U ðh; /Þ þ OðÞ ð4Þ
To correct the first order error it is necessary to generate
so that the propagator has first order errors in . Note that a matching rotation whose angle is directly proportional to
in this paper we write all our composite pulses as sequences the error fraction . A pure error term of this kind is most
of propagators, so that the order of pulses runs from right easily generated by noting that
to left. We classify pulse sequences according to n, the or-
der of error in the propagator, but will occasionally refer to V ð2p; 0Þ ¼ 1 þ iprx þ Oð2 Þ ð11Þ
the corresponding propagator fidelity has the correct general form (the global phase of 1 can be
1 ignored as usual). However while the error has the right
F ¼ TrðVU 1 Þ ¼ 1 Oð2 Þ ð5Þ
2 form it has the wrong magnitude. This can be fixed by
using two rotations with different phases [9], as
in which errors appear to order 2n. For pulse length errors
X 1 ð/Þ ¼ Vð2p; /ÞVð2p; /Þ
V ðh; / þ pÞ ¼ V 1 ðh; /Þ ð6Þ
¼ 1 i2p cosð/Þrx þ Oð2 Þ ð12Þ
which will prove very useful throughout this section.
Several composite pulse methods for correcting such and so the size of the error can be scaled. In particular,
pulse length errors exist, most notably BB1 [7]. This solving
replaces a single pulse with a sequence of pulses such that
2p cosð/1 Þ ¼ h=2 ð13Þ
3
V ðp; /a ÞV ð2p; /b ÞV ðp; /a ÞV ðh; 0Þ ¼ U ðh; 0Þ þ Oð Þ ð7Þ
to get
where /b = 3/a and /a = arccos(h/4p), to give a propa- /1 ¼ arccosðh=4pÞ ð14Þ
gator with third order errors in . This pulse sequence
was discovered using geometric arguments, and turns out allows the first order error to be corrected (note that the
to be remarkably effective in practice [4,12]. sign of the error term must be reversed as we are seeking
Brown et al. replaced previous methods of finding com- to approximate A11 rather than A1). This gives
posite pulses, based on intuitions or special forms, by a sys-
X 1 ð/1 ÞV ðh; 0Þ ¼ U ðh; 0Þ þ Oð2 Þ ð15Þ
tematic procedure [9]. We begin by describing in detail how
this procedure can be used to generate a series of composite as a pulse sequence which is correct to second order. Inter-
pulses to correct pulse length errors. As before we only estingly the key phase angle /1 has the same size as /a in
consider target rotations with phase angles of zero, as more the BB1 sequence. The sign of /1 (and /a) seems arbitrary,
116 W.G. Alway, J.A. Jones / Journal of Magnetic Resonance 189 (2007) 114–120
but for definiteness we choose the positive value. This point allows a second order z error of some desired size to be gen-
will be examined in more detail later. erated. If an error of the opposite sign is needed then the X1
The size and scaling of the errors permits a value of /1 and Y1 sequences can be interchanged to give
to be found for any choice of h, but if larger error terms are
needed they can be achieved by simply repeating the Z 02 ð/Þ ¼ Y 1 ð/ÞX 1 ð/ÞY 1 1
1 ð/ÞX 1 ð/Þ
sequence of 2p rotations, thus doubling the error. In pass- ¼ 1 þ i8p2 cos2 ð/Þ2 rz þ Oð3 Þ: ð20Þ
ing we note that although the approximate form given in
Eq. (12) is independent of the sign of /, and thus of the
As before we can solve
order of the two 2p pulses, the exact form of X1 does in fact
depend on the sign of /, and it is therefore necessary to use pffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi.
a consistent order. This will become important below. 8p2 cos2 ð/2 Þ ¼ h 16p2 h2 8: ð21Þ
2.3. Treating the second order error to remove the second order error, giving
" p4
ffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi #
The process described above can then be repeated to iso- 16p2 h2 h4
late the second order error /2 ¼ arccos ð22Þ
8p
A2 ¼ X 1 ð/1 ÞV ðh; 0ÞU 1 ðh; 0Þ ð16Þ
where the signs may be chosen independently, and we
with the result
choose initially to take both positive signs. Thus
pffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi
ih 16p2 h2 2 Z 02 ð/2 ÞX 1 ð/1 ÞV ðh; 0Þ ¼ U ðh; 0Þ þ Oð3 Þ ð23Þ
A2 ¼ 1 rz þ Oð3 Þ: ð17Þ
8
is our desired pulse sequence, correct to third order. The
To correct this will require an error term dependent on 2, explicit expansion
rather than on , and directed along the z axis rather than
the x axis. This can be achieved by using the properties of Vð2p; p=2 þ /2 ÞVð2p; p=2 /2 ÞVð2p;/2 ÞVð2p; /2Þ
group commutators. As these properties play a key role in Vð2p; 3p=2 /2 ÞVð2p; 3p=2 þ /2 ÞVð2p; p /2ÞVð2p;p þ /2 Þ
the proof of the Solovay–Kitaev theorem [14] Brown Vð2p; /1 ÞVð2p; /1ÞVðh; 0Þ
et al. refer to the results as SK pulse sequences, but beyond ð24Þ
the role of group commutators there is no need to under-
stand the Solovay–Kitaev theorem to see how their meth- shows that this contains a total of ten correction pulses in
ods work. The key result addition to the main pulse.
expðiAl Þ expðiBm Þ expðiAl Þ expðiBm Þ 2.4. Rotating and redividing the error
¼ expð½A; Blþm Þ þ Oðlþmþ1 Þ ð18Þ
The sequence described above is not in fact the sequence
shows that two different first order pure error terms can be originally described by Brown et al. Their approach [9] is
combined to make a single second order pure error term as instead based on generating an X2 error correction term
long as their directions are chosen properly and inverses are using appropriate Y1 and Z1 sequences and then rotating
available for each error term. This restriction will not be this onto the z axis. In the absence of systematic errors,
important for pulse length errors but will be more problem- such rotations are easily performed. For example the
atic for off-resonance errors. identity
As the commutator [rx, ry] = 2irz the desired second
order error term along z can be generated from x and y U ðp=2; 3p=2ÞU ðh; 0ÞU ðp=2; p=2Þ ¼ expðihrz =2Þ ð25Þ
terms. The x term can be generated as before, Eq. (12), allows a z rotation to be generated from x and y rotations,
and the equivalent y term Y1 can be generated in the same a composite Z-pulse [16]. In the presence of systematic er-
way by shifting the phase of both pulses by p/2. (Brown rors it is necessary to proceed with more caution, as the
et al. in fact described an alternative method [9] for imple- errors in different pulses will combine in a complex manner.
menting Y1, but this alternative is more complex.) Inverse However, in the presence of pulse length errors it is possi-
terms can be generated by reversing the order of the two ble to use imperfect pulses to rotate pure error terms, as
2p pulses and shifting their phases by p. Note that it is nec-
essary to reverse the sequence of pulses even though Eq. V ðp=2; 3p=2ÞX n V ðp=2; p=2Þ ¼ Z n þ Oðnþ1 Þ ð26Þ
(12) appears to be independent of this, as the two alterna- for any error order n, and similarly for other error terms.
tives differ to second order in ; it is not sufficient to gener- This approach requires the ability to generate accurate in-
ate an inverse which only accurate to first order. Hence verse operators, and while this is easy for pulse length er-
Z 2 ð/Þ ¼ X 1 ð/ÞY 1 ð/ÞX 1 1 rors it can be tricky in other cases.
1 ð/ÞY 1 ð/Þ
For pulse length errors we can implement the second
¼ 1 i8p2 cos2 ð/Þ2 rz þ Oð3 Þ ð19Þ order correction sequence using
W.G. Alway, J.A. Jones / Journal of Magnetic Resonance 189 (2007) 114–120 117
Z 02 ð/2 Þ V ðp=2; 3p=2ÞX 02 ð/2 ÞV ðp=2; p=2Þ ð27Þ flip angles (specifically, h < 168°) BB1 is the best second
X 02 ð/2 Þ ¼Z 1 ð/1 ÞY 1 ð/1 ÞZ 1 1 order sequence known. For the case of 180° pulses it has
1 ð/1 ÞY 1 ð/1 Þ ð28Þ
a fidelity
Z 1 ð/2 Þ V ðp=2; 3p=2ÞX 1 ð/2 ÞV ðp=2; p=2Þ: ð29Þ
5p6 6
This alternative sequence gives identical performance at F ¼1 þ Oð8 Þ: ð33Þ
1024
second order (complete correction of errors) but differs in
its third order behaviour, as we shall see later.
We can also consider many other possibilities: firstly we 2.6. Third order errors
can instead generate Z 02 from any of Y 02 , X2, or X 02 ; secondly
we can use alternative rotations to generate Z1; thirdly we We can of course correct the third order error term in
can use the negative sign for /1 in the first order correction much the same way as the first and second order errors.
sequence (in which case the second order error changes As pointed out by Brown et al. there is no need to use a
sign). Beyond these possibilities, built around rotating the fully systematic approach of correcting error orders in
error, we can also choose how to divide up the relative con- sequence; instead we can begin with BB1 and correct the
tributions to the second order error term arising from the third order error term.
two first order terms. For example we can write The third order error term for BB1 (and indeed for all
the other sequences considered above) lies in the xy plane,
Z 2 ða; bÞ ¼ X 1 ðaÞY 1 ðbÞX 1 1
1 ðaÞY 1 ðbÞ with the size and position depending on the value of h.
¼ 1 i8p2 cosðaÞ cosðbÞ2 rz þ Oð3 Þ ð30Þ Here, we do not give complete results, but simply sketch
a partial solution. There are many possibilities for generat-
and control the size of the second order error term by vary- ing a third order error, but one simple example is
ing a and b. More simply still, we can use the fact that
V(2p, 0) gives an unscaled pure error term along x to use X 3 ð/Þ ¼ Y 1 ð/ÞZ 2 ð/ÞY 1 1
1 ð/ÞZ 2 ð/Þ
values of h. The CORPSE family of sequences [3,4] for cor- Designing a sequence for the case h = p is easy as the error
recting off-resonance errors uses the three pulse sequence lies solely along the y axis in this case, and so
Cðh; /Þ ¼ Vðhc ; /ÞVðhb ; / þ pÞVðha ; /Þ Y 01 ð/1 ÞV ðp; 0Þ ¼ U ðp; 0Þ þ Oðf 2 Þ ð46Þ
2
¼ Uðh; /Þ þ Oðf Þ ð36Þ with the choice /1 = arccos(1/4) 104.5°. Interestingly,
where the key phase angle in this sequence turns out to be the
same as that used in a BB1 pulse with h = p. The size of
ha ¼na 2p þ h=2 arcsin½sinðh=2Þ=2 ð37Þ the second order error term is significantly larger than for
hb ¼nb 2p 2 arcsin½sinðh=2Þ=2 ð38Þ CORPSE (and somewhat larger than for short-CORPSE),
hc ¼nc 2p þ h=2 arcsin½sinðh=2Þ=2 ð39Þ with a fidelity
and the size of the second order error term depends on the 60 þ p2 4
F ¼1 f þ Oðf 5 Þ: ð47Þ
values chosen for the integers na, nb and nc. The smallest er- 32
rors are seen for the original CORPSE sequence, which has but this sequence does have the relative simplicity of being
na = nb = 1 and nc = 0; for the case of 180° pulses the fidel- constructed solely from 180° rotations, albeit with compli-
ity is cated phases.
pffiffiffi Designing a sequence for other values of h is, however,
12 þ p2 4 3 4
F ¼1 f þ Oðf 6 Þ: ð40Þ much trickier. In the general case the error does not lie
32
along a principal axis, and so it might seem that we should
Short-CORPSE, defined by na = nc = 0 and nb = 1 is the rotate one of the two pure error terms. This cannot be done
shortest possible sequence but has a much larger error term directly using simple rotations, as accurate inverse propa-
[4]. gators are required to rotate error terms. It could be
The CORPSE family will play a key role in the following achieved using CORPSE pulses, but this is not sensible as
sections, not simply because it provides a pulse sequence CORPSE is already correct to first order.
with no first order errors, but mostly because it provides An alternative approach is to note that pure error
a route to sufficiently accurate inverse propagators. In the sequences can simply be combined, and so build up a tilted
presence of off-resonance errors V(h, / + p) is not an accu- error by combining the z and y error sequences,
rate inverse for V(h, /) as
B1 ð/z1 ÞY 01 ð/y1 Þ ¼ 1 i2 sinð/z1 Þf rz þ i4 cosð/y1 Þf ry
V ðh; pÞV ðh; 0Þ ¼ 1 þ Oðf Þ: ð41Þ
þ Oðf 2 Þ ð48Þ
The corresponding CORPSE pulses perform much better,
with any cross terms between the two parts if the pulse se-
Cðh; pÞCðh; 0Þ ¼ 1 þ Oðf 3 Þ; ð42Þ
quence being swallowed up into the O(f 2) term. Choosing
and provide sufficiently accurate inverses to allow error /y1 ¼ arccos½ sin2 ðh=2Þ=4 and /z1 ¼ arcsin½sinðhÞ=4 al-
terms to be rotated as for pulse length errors. As before lows first order off-resonance errors to be suppressed in
the size of the third order error term depends on the exact the general case. However, the size of the second order er-
choice of sequence, but is now smallest for short-CORPSE. ror term remains significantly larger than for CORPSE,
and this general sequence does not have the simplicity seen
3.1. Correcting first order errors for the special case of 180° pulses. Thus CORPSE remains
the best currently known type A sequence correct to first
We now explore the systematic correction of error order in the presence of off-resonance errors.
orders using the methods previously described. The first
order error can be isolated as before, 3.2. Correcting higher order errors
1
A1 ¼ V ðh; 0ÞU ðh; 0Þ
The systematic approach can, more sensibly, be used to
¼ 1 i sinðhÞ=2f rz þ i sin2 ðh=2Þf ry þ Oðf 2 Þ ð43Þ correct higher order errors. As the equations for arbitrary
and in general lies in the yz plane. Tunable pure error terms values of h become extremely complicated we will again
can be created either by using the form given by Brown limit ourselves to the special case h = p. We extend our
et al. [9], definitions
B1 ð/Þ ¼ Vð/; 0ÞVð2/; pÞVð/; 0Þ X 1 ð/Þ ¼V ðp; p=2 /ÞV ðp; 3p=2 /ÞV ðp; p=2 þ /ÞV ðp; 3p=2 þ /Þ
¼1 i4 cosð/Þf rx þ Oðf 2 Þ ð49Þ
¼ 1 i2 sinð/Þf rz þ Oðf 2 Þ; ð44Þ
Y 1 ð/Þ ¼V ðp; p /ÞV ðp; /ÞV ðp;p þ /ÞV ðp;/Þ
or the alternative form
¼1 i4 cosð/Þf ry þ Oðf 2 Þ ð50Þ
Y 01 ð/Þ ¼ V ðp; /ÞV ðp; p þ /ÞV ðp; /ÞV ðp; p /Þ 0
X 1 ð/Þ ¼V ðp; 3p=2 þ /ÞV ðp; p=2 þ /ÞV ðp; 3p=2 /ÞV ðp; p=2 /Þ
¼ 1 þ i4 cosð/Þf ry þ Oðf 2 Þ: ð45Þ ¼1 þ i4 cosð/Þf rx þ Oðf 2 Þ ð51Þ
W.G. Alway, J.A. Jones / Journal of Magnetic Resonance 189 (2007) 114–120 119
4. Summary [4] H.K. Cummins, G. Llewellyn, J.A. Jones, Tackling systematic errors
in quantum logic gates with composite rotations, Phys. Rev. A 67
(2003) 042308.
The methods of Brown et al. can indeed be used to [5] E. Collin, G. Ithier, A. Aassime, P. Joyez, D. Vion, D. Esteve, NMR-
derive arbitrary precision composite pulses, but the process like control of a quantum bit superconducting circuit, Phys. Rev.
can be somewhat complicated. For the case of pulse length Lett. 93 (2004) 157005.
errors the situation is simple, as it is possible both to gen- [6] J.J.L. Morton, A.M. Tyryshkin, A. Ardavan, K. Porfyrakis, S.A.
erate a wide range of pure error terms and their inverses, Lyon, G.A.D. Briggs, High fidelity single qubit operations using
pulsed electron paramagnetic resonance, Phys. Rev. Lett. 95 (2005)
and to rotate these terms using uncorrected pulses. The 200501.
case of off-resonance errors is much more complicated [7] S. Wimperis, Broadband, narrowband, and passband composite
because the difficulty of generating accurate inverses of pulses for use in advanced NMR experiments, J. Magn. Reson. A 109
incorrect rotations means that the most direct approach (1994) 221–231.
cannot be used. [8] R. Tycko, Broadband population inversion, Phys. Rev. Lett. 51
(1983) 775–777.
[9] K.R. Brown, A.W. Harrow, I.L. Chuang, Arbitrarily accurate
Acknowledgments composite pulse sequences, Phys. Rev. A 70 (2004) 052318.
[10] K.R. Brown, A.W. Harrow, I.L. Chuang, Erratum: arbitrarily accurate
We thank Mark Jerzykowski and Kenneth Brown for composite pulse sequences, Phys. Rev. A 72 (2005) 039905(E).
helpful conversations, and the UK EPSRC and BBSRC [11] O.W. Sørensen, G.W. Eich, M.H. Levitt, G. Bodenhausen, R.R.
Ernst, Product operator formalism for the description of NMR pulse
for financial support. experiments, Prog. NMR Spectrosc. 16 (1983) 163–192.
[12] L. Xiao, J.A. Jones, Robust logic gates and realistic quantum
References computation, Phys. Rev. A 73 (2006) 032334.
[13] J.A. Jones, Robust Ising gates for practical quantum computation,
[1] M.H. Levitt, Composite pulses, Prog. NMR Spectrosc. 18 (1986) Phys. Rev. A 67 (2003) 012317.
61–122. [14] C.M. Dawson, M.A. Nielsen, The Solovay–Kitaev algorithm, Quan-
[2] C.H. Bennett, D.P. DiVincenzo, Quantum information and compu- tum Inf. Comput. 6 (2006) 81–95.
tation, Nature (London) 404 (2000) 247–255. [15] M.D. Bowdrey, Inplementing Quantum Circuits using Nuclear
[3] H.K. Cummins, J.A. Jones, Use of composite rotations to correct Magnetic Resonance, (2003) D. Phil. Thesis, University of Oxford.
systematic errors in NMR quantum computation, New J. Phys. 2.6 [16] R. Freeman, T.A. Frenkiel, M.H. Levitt, Composite Z Pulses, J.
(2000) 1–12. Magn. Reson. 44 (1981) 409–412.