Pith. sign in

REVIEW 3 major objections 6 minor 8 references

Exact Expressions of Entropy for Classical Non-interacting Many-body Systems

T0 review · 3 major / 6 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read From two postulates, the paper derives exact entropies for ideal gases of any size in four statistical ensembles.

desk verdict Clean re-derivation of textbook ideal-gas entropies, but the claimed exactness and universality rest on unpostulated measure choices, so the central thesis doesn't hold. read the letter →

arxiv 2608.11104 v1 pith:67V2LYHM submitted 2026-08-11 cond-mat.stat-mech physics.chem-ph

Yuheng Wu , Henrik Heelweg , Rigel Galgana This is my paper · ORCID
classification cond-mat.stat-mechphysics.chem-ph
keywords exactentropyensembletheorymaximumstationarityfinite-sizethermodynamicsidealgasnon-interactingmany-bodysystemsthermodynamiclimit
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper claims that the entropy of a classical non-interacting many-body system of arbitrary size can be computed exactly in any statistical ensemble from just two postulates: stationarity, meaning physical laws do not depend on absolute time, and unbiasedness, meaning the equilibrium mixed state maximizes entropy subject to the constraints. It derives explicit entropy expressions for four representative ensembles, (E,V,N), (average E,V,N), (E,average V,N), and (E,V,average N), and shows that they reduce to the same leading-order Sackur-Tetrode-like formula in the thermodynamic limit. If correct, it provides a way to assign exact temperature, pressure, and chemical potential to small systems such as gases in nanopores, where different ensembles no longer agree.

What carries the argument

The carrying object is the generalized mixed state: a probability density on the disjoint union of phase spaces with different volumes or particle numbers, equipped with the invariant measure $d\Omega/N!$ on each sector. The argument selects the equilibrium density by maximizing differential entropy under stationarity constraints, which become sharp or mean constraints on $E$, $V$, and $N$ and generate the eight ensembles. In the mean-volume and mean-particle-number ensembles the extra coordinate $\nu$ or $n$ has a Gamma or power-series marginal, and the entropy is the logarithm of a partition function plus a Legendre-type term; the thermodynamic-limit verification uses Stirling's formula and Laplace's method to locate the dominant term of the series.

What would settle it

For a small system such as $N=3$ ideal-gas particles in a box of volume $V$ and energy $E$, compute the microcanonical shell volume by direct quadrature over the $(3N-1)$-dimensional momentum sphere $|p|^2=2mE$ and the $N$-cube configuration space, divide by $N!$, and compare the logarithm with Eq. (1); a mismatch beyond numerical error would refute the claimed exact entropy. The canonical expression can be checked the same way by sampling the Gaussian density and numerically evaluating its differential entropy against Eq. (2).

Watch

Extended reading notes

Core claim

The central claim is that Eqs. (1)-(4) are the exact entropies of the classical non-interacting many-body system in the microcanonical, canonical, mean-volume, and mean-particle-number ensembles, with no thermodynamic-limit approximation. The derivation is a maximum-entropy calculation on the physical phase space: labeled phase space is quotiented by permutations, giving the invariant measure $d\Omega/N!$, and in the mean-volume ensemble the volume observable is promoted to an extended coordinate $\nu$ with Lebesgue measure $d\nu$. Each ensemble carries a different entropy function, and the paper proves by Stirling analysis that along $E=\xi N$, $V=\zeta N$ all four converge to $S \asymp \ln\!\left(\left(\frac{4\pi m e E}{3N}\right)^{3N/2} \left(\frac{V}{N}\right)^N\right) + N$.

Load-bearing premise

The load-bearing premise is that entropy is measured relative to the standard phase-space volume (Liouville measure) and the ordinary volume scale $d\nu$; if a different reference scale were chosen, the maximum-entropy states and the entropy values would all shift.

Editorial extensions

