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.
Entropic temperature, pressure, and molar chemical potentials
Smooth single-phase charts with positive finite entropy derivative in the adopted nonrelativistic macroscopic thermodynamic framework; the quantities are state functions, not empirical thermometer readings.
Definition
Fix a material constitution , with named species and dimensionless equilibrium state domain from Equilibrium state domains. For , define the diagonal SI coordinate map
In SI numerical coordinates this is a diagonal linear bijection with a diagonal linear inverse, so it maps ambient open sets to open sets and its inverse is defined on its image.
Choose an open subset in the ambient dimensionless Euclidean coordinates that is designated as a single-phase chart, and set , an open chart of physical SI coordinate values. Here is the internal-energy coordinate evaluated in the center-of-mass rest frame of Galilean inertial charts and the center-of-mass rest frame. If is the entropy adopted by Concave macroscopic fundamental entropy, define its physical-coordinate representative on by
When its arguments are the physical coordinates , write this representative as for brevity. On , assume the finite representative is and has , as adopted by Concave macroscopic fundamental entropy. Here means that all coordinate partial derivatives through order two exist and are continuous ( Euclidean maps and diffeomorphisms). A coordinate partial such as is the ordinary derivative in the physical coordinate while every other physical coordinate is held fixed, as in Directional derivatives and partial derivatives of a map ; in particular the conversion factor from is included.
Explicitly, with the partial derivatives on the right taken in the dimensionless coordinates on while holding every other hatted coordinate fixed, the physical partials are
using the coordinate-conversion convention of Concave macroscopic fundamental entropy.
Define the physical-coordinate representatives of the absolute thermodynamic temperature, entropic pressure, and molar chemical potential of species by
For a state-domain point , define the corresponding state functions by pullback, , , and . When the argument is a physical tuple , write , , and for the physical-coordinate representatives. Thus both notations refer to the same state functions through .
The entropy unit is , the energy is in joules, is in cubic metres, and is in moles (SI quantities and unit conventions). Thus has units , is finite and positive in kelvins, has units and has units pascals, and has units and has units . If a microscopic model instead uses a dimensionless particle count , the corresponding per-particle chemical potential is joules, with the exact SI Avogadro constant from SI quantities and unit conventions.
These are scalar state functions of the stated rest-frame equilibrium chart. The pressure in this definition is a derivative-defined conjugate; identifying it with force per area requires a separate adopted mechanical coupling. Neither an empirical thermometer calibration nor any equation of state is supplied by this definition.