Alphabeta Math
Pipeline-generated
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.

Mass shell inversion, observer work and variable mass — Examples

1 · Prerequisites

2 · Summary

These conditional thought experiments compute the product mass in a stipulated two-particle fusion event and the recoil in a stipulated massive-plus-null decay. Each calculation uses complete finite event data and the adopted isolated-balance postulate. Neither item reports a measured event or asserts that the hypothetical channel occurs in nature.

3 · Logical flowchart

4 · Definitions, postulates, theorems and proofs

None yet.

5 · Examples, experiments and counterexamples

Thought experimentStatement: AI-adaptedProof: AI-adaptedprecheck passverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)Open item page →

Ideal two-particle fusion and internal mass

Physical scope

Hypothetical flat-spacetime event of two equal-mass classical particles forming one product with no other leg, conditional on the isolated-balance postulate; no actual reaction, interaction mechanism, probability, or empirical observation is asserted.

Statement

In a hypothetical isolated event, let two massive particles of equal rest mass m>0 have opposite velocities v and −v in one inertial laboratory, with ∣v∣<c and γ=(1−∣v∣2/c2)−1/2. Suppose, as a stipulated possible channel, that they form one massive product at rest in that laboratory and that there are no other incoming or outgoing legs. Conditional on the balance postulate, the product rest mass is

M=2mγ,

so its excess rest mass over the two incoming rest masses is 2m(γ−1), and the corresponding rest-energy increase is 2m(γ−1)c2. This equals the incoming kinetic energy in the specified laboratory. When v=0, the excess is zero. The item does not assert that such a perfectly complete fusion channel occurs in nature.

Facts & Assumptions

Given: Two hypothetical equal-mass incoming legs, a single hypothetical massive output leg at rest, no omitted legs or external transfer, and the adopted model balance.

[A1]

Isolated event four-momentum balance: for this complete isolated event, the incoming and outgoing four-momentum sums are equal.

[F1]

Finite event collisions and observer quantities: each massive leg at the event p∈A has positive recorded rest mass a and momentum P=aU, where U is future timelike with η(U,U)=−c2. The laboratory is one inertial chart with a future orthonormal time axis and Euclidean spatial coordinates.

[F2]

Mass shell inversion, observer work and variable mass: for a C2 future-timelike worldline on a nonempty open interval, parameterized by one inertial chart's time, with constant mass a>0 and P=aU, the coordinate velocity v satisfies E=γac2 and p=γav, where γ=(1−∣v∣2/c2)−1/2.

Proof

technique · compute the incoming total and use the stipulated balance
1.1F1F2constructalgebra

For any massive leg P=aU of [F1], write U=(U0,U) in the laboratory, with U0>0 by future orientation. The auxiliary curve y:R→A, y(τ)=p+τU, is smooth and future timelike, and τ is proper time since η(y′,y′)=−c2. Its laboratory time is t=tp+τU0/c, where tp is the event's time coordinate, so it admits a smooth time parametrization on the open interval R with velocity vP=cU/U0. Assign constant mass a and momentum a dy/dτ=P; [F2] therefore applies. This velocity depends only on the leg's normalized tangent and agrees with the coordinate velocity of any massive trajectory with that tangent; the auxiliary curve assumes no smooth continuation of the collision itself. Applying these identities to the specified incoming velocities gives P1=(γmc,γmv) and P2=(γmc,−γmv). Thus Qin=P1+P2=(2γmc,0), which is future timelike and has invariant mass −η(Qin,Qin)/c=2mγ.

2.1A1step 1.1algebra∎

The output is one massive leg at rest, so the pointwise identities established in step 1.1 give Pout=(Mc,0). Balance [A1] gives Pout=Qin and therefore M=2mγ. Subtracting the two incoming rest masses gives M−2m=2m(γ−1); multiplying by c2 gives the rest-energy increase. The incoming total energy is 2γmc2 and its rest-energy baseline is 2mc2, so the same difference is the incoming kinetic energy, defined as energy minus rest energy. Since γ=1 exactly at v=0, the zero-speed boundary gives zero excess.

