# Full text of "General Field Theory- Chapter4 - Canonical Quantization"

## See other formats

4 Canonical Quantization We will begin now the discussion of our main subject of interest: the role of quan- tum mechanical fluctuations in systems with infint(^ly many degrees of freedom. We will begin with a brief overview of quantum mechanics of a single particle. 4.1 Elementary Quantum Mechanics Elementary Quantum Mechanics describes the quantum dynamics of systems with a finite number of degrees of freedom. Two key ingredients are involved in the standard procedure for quantizing a classical system. Let L{q,q) be the Lagrangian of an abstract dynamical system described by the generalized coor- dinate q. In chapter two, we recalled that the canonical formalism of Classical Mechanics is based on the concept of canonical pairs of dynamical variables. So, the canonical coordinate q has for partner the canonical momentum p: In this approach, the dynamics of the system is governed by the classical Hamil- tonian H{q,p)=pq-L{q,q) (2) which is the Legendre transform of the Lagrangian. In the canonical (Hamilto- nian) formalism the equations of motion are just Hamilton's Equations, dH . dH The dynamical state of the system is defined by the values of the canonical coordinates and momenta at any given time t. As a result of these definitions, the coordinates and momenta satisfy a set of Poisson Bracket relations {q,p}pb = 1 {q, q}pB = {p,p}pb = (4) where SAB} ^dAdB_dAdB dq dp dp dq In Quantum Mechanics, the primitive (or fundamental) notion is the concept of a physical state. A physical state of a system is a represented by a vector in an abstract vector space, which is called the Hilbert space H of quantum states. The space H is a. vector space in the sense that if two vectors \'i>) E H and 1$) € 7i represent physical states, then the linear superposition ja^* + 6$) = a|\I') + &|$), where a and b are two arbitrary complex numbers, also represents a physical state and thus it is an element of the Hilbert space i.e., |avl' + 6i>) g H. Thus, the Superposition Principle is an axiom of Quantum Mechanics. In Quantum Mechanics, the dynamical variables, i.e., q,p,H, etc. , are represented by operators which act linearly on the Hilbert space of states. (In 1 this sense, Quantum Mechanics is hncar, even though the obscrvablcs obey non- linear equations of motion.) Let us denote by A an arbitrary operator acting on H. The result of acting on the state \^) G H with the operator A, i.e., a measurement, is another state |$) gH, m = I*) (6) The Hilbert space H is endowed with an inner product. An inner product is an operation which assigns a complex number ($|^') to a pair of states |$) e W and I*) G H. Since W is a vector space, there exists a set of linearly independent states {|A)}, called a basis, which spans the entire Hilbert space. Thus, an arbitrary state has the expansion |*) = ^*a|A) (7) A which is unique for a fixed set of basis states. The basis states can be chose to be orthonormal with respect to the inner product, i.e., (A|/^) = (8) In general if and are normalized states (*|*) = ($1$) = 1 (9) the action of ^4 on l^*) is merely proportional to |$) = a|$) (10) The coefficient a is a complex number which depends on the pair of states and on A. This coefficient is the matrix element of A between the state and |$), which we write with the notation a = {<^\A\<f) (11) Operators which act on a Hilbert space do not generally commute with each other. One of the ax;ioms of Quantum Mechanics is the Correspondence Principle which states that the classical limit, h ^ 0, the operators should become numbers, i. e. they commute in the classical limit. The procedure of canonical quantization consists in demanding that to the classical canonical pair {q,p), which satisfies the Poisson Bracket {q,p}pB = 1, we associate a pair of operators q and p, both acting on the Hilbert space of states H, which are required to obey the canonical commutation relations [q,p]=ih [q,q] = [p,p]=0 (12) where [A, B] is the commutator of the operators A and B, [A, b] = Ab- bA (13) 2 In particular, two operators that do not commute with each other cannot be diagonahzed simultaneously. Hence it is not possible to measure both observ- ables with arbitrary precision in the same physical state. This is the statement of the Uncertainty Principle. To the classical Hamiltonian H[q,p), which is a function of the variables q and p, we assign an operator H{q,p) which is obtained by replacing the dy- namical variables with the corresponding operators. Other classical dynamical quantities are similarly associated with quantum operators. All operators asso- ciated with classical physical quantities are Hermitian operators relative to the inner product defined in the Hilbert space H. Namely, if A is an operator and At is the adjoint of A = ($|i^f)* (14) then A is Hermitian if A = A^ . The quantum mechanical state of the system at time t, \'^{t)), is the solution of the Schrodinger Equation ih^^\m)=mp)\-^{t)) (15) The state |^'(t)) is uniquely determined by the initial state |^'(0)). It is always possible to choose a basis in which a particular operator is diagonal. For instance, if the operator is the canonical coordinate q, the basis states are labelled by q and are its eigenstates, i.e., q\q) = q \q) (16) The state vector can be expanded in an arbitrary basis. If the basis of states is {\q)} , the expansion is / + 00 dq^{q)\q) (17) t, -°° The coefficients ^{q) of this expansion *(?) = (18) are (the values of) the wave function associated with the state j^*) in the co- ordinate representation. Here we have used that the states \q) are orthonormal and complete, i. e. {q\q')=6iq-q') 1 = j dq\q){q\ (19) Since the canonical momentum p does not commute with q, it is not diagonal in this representation. In fact, just as in Classical Mechanics, the momentum operator p is the generator of infinitesimal displacements. Consider the states 3 \q) and exp{—^ap) \q). It is easy to prove that the latter is the state \q + a) since gexp(-^ap)|g)^g^- ^ \q) (20) 71=0 ■ ^ ' Using the commutation relation [q, p] = ih is easy to show that =i?lnp"-^ (21) Hence, we can write Thus, q exp( -^apj \q) = (g + a) exp ( --ap ) \q) (22) exp(^-^apj\q) = \q + a) (23) We can now use this property to compute the matrix element (5|exp(^^ap^ |*) = *(g + a) (24) For a infinitesimally small, it can be approximated by ^{q + a)^^{q) + ^a{q\p\^) + ... (25) We find that the matrix element for p has to satisfy , S *(g + a)-*(fl) {q\p\^) = - lim ' !^ (26) I a-+0 a Thus, the operator p is represented by a differential operator It is easy to check that the coordinate representation of the operator t oq and the coordinate operator q satisfy the commutation relation [q,p] = ih. 4.2 Canonical Quantization in Field Theory We will now apply the axioms of Quantum Mechanics to a Classical Field The- ory. The result will be a Quantum Field Theory. For the sake of simplicity we will consider first the case of a scalar field (p{x). We have seen before that, 4 given a Lagrangian density 9^0), the Hamiltonian can be found once the canonical momentum Il{x) is defined, i.e., n(ar) = 7^7^ (29) On a given time surface xo, the classical Hamiltonian is H = j d^x [n{x, xo)do(t>{x, xo) - C{(f>, d^ct))] (30) We quantize this theory by assigning to each dynamical variable of the Classical theory, a Hcrmitian operator which acts on the Hilbcrt space of the quantum states of the system. Thus, the field (/>(x) and the canonical momentum n(x) are operators which act on a Hilbert space. These operators obey canonical commutation relations [cb{x),u{y)]=m£-y) (31) In the field representation, the Hilbert space is the vector space of wave functions ^ which are functional of the field configurations {^(^)}, i.e., In this representation, the field is a diagonal operator The canonical momentum Il{x) is not diagonal in this representation but it acts like a functional differential operator, i.e., (W|n(f)|*) = ^^*(W) (34) What we just described is the Schrddinger Picture of QFT. In this picture, as usual, the operators arc time- independent but the states are time-dependent and satisfy the Schrodinger Equation ih^^'^m,t) = H^i{<l>},t). (35) For the particular case of a scalar field (p with the classical Lagrangian £ C=l{d^cl>r~V{cl>) (36) the quantum mechanical Hamiltonian operator H is H = Jd'x |in2(f) + livmr + V{${x))^ (37) The stationary states of the system are the eigenstates of H. While it is possible to proceed further with the Schrodinger picture, the manipulation of 5 wave functionals becomes very cumbersome rather quickly. For this reason an alternative approach has been devised. This is the Heisenberg Picture. In the Schrodinger Picture the information on the time evolution of the system is encoded in the time dependence of the states. In contrast, in the Heisenberg Picture the operators are time dependent while the states are not. The operators of the Heisenberg Picture obey quantum mechanical equations of motion. Let A be some operator which acts on the Hilbert space of states. Let us define Ah{xq), the Heisenberg operator at time xq, by (38) for a system with a time-independent Hamiltonian H. It is straightforward to check that Ah(xo) obeys the equation of motion ihdoAH{xo) = [Ah{xo),H] (39) Notice that in the classical limit, the dynamical variable A{xq) obeys the clas- sical equation of motion doA{xo) = {A{xo),H}pB (40) where it is assumed that all the time dependence in A comes from the time dependence of the coordinates and momenta. In the Heisenberg picture both (j){x,xo) and Il{x,xo) are time dependent operators which obey the equations of motion ihdocj) = (41) and ihdofl = [H, H] (42) The Heisenberg field operators and n (I will omit the subindex "iJ" from now on) obey equal-time commutation relations {x,xo),lliy,xo) =ihS{x-y) (43) 4.3 Quantized elastic waves in a solid: Phonons Let us consider the problem of the quantum dynamics of an array of atoms. We will see below that this problem is closely related to the problem of quantization of a free scalar field. We will consider the simple case of a one-dimensional array of atoms, a chain. Each atom has mass M and their classical equilibrium positions are the regularly spaced lattice sites x'^^ = nao ,{n= 1 , . . . , n) where Oq is the lattice spacing. I will assiimc that we have a system with N atoms and, therefore that the length L of the chain is L = Nao- To simplify matters, I will assume that the chain is actually a ring and, thus, the N + 1 — st atom is the 6 n-1 n n+1 n+2 Figure 1: A model of an elastic one- dimensional solid. same as the 1st atom. The dynamics of this system can be specified in terms of a set of coordinates which represent the position of each atom relative to their classical equilibrium positions a;° i.e., the actual position Xn of the n**^ atom is a;„ = + The Lagrangian of the system is a function of the coordinates and of their time derivatives In general the Lagrangian L it will be the difference of the kinetic energy of the atoms minus the potential energy, i.e., N_ M ( dUn L{{u„},{un})= \^ Yyir) We will be interested in the study of the small oscillations of the system. Thus, the potential will have a minimum at the classical equilibrium positions {m„ = 0} (which we will assume to be unique). For small oscillations V{{un}) can be expanded in powers nK})= E [§K+l-«n)' + f < + ...] (45) n=-f + l Here D is an elastic constant {i.e., spring constant!) which represents the restoring forces that keep the crystal together. The constant X is a measure of the strength of an external potential which favors the placement of the atoms at their classical equilibrium positions. For an isolated system, K = but D ^ 0. This must be the case since an isolated system must be translationally invariant and, therefore, V must not change under a constant, uniform, displacement of all the atoms by some amount a, u„ u„ + a. The term proportional to breaks this symmetry, although it does not spoil the symmetry n ^ n + m. Let us now proceed to study the quantum mechanics of this system. Each atom has a coordinate «„(*) and a canonical momentum Pn{t) which is defined in the usual way dL Pr^it) = = Miinit) (46) 7 The quantum Hamiltonian for a chain with an even number of sites N is (47) +1 where the coordinates and momenta obey the commutation relations [Un,Pm\=ifiSn,m (48) and [Un, Um] = \pn,Pm] = 0. (49) For this simple system, the Hilbert space can be identified as the tensor product of the Hilbert spaces of each atom. Thus, if |\E')„ denotes an aribtrary state in the Hilbert space of the n*^ atom, the states of the chain |'J') can be written in the form I*) = O • • • O |*)„ O • • • O |*)jv = 1*1, . . . , *jv) (50) For instance, a set of basis states can be constructed by using the coordinate representation. Thus, if the state is an eigenstate of u„ with eigenvalue m„ Un\Un) = Un\Un) (51) we can write a set of basis states \ui,...,un) (52) of the form \ui,...,um) = \ui) \un) (53) In this basis, the wave functions are N N *(ui,...,ujv) = (m,...,Mjvi*) = n^^"!*") = n *"(^") (54) n=l n=l By inspecting the Hamiltonian it is easy to recognize that it represents a set of A'^ coupled harmonic oscillators. Since the system is periodic and invariant under lattice shifts n + m (m integer), it is natural to expand the coordinates u„ in a Fourier series Un = ^J2^ke'''' (55) fe where fc is a label (lattice momentum) and Uk are the Fourier components of Un- The fact that we have imposed periodic boundary conditions (PBC's) {i.e., the chain in a ring) means that U„ = Un+N (56) 8 This relation can hold only if the labels k satisfy e''^^ = 1 (57) This condition restricts the values of k to the discrete set fcm = 27r— rn = -y + (58) where I have set the lattice constant to unity, ao = 1 . Thus the expansion of u„ is N_ m=-f+l The spacing Ak between two consecutive values of k, k^ and k^+i, is 27r Ak = fc„+i -km = — (60) which vanishes as -/V ^ cxd. In particular, the momentum label A;„ runs over the range (— Y + l)^<fc„<Y- Thus, in the limit N ^ oo the momenta fill up densly the interval (— tt.tt]. We then conclude that, in the thermodynamic limit N oo, the momentum sum converges to the integral 1\_ ^ E u.^e^'-- = f_^^me^'- (61) T — — ' - i+1 Since u„ is a real Hermitian operator, the Fourier components u{k) must satisfy ut(fc) = u{-k) (62) The Fourier component u{k) can be written as a linear combination of operators Un of the form 2 u(A;)= ^ w„e-*'=" (63) n=-f +1 where I have used the periodic Dirac delta function, defined by 2 +00 J2 e'('=-«)"= E 27r5(fc-g + 27rm) = 27r5p(fc-9) (64) m= — oo which is defined in the thermodynamic limit. The momentum operators p„ can also be expanded in Fourier series. Their expansions are — p(fc)e''=" p{k)= E (65) "=-2TT 9 They satisfy p^{k)^p{-k) (66) The transformation {uniPn) {u{k),p{k)) is a canonical transformation. In- deed, the Fourier ampHtudes u{k) and p{k) obey the commutation relations -+i n,n' = -f-i N_ = ^n ± Hence, we find and (67) [u{k),p{k')] = ih 27r 6p{k + k') (68) [u{k).P{k')] = m),p(k')]=Q (69) We can now write H in terms of the Fourier components u{k) and p{k). We find ^ = /I S [^^^^(^)^(^) + ^'^\k)u\k)u{k)] (70) where ijj'^{k) is 9, ^ K AD y,k^ , , ^^-M^M^^ (71) Thus, the system decouples into its normal modes. The frequency ujik) is shown in the figure 2. It is instructive to study the long-wave length limit, — > 0. For -fC = (i.e., no external potential), a;(fc) goes to zero linearly as A; — > 0, ^{k) « [K = 0) (72) However, for non-zero we get ( again in the limit fc ^ 0) If we now restore a lattice constant oq ^ 1, fc = fcoo we can write a;(fc) in the form ijj(U) \j ra^vl + fc2 (74) where is the speed of propagation of sound in the chain. ^ao = \l^ (75) 10 co(k) Figure 2: The dispersion relation, where p is the density. The "mass" fh is m=^ (76) where wq = Thus, the waves which propagate on this chain behave hke "relativistic" particles with mass m and "speed of light" Vs- Indeed, the long wavelength limit [k — > 0) the discrete Lagrangian of eq (4.3.1) can be written in the form of an integral Thus, as ao — > and N ^ oo, the sums converge to an integral for a system of total length £. Apart from the overall factor of p, the mass density, wc sec that the Lagrangian for the linear chain is, in the long wavelength limit (or continuum limit) the same as the Lagrangian for the Klein-Gordon (KG) field u{x) in one-space dimension. The last term of this Lagrangian is 2 11 precisely the mass term for the Lagrangian of the KG field. This explains the choice of the symbol m. Indeed, upon the change of variables Xq = Vgt Xi= X (79) and by defining the rescaled field if = ^pVgU (80) we see immediately that the Lagrangian density L is >C = ^ {d^^f - \ {d^^f - \fh\l^^ (81) which is the Lagrangian density for a free scalar field in one spacial dimension. Returning to the quantum theory, we seek to find the stationary states of the normal- mode Hamiltonian. Let a^{k) and a{k) be the operators defined by These operators satisfy the commutation relations [a{k),a{k')] = [d^k),a^k')] = [a{k),d^k')] = 2n5p{k + k') (82) (83) Up to normalization constants, the operators a^{k) and a{k) obey the algebra of creation and anihilation operators. In terms of the creation and anihilation operators, the momentum space oscillator operators u{k) and p{k) are p{k) = ^/2MhJ(k) ^. {a{k) - at(-fc)) (84) Thus, the coordinate space operators u„ and p„ have the Fourier expansions * ' ^ (a(fc)e''=" + at(fc)e-^'=") 27r y 2Mw(fc) dk / Hk 1 — ^/2Mhuj{k) - (a(fc) e*'^" - a^{k) 6-^*=") (85) 12 The normal-mode Hamiltonian has a very simple form in terms of the creation and anihilation operators ^ = /I S ^ ^,t(fc)a(fc) + a{k)aHk)) (86) It is customary to write H in such a way that the creation operators always appear to the left of anihilation operators. This procedure is called normal ordering. Given an arbitrary operator A, we will denote hy : A: the normal ordered operator. We can see by inspection that H can be written as a sum of two terms: a normal ordered operator : H : and a complex number. The complex number results from using the commutation relations. Indeed, by operating on the last term of eq (4.3.39), wc get a{k)aHk) = [a(fc), a^(fc)] + a^(fc)a(fc) (87) The commutator [a(fc),d^(fc)] is the divergent quantity +00 [a(k),aUk)] = lim 27r5p(A; - fc') = lim 27r V 6(k-k' +2Trm) k'^k k'^k ^ = lim e'^*'-'^ = iV ^*'n=-f +1 which diverges in the thermodynamic limit, N ^ 00. Using these results, we can write H in the form (88) H=:H:+Eo (89) where :H: is the normal-ordered Hamiltonian /'^ rlh — hio{k) at(fc)a(fc) (90) and the real number Eq is given by We will see below that Eq is the ground state energy of this system. The linear divergence of Eq (as N 00) is natural since the ground state energy has to be an extensive quantity, i.e., it scales like the length (volume) of the chain (system) . We are now ready to construct the spectrum of eigenstates of this system. 1. Ground state: Let |0) be the state which is anihilated by all the operators a(fc), o(A;)|0) = (92) 13 This state is an eigenstate with eigenvalue Eq since H\0)=:H:\0) + Eo\0) = Eo\0) (93) where we have used the fact that |0) is anihilated by the normal-ordered Hamilitonian -.H:. This is the ground state of the system since the energy of all other states is higher. Thus, Eq is the energy of the ground state. Notice that Eq is the sum of the zero-point energy of all the oscillators. The wave function for the ground state can be constructed quite easily. Let V^o {{u{k)}) — ({?i(fc)}|0) be the wave function of the ground state. The condition that |0) be anihilated by all the operators a{k) means that the matrix element ({u(A;)}|a(A;)|0) has to vanish. The definition of a{k) yields the condition = Muj{k) {{u{k)}\u{k)\0) + i{{u{k)}\p{k)\0) (94) The commutation relation u {k),p{k)]^ih2n dp{k + k') (95) implies that, in the coordinate representation p(A;) must bet the functional differential operator {{mmm = 7 ({^(fc)}) (96) Thus, the wave functional \l/o must obey the differential equation Muj{k) u*{k) *o {{u{k)}) + 2Trh *o {{u{k)}) = (97) for each value of A; € [— tt, it]. Clearly has the form of a product -^o{{u{k)})^\{^o,k{u{k)) (98) fe where the wave function "io^k {u{k)) satisfies Mw(fc)M*(fc)*o,fe {u{k)) + 27rft^-|^«'o,fe {u{k)) = (99) The solution of this equation is the ground state wave function for the fc-th oscillator *„,(.W)^^(.)e.p(-(^ifl)£efi) ,100) where J\f(k) is a normalization factor. The total wave function for the ground state is T /r-/,x.x .r r T dk f Muj{k)\ \u\^ (k) , , MMk)}) =^ exp[- - j ^] (101) where Af is another normalization constant. Notice that this wave function is a functional of the oscillator variables {u{k)}. 14 2. One-Particle States: Let the ket \lk) denote the one-particle state life) = at(fc)|0) (102) This state is an eigenstatc of H with eigenvalue Ei{k) H\lk)=:H:\lk)+E^\lk) (103) The normal-ordered term now does give a contribution since ■.H: life) = (^j^ ^ nuj{k') a\k')a{k')^ a\k)\0} -L —tkj{k ){a^k')[a{k'),a'^{k)]\0)+a'^{k')a''ik)aik')\0)} ZTT (104) The result is — hLo{k') a^k') 2TT6p{k' - k) |0) (105) since the last term vanishes. Hence ■.H: life) = njj{k) a\k) |0) = huj{k) |lfe) (106) Therefore, we find H\lk) ^ ihw(k) + Eo) \lk) (107) Let e{k) be the excitation energy s{k) = Ei{k) - Eo{k) = huj{k) (108) Thus the one-particle states represent quanta with energy tujj{k) above that of the ground state. 3. Many Particle States: If we define the occupation num,ber operator n(fc) by h{k) = a){k)a{k) (109) i.e., the quantum number of the fc-th oscillator, we see that the most general eigenstate is labelled by the set of oscillator quantum numbers {n{k)}. Thus, the state |{?^(fc)}) defined by |{n(fe)})=n ^"'^'^ 10) (110) has energy E[{n{k)}] ^ nik)huj{k) + Eo (111) It is clear that the excitations behave like free particles since the energies are additive. These excitations are known as phonons. They are the quantized fluctuations of the array of atoms. 15 4.4 Quantization of the Free Scalar Field Theory. We now return to the problem of quantizing a scalar field (f){x). In particular, we will consider a free real scalar field </> whose Lagrangian density is C = l{d^ct>){d'4>) - Im'^' (112) This system can be studied using methods which are almost identical to the ones we used in our discussion of the chain of atoms. The quantum mechanical Hamiltonian H for a free real scalar field is (113) where (f) and fl satisfy the equal-time commutation relations (in units with h = c=l) [4>{x, xq), U{y, xo)] =i6{x-y) (114) 1. Equations of Motion: In the Hcisenberg representation, cj) and 11 arc time dependent operators while the states are time independent. The field operators obey the equa- tions of motion ido4>{x,xo) = [(l>{x,xo), H] idoIl{x,xo) = [Il{x,Xo),H] (115) These are operator equations. After some algebra, we get do4)ix,xo) = Il{x,xo) (116) i9on(.f,a;o) = \/'^4>{x,xo) - m'^(j){x,xo) (117) {D + m^)4,{x) = (118) Thus, the field operators 4>{x) satisfy the Klein-Gordon equation. 2. Field Expansion: Let us solve this equation by Fourier Transforms. Let us write 4>{x) in the form ^ci>{k,x^)e'^-^ (119) where (j){k,XQ) are the Fourier amplitudes of (t>{x). We now demand that the 4>{x) satisfies the KG equation we find that (j){k, xq) should satisfy the condition dl4>{k,xn) + {P + m^)^{k,XQ)=0 (120) Also, since (/)(x) is a real Hermitian field, (j){k,xo) must satisfy ,xo) = 4>{-k,XQ) (121) 16 The time dependence of (t){k,Xo) is trivial. Let us write ^{k,Xo) as the sum of two terms ${k,xo) = (^+(fc)e*'^(^)^« + ^_(fc)e-*'"(^)^° (122) The operators 4>+{k) and <^+(fc) are not independent since the reality condition imphes that 4>+ik) = 4>U-k) 4>Uk) = 4>-{-k) (123) This expansion is a solution of the equations of motion if w(fc) is given by w{k) = \Jp+m? (124) Let us define the operators a{k) and its adjoint a^(fc) by a{k) = 2oj{k)(i)-{k) a\k) = 2oj{k)^l{k) (125) The operators a^k) and a{k) obey the (generalized) creation-anihilation operator algebra [a{k), a\k')] = {2TTf2u;{k) 6^{k - k') (126) In terms of the operators a\k) and a{k) field operator is Sk {2nf2oj{k) (127) We have chosen to normalize the operators in such a way that the phase space factor takes the Lorentz invariant form -^-4-. The canonical momentum also can be expanded in a similar way n{x) = -i J ^^^|^'^^'^^^^ a>(fc)[a(fc)e-^"<^)"°+'^-"-a^(fc)e'"^^)e''"(^)"°''^-"] (128) Notice that, in both expansions, there are terms with positive and neg- ative frequency and that the terms with positive frequency have creation operators d^(fc) while the terms with negative frequency have anihilation operators a{k). This observation motivates the notation 0(x) =0+(a;)+0_(x) (129) where are the positive frequency terms and are the negative fre- quency terms. This decomposition will turn out to be very useful. 17 3. Hamiltonian: We will now follow the same approach that we used for the problem of the linear chain and write the Hamiltonian in terms of the operators a{k) and a){k). The result is This Hamiltonian needs to be normal-ordered relative to some ground state which we will now define. 4. Ground State: Let |0) be state which is anihilated by all the operators a{k), i.e., a(fc)|0) = (131) Relative to this state, that we will call the vacuum state, the Hamiltonian can be written on the form H=:H:+Eo (132) where : H : is normal ordered relative to the state |0). In other words, in : _ff : all the destruction operators appear the right of all the creation operators. Therefore :H: anihilatcs the vacuum :^:|0)=0 (133) The real number Eq is the ground state energy. In this case it is equal to Eo = J d^fc^(5(0) (134) when S{0) is the infared divergent number 6{0) = lim 6^{p) = lim / e'^'^ = (135) where V is the (infinite) volume of space. Thus, Eq is extensive and can be written as Eq = sqV, where sq is the ground state energy density. We find ^°=y (2^-^"2y (2^v^'+-' 5. Divergence: Eq. 136 is the sum of the zero-point energies of all the oscillators. This quantity is formally divergent since the integral is dominated by the con- tributions with large momentum or, what is the same, short distances. 18 This is an ultraviolet divergence. It is divergent because the system has an infinite number of degrees of freedom even if the volume is finite. We will encounter other examples of similar divergencies in field theory. It is important to keep in mind that they are not artifacts of our scheme but that they result from the fact that the system is in continuous space-time and thus it is infinitely large. It is interesting to compare this issue in the phonon problem with the scalar field theory. In both cases the ground state energy was found to be extensive. Thus, the infrared divergence in Eq was expected in both cases. However, the ultraviolet divergence that we found in the scalar field theory is absent in the phonon problem. Indeed, the ground state energy density Eq for the linear chain with lattice spacing a is p dknuj(k) /■» dkl [¥k 4Dh^ . 2.A:a, = 1, - J_, 2^2 Vir + -M- ^^^^t) (1^^) Thus integral is finite because the momentum integration is limited to the range \k\ < ^. Thus the largest momentum in the chain is ^ and it is finite provided that the lattice spacing is not equal to zero. In other words, the integral is cut off by the lattice spacing. However, the scalar field theory that we are considering does not have a cut off and hence the energy density blows up. We can take two different points of view with respect to this problem. One possibility is simply to say that the ground state energy is not a physically observable quantity since any experiment will only yield infor- mation on excitation energies and in this theory, they are finite. Thus, we may simply redefine the zero of the energy by dropping this term off. Normal ordering is then just the mathematical statement that all energies are measured relative to that of the ground state. As far as free field theory is concerned, this subtraction is sufficient since it makes the the- ory finite without affecting any physically observable quantity. However, once interactions are considered, divergencies will show up in the formal computation of physical quantities. This procedure then requires further subtractions. An alternative approach consists in introducing a regulator or cut off. The theory is now finite but one is left with the task of proving that the physics is independent of the cut off. This is the program of the Renormalization group. Although it is not presently known if there should be a fimdamcntal cut off in these theories, i.e., if there is a more fundamental description of Nature at short distances and high energies, it is clear that if these theories are to be regarded as effective hydrodynamic theories valid below some high energy scale, then a cut off is actually natural. 6. Hilbert Space: 19 We can construct the spectrum of states by inspection of the normal or- dered Hamiltonian u{k) a\k)a{k) (138) (27r)32w(/c) This Hamiltonian commutes with the total momentum P P= d^xIl{x,xo)vH^,xo) (139) Jxo fixed which, up to operator ordering amibiguities, is the quantum mechanical version of the classical linear momentum , P^ = j d^xT°^= [ d^xU{x,xo)S7^ <(>{x,xo) (140) In Fourier space P becomes P= / 'i^^k aUkWk) (141) J (27r)32a;(fc) P has an operator ordering ambiguity which wc will fix below by normal ordering. By inspection wc sec that P commutes with H. : H : also commutes with the oscillator occupation number h{k), defined by h{k) = a''{k)aik) (142) Since {h{k)} and H commute with each other, we can use a complete set of eigenstates of {n{k)} to span the Hilbert space. Since we will regard the excitations counted by h{k) as particles, this Hilbert space has an indefi- nite number of particles and it is called Pack space. The states {|{?i(fc)})}, defined by \Mk})^^M{k)[a\k)r^~'^\0) (143) fe (with J\f{k) normalization constants) are eigenstates of the operator h{k) n{k)\{n{k)} >= {2nf2uj{k)n{k)\{n{k) > (144) These states are the occupation number basis of the Fock space. The total number operator N _fk {2TTf2uj{k) commutes with the Hamiltonian H and it is diagonal in this basis i.e., N\{n{k)}) = j d^kn{k) \{n{k)}) (146) ^ n(k) (145) (27r)32a;(A;) 20 The energy of these states is H\{n{m £k n{k)Lu{k) + Eo \{n{k)}) (147) Thus, the excitation energy s{{n{k)}) of this state is J d^k n{k)uj{k). The operator P has an operator ordering ambiguity. It will be fixed by requiring that the vacuum state |0) be translationally invariant, i.e., P^\Q) = 0. In terms of creation and anihilation operators we get d^k k^h{k) (27r)32w(fc) Thus, P^ is diagonal in the basis |{'^(^)}) since Pi\{n{k)}) I' k k^n{k) \Mk)}) (148) (149) The state with lowest energy, the vacuum state |0) has n{k) = 0, for all k. Thus the vacuum state has zero momentum and it is translationally invariant. The state defined by \k) = aHfc)|0) (150) have excitation energy uj{k) and total momentum k. Thus, the states \k) are particle-like excitations which have an energy dispersion curve E (151) which is characteristic of a relativisitc particle of momentum k and mass m. Thus, the excitations of the ground state of this field theory are particle- like. From our discussion wc can sec that these particles are free since their energies and momenta are additive. 7. Causality: The starting point of the quantization procedure was to impose equal- time commutation relations among the canonical fields (f){x) and momenta II(a;). In particular two field operators on different spacial locations com- mute at equal times. But, do they commute at different times? Let us calculate the commutator A(a; — y) iA{x-y) = [4>{x)A{y)] (152) 21 where 4'{x) and (t>{y) arc Hciscnbcrg field operators for space-time points X and y respectively. From the Fourier expansion of the fields we know that the field operator can be split into a sum of two terms (t>{x) ^ 4>+ix) + 4>^{x) (153) where contains only creation (anihilation) operators and positive (negative) frequencies. Thus the commutator is iA{x -y) = [4>+ (x) ,4>+{y)] + [4>^{x),$^{y)] +[Mx),4'-{y)] + [4'-ix),My)] (154) The first two terms always vanish since the 0+ operators commute among themselves and so do the operators (f>-. Thus, we get iA{x -y) = [4>+ {x) , 4>- (y)] + [4>- (x) , 4>+ (y)] = +[a{k), a}(k')\ exp {iuj{k)xo —ik-x — iu){k'), yo + ik' ■ y^} (155) where [dk= [ ^-^^ (156) J J (27r)32w(fc) By using the commutation relations, we get iA{x ~ ~ J [e''^(^)(^°~''°)~'^'(^~f — g-i'^i^){xo-yo)+ik-{x-v)-^ (157) With the help of the function e{k^), defined by e(fcO) = ^^sign(fcO) (158) we can write A(a; — y) in the manifestly Lorentz invariant form iA{x -y)= [ 7^<^(fc^ - m2)e(fc°)e-''=-(^-^) (159) J (27r)'^ The integrand vanishes unless the mass shell condition k^ — vr? = is satisfied. Notice that A(a; — y) satisfies the initial condition d^A\^,=y,=-b\x-y) (160) 22 At equal times xo = yo the commutator vanishes, A(f-y,0) = (161) Furthermore, it vanishes if the space-time points x and y are separated by a space-like interval, {x — y)"^ < 0. This must be the case since A(a: — y) is manifestly Lorentz invariant. Thus if it vanishes at equal times, where {x — yY = {xQ—yo)'^ — {x — y)'^ = {x — y^Y < 0; it must vanish for all events with the negative values of {x — y)^. This implies that, for events x and y, which are not causally connected A(a; — y) = and that A(a; — y) is non- zero only for causally connected events, i.e., in the forward light-cone. time Figure 3: The light-cone. 4.5 Symmetries of the Quantum Theory In our discussion of Classical Field Theory we discovered that the presence of continuous global symmetries implied the existence of constants of motion. In addition, the constants of motion were the generators of infinitesimal symmetry transformations. It is then natural to ask what role do symmetries play in the quantized theory. 23 In the quantized theory all physical quantities are represented by operators which act on the Hilbert space of states. The classical statement that a quantity A is conserved if its Poisson Bracket with the Hamiltonian is zero A A — = {A,H}PB (162) becomes, in the quantum theory i^ = [AH,H] (163) and it applies to all operators in the Heisenberg representation. Then, the constants of motion of the quantum theory are operators which commute with the Hamiltonian. Therefore, the quantum theory has a symmetry if and only if the charge Q, which is a Hermitian operator associated with a classically conserved current j''(a;) via the correspondence principle, Q = I dPxf{x,xo) (164) J xq fixed commutes with H [Q,H]=Q (165) If this is so, the charges Q constitute a representation of the generators of the Lie group in the Hilbert space of the theory. The transformations U [a) associated with the symmetry U{a) = exp(iQ!Q) (166) are unitary transformations which act on the Hilbert space of the theory. For instance, we saw that for a translationally invariant system the classical energy-momentum four-vector P** = ( d^xT^f" (167) is conserved. In the quantum theory becomes the Hamiltonian operator H and P' the total momentum operator. In the case of a free scalar field we saw before that these operators commute with each other, [P^,H] = 0. Thus, the eigenstates of the system have well defined total energy and total momentum. Since P^ is the generator of infinitesimal translations of the classical theory, it is easy to check that its equal-time Poisson Bracket with the field (p{x) is {^{x,xo),P'}pB = di^ (168) In the quantum theory the equivalent statement is that the operators 4>{x) and P^ satisfy the equal-time commutation relation [^{x,xo),P']=idi^{S,xo) (169) 24 Consequently, ^{x^ + ,xo) and ^{x^,xo) are related by ${x^ + a^,xo) = e'^i^^^ix, xo)e-'''^^^ (170) Translation invariancc of tlic ground state |0) implies that it is a state with zero total linear momentum, P-'IO) = 0. For a finite displacement a we get e*":'-^>) = |0) (171) which states that the state |0) is invariant and belongs to a one-dimensional representation of the group of global translations. Let us discuss now what happens to global internal symmetries. The simplest case that we can consider is the free complex scalar field (j>{x) whose Lagrangian C is invariant under global phase transformations. If </> is a complex field, we can decompose it into its real and imaginary parts <^=i=(</.i+i</)2) (172) The Classical Lagrangian for a free complex scalar field (j) is jC = d^(j)*d''(l)-m^<l)*(j) (173) now splits into two independent terms jC{<I>)=jC{<^^)+jC{cI>2) (174) where C{(j)i) and C{(j)2) are the Lagrangians for the free scalar real fields and (j}2- The canonical momenta n(a;) and n*(a;) decompose into n(a;) = ^ = ^(<^i - n\x) = -^(<^i + i^2) (175) In the quantum theory the operators (p and (j)^ no longer coincide with each other, and neither do II and 11'^. Still, the canonical quantization procedure tells us that (j) and 11 (and and fl^) satisfy the equal-time canonical commutation relations [4>ix, xo), U{y, xo)] = id\x - y) (176) The theory of a free complex scalar field is solvable by the same methods that we used for a real scalar field. Instead of a single creation anihilation algebra we must introduce now two algebras, with operators ai and a\,a2 and a\. Let a{k) and b{k) be defined by a{k) = 71' ^ai(fc) + ia2(fc)j d\k) = 71 (al(fc)-i4(fc)) b{k) = 71 (^ai(fc) - W2(fc)) b\k) = 71 (al(fc)+i4(fc)) (177) 25 which satisfy the algebra [a{k),a''{k')] = [b{k),b''{k')] = {2Trf2uj{k) 5^{k-k') (178) while all other commutators vanish. The Fourier expansion for the fields now is (179) where ui{k) = + rm? and ko = ui{k). The normal ordered Hamiltonian is ■■H:=J {&Hk)a{k) + b\k)b{k)) (180) and the total momentum P is , , (fk pj {a){k)d{k) + b\k)b{k)j (181) (27r)32a;(fc) we see that there are two types of quanta, a and b. The field (j) creates 6-quanta and it destroys a-quanta. The vacuum has no quanta. The one-particle states have now a two-fold degeneracy since the states a\k)\Q) and 6^(fc)|0) have one particle of type a and one of type b respectively but these states have exactly the same energy, uj^k), and the same momentum k. Thus for each value of the energy and of the momentum we have a two dimensional space of possible states. This degeneracy is a consequence of the symmetry: the states form multiplcts. What is the quantum operator which generates this symmetry? The classi- cally conserved current is = iri<l> (182) In the quantum theory becomes the normal-ordered operator : :. The corresponding global charge Q is Q = : [ d^xi ($^do4> - do = : j d^x i d^k {2Trf2oj{k) (183) where Na and N), are the number operators for quanta of type a and b respec- tively. Since [Q,H] =0, the difference Na — Nb is conserved. Since this property 26 is consequence of a symmetry, it is expected to hold in more general theories than the simple non-interacting case that we are discussing here, provided that [Q, H] = 0. Thus, although Na and Nf, may not be conserved separately in the general case, the difference Na — Nh will be conserved if the symmetry is exact. Let us now briefly discuss how is this symmetry realized in the spectrum of states. The vacuum state has Na = Nf, = 0. Thus, the generator Q anihilates the vacuum g|0) = (184) Therefore, the vacuum state is invariant (i.e., a singlet) under the symmetry, |0)' = e"5«|0) = |0) (185) Because the state |0) is always defined up to an overall phase factor, it spans a one-dimensional subspace of states which are invariant under the symmetry. This is the vacuum sector and, for this problem, it is trivial. There are two linearly-independent one-particle states, |-|-, fc) and \ — ,k) de- fined by \+,k) = a\k) \0) \-,k) = b^{k)\0) (186) Both states have the same momentum k and energy oj{k). The Q-quantum numbers of these states, which we will refer to as their charge, are Q\+,k) = (Na - Nb)aHk)\0 >= Na a\k)\0) = +\+,k) Q\-,k) ={Na-Nt,)b\k)\0) = -\-,k) (187) Hence Q\a,k) =a\a,k) (188) where cr = ±1. Thus, the state a^k)\0) has positive charge while w{k)\0) has negative charge. Under a finite transformation U{a) = exp{iaQ) they transform like |+, k)' = U{a) |+, k) = exp{iaQ) |+, k) = e'" |+, k) \-,ky = U{a) \-,k) =exp{iaQ)\-,k) \-,k) (189) The field 4>{x) itself transforms like 0'(a;) = exp(-iaQ) 4>{x) exp(iaQ) = e'°'4>{x) (190) since [Q, ${x)] = -0(x) [Q, $^ix)] = $^ix) (191) Thus the one-particle states are doubly degenerate, and each state transforms non-trivially under the symmetry group. By inspecting the Fourier expansion for the complex field (j), we see that </> is a sum of two terms: a set of positive 27 frequency terms, symbolized by and a set of negative frequency terms, In this case all positive frequency terms create particles of type b (which carry negative charge) while the negative frequency terms anihilate particles of type a (which carry positive charge). The states |±, fc) are commonly referred to as particles and antiparticles: particles have rest mass m, momentum k and charge +1 while the antiparticles have the same mass and momentum but carry charge — 1. This charge is measured in units of the electromagnetic charge — e (see the previous discussion on the gauge current). Let us finally note that this theory contains an additional operator, the charge conjugation operator C, which maps particles into antiparticles and vice versa. This operator commutes with the Hamiltonian, [C, H] = 0. This property insures that the spectrum is invariant under charge conjugation. In other words, for every state of charge Q there exists a state with charge —Q, all other quantum numbers being the same. Our analysis of the free complex scalar field can be easily extended to systems which are invariant under a more general symmetry group G. In all cases the classically conserved charges become operators of the quantum theory. Thus, there are as many charge operators as generators are in the group. The charge operators represent the generators of the group in the Hilbert (or Fock) space of the system. The charge operators obey the same commutation relations as the generators themselves do. A simple generalization of the arguments that we have used here tell us that the states of the spectrum of the theory must transform like the (irreducible) representations of the symmetry group. However, there is one important caveat that should be made. Our discussion of the free complex scalar field shows us that, in that case, the ground state is invariant under the symmetry. In general, the only possible invariant state is the singlet state. All other states are not invariant and transform non-trivially. But, shoiild the ground state always be invariant? In elementary quantum mechanics there is a theorem, due to Wigner and Weyl, which states that for a finite system, the ground state is always a singlet. However, there are many systems in Nature, such as magnets and many others, which have ground states which are not invariant under the symmetries of the Hamiltonian. This phenomenon, known as Spontaneous Symmetry Breaking, does not occur in simple free field theories but it does happen in non-linear or interacting theories. We will return to this important question later on. 28