Pith. sign in

REVIEW 3 major objections 4 minor 26 references

Statistical Mechanics and Categorical Entropy

T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Pith's one-line read This paper proves that the average von Neumann entropy per site of a commuting quantum lattice is the logarithm of an algebraic integer, and connects this statistical-mechanics result to categorical entropy through a gauged-lattice…

desk verdict A promising transfer-matrix idea undercut by a false integrality claim; reject as is, but worth a referee for the conjecture. read the letter →

arxiv 2505.18751 v1 pith:33ZITGXD submitted 2025-05-24 cond-mat.stat-mech math.CT

classification cond-mat.stat-mechmath.CT MSC 82B2018G8037B40
keywords vonNeumannentropycategoricalalgebraicintegerA-infinitycategoryquantumlatticemodelgaugedthermodynamiclimitBRSTdifferential
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

The paper's central aim is to show that a thermodynamic quantity—the average von Neumann entropy per site of a one-dimensional quantum lattice in the zero-temperature, infinite-size limit—is not arbitrary but lands on the logarithm of an algebraic integer. The proof works by expressing the ground-state degeneracy as the trace of a power of a finite matrix and deriving an integral linear recurrence for it. The paper then transfers the same structure to category theory: from an endofunctor of a saturated A-infinity category it constructs a lattice model whose cohomology growth equals the categorical entropy, making the algebraicity of exp(h0(F)) a special case of a conjectured statement about gauged lattice models. If correct, the result establishes a concrete bridge between statistical mechanics and categorical dynamics, with the same algebraic-integer phenomenon appearing on both sides.

What carries the argument

The load-bearing object is the transfer operator A = σ • P_loc, obtained from the local projection P_loc by a fixed permutation of the tensor indices; because the adjacent projections commute, the ground-state degeneracy equals G_N = Tr(A^N). The paper uses the Cayley-Hamilton theorem to convert the characteristic polynomial of A into an integral linear recurrence for G_N, then a characteristic-root argument identifies the thermodynamic limit with the largest root, an algebraic integer. On the categorical side, the machinery is a free resolution R ⊗_k C ⊗_k R of the bimodule encoding an endofunctor; the local differential d_loc on adjacent sites defines a chain complex whose cohomology dimension gives the categorical entropy growth rate, and the gauged lattice model packages the Hamiltonian and differential (a BRST-type supercharge) together.

What would settle it

Compute A = σ • P_loc for a commuting family of adjacent projections built from a rational-entry projection on $C^{2}$⊗$C^{2}$, for example the orthogonal projection onto the vector (e1+e2)⊗(e1+e2); if A has a non-integer entry, the paper's stated justification for an integral characteristic polynomial collapses, and one can directly test whether G_N = Tr(A^N) still satisfies an integral linear recurrence. If some such example fails the recurrence, Theorem A is false as stated.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem A: for any finite-dimensional vector space V and any projection P in End(V⊗V) whose adjacent copies commute, the operator P(N)=P_{1,2}P_{2,3}...P_{N-1,N} is a projection, and exp(lim_{N→∞} (1/N) log dim Im P(N)) is an algebraic integer—equivalently, the low-temperature average von Neumann entropy per site converges to the logarithm of an algebraic integer. The paper further claims (Theorem 2) that the categorical entropy h0(F) of an endofunctor of a saturated A-infinity category equals the von Neumann entropy of an associated gauged lattice model, so the Main Conjecture—that the same algebraicity holds for gauged lattices—would imply the conjecture that exp(h0(F)) is an algebraic integer. The paper presents the gauged lattice as a unification: the pure lattice case and the pure categorical case appear as two limiting situations of one construction.

Load-bearing premise

The proof of Theorem A assumes that the matrix A obtained by permuting the tensor indices of the local projection has integer entries; for projections with rational entries such as 1/2 this is false, and without an integral characteristic polynomial the recurrence argument that produces the algebraic integer does not go through.

Editorial extensions

If this is right

  • In any quantum lattice model satisfying the commuting local-projection assumption, the zero-temperature ground-state degeneracy grows like θ^N for an algebraic integer θ, so the thermodynamic entropy per site is log θ.
  • If the Main Conjecture for gauged lattices holds, the algebraicity conjecture for exp(h0(F)) follows, placing categorical entropy as a physical entropy in a concrete lattice model.
  • The construction gives a working dictionary: an endofunctor of a saturated A-infinity category corresponds to a local differential on a lattice, and categorical complexity corresponds to cohomology dimension.
  • The two known limits—pure lattice (vanishing differential) and pure categorical (vanishing physical Hamiltonian)—are unified as special cases of the gauged lattice framework.
  • The super-vector-space adaptation noted in the paper suggests the framework extends to Z2-graded categories, with signs entering the local differentials.