Thought experimentStatement: AI-adaptedProof: AI-adaptedprecheck passverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)Open item page →

One-null decay and massive recoil

Physical scope

Hypothetical two-product decay in the classical massive-plus-null test-particle sectors, conditional on finite isolated momentum balance; no decay probability, quantum photon-energy relation, or empirical claim is asserted.

Statement

Hypothetically, a parent of rest mass M>0 is initially at rest and undergoes an isolated event into one massive daughter of rest mass m and one nonzero future-null leg, where 0<m<M; there are no other legs or external transfers. Under the balance postulate, in the parent rest frame the daughter and null momenta are opposite with common magnitude

k=(M2−m2)c2M>0.

Their energies and the daughter speed are

Enull=(M2−m2)c22M,Ed=(M2+m2)c22M,∣vd∣=(M2−m2)cM2+m2<c.

The null-leg energy is strictly less than the full rest-energy difference (M−m)c2; the remainder is the daughter's kinetic energy (M−m)2c2/(2M). This is a conditional classical kinematic construction, not an assertion about a decay channel in nature.

Facts & Assumptions

Given: A parent at rest, masses M>m>0, a hypothetical daughter and one nonzero null output, no omitted legs, and the adopted isolated-balance postulate.

[A1]

Isolated event four-momentum balance: a complete isolated event has equal incoming and outgoing four-momentum totals.

[F1]

Finite event collisions and observer quantities: a null leg is a nonzero future-null vector; a massive leg at the event p∈A has positive recorded rest mass a and P=aU with U future timelike and η(U,U)=−c2. Observer energy and spatial momentum are the time and spatial components P=(E/c,p) in a named inertial chart.

[F2]

Complete two-body rest-frame kinematics: in a timelike total rest frame, the two-body energy and momentum formulas hold; a massless output requires strict energy above the zero-momentum endpoint.

[F3]

Mass shell inversion, observer work and variable mass: for a C2 future-timelike worldline on a nonempty open interval, parameterized by one inertial chart's time, with constant mass a>0 and P=aU, its coordinate velocity obeys v=c2p/E, E>0, and E2=a2c4+c2∣p∣2.

Proof

technique · specialize the two-body formulas, then use the inverse momentum relation
1.1A1F1F2F3constructalgebra

For either massive leg P=aU of [F1], write U=(U0,U) in the parent rest chart, with U0>0 by future orientation. The auxiliary affine curve y:R→A, y(τ)=p+τU, is smooth and future timelike with proper-time parameter τ since η(y′,y′)=−c2. Its chart time is t=tp+τU0/c, where tp is the event's time coordinate, so it has a smooth time parametrization on the open interval R. Assign constant mass a and momentum a dy/dτ=P. This meets every hypothesis of [F3], giving the shell and vP=cU/U0=c2p/E. This velocity depends only on the leg's normalized tangent and agrees with any trajectory's coordinate velocity at that tangent; no smooth continuation through the decay is assumed. For the rest parent, U=0 and normalization gives U0=c, hence its total is (Mc,0) with W=Mc2. Balance [A1] therefore makes this rest frame the final total's center-of-momentum frame. Apply [F2] with outgoing masses a=m and b=0. Since M>m, the strict condition W>mc2 holds, so the null output is nonzero. The formula for k gives k=[W2−m2c4]2/(2Wc)=(M2−m2)c/(2M); the energy formulas give the stated Ed and Enull and opposite spatial momenta.

2.1step 1.1algebra∎

The daughter velocity identity established in step 1.1 gives ∣vd∣=c2k/Ed=(M2−m2)c/(M2+m2)<c, since 0<M2−m2<M2+m2. Also Ed−mc2=(M−m)2c2/(2M), so Enull+(Ed−mc2)=(M−m)c2; for 0<m<M, this daughter kinetic energy, defined as energy minus rest energy, is positive and Enull<(M−m)c2.

Sources