A classical model for semiclassical state-counting

Jonathan Sorce

A classical model for semiclassical state-counting

T0 review · 0 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read Microcanonical entropy differences become phase-space volume ratios in the classical limit.

desk verdict A well-scoped, honest analogy paper that makes the classical counterpart of type II relative state-counting concrete, and it deserves a serious referee. read the letter →

arxiv 2501.16437 v1 pith:QSB27XA2 submitted 2025-01-27 hep-th quant-ph

Jonathan Sorce This is my paper · ORCID

classification hep-thquant-ph

keywords semiclassicallimitentropydifferencesmicrocanonicalstatesWignerfunctionphase-spacevolumessymplectomorphismtypeIIvonNeumannalgebrasrelativestatecounting

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 tries to establish that a recently developed way of counting states in semiclassical black holes—using entropy differences in type II von Neumann algebras, where absolute entropies are infinite but differences are finite and meaningful—has an exact mechanical analogue in the classical limit of ordinary quantum mechanics. In that analogue, microcanonical quantum states become uniform probability distributions on phase space, and the entropy difference of two such states is the logarithm of the ratio of their phase-space volumes. The paper shows this in two exactly solvable models, a free particle on a circle and a harmonic oscillator, where the quantum entropy difference is shown to converge to the classical value as $\hbar \to 0$. A sympathetic reader should care because this is the only setting so far in which the restriction to algebra-internal operations in semiclassical state-counting is derived rather than assumed: the classical restriction to symplectomorphisms arises as the $\hbar \to 0$ limit of unitaries and partial isometries acting on the underlying quantum Hilbert space.

What carries the argument

The carrying object is the Wigner function, a real-valued phase-space representation of a quantum state whose expectation-value integral reproduces the quantum trace using the measure $dx\,dp/\hbar$. The paper's argument consists of computing the Wigner functions of $\hbar$-dependent microcanonical families—maximal mixtures over a momentum window in the first model and an energy window in the second—and taking the limit $\hbar \to 0$ in the sense of distributions. In the particle-on-a-circle case this is done by Fourier-transforming the Wigner function and recognizing the limit as the characteristic function of a uniform distribution; in the oscillator case the same goal requires the known asymptotic expansions of Laguerre polynomials to establish the distributional identity (A.1), localizing the microcanonical state on an energy shell. These computations show that the entropy functional commutes with the classical limit in the cases studied.

What would settle it

Compute the finite-$\hbar$ entropy of the microcanonical harmonic-oscillator state (2.37) to next order in $\hbar$ using the full quantum formula rather than the approximation that drops discreteness errors; any nonzero term surviving in the entropy difference after the $\hbar \to 0$ limit would contradict Eqs. (2.14) and (2.40). Alternatively, in the particle-on-a-circle model, replace the sharp momentum window by one with $\hbar$-dependent endpoints and check whether the limiting Wigner distribution acquires boundary layers; if such layers contribute to the entropy difference, the claimed classical-limit matching fails.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is a correspondence between the type II algebraic result that entropy differences of microcanonical states count relative degrees of freedom, and a classical fact about phase space: in the $\hbar \to 0$ limit, microcanonical quantum states are described by uniform distributions over phase-space regions, and the classical entropy difference between two such distributions is the logarithm of the volume ratio, matching the limit of the quantum entropy difference. Two such distributions have the same classical entropy if and only if their supports are related by a symplectomorphism of phase space, and in the examples every such symplectomorphism is explicitly realized as the classical limit of a unitary or a partial isometry of the underlying quantum system—translations in momentum for the particle on a circle, and a non-invertible, angle-preserving radial map for the harmonic oscillator. The paper thus presents the symplectomorphism restriction not as a separate postulate but as a consequence of the quantum-to-classical transition.

Load-bearing premise

The load-bearing premise is that the Wigner functions of the $\hbar$-dependent microcanonical families converge, in the sense of distributions, to the claimed uniform phase-space probabilities, with the $\hbar \to 0$ limit entering before the entropy functional and, in the oscillator case, with the Laguerre asymptotic (A.1) holding without boundary corrections.

