Lean, informalized

Nielsen & Chuang · Chapter 7, Quantum computers: physical realization · p. 332

Exercise 7.40 - The average over zz pulses on either spin keeps only the coupling of the two zz components

Refocusing pulses reduce the dipolar coupling to one term.

Hover over a blue or green term in the text, or a node in the graph, to find it in the other. Select it to read its declaration both in Lean and in words.

The Exercise

Two nuclei of spin 12\tfrac12, with gyromagnetic ratios γ1\gamma_1 and γ2\gamma_2, sit a distance rr apart, and nˆ\hat n is the unit vector from the first to the second. Their magnetic moments interact through the dipolar coupling, which ties each Pauli component of one spin to each component of the other. A pair of pulses given by the Pauli matrix ZZ on a spin, one before and one after a period of free evolution, turns the coupling during that period into its conjugate by ZZ on that spin.

The exercise averages the coupling over the four cases: no pulses, pulses on the first spin, on the second, and on both. What survives is a single term, the product Z1Z2Z_1Z_2 of the ZZ operator on the first spin and the ZZ operator on the second, with a strength that depends on nˆ\hat n only through the angle between nˆ\hat n and the zz axis.

Two Spins and Their Coupling

The Pauli matrices XX, YY and ZZ are the complex 2×22\times2 matrices X=(0110),Y=(0−ii0),Z=(100−1),X = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix},\qquad Y = \begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix},\qquad Z = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix},(1) and the Pauli vector σ→=(X,Y,Z)\vec\sigma = (X, Y, Z) is the triple of them. For a real vector n→=(nx,ny,nz)\vec n = (n_x, n_y, n_z) in three dimensions, n→⋅σ→\vec n\cdot\vec\sigma is the matrix nxX+nyY+nzZn_x X + n_y Y + n_z Z.✦

A subscript on σ→\vec\sigma names the spin it acts on. The isotropic coupling σ→1⋅σ→2\vec\sigma_1\cdot\vec\sigma_2 of two spins pairs each Pauli matrix on spin 1 with the same matrix on spin 2, and their anisotropic coupling (σ→1⋅n→)(σ→2⋅n→)(\vec\sigma_1\cdot\vec n)(\vec\sigma_2\cdot\vec n) along n→\vec n is the tensor product of n→⋅σ→\vec n\cdot\vec\sigma with itself: σ→1⋅σ→2=X⊗X+Y⊗Y+Z⊗Z,(σ→1⋅n→)(σ→2⋅n→)=(n→⋅σ→)⊗(n→⋅σ→).\begin{aligned} \vec\sigma_1\cdot\vec\sigma_2 &= X\otimes X + Y\otimes Y + Z\otimes Z,\\ (\vec\sigma_1\cdot\vec n)(\vec\sigma_2\cdot\vec n) &= (\vec n\cdot\vec\sigma)\otimes(\vec n\cdot\vec\sigma). \end{aligned}(2)

The dipolar coupling H1,2D(n→)H^D_{1,2}(\vec n) of two nuclei of spin 12\tfrac12 with gyromagnetic ratios γ1\gamma_1 and γ2\gamma_2, a distance rr apart along n→\vec n, is a multiple of the dipolar bracket, the isotropic coupling minus three times the anisotropic one: H1,2D(n→)=γ1γ2ℏ4r3[σ→1⋅σ→2−3(σ→1⋅n→)(σ→2⋅n→)],H^D_{1,2}(\vec n) = \frac{\gamma_1\gamma_2\hbar}{4r^3} \Bigl[\vec\sigma_1\cdot\vec\sigma_2 - 3(\vec\sigma_1\cdot\vec n)(\vec\sigma_2\cdot\vec n)\Bigr],(3)✦ with ℏ\hbar the reduced Planck constant. For the nuclei of the exercise, n→\vec n is the unit vector nˆ\hat n.

The Refocusing Cycle

The refocusing pulse Z1Z_1 on the first spin is the operator of the two spins that is ZZ on that spin and the identity II on the other, Z1=Z⊗I,Z_1 = Z\otimes I,(4) the pulse on the second spin is the reverse, Z2=I⊗Z,Z_2 = I\otimes Z,(5) and the joint pulse is ZZ on both, Z1Z2=Z⊗Z.Z_1Z_2 = Z\otimes Z.(6)

For a Hamiltonian HH of the two spins, the average Hamiltonian H¯\overline H of the refocusing cycle, the four cases of no pulse, a pulse on either spin and a pulse on both, is the mean of HH and its conjugates by the three pulses: H¯=14(H+Z1HZ1+Z2HZ2+Z1Z2HZ1Z2).\overline H = \tfrac14\bigl(H + Z_1 H Z_1 + Z_2 H Z_2 + Z_1Z_2\, H\, Z_1Z_2\bigr).(7)✦

The Claim

The effective coupling JeffJ_{\mathrm{eff}} of two nuclei of spin 12\tfrac12 with gyromagnetic ratios γ1\gamma_1 and γ2\gamma_2, a distance rr apart along a real vector n→\vec n, is the real number Jeff=γ1γ2(1−3nz2)r3.J_{\mathrm{eff}} = \frac{\gamma_1\gamma_2\,(1 - 3n_z^2)}{r^3}.(8)✦ For the unit vector nˆ\hat n at an angle θ\theta to the zz axis, nz=cos⁡θn_z = \cos\theta and the factor is 1−3cos⁡2θ1 - 3\cos^2\theta.

Theorem 1. Let two nuclei of spin 12\tfrac12 have gyromagnetic ratios γ1\gamma_1 and γ2\gamma_2 and lie a distance rr apart along a real vector n→\vec n in three dimensions, of any length. Then the average of their dipolar coupling over the refocusing cycle is a coupling of the two ZZ operators alone, with strength set by the effective coupling: H1,2D(n→)¯=ℏJeff4Z1Z2.\overline{H^D_{1,2}(\vec n)} = \frac{\hbar J_{\mathrm{eff}}}{4}\, Z_1Z_2 .(9)✦

What Is Checked

The claim is stated over the dipolar coupling (3), built from the Pauli matrices (1) through the matrix n→⋅σ→\vec n\cdot\vec\sigma and the two couplings (2); over the pulses (4), (5) and (6) and the average (7) they define; and over the effective coupling (8).