Pipeline-generated

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.

Cycles And Low Temperature — Examples

1 · Prerequisites

2 · Summary

The engine and refrigerator examples apply the preceding ideal-reservoir bounds to stipulated temperatures and heat amounts; neither reports an apparatus measurement.

The low-temperature counterexample computes $C_{V} = U_{T} = T S_{T} = C_{*} \sqrt{T / T_{*}}$ directly from its explicit local response chart and shows that finite entropy-integral convergence does not imply $C_{V} = O ((T / T_{*})^{q})$ for any real $q \geq 1$ . Tong §4.5 states the exponent as $n \geq 1$ or faster, without an integer restriction; this constructed chart refutes that general inference without making a claim about an actual material.

The finite canonical example computes a model-specific Gibbs entropy limit (k_{\mathrm B}\log g) under a finite-state, positive-gap assumption. The geometric protocol proves nonattainment only for the stipulated update $T \mapsto r T$ ; since its operation is defined only on positive-temperature states, it falls in the postulate's disclosed vacuous case and is not evidence for universal unattainability.

3 · Logical flowchart

4 · Definitions, postulates, theorems and proofs

None yet.

5 · Examples, experiments and counterexamples

ExampleConstruction: AI-generatedVerification: AI-generatedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)Open item page →

A symbolic 600 K and 300 K engine bound

Physical scope

A hypothetical two-ideal-bath engine calculation using the preceding conditional theorem; it reports no measured engine or empirical efficiency.

Example

Consider a hypothetical ideal-reservoir engine cycle with $T_{h} = 600 K$ and $T_{c} = 300 K$ , with all the assumptions of Ideal-bath heat-engine efficiency bound. Its efficiency is at most $1 / 2$ . This is a model calculation, not an observed performance.

Facts & Assumptions

Given: $T_{h} = 600 K$ , $T_{c} = 300 K$ , and an admitted heat-engine cycle in the ideal-bath scope of the preceding theorem.

[F1]

Ideal-bath heat-engine efficiency bound: $η \leq 1 - T_{c} / T_{h}$ ; equality requires zero total entropy change.

[F2]

SI quantities and unit conventions: thermodynamic temperature is measured in kelvins, so the ratio of two temperatures is dimensionless.

Verification

1.1givenF2algebra

The stipulated ratio is $T_{c} / T_{h} = 300 / 600 = 1 / 2$ .

2.1F1step 1.1algebra∎

Apply [F1] to obtain $η \leq 1 - 1 / 2 = 1 / 2$ . Equality is available only under the theorem's entropy-neutral condition; no experimental result is being reported.

ExampleConstruction: AI-generatedVerification: AI-generatedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)Open item page →

A symbolic 240 K and 300 K refrigerator bound

Physical scope

A hypothetical ideal two-bath refrigerator calculation using the preceding conditional theorem; it reports no measured appliance coefficient or work.

Example

Consider a hypothetical refrigerator cycle with cold-bath temperature $T_{c} = 240 K$ , hot-bath temperature $T_{h} = 300 K$ , and $Q_{c} = 1200 J$ extracted per cycle. In the ideal-bath model, its cooling coefficient of performance is at most $4$ , so its work input is at least $300 J$ . No appliance measurement is asserted.

Facts & Assumptions

Given: The stipulated positive temperatures, $Q_{c} = 1200 J$ , and an admitted ideal-bath refrigerator cycle.

[F1]

Ideal-bath refrigerator coefficient-of-performance bound: ${C O P}_{R} = Q_{c} / W_{i n} \leq T_{c} / (T_{h} - T_{c})$ .

[F2]

SI quantities and unit conventions: $T$ is measured in kelvins and $Q_{c}, W_{i n}$ in joules.

Verification

1.1givenF2algebra

The temperature difference is $T_{h} - T_{c} = 60 K > 0$ , so $T_{c} / (T_{h} - T_{c}) = 240 / 60 = 4$ .

2.1givenF1step 1.1algebra∎