Editorial extensions

If this is right

If the correspondence is right, finite entropy differences between semiclassically similar black holes have a literal interpretation as logarithms of phase-space volume ratios in an emergent classical description.
Equal classical entropy is both necessary and sufficient for the existence of a symplectomorphism relating the microcanonical supports, giving a geometric criterion for carrying the same number of relative degrees of freedom.
Because the oscillator symplectomorphism is non-invertible and comes from a partial isometry, the state-counting interpretation must allow maps defined only on the relevant phase-space region rather than globally invertible canonical transformations.
The examples show that the restriction to algebra-internal operations is not an independent postulate but is inherited from the unitaries and partial isometries of the underlying quantum theory in the $\hbar \to 0$ limit.
The same mechanism, if it generalizes, explains how the type II algebra restriction in semiclassical gravity could emerge from a fully quantum gravitational theory.

Reading between the lines

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

A natural extension the paper does not pursue is the next-to-leading-order computation in $\hbar$; the discreteness errors in Eqs. (2.14) and (2.40) should produce oscillatory corrections that could be compared with finite-$N$ corrections to type II renormalized traces in concrete gravitational models.
The two examples support a broader conjecture: for any quantum system with a Wigner classical limit, microcanonical projections converge to uniform Liouville distributions on connected phase-space regions, with equal classical entropy equivalent to existence of a (possibly non-invertible) symplectomorphism between supports; testing this on non-integrable systems would show how much of the structur
If the symplectomorphism restriction is the classical shadow of gauge-invariant operations, then one testable prediction is that allowing arbitrary diffeomorphisms of phase space between equal-volume regions should destroy the state-counting interpretation, exactly as allowing arbitrary partial isometries outside the algebra would in semiclassical gravity.

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.

Desk Editor's Note

read the letter

You should know two things about this paper before anything else. First, it is an explicitly scoped analogy paper and it stays inside its scope: no general theorem, no claim to have derived the type II structure from quantum gravity. Second, within that scope it does a genuinely careful job, and the harmonic oscillator example is doing real work, not just decoration.

What is actually new: the paper takes the Akers–Sorce relative state-counting result and shows, in two concrete quantum systems, that each piece of the type II story has a classical counterpart that can be verified explicitly. The entropy-difference match is the least surprising part—microcanonical mixtures over a window have von Neumann entropy log of the number of states in the window, so the finite difference in the ℏ→0 limit is just a ratio of window sizes. That part is direct counting and does not depend on delicate asymptotics. The more interesting piece is the last step: the classical symplectomorphism relating equal-volume regions is shown to be the classical limit of the quantum unitary or partial isometry, including the non-invertible case in the oscillator, where the map is checked on the Hamiltonian and an angle observable. That is a real demonstration, not an assertion.

The soft spots are proportionate to the paper's ambition. The distributional limits (2.13) and especially (2.38) involve interchanging ℏ→0 with a discrete sum, and the oscillator case says "one can easily show" for a step that is doing nontrivial work. The appendix handles the Laguerre asymptotics carefully, so I am not worried about correctness, but a referee should ask for a bit more detail on the passage from (2.37) to (2.38). The emergence of the symplectomorphism is verified on two observables rather than proven for the full map; acceptable for the stated purpose, but worth flagging. The "if and only if" claim is only for this family of uniform distributions, and the paper says so—no problem.

Citation pattern is clean; the self-citation of [20] is the result being analogized. The paper is honest about what it does and does not establish.

Verdict: this is a useful conceptual contribution for people working on type II algebras in semiclassical gravity, and it would serve as an entry point for students. It deserves a serious referee and should be accepted with light revision. I would be happy to see it published as is, modulo the small clarifications above.

Referee Report

0 major / 5 minor