If this is right

  • For finite $N$, temperature, pressure, and chemical potential obtained by differentiating $S(E,V,N)$ depend on the ensemble in which the system was thermalized, so small-system thermodynamics must specify the thermalization mechanism.
  • The exact entropies give explicit finite-size corrections to the ideal-gas equation of state for nanoscale confinement, where bulk values can be inaccurate.
  • The four ensembles agree to leading order, recovering the standard thermodynamic limit and matching the prediction of large deviation theory.
  • The mean-particle-number ensemble admits a unique equilibrium parameter $\beta$, fixed by the monotonicity of the mean particle number, so the implicit entropy expression is well defined for all $E,V,N$.
  • This approach gives a template for computing exact entropies of other non-interacting finite systems by solving the maximum-entropy problem on quotient phase space.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Because the maximum-entropy calculation fixes the reference measure once, the exactness of the entropy values is conditional on that measure; the robust physical content is the ensemble dependence and the common asymptotic form rather than an absolute entropy scale.
  • The same two-postulate program could be extended to interacting systems or to quantum many-body systems, where the reference measure becomes a trace and the indistinguishability stabilizer correction $N!/\prod n_\alpha!$ is no longer negligible.
  • The ensemble-dependent chemical potential displayed in the paper could in principle be tested by measuring particle-number fluctuations of a small gas at fixed energy and volume, though the reference-measure caveat would need to be settled first.
  • The paper's monotonicity argument for uniqueness of $\beta$ suggests that the mean-particle-number ensemble is well-posed for all $E,V,N$; a direct numerical check for small $N$ would be a straightforward verification.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 6 minor

Summary. The paper proposes a maximum-entropy derivation of exact entropy expressions for classical non-interacting many-body systems in four ensembles: microcanonical (E,V,N), canonical (E-bar,V,N), isothermal-isobaric (E,V-bar,N), and grand-canonical (E,V,N-bar). The authors start from two postulates, stationarity and unbiasedness, define generalized mixed states over phase spaces of varying volume and particle number, and derive the explicit formulas in Eqs. (1)-(4). They then analyze the thermodynamic limit and claim that all four entropies converge to the common asymptotic form in Eq. (5), consistent with large-deviation expectations. The paper further argues that these finite-size entropies can serve as the basis for exact thermodynamics of nanoscale ideal gases.

Significance. If the central claim were fully supported, this would provide a clean, finite-size generalization of ensemble theory for ideal classical gases, with explicit entropy formulas and an asymptotic check of ensemble equivalence. The maximum-entropy calculations are mostly standard and the explicit formulas are useful reference expressions; the saddle-point analysis in Section 4.4 is nontrivial and the paper is self-contained. However, the claim that Eqs. (1)-(4) are exact consequences of only two postulates is not supported, because the reference measure for the differential entropy, the singular nature of the microcanonical energy-shell measure, and the treatment of indistinguishability are additional structural inputs. With these assumptions stated openly and the claims weakened accordingly, the paper could become a valuable contribution to finite-size statistical mechanics.

major comments (3)
  1. [§2; §3.3, Eqs. (29)-(37)] The entropy functional is a differential entropy with respect to a chosen reference measure, but the manuscript never derives the choices of Liouville measure d{q}d{p} and Lebesgue measure dν for the volume coordinate from stationarity or unbiasedness. This is not a harmless convention: in Eq. (29) the volume marginal enters through ∫ρ(ν) ln(ν^N/ρ(ν)) dν, and changing the reference measure changes both the maximizing density and the numerical value of the entropy. For example, replacing dν by c dν changes the entropy by an additive constant at fixed physical state, and replacing dν by a nonlinear measure such as ν^{-α}dν changes the shape of the maximizing marginal ρ(ν) and therefore the value of Eq. (37). The phase-space measure carries the same ambiguity in all four ensembles, which is reflected in the fact that Eqs. (1)-(4) are not dimensionless and contain no Planck-cell normalization h^{3N}. Unless a reference-measure postulate is added or the claims are restricted to relative entropies with respect to a specified measure, the exactness and uniqueness of Eqs. (1)-(4) from the two stated postulates is unsupported.
  2. [§3.1, Eqs. (10)-(13)] The microcanonical state space Λ_{E,V,N} used in Eq. (10) is a (3N-1)-dimensional energy shell, which has zero Liouville measure in the full phase space. The normalization in Eq. (10) is therefore an integral over the surface area of the shell, and the entropy in Eq. (13) is the logarithm of that surface area. Since the uniform distribution on the shell is singular with respect to the Liouville measure, the differential entropy functional used in the variational problem is not defined without an additional limiting procedure, such as a finite shell thickness or an explicit regularization. The choice between surface-area entropy and shell-volume entropy is exactly the kind of finite-size scheme dependence that the paper claims to have eliminated, so the word 'exact' in Eq. (1) requires a careful justification of this limiting procedure.
  3. [§2; §3.4, Eqs. (53)-(54)] Indistinguishability is imposed as a separate symmetry requirement after the maximum-entropy problem has been solved on the labeled phase space. In the fixed-N ensembles, the constant factor 1/N! only shifts the entropy, so the order of operations is harmless. In the (E,V,N-bar) ensemble, however, the symmetry correction is the n-dependent factor 1/n! inside the sum, which changes the reference measure for each particle-number sector. Consequently, the maximum-entropy marginal ρ(n) and the Lagrange multiplier β must be re-derived on the quotient measure; Eq. (54) cannot be obtained merely by inserting 1/n! into the partition function of Eq. (53). The displayed formula for β in the introduction does use the 1/n!-modified sum, but the body does not derive it from the maximization problem on the physical state space. This gap also makes the claim that the derivation uses only two postulates inaccurate, since indistinguishability is an additional input.
