anuj, Author at Time Travel, Quantum Entanglement and Quantum Computing https://stationarystates.com/author/anuj/ Not only is the Universe stranger than we think, it is stranger than we can think...Hiesenberg Tue, 29 Sep 2026 02:50:04 +0000 en-US hourly 1 https://wordpress.org/?v=7.0.6 Product States – what does it mean to multiply the wavefunctions of two separate particles that are interacting? https://stationarystates.com/basic-quantum-theory/product-states/?utm_source=rss&utm_medium=rss&utm_campaign=product-states https://stationarystates.com/basic-quantum-theory/product-states/#respond Mon, 28 Sep 2026 17:39:39 +0000 https://stationarystates.com/?p=1185 A useful distinction is: explain what it means to multiple the wavefunctions of two separate particles that are interacting in some manner For two distinguishable particles, “multiplying their wavefunctions” usually […]

The post Product States – what does it mean to multiply the wavefunctions of two separate particles that are interacting? appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
A useful distinction is:

  • Product state: We can assign each particle its own wavefunction and multiply them to get the joint amplitude.
  • Entangled state: Only the combined system has a complete wavefunction. There is generally no separate pure wavefunction for each particle that can be multiplied to recover it.

explain what it means to multiple the wavefunctions of two separate particles that are interacting in some manner

For two distinguishable particles, “multiplying their wavefunctions” usually means building a joint wavefunction from two independent states:\[ \Psi(x_1,x_2)=\psi_1(x_1)\psi_2(x_2). \]

Here \(x_1\) is particle 1’s position and \(x_2\) is particle 2’s position. The product is an amplitude for the joint possibility that particle 1 is at \(x_1\) and particle 2 is at \(x_2\). Its squared magnitude gives the joint probability density:\[ |\Psi(x_1,x_2)|^2 =|\psi_1(x_1)|^2|\psi_2(x_2)|^2. \]

So this multiplication describes a state in which the particles’ position probabilities are independent. It is often written more precisely as a tensor product, \(|\psi_1\rangle\otimes|\psi_2\rangle\). We are not multiplying two waves at the same position; the full wavefunction has two position arguments.

Interaction changes the picture. Suppose the particles exert forces on each other. Their Hamiltonian contains an interaction term \(V(x_1,x_2)\):\[ H=H_1+H_2+V(x_1,x_2). \]

Even if the state starts as a product, the interaction generally evolves it into a joint wavefunction that cannot be written as one wavefunction for particle 1 times another for particle 2:\[ \Psi(x_1,x_2)\ne\psi_1(x_1)\psi_2(x_2). \]

That is entanglement. The amplitude for finding particle 1 at one position now depends on what position we consider for particle 2. For example, if two particles attract, configurations in which they are near each other may have greater probability than a product of two independent position distributions would predict.

A useful distinction is:

  • Product state: We can assign each particle its own wavefunction and multiply them to get the joint amplitude.
  • Entangled state: Only the combined system has a complete wavefunction. There is generally no separate pure wavefunction for each particle that can be multiplied to recover it.

There is one further wrinkle for identical particles. Quantum mechanics does not let us physically distinguish “particle 1 at \(x_1\)” from “particle 2 at \(x_1\).” Their joint wavefunction must be symmetric for bosons or antisymmetric for fermions. Even without a force between them, a simple labeled product \(\psi_a(x_1)\psi_b(x_2)\) is therefore generally not the complete physical state.

In short, multiplying two wavefunctions is a way to describe independent amplitudes within one joint system. Once an interaction creates correlations, the joint wavefunction usually contains more information than that product can express.

The post Product States – what does it mean to multiply the wavefunctions of two separate particles that are interacting? appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
https://stationarystates.com/basic-quantum-theory/product-states/feed/ 0
Relativistic causality does not require every two-point function to vanish outside the light cone. It requires local observables to commute there = [ϕ(x),ϕ(y)]=0for spacelike separation.​ https://stationarystates.com/quantum-field-theory/1181/?utm_source=rss&utm_medium=rss&utm_campaign=1181 https://stationarystates.com/quantum-field-theory/1181/#respond Wed, 23 Sep 2026 05:01:50 +0000 https://stationarystates.com/?p=1181 The key distinction is between:correlation\text{correlation} andcausal influence.\text{causal influence}. A two-point function measures correlation. A commutator measures whether one local operation can affect another. 1. The two-point function can be nonzero For […]

The post Relativistic causality does not require every two-point function to vanish outside the light cone. It requires local observables to commute there = [ϕ(x),ϕ(y)]=0for spacelike separation.​ appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
The key distinction is between:correlation\text{correlation}

andcausal influence.\text{causal influence}.

A two-point function measures correlation. A commutator measures whether one local operation can affect another.

1. The two-point function can be nonzero

For a scalar field,W(x−y)=⟨0∣ϕ(x)ϕ(y)∣0⟩.W(x-y)=\langle0|\phi(x)\phi(y)|0\rangle.

For spacelike separation,(x−y)2<0,(x-y)^2<0,

this generally does not vanish. For a massive free scalar field,W(x−y)=m4π2rK1(mr),r=−(x−y)2.W(x-y) = \frac{m}{4\pi^2r}K_1(mr), \qquad r=\sqrt{-(x-y)^2}.

At large distance,W(x−y)∼e−mr.W(x-y)\sim e^{-mr}.

Thus the correlation is small but nonzero.

This means that measurements of the field at xx and yy can produce statistically correlated results. It does not mean that a particle or message traveled from one point to the other.

The quantum vacuum is an entangled state, not a classical empty space.


2. The commutator measures causal influence

The field commutator is[ϕ(x),ϕ(y)]=ϕ(x)ϕ(y)−ϕ(y)ϕ(x).[\phi(x),\phi(y)] = \phi(x)\phi(y)-\phi(y)\phi(x).

For a free scalar field,⟨0∣[ϕ(x),ϕ(y)]∣0⟩=W(x−y)−W(y−x).\langle0|[\phi(x),\phi(y)]|0\rangle = W(x-y)-W(y-x).

Although the two terms are individually nonzero at spacelike separation, they are equal:W(x−y)=W(y−x).W(x-y)=W(y-x).

Therefore,[ϕ(x),ϕ(y)]=0when(x−y)2<0.\boxed{ [\phi(x),\phi(y)]=0 \quad\text{when}\quad (x-y)^2<0. }

The nonzero correlations cancel in the commutator.

This condition is called microcausality.


3. Why the commutator is the relevant quantity

Suppose Alice is at xx and Bob is at yy, with the two points spacelike separated.

Alice performs a local operation represented schematically byUx=eiλϕ(x).U_x=e^{i\lambda\phi(x)}.

Bob measures a local observable O(y)O(y). After Alice’s operation, Bob’s expectation value would be⟨O(y)⟩′=⟨0∣Ux†O(y)Ux∣0⟩.\langle O(y)\rangle’ = \langle0|U_x^\dagger O(y)U_x|0\rangle.

If Alice’s operator commutes with Bob’s observable,[Ux,O(y)]=0,[U_x,O(y)]=0,

thenUx†O(y)Ux=O(y),U_x^\dagger O(y)U_x=O(y),

and therefore⟨O(y)⟩′=⟨O(y)⟩.\boxed{ \langle O(y)\rangle’ = \langle O(y)\rangle. }

Nothing Alice does at xx can change the statistics Bob observes at yy. Therefore, Alice cannot send information to Bob faster than light.

That is the operational meaning of relativistic causality.


4. Correlation does not mean communication

Imagine Alice and Bob receive two correlated quantum systems. Their results may be strongly related, but Alice cannot choose her result and thereby control what Bob sees.

Bob’s local results remain statistically unchanged. Only later, after Alice and Bob communicate normally, can they compare their records and discover the correlation.

The same distinction applies to the field vacuum:spacelike correlation exists\boxed{ \text{spacelike correlation exists} }

butspacelike control or signaling does not.\boxed{ \text{spacelike control or signaling does not}. }


5. Why spacelike operators must commute

If xx and yy are spacelike separated, different inertial observers can disagree about their time ordering:

  • One observer can see xx occur before yy.
  • Another can see yy occur before xx.
  • A third can see them occur simultaneously.

If the two operations commute,ϕ(x)ϕ(y)=ϕ(y)ϕ(x),\phi(x)\phi(y)=\phi(y)\phi(x),

their order makes no physical difference. Every inertial observer predicts the same final result.

If they did not commute, the outcome could depend on which event was considered first, even though special relativity provides no observer-independent ordering for spacelike events.

Thus microcausality ensures consistency with relativity.


6. Why the commutator vanishes for the Klein–Gordon field

At equal times, canonical quantization gives[ϕ(t,x),ϕ(t,y)]=0.[\phi(t,\mathbf x),\phi(t,\mathbf y)]=0.

Every spacelike-separated pair of events can be transformed into a frame where the events are simultaneous. Because the scalar-field commutator is Lorentz covariant, the equal-time result implies[ϕ(x),ϕ(y)]=0[\phi(x),\phi(y)]=0

for every spacelike separation.

Explicitly,[ϕ(x),ϕ(y)]=∫d3p(2π)3 2Ep[e−ip⋅(x−y)−eip⋅(x−y)].[\phi(x),\phi(y)] = \int\frac{d^3p}{(2\pi)^3\,2E_{\mathbf p}} \left[ e^{-ip\cdot(x-y)} – e^{ip\cdot(x-y)} \right].

