How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Adopted momentum model for an ideal massless particle
Ideal classical massless point particles in flat Minkowski spacetime, modelled by a nonzero future null four-momentum whose energy and momentum are identified with the observer quantities, and whose scale is fixed by a measured energy. Excludes four-velocities, proper time and rest frames for the particle, any massive limit m -> 0, the identification with light or classical waves, quantum properties, and every interaction, decay, production or empirical claim.
Postulate
Adopt as a separate model premise for ideal massless particles, independent of Adopted massive-particle momentum, observer measurement and isolated-collision conservation whose formula uses and does not define a massless case:
(i) The object. An ideal massless particle of the model is described by a nonzero future null vector (Timelike, null, spacelike and causal vectors of a Lorentz vector space, Time orientation, future and past timelike/null/causal vectors, and the closed cones) whose SI unit is kilogram metre per second (SI units and coordinate conventions of the special-relativity framework). Such a is not of the form for any and any future timelike with : a positive multiple of a timelike vector is timelike, and the zero vector is neither timelike, null nor spacelike, so the massive expression with this normalized degenerates to at and does not describe a nonzero null momentum. The particle therefore has no four-velocity, no proper-time parametrisation and no rest frame. Its scale is fixed by a measured energy in an observer's frame.
(ii) Observer identification. Relative to a future unit observer , the model identifies the measured energy and spatial momentum of the particle with the quantities and of Observer energy, spatial momentum, invariant mass, rest energy and kinetic energy of a four-momentum. Necessarily , by Positivity, mass shell and kinetic energy of the observer quantities of a four-momentum,(a)(i), and no rest mass, rest energy or kinetic energy is assigned to the particle — the definition of requires a rest-mass parameter and no such parameter is introduced here. This clause is a formulation convention identifying mathematical quantities with the quantities the model calls measured; it is not a measurement report and no experiment is claimed.
(iii) No identification with light or quantum objects. The ideal massless particle is not identified here with light, with a classical wave or with any quantum object: no frequency, wavelength, quantisation, polarisation or Planck constant enters this premise, and the identification of light with massless particles requires the wave model and its own postulates on a separate page.
(iv) No process. This premise asserts no interaction of massless particles and no decay or production process; such processes require a stipulated dynamics. Empirical support for the assumption is a nonlogical relation of the framework, not a proof, and the idealisations inherited from the flat spacetime model and the ideal-point description travel to every consumer of this premise.
Depends on
Oriented time-oriented affine Minkowski space (the spacetime primitives)
Lorentz forms of inertia (3,1,0) on a 4-dimensional real vector space
Timelike, null, spacelike and causal vectors of a Lorentz vector space
Time orientation, future and past timelike/null/causal vectors, and the closed cones
SI units and coordinate conventions of the special-relativity framework
Four-velocity and four-acceleration of a future timelike worldline
Observer energy, spatial momentum, invariant mass, rest energy and kinetic energy of a four-momentum
Positivity, mass shell and kinetic energy of the observer quantities of a four-momentum
Dependency tree · 2 levels
Sources
- B. Crowell, Special Relativity, revision 2020-12-10 (author-published undergraduate textbook, 246 PDF pages); signature (+---) converted to (-+++) and c = 1 formulas converted to x^0 = c t; Sections 4.3.5 pp. 96-97 (massless particles travel at c, no rest frame, and p = m gamma v is not general enough because it is indeterminate as m -> 0) and p. 94 Example 12 (one-photon pair production forbidden)
- H. S. Reall, Mathematical Tripos Part III General Relativity (Cambridge, October 12, 2022 revision), c = 1; Internet Archive copy of the original https://www.damtp.cam.ac.uk/user/hsr1000/part3_gr_lectures.pdf; Section 6.3 pp. 63-64 (P^a = m u^a is defined for a rest mass m and a timelike four-velocity only; a null momentum needs its own construction)