Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-adaptedPipeline-generatedprecheck pendingjudge pass (gpt-6-luna)
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.

Anisotropic magnetic stress and null energy-current vector

Example

Work pointwise on Minkowski space with length coordinates x0=ct, signature (−,+,+,+), orientation dx0∧dx1∧dx2∧dx3, and future time-orientation N=∂0. In SI bookkeeping assign [B0]=T and [E0]=V m−1. First take E=0, B=B0ez with B0≠0. Then take E=E0ex, B=(E0/c)ey with E0≠0. These are explicit field-component calculations; no coupled Einstein solution is asserted.

Facts & Assumptions

Given: The Maxwell tensor and observer conventions of Smooth formal matter, EM tensors and observer quantities, with μ0,c>0.

[F1]

Smooth formal matter, EM tensors and observer quantities: TEMab=μ0−1(FacFbc−14gabFcdFcd) and F0i=−Ei/c, Fij=ϵijkBk in an oriented orthonormal frame.

[F2]

EM, dust and perfect-fluid energy inequalities: TEM is trace-free and satisfies DEC; its observer current is −Tabnb.

[F3]

The observer rest-space decomposition and the spatial projection: the orthogonal complement of a future timelike vector in a Lorentzian four-space is three-dimensional and has positive-definite metric.

[F4]

Smooth formal matter, EM tensors and observer quantities: a perfect-fluid tensor has Tmab=(ϵ+p)UaUb/c2+pgab for a future timelike U with g(U,U)=−c2 and real ϵ,p.

[A1]

B0≠0 and E0≠0 in the two respective examples. All quantities are pointwise mathematical components.

Verification

1.1F1A1algebra

For the pure magnetic case, the only independent nonzero component is F12=B0, so FabFab=2B02. Substitution in [F1] gives u=B02/(2μ0) and TEMab=diag⁡(u,u,u,−u) in the order (0,x,y,z), with all off-diagonal entries zero. The rest observer n=∂0 has current −Tabnb=(u,0,0,0), which is timelike.

1.2F3F4algebra

The mixed tensor is Tab=diag⁡(−u,u,u,−u), so its two distinct eigenvalues each have eigenspace dimension two because u>0. For a perfect fluid, [F4] gives Tab=(ϵ+p)UaUb/c2+pδab. This map sends the timelike vector U to −ϵU and every vector orthogonal to U to p times that vector; U⊥ is three-dimensional by [F3] applied to U/c. If −ϵ=p, the map is the scalar map pI and all four eigenvalues coincide; otherwise its eigenvalue multiplicities are one and three. The magnetic tensor has neither spectrum, so it cannot be a perfect-fluid tensor in any observer frame.

2.1F1F2A1algebra∎

For the crossed-field case, F01=−E0/c and F31=E0/c are the only independent nonzero components. They give FabFab=0 and u=E02/(μ0c2). Direct substitution yields T00=T03=T30=T33=u and all other components zero. Therefore −Tabnb=(u,0,0,u) for n=∂0, whose norm is −u2+u2=0 and whose time component is positive. The DEC current is future null, so its causal bound is saturated.

Remarks

The first tensor is anisotropic even though its rest-frame spatial energy-current component vanishes. In the crossed-field case, the observer energy-current vector is future null, while the physical SI energy-flux vector is the nonzero spatial vector (E02/(μ0c))ez with magnitude cu. These are exact algebraic consequences of the displayed tensors and do not describe measured fields.

Depends on

Dependency tree · 2 levels

Sources