Summary. The paper proposes a classical phase-space analogue of the relative state-counting interpretation of type II von Neumann algebra entropies developed by Akers and Sorce. After a brief introduction to Wigner functions, it works out two examples: a free particle on a circle and the harmonic oscillator. In each case, families of microcanonical quantum states have Wigner functions that converge to uniform distributions on phase-space regions, the finite limits of the quantum entropy differences agree with classical entropy differences computed from those distributions, two such uniform distributions have equal classical entropy if and only if their supports are related by a symplectomorphism, and the relevant symplectomorphisms are shown to be classical limits of quantum unitaries or partial isometries. An appendix supplies the distributional limit for the oscillator Wigner function using known Laguerre asymptotics. The paper is explicitly framed as an example-based analogy rather than a general theorem.

Significance. If the claims hold, the paper gives a useful toy model for how the peculiar features of type II relative state-counting—preferred renormalized traces, infinite entropies with finite differences, and the restriction to algebra elements—can emerge from an underlying quantum theory in a controlled limit. The main strengths are that the entropy-difference equalities are obtained by direct discrete state-counting rather than by fitting, that the Wigner-function computations are explicit, and that the paper identifies a concrete mechanism by which symplectomorphism restrictions arise from quantum unitaries. The paper makes no free-parameter assumptions and is candid about the technical nature of the classical-limit steps. Its value is explanatory and pedagogical rather than a proof of a new general result, and it should be judged on that basis.

minor comments (5)

[§2.3, Eq. (2.35)] The coordinate substitution is easy to misread: the formulas require a rescaling such that H = (X^2 + P^2)/2 and dxdp = (1/ω)dXdP, which corresponds to x = X/(√m ω) and p = √m P (or an equivalent convention), whereas the printed 'x = X/√mω' can be read as x = X/√(mω). Please write the substitution unambiguously.
[Appendix A] Several statements refer to the wrong support radius: 'strictly less than 2E0' just after Eq. (A.10) should be 'strictly less than √(2E0)', and 'supported entirely at R = 2E0' should be 'supported entirely at R = √(2E0)'. In addition, the Airy argument in Eq. (A.12) is missing parentheses and should read Ai(√2 (2n+1)^(2/3) (R − √(2E0))/√E0).
[§2.3, Eqs. (2.45)-(2.46)] The displayed classical-limit expression for (x̂p̂ + p̂x̂)Ĥ^{-1} appears to carry an extra factor of 2: a direct ladder-operator computation gives the continuum kernel with coefficient i/(ℏω²) rather than 2i/(ℏω²) after the same variable relabelling. The subsequent conclusion about preserving the ratio x/p is unaffected because the argument only uses the level sets of the observable, but the displayed equality should be checked and corrected.
[§2.2, Eq. (2.10) and §2.3, Eq. (2.37)] The sums over n run from p−/ℏ to p+/ℏ and from E−/(ℏω) − 1/2 to E+/(ℏω) − 1/2, but these endpoints are generally not integers. The text should specify that nearest-integer or floor/ceiling prescriptions are used; the statements about vanishing errors are correct regardless, but the definitions are not fully precise as printed.
[§2.3, Eqs. (2.43)-(2.44)] The operator V with V|n⟩ = |n+δ(ℏ)⟩ is called an isometry, but when δ(ℏ) is negative it is only a partial isometry on the half-line Hilbert space. Please state explicitly the assumed sign of E+ − E′+ or consistently refer to V as a partial isometry, which would also match the earlier type II discussion.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the classical analogy is computed independently, and self-citation to [20] is motivational only.

full rationale

The paper's central claims are explicit worked analogies, not derivations from the type II result. The entropy-difference equalities (2.14) and (2.40) are obtained by direct state counting: the microcanonical mixtures (2.10)/(2.37) have von Neumann entropy equal to the log of the number of states in the window, up to vanishing discreteness errors, so the ℏ→0 limits log((p+−p−)/(p′+−p′−)) and log((E+−E−)/(E′+−E′−)) are fixed before any Wigner asymptotics are invoked. The Wigner-function limits (2.13)/(2.38) only identify the classical target distributions; the classical differential-entropy differences of those distributions are the same log-ratios, and the author explicitly labels the matching 'almost trivial' rather than presenting it as an independent prediction. The symplectomorphism restrictions are verified by explicit maps (2.17)/(2.42) and by checking their action on phase-space observables, and the paper acknowledges that establishing the distributional limit (A.1) is a nontrivial technical task. The only self-citation is [20], which is used to motivate the analogy and to indicate which classical features should be sought; its type II results are not used as premises for the classical calculations, which are self-contained. No circular step can be exhibited from the paper's own equations.

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