Reading between the lines

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

  • A natural test of the unified picture is to compute exp(h0(F)) for a concrete autoequivalence—such as a spherical twist or shift functor—and check that the predicted algebraic integer matches the gauged-lattice formula; the paper gives the translation but no worked example.
  • The recurrence-based proof suggests a transfer-matrix perspective in which categorical entropy is the spectral radius of a finite matrix; if the integer-entries assumption is relaxed, one would want to know whether idempotence alone suffices to force an integral characteristic polynomial.
  • The super-vector-space variant indicates the conjecture should extend to Z2-graded categories; verifying the commuting condition for local differentials in that setting would be a concrete next step beyond the paper's sketch.
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 / 4 minor

Summary. The paper proposes a connection between the von Neumann entropy of quantum lattice models and categorical entropy of endofunctors on saturated A∞-categories. It first states a theorem (Theorem A) claiming that, for a sequence of finite-dimensional vector spaces and a projection P on V⊗V with commuting adjacent projections, the exponential of the average logarithm of the dimension of the image of the product of projections is an algebraic integer. The proof of this theorem relies on a Cayley–Hamilton trace argument applied to a matrix A = σ•P_loc, where the authors assert that A has integer entries. The paper then introduces a categorical analogue (Condition B) and a 'Main Conjecture' about gauged lattice models, arguing that these would imply the algebraicity conjecture for exp(h0(F)). The only fully proven result is Theorem A; the categorical claims are conditional on unproved statements.

Significance. If Theorem A were valid, it would generalize the known result for the Fibonacci lattice [25] and establish a new bridge between statistical mechanics and algebraic number theory. The proposed connection between categorical entropy and lattice models is suggestive and could be valuable if the needed assumptions were justified. Credit is due for presenting the conjectural framework honestly: the Main Conjecture is labeled as a conjecture, and Condition B is explicitly proposed as a hypothesis. However, the central proof contains a false assertion about integer entries, and the categorical reduction relies on an unproved commutativity condition. Since the paper's main theorem is not proven, the significance of the overall framework is currently unsupported.

major comments (3)
  1. [§2.1, proof of Theorem 1] The claim that 'since P_loc is a projection and σ•□ is a permutation of the tensor coordinates, A has integer entries' is false. For example, take V = C^2 with computational basis {e1, e2}, set |a⟩ = (e1 + e2)/√2, and let P_loc = (|a⟩⟨a|) ⊗ (|a⟩⟨a|). Then P_{12} and P_{23} commute, so the hypotheses of Theorem A are satisfied, but in the computational basis every entry of A = σ•P_loc equals 1/4. Hence A is not an integer matrix, its characteristic polynomial need not have integer coefficients, and the Cayley–Hamilton trace argument does not yield a linear recurrence with integral coefficients. Consequently, the proof of Theorem A is invalid as written.
  2. [Theorem A statement vs. proof in §2.1] Theorem A defines P(N) = P_{1,2}P_{2,3}...P_{N−1,N} and asserts the algebraicity of exp(lim (1/N) log dim Im P(N)). However, the proof computes G_N = Tr(∏_{x∈L} P_{U+x}) = Tr((σ•P_loc)^N), where the product over translations includes the wrap-around term P_{N,1}. The quantity dim Im P(N) = Tr(P(N)) is not equal to G_N for a general projection, and the proof does not establish that the recurrence for G_N transfers to the limit of (1/N) log Tr P(N). This leaves a gap between the theorem's statement and the argument given.
  3. [§3.1, derivation of Condition B] The reduction to Condition B uses the assertion 'it follows that the local differentials commute: [dloc, dloc∘τ] = 0.' For an arbitrary differential Q on V⊗V, [Q_{12}, Q_{23}] need not vanish. This commutativity is a genuine additional hypothesis, not a consequence of the A∞-structure or of translation invariance as presented. Therefore the statement that Condition B would imply the algebraicity conjecture for exp(h0(F)) for a general endofunctor F is not established.
