Register to reply 
Fields As Operators 
Share this thread: 
#1
Feb513, 06:00 PM

P: 25

Can anyone tell me why it is necessary to express a field as annhilation and creation operators? I just don't see why we need a field to explain the creation of particles in relativity, after all two colliding particles with enough energy produce some more.



#2
Feb513, 07:46 PM

Mentor
P: 11,866

I don't think relativity deals with particle creation and annihilation. That's a quantum phenomenon.



#3
Feb513, 08:36 PM

P: 718




#4
Feb513, 10:35 PM

Sci Advisor
P: 1,922

Fields As Operators
IOW, one is kinda forced into field representations if one wants to combine QM and relativity satisfactorily in multiparticle scenarios. The a/c ops are a technical device, useful for working with field representations. Similar ladder operators are used when working with other dynamical groups in (say) classical dynamics, and the general theory of angular momentum. They tend to pop up wherever one uses groups in physics  which is almost everywhere. Broadly speaking, they "move you around" between different possible solutions of the dynamical equations. 


#5
Feb613, 07:36 AM

P: 184

There are less technical ways to see this, though perhaps less precise.
Take regular QM, you'll notice 1. an operator x for position, 2. no operator t for time. Position and time are given quite different roles in regular QM. But in special relativity, time and space are treated on the same footing, so this is not the correct way to proceed in constructing a relativistic theory of QM. One way to proceed (but not the only way) is to make operators depend on position in addition to time, and use this new position dependence in your operators to recover the information lost by removing the x operator. So now you have operators that depend on position, and you use that dependence to give some notion of "where the particle is". However, there is already some object in QM that does that, although we don't call it an operator (because it isn't): the wave function. Given this, you could reasonably expect that there is some operator that now acts in a way analogous to the wave function, which we call the field operator. At this point, all that has happened is that we decided to treat space and time the same way in our operators, but as a result lost one of the tools of the operators we used to have. Then we conjecture that there is enough information in these new operators to recover the information these lost tools contained, and that this information would be in an operator that is "like" the wavefunction. As to whether this conjectured operator exists, raising and lowering operators turn out to be a very general object: there is a theorem that states that you can construct any operator out of them (so basically, they form a "basis" just like basis vectors in a vector space). Using this theorem, and some other pieces of information (like the klein gordan equation), we can construct this field operator, which we identify as an operator that when acting on the vacuum state creates a state which acts as a one particle state. In fact, this one theorem seems to force you to have field operators: once you make your operators "relativistic" (depend on position as well as time) you end up with a space of operators that allows you to construct a field operator (because you can always use raising/lowering operators). You can try to fight it, but the field operator will be there waiting for you to use it. 


#6
Feb913, 02:39 PM

P: 25

Many thanks for the replies, but I still don't get it. After a collision I know the ouctome of the collision, if I know the outcome of a collision, why do I need a field?



#7
Feb913, 03:24 PM

Sci Advisor
HW Helper
P: 11,920

The field is just a mathematical notion necessary to build the theory which furnishes predictions for experiments done with real 'things'. The collision (rather the scattering) is real, the quantum field exists only on paper.



#8
Feb1013, 04:18 AM

P: 25

Still not not there, obviously an operator valued field is a mathematical construction, that's the original point. Why are the creation and anhilation operators lodged in a field?



#9
Feb1013, 04:27 AM

Sci Advisor
HW Helper
P: 11,920

It has to do with the Fock representation of the commutation relations. In the finite dimensional case, they're called the 'ladder' operators, in the fields' case, they are 'creation' and 'annihilation' due to their particular interpretation for free quantum fields.



#10
Feb1013, 04:33 AM

P: 123




#11
Feb1013, 08:54 AM

Sci Advisor
P: 2,097

In manyparticle quantum mechanics with a fixed finite number of particles, you can represent the total state as a symmetric (for identical bosons) or antisymmetric (for identical fermions) product of oneparticle states. (For simplicity, let's assume that we only have one type of particle). In the boson case, with N particles [itex]\vert \Psi \rangle = K (\vert \psi_1 \rangle \vert \psi_2 \rangle \vert \psi_3 \rangle ... + \vert \psi_2 \rangle \vert \psi_1 \rangle \vert \psi_3 \rangle ... + ...)[/itex] where K is a normalization constant. You have to sum over all possible permutations of the N particles. If the oneparticle states are discrete, with quantum numbers [itex]0, 1, 2, 3, ...[/itex] (for example, if we're talking about harmonic oscillators), then this description in terms of products of singleparticle states is equivalent to a description in terms of occupation numbers: Let [itex]\vert n_0, n_1, n_2, ... \rangle[/itex] be the state in which [itex]n_0[/itex] particles are in singleparticle state [itex]0[/itex], [itex]n_1[/itex] particles are in singleparticle state [itex]1[/itex], etc. If the original set of singleparticle states were complete, then this new representation gives a complete basis for multiparticle states. What's nice about this representation is that it's immediately obvious that it correctly treats the particles as indistinguishable: we only count the number of particles in state [itex]j[/itex], rather than saying "Particles number 5, 7, 12, and 32 are in state [itex]j[/itex]". But since there are infinitely many possible states, this representation requires an infinite sequence of numbers [itex]n_j[/itex]. To make the notation manageable, we can assume that we're only going to deal with states in which all the [itex]n_j[/itex] are zero except for finitely many. So we change representations once again, as follows: Let [itex]\vert \rangle[/itex] be the ground state, in which all particles are in the same, lowest energy level. If [itex]\vert \Psi \rangle[/itex] is the state in which [itex]n_0[/itex] particles are in singleparticle state [itex]0[/itex], [itex]n_1[/itex] particles are in singleparticle state [itex]1[/itex], etc., then [itex] K a^\dagger_j \vert \Psi \rangle[/itex] is the state in which [itex]n_j + 1[/itex] particles are in singleparticle state [itex]j[/itex], and the number of particles in all other states is unchanged. [itex]K[/itex] is a normalization constant, which has to be figured out, and [itex]a^\dagger_j[/itex] is a creation operator for state [itex]j[/itex]. In terms of this new representation, how would we describe a state transition in which one particle changes state from state [itex]j[/itex] to state [itex]k[/itex]? Well, if [itex]\vert \psi \rangle[/itex] is the original state, with occupation numbers [itex]n_0, n_1, n_2,[/itex], etc., then the new state will be one in which the occupation number for state [itex]j[/itex] is [itex]n_j  1[/itex] and the occupation number for state [itex]k[/itex] is [itex]n_k + 1[/itex]. We can represent this as the state: [itex]\vert \Psi' \rangle = C a^\dagger_k a_j \vert \Psi \rangle[/itex] where [itex]a_j[/itex] is the annihilation operator that undoes [itex]a^\dagger_j[/itex], instead of putting an extra particle into state [itex]j[/itex], it removes one particle, and where [itex]C[/itex] is again some normalization constant, which we can work out. (The normalization constants for creation and annihilation operators are chosen so that the number operator [itex]N_j = a^\dagger_j a_j[/itex] acts as follows: [itex]N_j \vert \Psi \rangle = n_j \vert \Psi \rangle[/itex] whenever [itex]\vert \Psi \rangle[/itex] is a state with a definite number [itex]n_j[/itex] of particles in singleparticle state [itex]j[/itex]). This is all just notation, so far. I haven't introduced any new physics. It's just a different notation for doing manyparticle quantum mechanics. Now, let's make a transition to a different basis, a position basis. Suppose instead of putting a particle into state [itex]j[/itex], we want to put a particle at location [itex]x=x_0[/itex]? That one particle will have a wave function that is a [itex]\delta[/itex] function. (Strictly speaking, there is no position basis, because [itex]\delta[/itex] functions are not squareintegrable. However, physicists being sloppy can act as if there were a position basis without getting into too much trouble.) In terms of single particle states [itex]\psi_n(x)[/itex], we can write a [itex]\delta[/itex] function as follows: [itex]\delta(xx_0) = \sum_n \psi^*_n(x_0) \psi_n(x)[/itex] So putting a particle into location [itex]x=x_0[/itex] is equivalent to putting a particle into a superposition of energy levels [itex]n[/itex], weighted by the amplitude [itex]\psi^*_n(x_0)[/itex]. Inspired by this fact, we can introduce another kind of creation operator, [itex]\phi^\dagger(x)[/itex] defined by: [itex]\phi^\dagger(x_0) = \sum_n \psi^*_n(x_0) a^\dagger_n[/itex] There's a corresponding annihilation operator [itex]\phi(x_0)[/itex] that removes a particle from location [itex]x_0[/itex]. These positionbasis operators can be normalized so that [itex][\phi(x'),\phi^\dagger(x)] = \delta(xx')[/itex], where [itex][A,B][/itex] means the commutator [itex]AB  BA[/itex]. As I said earlier, all of this is simply notation. There is no new physics involved beyond manyparticle quantum mechanics (plus the requirement of bose or fermi statisticsI've only mentioned bose statistics here). However, the notation can be used in a more general setting than manyparticle quantum mechanics. Once we've introduced creation and annihilation operators, we can easily talk about interactions that change the total number of particles. An alternative approach (the standard approach, of course) to the same end is to start with a description of physics in terms of field operators [itex]\phi(x)[/itex], and impose the commutation relations. 


#12
Feb1013, 09:04 AM

Sci Advisor
P: 2,097




#13
Feb1013, 09:29 AM

P: 679




#14
May2213, 04:42 AM

P: 3,035

wouldn't this "dragging" lead one to think the transition to a truly quantum field theory is not finished? 


#15
May2213, 04:48 AM

P: 3,035




#16
May2213, 05:12 AM

Sci Advisor
P: 303

I would would take strangereps point of view.
The combination of special relativity and quantum mechanics demands that the most basic states be unitary irreps of the Poincaré group. In current particle physics this is what particles are, quantum states which for an irrep of the Poincaré group. Now obviously once you have these states [itex]\vert p, s\rangle[/itex] you can immdiately define a creation operator: [itex]a^{*}_{p,s} \vert 0\rangle = \vert p, s\rangle[/itex] Of course the irreps of the Poincaré group are labelled by momentum, so you are working in momentum space. If you want to work in position space rather than momentum space you must work with the (Lorentz invariant) Fourier transform of this operator. This Fourier transform turns out to be a free field basically. So free fields are just the creation and annihilation operators for particles in position space. Interacting fields are known, via the Källén–Lehmann spectral represntation or more rigorously HaagRuelle theory, to asymptote to free fields. Hence their states asymptote to free field states, i.e. particles. Although finitetime interacting field states are not particles and hence interacting fields are not composed of creation and annihilation operators. 


#17
May2213, 08:58 PM

Sci Advisor
P: 1,922

Case 1: A (fully relativistic) elementary system must correspond to a unitary irreducible representation ("unirep") of the Poincare group. However, there are no finitedimensional unireps of the Lorentz group, and this means we need an infinitedimensional unirep to describe the elementary system. (This contrasts with the nonrel QM case where we can get by with finitedimensional unireps.) An "infinitedimensional unirep" can also be called a "field unirep". For an elementary system characterized by mass M and total spin 0, I'll write it in 4momentum space as ##\Phi_M(p)##, where ##p## is a 4momentum vector constrained to the mass hyperboloid ##p^2 = M^2##. I.e., ##\Phi_M(p)=0## off the mass hyperbloid. Thus, ##\Phi_M## has only 3 degrees of freedom, not 4, so if we Fouriertransform back to positiontime space, we have a field with correlations (in general) between different spacetime points, expressed via a propagator. This must be so, since the field has only 3 degrees of freedom, not 4. (There's some other contraints, since we also want positiveenergy representations only, but I'll omit those extra complications for now.) Case 2: A (fully relativistic) composite system involving two noninteracting elementary systems. In ordinary nonrel QM, we already learned that composite systems must be described via a tensor product of Hilbert spaces, hence a tensorproduct wavefunction, and not by a more complicated wavefunction that somehow lives in the familiar 3position space. (This is a lesson learned from Hamiltonian dynamics where we describe Nparticle systems using a 3Ndimensional phase space.) Therefore, in the (noninteracting) relativistic case, we construct a tensor product of two field representations, e.g., ##\Phi_M(p_a)\Phi_M(p_b)##, where ##a,b## label the (independent) momentum spaces of the elementary systems, and the product should be suitably symmetrized (details omitted) since we're dealing with a spinless boson field here. Continuing this process, we construct the usual Fock space. In the interacting case, we Fouriertransform back to a (product of) positiontime spaces, impose the constraint that there's only 1 time parameter, and try to define a Hamiltonian on the resulting space such the interaction term is only nonzero for ##x_a=x_b## (i.e., a "local" interaction). Of course, this is not the way that interacting fields are usually introduced in QFT textbooks, which typically start from a Lagrangian, decompose the basic field into free modes, and construct a Fock (tensor product) space accordingly on which the full interacting Hamiltonian supposedly acts. One is then punished by various divergences, requiring regularization+renormalization as workarounds. Hence, more rigorous treatments of interacting fields use a more general framework.         But anyway, the point I really wanted to make in this post is this: even for a single elementary (relativistic) system it's best to think in terms of a field unirep of the Poincare group, rather than the old notion of "particle". Hence, in the modern era, it's better to think in terms of "elementary" and "composite" field unireps instead of using the anachronistic terms "singleparticle" and "multiparticle", even though describing a composite system involving interacting fields at finite times exactly is still an open problem. As to why the term 'particle' is still "dragging on the quantum field picture", well it's just the usual phenomenon of human inertia.         Edit: The betting window is now open for how many ways my post will be misunderstood. 


#18
May2313, 04:15 AM

P: 3,035

Thanks for this didactic reply, strangerep.
There is a quote by Max Born that I find deep and fitting here:"It would indeed be remarkable if Nature fortified herself against further advances in knowledge behind the analytical difficulties of the manybody problem." 


Register to reply 
Related Discussions  
Need a lot of help with vector fields/vector operators  Calculus & Beyond Homework  3  
Quantum Operators (or just operators in general)  Advanced Physics Homework  22  
Question about electric fields and operators  Advanced Physics Homework  1  
Operators fields and classical fields  High Energy, Nuclear, Particle Physics  1 