The central derivations rest on standard tools of quantum mechanics and asymptotic analysis, not on fitted parameters or new entities. No free parameters are introduced: the classical limits are determined uniquely by the state families. The key assumptions are the validity of the Wigner-function classical limit and the quoted Laguerre asymptotics.

assumptions (5)

standard math The Wigner transformation represents quantum expectation values as integrals of Wigner functions with respect to dxdp/ℏ (Eq. (2.3)).
Invoked in Section 2.1 to set up the phase-space description used throughout the paper.
domain assumption Families of quantum states with a good classical limit have Wigner functions that converge to classical probability distributions in the ℏ→0 limit, and Wigner functions of polynomials in x̂ and p̂ converge to the corresponding classical polynomials.
This is the standard notion of a classical limit used to interpret the microcanonical states in Sections 2.2 and 2.3.
standard math The asymptotic expansions for Laguerre polynomials quoted from [29-31] in Eq. (A.9) are valid, including the Bessel function and Airy function regimes.
Required for the distributional limit (A.1) in Appendix A, which establishes the classical limit of the harmonic oscillator Wigner function.
standard math Interchanges of limits, discrete sums, and Fourier transforms in Sections 2.2 and 2.3, e.g., approximating momentum sums by integrals, are valid in the distributional sense.
Used to derive the limiting uniform distributions in Eqs. (2.13) and (2.38).
standard math In two-dimensional phase space, equal-volume regions of the type considered are related by symplectomorphisms (area-preserving diffeomorphisms), and different-volume regions are not.
Used to conclude that equal-entropy uniform distributions have symplectomorphic supports in Sections 2.2 and 2.3.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A classical model for semiclassical state-counting." pith.science (2026). https://pith.science/paper/QSB27XA2

@misc{pith2026250116437,
  author       = {Pith},
  title        = {Pith review of: A classical model for semiclassical state-counting},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QSB27XA2}},
  note         = {Machine review of arXiv:2501.16437}
}

abstract

In the type II von Neumann algebras that appear in semiclassical gravity, all states have infinite entropy, but entropy differences are uniquely defined. Akers and I have shown that the entropy difference of microcanonical states has a relative state-counting interpretation in terms of the additional (finite) number of degrees of freedom that are needed to represent the "larger-entropy" state supposing that one already has a representation of the "smaller-entropy" state, and supposing that one is restricted to act with gauge-invariant operators. This short paper explains some of the curious features of relative state-counting by analogy to the classical limit of quantum statistical mechanics. In this analogy the preferred family of renormalized traces becomes the preferred family of symplectic measures on phase space; the trace-index of infinite-dimensional subspaces becomes the ratio of phase space volumes; and the restriction that one must act with gauge-invariant operators becomes the restriction that one must act with symplectomorphisms. Because in the phase-space analogy one has exact control over the quantum deformation away from the classical theory, one can see precisely how the relevant aspects of the classical structure are inherited from the quantum theory -- though even in this simple setting, it is a nontrivial technical task to show how classical symplectomorphisms emerge from the underlying quantum theory in the $\hbar \to 0$ limit.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Uniqueness of null-local modular flow
hep-th 2026-07 conditional novelty 7.0 of 10

For the free massless scalar in a Minkowski causal diamond, the vacuum is the unique state or weight in the vacuum sector whose modular flow is local on the null boundary.

Reference graph

Works this paper leans on

31 extracted references · 10 canonical work pages · cited by 1 Pith paper

[20]

Akers and J

C. Akers and J. Sorce,Relative State Counting for Semiclassical Black Holes, Phys. Rev. Lett. 133 (2024), no. 20 201601, [arXiv:2404.16098]

arXiv 2024
[1]

G. W. Gibbons and S. W. Hawking,Action Integrals and Partition Functions in Quantum Gravity, Phys. Rev. D15 (1977) 2752–2756

1977
[2]

