How Are Commutation Relations Derived in Quantum Field Theory?

Chopin
Messages
367
Reaction score
13
In Srednicki's book, he discusses quantizing a non-interacting spin-0 field \phi(x) by defining the KG Lagrangian, and then using it to derive the canonical conjugate momentum \pi(x) = \dot{\phi}(x). Then, he states that, by analogy with normal QM, the commutation relations between these fields is:

[\phi(x), \phi(x')] = 0
[\pi(x), \pi(x')] = 0
[\phi(x), \pi(x')] = i\delta^3(x-x')

Can this be derived from anything we know so far, or does it simply have to be taken on faith? These relations are used to derive the commutation relations for the creation/annihilation operators, which in turn allow us to derive the spectrum of the Hamiltonian, so it looks like they form the basis of pretty much everything that follows.
 
Physics news on Phys.org
You can treat these, formally, as postulates. However, they are physically motivated postulates. For example the first two are related to causality (with the fields all taken at the same time), and the last one is analogous to QM.
 
You can motivate these commutation relations by looking at momentum space. If you have finite volume in position space you get discrete momenta and for each momentum kn you find a pair of creation and annihilation operators like for the harmonic oscillator.

Another way to see that is to look at classical field theory and Poisson brackets in the canonical formalism. For a field and its canonical momentum the Poisson bracket reads

\{\phi(x),\pi(y)\} = \delta(x-y)

Quantizing the fields i.e. replacing them by field operators means just introducing the "i", just like in ordinary QM for the operators x and p.
 
Zee's discussion of this is nice, I think: he considers a QM system like a mattress with a bunch of particles that each have one degree of freedom that are arranged in a discrete grid with nearby particles coupled together with springs or something. Then you take the limit where the grid spacing goes to zero and you get the quantum mechanical description of a continuous field, with those commutation relations emerging as the limit of the commutation relations in the discrete case.
 
The_Duck said:
Zee's discussion of this is nice, I think: he considers a QM system like a mattress with a bunch of particles that each have one degree of freedom that are arranged in a discrete grid with nearby particles coupled together with springs or something. Then you take the limit where the grid spacing goes to zero and you get the quantum mechanical description of a continuous field, with those commutation relations emerging as the limit of the commutation relations in the discrete case.

Yes, this is an excellent "derivation" of the commutation relations for quantum field theories.
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. Towards the end of the first lecture for the Qiskit Global Summer School 2025, Foundations of Quantum Mechanics, Olivia Lanes (Global Lead, Content and Education IBM) stated... Source: https://www.physicsforums.com/insights/quantum-entanglement-is-a-kinematic-fact-not-a-dynamical-effect/ by @RUTA
I am reading WHAT IS A QUANTUM FIELD THEORY?" A First Introduction for Mathematicians. The author states (2.4 Finite versus Continuous Models) that the use of continuity causes the infinities in QFT: 'Mathematicians are trained to think of physical space as R3. But our continuous model of physical space as R3 is of course an idealization, both at the scale of the very large and at the scale of the very small. This idealization has proved to be very powerful, but in the case of Quantum...
Thread 'Lesser Green's function'
The lesser Green's function is defined as: $$G^{<}(t,t')=i\langle C_{\nu}^{\dagger}(t')C_{\nu}(t)\rangle=i\bra{n}C_{\nu}^{\dagger}(t')C_{\nu}(t)\ket{n}$$ where ##\ket{n}## is the many particle ground state. $$G^{<}(t,t')=i\bra{n}e^{iHt'}C_{\nu}^{\dagger}(0)e^{-iHt'}e^{iHt}C_{\nu}(0)e^{-iHt}\ket{n}$$ First consider the case t <t' Define, $$\ket{\alpha}=e^{-iH(t'-t)}C_{\nu}(0)e^{-iHt}\ket{n}$$ $$\ket{\beta}=C_{\nu}(0)e^{-iHt'}\ket{n}$$ $$G^{<}(t,t')=i\bra{\beta}\ket{\alpha}$$ ##\ket{\alpha}##...

Similar threads

Back
Top