Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-6.1-sol)
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

Physical scope

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 P=mU uses m>0 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 P∈V (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 P is not of the form mU for any m>0 and any future timelike U with η(U,U)=−c2: a positive multiple of a timelike vector is timelike, and the zero vector is neither timelike, null nor spacelike, so the massive expression mU with this normalized U degenerates to 0 at m=0 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 n, the model identifies the measured energy and spatial momentum of the particle with the quantities En(P)=−c η(P,n) and qn(P)=h(P) of Observer energy, spatial momentum, invariant mass, rest energy and kinetic energy of a four-momentum. Necessarily En(P)=c ∣qn(P)∣>0, 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 Tn requires a rest-mass parameter m 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

Dependency tree · 2 levels

Sources