minor comments (4)
  1. [§3.1 heading] The heading contains a typo: 'A∞-cateegories' should be 'A∞-categories.'
  2. [§2.1, Lemma 2] The definition of the permutation σ in the proof of Lemma 2 is ambiguous; it would be helpful to specify the index transposition explicitly in the tensor product basis.
  3. [§2.1, Corollary 2] The phrase 'Assume k0 = 0 without loss of generality' is misleading; if the first nonzero coefficient occurs at k0 > 0, dividing by x^{k0} changes the recurrence's initial segment, and the argument should be stated with care.
  4. [§2.1, Theorem A] The theorem does not address the possibility that dim Im P(N) = 0 for infinitely many N, in which case the logarithm is undefined; a non-vanishing condition should be imposed or the limit should be defined via the exponential of the mean of log dim Im P(N).

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the categorical-entropy implications are stated as sufficient conditions/conjectures, and Theorem A is independent of the categorical conjecture; the noted integer-matrix flaw is a correctness issue, not a definitional reduction.

full rationale

The derivation chain is not circular. Theorem A is derived directly from lattice data: G_N = Tr((σ•P_loc)^N) and the Cayley-Hamilton theorem, without presupposing the categorical entropy conjecture. The categorical section reduces the algebraicity conjecture to Condition B and then to the Main Conjecture, but the paper explicitly labels these as conjectural sufficient conditions ('proof, however, remains unknown'; 'would imply the algebraicity of categorical entropy'), so the unification is a generalization rather than a case where the conclusion is built into the definition of the input. No load-bearing self-citation appears: the cited algebraicity conjecture [10] is by other authors and is the target, not an imported premise. The false assertion in §2.1 that A = σ•P_loc has integer entries is a serious correctness flaw, because projections can have rational non-integer matrix entries, but it is an invalid inference rather than a circular reduction: the theorem's hypotheses do not define A to be integral, and the proof does not fit A to any data. Under the stated circularity definitions, no output is equivalent by construction to an input, so the circularity score is 0.

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

The paper's claims rest on a stated commutativity assumption for local Hamiltonians, an invalid integer-entry assumption in the proof of Theorem A, and unproved homological identifications in the categorical construction. The gauged-lattice unification is a conjecture, not an independent result.

assumptions (4)
  • domain assumption Adjacent local Hamiltonians and their kernel projections commute: [H_{U'}, H_{U''}] = 0 and [P_{U'}, P_{U''}] = 0 for all translates U', U''.
    Stated as an assumption in the definition of the lattice model in Section 2. It is needed to write the global kernel projection as the product of local projections and to obtain G_N = Tr(A^N).
  • ad hoc to paper The matrix A = sigma applied to P_loc has integer entries.
    Used in the proof of Theorem 1 to ensure the characteristic polynomial has integer coefficients so eigenvalues are algebraic integers. This is not true for general projections and is not otherwise justified.
  • domain assumption The endofunctor bimodule M admits a finite free resolution (R tensor C tensor R, d) with finite-dimensional vector space C.
    Invoked in Section 3.1 to express Ext-groups as homology of a tensor product complex. It is standard for saturated A-infinity categories but not proved here.
  • domain assumption The local differentials d_loc and their translates commute, and Eq. (8) identifies the homology of the total complex with the categorical Ext-groups.
    Asserted in Section 3.1 without proof. The Koszul sign rule and grading make this nontrivial, and the identification is load-bearing for the reduction to Condition B.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Statistical Mechanics and Categorical Entropy." pith.science (2026). https://pith.science/paper/33ZITGXD

@misc{pith2026250518751,
  author       = {Pith},
  title        = {Pith review of: Statistical Mechanics and Categorical Entropy},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/33ZITGXD}},
  note         = {Machine review of arXiv:2505.18751}
}
read the original abstract

This paper investigates the relationship between categorical entropy and von Neumann entropy of quantum lattices. We begin by studying the von Neumann entropy, proving that the average von Neumann entropy per site converges to the logarithm of an algebraic integer in the low-temperature and thermodynamic limits. Next, we turn to categorical entropy. Given an endofunctor of a saturated A-infinity-category, we construct a corresponding lattice model, through which the categorical entropy can be understood in terms of the information encoded in the model. Finally, by introducing a gauged lattice framework, we unify these two notions of entropy. This unification leads naturally to a sufficient condition for a conjectural algebraicity property of categorical entropy, suggesting a deeper structural connection between A-infinity-categories and statistical mechanics.

Figures

Figures reproduced from arXiv: 2505.18751 by the authors.

