Alphabeta Math
LemmaStatement: AI-adaptedProof: AI-generatedPipeline-generatedprecheck passjudge 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.

Classical first-law product leaves entropy-temperature calibration free

Statement

Let X be a nonempty connected smooth manifold, let E,A,κ∈C∞(X,R), and let C>0 be a constant with κ(x)>0 for every x∈X. Here dE and dA are the differential one-forms of the indicated functions, and equality of one-forms means pointwise equality on X. Assume the classical first-law product identity dE=Cκ dA. For every constant b>0 and offset s∗∈R, set Tb:=bκ and Sb,s∗:=(C/b)A+s∗. Then TbdSb,s∗=dE. Distinct positive b give distinct functions Tb, and changing s∗ changes Sb,s∗ without changing its differential. Thus this product identity alone does not determine the temperature scale or the absolute entropy offset.

The names Tb and Sb,s∗ denote real-valued functions here; no operational temperature or physical entropy is assumed. If the symbols carry dimensions, consistency requires [T]=[b][κ], [S]=[C][A]/[b], and [E]=[T][S]. No particular unit system is used.

Facts & Assumptions

Given: A nonempty connected smooth manifold X, smooth real-valued functions E,A,κ, a constant C>0, pointwise κ>0, and the one-form identity dE=Cκ dA.

[A1]

X is nonempty and connected, E,A,κ∈C∞(X,R), C>0 is constant, and κ(x)>0 for every x∈X.

[A2]

The assumed one-form identity is dE=Cκ dA on X.

Proof

1.1givenA1algebra

For any fixed constants b>0 and s∗∈R, the function Sb,s∗=(C/b)A+s∗ is smooth and its differential is dSb,s∗=(C/b)dA, since C/b is constant and d(s∗)=0.

2.1givenA2step 1.1algebra

Multiplication by Tb=bκ gives TbdSb,s∗=(bκ)(C/b)dA=CκdA=dE, using b>0 and [A2].

3.1givenA1step 1.1step 2.1algebra∎

If b1≠b2, then for every x∈X, Tb1(x)−Tb2(x)=(b1−b2)κ(x)≠0 by [A1]; hence the temperature functions differ. For fixed b, offsets s∗,1≠s∗,2 give Sb,s∗,1−Sb,s∗,2=s∗,1−s∗,2≠0, while step 1.1 gives the same differential and step 2.1 gives the same product identity. The factorization and its offset are therefore not uniquely determined.

Remarks

This is only a mathematical factorization result. It does not assert that every pair (Tb,Sb,s∗) describes measured thermodynamic quantities or derive a quantum calibration. The cited treatments distinguish the classical black-hole-mechanics identity from the additional quantum calculation that fixes a Hawking-temperature/entropy normalization. Any application with charge, angular momentum, or other work terms must retain those terms and its stated restrictions.

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources