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.
Divergence-free stress-energy with a nonconserved slice integral
Statement refuted
If a symmetric type- field is locally conserved, , on a chart domain, then every finite axis-parallel slice integral of it is independent of the slice parameter ; no separate side-flux hypothesis is needed.
Facts & Assumptions
Given: An inertial chart on all of affine Minkowski space with constant metric (Oriented time-oriented affine Minkowski space (the spacetime primitives), Lorentz forms of inertia (3,1,0) on a 4-dimensional real vector space, Inertial frames and inertial charts of the affine Minkowski model) and coordinate partial derivatives (Directional derivatives and partial derivatives of a map ). A field is balanced when its force density vanishes (Stress-energy tensor, force density and local balance on flat spacetime).
Slice balance: for , and a finite axis-parallel box , with and the faces , of . (Finite-box stress balance and the flux form of conservation,(b))
Coordinate partial derivatives of the coordinate functions: , , , as one-variable derivatives of the coordinate restrictions. (Directional derivatives and partial derivatives of a map )
Counterexample
The field. Define the smooth symmetric field by , , , all other components zero. By [F2] its force density has components , and ; hence on all of affine Minkowski space and is locally conserved.
The slice integral is not conserved. Let , , , put and , and let . For , [F1] applied to the sub-box with gives , and takes the constant values on and on , so the side-flux difference equals and whenever ; the transverse fluxes vanish because . For example , and give the value .
Thus zero local divergence alone does not conserve a finite slice integral: this field has everywhere yet its slice integral varies linearly with the slice parameter, so the side-flux (isolation) hypothesis in the finite-flux conservation statement cannot be dropped. The prescribed tensor is not claimed to arise from any matter model of this page and no choice principle is used.
Depends on
Finite-box stress balance and the flux form of conservation
Stress-energy tensor, force density and local balance on flat spacetime
Inertial frames and inertial charts of the affine Minkowski model
Directional derivatives and partial derivatives of a map
Lorentz forms of inertia (3,1,0) on a 4-dimensional real vector space
Oriented time-oriented affine Minkowski space (the spacetime primitives)