By [F1], $Q_{c} / W_{i n} \leq 4$ . Since $W_{i n} > 0$ , this implies $W_{i n} \geq Q_{c} / 4 = 1200 / 4 = 300 J$ .

CounterexampleConstruction: AI-adaptedVerification: AI-generatedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)Open item page →

Finite entropy integral does not force a heat-capacity power bound of order one or higher

Physical scope

A formal fixed-composition positive-temperature response chart used to refute an inference from integral convergence alone; it is not a measured material or a complete global bulk-family model.

Statement refuted

For a positive-temperature fixed- $V, n$ chart, write $θ = T / T_{*}$ . For a dimensionless real exponent $q \geq 1$ , the notation $C_{V} (T) = O (θ^{q})$ as $θ ↓ 0$ means that there exist a constant $M > 0$ measured in $J K^{- 1}$ and a dimensionless $δ \in (0, 1]$ such that $∣ C_{V} (T) ∣ \leq M θ^{q}$ whenever $0 < θ < δ$ . Finite convergence of the entropy integral alone does not imply such a bound for any real $q \geq 1$ , even when the entropy has a finite limit and the local response-chart identities apply. The displayed branch is a formal chart calculation, not a claim that a particular substance realizes the chart.

The displayed entropy is $S^{S I}$ in physical SI coordinates. Take one named species and the positive-amount open neighborhood specified here, and let $O_{c}$ be the numerical preimage of that product patch under $Φ_{c} (\hat{U}, \hat{V}, \hat{n}) = (\hat{U} J, \hat{V} m^{3}, \hat{n} m o l)$ . For this formal state-domain model, let $E_{c} : = O_{c}$ be the set of preparation labels, designate each label as an equilibrium preparation, and let $π_{c} : E_{c} \to R^{3}$ be the identity, so $D_{c} = O_{c}$ . At each label $e = (\hat{U}, \hat{V}, \hat{n})$ assign a one-point mechanical model of mass $m_{*} \hat{n}$ kilograms at the origin with zero center-of-mass velocity, where $m_{*} > 0$ kilograms is the fixed mass assigned to one mole; this supplies the positive-mass and rest-frame data required by Entropic temperature, pressure, and molar chemical potentials. Set $S_{c} = S^{S I} \circ Φ_{c}$ . The derivatives below are those of $S^{S I} = S_{c} \circ Φ_{c}^{- 1}$ on $Φ_{c} (O_{c})$ , exactly as in Entropic temperature, pressure, and molar chemical potentials. This supplies a numerical-to-SI chart and equilibrium-label realization for the formal witness, with no assertion of a measured material or a global constitutive extension.

Facts & Assumptions

Given: A fixed- $V, n$ positive-temperature chart on $0 < T < T_{*}$ , with $T_{*} > 0$ kelvins and finite limiting entropy as $T ↓ 0$ .

[F1]

Thermodynamic response functions on valid local charts: On a valid response chart $C_{V} = (\partial U / \partial T)_{V, n}$ , in $J K^{- 1}$ .

[F2]

Entropic temperature, pressure, and molar chemical potentials: On a smooth positive-temperature entropy chart $T = 1 / S_{U}$ , with the other physical coordinates held fixed.

[F3]

SI quantities and unit conventions: $U$ is in joules, $S$ in $J K^{- 1}$ , $T$ in kelvins, and $C_{V}$ in $J K^{- 1}$ .

[F4]

Concave macroscopic fundamental entropy: On a designated open single-phase chart, $S$ is $C^{2}$ , concave, and has finite $S_{U} > 0$ ; these are adopted local model premises.

[L1]

