Physics 513, Quantum Field Theory Examination 1

Σχετικά έγγραφα
6.1. Dirac Equation. Hamiltonian. Dirac Eq.

Homework 4 Solutions Weyl or Chiral representation for γ-matrices. Phys624 Dirac Equation Homework 4

Space-Time Symmetries

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

= {{D α, D α }, D α }. = [D α, 4iσ µ α α D α µ ] = 4iσ µ α α [Dα, D α ] µ.

Section 7.6 Double and Half Angle Formulas

derivation of the Laplacian from rectangular to spherical coordinates

Math221: HW# 1 solutions

Orbital angular momentum and the spherical harmonics

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.

Symmetric Stress-Energy Tensor

2 Composition. Invertible Mappings

Section 8.3 Trigonometric Equations

Partial Differential Equations in Biology The boundary element method. March 26, 2013

General 2 2 PT -Symmetric Matrices and Jordan Blocks 1

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

Srednicki Chapter 55

Phys624 Quantization of Scalar Fields II Homework 3. Homework 3 Solutions. 3.1: U(1) symmetry for complex scalar

Higher Derivative Gravity Theories

C.S. 430 Assignment 6, Sample Solutions

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

EE512: Error Control Coding

Example Sheet 3 Solutions

Uniform Convergence of Fourier Series Michael Taylor

MATH423 String Theory Solutions 4. = 0 τ = f(s). (1) dτ ds = dxµ dτ f (s) (2) dτ 2 [f (s)] 2 + dxµ. dτ f (s) (3)

Partial Trace and Partial Transpose

Dirac Matrices and Lorentz Spinors

Tutorial problem set 6,

9.09. # 1. Area inside the oval limaçon r = cos θ. To graph, start with θ = 0 so r = 6. Compute dr

Matrices and Determinants

Problem Set 9 Solutions. θ + 1. θ 2 + cotθ ( ) sinθ e iφ is an eigenfunction of the ˆ L 2 operator. / θ 2. φ 2. sin 2 θ φ 2. ( ) = e iφ. = e iφ cosθ.

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

Numerical Analysis FMN011

b. Use the parametrization from (a) to compute the area of S a as S a ds. Be sure to substitute for ds!

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics

Homework 3 Solutions

Solutions to Exercise Sheet 5

1 String with massive end-points

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

Geodesic Equations for the Wormhole Metric

CRASH COURSE IN PRECALCULUS

Relativistic particle dynamics and deformed symmetry

Variational Wavefunction for the Helium Atom

Physics 523, Quantum Field Theory II Homework 9 Due Wednesday, 17 th March 2004

The Simply Typed Lambda Calculus

DESIGN OF MACHINERY SOLUTION MANUAL h in h 4 0.

Every set of first-order formulas is equivalent to an independent set

w o = R 1 p. (1) R = p =. = 1

Areas and Lengths in Polar Coordinates

Problem Set 3: Solutions

Physics 582, Problem Set 2 Solutions

ANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?

Finite Field Problems: Solutions

( ) 2 and compare to M.

PARTIAL NOTES for 6.1 Trigonometric Identities

The challenges of non-stable predicates

Areas and Lengths in Polar Coordinates

Lecture 2. Soundness and completeness of propositional logic

4 Dirac Equation. and α k, β are N N matrices. Using the matrix notation, we can write the equations as imc

Exercises 10. Find a fundamental matrix of the given system of equations. Also find the fundamental matrix Φ(t) satisfying Φ(0) = I. 1.

( y) Partial Differential Equations

Homework 8 Model Solution Section

Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1

Derivation of Optical-Bloch Equations

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

Strain gauge and rosettes

Notes on the Open Economy

Concrete Mathematics Exercises from 30 September 2016

Section 9.2 Polar Equations and Graphs

Other Test Constructions: Likelihood Ratio & Bayes Tests

Reminders: linear functions

Congruence Classes of Invertible Matrices of Order 3 over F 2

Approximation of distance between locations on earth given by latitude and longitude

Second Order RLC Filters

Inverse trigonometric functions & General Solution of Trigonometric Equations

Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013

2. THEORY OF EQUATIONS. PREVIOUS EAMCET Bits.

ECE Spring Prof. David R. Jackson ECE Dept. Notes 2

ST5224: Advanced Statistical Theory II

