Principia Synthesia
SearchTimelineOrganizations
Sign inGet started
© 2026 Principia Synthesia
ThemePricingSupport
@principia-official/My notes to understanding Gradient Echo Memory
3 / 10

Advance Properties of Field Operators

PreviousNext

The field operator is still a wave

From the continuous‑mode expansion we have

E^(x,t)=i∫0∞dω ℏω4πϵ0c E^(ω) ei(kx−ωt)+h.c.,k=ωc.\hat{E}(x,t)=i\int_{0}^{\infty}\mathrm{d}\omega\,\sqrt{\frac{\hbar\omega}{4\pi\epsilon_0c}}\,\hat{E}(\omega)\,e^{i(kx-\omega t)}+\text{h.c.}, \qquad k = \frac{\omega}{c}.E^(x,t)=i∫0∞​dω4πϵ0​cℏω​​E^(ω)ei(kx−ωt)+h.c.,k=cω​.

Each term is proportional to the plane wave ei(kx−ωt)e^{i(kx-\omega t)}ei(kx−ωt) (or its complex conjugate), which is the only factor depending on xxx and ttt.
Plane waves satisfy the wave equation (∂x2−1c2∂t2)ei(kx−ωt)=0(\partial_x^2 - \frac{1}{c^2}\partial_t^2)e^{i(kx-\omega t)}=0. Because the operator is a linear superposition of such solutions, it obeys the same wave equation. Thus the quantize electric field is indeed a wave – it respects Maxwell’s equations (free field, Coulomb gauge) as an operator identity.

Commutation in x,tx, tx,t domain

[E^(x,t),E^(x′,t′)]=i∫0∞dωdω′ℏωω′4πϵ0c[E^(ω),E^(ω′)]ei(kx−ωt)ei(k′x′−ω′t′)+E^†E^†terms+E^E^†terms+E^†E^terms\left[\hat{E}(x,t), \hat{E}(x',t')\right]=i\int_0^\infty\mathrm{d}\omega\mathrm{d}\omega'\frac{\hbar\sqrt{\omega\omega'}}{4\pi\epsilon_0c}\left[\hat{E}(\omega),\hat{E}(\omega')\right]e^{i(kx-\omega t)}e^{i(k'x'-\omega't')} + \hat{E}^\dagger\hat{E}^\dagger \text{terms} + \hat{E}\hat{E}^\dagger \text{terms} + \hat{E}^\dagger\hat{E} \text{terms}

Then, using the known commutation relation, only [E^,E^†]\left[\hat{E},\hat{E}^\dagger\right][E^,E^†] can be non-zero,

[E^(x,t),E^(x′,t′)]=i∫0∞dωdω′ℏωω′4πϵ0c(δ(ω−ω′)ei(kx−ωt)e−i(k′x′−ω′t′)−δ(ω−ω′)e−i(kx−ωt)ei(k′x′

This is right chiral as we didn't use the full form from the start, but anyway the left chiral is a symmetry to the right chiral. So easily the full form is

−iℏc2ϵ0(δ′(Δx−cΔt)−δ′(Δx+cΔt))-\frac{i\hbar c}{2\epsilon_0}\left(\delta'(\Delta x - c\Delta t)-\delta'(\Delta x + c\Delta t)\right)−2ϵ0​iℏc​(δ
(∂x2​−
c21​∂t2​)ei(kx−ωt)=
0

[E^(x,t),E^(x′,t′)]=i∫0∞​dωdω′4πϵ0​cℏωω′​​[E^(ω),E^(ω′)]ei(kx−ωt)ei(k′x′−ω′t′)+E^†E^†terms+E^E^†terms+E^†E^terms
−ω′t′))=i∫0∞dωℏω4πϵ0c(eik(Δx−cΔt)−e−ik(Δx−cΔt))=−ℏ2πϵ0c∫0∞dω ωsin⁡(ωc(Δx−cΔt))=−iℏc2ϵ0δ′(Δx−cΔt)\begin{align*} \left[\hat{E}(x,t), \hat{E}(x',t')\right]&=i\int_0^\infty\mathrm{d}\omega\mathrm{d}\omega'\frac{\hbar\sqrt{\omega\omega'}}{4\pi\epsilon_0c}\left(\delta(\omega-\omega')e^{i(kx-\omega t)}e^{-i(k'x'-\omega't')}-\delta(\omega-\omega')e^{-i(kx-\omega t)}e^{i(k'x'-\omega't')}\right) \\ &=i\int_0^\infty\mathrm{d}\omega\frac{\hbar\omega}{4\pi\epsilon_0c}\left(e^{ik(\Delta x-c\Delta t)}-e^{-ik(\Delta x-c\Delta t)}\right)\\ &=-\frac{\hbar}{2\pi\epsilon_0c}\int_0^\infty\mathrm{d}\omega\,\omega\sin\left(\frac{\omega}{c}(\Delta x - c\Delta t)\right)\\ &=-\frac{i\hbar c}{2\epsilon_0}\delta'(\Delta x - c\Delta t) \end{align*}
[E^(x,t),E^(x′,t′)]​=i∫0∞​dωdω′4πϵ0​cℏ
′
(
Δ
x
−
c
Δ
t
)
−
δ′
(
Δ
x
+
c
Δ
t
)
)
ωω′​
​
(δ(ω−ω′)ei(kx−ωt)e−i(k′x′−ω′t′)−δ(ω−ω′)e−i(kx−ωt)ei(k′x′−ω′t′))
=i∫0∞​dω4πϵ0​cℏω​(eik(Δx−cΔt)−e−ik(Δx−cΔt))
=−2πϵ0​cℏ​∫0∞​dωωsin(cω​(Δx−cΔt))
=−2ϵ0​iℏc​δ′(Δx−cΔt)
​