Real powers for positive bases, with the zero-base positive-exponent convention and Continuity and derivatives of positive-base real powers: For $a > 0$ and $x \in R$ , $a^{x} = \exp (x \log a)$ ; for $α \in R$ , $(x^{α})^{'} = α x^{α - 1}$ on $x > 0$ .

[L2]

Chain sum product and composition rules for Banach derivatives: The sum, scalar-multiple, and composition rules apply to the displayed differentiable real-valued functions of $T$ on their open positive-temperature interval.

[L3]

The natural logarithm as the inverse of the exponential function, Order, continuity, range, and the product, quotient, and reciprocal laws for the natural logarithm, and The exponential function is strictly increasing: $\log$ is strictly increasing with $\log 1 = 0$ ; $\exp (\log x) = x$ for $x > 0$ ; and $\exp$ is strictly increasing on $R$ .

[L4]

Ordered field, The reals form a totally ordered field, and Order is preserved by adding a constant and by adding inequalities: The real numbers form an ordered field; positive elements are closed under multiplication, the product of a positive and negative real is negative, and adding the same real preserves the order.

[L5]

Convex, strictly convex, concave, strictly concave, and midpoint-convex real functions on an interval: A real function is concave on an interval exactly when its negative is convex, using the convex-combination inequality.

[L6]

A twice-differentiable function on an open interval is convex if and only if its second derivative is nonnegative: For a twice-differentiable scalar function on an open interval, a nonnegative second derivative is equivalent to convexity.

[L7]

A continuous function on $[a, b]$ is Riemann integrable, by Heine-Cantor and Riemann's criterion: Every continuous function on a nondegenerate closed interval is Riemann integrable there.

[L8]

Newton–Leibniz needs only continuity on $[a, b]$ , differentiability on $(a, b)$ , and a Riemann-integrable extension of the interior derivative: A Riemann-integrable function on a closed interval that agrees with the derivative of a continuous primitive on the interior integrates to the primitive's endpoint difference.

[A1]

Choose $T_{*} > 0$ kelvins, $C_{*} > 0$ measured in $J K^{- 1}$ , a finite $S_{0}$ in $J K^{- 1}$ , $U_{0} > 0$ joules, $V_{0} > 0$ cubic metres, and $n_{0} > 0$ moles. On the open chart $U_{0} < U < U_{0} + \frac{2}{3} C_{*} T_{*}, V_{0} / 2 < V < 3 V_{0} / 2, n_{0} / 2 < n < 3 n_{0} / 2,$ define $θ (U) : = [3 (U - U_{0}) / (2 C_{*} T_{*})]^{2 / 3} \in (0, 1)$ and $S_{c} (U, V, n) : = S_{0} + 2 C_{*} θ (U)^{1 / 2} .$ This finite function is $C^{2}$ , independent of $V, n$ , and has $S_{U} = 1 / (T_{*} θ) > 0$ and $S_{U U} = - 1 / (C_{*} T_{*}^{2} θ^{5 / 2}) = - 1 / (T^{2} C_{V}) < 0$ throughout the chart. Thus it satisfies the local smoothness, positive-temperature, and concavity conditions used here. Put $T : = T_{*} θ (U)$ and $θ : = T / T_{*}$ ; solving for $U$ gives the fixed- $V, n$ response branch $U (T) = U_{0} + \frac{2}{3} C_{*} T_{*} θ^{3 / 2}, S (T) = S_{0} + 2 C_{*} θ^{1 / 2}, 0 < T < T_{*} .$ Equivalently, the corresponding entropy-coordinate energy chart is $U_{c} (s, V, n) = U_{0} + \frac{2}{3} C_{*} T_{*} {(\frac{s - S_{0}}{2 C_{*}})}^{3}, S_{0} < s < S_{0} + 2 C_{*} .$ It has $T = \partial_{s} U_{c} = T_{*} [(s - S_{0}) / (2 C_{*})]^{2}$ , whose explicit inverse is $s = S_{0} + 2 C_{*} \sqrt{T / T_{*}}$ for $0 < T < T_{*}$ . Hence the $(T, V, n)$ natural-coordinate chart is open and valid on the stated patch; its inverse is given explicitly by the branch formulas. The constructed chart is a formal local response model only; it reports no material data and asserts no global extension.

Counterexample

On the branch in [A1], the displayed maps $U (T)$ and $T (U)$ are mutually inverse $C^{1}$ maps on the stated open intervals, so they give a valid local fixed- $V, n$ response chart. The entropy chart uses the absolute-temperature definition $T = 1 / S_{U}$ ; the response identity needed below follows directly from the explicit branch formulas.

1.1givenA1F1F2F3F4L1L2L5L6algebra

Repeated use of the power derivative [L1] and scalar chain, sum, and product rules [L2] shows that $S_{c}$ is $C^{2}$ on the positive open chart. Differentiating $θ (U)$ gives $θ_{U} = (C_{*} T_{*})^{- 1} θ^{- 1 / 2}$ , so $S_{U} = C_{*} θ^{- 1 / 2} θ_{U} = 1 / (T_{*} θ)$ and $S_{U U} = - (C_{*} T_{*}^{2})^{- 1} θ^{- 5 / 2} < 0$ . At fixed $V, n$ , [L6] applied to $- S_{c}$ shows that $S_{c}$ is concave as a function of $U$ ; because $S_{c}$ is independent of $V, n$ , the same convex-combination inequality holds on the full product chart. Thus the entropy is concave there and $S_{U}$ is finite and positive, as required by [F4]. By [F2], the absolute temperature is $T = 1 / S_{U} = T_{*} θ$ . Differentiating the explicit branch functions $U (T), S (T)$ in [A1] by [L1,L2] gives $U_{T} = C_{*} θ^{1 / 2}, S_{T} = \frac{C_{*}}{T_{*}} θ^{- 1 / 2} .$ The response definition [F1] now gives $C_{V} = U_{T} = C_{*} θ^{1 / 2} = T S_{T}$ . The displayed inverse branch and these continuous derivatives give a valid local response chart.

2.1givenA1step 1.1L8algebra

For $0 < ϵ < T$ , the integrand $C_{V} (t) / t$ is continuous on $[ϵ, T]$ and is Riemann integrable there by [L7]; it agrees on its interior with the derivative of $2 C_{*} \sqrt{t / T_{*}}$ . By [L8], $\int_{ϵ}^{T} \frac{C_{V} (t)}{t} d t = 2 C_{*} (\sqrt{T / T_{*}} - \sqrt{ϵ / T_{*}}) .$ As $ϵ ↓ 0$ , this tends to $2 C_{*} \sqrt{θ} = S (T) - S_{0}$ , so the improper entropy integral converges and the entropy has the finite limit $S_{0}$ .

3.1givenA1L1L3L4step 1.1algebrachoose∎

Fix any dimensionless real exponent $q \geq 1$ , any proposed $M > 0$ in $J K^{- 1}$ , and any dimensionless $δ \in (0, 1]$ . Since $0 < θ < 1$ implies $\log θ < 0$ by [L3], ordered-field arithmetic [L4] gives $(q - 1) \log θ \leq 0$ and hence $q \log θ \leq \log θ$ . Thus $θ^{q} = \exp (q \log θ) \leq \exp (\log θ) = θ$ by [L1,L3]. Choose $0 < θ < \min {δ, (C_{*} / M)^{2}, 1}$ . Then $M θ^{q} \leq M θ < C_{*} \sqrt{θ} = C_{V} (T)$ , so the proposed bound fails at this temperature. As $M$ and $δ$ were arbitrary, no constants in the stated big- $O$ definition work for this $q$ ; since $q \geq 1$ was arbitrary, the assertion fails for every real exponent $q \geq 1$ .

Remarks

Tong's §4.5 says that finite entropy-integral convergence entails a low-temperature heat-capacity power $T^{n}$ for some $n \geq 1$ or faster, without specifying an integer exponent. This branch refutes that general power-bound inference from integrability alone, while its own heat capacity still tends to zero. It does not refute a separate physical model theorem with additional low-temperature spectral or constitutive hypotheses, and it is not an empirical statement about any material.

ExampleConstruction: Literature-sourcedVerification: AI-generatedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)Open item page →

