Alphabeta Math
RemarkRemark: Literature-sourcedProof: Not applicablePipeline-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.

Residual entropy and the scope of the third-law postulates

Physical scope

Interpretive distinction between a macroscopic entropy-difference postulate and a finite microscopic canonical model; no identification of their entropies or universal zero-temperature value is asserted.

Remark

Residual entropy here means a finite entropy limit at low temperature under a model's specified entropy convention. In a finite canonical model, let a finite set of microstates have energies Ei in joules, assign pi(T)∝exp⁡[−Ei/(kBT)] for T>0, and use the Gibbs entropy −kB∑ipi(T)log⁡pi(T). If the ground energy has finite degeneracy g and there is a positive gap to all excited states, this model-specific entropy tends to kBlog⁡g; Residual entropy in a finite canonical model ↗ supplies the full finite-state calculation. Here g is the number of ground states and log⁡ is the natural logarithm of The natural logarithm as the inverse of the exponential function.

This formula belongs to that specified microscopic preparation and entropy convention. It does not identify every Gibbs entropy with the macroscopic Sc, and it does not establish a universal value Sc(0)=0. The uniform Nernst postulate Uniform Nernst heat-theorem postulate on a compact family constrains differences across its declared family, not the common entropy offset: adding one fixed constant to every SK(t,a) leaves every displayed difference unchanged. Thus that postulate alone neither selects an absolute zero nor forces a unique ground state. The Nernst heat theorem, zero-entropy convention for a unique ground state, and operational unattainability remain distinct model statements.

Depends on

Dependency tree · 2 levels

Sources