= λ 1 1 e. = λ 1 =12. has the properties e 1. e 3,V(Y

5. Choice under Uncertainty

forms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with

Written Examination. Antennas and Propagation (AA ) April 26, 2017.

Symmetry. March 31, 2013

UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet

D Alembert s Solution to the Wave Equation

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +

Riemannian Curvature

Bounding Nonsplitting Enumeration Degrees

Practice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1

4.6 Autoregressive Moving Average Model ARMA(1,1)

PHYS606: Electrodynamics Feb. 01, Homework 1. A νµ = L ν α L µ β A αβ = L ν α L µ β A βα. = L µ β L ν α A βα = A µν (3)

Appendix to On the stability of a compressible axisymmetric rotating flow in a pipe. By Z. Rusak & J. H. Lee

Tridiagonal matrices. Gérard MEURANT. October, 2008

Lecture 15 - Root System Axiomatics

Similarly, we may define hyperbolic functions cosh α and sinh α from the unit hyperbola

Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X.

TMA4115 Matematikk 3

Transcript:

Physics 513, Quantum Field Theory Examination 1 Due Tuesday, 28 th October 2003 Jacob Lewis Bourjaily University of Michigan, Department of Physics, Ann Arbor, MI 48109-1120 1

2 JACOB LEWIS BOURJAILY 1. a We are to verify that in the Schödinger picture we may write the total momentum operator, P d 3 x πx φx, in terms of ladder operators as P 2π 3 p a pa p. Recall that in the Schrödinger picture, we have the following expansions for the fields φ and π in terms of the bosonic ladder operators 1 φx 2π 3 e ipx a p + a p ; 1.1 πx 2π 3 i Ep 2 eipx a p a p. 1.2 To begin our derivation, let us compute φx. 1 φx ap 2π 3 e ipx + a pe ipx, 1 ipap 2π 3 e ipx ipa pe ipx, 1 2π 3 ipe ipx a p a p. Using this and 1.2 we may write the expression for P directly. P d 3 x πx φx, d 3 k 2π 6 d 3 x d3 k 1 2π 6 2 1 2 E k pe ip+kx a k a k a p a p, E p E k p2π 3 δ 3 p + k a k a k a p a p, E p 2π 3 1 2 p a p a p a p a p Using symmetry we may show that a p a p a p a p. With this, our total momentum becomes, 1 P 2π 3 2 p a pa p + a p a p. By adding and then subtracting a pa p inside the parenthesis, one sees that 1 P 2π 3 2 p 2a pa p + [a p, a p], 2π 3 p a pa p + ½ [a p, a p]. Unfortunately, we have precisely the same problem that we had with the Hamiltonian: there is an infinite baseline momentum. Of course, our justification here will be identical to the one offered in that case and so P. 2π 3 p a pa p. 1.3 óπɛρ ɛδɛι δɛ ιξαι

PHYSICS 513: QUANTUM FIELD THEORY EXAMINATION 1 3 b We are to verify that the Dirac charge operator, Q d 3 x ψ xψx, may be written in terms of ladder operators as Q a s 2π 3 p a s p b s p b s p. s Recall that we can expand our Dirac ψ s in terms of fermionic ladder operators. 1 ψ a x 2π 3 e ipx a s pu s ap + b s pva p s ; 1.4 s ψ b x 1 2π 3 e ipx r Therefore, we can compute Q by writing out its terms explicitly. Q d 3 x ψ xψx, d 3 x d3 k 1 2π 6 2 e ip kx E k E p r,s d 3 k 1 2π 6 2 2π 3 δ 3 p k E k E p r,s 1 2π 3 2E p r,s p u r b p + br pv r b p. 1.5 [ ] k ur b k + br kv r b k a s pu s ap + b s pva p s, [ ] k ur b k + br kv r b k a s pu s ap + b s pva p s, [ p u r b p + br pv r b p a s pu s ap + b s pv s a p 1 2π 3 p a s 2E pu r b pus ap + p b s pu r b pvs a p p r,s 2π 3 1 2E p r,s 2π 3 1 2E p 2E p δ rs r,s 2π 3 s ], +b r pa s pv r b pus ap + b r pb s pv r p a s pu r b pus ap + b r pb s pv r b pvs a p a s p a s p + b s pb s p, p a s p + b r pb s p,, b pvs a p, We note that by symmetry b s pb s p b s pb s p. By using its anticommutation relation to rewrite b s pb s p and then dropping the infinite baseline energy as we did in part a, we see that Q a s 2π 3 p a s p b s p b s p. 1.6 s óπɛρ ɛδɛι δɛ ιξαι

4 JACOB LEWIS BOURJAILY 2. a We are to show that the matrices generate the Lorentz algebra, J µν αβ i δ µ αδ ν β δ µ β δν α, [J µν, J ρσ ] i g νρ J µσ g µρ J νσ g νσ J µρ + g µσ J νρ. We are reminded that matrix multiplication is given by AB αγ A αβ B β γ. Recall that in homework 5.1, we showed that J µν α β i g µα δ ν β g να δ µ β. Let us proceed directly to demonstrate the Lorentz algebra. g [J µν, J ρσ ] δ µ αδ ν β δ µ β α δν ρβ δ σ γ g σβ δ ρ g γ + δ ρ αδ σ β δ ρ β α δσ µβ δ ν γ g νβ δ µ γ, δ µ αδ ν βg ρβ δ σ γ + δ µ αδ ν βg σβ δ ρ γ + δ µ β δν αg ρβ δ σ γ δ µ β δν αg σβ δ ρ γ 1 2 3 4 + δ ρ αδ σ βg µβ δ ν γ δ ρ αδ σ βg νβ δ µ γ δ ρ β δσ αg µβ δ ν γ + δ ρ β δσ αg νβ δ µ γ, 5 6 7 8 δ µ αδ ν βg ρβ δ σ γ δ ρ β δσ αg νβ δ µ γg νρ + δ µ αδ ν βg σβ δ ρ γ δ ρ αδ σ βg νβ δ µ γ 1&8 2&6 g νσ + δ µ β δν αg ρβ δ σ γ δ ρ β δσ αg µβ δ ν γg µρ δ µ β δν αg σβ δ ρ γ δ ρ αδ σ βg µβ δ ν γg µσ, 3&7 4&5 [J µν, J ρσ ] i g νρ J µσ g µρ J νσ g νσ J µρ + g µσ J νρ. 2.1 óπɛρ ɛδɛι δɛ ιξαι b Like part a above, we are to show that the matrices generate the Lorentz algebra, S µν i 4 [γµ, γ ν ], [S µν, S ρσ ] i g νρ S µσ g µρ S νσ g νσ S µρ + g µσ S νρ. As Pascal wrote, I apologize for the length of this [proof], for I did not have time to make it short. Before we proceed directly, let s outline the derivation so that the algebra is clear. First, we will fully expand the commutator of S µν with S ρσ. We will have 8 terms. For each of those terms, we will use the anticommutation identity γ µ γ ν 2g µν γ ν γ µ to rewrite the middle of each term. By repeated use of the anticommutation relations, it can be shown that γ µ γ ρ γ ν γ σ γ σ γ ν γ ρ γ µ + 2g νσ γ µ γ ρ g ρσ γ µ γ ν + g µσ γ ρ γ ν g ρν γ σ γ µ + g µν γ σ γ ρ g µρ γ σ γ ν, 2.2 This will be used to cancel many terms and multiply the whole expression by 2 before we contract back to terms involving S µν s. Let us begin. [S µν, S ρσ ] 1 16 [γµ γ ν γ ν γ µ, γ ρ γ σ γ σ γ ρ ], 1 16 [γµ γ ν, γ ρ γ σ ] [γ µ γ ν, γ σ γ ρ ] [γ ν γ µ, γ ρ γ σ ] + [γ ν γ µ, γ σ γ ρ ], 1 16 γµ γ ν γ ρ γ σ γ ρ γ σ γ µ γ ν γ µ γ ν γ σ γ ρ + γ σ γ ρ γ µ γ ν γ ν γ µ γ ρ γ σ + γ ρ γ σ γ ν γ µ + γ ν γ µ γ σ γ ρ γ σ γ ρ γ ν γ µ, 1 2g νρ γ µ γ σ γ µ γ ρ γ ν γ σ 2g νρ γ σ γ µ + γ σ γ ν γ ρ γ µ 16 2g σµ γ ρ γ ν + γ ρ γ µ γ σ γ ν + 2g σµ γ ν γ ρ γ ν γ σ γ µ γ ρ 2g νσ γ µ γ ρ + γ µ γ σ γ ν γ ρ + 2g νσ γ ρ γ µ γ ρ γ ν γ σ γ µ + 2g µρ γ σ γ ν γ σ γ µ γ ρ γ ν 2g µρ γ ν γ σ + γ ν γ ρ γ µ γ σ.

PHYSICS 513: QUANTUM FIELD THEORY EXAMINATION 1 5 Now, the rest of the derivation is a consequence of 2.2. Because each γ µ γ ν γ ρ γ σ term is equal to its complete antisymmetrization γ σ γ ρ γ ν γ µ together with six g νσ -like terms, all terms not involving the metric tensor will cancel each other. When we add all of the contributions from all of the cancellings, sixteen of the added twenty-four terms will cancel each other and the eight remaining will have the effect of multiplying each of the g νσ -like terms by two. So after this is done in a couple of pages of algebra that I am not courageous enough to type, the commutator is reduced to [S µν, S ρσ ] 1 4 gνρ γ µ γ σ γ σ γ µ g µσ γ ν γ ρ γ ρ γ ν + g νσ γ µ γ ρ γ ρ γ µ + g µρ γ ν γ σ γ σ γ ν. Λη [S µν, S ρσ ] i g νρ S µσ g µρ S νσ g νσ S µρ + g µσ S νρ. 2.3 óπɛρ ɛδɛι δɛ ιξαι c We are to show the explicit formulations of the Lorentz boost matrices Λη along the x 3 direction in both vector and spinor representations. These are generically given by Λω e i 2 ωµνj µν, where J µν are the representation matrices of the algebra and ω µν parameterize the transformation group element. In the vector representation, this matrix is, So, Λη In the spinor representation, this matrix is coshη 0 0 sinhη 0 1 0 0 0 0 1 0 sinhη 0 0 coshη. 2.4 coshη/2 sinhη/2 0 0 0 0 coshη/2 + sinhη/2 0 0 0 0 coshη/2 + sinhη/2 0 0 0 0 coshη/2 sinhη/2 Λη e η/2 0 0 0 0 e η/2 0 0 0 0 e η/2 0 0 0 0 e η/2 d No components of the Dirac spinor are invariant under a nontrivial boost.. 2.5 e Like part c above, we are to explicitly write out the rotation matrices Λθ corresponding to a rotation about the x 3 axis. In the vector representation, this matrix is given by Λθ 1 0 0 0 0 cos θ sin θ 0 0 sin θ cos θ 0 0 0 0 1 In the spinor representation, this matrix is given by Λθ e iθ/2 0 0 0 0 e iθ/2 0 0 0 0 e iθ/2 0 0 0 0 e iθ/2. 2.6. 2.7 f The vectors are symmetric under 2π rotations and so are unchanged under a complete rotation. Spinors, however, are symmetric under 4π rotations are therefore only half-way back under a 2π rotation.

6 JACOB LEWIS BOURJAILY 3. a Let us define the chiral transformation to be given by ψ e iαγ5 ψ. How does the conjugate spinor ψ transform? We may begin to compute this transformation directly. ψ ψ ψ γ 0, e iαγ5 ψ γ 0, ψ e iαγ5 γ 0. When we expand e iαγ5 in its Taylor series, we see that because γ 0 anticommutes with each of the γ 5 terms, we may bring the γ 0 to the left of the exponential with the cost of a change in the sign of the exponent. Therefore ψ ψe iαγ5. 3.1 b We are to show the transformation properties of the vector V µ ψγ µ ψ. We can compute this transformation directly. Note that γ 5 anticommutes with all γ µ. Therefore, V µ ψγ µ ψ ψe iαγ5 γ µ e iαγ5 ψ, ψγ µ e iαγ5 e iαγ5 ψ, ψγ µ ψ V µ. V µ V µ. 3.2 c We must show that the Dirac Lagrangian L ψiγ µ µ mψ is invariant under chiral transformations in the the massless case but is not so when m 0. Note that because the vectors are invariant, µ µ. Therefore, we may directly compute the transformation in each case. Let us say that m 0. L ψiγ µ µ ψ L ψie iαγ5 γ µ e iαγ5 µ, ψiγ µ e iαγ5 e iαγ5 µ ψ, ψiγ µ µ ψ L. Therefore the Lagrangian is invariant if m 0. On the other hand, if m 0, L ψiγ µ µ ψ ψmψ L ψiγ µ µ ψ ψe iαγ5 me iαγ5 ψ, ψiγ µ µ ψ ψme 2iαγ5 ψ L. It is clear that the Lagrangian is not invariant under the chiral transformation generally. d The most general Noether current is j µ µ φ δφx µ φ νφx Lδ µ ν δx ν, where δφ is the total variation of the field and δx ν is the coordinate variation. In the chiral transformation, δx ν 0 and φ is the Dirac spinor field. So the Noether current in our case is given by, Now, first we note that j µ 5 µ ψ δψ + µ ψ ψiγ µ and µ ψ δ ψ. µ ψ 0. To compute the conserved current, we must find δψ. We know ψ ψ e iαγ5 1 + iαγ 5 ψ, so δψ iγ 5 ψ. Therefore, our conserved current is j µ 5 ψγ µ γ 5 ψ. 3.3 Note that Peskin and Schroeder write the conserved current as j µ 5 ψγ µ γ 5 ψ. This is essentially equivalent to the current above and is likewise conserved.

PHYSICS 513: QUANTUM FIELD THEORY EXAMINATION 1 7 e We are to compute the divergence of the Noether current generally i.e. when there is a possibly non-zero mass. We note that the Dirac equation implies that γ µ µ ψ imψ and µ ψγ µ im ψ. Therefore, we may compute the divergence directly. µ j µ 5 µ ψγ µ γ 5 ψ ψγ µ γ 5 µ ψ, µ ψγ µ γ 5 ψ + ψγ 5 γ µ µ ψ, im ψγ 5 ψ im ψγ 5 ψ, µ j µ 5 i2m ψγ 5 ψ. 3.4 Again, this is consistent with the sign convention we derived for j µ 5 Schroeder. but differs from Peskin and 4. a We are to find unitary operators C and P and an anti-unitary operator T that give the standard transformations of the complex Klein-Gordon field. Recall that the complex Klein-Gordon field may be written φx φ x 1 ap 2π 3 e ipx + b pe ipx ; 1 a 2π 3 p e ipx + b p e ipx. We will proceed by ansatz and propose each operator s transformation on the ladder operators and then verify the transformation properties of the field itself. Parity We must to define an operator P such that Pφt, xp φt, x. Let the parity transformations of the ladder operators to be given by Pa p P η a a p and Pb p P η b b p. We claim that the desired transformation will occur with a condition on η. transformations imply that Pφt, xp 1 η 2π 3 a a p e ipx + ηb b pe ipx φt, x. Clearly, these If we want Pφt, xp φt, x up to a phase η a, then it is clear that η a must equal ηb in general. More so, however, if we want true equality we demand that η a ηb 1. Charge Conjugation We must to define an operator C such that Cφt, xc φ t, x. Let the charge conjugation transformations of the ladder operators be given by Ca p C b p and Cb p C a p. These transformations clearly show that Cφt, xc 1 bp 2π 3 e ipx + a pe ipx φ t, x. Time Reversal We must to define an operator T such that T φt, xt φ t, x. Let the anti-unitary time reversal transformations of the ladder operators be given by T a p T a p and T b p T b p. Note that when we act with T on the field φ, because it is anti-unitary, we must take the complex conjugate of each of the exponential terms as we bring T in. This yields the transformation, T φt, xt 1 a 2π 3 p e ipx + b pe ipx φ t, x.

8 JACOB LEWIS BOURJAILY b We are to check the transformation properties of the current under C, P, and T. Let us do each in turn. Parity Note that under parity, µ µ. Charge Conjugation J µ i[φ µ φ µ φ φ], PJ µ P Pi[φ µ φ µ φ φ]p, i[pφ P P µ φp P µ φ P PφP ], i[φ t, x µ φt, x µ φ t, xφt, x], PJ µ P J µ. 4.1 CJ µ C Ci[φ µ φ µ φ φ]c, i[cφ C C µ φc C µ φ C CφC ], i[φ µ φ µ φφ ], CJ µ C J µ. 4.2 Time Reversal Note that under time reversal, µ µ and that T is anti-unitary. T J µ T T i[φ µ φ µ φ φ]t, i[t φ T T µ φt T µ φ T T φt ], i[ T φ T µ T φt + µ T φ T T φt ], i[φ t, x µ φ t, x µ φ t, xφ t, x], T J µ T J µ. 4.3