Residual entropy in a finite canonical model

Physical scope

A finite discrete Gibbs preparation with a specified energy gap and entropy convention, using a positive Kelvin-valued canonical parameter; no identification with an entropy-derived macroscopic temperature, macroscopic entropy postulate, or empirical material is assumed.

Example

Let $X = {1, \dots, N}$ be a finite set of microstates with energy values $E_{i}$ in joules. Let $E_{0} = \min_{i} E_{i}$ , let exactly $g \geq 1$ states have energy $E_{0}$ , and suppose every other state has energy at least $E_{0} + Δ$ for one fixed gap $Δ > 0$ joules. For $T > 0$ kelvins, use $T$ as the positive parameter in this finite canonical model and adopt the probabilities $w_{i} (T) = \exp ⁣ (- \frac{E_{i} - E_{0}}{k_{B} T}), Z (T) = \sum_{i = 1}^{N} w_{i} (T), p_{i} (T) = \frac{w_{i} (T)}{Z (T)}$ and the model entropy $S_{G} (T) = - k_{B} \sum_{i = 1}^{N} p_{i} (T) \log p_{i} (T) .$ Then $\lim_{T ↓ 0} S_{G} (T) = k_{B} \log g .$ This is a calculation for the adopted finite statistical model, not a deduction of the canonical preparation from macroscopic thermodynamics.

