Alphabeta Math
CounterexampleConstruction: AI-adaptedVerification: AI-generatedprecheck pass
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.

A divergence-free symmetric tensor with negative measured energy density

Physical scope

A flat-space pointwise counterexample in the framework's reading: a smooth symmetric tensor with vanishing divergence whose measured energy density is negative for a static observer congruence. It refutes the claim that on-shell conservation alone forces nonnegative measured energy density; no dynamics, no solution of any field equation, no measurement and no empirical claim is involved.

Statement refuted

Statement refuted: "Let M=R4 carry the flat metric g=diag⁡(−1,1,1,1), time orientation N:=∂0 and the identity chart, with metric-selected connection ∇, and let T be a smooth symmetric covariant 2-tensor field on an open subset U⊆M with ∇aTab=0 on U. Then the measured energy density of The observer split of a symmetric two-tensor: energy density, energy-momentum current, flux and stress is nonnegative, Tabnanb≥0 on U for every smooth observer congruence n on U."

Facts & Assumptions

Given: The time-oriented flat Lorentzian four-manifold (R4,g,N) with identity chart, g=diag⁡(−1,1,1,1), time orientation N:=∂0 and the standard coordinate orientation, with metric-selected connection ∇; the open set U:=R4; constants E0>0 with units J m−3 and L0>0 with units m; the smooth function φ(x):=E0[1+(x1/L0)2]>0, with energy-density units; and the smooth symmetric covariant 2-tensor field T with components Tab=−φ δa0δb0.

[L1]

On the identity chart the Christoffel symbols vanish and ∇ is the coordinate connection, so ∇aTab=ηac∇cTab=ηac∂cTab and Tab=ηaαηbβTαβ (Metric compatibility, torsion freedom and the metric-selected connection class, Existence and uniqueness of the metric-selected connection of a nondegenerate metric, and its extension to tensor fields, The inverse metric, musical isomorphisms and index raising).

[L2]

T is a smooth symmetric covariant 2-tensor field on U: its components are smooth functions of x and symmetric in a,b; equivalently, R4 is a smooth manifold and the component prescription defines a smooth tensor field (Smooth covariant 2-tensor fields on a smooth manifold, An open subset of a smooth manifold has a canonical restricted smooth structure, Cr and smooth maps between smooth manifolds).

[L4]

The smooth field N=∂0 is timelike since g(N,N)=−1<0 and therefore supplies a time orientation. For n:=N, one has g(n,n)=−1 and g(n,N)=−1<0, so n is a smooth future-directed observer congruence on R4, with na=δ0a and na=−δa0 (Observer congruences, their observer curves and adapted charts, Timelike, null, spacelike and causal vectors of a Lorentz vector space, Smooth time-oriented Lorentzian four-manifolds: the geometric objects of the model).

[L5]

The weak energy condition of The pointwise energy conditions WEC, NEC, DEC and SEC is an additional pointwise assumption on T, not a consequence of conservation (The pointwise energy conditions WEC, NEC, DEC and SEC, Stress-energy tensor field of a model).

Counterexample

1.1L2given

(Smoothness and symmetry.) The functions Tab=−φδa0δb0 are smooth on R4 and symmetric in a,b, so by [L2] they define a smooth symmetric covariant 2-tensor field on U.

1.2L1algebra

(Divergence-freedom.) By [L1], Tab=ηaαηbβTαβ=−φ δ0aδ0b, since η00=−1 and φ depends only on x1; hence ∇aTab=ηac∂cTab=η0c∂cT0b=0 for every b, because T0b=0 for b≠0 and T00=−φ is independent of x0. Thus ∇aTab=0 on U: the hypothesis of the refuted statement holds.

2.1step 1.2L3L4algebra

(Negative measured energy density.) For n=∂0, [L3] and [L4] give μ=Tabnanb=T00(n0)2=−φ<0 on U, since φ>0. The refuted conclusion fails: the divergence-free tensor T has a negative measured energy density for the observer congruence n.

3.1step 2.1L5algebra∎

(Conclusion.) A smooth symmetric tensor field with ∇aTab=0 need not satisfy Tabnanb≥0 for every observer congruence; conservation and pointwise positivity are independent conditions, in accordance with [L5]. The displayed statement is refuted.

Remarks

  • Not a matter model. The tensor T is a prescribed smooth symmetric tensor; no physical matter realization or field-equation solution is asserted for it. The counterexample concerns the logical independence of the conservation identity ∇aTab=0 and the pointwise positivity of the measured density, both of which are conditions the framework states separately.

  • Complementary direction. The companion counterexample on the Einstein and matter examples page shows the other independence: the weak energy condition does not imply conservation.

Depends on

Dependency tree · 2 levels

Sources