ph406 Set4 2014 Sol
ph406 Set4 2014 Sol
Problem Set 4
                                  K.T. McDonald
                              kirkmcd@princeton.edu
                               Princeton University
               Due Monday, October 13, 2014 (updated August 11, 2017)
1. The form,                                                
                              iδ          θ         θ                θ
                        U=e            cos I + i sin û · σ = eiδ ei 2 û·σ,                     (1)
                                          2         2
  of a general 2 × 2 unitary matrix [(Set 2, eq. (12)] suggests that these matrices have
  something to do with rotations. Certainly, a matrix that describes the rotation of a
  vector is a unitary transformation.
                                                                                  2      2
                                                                                         
  A general 2-component (spinor) state |ψ = ψ+ |+ + ψ − |−, where ψ +  + ψ−  = 1,
  can also be written as,
                                                                   
                             |ψ = eiδ cos θ|+ + eiφ sin θ|− .                                 (2)
  and identifying angles θ and φ with the polar and azimuthal angles of a unit 3-vector
  in an abstract 3-space (sometimes called the Bloch sphere). That is, we associate the
  state |ψ with the unit 3-vector whose components are ψx = sin θ cos φ, ψ y = sin θ sin φ
  and ψz = cos θ. Now, the associations,
                                                  1
     We then infer from eq. (3) that the spin-up and spin-down states in the direction (θ, φ)
     are, to within an overall phase factor,
                    ⎛                  ⎞                                                 ⎛                  ⎞
                          cos θ2                                                                sin θ2
       | + (θ, φ) ∝ ⎜
                     ⎝
                                       ⎟
                                       ⎠,        | − (θ, φ) ∝ | + (π − θ, φ + π) = ⎜
                                                                                     ⎝
                                                                                                            ⎟
                                                                                                            ⎠.   (5)
                         sin θ2 eiφ                                                          − cos θ2 eiφ
which is consistent with eq. (5), but perhaps does not obviously follow from it.
     The Problem: Deduce the up and down 2-component spinor states along direction
     (θ, φ) in a spherical coordinate system via rotation matrices (where first a rotation is
     made by angle θ and then by angle φ).
Rotation Matrices
      (a) A rotation by angle α about the z-axis, which brings the y-axis to the y1 axis.
      (b) A rotation by angle β about the y1 -axis, which brings the z-axis to the z -axis.
      (c) A rotation by angle γ about the z  -axis, which brings the y1-axis to the y -axis
          (and the x-axis to the x-axis).
1
    From sec. 58 of Landau and Lifshitz, Quantum Mechanics.
                                                            2
     The 2 × 2 unitary matrix that corresponds to this rotation (of coordinate axes) is,
                                ⎛                                                            ⎞
                                        β i(α+γ)/2                  β i(−α+γ)/2
                              cos         e   sin                     e
              R(α, β, γ) = ⎜
                           ⎝
                                        2                     ⎟
                                                              ⎠
                                                                    2
                                   β i(α−γ)/2     β −i(α+γ)/2
                             − sin 2 e        cos 2 e
                                ⎛                ⎞⎛                                           ⎞⎛                           ⎞
                                                                        β                β              iα/2
                                 iγ/2
                                            0 ⎠⎜                 cos              sin         ⎟⎜    e               0      ⎟
                           = ⎝ e                  ⎝
                                                                        2                2
                                                                                              ⎠⎝                           ⎠
                                  0       e−iγ/2              − sin         β
                                                                                  cos    β
                                                                                                        0      e   −iα/2
                                                                            2            2
                           = Rz (γ)Ry1 (β)Rz (α),                                                                              (7)
     where the decomposition into the product of 3 rotation matrices2 follows from the
     particular rules,
                                                 ⎛                                      ⎞
                                                       φ
                                                 ⎜ cos 2                 i sin φ2 ⎟
                                     Rx (φ) = ⎝                                         ⎠,                                      (8)
                                                         i sin φ2           cos φ2
                                                 ⎛                                       ⎞
                                                       φ
                                                 ⎜ cos 2                        sin φ2 ⎟
                                     Ry (φ) = ⎝                                          ⎠,                                     (9)
                                                                    φ              φ
                                                         − sin      2
                                                                            cos    2
                                                 ⎛                                   ⎞
                                                             iφ/2
                                                 ⎜       e                  0        ⎟
                                     Rz (φ) = ⎝                                      ⎠.                                        (10)
                                                                         −iφ/2
                                                             0       e
     Convince yourself that the combined rotation (7) could also be achieved if first a
     rotation is made by angle γ about the z axis, then a rotation is made by angle β about
     the original y axis, and finally a rotation is made by angle α about the original z axis.
     There is unfortunately little consistency among various authors as to the conventions
     used to describe rotations. I follow the notation of Barenco et al.,3 who appear to write
     eq. (7) simply as,
                                  R(α, β, γ) = Rz (γ)Ry (β)Rz (α).                        (11)
     Occasionally one needs to remember that in eq. (11) the axes of the second and third
     rotations are the results of the previous rotation(s).
     Note that according to eqs. (8)-(10),
     so that the Pauli spin matrices are equivalent to the formal matrices for 180◦ rotations
     only up to a phase factor i.
2
    The order of operations is that the rightmost rotation in eq. (7) is to be performed first.
3
    http://physics.princeton.edu/~mcdonald/examples/QM/barenco_pra_52_3457_95.pdf
                                                     3
       Show that a more systematic relation between the Pauli spin matrices and the rotation
       matrices is that eqs. (8)-(10) can be written as,
                                                                  φ
                                                    Ru (φ) = ei 2 û·σ ,                                   (14)
       which describes a rotation of the coordinate axes in Bloch space by angle φ about the
       û axis (in a right-handed convention).
       Rather than rotating the coordinate axes, we may wish to rotate vectors in
       Bloch space by an angle φ about a given axis û, while leaving the coordinate
       axes fixed. The operator,
                                                                      φ
                                                Ru (−φ) = e−i 2 û·σ                                       (15)
       performs this type of rotation. With this in mind, you can finally solve the main
       problem posed on p. 2.
       where the 2-spinor χ obeys χ†χ = 1. Similarly, antiparticle 4-spinors v are associated
       with plane-wave states,4,5
                                           ψ̃ = v eipx ,                                 (18)
       (note the sign change with respect to the form (16)), that can be written as,
                             ⎛             ⎞    ⎛               √         ⎞    ⎛⎞
                                  p·σ               √ p
                  √     ⎜        E+m
                                      χ̃   ⎟ ⎜    p̂ · σ χ̃ ⎟ ⎜ E − m p̂ · σ χ̃ ⎟
                                                     E+m
             v=    E + m⎝                  ⎠=⎝ √            ⎠=⎝   √             ⎠,                         (19)
                                   χ̃           E + m χ̃           E + m χ̃
                                                         4
       The positive and negative helicity spinor states for a particle with 3-momentum p
       in direction (θ, φ) are χ+ = | + (θ, φ) and χ− = | − (θ, φ), respectively, recalling
       eq. (6), while the helicity states of an antiparticle are χ̃+ = | − (θ, φ) = χ− and
       χ̃− = −| + (θ, φ) = −χ+ . In all cases, positive helicity means spin in the direction of
       momentum p.
       In the high-energy limit, these 4-spinors simplify to,
                                     ⎛              ⎞                ⎛            ⎞
                            √ ⎜             χ       ⎟           √ ⎜ p̂ · σ χ̃ ⎟
                          u→ E⎝                     ⎠,       v → E⎝           ⎠,                         (20)
                                         p̂ · σ χ                       χ̃
       Give explicit forms of the helicity spinors u+ (θ, φ), u− (θ, φ), v+ (θ, φ) and v− (θ, φ)for
       (anti)particles moving and at angles (θ, φ) to the +z-axis, and also their simplification
       to u+ (0), u− (0), v+ (0) and v− (0) for motion along the z-axis in the high-energy limit.
       If these are pointlike particles of charge e, their electromagnetic interaction is described
       by the 4-current jμ = e γ μ . Verify that the matrix elements ū− (θ)|γ μ |u+ (0) vanish
       for μ = 0, 1, 2, 3, and similarly that v̄+ (θ)|γ μ |u+ (0) = 0. Remember that v̄ = v † γ 0,
       etc.
       Digression: Electric Charge Conjugation. The above claim that the antiparticle
       helicity 2-spinors χ̃± are related to the particle helicity 2-spinors χ± by χ̃± = ±χ∓
       can be justified by considerations of a transformation, called electric charge conjugation
       with symbol C, between particles and their antiparticles (with respect to their elec-
       tromagnetic interactions), such that ψ̃ = Cψ is the antiparticle state of a spin-1/2
       particle ψ.6
   6
      That ψ̃ = Cψ and not ψ̃ = Cψ follows from the sign change in the spacetime waveform between
eqs. (16) and (18).
   Charge conjugation leaves mass unchanged, such that a particle and its antiparticle have the same rest
mass m. This was not initially understood by Dirac, who first speculated that the antiparticle of an electron
is a proton, A Theory of Electrons and Protons, Proc. Roy. Soc. London A 126, 360 (1930),
http://physics.princeton.edu/~mcdonald/examples/QED/dirac_prsla_126_360_30.pdf.
The charge-conjugation operator C was discussed (in a different representation, and not given a name) on
p. 130 of W. Pauli, Contributions mathématique à la théorie des matrices de Dirac, Ann. Inst. H. Poincaré
6, 109 (1936), http://physics.princeton.edu/~mcdonald/examples/QED/pauli_aihp_6_109_36.pdf.
The term “charge conjugation” (but with the symbol L) may have been first used in H.A. Kramers, The use
of charge conjugated wavefunctions in the hole theory of the electron, Proc. Roy. Neder. Acad. Sci. 40, 814
(1937), http://physics.princeton.edu/~mcdonald/examples/neutrinos/kramers_pknaw_40_814_37.pdf.
The term antimatter was introduced by Schuster in 1898, but in his vision antimatter had negative mass;
Potential Matter—A Holiday Dream, Nature 58, 367, 618 (1898),
http://physics.princeton.edu/~mcdonald/examples/GR/schuster_nature_58_367_98.pdf
http://physics.princeton.edu/~mcdonald/examples/GR/schuster_nature_58_618_98.pdf.
The present vision of antiparticles via electric charge conjugation of particles is perhaps closer to Kelvin’s
image method for a planar conductor, p. 288 of W. Thomson, Effects of Electrical Influence on Internal
Spherical and on Plane Conducting Surfaces, Camb. Dublin Math. J. 4, 276 (1849),
http://physics.princeton.edu/~mcdonald/examples/EM/thomson_cdmj_4_276_49.pdf.
                                                         5
       One way to do this starts with the Dirac equation for a spin-1/2 particle state ψ,7
i∂ μγ μ ψ = mψ. (21)
We expect that the antiparticle state ψ̃ also satisfies the Dirac equation,
i∂ μγ μ ψ̃ = mψ̃. (22)
− i∂ μγ ∗μ ψ∗ = mψ ∗. (23)
− Cγ ∗μ = γ μ C. (25)
       You can verify that this implies the electric-charge-conjugation matrix operator to be,9
                                         ⎛                       ⎞
                                         ⎜ 0       0    0 1 ⎟
                                                                       ⎛                ⎞
                                         ⎜                  ⎟
                                         ⎜
                                         ⎜ 0       0   −1 0 ⎟
                                                            ⎟          ⎜    0     iσ2 ⎟
                             C = iγ 2 = ⎜
                                        ⎜
                                                                 ⎟
                                                                 ⎟   =⎝                 ⎠.                      (26)
                                         ⎜   0 −1       0    0   ⎟         −iσ2    0
                                         ⎜                       ⎟
                                         ⎝                       ⎠
                                             1     0    0    0
       using that fact (verify it!) that σ 2σ ∗ = −σσ2 . Hence, the antiparticle 2-spinor χ̃ is
       related to its corresponding particle 2-spinor χ by,
                                                         6
       In particular, the helicity 2-spinors of eq. (6) transform under electric-charge conjuga-
       tion as,
                        ⎛                     ⎞                            ⎛                            ⎞
                               θ      −iφ/2                                             θ       −iφ/2
                        ⎜   cos e
                               2              ⎟                            ⎜   − sin e  2               ⎟
                χ+ = ⎝                        ⎠       → χ̃+ = −iσ2 χ∗+ = ⎝                              ⎠   = χ− ,   (29)
                                  θ    iφ/2                                             θ       iφ/2
                            sin e 2
                                                                                   cos e2
                    ⎛                         ⎞                            ⎛                            ⎞
                               θ      −iφ/2                                             θ       −iφ/2
                    ⎜   − sin e2              ⎟                            ⎜   − cos e  2               ⎟
             χ− = ⎝                           ⎠       → χ̃− = −iσ2 χ∗− = ⎝                              ⎠   = −χ+ , (30)
                              θ       iφ/2                                                  θ    iφ/2
                            cos e
                              2
                                                                                   − sin e  2
       as claimed above.
   3. The cross section for inelastic scattering of electrons off some target can be expressed
      in terms of two generalized structure functions W1,2(q 2, ν) where q = pei − pef and
      ν = q0 = Ei − Ef , as on p. 131, Lecture 8 of the Notes. If the inelastic scattering is
      due to the interaction of the virtual photon emitted by the incident electron with a
      spin-1/2, charge Q, mass m constituent of the target, such that the rest of the target is
      a “spectator” to this interaction, then the cross section is that given on p. 99, Lecture
      6 of the Notes, and we infer that,10
                                                                                                          
                              −q 2 2        q2                         2                2q2
              W1 (q ∗ 2, ν) =     Q  δ ν +     ,                   W2 (q , ν) = Q δ ν +     .                        (31)
                              4m2          2m                                           2m
       An argument of Bjorken11 is that the lab-frame energy difference between the initial
       and final electron can be written as,
                                                        qP
                                     Ei − Ef = ν = q0 =     ,                             (32)
                                                         M
       where P is the energy-momentum 4-vector of the target (of rest mass M), which is
       just P = (M, 0, 0, 0) in the lab frame. Then, in a frame in which the target has very
       high momentum, the 4-vector p of a constituent which carries (scalar) fraction x of the
       target’s 3-momentum can be written approximately as p ≈ xP . A consequence of this
       approximation is that the constituent mass m is related by m2 = p2 ≈ x2 P 2 = x2M 2 ,
       i.e., that m ≈ xM (as appropriate for consideration of very high-energy scattering).
       This permits us to rewrite eq. (31) as12
                                                                                                     
                         −q 2     2        q2                                  2 q2
                   W1 =         Q   δ ν +     ,                    W2 = Q δ ν +     .                                (33)
                        4M 2 x2           2Mx                                   2Mx
       Supposing the constituents are distributed with the target (as viewed from a frame
       in which the target has high speed) with probability f(x) dx, give expressions for the
       generalized structure functions W1 and W2 in terms of a single variable x.
  10
      C.G. Callan, Jr and D.J. Gross, High-Energy Electroproduction and the Constitution of the Electric
Current, Phys. Rev. Lett. 22, 156 (1969),
http://physics.princeton.edu/~mcdonald/examples/EP/callan_prl_22_156_69.pdf.
   11
      J.D. Bjorken and E.A. Paschos, Inelastic Electron-Proton and γ-Proton Scattering and the Structure
of the Nucleon, Phys. Rev. 185, 1975 (1969),
http://physics.princeton.edu/~mcdonald/examples/EP/bjorken_pr_185_1975_69.pdf.
   12
      A different version of this argument is given on p. 139, Lecture 8 of the Notes, where a Breit frame is
used.
                                                            7
Solutions
 1. Rotation and Pauli Spin Matrices.
   The rotations (8)-(10) are readily seen to be exponentials of the Pauli matrices,
                               ⎛                                   ⎞
   while a rotation Rx (180◦ ) by 180◦ about the x-axis in our abstract spherical coordinate
   system takes α to π − α and β to −β,
                           ⎛                           ⎞       ⎛                    ⎞           ⎛                  ⎞
                                             α
              Rx(180◦ ) ⎝        cos      ⎠=⎝2
                                                                     cos π−α
                                                                           2        ⎠
                                                                                                     iβ
                                                                                        = e−iβ ⎝ e sinα
                                                                                                               α
                                                                                                               2   ⎠.    (38)
                               eiβ sin α2                          e−iβ sin π−α
                                                                             2
                                                                                                  cos 2
   Since the overall phase of a state does not affect its meaning, our prescription can be
   considered satisfactory thus far.
   Can we interpret the operation σ y as a rotation by 180◦ about the y-axis? On one
   hand,         ⎛         ⎞    ⎛        ⎞⎛              ⎞ ⎛              ⎞
                        α                           α            iβ     α
                    cos
             σ y ⎝ iβ 2 α ⎠ = ⎝   0   −i ⎠⎝     cos 2    ⎠=⎝ −ie    sin 2 ⎠,    (39)
                   e sin 2        i 0         eiβ sin α2       i cos α2
   while a rotation Ry (180◦ ) by 180◦ about the y-axis in our abstract spherical coordinate
   system takes α to π − α and β to π − β,
                   ⎛                      ⎞        ⎛                           ⎞            ⎛                       ⎞
                                   α
         Ry (180◦ ) ⎝      cos     ⎠=⎝
                                   2
                                                                cos π−α
                                                                      2        ⎠    = ie−iβ ⎝ −ie sin
                                                                                                      iβ       α
                                                                                                               2    ⎠.   (40)
                          e sin α2
                          iβ
                                                            ei(π−β) sin π−α
                                                                         2
                                                                                               i cos α2
                                                                   8
while a rotation Rz (180◦ ) by 180◦ about the z-axis in our abstract spherical coordinate
system takes α to α and β to π + β,
                      ⎛            ⎞    ⎛                       ⎞    ⎛               ⎞
                               α                       α                        α
            Rz (180◦ ) ⎝     cos
                               2      ⎠=⎝     cos      2 ⎠=⎝  cos        ⎠.     2        (42)
                           eiβ sin α2     ei(π+β) sin α2     −eiβ sin α2
                                       ⎛                                        ⎞
                                             θ −iφ/2
                                       ⎜ cos 2 e     − sin 2θ e−iφ/2 ⎟
                  R(0, −θ, −φ) = ⎝                                              ⎠.       (43)
                                            sin 2θ eiφ/2        cos 2θ eiφ/2
Then,
                                               ⎛       ⎞    ⎛                   ⎞
                                                                  θ −iφ/2
                                               ⎜ 1 ⎟        ⎜ cos 2 e     ⎟
               | + (θ, φ) = R(0, −θ, −φ) ⎝            ⎠   =⎝                   ⎠,       (44)
                                                   0             sin θ2 eiφ/2
                                           ⎛       ⎞       ⎛                    ⎞
                                                                   θ −iφ/2
                                           ⎜ 0 ⎟           ⎜ − sin 2 e     ⎟
              | − (θ, φ) = R(0, −θ, −φ) ⎝         ⎠   =⎝                       ⎠,       (45)
                                               1                cos θ2 eiφ/2
                                           9
2. From eq. (6), Prob. 1, the helicity 2-spinors for a particle are,
                             ⎛                     ⎞                                  ⎛                     ⎞
                                      θ    −iφ/2                                                θ   −iφ/2
                             ⎜   cos e2            ⎟                                  ⎜   − sin e
                                                                                                2           ⎟
    χ+ = | + (θ, φ) = ⎝                           ⎠,              χ− = | − (θ, φ) = ⎝                     ⎠.   (46)
                                      θ    iφ/2                                                θ    iφ/2
                                   sin e
                                      2
                                                                                           cos e
                                                                                               2
                                                           10
Note that v± = Cu∗±, using the electric-charge-conjugation operator C = iγ 2 found in
eq. (26).
In case of high-speed motion (E+ ≈ E− ≈ E) along the +z-axis the 4-spinors are,
           ⎛       ⎞                  ⎛        ⎞                    ⎛          ⎞                      ⎛       ⎞
           ⎜ 1 ⎟                      ⎜ 0 ⎟                         ⎜ 0 ⎟                             ⎜ −1 ⎟
           ⎜   ⎟                      ⎜   ⎟                         ⎜    ⎟                            ⎜    ⎟
           ⎜   ⎟                      ⎜   ⎟                         ⎜    ⎟                            ⎜    ⎟
           ⎜ 0 ⎟                      ⎜ 1 ⎟                         ⎜ −1 ⎟                            ⎜ 0 ⎟
u+ (0) → ⎜
         ⎜
                   ⎟,
                   ⎟     u− (0) → ⎜
                                  ⎜
                                               ⎟,
                                               ⎟           v+ (0) → ⎜
                                                                    ⎜
                                                                               ⎟,
                                                                               ⎟           v− (0) → ⎜
                                                                                                    ⎜
                                                                                                              ⎟.
                                                                                                              ⎟    (53)
           ⎜   1 ⎟                    ⎜   0 ⎟                       ⎜     0 ⎟                         ⎜   −1 ⎟
           ⎜     ⎟                    ⎜     ⎟                       ⎜       ⎟                         ⎜      ⎟
           ⎝       ⎠                  ⎝        ⎠                    ⎝          ⎠                      ⎝       ⎠
               0                          −1                              1                               0
Recalling that,
                         ⎛                         ⎞               ⎛                             ⎞
                         ⎜ 1 0        0       0 ⎟                  ⎜ 0            0        0 1 ⎟
                         ⎜                      ⎟                  ⎜                           ⎟
                         ⎜
                         ⎜ 0 1        0       0 ⎟
                                                ⎟
                                                                   ⎜
                                                                   ⎜ 0            0        1 0 ⎟
                                                                                               ⎟
                   γ0 = ⎜
                        ⎜
                                                   ⎟,
                                                   ⎟         γ1 = ⎜
                                                                  ⎜
                                                                                                 ⎟,
                                                                                                 ⎟
                         ⎜    0 0 −1          0    ⎟               ⎜     0     −1 0 0            ⎟
                         ⎜                         ⎟               ⎜                             ⎟
                         ⎝                         ⎠               ⎝                             ⎠
                              0 0     0    −1                            −1       0        0 0
                          ⎛                        ⎞               ⎛                             ⎞
                          ⎜ 0       0 0 −i ⎟                       ⎜ 0         0 1 0 ⎟
                          ⎜                ⎟                       ⎜                  ⎟
                          ⎜
                          ⎜ 0       0 i 0 ⎟⎟
                                                                   ⎜
                                                                   ⎜ 0         0 0 −1 ⎟
                                                                                      ⎟
                   γ2 = ⎜
                        ⎜
                                                   ⎟,
                                                   ⎟         γ3 = ⎜
                                                                  ⎜
                                                                                                 ⎟,
                                                                                                 ⎟                 (54)
                          ⎜    0    i 0       0    ⎟               ⎜     −1 0 0             0    ⎟
                          ⎜                        ⎟               ⎜                             ⎟
                          ⎝                        ⎠               ⎝                             ⎠
                              −i 0 0          0                          0     1 0          0
we have that,
                                      ⎛           ⎞                      ⎛            ⎞
                                      ⎜   1 ⎟                            ⎜    0 ⎟
                                      ⎜     ⎟                            ⎜      ⎟
                                      ⎜
                                      ⎜   0 ⎟
                                            ⎟
                                                                         ⎜
                                                                         ⎜    1 ⎟
                                                                                ⎟
                        γ 0u+ (0) =   ⎜           ⎟,       γ 1u+ (0) =   ⎜            ⎟,
                                      ⎜           ⎟                      ⎜            ⎟
                                      ⎜   −1      ⎟                      ⎜    0       ⎟
                                      ⎜           ⎟                      ⎜            ⎟
                                      ⎝           ⎠                      ⎝            ⎠
                                          0                                   −1
                                      ⎛           ⎞                      ⎛            ⎞
                                      ⎜ 0 ⎟                              ⎜ 1 ⎟
                                      ⎜   ⎟                              ⎜   ⎟
                                      ⎜   ⎟                              ⎜   ⎟
                                      ⎜ i ⎟                              ⎜ 0 ⎟
                        γ 2u+ (0) = ⎜
                                    ⎜
                                                  ⎟,
                                                  ⎟        γ 3 u+ (0) = ⎜
                                                                        ⎜
                                                                                      ⎟.
                                                                                      ⎟                            (55)
                                      ⎜    0      ⎟                      ⎜    −1      ⎟
                                      ⎜           ⎟                      ⎜            ⎟
                                      ⎝           ⎠                      ⎝            ⎠
                                          −i                                  0
To evaluate matrix elements such as ūf |γ μ |ui we recall that this equals u†f γ 0 γ μ ui , so
                                                      11
we multiply eq. (55) by γ 0 to obtain,
                                       ⎛       ⎞                       ⎛        ⎞
                                       ⎜ 1 ⎟                           ⎜ 0 ⎟
                                       ⎜   ⎟                           ⎜   ⎟
                                       ⎜   ⎟                           ⎜   ⎟
                                       ⎜ 0 ⎟                           ⎜ 1 ⎟
                       γ 0γ 0 u+ (0) = ⎜
                                       ⎜
                                               ⎟,
                                               ⎟        γ 0γ 1 u+ (0) = ⎜
                                                                        ⎜
                                                                                ⎟,
                                                                                ⎟
                                       ⎜   1   ⎟                       ⎜    0   ⎟
                                       ⎜       ⎟                       ⎜        ⎟
                                       ⎝       ⎠                       ⎝        ⎠
                                           0                                1
                                       ⎛       ⎞                       ⎛        ⎞
                                       ⎜ 0 ⎟                           ⎜ 1 ⎟
                                       ⎜   ⎟                           ⎜   ⎟
                                       ⎜   ⎟                           ⎜   ⎟
                                       ⎜ i ⎟                           ⎜ 0 ⎟
                       γ 0 γ 2u+ (0) = ⎜
                                       ⎜
                                               ⎟,
                                               ⎟        γ 0 γ 3u+ (0) = ⎜
                                                                        ⎜
                                                                                ⎟.
                                                                                ⎟              (56)
                                       ⎜   0   ⎟                       ⎜    1   ⎟
                                       ⎜       ⎟                       ⎜        ⎟
                                       ⎝       ⎠                       ⎝        ⎠
                                           i                                0
                                                   12
      That is, the u and v spinors are orthogonal with respect to the scalar product φ̄ψ, but
      not with respect to φ† ψ.
                                                     13
Only in the high-energy limit do the chirality and the helicity projection operators
produce that same results.
The result of the positive-(negative-)chirality operator on a particle 4-spinor is called
a righthanded-(lefthanded-)chirality spinor, and conversely for antiparticles,
      1 + γ5                 1 − γ5                 1 + γ5              1 − γ5
             u ≡ uR ,               u ≡ uL ,               v ≡ vL ,            v ≡ vR ,       (73)
        2                      2                       2                  2
Then, eq. (70) reminds us the a lefthanded-chirality particle is not precisely a negative-
helicity state, etc. That is, uL = (1 − γ 5 )u/2 contains a positive-helicity component
of amplitude (E + m − p)/(E + m + p) ≈ m/2E relative to the nominal negative-
helicity component. A famous application of this in the decays π → μν μ vs. π → eν e
is discussed on p. 293, Lecture 16 of the Notes. See also Set 9, Prob. 1b.
Similarly, a righthanded-chirality antiparticle state, (1−γ 5 )v/2, is nominally a positive-
helicity state (with 2-spinor χ̃+ = χ− ), but has a negative-helicity component of am-
plitude ≈ m/E.
Suppose that the antiparticle of state u is v = ũ. We can decompose u and v into chi-
rality states, u = uR + uL , v = vR + vL . Then, recalling the electric-charge-conjugation
operator (26) and that γ 2 γ 5 = −γ 5γ 2 ,
                            1 + γ5 ∗ 1 − γ5             1 − γ5      1 − γ5
     ũR = iγ 2u∗R = iγ 2         u =       (iγ 2 u∗) =        ũ =        v = vR .           (74)
                               2       2                  2           2
Similarly, ũL = vL. Note that the antiparticle of uR (in the sense of electric-charge
conjugation) is vR and not vL .
A peculiarity is that right- and lefthanded-chirality states uR,L (and vR,L) do not strictly
satisfy the Dirac equation i∂ μ γ μ u = m u, but rather,
                                    i∂ μγ μ uR,L = m uL,R,                                    (75)
(and similarly i∂ μγ μ vR,L = m vR,L), since γ 5 γ μ = −γ μ γ 5 :
        1 ± γ5 μ                 1 ∓ γ5                    1 ± γ5
              i∂ γ μ u = i∂ μγ μ        u = i∂ μγ μ uL,R =        mu = m uR,L .               (76)
          2                        2                         2
                                               14
recalling that γ 5γ μ = −γ μ γ 5 and γ 25 = 1.
That is, only helicity-conserving matrix elements of the operator γ μ are nonzero for
relativistic spin-1/2 states.
with 2-spinors χ and χ̃ = −iσ2χ∗ (from eq. (28)) that obey χ† χ = 1 = χ̃† χ̃, we have
that u† u = 2E = v †v and ūu = 2m = −v̄v. The the right- and lefthanded 4-spinors of
eqs. (73) and (78) are then,
                 ⎛             ⎞                                        ⎛                           ⎞
            √              σ·p                                  √                 σ·p
             E +m⎜  1  ±  E+m
                                χ ⎟                                 E+m⎜         E+m
                                                                                        ∓ 1 χ̃ ⎟
   uR,L   =      ⎝             ⎠,                    vR,L =          ⎝                              ⎠,   (79)
              2       σ·p                                            2                   σ·p
                     E+m
                           ±1 χ                                            1∓           E+m
                                                                                                   χ̃
while,
while,
                                                  15
       Digression: Two-Component Theory of Massless Fermions.
       Until relatively recently, experimental evidence was consistent with neutrinos being
       massless. The character of Dirac 4-spinors for massless spin-1/2 states was considered
       by Weyl,14 who formulated a “two component” theory.
       For example, the four helicity states (49)-(52) reduce to two independent state when
                                                                   p
       m = 0, since then v± = −u∓ . Also, when m = 0 then E+m         = 1, and eqs. (69)-(72)
       indicate that the helicity spinors and the chirality spinors are identical, uR = u+ =
       −v− = −vL and uL = u− = −v+ = −vR.
       As discussed in Lecture 16 of the Notes, in the so-called V -A theory, only lefthanded
       particle (righthanded antiparticle) states participate in the weak interaction. Since the
       neutrino has no strong or electromagnetic interaction (presuming that the neutrino has
       no magnetic moment as well as no electric charge), then a righthanded neutrino (left-
       handed antineutrino) would have no interactions (except gravity) and could be called
       sterile.15 While a massless, sterile neutrino is a somewhat trivial concept, the possi-
       bility of a sterile neutrino with mass has led to considerable discussion/controversy,
       despite lack of clear experimental evidence for such a particle.16
                                                                   q2
                                                       ν=−            .                                    (89)
                                                                  2Mx
       The result (87) is usually recast as,
                                                                16
Similarly,
              1                                  
                           −q 2     2      q2           −q 2     Q2 f(x)    Q2f(x)
W1(x) =            f(x ) dx          Q δ ν+            =                    =        , (91)
              0             4M 2 x2        2Mx         4M 2 x2 −q 2/2Mx2    2M
17