Facts & Assumptions

Given: The finite state set, its energy values, the positive gap, $T > 0$ , and the specified canonical probabilities and entropy in the Example.

[F1]

SI quantities and unit conventions: $k_{B} > 0$ has units $J K^{- 1}$ , so each exponent is dimensionless and $S_{G}$ is in $J K^{- 1}$ .

[F2]

Entropic temperature, pressure, and molar chemical potentials: The macroscopic thermodynamic temperature $T_{c}$ is the entropy-derived state function $1 / S_{c, U}$ on a designated open chart. The canonical parameter $T$ here is not identified with that function; the Gibbs probabilities are adopted as a separate finite model.

[F3]

The natural logarithm as the inverse of the exponential function: $\log$ is the natural logarithm with domain $(0, \infty)$ .

[F4]

Order, continuity, range, and the product, quotient, and reciprocal laws for the natural logarithm: $\log$ is continuous and strictly increasing, and $\log (1 / x) = - \log x$ for $x > 0$ .

[F5]

The exponential tends to $+ \infty$ at $+ \infty$ and to $0$ at $- \infty$ : $\exp (x) \to 0$ as $x \to - \infty$ .

[F6]

The logarithm grows more slowly than every positive real power: $\log x / x \to 0$ as $x \to + \infty$ .

Verification

1.1givenF1F2F5algebra

In the limit of the stipulated canonical parameter $T ↓ 0$ [F2], each excited state $i \notin G : = {i : E_{i} = E_{0}}$ has $(E_{i} - E_{0}) / (k_{B} T) \to + \infty$ , so $w_{i} (T) \to 0$ by [F5]. Ground-state weights are $1$ . Since there are finitely many states, $Z (T) \to g$ , each ground-state probability tends to $1 / g$ , and each excited-state probability tends to $0$ .

2.1F1F3F4step 1.1algebra

By continuity of $\log$ at $1 / g > 0$ from [F4], the total ground-state contribution to entropy tends to $- k_{B} g \frac{1}{g} \log (1 / g) = k_{B} \log g .$

2.2F3F4F6step 1.1algebra

For an excited state with $p_{i} (T) \to 0$ , set $x = 1 / p_{i} (T) \to + \infty$ . By [F4], $p_{i} \log p_{i} = - \log (x) / x$ , which tends to $0$ by [F6]. The finite sum of excited-state contributions therefore tends to $0$ .

3.1F1F4step 2.1step 2.2algebra∎

Combining the ground and excited contributions in the finite sum gives $S_{G} (T) \to k_{B} \log g$ . In the $g = 1$ case this limit is $0$ ; for $g > 1$ it is positive because $\log$ is strictly increasing and $\log 1 = 0$ .

ExampleConstruction: AI-generatedVerification: AI-generatedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)Open item page →

A finite-step geometric cooling protocol

Physical scope