Sen,Extremal black holes and elementary string states, Mod

A. Sen,Extremal black holes and elementary string states, Mod. Phys. Lett. A10 (1995) 2081–2094, [hep-th/9504147]

arXiv 1995
[3]

Strominger and C

A. Strominger and C. Vafa,Microscopic origin of the Bekenstein-Hawking entropy, Phys. Lett. B 379 (1996) 99–104, [hep-th/9601029]

arXiv 1996
[4]

C. G. Callan and J. M. Maldacena,D-brane approach to black hole quantum mechanics, Nucl. Phys. B472 (1996) 591–610, [hep-th/9602043]

arXiv 1996
[5]

G. T. Horowitz and A. Strominger,Counting states of near extremal black holes, Phys. Rev. Lett. 77 (1996) 2368–2371, [hep-th/9602051]

arXiv 1996
[6]

J. M. Maldacena and A. Strominger,Statistical entropy of four-dimensional extremal black holes, Phys. Rev. Lett.77 (1996) 428–429, [hep-th/9603060]

arXiv 1996
[7]

C. V. Johnson, R. R. Khuri, and R. C. Myers,Entropy of 4-D extremal black holes, Phys. Lett. B 378 (1996) 78–86, [hep-th/9603061]

work page Pith review arXiv 1996

Show all 31 references

[8]

Strominger,Black hole entropy from near horizon microstates, JHEP 02 (1998) 009, [hep-th/9712251]

A. Strominger,Black hole entropy from near horizon microstates, JHEP 02 (1998) 009, [hep-th/9712251]. – 15 –

1998 arXiv
[9]

Hartman, C

T. Hartman, C. A. Keller, and B. Stoica,Universal Spectrum of 2d Conformal Field Theory in the Large c Limit, JHEP 09 (2014) 118, [arXiv:1405.5137]

2014 arXiv
[10]

Penington, S

G. Penington, S. H. Shenker, D. Stanford, and Z. Yang,Replica wormholes and the black hole interior, JHEP 03 (2022) 205, [arXiv:1911.11977]

2022 arXiv
[11]

L. V. Iliesiu, S. Murthy, and G. J. Turiaci,Black hole microstate counting from the gravitational path integral, arXiv:2209.13602

arXiv
[12]

Balasubramanian, A

V. Balasubramanian, A. Lawrence, J. M. Magan, and M. Sasieta,Microscopic Origin of the Entropy of Black Holes in General Relativity, Phys. Rev. X14 (2024), no. 1 011024, [arXiv:2212.02447]

2024 arXiv
[13]

Witten,Gravity and the crossed product, JHEP 10 (2022) 008, [arXiv:2112.12828]

E. Witten,Gravity and the crossed product, JHEP 10 (2022) 008, [arXiv:2112.12828]

2022 arXiv
[14]

Chandrasekaran, R

V. Chandrasekaran, R. Longo, G. Penington, and E. Witten,An algebra of observables for de Sitter space, JHEP 02 (2023) 082, [arXiv:2206.10780]

2023 arXiv
[15]

Chandrasekaran, G

V. Chandrasekaran, G. Penington, and E. Witten,Large N algebras and generalized entropy, JHEP 04 (2023) 009, [arXiv:2209.10454]

2023 arXiv
[16]

Sorce,Notes on the type classification of von Neumann algebras, Rev

J. Sorce,Notes on the type classification of von Neumann algebras, Rev. Math. Phys.36 (2024), no. 02 2430002, [arXiv:2302.01958]

2024
[17]

Jensen, J

K. Jensen, J. Sorce, and A. J. Speranza,Generalized entropy for general subregions in quantum gravity, JHEP 12 (2023) 020, [arXiv:2306.01837]

2023 arXiv
[18]

Kudler-Flam, S

J. Kudler-Flam, S. Leutheusser, and G. Satishchandran,Generalized black hole entropy is von Neumann entropy, Phys. Rev. D111 (2025), no. 2 025013, [arXiv:2309.15897]

2025 arXiv
[19]

Kudler-Flam, S