Figure 1
Figure 1. A one-dimensional lattice with VN+1 = V1 Our main theorems concern the behavior of the system in the low-temperature and thermodynamic limits T −→ 0 and N −→ ∞: Lemma 1. In the low temperature limit T −→ 0, the von Neumann entropy is given by the logarithm of the ground state degeneracy G: S = log G = log(dim ker H) . Proof. This follows from the identity lim T −→0 e − H kBT = Pker H. Let β = 1 kBT . Then for non-ne… view at source ↗
Figure 2
Figure 2. The action of dloc on the adjacent sites VN and V1. This contributes the extra R in the LHS as well as the extra V in the RHS of (8). We hereby propose a statement: Condition B. Given a sequence of finite dimensional graded vector spaces each isomorphic to V , and a differential Q ∈ End(V ⊗ V ) homogeneous of degree 1 such that [Qi,i+1, Qj,j+1] = 0 ∈ End(V ⊗ V ⊗ V ), then Q(N) := Q1,2 + Q2,3 + · · · + QN−1,N ∈ End(V… view at source ↗
Figure 3
Figure 3. The gauge transformation respects the dynamics [PITH_FULL_IMAGE:figures/full_fig_p017_3.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 17 canonical work pages

  1. [25]

    A lattice model with Fibonacci degree of degeneracy

    Athena Wang. A lattice model with Fibonacci degree of degeneracy . 2024. arXiv: 2310.10058 [math-ph]. url: https://arxiv.org/abs/2310. 10058 (cit. on p. 3). 22

  2. [1]

    Topological En- tropy

    R. L. Adler, A. G. Konheim, and M. H. McAndrew. “Topological En- tropy”. In: Transactions of the American Mathematical Society114.2 (1965), pp. 309–319. issn: 00029947. url: http : / / www . jstor . org / stable / 1994177 (visited on 05/05/2025) (cit. on p. 3)

  3. [2]

    S. Axler. Linear Algebra Done Right. Undergraduate Texts in Mathemat- ics. Springer New York, 1997.isbn: 9780387982595. url: https://books. google.co.uk/books?id=ovIYVIlithQC (cit. on p. 11)

  4. [3]

    R. J. Baxter. Exactly solved models in statistical mechanics . 1982. isbn: 978-0-486-46271-4. doi: 10.1142/9789814415255_0002 (cit. on pp. 4, 6, 7)

  5. [4]

    Dynamical degrees of birational trans- formations of projective surfaces

    J´ er´ emy Blanc and Serge Cantat. “Dynamical degrees of birational trans- formations of projective surfaces”. In: Journal of the American Mathemat- ical Society 29.2 (June 2015), 415–471. issn: 1088-6834. doi: 10.1090/ jams831. url: http://dx.doi.org/10.1090/jams831 (cit. on p. 3)

  6. [5]

    ¨Uber die mechanische Bedeutung des zweiten Haupt- satzes der W¨ armetheorie

    Ludwig Boltzmann. “ ¨Uber die mechanische Bedeutung des zweiten Haupt- satzes der W¨ armetheorie”. In: Wissenschaftliche Abhandlungen . Ed. by FriedrichEditor Hasen¨ ohrl. Cambridge Library Collection - Physical Sci- ences. Cambridge University Press, 2012, 9–33 (cit. on p. 4)

  7. [6]

    Bratteli and D

    O. Bratteli and D. W. Robinson. OPERATOR ALGEBRAS AND QUAN- TUM STATISTICAL MECHANICS. 1. C* AND W* ALGEBRAS, SYM- METRY GROUPS, DECOMPOSITION OF STATES. 1979 (cit. on pp. 5, 6). 20

  8. [7]

    Stability conditions on triangulated categories

    Tom Bridgeland. Stability conditions on triangulated categories. 2006. arXiv: math/0212237 [math.AG]. url: https://arxiv.org/abs/math/0212237 (cit. on p. 3)

Show all 26 references
  1. [8]

    Normal subgroups in the Cremona group

    Serge Cantat, St´ ephane Lamy, and Yves Cornulier. “Normal subgroups in the Cremona group”. In: Acta Mathematica 210.1 (2013), 31–94. issn: 0001-5962. doi: 10.1007/s11511- 013- 0090- 1. url: http://dx.doi. org/10.1007/s11511-013-0090-1 (cit. on p. 3)

  2. [9]

    Travaux de Thurston sur les surfaces - S´ eminaire Orsay

    Collectif. Travaux de Thurston sur les surfaces - S´ eminaire Orsay . mul. Ast´ erisque 66-67. Soci´ et´ e math´ ematique de France, 1979.url: https : //www.numdam.org/item/AST_1979__66-67_/ (cit. on p. 13)

  3. [10]

    Dynamical systems and categories

    George Dimitrov et al. “Dynamical systems and categories”. In: (July 2013). doi: 10. 1090/ conm/621. arXiv: 1307. 8418 [math.CT](cit. on pp. 3, 13–15, 19)

  4. [11]

    Entropy of Algebraic Maps

    Shmuel Friedland. “Entropy of Algebraic Maps”. In: Mar. 2020, pp. 215–

  5. [12]

    BRST-antifield Quan- tization: a Short Review

    Andrea Fuster, Marc Henneaux, and Axel Maas. BRST-antifield Quan- tization: a Short Review . 2005. arXiv: hep- th/0506098 [hep-th]. url: https://arxiv.org/abs/hep-th/0506098 (cit. on p. 17)

  6. [13]

    Quantum Cell Model for Bosons

    H. A. Gersch and G. C. Knollman. “Quantum Cell Model for Bosons”. In: Physical Review 129.2 (Jan. 1963), pp. 959–967. doi: 10.1103/PhysRev. 129.959 (cit. on p. 7)

  7. [14]

    Grimmett and D

    G. Grimmett and D. Welsh. Probability: An Introduction . Oxford Uni- versity Press. Oxford University Press, 2014. isbn: 9780198709978. url: https://books.google.co.uk/books?id=ivuKBAAAQBAJ (cit. on p. 12)

  8. [15]

    Zur Theorie des Ferromagnetismus

    W. Heisenberg. “Zur Theorie des Ferromagnetismus”. In: Zeitschrift fur Physik 49.9-10 (Sept. 1928), pp. 619–636. doi: 10.1007/BF01328601 (cit. on p. 7)

  9. [16]

    Hori et al

    K. Hori et al. Mirror symmetry . Vol. 1. Clay mathematics monographs. Providence, USA: AMS, 2003 (cit. on pp. 3, 13)

  10. [17]

    Contribution to the Theory of Ferromagnetism

    Ernst Ising. “Contribution to the Theory of Ferromagnetism”. In: Z. Phys. 31 (1925), pp. 253–258. doi: 10.1007/BF02980577 (cit. on p. 6)

  11. [18]

    A-infinity algebras, modules and functor categories

    Bernhard Keller. A-infinity algebras, modules and functor categories. 2006. arXiv: math/0510508 [math.RT]. url: https://arxiv.org/abs/math/ 0510508 (cit. on pp. 3, 14, 15)

  12. [19]

    Computation of categorical entropy via spherical func- tors

    Jongmyeong Kim. Computation of categorical entropy via spherical func- tors. 2022. arXiv: 2102.08590 [math.AG]. url: https://arxiv.org/ abs/2102.08590 (cit. on p. 13)

  13. [20]

    Notes on A-infinity algebras, A- infinity categories and non-commutative geometry

    Maxim Kontsevich and Yan Soibelman. Notes on A-infinity algebras, A- infinity categories and non-commutative geometry. I . 2024. arXiv: math/ 0606241 [math.RA]. url: https://arxiv.org/abs/math/0606241 (cit. on pp. 3, 13–15). 21

  14. [21]

    L. D. Landau and E. M. Lifshitz. Statistical Physics, Part 1. Vol. 5. Course of Theoretical Physics. Oxford: Butterworth-Heinemann, 1980. isbn: 978- 0-7506-3372-7 (cit. on p. 6)

  15. [22]

    Sur les A-infini cat´ egories

    Kenji Lef` evre-Hasegawa. Sur les A-infini cat´ egories. 2003. arXiv: math/ 0310337 [math.CT]. url: https://arxiv.org/abs/math/0310337 (cit. on p. 15)

  16. [23]

    John von Neumann and ROBERT T. BEYER. Mathematical Foundations of Quantum Mechanics: New Edition . NED - New edition. Princeton Uni- versity Press, 2018. isbn: 9780691178561. url: http://www.jstor.org/ stable/j.ctt1wq8zhp (visited on 05/05/2025) (cit. on pp. 3, 5)

  17. [24]

    Derived categories of coherent sheaves on abelian varieties and equivalences between them

    Dmitri Orlov. Derived categories of coherent sheaves on abelian varieties and equivalences between them. 2009. arXiv: alg-geom/9712017 [alg-geom]. url: https://arxiv.org/abs/alg-geom/9712017 (cit. on p. 3)

  18. [228]

    isbn: 9780429332838. doi: 10 . 1201 / 9780429332838 - 12(cit. on p. 13)

Pith tools

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