An abstract update-map model with a Kelvin-valued scalar state coordinate and one finite-duration operation repeated finitely many times; the coordinate is not identified with an entropy-derived thermodynamic temperature, and the result is not evidence about actual cooling devices.

Example

Fix $T_{*} > 0$ kelvins, an initial state coordinate $T_{i n} \in D_{+} : = (0, T_{*}]$ , a dimensionless ratio $r \in (0, 1)$ , and an operation duration $τ_{*} > 0$ seconds. The model state is the scalar coordinate $T$ with state set $\overline{D} : = D_{+} ⊔ D_{0}$ , where $D_{0} : = {0}$ ; $T$ is assigned units of kelvins. This abstract coordinate is not identified with the entropy-derived thermodynamic temperature $T_{c} = 1 / S_{c, U}$ of Entropic temperature, pressure, and molar chemical potentials. Each admitted operation is the partial map $f : D_{+} \to D_{+}$ , $f (T) : = r T$ , with duration $τ_{*}$ . An admitted finite protocol is a finite composable chain of these operations; write $T_{N}$ for its endpoint after $N$ updates. Since the operation has codomain $D_{+}$ , this restricted model has no operation with endpoint in $D_{0}$ ; the proof below is a direct property of its update rule, not evidence for the physical unattainability postulate. It does not assert that a real refrigerator or every thermodynamic model has this update rule.

Facts & Assumptions

Given: The stipulated state sets, initial temperature, operation map, and fixed finite duration in the Example.

[F1]

SI quantities and unit conventions: Temperature is measured in kelvins and duration in seconds.

[F2]

Entropic temperature, pressure, and molar chemical potentials: The framework's thermodynamic temperature is the entropy-derived state function $T_{c} = 1 / S_{c, U}$ on a designated open chart; the scalar coordinate $T$ in this example is stipulated separately and is not identified with $T_{c}$ .

[F3]

The natural numbers $N$ (von Neumann): A finite chain has a length $N \in N$ .

[F4]

The principle of mathematical induction: A property holding at $0$ and preserved from $N$ to $N + 1$ holds for every $N \in N$ .

[F5]

Ordered field: Products of positive reals are positive, and multiplying positive inequalities preserves order.

Verification

1.1givenF3base

Let $P (N)$ mean that the endpoint after $N$ admitted operations lies in $D_{+}$ . For $N = 0$ , the endpoint is the stipulated $T_{i n} > 0$ , so $P (0)$ holds.

2.1step 1.1givenF2F3F5algebra

Assume $P (N)$ [IH]. The stipulated operation sends its current model coordinate $T_{N} \in D_{+}$ to $r T_{N}$ ; because $0 < r < 1$ , $0 < r T_{N} < T_{N} \leq T_{*}$ , so the next endpoint satisfies $P (N + 1)$ . This is a property of the stipulated coordinate update, not a consequence for the entropy-derived $T_{c}$ in [F2].

3.1F1F3F4step 1.1step 2.1algebradischarge-induction∎

By [F4], steps 1.1 and 2.1 imply $P (N)$ for every finite $N \in N$ . Every admitted finite protocol has such a length by [F3], and its duration is $N τ_{*} < \infty$ by the stipulated finite $τ_{*}$ . Since $D_{+} \cap D_{0} = \emptyset$ , none reaches zero. This conclusion is only for the stipulated protocol model.

Cycles And Low Temperature — Examples

1 · Prerequisites

2 · Summary

3 · Logical flowchart

4 · Definitions, postulates, theorems and proofs

5 · Examples, experiments and counterexamples

A symbolic 600 K and 300 K engine bound

Example

Facts & Assumptions

Verification

A symbolic 240 K and 300 K refrigerator bound

Example

Facts & Assumptions

Verification

Finite entropy integral does not force a heat-capacity power bound of order one or higher

Statement refuted

Facts & Assumptions

Counterexample

Remarks

Residual entropy in a finite canonical model

Example

Facts & Assumptions

Verification

A finite-step geometric cooling protocol

Example

Facts & Assumptions

Verification

Sources