Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-generatedPipeline-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.

A smooth chart with no isothermal pressure inverse

Physical scope

Constructed local concave entropy chart at fixed composition, used only to show failure of a response-coordinate inverse; it is not a measured material equation of state or a complete bulk-family model.

Example

Fix the amount of substance and stipulate the local entropy representative

S(U,V)=Cln⁡(U/U∗)+aV+S0

on the open domain U>0, V>0, where C>0 has units J K−1, U∗>0 has units joules, a>0 has units J K−1 m−3, and S0 has units J K−1. This chart is finite, C2, concave, and has SU>0. It illustrates that a smooth positive-temperature chart need not admit pressure as a local coordinate at fixed temperature.

The displayed entropy is SSI in physical SI coordinates. For this constructed local model, choose the positive-amount open neighborhood stated here (or any positive neighborhood of the fixed amount, extending this entropy independently of amount) and let Oc be the numerical preimage of that product patch under Φc(U^,V^,n^)=(U^ J,V^ m3,n^ mol). Declare Oc as the model's local state-domain patch and set Sc=SSI∘Φc. The derivatives below are those of SSI=Sc∘Φc−1 on Φc(Oc), exactly as in Entropic temperature, pressure, and molar chemical potentials. This supplies the numerical-to-SI chart identification for the formal witness, with no assertion of a measured material or a global constitutive extension.

Facts & Assumptions

Given: The stipulated entropy chart and positive constants in the Example. The chart is a constructed model calculation; it reports no measurement.

[F1]

SI quantities and unit conventions: U is in joules, V in cubic metres, S in J K−1, T in kelvins, and p in pascals.

[F2]

The natural logarithm as the inverse of the exponential function and The natural logarithm has derivative 1/x and equals the integral from 1 to x of 1/t: The logarithm is defined on positive arguments and d(ln⁡x)/dx=1/x for x>0.

[F3]

Entropic temperature, pressure, and molar chemical potentials: T=1/SU and p=TSV on the stipulated positive-temperature chart.

[F4]

Thermodynamic response functions on valid local charts: κT is defined only where the required (T,p,n)↔(U,V,n) local inverse chart exists.

Verification

1.1givenF1F2F3algebra

By [F2], SU=C/U and SV=a. Hence [F3] gives T=U/C>0 and p=aU/C=aT. The Hessian of S in (U,V) is diagonal with entries −C/U2 and 0, so it is negative semidefinite on the open domain.

2.1givenF4step 1.1algebra∎

At fixed T, the equation p=aT is independent of V. Therefore the map (T,V)↦(T,p) is not injective on any open neighborhood, so the inverse required by [F4] does not exist and κT is not defined by that chart. This does not contradict a theorem whose hypotheses require a valid response inverse.

Depends on

Dependency tree · 2 levels

Sources