Subluminal and superluminal velocities of free-space photons
Pith reviewed 2026-05-15 20:41 UTC · model grok-4.3
The pith
Spatially localized wavepackets in free space always travel with a group velocity below c and a phase velocity above c whose product equals c squared.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Rectilinear free-space propagation of spatially localized electromagnetic wavepackets is characterized by a subluminal group velocity and a superluminal phase velocity whose product equals c squared. These velocities coincide with the energy velocity and momentum velocity, respectively. The relation holds across electromagnetic field theory, scalar wavepacket evolution, and quantum photon wavefunction treatments, and is verified by direct calculation for Gaussian and higher-order beams.
What carries the argument
The fixed product of group velocity and phase velocity equaling c squared for any spatially localized wavepacket.
If this is right
- Energy transport through a localized packet always occurs at the subluminal group velocity.
- The superluminal phase velocity corresponds to the momentum velocity and does not carry information.
- The same velocity product appears in both classical and quantum descriptions of the photon.
- Higher-order beams and packets obey the identical relation as fundamental Gaussian modes.
Where Pith is reading between the lines
- The result may clarify why some pulsed-beam experiments appear to show superluminal features while preserving causality.
- Analogous velocity duality could be tested in acoustic or matter-wave packets under similar localization conditions.
- Photon arrival-time statistics in quantum optics might need reinterpretation once group and phase contributions are separated this way.
Load-bearing premise
The wavepackets remain perfectly rectilinear and spatially localized without dispersion or boundary interactions that would change the velocity product.
What would settle it
A precision measurement of both group and phase velocities for a freely propagating, spatially localized Gaussian wavepacket in vacuum that finds their product differing from c squared.
read the original abstract
We consider rectilinear free-space propagation of electromagnetic wavepackets using electromagnetic field theory, scalar wavepacket propagation, and quantum-mechanical formalism. We demonstrate that spatially localized wavepackets are inherently characterized by a subluminal group velocity and a superluminal phase velocity, whose product equals $c^2$. These velocities are also known as the 'energy' and 'momentum' velocities, introduced by K. Milton and J. Schwinger. We illustrate general conclusions by explicit calculations for Gaussian and higher-order beams and wavepackets, and also highlight subtleties of the quantum-mechanical description based on the 'photon wavefunction'.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that spatially localized electromagnetic wavepackets undergoing rectilinear free-space propagation are inherently characterized by a subluminal group velocity and a superluminal phase velocity whose product equals c². These are identified with the energy and momentum velocities of Milton and Schwinger. The claim is supported via electromagnetic field theory, scalar wavepacket propagation, and quantum-mechanical formalism, with explicit calculations for Gaussian and higher-order beams and wavepackets, plus discussion of photon-wavefunction subtleties.
Significance. If the result is shown to hold invariantly under propagation, the work would clarify the interpretation of phase and group velocities for localized free-space packets and link them directly to conserved energy-momentum quantities. The provision of explicit calculations for standard beam profiles and the use of multiple independent formalisms constitute a concrete strength.
major comments (1)
- [Explicit calculations for Gaussian and higher-order beams] The explicit calculations for Gaussian and higher-order beams (and the supporting derivations) are performed at a fixed reference plane, typically the waist. Because free-space diffraction evolves the transverse spectrum, increasing the effective k_⊥ distribution and rendering β(z) position-dependent, the manuscript must propagate the packets and verify that the product v_g v_p remains exactly c² at arbitrary z. Without this demonstration the 'inherently characterized' claim for rectilinear propagation is not yet established.
minor comments (1)
- [Quantum-mechanical formalism] The quantum-mechanical section would benefit from a brief explicit statement of how the phase and group velocities are extracted from the photon wavefunction to make the correspondence with the classical results fully transparent.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and for the constructive comments. We appreciate the positive assessment of the multi-formalism approach and the explicit calculations. We address the major comment below and will revise the manuscript to incorporate the requested demonstration.
read point-by-point responses
-
Referee: [Explicit calculations for Gaussian and higher-order beams] The explicit calculations for Gaussian and higher-order beams (and the supporting derivations) are performed at a fixed reference plane, typically the waist. Because free-space diffraction evolves the transverse spectrum, increasing the effective k_⊥ distribution and rendering β(z) position-dependent, the manuscript must propagate the packets and verify that the product v_g v_p remains exactly c² at arbitrary z. Without this demonstration the 'inherently characterized' claim for rectilinear propagation is not yet established.
Authors: We agree that verifying the relation at arbitrary propagation distances is necessary to fully substantiate the claim of inherent characterization during rectilinear free-space propagation. Although the general electromagnetic field theory, scalar wavepacket analysis, and quantum-mechanical formalism are derived without reference to a specific plane and rely on the fixed transverse wavevector spectrum together with the dispersion relation that enforces v_g v_p = c² independently of z, the explicit illustrations were indeed given at the waist for simplicity. We will revise the manuscript by propagating the Gaussian and higher-order wavepackets to selected planes z ≠ 0, recomputing the local group and phase velocities, and confirming that the product remains exactly c². These additional calculations will be added to the relevant sections. revision: yes
Circularity Check
No circularity: velocities follow algebraically from free-space dispersion on superposed plane waves
full rationale
The central claim follows directly from the linear dispersion relation ω = c |k| applied to any superposition with nonzero transverse wave-vector components k_⊥. For each spectral component the longitudinal wave number is k_z = sqrt((ω/c)^2 − k_⊥²), so the phase velocity ω/k_z and group velocity c² k_z/ω are related by the algebraic identity v_g v_p = c². This identity is an immediate consequence of the dispersion relation itself and does not rely on any fitted parameter, self-referential definition, or prior result by the same authors. Explicit Gaussian and higher-order examples are simply evaluations of the same identity at a fixed reference plane; they are not predictions that are forced by construction. No load-bearing step reduces to a self-citation or to an ansatz smuggled in from earlier work. The derivation is therefore self-contained against external benchmarks (Maxwell equations in free space) and receives the default non-circularity score.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard electromagnetic field theory and Maxwell equations govern free-space propagation.
- domain assumption A quantum-mechanical photon wavefunction description is valid for the wavepackets considered.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
spatially localized wavepackets are inherently characterized by a subluminal group velocity and a superluminal phase velocity, whose product equals c²
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
using the paraxial approximation for the longitudinal wavevector component, kz ≃ k − k⊥²/2k
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 1 Pith paper
-
Expectation Pauli-Lubanski vector and intrinsic angular momentum of relativistic wavepackets
The expectation Pauli-Lubanski vector defines intrinsic angular momentum of relativistic wavepackets relative to their energy centroid without zero-mass singularities, permitting arbitrary orientation to momentum even...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.