Exercises for Chapter 13 297
The above figure shows a particular QEC scheme. On the left-hand side, Qubit 1 starts in |x and Qubits 2 and 3 both start in |0 . The letters (a) to
(d) indicate the part of this question corresponding to each stage.
(a)To represent the qubit |x = a|0 + b|1 this
quantum error correction code uses Ψin = a|000 + b|111 . Show that two CNOT gates acting on Qubits 2 and 3, with Qubit 1 as the control qubit in both cases, as indicated in the figure, encode |x in this way.
(b)Suppose that a perturbation of Qubit 1 causes a bit-change error so that the state of the three qubits becomes α(a|000 + b|111 ) + β(a|100 + b|011 ). Here β is the amplitude of the unwanted state mixed into the original state (and normalisation determines α). Show that after another two CNOT gates we get (a|0 + b|1 ) α|00 + (a|1 + b|0 ) β|11 .
Web site:
http://www.physics.ox.ac.uk/users/foot
(c)The measurement of the states of Qubits 2 and 3 has two possible results. One possibility is to find |11 , which means that Qubit 1 has changed and in this case the error is corrected by applying a (conditional) NOT operation to Qubit 1, i.e. |0 ↔ |1 if and only if the measurement of the other qubits gives |11 . What is the other possible state of Qubits 2 and 3 resulting from the measurement? Verify that Qubit 1 ends up in the original state |x after this stage.
(d)Qubits 2 and 3 are both reset to |0 . Two further CNOT gates recreate Ψin from |x , just as in stage (a).
This scheme corrects ‘bit flip’ errors in any of the qubits. Show this by writing out what happens in stages (b), (c) and (d) for the state
α(a |000 + b |111 ) + β (a |100 + b |011 )
+γ (a |010 + b |101 ) + δ (a |001 + b |110 ) .
This site has answers to some of the exercises, corrections and other supplementary information.
Appendix A: Perturbation
|
|
|
Although degenerate perturbation theory is quite simple (cf. the series |
A.1 |
Mathematics of |
|
solution of di erential equations used to find the eigenenergies of the |
|
perturbation theory |
298 |
hydrogen atom), it is often regarded as a ‘di cult’ and subtle topic |
A.2 |
Interaction of classical |
|
in introductory quantum mechanics courses. Degenerate perturbation |
|
oscillators of similar |
|
theory arises often in atomic physics, e.g. in the treatment of helium |
|
frequencies |
299 |
|
|
(eqn 3.14). Equations 6.34 and 7.89 in the treatment of the Zeeman e ect on hyperfine structure and the a.c. Stark e ect, respectively, also have a similar mathematical form, as can be appreciated by studying the general case in this appendix. Another aim of this appendix is to underline the point made in Chapter 3 that degenerate perturbation theory is not a mysterious quantum mechanical phenomenon (associated with exchange symmetry) and that a similar behaviour occurs when two classical systems interact with each other.
1This is normally the case when levels are bound states. We shall find that the eigenenergies depend on K2, which would generalise to |K|2.
A.1 Mathematics of perturbation theory
The Hamiltonian for a system of two levels of energies E1 and E2 (where E2 > E1) with a perturbation given by H , as in eqn 3.10, can be written in matrix form as
H0 + H = |
E1 |
0 |
|
H11 |
H12 |
. |
|
0 |
E2 |
+ H21 |
H22 |
(A.1) |
The matrix elements of the perturbation are H12 = ψ1|H |ψ2 , and similarly for the others. The expectation values ψ1|H |ψ1 and ψ2|H |ψ2 are the usual first-order perturbations. It is convenient to write the energies in terms of a mean energy J and an energy interval 2 that takes into account the energy shift caused by the diagonal terms of the perturbation matrix:
E1 + H11 = J − ,
E2 + H22 = J + .
For simplicity, we assume that the o -diagonal terms are real, e.g. as for the case of exchange integrals in helium and the other examples in this book:1
H12 = H21 = K .
A.2 Interaction of classical oscillators of similar frequencies 299
When = 0 this leads to a matrix eigenvalue equation similar to that used in the treatment of helium (eqn 3.14), but the formalism given here enables us to treat both degenerate and non-degenerate cases as di erent limits of the same equations. This two-level system is described by the matrix equation
+ |
K |
a |
|
a |
|
J K |
J − b |
= E b . |
(A.2) |
The eigenenergies E are found from the determinantal equation (as in eqn 7.91 or eqn 3.17):
This exact solution is valid for all values of K, not just small perturbations. However, it is instructive to look at the approximate values for weak and strong interactions.
(a)Degenerate perturbation theory, K 2
If K 2 then the levels are e ectively degenerate, i.e. their energy separation is small on the scale of the perturbation. For this strong perturbation the approximate eigenvalues are
as in helium (Section 3.2). The two eigenvalues have a splitting of 2K and a mean energy of J. The eigenfunctions are admixtures of the original states with equal amplitudes.
(b)Perturbation theory, K 2
When the perturbation is weak the approximate eigenvalues obtained by expanding eqn A.3 are
This is a second-order perturbation, proportional to K2, as in eqns 6.36 and 7.92.
A.2 Interaction of classical oscillators of similar frequencies
In this section we examine the behaviour of two classical oscillators of similar frequencies that interact with each other, e.g. the system of two masses joined by three springs shown in Fig. 3.3, or alternatively the system of three masses joined by two springs shown in Fig. A.1. The mathematics is very similar in both cases but we shall study the latter because it corresponds to a real system, namely a molecule of carbon dioxide (with M1 representing oxygen atoms and M2 being a carbon
300 Appendix A: Perturbation theory
Fig. A.1 An illustration of degenerate perturbation theory in classical mechanics, closely related to that shown in Fig. 3.3. (a) The ‘unperturbed’ system corresponds to two harmonic oscillators, each of which has a mass M1 attached to one end of a spring and with the other end fixed. These independent oscillators both have the same resonant frequency ω1. (b) A system of three masses joined by two springs corresponds to two coupled harmonic oscillators. When M2 M1 the coupling is weak. The displacements x1, x2 and x3 are measured from the rest position of each mass (and are taken as being positive to the right). One eigenmode of the system corresponds to a symmetric stretch in which the central mass does not move; therefore this motion has frequency ω1 (independent of the value of M2). (c) The asymmetric stretching mode has a frequency higher than ω1. (This system gives a simple model of molecules such as carbon dioxide; a low-frequency bending mode also arises in such molecules.)
atom). The equations of motion for this ‘ball-and-spring’ molecular model are
.. |
= κ(x2 − x1) , |
(A.6) |
M1x..1 |
M2x..2 |
= −κ(x2 |
− x1) + κ(x3 − x2) , |
(A.7) |
M1x3 |
= −κ(x3 |
− x2) , |
(A.8) |
where κ is the spring constant (of the bond between the carbon and oxygen atoms). The x-coordinates are the displacement of the masses from their equilibrium positions. Adding all three equations gives zero on the right-hand side since all the internal forces are equal and opposite and there is no acceleration of the centre of mass of the system. This constraint reduces the number of degrees of freedom to two. It is con-
venient to2use the |
variables u = x |
|
− |
x and v = x |
− |
x . Substituting |
2 |
|
|
2 |
1 |
|
|
3 |
2 |
|
κ/M1 = ω1 |
and κ/M2 = ω2 |
leads to the matrix equation |
|
|
v |
ω2 |
|
|
|
|
ω1 + ω2 |
v |
|
|
.. |
|
2 |
+ ω2 |
|
|
|
ω2 |
|
|
u |
|
|
|
u |
|
|
|
|
|
|
|
(A.9) |
|
.. |
= − ω1 |
2 |
2 |
|
|
− |
2 2 |
2 |
|
|
. |
A suitable trial solution is |
|
|
|
|
|
|
|
|
|
|
|
|
|
u |
|
|
|
a |
|
|
|
|
|
|
|
|
|
v |
= b e−iωt . |
|
|
|
|
(A.10) |
This leads to an equation with the same form as eqn A.2 with = 0 (cf. eqn 3.14).
A.2 Interaction of classical oscillators of similar frequencies 301
The determinantal equation yields
ω12 − ω2 ω12 + 2ω22 − ω2 = 0 , |
|
|
(A.11) |
|
2 |
2 |
. For fre- |
giving the two eigenfrequencies ω = ω1 and ω = |
|
ω1 |
+ 2ω2 |
quency ω1 the eigenvector is b = a, corresponding to |
|
|
|
a symmetric stretch |
(Fig. A.1(b)); this is the same as the initial frequency since M2 does not move in this normal mode. The other normal mode of higher frequency corresponds to an asymmetric stretch with b = −a (see Fig. A.1(c)). In these motions the centre of mass does not accelerate, as can be verified by summing eqns A.6, A.7 and A.8.
A treatment of two coupled oscillators of di erent frequencies is given in Lyons (1998) in the chapter on normal modes; this is the classical analogue of the non-degenerate case that was included in the general treatment in the previous section. The books by Atkins (1983, 1994) give a comprehensive description of molecules.
e2
ρ1(r1) 4πε0 r12
Appendix B: The calculation of electrostatic
B energies
1The notation indicates that the electrons are labelled 1 and 2, meaning that their locations are called r1 and r2. At the same time, the electron charges are (probably) di erently distributed in space (because the electrons’ wavefunctions have di erent quantum numbers), so ρ1 and ρ2 are di erent functions of their arguments.
2We have called the integral J in anticipation of working out a direct integral, but an exchange integral is equally well catered for if we use appropriate formulae for ρ1(r1) and ρ2(r2).
This appendix describes a method of dealing with the integrals that arise in the calculation of the electrostatic interaction of two electrons, as in the helium atom and other two-electron systems. Consider two electrons1 whose charge densities are ρ1(r1) and ρ2(r2). Their energy of electrostatic repulsion is (cf. eqn 3.15)
J = ρ2(r2) d3r1 d3r2 . (B.1)
In this expression we shall leave open the precise form of the two charge densities, so the theorem we are to set up will apply equally to direct and to exchange integrals.2 Also, we shall permit the charge density ρ1(r1) = ρ(r1, θ1, φ1) to depend upon the angles θ1 and φ1, as well as upon the radius r1, and similarly for ρ2(r2); neither charge density is assumed to be spherically symmetric.
In terms of the six spherical coordinates the integral takes the form
J = 0 |
π dθ1 sin θ1 |
0 |
2π dφ1 |
0 |
π dθ2 sin θ2 |
0 |
2π dφ2 |
e2 |
|
∞ |
|
|
|
|
|
∞ |
|
|
|
× 0 |
dr1 r12 ρ1(r1, θ1, φ1) 0 |
dr2 r22 ρ2(r2, θ2, φ2) |
|
. |
|
4πε0 r12 |
3The integrals are written with the integrand at the end to make clear the range of integration for each variable.
In rearranging this expression, we process just the two radial integrals. Within them, we divide the range for r2 into a part from 0 to r1 and a part from r1 to infinity. The radial integrals become3
304 Appendix B: The calculation of electrostatic energies
5A similar simplification can be used in the calculation of exchange integrals, as in Exercise 3.6.
by electron 2 owing to the presence of electron 1. When ρ(r1) = ρ(r2), as in the calculation of the direct integral for the 1s2 configuration (Section 3.3.1), these two parts of eqn B.3 are equal (and only one integral needs to be calculated).5
The fact that the potentials V12 and V21 are partial potentials deserves comment. Had we defined a V21(r1) to represent the whole of the electrostatic potential from ρ2(r2) acting on electron 1, then the interaction energy J would have been given by the single term
0 |
π |
0 |
2π |
0 |
∞ |
|
|
dθ1 sin θ1 |
dφ1 |
dr1 r12 ρ1(r1) V21(r1) |
(B.4) |
|
|
|
|
|
= |
ρ1(r1) V21(r1) d3r1 , |
|
6The physical idea that each electron should ‘feel’ a potential due to the other is so intuitive that there can be a strong temptation to write the interaction energy down twice—once in the form B.4 and a second time with 1 and 2 interchanged. If this is done, the interaction energy is double-counted. The advantage of the form B.3 is precisely that it conforms to the intuitive idea without double-counting.
or by a similar expression with the labels 1 and 2 interchanged throughout.6 Such a presentation is, of course, physically correct, but it is much less convenient mathematically than the version presented earlier; it precludes the separation of the Schr¨odinger equation into two equations, each describing the behaviour of one electron.
The simplified form for J given in eqn B.3 is used in the evaluation of direct and exchange integrals for helium in Chapter 3, and is generally applicable to electrostatic energies.