minor comments (6)
  1. [§4.3, Eq. (65)] Eq. (65) displays an extra factor N multiplying the logarithm; the surrounding derivation and the final asymptotic form Eq. (5) are consistent only if the expression reads S ≍ ln( ... ) + N, not S ≍ N ln( ... ) + N.
  2. [§4.4, Eqs. (86)-(105)] The saddle-point analysis gives an upper bound of order n* B_{n*} for the sum in Eq. (98), and the logarithm of that bound differs from ln B_{n*} by O(ln N). This is acceptable for leading-order asymptotics, but the step from Eq. (102) to Eq. (103) asserts without proof that the weighted sum Σ n C_n is dominated by its maximal term; a uniform lower-bound estimate or a more careful saddle-point treatment of the weighted sum is needed before the claim can be called rigorous.
  3. [§3.4] The notation for the sum in Eq. (54) is inconsistent with the derivation: Eq. (50) defines β through the unquotiented Z(β), while the displayed β in the introduction and in Eq. (54) uses the 1/n!-modified partition function; the body should state explicitly which partition function defines β at each stage.
  4. [§2, §3.3, Eq. (22)] The phrase 'invariant measure' for the extended state space with the volume coordinate ν is not justified, because there is no defined dynamics in the ν direction on which stationarity could act; the measure dν is an a priori choice, not a consequence of time-translation invariance.
  5. [§3, Fig. 1 and Fig. 2] Both figures are referenced in the text but their content is not described in sufficient detail to be checked from the text alone; Fig. 2 in particular does not state which formula is plotted, making the claimed ensemble dependence of ϕ difficult to verify.
  6. [§4] The symbol '≍' is used in different ways, sometimes meaning equality of leading-order logarithms and sometimes appearing in inequalities such as Eq. (90) and Eq. (98); the paper should define the convention once and use it uniformly.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the entropy expressions are obtained by direct constrained maximum-entropy optimization, and the asymptotic limits are verified independently rather than used as inputs.

full rationale

The paper's derivation chain is self-contained and non-circular. It takes as inputs a definite differential entropy functional S[rho] = -integral rho ln rho dOmega on a chosen invariant measure, the stationarity-motivated constraints on E, V, N (fixed or in mean), and the indistinguishability symmetry. For each ensemble it solves the corresponding Euler-Lagrange equations (e.g., Eqs. (14)-(18), (23)-(34), (39)-(51)) and then evaluates S at the maximizing density to obtain Eqs. (13), (21), (37), (54). There is no fitted parameter that is renamed as a prediction, and no benchmark entropy is imported to force the answer. The asymptotic form Eq. (55) is derived in Section 4 via Stirling's formula, saddle-point location, and Laplace's method; it is not imposed as a constraint. The only extra-mathematical ingredients are the choice of differential entropy with respect to a reference measure (e.g., dnu for volume) and the N! indistinguishability factor; these are assumptions on which the derivation depends, but they are inputs rather than outputs and therefore do not make the derivation circular. The paper cites no prior work by its own authors, so no self-citation chain is load-bearing. The claim that the theory rests on 'only two postulates' is somewhat overstated because the entropy functional and reference measure are additional assumptions, but this is a completeness/justification caveat, not circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central claim rests on the choice of differential entropy and the reference measures (Liouville, dν, surface measure) as axioms, which are not derived from the stated postulates of stationarity and unbiasedness. No free parameters are fitted to data, and no new physical entities are introduced.