J. Kudler-Flam, S. Leutheusser, A. A. Rahman, G. Satishchandran, and A. J. Speranza,A covariant regulator for entanglement entropy: proofs of the Bekenstein bound and QNEC, arXiv:2312.07646

arXiv
[21]

R. M. Soni,A type I approximation of the crossed product, JHEP 01 (2024) 123, [arXiv:2307.12481]

2024 arXiv
[22]

Akers, A

C. Akers, A. Levine, G. Penington, and E. Wildenhain,One-shot holography, SciPost Phys. 16 (2024), no. 6 144, [arXiv:2307.13032]

2024 arXiv
[23]

F. J. Murray and J. v. Neumann,On rings of operators, Annals of Mathematics37 (1936), no. 1 116–229

1936
[24]

F. J. Murray and J. Von Neumann,On rings of operators. II, Transactions of the American Mathematical Society41 (1937), no. 2 208–248

1937
[25]

Von Neumann,On rings of operators

J. Von Neumann,On rings of operators. Reduction theory, Annals of Mathematics50 (1949), no. 2 401–485

1949
[26]

F. J. Murray and J. von Neumann,On rings of operators. IV, Annals of Mathematics44 (1943), no. 4 716–808

1943
[27]

E. P. Wigner,On the quantum correction for thermodynamic equilibrium, Phys. Rev. 40 (1932) 749–760

1932
[28]

H. J. Groenewold,On the Principles of elementary quantum mechanics, Physica 12 (1946) 405–460. – 16 –

1946
[29]

Erdélyi,Asymptotic forms for Laguerre polynomials, The Journal of the Indian Mathematical Society(1960) 235–250

A. Erdélyi,Asymptotic forms for Laguerre polynomials, The Journal of the Indian Mathematical Society(1960) 235–250

1960
[30]

Frenzen and R

C. Frenzen and R. Wong,Uniform asymptotic expansions of Laguerre polynomials, SIAM journal on mathematical analysis19 (1988), no. 5 1232–1248

1988
[31]

Temme,Asymptotic estimates for Laguerre polynomials, Zeitschrift für angewandte Mathematik und Physik ZAMP41 (1990) 114–126

N. Temme,Asymptotic estimates for Laguerre polynomials, Zeitschrift für angewandte Mathematik und Physik ZAMP41 (1990) 114–126. – 17 –

1990

Pith tools

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

[1] [20]

Akers and J

C. Akers and J. Sorce,Relative State Counting for Semiclassical Black Holes, Phys. Rev. Lett. 133 (2024), no. 20 201601, [arXiv:2404.16098]

arXiv 2024

[2] [1]

G. W. Gibbons and S. W. Hawking,Action Integrals and Partition Functions in Quantum Gravity, Phys. Rev. D15 (1977) 2752–2756

1977

[3] [2]

Sen,Extremal black holes and elementary string states, Mod

A. Sen,Extremal black holes and elementary string states, Mod. Phys. Lett. A10 (1995) 2081–2094, [hep-th/9504147]

arXiv 1995

[4] [3]

Strominger and C

A. Strominger and C. Vafa,Microscopic origin of the Bekenstein-Hawking entropy, Phys. Lett. B 379 (1996) 99–104, [hep-th/9601029]

arXiv 1996

[5] [4]

C. G. Callan and J. M. Maldacena,D-brane approach to black hole quantum mechanics, Nucl. Phys. B472 (1996) 591–610, [hep-th/9602043]

arXiv 1996

[6] [5]

G. T. Horowitz and A. Strominger,Counting states of near extremal black holes, Phys. Rev. Lett. 77 (1996) 2368–2371, [hep-th/9602051]

arXiv 1996

[7] [6]

J. M. Maldacena and A. Strominger,Statistical entropy of four-dimensional extremal black holes, Phys. Rev. Lett.77 (1996) 428–429, [hep-th/9603060]

arXiv 1996

[8] [7]

C. V. Johnson, R. R. Khuri, and R. C. Myers,Entropy of 4-D extremal black holes, Phys. Lett. B 378 (1996) 78–86, [hep-th/9603061]

work page Pith review arXiv 1996