For spacelike separation, the two contributions are equal and cancel.


7. Inside the light cone

For timelike separation,(x−y)2>0,(x-y)^2>0,

the commutator generally does not vanish:[ϕ(x),ϕ(y)]≠0.[\phi(x),\phi(y)]\neq0.

A causal signal traveling at or below the speed of light can connect the two events. Therefore, an operation at yy can in principle influence a later measurement at xx.

The commutator’s structure is consequently:[ϕ(x),ϕ(y)]={0,spacelike separation,generally nonzero,timelike or lightlike separation.[\phi(x),\phi(y)] = \begin{cases} 0, & \text{spacelike separation},\\[4pt] \text{generally nonzero}, & \text{timelike or lightlike separation}. \end{cases}

The essential distinction

⟨0∣ϕ(x)ϕ(y)∣0⟩≠0\boxed{ \langle0|\phi(x)\phi(y)|0\rangle\neq0 }

means:

The field fluctuations at xx and yy are correlated.

But[ϕ(x),ϕ(y)]=0\boxed{ [\phi(x),\phi(y)]=0 }

means:

An operation at xx cannot causally affect a measurement at yy.

So relativistic causality does not demand an uncorrelated vacuum. It demands that spacelike-separated local operations cannot influence one another.

The post Relativistic causality does not require every two-point function to vanish outside the light cone. It requires local observables to commute there = [ϕ(x),ϕ(y)]=0for spacelike separation.​ appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
https://stationarystates.com/quantum-field-theory/1181/feed/ 0
Feynman’s 1949 paper – Space-Time Approach to Quantum Electrodynamics https://stationarystates.com/quantum-field-theory/feynmans-1949-paper-space-time-approach-to-quantum-electrodynamics/?utm_source=rss&utm_medium=rss&utm_campaign=feynmans-1949-paper-space-time-approach-to-quantum-electrodynamics https://stationarystates.com/quantum-field-theory/feynmans-1949-paper-space-time-approach-to-quantum-electrodynamics/#respond Sat, 19 Sep 2026 06:10:12 +0000 https://stationarystates.com/?p=1179 Feynman’s Spacetime Approach to QED: Opening Pages Explained These opening two pages are Feynman’s roadmap for a new way of calculating quantum electrodynamics. He is not yet deriving the machinery; […]

The post Feynman’s 1949 paper – Space-Time Approach to Quantum Electrodynamics appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
Feynman’s Spacetime Approach to QED: Opening Pages Explained

These opening two pages are Feynman’s roadmap for a new way of calculating quantum electrodynamics. He is not yet deriving the machinery; he is explaining what problem it solves and why the older formulation was cumbersome.

The paper’s central idea

The paper is Richard Feynman’s 1949 article, “Space-Time Approach to Quantum Electrodynamics.” Its essential claim is:

Instead of describing a quantum process as a long sequence of intermediate states evolving moment by moment, calculate the amplitude of the complete process directly in spacetime.

This is the conceptual foundation of what we now call the Feynman-diagram approach.


Page 1: What Feynman says the paper will accomplish

Feynman announces two main objectives.

1. Simplify calculations in quantum electrodynamics

In the conventional method, a physical process was expanded into many separate mathematical terms. Each term corresponded to a particular intermediate state or ordering of events.

For example, suppose two electrons exchange a photon. The older calculation might separately consider:

  • Electron 1 emits the photon and electron 2 absorbs it.
  • Electron 2 emits the photon and electron 1 absorbs it.
  • One event occurs before the other.
  • The opposite time ordering occurs.
  • Additional virtual particles appear in intermediate states.

These alternatives are closely related physically, but the Hamiltonian method often treats them as separate terms.

Feynman’s approach combines them into a single spacetime expression. Each term in the perturbation expansion can then be understood as a physical spacetime process—what would later be represented by a Feynman diagram.

What is a “matrix element”?

A matrix element is the quantum amplitude for a system to go from an initial state to a final state:Mfi=⟨f∣S^∣i⟩.\mathcal{M}_{fi} = \langle f|\hat{S}|i\rangle.

It is not itself a probability. Roughly speaking, the measurable probability or cross section is obtained from∣Mfi∣2.|\mathcal{M}_{fi}|^2.

When Feynman says he wants to “write down matrix elements directly,” he means that one should be able to look at a physical process and construct its amplitude without first listing every possible intermediate state.


Expansion in powers of the electromagnetic coupling

Feynman says that QED calculations are performed as an expansion in powers ofe2ℏc.\frac{e^2}{\hbar c}.

In the units used in the paper, this is essentially the fine-structure constant:α≈1137.\alpha \approx \frac{1}{137}.

Because α\alpha is small, increasingly complicated interactions are normally less important:M=M(0)+α M(1)+α2M(2)+⋯ .\mathcal{M} = \mathcal{M}^{(0)} + \alpha\,\mathcal{M}^{(1)} + \alpha^2\mathcal{M}^{(2)} +\cdots.

Each higher-order term involves more interaction vertices, loops, or virtual particles. This is called perturbation theory.

Feynman’s advance is not the invention of the expansion itself. It is the creation of a much clearer way to organize and interpret its terms.


What are “virtual quanta”?

The paper uses the older phrase “virtual quanta.” In modern language, these are virtual photons or other internal particles appearing inside a perturbative calculation.

They are not photons directly observed by a detector. They are mathematical components of the amplitude connecting observable initial and final particles.

For instance:e−+e−⟶e−+e−e^-+e^- \longrightarrow e^-+e^-

can be described as two electrons exchanging a virtual photon:e−⟶e−+γ∗,e−+γ∗⟶e−.e^- \longrightarrow e^-+\gamma^*, \qquad e^-+\gamma^* \longrightarrow e^-.

The asterisk reminds us that the photon is virtual and does not have to satisfy the energy–momentum relation of a real photon.


The “overall spacetime view”

This is perhaps the most important phrase on the first page.

The Hamiltonian formulation asks:

Given the state of the system at one time, how does it evolve to the next time?

Feynman’s spacetime formulation instead asks:

What is the amplitude connecting the complete initial configuration with the complete final configuration?

The latter viewpoint treats the experiment as a four-dimensional spacetime process. Intermediate histories contribute to the final amplitude, but they do not need to be interpreted as directly observable stages.

This also makes relativistic symmetry more visible. Space and time enter the expressions together, rather than time being singled out as the parameter driving the calculation.


Combining electron and positron processes

Feynman says that processes involving virtual electron–positron pairs can be combined with processes involving only positive-energy electrons.

This reflects his famous interpretation:

A positron can be represented mathematically as an electron propagating backward in time.

This does not mean that a laboratory positron literally travels into yesterday. It means that the mathematical propagator describing a negative-energy electron moving one way through spacetime can be reinterpreted as a positive-energy antiparticle moving in the opposite temporal direction.

The benefit is that electron and positron contributions can be described by one unified propagator rather than by several disconnected rules.


The second objective: dealing with infinities

QED calculations produced divergent quantities—integrals whose values appeared to be infinite.

One notorious example is the electron’s self-energy. An electron interacts with its own electromagnetic field, schematically:e−⟶e−+γ∗⟶e−.e^- \longrightarrow e^-+\gamma^* \longrightarrow e^-.

The loop correction to the electron propagator contains an integral over all possible virtual momenta. At very large momentum, corresponding to extremely short distances, the integral diverges.

Feynman temporarily modifies the interaction at extremely short distances. This introduces a cutoff: the theory no longer allows arbitrarily short-distance contributions to grow without limit.

The modified calculation is finite, but the cutoff is not supposed to remain part of the observable prediction.


Renormalization in the paper

Feynman explains that the divergent self-energy can be absorbed into a redefinition of the electron’s mass.

The basic idea ismphysical=mbare+δm.m_{\text{physical}} = m_{\text{bare}}+\delta m.

Here:

  • mbarem_{\text{bare}} is a parameter appearing in the original equations.
  • δm\delta m is the mass correction generated by interactions.
  • mphysicalm_{\text{physical}} is the mass actually measured.

A similar procedure applies to electric charge:ephysical=ebare+δe.e_{\text{physical}} = e_{\text{bare}}+\delta e.

The separate quantities on the right may depend on the regulator or cutoff. But after expressing the answer in terms of the measured mass and charge, observable predictions can remain finite as the cutoff is removed.

That is what Feynman means when he says the cutoff width may be taken to zero for real processes.


Feynman is candid about the weakness

The proposed short-distance modification is not presented as a fundamental description of nature. Feynman explicitly admits that:

  • Its physical basis is unclear.
  • It can create difficulties with energy conservation.
  • It is mainly a device for defining divergent calculations.
  • The final observable results should not depend on its detailed form.

This is important. Feynman is not claiming that nature necessarily possesses the particular cutoff he introduces. He is saying that it gives a controlled route to finite answers.

Modern QED expresses this more systematically through regularization and renormalization.


Page 2: What happens after renormalization?

The second page continues the argument:

  1. Regulate the divergent expressions.
  2. Identify the divergent parts with corrections to mass and charge.
  3. Rewrite the theory using the measured mass and charge.
  4. Remove the regulator.
  5. Obtain finite predictions for observable processes.

Feynman contrasts his method with Schwinger’s. Schwinger’s formulation identifies and removes the mass and charge corrections before evaluating the remaining physical quantities. Feynman’s method regulates the whole calculation first and then separates out the renormalizations.

The final predictions should agree.

Feynman notes that Freeman Dyson would provide a more systematic proof that the Schwinger and Feynman approaches were equivalent.


What does Feynman mean by “real processes”?

He does not mean “real” as opposed to imaginary numbers. He means observable processes, such as:

  • Electron scattering
  • Photon emission
  • Pair creation
  • Energy-level shifts
  • Measurable cross sections

Quantities such as a bare electron mass or an isolated divergent loop are not directly observable. The requirement is that measurable predictions be finite and independent of the artificial regulator.


Two limitations Feynman acknowledges

Feynman says the theory is not yet mathematically complete.

1. It is an order-by-order expansion

The method can calculateM(0),M(1),M(2),…\mathcal{M}^{(0)},\quad \mathcal{M}^{(1)},\quad \mathcal{M}^{(2)},\ldots

but it does not provide a single closed expression containing all orders simultaneously.

Even today, perturbative QED is generally used as an asymptotic series rather than as an ordinary convergent infinite series.

2. Equivalence with conventional QED was not yet fully proved

Feynman believed his results agreed with the conventional Hamiltonian theory, but this particular paper did not contain a complete mathematical proof. Dyson’s work subsequently clarified the equivalence among the Feynman, Schwinger, and Tomonaga formulations.


How Feynman says the method originated

Feynman briefly describes the development of his approach:

  1. He began with the Lagrangian formulation of quantum mechanics.
  2. He learned how to eliminate—or “integrate out”—electromagnetic field oscillators.
  3. This produced a delayed interaction between charged particles.
  4. He modified the short-distance interaction to control divergences.
  5. He extended the formalism from the Schrödinger equation to the relativistic Dirac equation.
  6. He incorporated electron–positron pair creation.
  7. He expanded the result in powers of the electromagnetic coupling.
  8. Each term acquired a simple spacetime interpretation.

The phrase “integrating out the field” means that the photon field is mathematically eliminated as an independent variable. Its effect remains encoded in an interaction connecting charged particles at different spacetime points.

Schematically, instead of explicitly describingelectron→photon field→electron,\text{electron} \rightarrow \text{photon field} \rightarrow \text{electron},

one writes an effective interaction of the formJμ(x) Dμν(x−y) Jν(y),J_\mu(x)\,D^{\mu\nu}(x-y)\,J_\nu(y),

where:

  • Jμ(x)J_\mu(x) is the electromagnetic current at xx,
  • Dμν(x−y)D^{\mu\nu}(x-y) is the photon propagator,
  • Jν(y)J_\nu(y) is the current at yy.

The propagator carries the electromagnetic influence from one spacetime point to another.


Field description versus direct interaction

At the end of page 2, Feynman begins comparing two descriptions of electromagnetism.

Field viewpoint

A charge produces an electromagnetic field, and another charge responds to that field:source charge→field→absorbing charge.\text{source charge} \rightarrow \text{field} \rightarrow \text{absorbing charge}.

This is Maxwell’s familiar description.

Direct-interaction viewpoint

One may instead regard the source and absorber as interacting directly, with the interaction delayed by the finite speed of light:charge at x⟷charge at y.\text{charge at }x \longleftrightarrow \text{charge at }y.

The photon propagator mathematically represents this connection.

Feynman considers the two viewpoints equivalent and complementary. The field picture is convenient for radiation emitted by complicated sources. The direct-interaction picture can be more natural when calculating how a small number of charged particles scatter from one another.


The main takeaway from these pages

The opening pages are telling us that QED can be reorganized around complete spacetime processes:Initial particles  ⟶  all allowed intermediate histories  ⟶  final particles\boxed{ \text{Initial particles} \;\longrightarrow\; \text{all allowed intermediate histories} \;\longrightarrow\; \text{final particles} }

Each history contributes an amplitude. Related time orderings and particle interpretations are combined by propagators. Divergent short-distance contributions are regulated, absorbed into measured masses and charges, and removed from observable predictions.

That is the conceptual bridge from traditional Hamiltonian perturbation theory to modern Feynman diagrams and propagators.

The post Feynman’s 1949 paper – Space-Time Approach to Quantum Electrodynamics appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
https://stationarystates.com/quantum-field-theory/feynmans-1949-paper-space-time-approach-to-quantum-electrodynamics/feed/ 0
Peskin and Schroeder’s Problem 2.1 is really about a subtle question… https://stationarystates.com/quantum-field-theory/peskin-and-schroeders-problem-2-1-is-really-about-a-subtle-question/?utm_source=rss&utm_medium=rss&utm_campaign=peskin-and-schroeders-problem-2-1-is-really-about-a-subtle-question https://stationarystates.com/quantum-field-theory/peskin-and-schroeders-problem-2-1-is-really-about-a-subtle-question/#respond Fri, 18 Sep 2026 11:30:08 +0000 https://stationarystates.com/?p=1177 If Maxwell’s equations follow from a perfectly Lorentz- and gauge-invariant Lagrangian, why does the straightforward Noether energy–momentum tensor look neither symmetric nor gauge invariant? The solution has two stages: derive […]

The post Peskin and Schroeder’s Problem 2.1 is really about a subtle question… appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>

If Maxwell’s equations follow from a perfectly Lorentz- and gauge-invariant Lagrangian, why does the straightforward Noether energy–momentum tensor look neither symmetric nor gauge invariant?

The solution has two stages: derive Maxwell’s equations, then “repair” the canonical energy–momentum tensor without changing the physical energy or momentum. This matches the indexed descriptions of parts (a) and (b).

I will use the metric ημν=diag⁡(1,−1,−1,−1)\eta_{\mu\nu}=\operatorname{diag}(1,-1,-1,-1).

1. The electromagnetic field as a field theory

The dynamical variable is the four-potentialAμ(x),A_\mu(x),

and the electromagnetic field tensor isFμν=∂μAν−∂νAμ.F_{\mu\nu} = \partial_\mu A_\nu-\partial_\nu A_\mu.

The free electromagnetic Lagrangian density isL=−14FμνFμν\boxed{ \mathcal L=-\frac14F_{\mu\nu}F^{\mu\nu} }

The factor 1/41/4 compensates for the fact that the antisymmetric tensor FμνF_{\mu\nu} counts every independent component twice.


2. Part (a): Recover Maxwell’s equations

The field Euler–Lagrange equation is∂L∂Aν−∂μ(∂L∂(∂μAν))=0.\frac{\partial\mathcal L}{\partial A_\nu} – \partial_\mu \left( \frac{\partial\mathcal L} {\partial(\partial_\mu A_\nu)} \right)=0.

Because L\mathcal L contains AνA_\nu only through its derivatives,∂L∂Aν=0.\frac{\partial\mathcal L}{\partial A_\nu}=0.

Now vary the Lagrangian:δL=−12FρσδFρσ.\delta\mathcal L = -\frac12F^{\rho\sigma}\delta F_{\rho\sigma}.

SinceδFρσ=∂ρδAσ−∂σδAρ,\delta F_{\rho\sigma} = \partial_\rho\delta A_\sigma – \partial_\sigma\delta A_\rho,

antisymmetry of FρσF^{\rho\sigma} makes the two terms equal:δL=−Fρσ∂ρδAσ.\delta\mathcal L = -F^{\rho\sigma}\partial_\rho\delta A_\sigma.

Therefore,∂L∂(∂μAν)=−Fμν.\frac{\partial\mathcal L} {\partial(\partial_\mu A_\nu)} = -F^{\mu\nu}.

The Euler–Lagrange equation becomes−∂μ(−Fμν)=0,-\partial_\mu(-F^{\mu\nu})=0,

or∂μFμν=0.\boxed{\partial_\mu F^{\mu\nu}=0.}

These are the source-free inhomogeneous Maxwell equations:∇⋅E=0,∇×B−∂E∂t=0.\nabla\cdot\mathbf E=0, \qquad \nabla\times\mathbf B-\frac{\partial\mathbf E}{\partial t}=0.

The other two Maxwell equations,∇⋅B=0,∇×E+∂B∂t=0,\nabla\cdot\mathbf B=0, \qquad \nabla\times\mathbf E+\frac{\partial\mathbf B}{\partial t}=0,

follow automatically from the definition Fμν=∂μAν−∂νAμF_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu. Covariantly,∂λFμν+∂μFνλ+∂νFλμ=0.\partial_\lambda F_{\mu\nu} +\partial_\mu F_{\nu\lambda} +\partial_\nu F_{\lambda\mu}=0.

So the important distinction is:

  • Two Maxwell equations are equations of motion.
  • The other two are identities resulting from writing F=dAF=dA.

With a current, one addsLsource=−jμAμ,\mathcal L_{\text{source}}=-j_\mu A^\mu,

and obtains∂μFμν=jν.\boxed{\partial_\mu F^{\mu\nu}=j^\nu.}


3. Part (b): The apparent problem with the stress-energy tensor

Translation symmetry gives the canonical Noether tensorTcanμν=∂L∂(∂μAλ)∂νAλ−ημνL.T_{\text{can}}^{\mu\nu} = \frac{\partial\mathcal L} {\partial(\partial_\mu A_\lambda)} \partial^\nu A_\lambda -\eta^{\mu\nu}\mathcal L.

Substituting∂L∂(∂μAλ)=−Fμλ,\frac{\partial\mathcal L} {\partial(\partial_\mu A_\lambda)} =-F^{\mu\lambda},

givesTcanμν=−Fμλ∂νAλ+14ημνFρσFρσ\boxed{ T_{\text{can}}^{\mu\nu} = -F^{\mu\lambda}\partial^\nu A_\lambda +\frac14\eta^{\mu\nu}F_{\rho\sigma}F^{\rho\sigma} }

This tensor is conserved:∂μTcanμν=0.\partial_\mu T_{\text{can}}^{\mu\nu}=0.

But it has two unattractive features.

It is not manifestly gauge invariant

UnderAμ→Aμ+∂μα,A_\mu\rightarrow A_\mu+\partial_\mu\alpha,

the potential-dependent term changes.

It is not symmetric

In general,Tcanμν≠Tcanνμ.T_{\text{can}}^{\mu\nu}\neq T_{\text{can}}^{\nu\mu}.

That is awkward because the physical electromagnetic stress-energy tensor should be symmetric, particularly for angular momentum conservation and coupling the theory to gravity.


4. The key freedom: conserved tensors are not unique

If TμνT^{\mu\nu} is conserved, we may add a term of the formΔTμν=∂λXλμν,\Delta T^{\mu\nu} = \partial_\lambda X^{\lambda\mu\nu},

whereXλμν=−Xμλν.X^{\lambda\mu\nu}=-X^{\mu\lambda\nu}.

Then∂μΔTμν=∂μ∂λXλμν=0,\partial_\mu\Delta T^{\mu\nu} = \partial_\mu\partial_\lambda X^{\lambda\mu\nu}=0,

because the derivatives are symmetric under μ↔λ\mu\leftrightarrow\lambda, while XX is antisymmetric.

For electromagnetism, chooseΔTμν=∂λ(FμλAν).\Delta T^{\mu\nu} = \partial_\lambda \left(F^{\mu\lambda}A^\nu\right).

Using the source-free equation∂λFμλ=0,\partial_\lambda F^{\mu\lambda}=0,

this becomesΔTμν=Fμλ∂λAν.\Delta T^{\mu\nu} = F^{\mu\lambda}\partial_\lambda A^\nu.

Add it to the canonical tensor:Tμν=−Fμλ∂νAλ+Fμλ∂λAν+14ημνF2.T^{\mu\nu} = -F^{\mu\lambda}\partial^\nu A_\lambda + F^{\mu\lambda}\partial_\lambda A^\nu + \frac14\eta^{\mu\nu}F^2.

Combine the first two terms:Fμλ(∂λAν−∂νAλ)=−FμλFνλ.F^{\mu\lambda} \left( \partial_\lambda A^\nu-\partial^\nu A_\lambda \right) = -F^{\mu\lambda}F^\nu{}_{\lambda}.

Thus the improved tensor isTEMμν=−FμλFνλ+14ημνFρσFρσ\boxed{ T_{\mathrm{EM}}^{\mu\nu} = -F^{\mu\lambda}F^\nu{}_{\lambda} + \frac14\eta^{\mu\nu} F_{\rho\sigma}F^{\rho\sigma} }

This is the standard electromagnetic stress-energy tensor.


5. Why this is the correct physical answer

The improved tensor has all the desired properties:TEMμν=TEMνμ,T_{\mathrm{EM}}^{\mu\nu}=T_{\mathrm{EM}}^{\nu\mu},

it is gauge invariant because it depends only on FμνF_{\mu\nu}, and it remains conserved:∂μTEMμν=0.\partial_\mu T_{\mathrm{EM}}^{\mu\nu}=0.

Its components have familiar physical meanings:T00=12(E2+B2)T^{00} = \frac12\left(\mathbf E^2+\mathbf B^2\right)

is the electromagnetic energy density, whileT0i=(E×B)iT^{0i}=(\mathbf E\times\mathbf B)^i

is the energy flux or momentum density—the Poynting vector. The spatial components areTij=−EiEj−BiBj+12δij(E2+B2),T^{ij} = -E_iE_j-B_iB_j + \frac12\delta^{ij} \left(\mathbf E^2+\mathbf B^2\right),

which describe electromagnetic pressure and shear stress.

The added divergence does not change the total four-momentumPν=∫d3x T0ν,P^\nu=\int d^3x\,T^{0\nu},

provided the fields vanish sufficiently rapidly at spatial infinity. It changes the local bookkeeping, not the total conserved quantities.

The real lesson of Problem 2.1

This problem is teaching three foundational QFT ideas:

  1. Fields are obtained by applying the Euler–Lagrange principle to a Lagrangian density, just as particle equations follow from an ordinary Lagrangian.
  2. Noether currents are not unique. You may add identically conserved “improvement terms.”
  3. The naïve Noether tensor is not always the most physically useful representative. For gauge fields, it must be improved to make gauge invariance and symmetry manifest.

In one line:Canonical Noether tensor+harmless total divergence=physical electromagnetic stress-energy tensor.\boxed{ \text{Canonical Noether tensor} + \text{harmless total divergence} = \text{physical electromagnetic stress-energy tensor}. }

The post Peskin and Schroeder’s Problem 2.1 is really about a subtle question… appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
https://stationarystates.com/quantum-field-theory/peskin-and-schroeders-problem-2-1-is-really-about-a-subtle-question/feed/ 0
Vacuum energy of particle antiparticle pairs may be responsible for the value of cosmological constant? https://stationarystates.com/cosmology/vacuum-energy-of-particle-antiparticle-pairs-may-be-responsible-for-the-value-of-cosmological-constant/?utm_source=rss&utm_medium=rss&utm_campaign=vacuum-energy-of-particle-antiparticle-pairs-may-be-responsible-for-the-value-of-cosmological-constant https://stationarystates.com/cosmology/vacuum-energy-of-particle-antiparticle-pairs-may-be-responsible-for-the-value-of-cosmological-constant/#respond Fri, 18 Sep 2026 11:28:43 +0000 https://stationarystates.com/?p=1175 In short, No. There is an enormous discrepancy. However, this did not strictly disprove the idea that vacuum energy contributes to the cosmological constant. It showed that the simplest quantum-field-theory […]

The post Vacuum energy of particle antiparticle pairs may be responsible for the value of cosmological constant? appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
In short, No. There is an enormous discrepancy. However, this did not strictly disprove the idea that vacuum energy contributes to the cosmological constant. It showed that the simplest quantum-field-theory estimate is catastrophically wrong. This is the cosmological constant problem.

1. Observed cosmological constant

Using the Planck ΛCDM valuesH0=67.4 km s−1 Mpc−1,ΩΛ≈0.685,H_0=67.4\ \mathrm{km\,s^{-1}\,Mpc^{-1}}, \qquad \Omega_\Lambda \approx 0.685,

the cosmological constant isΛ=3ΩΛH02c2.\Lambda=\frac{3\Omega_\Lambda H_0^2}{c^2}.

Converting the Hubble constant:H0=2.184×10−18 s−1,H_0=2.184\times10^{-18}\ \mathrm{s^{-1}},

givesΛ≈1.09×10−52 m−2.\boxed{\Lambda\approx1.09\times10^{-52}\ \mathrm{m^{-2}}}.

That is the geometrical value appearing in Einstein’s equation. The corresponding vacuum-energy density isρΛ(E)=Λc48πG=ΩΛ3H02c28πG.\rho_\Lambda^{(E)} =\frac{\Lambda c^4}{8\pi G} =\Omega_\Lambda\frac{3H_0^2c^2}{8\pi G}.

Therefore,ρΛ(E)≈5.25×10−10 J m−3.\boxed{\rho_\Lambda^{(E)} \approx5.25\times10^{-10}\ \mathrm{J\,m^{-3}}}.

As an equivalent mass density:ρΛ(m)=ρΛ(E)c2≈5.85×10−27 kg m−3.\boxed{\rho_\Lambda^{(m)} =\frac{\rho_\Lambda^{(E)}}{c^2} \approx5.85\times10^{-27}\ \mathrm{kg\,m^{-3}}}.

That is only about 3.5 proton masses per cubic metre. Its characteristic particle-physics energy scale is[ρΛ(ℏc)3]1/4≈2.24×10−3 eV.\left[\rho_\Lambda(\hbar c)^3\right]^{1/4} \approx2.24\times10^{-3}\ \mathrm{eV}.

So dark energy corresponds to an extraordinarily small energy scale of approximately2.2 meV.\boxed{2.2\ \mathrm{meV}}.

These numbers use the Planck Collaboration’s ΛCDM parameters and standard constants from NIST. Planck cosmological parameters, NIST physical constants

2. Quantum-field vacuum-energy estimate

In quantum field theory, every field mode behaves like a harmonic oscillator with zero-point energyE0=12ℏω.E_0=\frac12\hbar\omega.

For one massless bosonic degree of freedom, summing all modes up to a maximum wave number kmax⁡k_{\max} givesρvac=∫0kmax⁡d3k(2π)312ℏck.\rho_{\rm vac} = \int_0^{k_{\max}} \frac{d^3k}{(2\pi)^3} \frac12\hbar ck.

Evaluating the integral:ρvac=ℏc16π2kmax⁡4.\rho_{\rm vac} = \frac{\hbar c}{16\pi^2}k_{\max}^4.

The natural extreme cutoff is the Planck scale:kmax⁡=1ℓP,ℓP=ℏGc3≈1.616×10−35 m.k_{\max}=\frac{1}{\ell_P}, \qquad \ell_P=\sqrt{\frac{\hbar G}{c^3}} \approx1.616\times10^{-35}\ \mathrm m.

Therefore,ρvacQFT=ℏc16π2ℓP4=c716π2ℏG2,\rho_{\rm vac}^{\rm QFT} = \frac{\hbar c}{16\pi^2\ell_P^4} = \frac{c^7}{16\pi^2\hbar G^2},

which givesρvacQFT≈2.93×10111 J m−3.\boxed{\rho_{\rm vac}^{\rm QFT} \approx2.93\times10^{111}\ \mathrm{J\,m^{-3}}}.

3. How far apart are they?

Compare this with the observed value:ρvacQFTρΛ(E)=2.93×101115.25×10−10≈5.58×10120.\frac{\rho_{\rm vac}^{\rm QFT}} {\rho_\Lambda^{(E)}} = \frac{2.93\times10^{111}} {5.25\times10^{-10}} \approx5.58\times10^{120}.

Thus,ρvacQFT is approximately 5.6×10120 times too large.\boxed{\rho_{\rm vac}^{\rm QFT} \text{ is approximately }5.6\times10^{120} \text{ times too large}.}

That is a discrepancy of approximately121 orders of magnitude.\boxed{121\text{ orders of magnitude}.}

Using the dimensional “one Planck energy per Planck volume” estimate givesρP=c7ℏG2≈4.63×10113 J m−3,\rho_P=\frac{c^7}{\hbar G^2} \approx4.63\times10^{113}\ \mathrm{J\,m^{-3}},

and thereforeρPρΛ≈8.8×10122,\frac{\rho_P}{\rho_\Lambda} \approx8.8\times10^{122},

or approximately 123 orders of magnitude. This is why the problem is commonly described as a 1012010^{120}-fold discrepancy; the exact exponent depends on the cutoff convention and numerical factors.

QuantityEnergy density
Observed dark-energy density5.25×10−10 J m−35.25\times10^{-10}\ \mathrm{J\,m^{-3}}
One-field Planck-cutoff estimate2.93×10111 J m−32.93\times10^{111}\ \mathrm{J\,m^{-3}}
Planck energy per Planck volume4.63×10113 J m−34.63\times10^{113}\ \mathrm{J\,m^{-3}}
Discrepancy1012110^{121}–1012310^{123}

What the discrepancy actually means

The popular description of “particle–antiparticle pairs constantly appearing in empty space” is only a heuristic picture. The calculation is really a sum of the zero-point energies of quantum fields.

Bosonic and fermionic fields contribute with opposite signs, so some cancellation can occur. But known physics provides no mechanism that cancels these contributions to roughly 120 decimal places while leaving the tiny positive remainder we observe.

In Einstein’s equation, only the total effective value matters:ρΛ,observed=ρΛ,bare+ρvacuumquantum+ρphase transitions+⋯\rho_{\Lambda,\rm observed} = \rho_{\Lambda,\rm bare} + \rho_{\rm vacuum}^{\rm quantum} + \rho_{\rm phase\ transitions} +\cdots

The mystery is why these individually enormous terms apparently cancel to produce5×10−10 J m−3.5\times10^{-10}\ \mathrm{J\,m^{-3}}.

So the conclusion is not that vacuum energy has been ruled out. It is that our present understanding of how quantum vacuum energy gravitates is profoundly incomplete.

The post Vacuum energy of particle antiparticle pairs may be responsible for the value of cosmological constant? appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
https://stationarystates.com/cosmology/vacuum-energy-of-particle-antiparticle-pairs-may-be-responsible-for-the-value-of-cosmological-constant/feed/ 0
Spaces that narrowly miss becoming Hilbert Spaces https://stationarystates.com/mathematical-physics/spaces-that-narrowly-miss-becoming-hilbert-spaces/?utm_source=rss&utm_medium=rss&utm_campaign=spaces-that-narrowly-miss-becoming-hilbert-spaces Tue, 01 Sep 2026 04:12:50 +0000 https://stationarystates.com/?p=1162 A Hilbert space is a vector space with: Several important spaces miss by just one condition. 1. Polynomials with the L2L^2 inner product: not complete LetP[0,1]={all polynomials on [0,1]}P[0,1]=\{\text{all polynomials on }[0,1]\} with⟨p,q⟩=∫01p(x)q(x)‾ dx.\langle […]

The post Spaces that narrowly miss becoming Hilbert Spaces appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
A Hilbert space is a vector space with:
  1. an inner product, which defines lengths and angles; and
  2. completeness—every Cauchy sequence converges to an element still inside the space.

Several important spaces miss by just one condition.

1. Polynomials with the L2L^2 inner product: not complete

LetP[0,1]={all polynomials on [0,1]}P[0,1]=\{\text{all polynomials on }[0,1]\}

with⟨p,q⟩=∫01p(x)q(x)‾ dx.\langle p,q\rangle=\int_0^1 p(x)\overline{q(x)}\,dx.

This is a valid inner-product space. But a sequence of polynomials can converge in L2L^2 to a non-polynomial function, such as exe^x.

Because the limit is outside P[0,1]P[0,1], the space is not complete and therefore not Hilbert.

Its completion is L2[0,1]L^2[0,1], which is a Hilbert space.


2. Finite sequences: an “unfinished” ℓ2\ell^2

Considerc00={(x1,x2,…):only finitely many xn≠0}c_{00}=\{(x_1,x_2,\ldots):\text{only finitely many }x_n\neq0\}

with the usual inner product⟨x,y⟩=∑n=1∞xnyn‾.\langle x,y\rangle=\sum_{n=1}^{\infty}x_n\overline{y_n}.

Every vector has finite support, so the sum is well defined. Now considerx(N)=(1,12,13,…,1N,0,0,…).x^{(N)}=\left(1,\frac12,\frac13,\ldots,\frac1N,0,0,\ldots\right).

This is a Cauchy sequence, but its limit would be(1,12,13,…),\left(1,\frac12,\frac13,\ldots\right),

which has infinitely many nonzero entries and therefore is not in c00c_{00}.

So c00c_{00} is an inner-product space but not complete. Its completion is ℓ2\ell^2.


3. Continuous functions with the L2L^2 norm: limits can become discontinuous

Take C[0,1]C[0,1], the continuous functions on [0,1][0,1], with⟨f,g⟩=∫01f(x)g(x)‾ dx.\langle f,g\rangle=\int_0^1 f(x)\overline{g(x)}\,dx.

Continuous functions can converge in this norm to a discontinuous function—for example, increasingly sharp continuous approximations to a step function.

Thus C[0,1]C[0,1] is not complete under the L2L^2 norm. Once again, its completion is L2[0,1]L^2[0,1].

A subtle point: C[0,1]C[0,1] is complete under the supremum norm, but that norm does not make it a Hilbert space.


4. C[0,1]C[0,1] with the supremum norm: complete, but no compatible inner product

Define∥f∥∞=max⁡x∈[0,1]∣f(x)∣.\|f\|_\infty=\max_{x\in[0,1]}|f(x)|.

This makes C[0,1]C[0,1] a complete normed space—a Banach space. However, the norm does not come from an inner product.

A norm induced by an inner product must satisfy the parallelogram identity:∥f+g∥2+∥f−g∥2=2∥f∥2+2∥g∥2.\|f+g\|^2+\|f-g\|^2 = 2\|f\|^2+2\|g\|^2.

The supremum norm does not always satisfy this identity. Therefore, C[0,1]C[0,1] with ∥⋅∥∞\|\cdot\|_\infty is Banach but not Hilbert.


5. ℓp\ell^p for p≠2p\neq2: complete, but with the wrong geometry

For 1≤p<∞1\le p<\infty,ℓp={x:∑n=1∞∣xn∣p<∞},∥x∥p=(∑∣xn∣p)1/p.\ell^p=\left\{x:\sum_{n=1}^{\infty}|x_n|^p<\infty\right\}, \qquad \|x\|_p=\left(\sum |x_n|^p\right)^{1/p}.

These spaces are complete. But when p≠2p\neq2, their usual norm does not come from an inner product.

For example, takex=(1,0),y=(0,1).x=(1,0),\qquad y=(0,1).

In ℓp\ell^p,∥x+y∥p=∥x−y∥p=21/p.\|x+y\|_p=\|x-y\|_p=2^{1/p}.

The parallelogram identity would require2⋅22/p=4,2\cdot2^{2/p}=4,

which holds only when p=2p=2.

Thus ℓ1,ℓ3,ℓ4,…\ell^1,\ell^3,\ell^4,\ldots are Banach spaces but not Hilbert spaces.


6. Lp[0,1]L^p[0,1] for p≠2p\neq2: complete, but not inner-product spaces

Similarly,∥f∥p=(∫01∣f(x)∣p dx)1/p\|f\|_p=\left(\int_0^1|f(x)|^p\,dx\right)^{1/p}

makes Lp[0,1]L^p[0,1] complete for p≥1p\ge1. But its usual norm comes from an inner product only for p=2p=2.

So L1L^1 and L3L^3, for example, have well-behaved limits but lack Hilbert-space notions such as orthogonality, angles, and orthogonal projection.


7. Minkowski spacetime: has a bilinear form, but it is not positive definite

Special relativity uses⟨x,x⟩M=−x02+x12+x22+x32.\langle x,x\rangle_M = -x_0^2+x_1^2+x_2^2+x_3^2.

This resembles an inner product, but it can be negative or zero even for a nonzero vector. A lightlike vector satisfies⟨x,x⟩M=0whilex≠0.\langle x,x\rangle_M=0 \quad\text{while}\quad x\neq0.

It therefore fails the positive-definiteness requirement. Minkowski space is an indefinite inner-product space, not a Hilbert space.


8. Smooth functions: too restrictive to contain all their limits

Consider C∞[0,1]C^\infty[0,1], the infinitely differentiable functions, with the L2L^2 inner product.

A sequence of smooth functions may converge in L2L^2 to a nonsmooth or discontinuous function. The limit therefore leaves C∞[0,1]C^\infty[0,1].

So the space possesses an inner product but is not complete in the resulting norm.


The two most common “near misses” are therefore:

SpaceInner product?Complete?Hilbert?
c00c_{00} with ℓ2\ell^2 normYesNoNo
Polynomials with L2L^2 normYesNoNo
C[0,1]C[0,1] with L2L^2 normYesNoNo
C[0,1]C[0,1] with sup normNo compatible oneYesNo
ℓp, p≠2\ell^p,\ p\neq2No compatible oneYesNo
Lp, p≠2L^p,\ p\neq2No compatible oneYesNo
Minkowski spaceIndefinite formFinite-dimensionalNo
ℓ2\ell^2 or L2L^2YesYesYes

The closest misses are c00c_{00}, polynomials, and smooth functions: they already possess the correct Hilbert-space geometry but contain “holes.” Completing them fills those holes and produces a genuine Hilbert space.

The post Spaces that narrowly miss becoming Hilbert Spaces appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
A perfect nowhere dense set https://stationarystates.com/uncategorized/a-perfect-nowhere-dense-set/?utm_source=rss&utm_medium=rss&utm_campaign=a-perfect-nowhere-dense-set Thu, 30 Jul 2026 16:42:13 +0000 https://stationarystates.com/?p=1159 A perfect nowhere dense set is a subset of a topological space (usually the real numbers R\mathbb{R}R) that satisfies two seemingly contradictory properties:Perfect: The set is closed and has no […]

The post A perfect nowhere dense set appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
A perfect nowhere dense set is a subset of a topological space (usually the real numbers R\mathbb{R}R) that satisfies two seemingly contradictory properties:
Perfect: The set is closed and has no isolated points. Every point in the set is a limit point of other points in the set.
Nowhere dense: The closure of the set has empty interior. In other words, it contains no interval (no nonempty open set).
The most famous example is the Cantor set.
The Cantor Set
Construct it as follows:
Start with the interval [0,1][0,1][0,1].
Remove the open middle third:
(13,23).\left(\frac13,\frac23\right).(31​,32​).
Remove the middle third of each remaining interval:
(19,29),(79,89).\left(\frac19,\frac29\right),\quad \left(\frac79,\frac89\right).(91​,92​),(97​,98​).
Continue forever.
The remaining set is the Cantor set CCC.
Why is it perfect?
It is the intersection of closed sets, so it is closed.
Every point has infinitely many other Cantor points arbitrarily close to it.
There are no isolated points.
Thus, every point is an accumulation point.
Why is it nowhere dense?
Although infinitely many points remain, they are spread so thinly that the set contains no interval whatsoever.
Equivalently,
int⁡(C‾)=int⁡(C)=∅.\operatorname{int}(\overline{C})=\operatorname{int}(C)=\varnothing.int(C)=int(C)=∅. Interesting Properties
The Cantor set is remarkably rich:
✔ Perfect
✔ Nowhere dense
✔ Compact
✔ Totally disconnected
✔ Uncountable
✔ Lebesgue measure 000
These properties make it a cornerstone of real analysis, topology, and fractal geometry.
Why is this surprising?
Intuition often suggests that if a set has no intervals, it should be “small.” But the Cantor set is uncountably infinite—it has the same cardinality as the entire interval [0,1][0,1][0,1]:
∣C∣=∣R∣.|C| = |\mathbb{R}|.∣C∣=∣R∣. So it is “large” in terms of cardinality, yet “small” in terms of measure and topology.
General Definition
In a topological space XXX, a subset AAA is perfect nowhere dense if
A=A‾,A = \overline{A},A=A, A′=A,A’ = A,A′=A, (where A′A’A′ is the set of limit points), and
int⁡(A‾)=∅.\operatorname{int}(\overline{A})=\varnothing.int(A)=∅. Why are perfect nowhere dense sets important?
They appear throughout mathematics:
Baire Category Theorem distinguishes “large” (comeager) sets from nowhere dense ones.
Fractal geometry, where many classic fractals are perfect nowhere dense sets.
Dynamical systems, as invariant Cantor-like attractors.
Functional analysis, where exceptional sets are often constructed as countable unions of nowhere dense sets.
Descriptive set theory, where perfect sets play a central role in classification theorems.
The Cantor set is the canonical example because it demonstrates that a set can be simultaneously:
infinitely detailed,
uncountably large,
have zero length,
contain no intervals,
and yet have every point densely surrounded by other points of the set.ematical set can be closed, uncountably infinite, filled with accumulation points—and still contain no interval.

The post A perfect nowhere dense set appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
Constant Coefficients for a Differential Equation -> means translational symmetry (and temporal symmetry). https://stationarystates.com/mathematical-physics/constant-coefficients-for-a-differential-equation-means-translational-symmetry-and-temporal-symmetry/?utm_source=rss&utm_medium=rss&utm_campaign=constant-coefficients-for-a-differential-equation-means-translational-symmetry-and-temporal-symmetry Tue, 23 Jun 2026 16:16:46 +0000 https://stationarystates.com/?p=1156 Intro The key point is that constant coefficients mean the equation itself does not change when you shift the coordinates. Let’s look at the KG equation carefully:(□+m2)ϕ(x)=0(\Box + m^2)\phi(x)=0(□+m2)ϕ(x)=0 or(∂2∂t2−∇2+m2)ϕ(x)=0.\left( […]

The post Constant Coefficients for a Differential Equation -> means translational symmetry (and temporal symmetry). appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
Intro

The key point is that constant coefficients mean the equation itself does not change when you shift the coordinates.

Let’s look at the KG equation carefully:(□+m2)ϕ(x)=0(\Box + m^2)\phi(x)=0(□+m2)ϕ(x)=0

or(∂2∂t2−∇2+m2)ϕ(x)=0.\left( \frac{\partial^2}{\partial t^2} -\nabla^2 +m^2 \right)\phi(x)=0.(∂t2∂2​−∇2+m2)ϕ(x)=0.

Notice that the coefficients in front of the derivatives are just numbers:1,−1,m2.1,\quad -1,\quad m^2.1,−1,m2.

They do not depend on xxx or ttt.


Contrast with a non-translationally invariant equation

Suppose instead we had(∂2∂t2−∇2+x2)ϕ=0.\left( \frac{\partial^2}{\partial t^2} -\nabla^2 +x^2 \right)\phi=0.(∂t2∂2​−∇2+x2)ϕ=0.

Now perform a translationx→x+a.x \rightarrow x+a.x→x+a.

The equation becomes(∂2∂t2−∇2+(x+a)2)ϕ=0.\left( \frac{\partial^2}{\partial t^2} -\nabla^2 +(x+a)^2 \right)\phi=0.(∂t2∂2​−∇2+(x+a)2)ϕ=0.

Expanding:x2+2ax+a2.x^2+2ax+a^2.x2+2ax+a2.

The equation has changed!

Therefore the physics at x=0x=0x=0 differs from the physics at x=100x=100x=100.

There is a preferred location.

Translation symmetry is broken.


Now do the same for KG

Define a translated fieldϕ′(x)=ϕ(x−a).\phi'(x)=\phi(x-a).ϕ′(x)=ϕ(x−a).

Apply the KG operator:(□+m2)ϕ′(x)=(□+m2)ϕ(x−a).(\Box+m^2)\phi'(x) = (\Box+m^2)\phi(x-a).(□+m2)ϕ′(x)=(□+m2)ϕ(x−a).

Since derivatives commute with constant shifts,∂μϕ(x−a)=(∂μϕ)(x−a).\partial_\mu \phi(x-a) = (\partial_\mu \phi)(x-a).∂μ​ϕ(x−a)=(∂μ​ϕ)(x−a).

Therefore(□+m2)ϕ(x−a)=[(□+m2)ϕ](x−a).(\Box+m^2)\phi(x-a) = \big[(\Box+m^2)\phi\big](x-a).(□+m2)ϕ(x−a)=[(□+m2)ϕ](x−a).

But ϕ\phiϕ satisfies KG:(□+m2)ϕ=0.(\Box+m^2)\phi=0.(□+m2)ϕ=0.

Hence(□+m2)ϕ′(x)=0.(\Box+m^2)\phi'(x)=0.(□+m2)ϕ′(x)=0.

The translated solution is again a solution.

That is exactly what we mean by translation symmetry.


Time translations work identically

Takeϕ′(t,x)=ϕ(t−b,x).\phi'(t,\mathbf x) = \phi(t-b,\mathbf x).ϕ′(t,x)=ϕ(t−b,x).

Then(□+m2)ϕ′=0.(\Box+m^2)\phi’ = 0.(□+m2)ϕ′=0.

Again, the equation is unchanged.

No preferred time exists.


The deeper mathematical statement

A translation isxμ→xμ+aμ.x^\mu \rightarrow x^\mu+a^\mu.xμ→xμ+aμ.

The KG operator is□+m2.\Box+m^2.□+m2.

Notice that neither □\Box□ nor m2m^2m2 contains xμx^\muxμ.

Therefore[□+m2,  Pμ]=0,[\Box+m^2,\;P_\mu]=0,[□+m2,Pμ​]=0,

wherePμ=i∂μP_\mu=i\partial_\muPμ​=i∂μ​

is the generator of translations.

Because the translation generators commute with the equation, solutions can be chosen to be eigenfunctions of PμP_\muPμ​.

Those eigenfunctions satisfyPμϕ=pμϕ.P_\mu\phi=p_\mu\phi.Pμ​ϕ=pμ​ϕ.

Solving givesϕ(x)=e−ip⋅x.\phi(x)=e^{-ip\cdot x}.ϕ(x)=e−ip⋅x.

This is where the plane waves come from.


Physical intuition

Imagine a perfectly infinite ocean.

The wave equation is∂2ψ∂t2−c2∇2ψ=0.\frac{\partial^2\psi}{\partial t^2} -c^2\nabla^2\psi=0.∂t2∂2ψ​−c2∇2ψ=0.

Every point of the ocean looks identical.

A wave doesn’t care whether it is at:

  • x=0x=0x=0
  • x=1000x=1000x=1000
  • x=−106x=-10^6x=−106

The equation is the same everywhere.

The natural solutions are traveling wavesei(kx−ωt).e^{i(kx-\omega t)}.ei(kx−ωt).

The KG field is exactly the relativistic version of this idea.

If the coefficients depended on position, the medium would be inhomogeneous, like water whose density changes from place to place. Then momentum eigenstates would no longer be the natural modes.


The connection to Noether’s theorem

The chain of logic is:Constant coefficients⟹Translation symmetry⟹Conserved momentum and energy⟹Momentum/energy eigenfunctions are natural⟹e−ip⋅x.\text{Constant coefficients} \Longrightarrow \text{Translation symmetry} \Longrightarrow \text{Conserved momentum and energy} \Longrightarrow \text{Momentum/energy eigenfunctions are natural} \Longrightarrow e^{-ip\cdot x}.Constant coefficients⟹Translation symmetry⟹Conserved momentum and energy⟹Momentum/energy eigenfunctions are natural⟹e−ip⋅x.

This is why Peskin and Schroeder immediately look for plane-wave solutions. They are the normal modes associated with spacetime translation symmetry.

The post Constant Coefficients for a Differential Equation -> means translational symmetry (and temporal symmetry). appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
Why look for eigenfunctions of energy and momentum (KG Equation)? https://stationarystates.com/quantum-field-theory/why-look-for-eigenfunctions-of-energy-and-momentum-kg-equation/?utm_source=rss&utm_medium=rss&utm_campaign=why-look-for-eigenfunctions-of-energy-and-momentum-kg-equation Tue, 23 Jun 2026 11:00:15 +0000 https://stationarystates.com/?p=1154 Chapter 2 of Peskin and Schroder ‘An Intro to QFT’ contains something like this: Just as in ordinary quantum mechanics, we look for eigenfunctions of momentum and energy:ϕ(x)=e−ip⋅x\phi(x)=e^{-ip\cdot x}ϕ(x)=e−ip⋅x wherep⋅x=pμxμ=Et−p⋅xp\cdot […]

The post Why look for eigenfunctions of energy and momentum (KG Equation)? appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
Chapter 2 of Peskin and Schroder ‘An Intro to QFT’ contains something like this:

Just as in ordinary quantum mechanics, we look for eigenfunctions of momentum and energy:ϕ(x)=e−ip⋅x\phi(x)=e^{-ip\cdot x}ϕ(x)=e−ip⋅x

wherep⋅x=pμxμ=Et−p⋅xp\cdot x = p_\mu x^\mu = Et-\mathbf{p}\cdot\mathbf{x}p⋅x=pμ​xμ=Et−p⋅x

so explicitlyϕ(x)=e−i(Et−p⋅x)\phi(x) = e^{-i(Et-\mathbf{p}\cdot\mathbf{x})}ϕ(x)=e−i(Et−p⋅x)


Why look for energy and momentum functions as a trial solution?

Step 1: Think about the Schrödinger Equation

In ordinary quantum mechanics, if the Hamiltonian doesn’t depend on position,H^=p^22m\hat H = \frac{\hat p^2}{2m}H^=2mp^​2​

then momentum is conserved.

The momentum operator isp^=−i∇\hat p = -i\nablap^​=−i∇

and its eigenfunctions satisfyp^ψ=pψ.\hat p \psi = p\psi.p^​ψ=pψ.

The solutions areψ(x)=eip⋅x.\psi(\mathbf x) = e^{i\mathbf p\cdot\mathbf x}.ψ(x)=eip⋅x.

Why?

Because derivatives of exponentials reproduce the same exponential:−i∇eip⋅x=p eip⋅x.-i\nabla e^{i\mathbf p\cdot\mathbf x} = \mathbf p\, e^{i\mathbf p\cdot\mathbf x}.−i∇eip⋅x=peip⋅x.

This makes exponentials the natural building blocks of the theory.


Step 2: Same Idea for the KG Equation

The KG equation is(□+m2)ϕ=0.(\Box+m^2)\phi=0.(□+m2)ϕ=0.

Notice that its coefficients are constants.

There is no preferred location:x→x+a.x \rightarrow x+a.x→x+a.

Likewise there is no preferred time:t→t+b.t \rightarrow t+b.t→t+b.

Therefore:

  • Momentum is conserved.
  • Energy is conserved.

Whenever a differential equation has translation symmetry, its natural modes are eigenfunctions of the translation operators.


Step 3: What Generates Translations?

Suppose we shift space:x→x+ϵ.x \rightarrow x+\epsilon.x→x+ϵ.

The generator of this transformation isp^=−i∂x.\hat p = -i\partial_x.p^​=−i∂x​.

Likewise time translations are generated byH^=i∂t.\hat H = i\partial_t.H^=i∂t​.

Thus momentum and energy are literally the operators that describe spacetime translations.


Step 4: Find Simultaneous Eigenfunctions

We seek states satisfyingH^ϕ=Eϕ\hat H \phi = E\phiH^ϕ=Eϕ

andp^ϕ=pϕ.\hat{\mathbf p}\phi = \mathbf p\phi.p^​ϕ=pϕ.

UsingH^=i∂t,p^=−i∇,\hat H=i\partial_t, \qquad \hat{\mathbf p}=-i\nabla,H^=i∂t​,p^​=−i∇,

we geti∂tϕ=Eϕi\partial_t\phi=E\phii∂t​ϕ=Eϕ

and−i∇ϕ=pϕ.-i\nabla\phi=\mathbf p\phi.−i∇ϕ=pϕ.

Solving these givesϕ(x)=e−iEteip⋅x=e−ip⋅x.\phi(x) = e^{-iEt} e^{i\mathbf p\cdot\mathbf x} = e^{-ip\cdot x}.ϕ(x)=e−iEteip⋅x=e−ip⋅x.

So the plane wave is not a guess.

It is the unique simultaneous eigenfunction of energy and momentum.


Step 5: Why Are Plane Waves So Useful?

Because the KG equation is linear.

Ifϕ1\phi_1ϕ1​

andϕ2\phi_2ϕ2​

are solutions, thenaϕ1+bϕ2a\phi_1+b\phi_2aϕ1​+bϕ2​

is also a solution.

The plane waves form a complete basis.

Therefore any solution can be written asϕ(x)=∫d3p A(p)e−ip⋅x.\phi(x) = \int d^3p\, A(\mathbf p)e^{-ip\cdot x}.ϕ(x)=∫d3pA(p)e−ip⋅x.

This is exactly analogous to a Fourier transform.


Step 6: The Deeper QFT View

In QFT, every momentum mode becomes an independent harmonic oscillator.

For a given momentum p\mathbf pp,ϕp(t)∼e−iEpt.\phi_{\mathbf p}(t) \sim e^{-iE_{\mathbf p}t}.ϕp​(t)∼e−iEp​t.

whereEp=p2+m2.E_{\mathbf p} = \sqrt{\mathbf p^2+m^2}.Ep​=p2+m2​.

Thus the field can be decomposed into infinitely many oscillators labeled by momentum.

That is why Peskin and Schroeder immediately move to momentum eigenmodes.

The momentum basis diagonalizes the theory.


The Most Fundamental Reason

The deepest reason comes from Noether’s theorem.

SymmetryConserved Quantity
Time translationEnergy
Space translationMomentum

The Klein-Gordon equation is invariant under both.

Therefore energy and momentum are the natural quantum numbers.

The plane wavese−ip⋅xe^{-ip\cdot x}e−ip⋅x

are precisely the states with definite values of those conserved quantities.

The post Why look for eigenfunctions of energy and momentum (KG Equation)? appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
Plane wave solutions to the Klein Gordon Equation https://stationarystates.com/quantum-field-theory/plane-wave-solutions-to-the-klein-gordon-equation/?utm_source=rss&utm_medium=rss&utm_campaign=plane-wave-solutions-to-the-klein-gordon-equation Sun, 21 Jun 2026 12:46:51 +0000 https://stationarystates.com/?p=1151 The Klein-Gordon (KG) equation is the relativistic wave equation for a spin-0 particle. In natural units (ℏ=c=1\hbar=c=1ℏ=c=1):(□+m2)ϕ(x)=0(\Box + m^2)\phi(x)=0(□+m2)ϕ(x)=0 where□≡∂μ∂μ=∂2∂t2−∇2.\Box \equiv \partial_\mu\partial^\mu = \frac{\partial^2}{\partial t^2} -\nabla^2.□≡∂μ​∂μ=∂t2∂2​−∇2. Explicitly,(∂2∂t2−∇2+m2)ϕ(x)=0.\left( \frac{\partial^2}{\partial t^2} -\nabla^2 […]

The post Plane wave solutions to the Klein Gordon Equation appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
The Klein-Gordon (KG) equation is the relativistic wave equation for a spin-0 particle.

In natural units (ℏ=c=1\hbar=c=1ℏ=c=1):(□+m2)ϕ(x)=0(\Box + m^2)\phi(x)=0(□+m2)ϕ(x)=0

where□≡∂μ∂μ=∂2∂t2−∇2.\Box \equiv \partial_\mu\partial^\mu = \frac{\partial^2}{\partial t^2} -\nabla^2.□≡∂μ​∂μ=∂t2∂2​−∇2.

Explicitly,(∂2∂t2−∇2+m2)ϕ(x)=0.\left( \frac{\partial^2}{\partial t^2} -\nabla^2 +m^2 \right)\phi(x)=0.(∂t2∂2​−∇2+m2)ϕ(x)=0.


Step 1: Plane-Wave Solutions

We first look for solutions of the formϕ(x)=Ae−ip⋅x\phi(x)=Ae^{-ip\cdot x}ϕ(x)=Ae−ip⋅x

wherep⋅x=Et−p⋅x.p\cdot x = Et-\mathbf p\cdot \mathbf x.p⋅x=Et−p⋅x.

Substituting into the KG equation gives(−E2+p2+m2)ϕ=0.(-E^2+\mathbf p^2+m^2)\phi=0.(−E2+p2+m2)ϕ=0.

ThereforeE2=p2+m2.E^2=\mathbf p^2+m^2.E2=p2+m2.

This is the relativistic energy-momentum relation.

Thus for every momentum p\mathbf pp,Ep=p2+m2.E_p=\sqrt{\mathbf p^2+m^2}.Ep​=p2+m2​.

and we obtain two solutionse−iEpt+ip⋅xe^{-iE_pt+i\mathbf p\cdot\mathbf x}e−iEp​t+ip⋅x

ande+iEpt−ip⋅x.e^{+iE_pt-i\mathbf p\cdot\mathbf x}.e+iEp​t−ip⋅x.


Step 2: General Solution

The most general solution is a superposition of all momentum modes:ϕ(x)=∫d3p(2π)3[a(p)e−ip⋅x+b(p)eip⋅x]\boxed{ \phi(x)= \int \frac{d^3p}{(2\pi)^3} \left[ a(\mathbf p)e^{-ip\cdot x} + b(\mathbf p)e^{ip\cdot x} \right] }ϕ(x)=∫(2π)3d3p​[a(p)e−ip⋅x+b(p)eip⋅x]​

wherepμ=(Ep,p).p^\mu=(E_p,\mathbf p).pμ=(Ep​,p).

This is the classical KG field.


Step 3: Meaning of Each Term

The integral

∫d3p\int d^3p∫d3p

adds together waves of every possible momentum.

Just as a Fourier series adds sine waves of different frequencies.


The factor

e−ip⋅x=e−iEpt+ip⋅xe^{-ip\cdot x} = e^{-iE_pt+i\mathbf p\cdot\mathbf x}e−ip⋅x=e−iEp​t+ip⋅x

represents a positive-frequency mode.

The phase oscillates forward in time.


The factor

e+ip⋅x=e+iEpt−ip⋅xe^{+ip\cdot x} = e^{+iE_pt-i\mathbf p\cdot\mathbf x}e+ip⋅x=e+iEp​t−ip⋅x

represents a negative-frequency mode.

In relativistic quantum mechanics this was interpreted as a negative-energy solution.

In QFT it becomes an antiparticle mode.


The coefficients

a(p)a(\mathbf p)a(p)

tell us how much of momentum p\mathbf pp exists in the positive-frequency part.


b(p)b(\mathbf p)b(p)

tell us how much of momentum p\mathbf pp exists in the negative-frequency part.

They are determined by the initial conditions:ϕ(x,0)\phi(\mathbf x,0)ϕ(x,0)

andϕ˙(x,0).\dot\phi(\mathbf x,0).ϕ˙​(x,0).


Step 4: Real Scalar Field

If the field is real,ϕ∗(x)=ϕ(x),\phi^*(x)=\phi(x),ϕ∗(x)=ϕ(x),

then the coefficients cannot be independent.

Reality requiresb(p)=a∗(p).b(\mathbf p)=a^*(\mathbf p).b(p)=a∗(p).

Thereforeϕ(x)=∫d3p(2π)3[a(p)e−ip⋅x+a∗(p)eip⋅x]\boxed{ \phi(x)= \int \frac{d^3p}{(2\pi)^3} \left[ a(\mathbf p)e^{-ip\cdot x} + a^*(\mathbf p)e^{ip\cdot x} \right] }ϕ(x)=∫(2π)3d3p​[a(p)e−ip⋅x+a∗(p)eip⋅x]​

The field contains positive and negative frequencies, but only one physical particle species.

Examples:

  • Neutral pion (approximately)
  • Higgs field

Step 5: Complex Scalar Field

For a complex field,ϕ(x)≠ϕ∗(x),\phi(x)\neq\phi^*(x),ϕ(x)=ϕ∗(x),

and aaa and bbb are independent.

The solution becomesϕ(x)=∫d3p(2π)3[a(p)e−ip⋅x+b(p)eip⋅x]\boxed{ \phi(x)= \int \frac{d^3p}{(2\pi)^3} \left[ a(\mathbf p)e^{-ip\cdot x} + b(\mathbf p)e^{ip\cdot x} \right] }ϕ(x)=∫(2π)3d3p​[a(p)e−ip⋅x+b(p)eip⋅x]​

Now there are two independent sets of excitations.

In QFT these become:

  • particle operators
  • antiparticle operators

respectively.


Step 6: QFT Interpretation

After quantization,a(p)→a^(p)a(\mathbf p) \rightarrow \hat a(\mathbf p)a(p)→a^(p)

andb(p)→b^†(p).b(\mathbf p) \rightarrow \hat b^\dagger(\mathbf p).b(p)→b^†(p).

The field operator becomesϕ^(x)=∫d3p(2π)312Ep[a^(p)e−ip⋅x+b^†(p)eip⋅x]\boxed{ \hat\phi(x) = \int \frac{d^3p}{(2\pi)^3} \frac{1}{\sqrt{2E_p}} \left[ \hat a(\mathbf p)e^{-ip\cdot x} + \hat b^\dagger(\mathbf p)e^{ip\cdot x} \right] }ϕ^​(x)=∫(2π)3d3p​2Ep​​1​[a^(p)e−ip⋅x+b^†(p)eip⋅x]​

where:

  • a^\hat aa^ annihilates a particle
  • a^†\hat a^\daggera^† creates a particle
  • b^\hat bb^ annihilates an antiparticle
  • b^†\hat b^\daggerb^† creates an antiparticle

This is the modern interpretation of the KG solution.


Physical Picture

Think of the KG field as an infinite collection of relativistic harmonic oscillators.

For every momentum p\mathbf pp, there are two oscillatory modes:e−iEptande+iEpt.e^{-iE_pt} \qquad\text{and}\qquad e^{+iE_pt}.e−iEp​tande+iEp​t.

In classical field theory they are simply Fourier components.

In QFT they become:particle creation/annihilation modes\text{particle creation/annihilation modes}particle creation/annihilation modes

andantiparticle creation/annihilation modes.\text{antiparticle creation/annihilation modes}.antiparticle creation/annihilation modes.

That reinterpretation is precisely what removes the “negative energy problem” you asked about earlier. The e+iEpte^{+iE_pt}e+iEp​t solutions never disappear; they are reinterpreted as antiparticle degrees of freedom rather than physical states of negative energy.

The post Plane wave solutions to the Klein Gordon Equation appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>