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.
Free transverse-photon energy multiplier
Definition
Assume Countable Choice The Axiom of Countable Choice (). Use the transverse space of Positive transverse photon one-particle space, with for and any assigned value at the null point . In the QFT length convention, assign units m and define the nonnegative measurable multiplier Its maximal multiplication operator on is Because is a scalar multiplier, a.e. implies a.e.; thus the displayed multiplication maps its stated domain into . The value is immaterial to the operator. For , the corresponding one-particle energy convention is , in joules.
Remarks
The QFT-MG01 transverse-space draft is present and its exact projection-space definition was inspected, and its page manifest lists the draft supplier items. This local multiplier is conditional on that mathematical supplier. No photon polarization frame, interacting dynamics, or empirical photon-energy claim is part of this definition.
Facts & Assumptions
Given: The transverse-space interface, in J s, in m s, and in m.
The stated units and positivity of are model conventions in this definition.
Assume Countable Choice, as required by the transverse-space supplier. The Axiom of Countable Choice ()
Positive transverse photon one-particle space defines as the vector-valued subspace with a.e.; the draft carrier exists and is listed in the QFT-MG01 manifest. This mathematical use retains its supplier hypotheses and does not itself confer independent acceptance.
Cauchy–Schwarz: , with equality exactly for linearly dependent vectors: in a real or complex inner-product space.
Proof
The norm map is measurable and nonnegative. If , then is square-integrable by the stated domain and a.e.; [F1] therefore places in . Thus the maximal multiplication operator is well-defined on its stated domain.
Since m and J m, has energy units. For , [F2] gives ; the integral representation is because . Hence is nonnegative on its domain.