assumptions (5)
  • domain assumption The phase-space measure for entropy is the Liouville measure dΩ = dq dp, and the entropy of a continuous distribution is the differential entropy -∫ρ ln ρ dΩ.
    Invoked in Section 2 and used in all entropy maximizations; the choice of measure is not derived from the two postulates.
  • domain assumption Equilibrium is characterized by maximum entropy (unbiasedness) subject to constraints.
    Stated as a postulate in Section 2; this is Jaynes' principle, an assumption about statistical inference.
  • domain assumption For the (E,V,N) ensemble, the microcanonical state space is the surface H=E of the energy sphere, with the induced surface measure.
    Used in Section 3.1, Eq. (10); an energy shell of finite thickness would give a different, δE-dependent entropy.
  • domain assumption Identical particles are handled by dividing phase-space volume by N!, with the stabilizer correction ignored as measure zero.
    Section 2, paragraph on indistinguishability; standard classical treatment.
  • ad hoc to paper For the (E, average V, N) ensemble, volume is an independent continuous coordinate ν with Lebesgue measure dν, and the entropy depends on this choice.
    Section 3.3, Eqs. (22)-(35); the exactness of the entropy is measure-dependent, e.g., using u = ln ν would change the result.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Exact Expressions of Entropy for Classical Non-interacting Many-body Systems." pith.science (2026). https://pith.science/paper/67V2LYHM

@misc{pith2026260811104,
  author       = {Pith},
  title        = {Pith review of: Exact Expressions of Entropy for Classical Non-interacting Many-body Systems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/67V2LYHM}},
  note         = {Machine review of arXiv:2608.11104}
}
abstract

In the thermodynamic limit, the equilibrium state of a many-body system can be characterized by three pairs of conjugate thermodynamic variables: $E/T,V/P,N/\mu$. In this limit, the thermodynamic properties in all ensembles are equivalent up to the leading order of $E,V,N$. However, for systems of finite size, this ensemble equivalence is no longer exact, and the thermodynamic properties may differ substantially among ensembles. To quantify these finite-size effects rigorously, it is desirable to develop a universal ensemble theory applicable to systems of arbitrary size, providing exact expressions for entropy and, thereby, giving rise to the precise value of all equilibrium thermodynamic quantities. In this work, we propose a theory that determines the exact entropy expressions for classical non-interacting many-body systems of arbitrary size across all statistical ensembles, based on only two postulates: \textbf{stationarity}, requiring that the physical laws be invariant under time translation, and \textbf{unbiasedness}, requiring that the equilibrium mixed state maximize the entropy subject to the prescribed constraints. Moreover, we show that the entropy expressions obtained in different ensembles converge to the common asymptotic form $S \asymp \ln\!\left( \left( \frac{4\pi m e E}{3N} \right)^{3N/2} \cdot \left(\frac{V}{N}\right)^N \right)+N$, consistent with the predictions of the large deviation theory.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

8 extracted references · 8 canonical work pages

  1. [1]

    Foundations and Trends in Communications and Information Theory , volume =

    Neri Merhav , title =. Foundations and Trends in Communications and Information Theory , volume =. 2010 , publisher =

    work page 2010

  2. [2]

    Physics Reports , volume =

    Hugo Touchette , title =. Physics Reports , volume =. 2009 , doi =

    work page 2009

  3. [3]

    R. K. Pathria and Paul D. Beale , title =

    work page

  4. [4]

    Cover and Joy A

    Thomas M. Cover and Joy A. Thomas , title =

    work page

  5. [5]

    Jaynes , title =

    Edwin T. Jaynes , title =. Physical Review , volume =. 1957 , doi =

    work page 1957

  6. [6]

    Fundamental Theories of Physics , publisher =

    Naoto Shiraishi , title =. Fundamental Theories of Physics , publisher =. 2023 , doi =

    work page 2023

  7. [7]

    Arnold , title =

    Vladimir I. Arnold , title =

    work page

  8. [8]

    Leinaas and Jan Myrheim , title =

    Jon M. Leinaas and Jan Myrheim , title =. Il Nuovo Cimento B , volume =. 1977 , doi =

    work page 1977

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.