A Does x affect the value of [a^2,(a^†)^2×e^2ikx]

Sciencemaster
Messages
129
Reaction score
20
TL;DR Summary
In terms of QFT commutators involving raising and lowering operators and the mode expansion, does [a^2,(a^†)^2×e^2ikx] get changed by the last positionally-dependent term?
What is the commutator between a^2 (lowering operator squared) and the squared mode expansion from QFT (the integral of a^2e^2ikx, the conjugate, and the cross term I don't feel like writing out)? My instinct is to try and divide the mode expansion into its two parts since integration is linear, such as with just [a^2,(a^†)^2×e^2ikx]. However, even if I was sure I could do that, I’m not sure how to go about taking care of the positional dependence. For example, if we just had [a^2,(a^†)^2], it would just be 2(1+(a^†)a), but I'm having trouble with the extra e^ikx term in the new commutator. My thought is that it's really just a number so it can be pulled out by linearity leaving just [a^2,(a^†)^2], but I'm unsure if the ladder operators have any impact on the e^whatever operator (such as switching modes), which would then change the commutator. Also, is it any different if the first lowering operator is instead a raising operator? Any insight into the math here would be appreciated!
 
Physics news on Phys.org
In the treatments I've seen the x and k are c-numbers i.e. parameters and not operators. All operators are expressed in terms of the creators and annihilators. Typically however the creators and annihilators are themselves indexed e.g. by momentum k. Note from the texts how e.g. the momentum operator is expressed.
\hat{p}= \int k a^\dagger(k)a(k) dk= \int k \hat{n}(k) dk
(suitably normalized.)
 
jambaugh said:
In the treatments I've seen the x and k are c-numbers i.e. parameters and not operators. All operators are expressed in terms of the creators and annihilators. Typically however the creators and annihilators are themselves indexed e.g. by momentum k. Note from the texts how e.g. the momentum operator is expressed.
\hat{p}= \int k a^\dagger(k)a(k) dk= \int k \hat{n}(k) dk
(suitably normalized.)
I know that in the quantum harmonic oscillator, you can have the ladder operators explicitly written in terms of x and k (vice versa). However, I'm not sure if I can use that explicit form since I'm working with a QFT system closer to a particle bath.
At any rate, I'm inclined to treat the e^ikx term as a scalar that's simply parameterized by the value of k and x if we can treat x as a parameter in the ladder operators rather than itself an operator. For example, if [(a^†)^2,a]=2a^†, we could just pull out our exponential to get [(a^†)^2,ae^ikx]=2(e^ikx)a^† rather than worrying about what implicit commutation the ladder operator might have with e^ikx. I'm still not sure, does this make sense?
 
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}##...
Back
Top