REVIEW 3 major objections 5 minor 2 cited by
Gauged permutation invariant tensor quantum mechanics, least common multiples and the inclusion-exclusion principle
T0 review · 3 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read For the gauged permutation-invariant harmonic oscillator on s-index tensors, the canonical partition function is exactly a product of factors (1 - x^{LCM})^{-integer}, with all exponents determined by least common multiples of cycle…
desk verdict Real counting formulas for arbitrary rank s; the critical Boltzmann factor is a conjecture wearing a result's clothes. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing identity is the Molien-Weyl inverse determinant, Z_s(N,p,x) = det(1 - x D_{$V_N^{{⊗s}}$}(σ_p))^{-1}, whose eigenvalues are products of roots of unity indexed by the cycle lengths of σ_p. Two elementary lemmas, ∏_{t=0}^{a-1}(1 - x ω_a^t) = 1 - x^a and ∏_{t_1=0}^{a_1-1}(1 - $x^{{a_2}}$ ω_{a_1}^{a_2 t_1}) = (1 - $x^{{L(a_1,a_2)}}$)^{G(a_1,a_2)}, collapse the multiple root-of-unity products into single factors (1 - $x^{{LCM}}$)^{-GCD...}. The inclusion-exclusion principle then does double duty: it converts LCMs of many integers into products of GCDs of subsets, showing the exponent equals b_1...b_s/L(b_1,...,b_s), and it converts the simplex-sum exponents of the LCM formula into signed subset sums, producing Theorem 2.
What would settle it
Compute the power of the (1−x) singularity of Z_s(N,p,x) for p=[3,$1^{{N-3}}$] using Theorem 1 and compare it with the singularity for [2,$1^{{N-2}}$] at fixed s≥3; if the [3,$1^{{N-3}}$] term is not suppressed by a factor that vanishes faster than 1/$N^{{s-1}}$, the conjectured dominance fails and x_c would need correction. A direct numerical check of the expansion coefficients for s=3 and N up to a few hundred would settle the matter.
Extended reading notes
Core claim
For the s-fold tensor representation $V_N^{{⊗s}}$ of the symmetric group, the contribution of a conjugacy class of permutations with cycle structure p = [$a_1^{{p_1}}$,...,$a_K^{{p_K}}$] to the canonical partition function is exactly the LCM product formula (2.9): Z_s(N,p,x) = ∏_{i_1,...,i_s} (1 - $x^{{L(a_{i_1}}$,...,a_{i_s})})^{-a_{i_1}...a_{i_s} p_{i_1}...p_{i_s}/L(a_{i_1},...,a_{i_s})}. The paper proves this from the Molien-Weyl formula by evaluating products over roots of unity, then proves an equivalent subset-sum formula (2.16) whose exponents are signed sums over subsets, and proves a theorem showing that the asymmetric-looking exponent in the LCM-GCD form is actually the symmetric ratio b_1...b_s/L(b_1,...,b_s). It further shows that inversion x→1/x is governed by the difference between S_N and A_N invariants, and that the high-temperature expansion breaks down at x_c ~ log N/(s $N^{{s-1}}$), a result that depends on a conjecture for the leading two terms.
Load-bearing premise
The critical temperature depends on the unproved assumption that, for every s, the two leading contributions to the high-temperature expansion come from the partitions [1^N] and [2,$1^{{N-2}}$], with all other partitions suppressed enough not to affect the leading large-N behavior.
Editorial extensions
If this is right
- For any finite N and rank s, the full sequence of S_N-invariant state counts is obtained by expanding the closed-form product, so no sum over the N! elements of the group is required.
- The high-temperature breakdown at x_c ~ log N/(s N^{s-1}) implies a critical temperature T_c ~ 1/((s−1) log N) that vanishes as N grows, extending the matrix-model Hagedorn behavior to all tensor ranks.
- The x→∞ inversion formula links the large-temperature partition function to the first coefficient where S_N and A_N invariant counts differ, making alternating-group invariants visible in the thermodynamics.
- The near-factorial degeneracy analysis shows that entropy profiles S(k)=k^a (log k)^b f(k) with mild growth conditions have positive second derivative and hence negative microcanonical heat capacity, so the s=2 ensemble inequivalence persists across ranks.
Reading between the lines
- If the dominance conjecture holds at moderate N, the exact formulas make the critical x_c checkable numerically for s=3 and s=4 long before an analytic proof is available; any deviation would reveal the next-order partition that must be included.
- Because the derivation only uses the conjugacy-class eigenvalue structure of V_N^{⊗s}, the same LCM and subset-sum machinery should adapt to other finite groups with natural permutation representations, such as wreath products or Young subgroups, by replacing S_N class data with the appropriate representation data.
- The paper's detailed formula gives k_spring,c ~ (s−1)^2 m T^2 (log N)^2; scaling the spring constant by (log N)^2 removes N from the critical temperature, which is a concrete experimental signature if a permutation-invariant tensor oscillator can be engineered.
- The paper's closing observation linking LCMs of partition parts to the critical Kauffman model raises the question whether the same inclusion-exclusion subset sums W(N,p,s;S) appear as growth exponents in random Boolean networks, which would connect tensor thermodynamics to statistical genetics.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the canonical ensemble partition function of a harmonic oscillator on s-index tensors transforming in V_N^{⊗s} under a gauged S_N symmetry. The central mathematical results are Theorem 1 (eq. 2.9), expressing the conjugacy-class contribution Z_s(N,p,x) as a product over LCMs of cycle lengths; Theorem 2 (eq. 2.16), rewriting this product via subset sums and the inclusion-exclusion principle; and Theorem 3 (eq. 5.3), proving that the LCM-GCD exponent in the iterated determinants reduces to b_1⋯b_s/L(b_1,…,b_s). The authors then derive an inversion relation under x→1/x, analyze the x→∞ behavior through alternating-group data, and use a two-partition truncation near x=1 to propose a critical Boltzmann factor x_c∼log N/(s N^{s-1}) for general s. The paper also discusses near-factorial degeneracies and negative heat capacity in the micro-canonical ensemble.
Significance. If the exact counting formulas are correct, they are a significant extension of the s=2 results of refs. [1,3]: Theorems 1–3 provide closed-form, x-dependent expressions for S_N-invariant state counts of arbitrary rank s, with an elegant appearance of LCM/GCD identities and inclusion-exclusion. The proofs are elementary and self-contained, the s=2 limit reproduces known results, and the accompanying Mathematica code and Appendix B examples provide explicit checks. The number-theoretic structure and the general-s subset-sum formula are likely to be useful beyond the specific thermodynamics application. However, the paper's headline physical claim, the critical Boltzmann factor (7.34), rests on a conjecture that is explicitly stated as unproved and, as discussed below, on a truncation that is not controlled at the crossing point. The exact-counting part is therefore the most solid contribution, while the thermodynamic transition claim is presently conditional.
major comments (3)
- [Section 7.2, eq. (7.34); Discussion, Section 9] The derivation of the critical Boltzmann factor x_c∼log N/(s N^{s-1}) relies on the unproved conjecture that the leading two terms in the x→1 expansion of Z_s(N,x) come from p=[1^N] and p=[2,1^{N-2}]. The paper itself states this only as a conjecture in Section 7.2 and again in the Discussion, with the proof available only for s=2 in ref. [3]. Since x_c is the main new physical result advertised in the abstract, the abstract's statement that the calculation 'leads to' this value overstates what has been established. The authors should either prove the dominance conjecture for general s or explicitly present (7.34) as a conjectural result supported by evidence, and correspondingly soften the abstract and Section 1.
- [Section 7.2, eqs. (7.31)–(7.33)] There is an internal inconsistency in the algebra leading to x_c. With α=(N^s-(N-2)^s)/2, the second term in eq. (7.31) should contain (1-x)^α(1+x)^{-α}, not (1+x)^α as printed; this follows from factoring (1-x)^{-N^s} out of (1-x)^{-(N-2)^s}(1-x^2)^{-α}. The printed product form gives log(1-x^2)≈-x^2 at small x, which would lead to a different scaling than (7.34), whereas the ratio log((1-x)/(1+x)) used in (7.33) corresponds to the (1+x)^{-α} form. The sign/exponent in (7.31)–(7.32) must be corrected so that the steps are consistent and the s=2 limit indeed reproduces log N/(2N).
- [Section 7.2, eqs. (7.32)–(7.34), with eq. (6.24)] Even if the two-partition dominance conjecture were true near x=1, the evaluation at the crossing point x_c→0 is not controlled. Using the exact single-cycle family (6.24) and the Molien-Weyl sum, the relative contribution of p=[1^{N-a},a] to [1^N] at x=x_c is approximately (N^a/a) e^{-(N^s-(N-a)^s)x_c} ≈ 1/a for fixed a, because (1-x^a)≈1 in this regime. The omitted single-cycle terms therefore sum to O(H_N)∼log N, which is not small compared with the retained second term of O(1). Thus the two-term replacement in (7.32) is unjustified at the purported crossing point. The authors should either prove that these contributions cancel or are genuinely subleading at x_c, or alternatively present the x_c estimate as a conjecture with numerical tests for larger N and several s.
minor comments (5)
- [Throughout; Section 3.2] The text says 'greatest common denominators' in the introduction to Section 3.2; the standard term is 'greatest common divisors'.
- [Section 7.2, eqs. (7.33), (7.36), (7.38)] The notation 'Ns' and '(N-2)^s' is ambiguous: it should consistently be N^s and (N-2)^s, as in (7.34) and the surrounding discussion. Please use explicit superscripts throughout Section 7.2.
- [References] Reference [23] (Berenstein, 'Submatrix deconfinement and small black holes in AdS') appears in the bibliography but is not cited in the text; please add the citation or remove the reference.
- [Section 6.2, after eq. (6.19)] The sentence 'Evaluating the terms in (2.14) and (2.13) we thus have Thus' contains a duplicated phrase and should be rewritten.
- [Figures 1 and 2] The captions read 'Micro-canonical energy versus temperature s=3,N=10' and 'Canonical energy versus temperature s=3,N=10' but do not identify which curve or quantity is plotted on each axis; please make the captions self-contained.
Circularity Check
No circularity: the counting formulas are derived directly from the Molien-Weyl formula by elementary algebra, and the critical Boltzmann factor rests on an explicitly labelled conjecture rather than on a fitted or self-referential input.
full rationale
Theorems 1 and 2 are derived from the standard Molien-Weyl formula using elementary root-of-unity identities and the inclusion-exclusion principle. The cited Lemma 2 from the authors' earlier work is a simple algebraic identity with an elementary proof; it is not equivalent to the target partition function and does not smuggle in the result. The s=2 limit correctly reproduces the authors' earlier matrix-model result, which serves as an external benchmark rather than a fitted input. The derivation of the critical Boltzmann factor in Section 7.2 is not circular: the constant 'a' introduced in eq. (7.32) is an arbitrary N-independent constant, and it drops out of the leading large-N term log N/(s N^{s-1}), so the headline asymptotic is not a fit to data. The main limitation, which the authors themselves state explicitly in Section 7.2 and the Discussion, is that the high-temperature dominance of p=[1^N] followed by p=[2,1^{N-2}] is a conjecture for general s, proved only for s=2. That is an unproved assumption and a possible correctness gap, not a circular reduction: the paper does not claim the conjecture follows from its own formulas, and it does not invoke a self-citation to establish it. Any concern that the two-term truncation is uncontrolled at the crossing point x_c is likewise a mathematical robustness issue, not a circularity. Overall, there is no step in which a prediction is equivalent by construction to an input, a fitted parameter is renamed as a prediction, or a load-bearing uniqueness claim is imported solely from the authors' prior work.
Assumptions & free parameters
free parameters (1)
- a =
undetermined
assumptions (4)
- standard math Molien-Weyl formula (2.6): Z_s(N,x) = (1/N!) sum_{sigma in S_N} 1/det(1 - x D_{V^{otimes s}}(sigma))
- standard math Identity (3.19): L(b1,...,bn) = (b1...bn) prod_{k=2}^{n} (G_k(b1,...,bn))^{(-1)^{k+1}}
- ad hoc to paper The leading two terms in the x->1 expansion of Z_s(N,x) come from p=[1^N] and p=[2,1^{N-2}] for all s.
- standard math det(A tensor B) = det(A)^{dim B} det(B)^{dim A} (eq. 7.3)
Cite this review
Pith. "Pith review of Gauged permutation invariant tensor quantum mechanics, least common multiples and the inclusion-exclusion principle." pith.science (2026). https://pith.science/paper/7FWIHQ5V
@misc{pith2026250618813,
author = {Pith},
title = {Pith review of: Gauged permutation invariant tensor quantum mechanics, least common multiples and the inclusion-exclusion principle},
year = {2026},
howpublished = {\url{https://pith.science/paper/7FWIHQ5V}},
note = {Machine review of arXiv:2506.18813}
}
abstract
We derive the canonical ensemble partition functions for gauged permutation invariant tensor quantum harmonic oscillator thermodynamics, finding surprisingly simple expressions with number-theoretic characteristics. These systems have a gauged symmetry of $S_N$, the symmetric group of all permutations of a set of $N$ objects. The symmetric group acts on tensor variables $ \Phi_{ i_1, \cdots , i_s } $, where the $s$ indices each range over $ \{ 1, 2, \cdots , N \} $ and have the standard $S_N$ action of permutations. The result is a sum over partitions of $N$ and the summand is a product admitting simple expressions, which depend on the least common multiples (LCMs) of subsets of the parts of the partition. The inclusion-exclusion principle of combinatorics plays a central role in the derivation of these expressions. The behaviour of these partition functions under inversion of the Boltzmann factor $ x = e^{ - \beta } $ is governed by universal sequences associated with invariants of symmetric groups and alternating groups. The partition functions allow the development of a high temperature expansion analogous to the $s=2$ matrix case. The calculation of an $s$-dependent breakdown point leads to a critical Boltzmann factor $ x_c = { \log N \over sN^{ s-1}}$ as the leading large $N$ approximation.
Figures
Forward citations
Cited by 2 Pith papers
-
Critical dimensions and small cycle dominance from all-orders asymptotics of $d$-matrix theory
The weighted partition numbers of d-matrix theory admit an all-orders asymptotic expansion that switches from divergent to convergent at d=13 (bosonic) or 7 (fermionic).
-
Negative heat capacities in spherically symmetric sectors of $d$-matrix quantum mechanics
SO(d) and O(d) invariant sectors of d-matrix QM show negative microcanonical heat capacity that becomes positive at k_crit ~ N^2/4, forming a caloric fold similar to AdS black holes.
Reference graph
Works this paper leans on
-
[1]
Gauged permutation invariant matrix quantum mechanics: Partition functions,
D. O’Connor and S. Ramgoolam, “Gauged permutation invariant matrix quantum mechanics: Partition functions,” [arXiv:2312.12398 [hep-th]]
-
[3]
D. O’Connor and S. Ramgoolam, “Permutation invariant matrix quantum thermody- namics and negative specific heat capacities in large N systems,” JHEP12(2024), 161 doi:10.1007/JHEP12(2024)161 [arXiv:2405.13150 [hep-th]]
arXiv 2024
-
[2]
Gauged permutation invariant matrix quan- tum mechanics: path integrals,
D. O’Connor and S. Ramgoolam, “Gauged permutation invariant matrix quan- tum mechanics: path integrals,” JHEP04(2024), 080 doi:10.1007/JHEP04(2024)080 [arXiv:2312.12397 [hep-th]]. 35
arXiv 2024
-
[4]
D. Kartsaklis, S. Ramgoolam and M. Sadrzadeh, “Linguistic matrix theory,” Ann. Inst. H. Poincare D Comb. Phys. Interact.6(2019) no.3, 385-426 doi:10.4171/aihpd/75 [arXiv:1703.10252 [cs.CL]]
work page Pith review arXiv 2019
-
[5]
Permutation Invariant Gaussian Matrix Models
S. Ramgoolam, “Permutation invariant Gaussian matrix models,” Nucl. Phys. B945 (2019), 114682 [arXiv:1809.07559 [hep-th]]
work page Pith review arXiv 2019
-
[6]
Hidden symmetries and Large N factorisation for permutation invariant matrix observables
G. Barnes, A. Padellaro and S. Ramgoolam, “Hidden symmetries and large N factorisation for permutation invariant matrix observables,” JHEP08(2022), 090 doi:10.1007/JHEP08(2022)090 [arXiv:2112.00498 [hep-th]]
work page Pith review arXiv 2022
-
[7]
Permutation symmetry in large N Matrix Quantum Mechanics and Partition Algebras
G. Barnes, A. Padellaro and S. Ramgoolam, “Permutation symmetry in large-N matrix quantum mechanics and partition algebras,” Phys. Rev. D106(2022) no.10, 106020 doi:10.1103/PhysRevD.106.106020 [arXiv:2207.02166 [hep-th]]
work page Pith review arXiv 2022
-
[8]
Spectra of Operators in LargeNTensor Models,
K. Bulycheva, I. R. Klebanov, A. Milekhin and G. Tarnopolsky, “Spectra of Operators in LargeNTensor Models,” Phys. Rev. D97(2018) no.2, 026016 doi:10.1103/PhysRevD.97.026016 [arXiv:1707.09347 [hep-th]]
arXiv 2018
Show all 30 references
-
[9]
Partition function of free conformal fields in 3-plet representation,
M. Beccaria and A. A. Tseytlin, “Partition function of free conformal fields in 3-plet representation,” JHEP05(2017), 053 doi:10.1007/JHEP05(2017)053 [arXiv:1703.04460 [hep-th]]
2017 arXiv
-
[10]
Permutation invariant tensor models and partition algebras,
G. Barnes, A. Padellaro and S. Ramgoolam, “Permutation invariant tensor models and partition algebras,” [arXiv:2312.09205 [hep-th]]
-
[11]
Permutation invariant Gaussian two- matrix models,
G. Barnes, A. Padellaro and S. Ramgoolam, “Permutation invariant Gaussian two- matrix models,” J. Phys. A55(2022) no.14, 145202 doi:10.1088/1751-8121/ac4de1 [arXiv:2104.03707 [hep-th]]
2022 arXiv
-
[12]
Gaussianity and typicality in matrix distributional semantics,
S. Ramgoolam, M. Sadrzadeh and L. Sword, “Gaussianity and typicality in matrix distributional semantics,” Ann. Inst. H. Poincare D Comb. Phys. Interact.9(2022) no.1, 1-45 doi:10.4171/aihpd/112 [arXiv:1912.10839 [hep-th]]
2022 arXiv
-
[13]
Permutation invariant matrix statistics and computational language tasks,
M. A. Huber, A. Correia, S. Ramgoolam and M. Sadrzadeh, “Permutation invariant matrix statistics and computational language tasks,” [arXiv:2202.06829 [cs.CL]]
-
[14]
Permutation invariant Gaussian matrix models for financial correlation matrices,
G. Barnes, S. Ramgoolam and M. Stephanou, “Permutation invariant Gaussian matrix models for financial correlation matrices,” Physica A651(2024), 130015 doi:10.1016/j.physa.2024.130015 [arXiv:2306.04569 [q-fin.ST]]. 36
2024
-
[15]
Wikipedia article in the Inclusion-Exclusion principle.https://en.wikipedia.org/ wiki/Inclusionexclusion_principle
-
[16]
On the foundations of combinatorial theory I
Rota, G.C. On the foundations of combinatorial theory I. Theory of M¨ obius Functions. Z. Wahrscheinlichkeitstheorie verw Gebiete 2, 340–368 (1964). https://doi.org/10.1007/BF00531932
1964 doi
-
[17]
Cox, John B
David A. Cox, John B. Little, Donal O’Shea, Using Algebraic Geometry, Springer New York (2005), pp. 295–298 [DOI:10.1007/978-1-4757-6911-1]
2005 doi
-
[18]
Introduction to analytic number theory,
T. M. Apostol, “Introduction to analytic number theory,” Springer 1976
1976
-
[19]
Mathematics stack exchange discussion on LCMs and GCDs of multiplenumbers, https://math.stackexchange.com/questions/319297/ gcd-to-lcm-of-multiple-numbers
-
[20]
Cut the knot
Alexander Bogomolnyi, “Cut the knot”https://www.cut-the-knot.org/ arithmetic/GcdLcmProperties.shtml
-
[21]
Ensemble Inequivalence and Phase Transi- tions in Unlabeled Networks,
O. Evnin and D. Krioukov, “Ensemble Inequivalence and Phase Transi- tions in Unlabeled Networks,” Phys. Rev. Lett.134(2025) no.20, 207401 doi:10.1103/PhysRevLett.134.207401 [arXiv:2411.02739 [cond-mat.stat-mech]]
2025 arXiv
-
[22]
A proposal of the gauge theory description of the small Schwarzschild black hole in AdS 5×S5,
M. Hanada and J. Maltz, “A proposal of the gauge theory description of the small Schwarzschild black hole in AdS 5×S5,” JHEP02(2017), 012 doi:10.1007/JHEP02(2017)012 [arXiv:1608.03276 [hep-th]]
2017 arXiv
-
[23]
Submatrix deconfinement and small black holes in AdS,
D. Berenstein, “Submatrix deconfinement and small black holes in AdS,” JHEP09 (2018), 054 [arXiv:1806.05729 [hep-th]]
2018 arXiv
-
[24]
Negative specific heat from non-planar interactions and small black holes in AdS/CFT,
D. Berenstein, “Negative specific heat from non-planar interactions and small black holes in AdS/CFT,” JHEP10(2019), 001 doi:10.1007/JHEP10(2019)001 [arXiv:1810.07267 [hep-th]]
2019 arXiv
-
[25]
Remarks on the thermodynamic stability ofT ¯T deformations,
J. L. F. Barbon and E. Rabinovici, “Remarks on the thermodynamic stability ofT ¯T deformations,” J. Phys. A53(2020) no.42, 424001 [arXiv:2004.10138 [hep-th]]
2020 arXiv
-
[26]
Comments on the negative specific heat of the TTdeformed symmetric product CFT,
S. Chakraborty and A. Hashimoto, “Comments on the negative specific heat of the TTdeformed symmetric product CFT,” JHEP03(2022), 213 [arXiv:2201.08439 [hep- th]]
2022 arXiv
-
[27]
Exact behavior of the critical Kauffman model with connectivity one,
T. M. A. Fink, “Exact behavior of the critical Kauffman model with connectivity one,” Phys. Rev. Research 6, 043315 – Published 26 December, 2024
2024
-
[28]
Insights from number theory into the critical Kauff- man model with connectivity one,
F C Sheldon and T M A Fink, “Insights from number theory into the critical Kauff- man model with connectivity one,” 2024 J. Phys. A: Math. Theor. 57 275003 37
2024
-
[29]
Homeostasis and differentiation in random genetic control networks,
S. Kauffman, “Homeostasis and differentiation in random genetic control networks,” Nature 224, 5215 (1969)
1969
-
[30]
Metabolic stability and epigenesis in randomly constructed genetic nets,
S. Kauffman, “Metabolic stability and epigenesis in randomly constructed genetic nets,” J Theor Bio, 22, 437 (1969). 38
1969
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.