Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-adaptedPipeline-generatedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)
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.

Flat shifted chart with negative coordinate Hamiltonian

Physical scope

Conditional flat-metric coordinate example using the adopted normal-observer energy convention and the stated future massive shell; no measurement, empirical inference or curved-background claim.

Example

On R4, set N=1, hij=δij, and β=(2,0,0). The metric is

g=−(dx0)2+(dx1+2dx0)2+(dx2)2+(dx3)2.

It is flat under X0=x0,X1=x1+2x0,X2=x2,X3=x3, with time orientation T=∂/∂X0=∂0−2∂1. Explicitly, a nonzero causal vector v is future-directed when g(v,T)<0, so increasing X0 is future. The chart remains temporal with future unit normal n=T. For a massive state m>0 with spatial momentum p=(p1,0,0), p1>mc/3, the future shell has

H=c(m2c2+p12−2p1)<0,

but the normal-observer energy En=cm2c2+p12>0. The coordinate speed magnitude exceeds c, while the local normal-observer speed remains below c.

Facts & Assumptions

Given: The flat metric, time orientation and chart coefficients above, m>0, c>0, and a spatial momentum satisfying p1>mc/3.

[A1]

The Axiom of Countable Choice (ACω): Assume countable choice ACω, meaning every sequence of nonempty sets has a choice function; no full Axiom of Choice is assumed.

[F1]

Temporal chart with lapse, shift and positive slice metric: lapse-shift data define a temporal chart and normal field.

[F2]

A curved temporal chart gives a local reduced Hamiltonian: future-root chart Hamiltonian is H=c(Nκ−βipi).

[F3]

Lorentz background, particle quantities and parameter units: normal-observer energy is En=−c p(n), defined from the supplied future unit observer.

Verification

1.1givenA1F1algebra

Use the inherited smooth bundle structure under [A1] and the temporal-chart data [F1]. The coordinate transformation is invertible with determinant one and pulls back the Minkowski line element −(dX0)2+(dX1)2+(dX2)2+(dX3)2 to g, proving flatness. The lapse is positive and h=δ is positive definite, and its unit normal n=∂0−2∂1=T is future by the chosen orientation, so the chart satisfies [F1]; ∂0 is spacelike since g(∂0,∂0)=−1+4=3>0, while dx0 is temporal.

1.2givenF2algebra

Here κ=m2c2+p12, so [F2] gives H=c(κ−2p1). The inequality p1>mc/3 implies m2c2<3p12, hence κ2=m2c2+p12<4p12, so κ<2p1 and H<0.

2.1givenF1F2F3step 1.2algebra∎

Here n=∂0−2∂1, so the shell covector has p(n)=p0−2p1=−κ; [F3] gives En=cκ>0. Put r:=p1/κ; m>0 gives 0<r<1. Differentiating the Hamiltonian of [F2] gives q˙1=c(r−2), q˙2=q˙3=0 and p˙i=0. Thus, for any q0∈R3, x(t)=(ct,q0+ct(r−2,0,0)), t∈R in seconds, is the smooth lifted Hamiltonian trajectory. Its tangent is V:=dx/dt=c(n+r∂1), with g(V,n)=−c and g(V,V)=−c2(1−r2)<0, so it is future timelike. Define its dimensionless spatial velocity relative to n by w:=V/[−g(V,n)]−n∈n⊥, and its physical spatial velocity by vn:=cw. Indeed, the observer time increment is dtn=−g(V,n)dt/c, and the projected displacement is (V+g(V,n)n)dt=vn dtn. Here w=r∂1, so ∣vn∣h=chijwiwj=cr<c. Meanwhile ∣q˙∣δ=c(2−r)>c. These are respectively the normal-observer speed and the coordinate speed magnitude in this chart.

Depends on

Dependency tree · 2 levels

Sources