pith. machine review for the scientific record. sign in

arxiv: 2604.15600 · v1 · submitted 2026-04-17 · ✦ hep-th

Recognition: unknown

Secondary invariants and non-perturbative states

Robert de Mello Koch , Jo\~ao P. Rodrigues
Authors on Pith no claims yet

Pith reviewed 2026-05-10 08:58 UTC · model grok-4.3

classification ✦ hep-th
keywords gauge invariantsmatrix modelsHironaka decompositionnon-perturbative statesprimary invariantssecondary invariantsCohen-Macaulay ringszero dimensional integrals
0
0 comments X

The pith

Finite N matrix models separate perturbative primaries from non-perturbative secondary invariants

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

The paper argues that at finite N the ring of gauge invariant operators is not freely generated. Since these rings are Cohen-Macaulay they admit a Hironaka decomposition in which the ring is a free module over a polynomial ring generated by primary invariants with a finite basis of secondary invariants. This algebraic fact is demonstrated explicitly in simple zero-dimensional matrix integrals. The authors propose that this structure corresponds to a physical distinction where primary invariants capture perturbative degrees of freedom and secondary invariants mark non-perturbative states or sectors. This offers a concrete algebraic way to identify non-perturbative contributions in gauge theories without relying on semiclassical approximations.

Core claim

In the ring of gauge invariants for finite-N matrix models the full ring is expressed as a free module over the subring of primary invariants, with the secondary invariants serving as the finite module basis. This Hironaka decomposition is realized concretely in the algebraic computation of invariants for zero-dimensional matrix integrals, providing an explicit algebraic version of the separation between perturbative and non-perturbative physics.

What carries the argument

The Hironaka decomposition, expressing the Cohen-Macaulay ring of gauge invariants as a free module over the polynomial ring generated by the primary invariants, with secondary invariants forming the module basis.

Load-bearing premise

The rings of gauge invariants arising in the physical problems of interest are Cohen-Macaulay and admit a Hironaka decomposition.

What would settle it

A calculation of the matrix integral showing that some secondary invariant contributes to the perturbative expansion of the free energy would falsify the association of secondary invariants with non-perturbative states.

read the original abstract

At finite $N$ the ring of gauge invariant operators is not freely generated. For problems of interest in physics, these rings are Cohen--Macaulay and admit a Hironaka decomposition, in which the full invariant ring is a free module over a polynomial ring generated by the primary invariants. The module basis is given by finitely many secondary invariants. This motivates a physical picture in which the primary invariants are regarded as perturbative degrees of freedom while the secondary invariants are associated with distinguished non-perturbative states or sectors. The purpose of this study is to show that a concrete algebraic version of this picture is visible in simple zero-dimensional matrix integrals.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript claims that the ring of gauge invariants at finite N is Cohen-Macaulay and therefore admits a Hironaka decomposition, with primary invariants generating a polynomial subring and secondary invariants providing a finite module basis. This algebraic structure is interpreted physically as separating perturbative degrees of freedom (primary) from non-perturbative states or sectors (secondary). The central purpose is to exhibit a concrete realization of this picture through explicit computations in simple zero-dimensional matrix integrals.

Significance. If the association between the algebraic decomposition and the perturbative/non-perturbative distinction is robust, the work supplies a precise algebraic mechanism for identifying non-perturbative sectors in matrix models, which may inform broader studies of finite-N effects in gauge theories. The explicit zero-dimensional examples constitute a useful proof-of-concept that applies standard commutative-algebra facts to concrete physical systems.

major comments (1)
  1. [Section 3] The zero-dimensional matrix-integral examples (Section 3): the manuscript computes explicit Hironaka decompositions for specific cases but does not test whether the assignment of invariants to perturbative versus non-perturbative roles remains stable when a different homogeneous system of parameters is chosen as the primary invariants. Because any homogeneous system of parameters yields a valid decomposition and different choices generally produce different secondary bases, the physical interpretation requires either a physically preferred choice of primaries or a demonstration of invariance across choices; without this, the central claim that the picture is visible in the examples rests on an arbitrary algebraic splitting.
minor comments (2)
  1. [Abstract] The abstract states the Cohen-Macaulay property as a premise for problems of interest in physics; a brief reference or short argument supporting this assumption for the matrix integrals under study would improve clarity.
  2. Notation for the primary and secondary invariants is introduced without an explicit comparison table to the standard mathematical literature on Hironaka decompositions; adding such a table would aid readers unfamiliar with the algebraic terminology.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on two standard facts from commutative algebra plus the physical interpretation; no free parameters or new entities are introduced.

axioms (2)
  • domain assumption Rings of gauge invariants for problems of interest in physics are Cohen-Macaulay
    Invoked in the abstract to guarantee the existence of a Hironaka decomposition
  • standard math Hironaka decomposition exists for Cohen-Macaulay rings
    Standard theorem in commutative algebra; no proof supplied in abstract

pith-pipeline@v0.9.0 · 5397 in / 1272 out tokens · 45944 ms · 2026-05-10T08:58:21.919511+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

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

  1. BPS spectra of $\operatorname{tr}[\Psi^p]$ matrix models for odd $p$

    hep-th 2026-04 unverdicted novelty 6.0

    Exact BPS spectra for tr(Ψ^p) matrix models at p=5,7 and small N factor as p^k x^{q_min} (1+x)^N times palindromic polynomial, with mod-p index floors bounding large-N growth between log(2 cos(π/2p)) and log 2.

Reference graph

Works this paper leans on

35 extracted references · 26 canonical work pages · cited by 1 Pith paper

  1. [1]

    Structure of loop space at finite N,

    R. de Mello Koch and A. Jevicki, “Structure of loop space at finite N,” JHEP06(2025), 011 doi:10.1007/JHEP06(2025)011 [arXiv:2503.20097 [hep-th]]. – 39 –

    work page doi:10.1007/jhep06(2025)011 2025

  2. [2]

    Hilbert space of finite N multi-matrix models,

    R. de Mello Koch and A. Jevicki, “Hilbert space of finite N multi-matrix models,” JHEP11 (2025), 145 doi:10.1007/JHEP11(2025)145 [arXiv:2508.11986 [hep-th]]

    work page doi:10.1007/jhep11(2025)145 2025

  3. [3]

    FiniteNHilbert Spaces of Bilocal Holography,

    R. de Mello Koch, A. Jevicki and J. Yoon, “FiniteNHilbert Spaces of Bilocal Holography,” [arXiv:2602.20788 [hep-th]]

    work page arXiv

  4. [4]

    The Large N limit of superconformal field theories and supergravity,

    J. M. Maldacena, “The Large N limit of superconformal field theories and supergravity,” Adv. Theor. Math. Phys.2(1998), 231-252 doi:10.1023/A:1026654312961 [arXiv:hep-th/9711200 [hep-th]]

    work page doi:10.1023/a:1026654312961 1998

  5. [5]

    Gauge theory corre- lators from noncritical string theory,

    S. S. Gubser, I. R. Klebanov and A. M. Polyakov, “Gauge theory correlators from noncritical string theory,” Phys. Lett. B428(1998), 105-114 doi:10.1016/S0370-2693(98)00377-3 [arXiv:hep-th/9802109 [hep-th]]

    work page doi:10.1016/s0370-2693(98)00377-3 1998

  6. [6]

    Anti de Sitter space and holography,

    E. Witten, “Anti-de Sitter space and holography,” Adv. Theor. Math. Phys.2, 253-291 (1998) doi:10.4310/ATMP.1998.v2.n2.a2 [arXiv:hep-th/9802150 [hep-th]]

    work page doi:10.4310/atmp.1998.v2.n2.a2 1998

  7. [7]

    Procesi,The invariant theory ofn×nmatrices, Advances in Math.19(1976), no

    C. Procesi,The invariant theory ofn×nmatrices, Advances in Math.19(1976), no. 3, 306–381

    1976

  8. [8]

    Quantitative Approach to PI-algebras,

    V. Drensky and E. Formanek, “Quantitative Approach to PI-algebras,” In Polynomial Identity Rings (pp. 19-35). Basel: Birkh¨ auser Basel (2004)

    2004

  9. [9]

    Algorithms in invariant theory,

    Bernd Sturmfels, “Algorithms in invariant theory,” Springer Science & Business Media, (2008)

    2008

  10. [10]

    Rings of invariants of reductive groups acting on regular rings are Cohen-Macaulay,

    M. Hochster, and J.L. Roberts, “Rings of invariants of reductive groups acting on regular rings are Cohen-Macaulay,” Advances in Mathematics, 13(2), pp.115-175 (1974)

    1974

  11. [11]

    From symmetry to structure: gauge-invariant operators in multi-matrix quantum mechanics,

    R. de Mello Koch, M. Kim and H. J. R. Van Zyl, “From symmetry to structure: gauge-invariant operators in multi-matrix quantum mechanics,” JHEP01(2026), 031 doi:10.1007/JHEP01(2026)031 [arXiv:2507.01219 [hep-th]]

    work page doi:10.1007/jhep01(2026)031 2026

  12. [12]

    Some Nonperturbative Semiclassical Methods in Quantum Field Theory: A Pedagogical Review,

    R. Rajaraman, “Some Nonperturbative Semiclassical Methods in Quantum Field Theory: A Pedagogical Review,” Phys. Rept.21(1975), 227-313. doi:10.1016/0370-1573(75)90016-2

    work page doi:10.1016/0370-1573(75)90016-2 1975

  13. [13]

    The Quantum Collective Field Method and Its Application to the Planar Limit,

    A. Jevicki and B. Sakita, “The Quantum Collective Field Method and Its Application to the Planar Limit,” Nucl. Phys. B165(1980), 511 doi:10.1016/0550-3213(80)90046-2

    work page doi:10.1016/0550-3213(80)90046-2 1980

  14. [14]

    Collective Field Approach to the LargeNLimit: Euclidean Field Theories,

    A. Jevicki and B. Sakita, “Collective Field Approach to the LargeNLimit: Euclidean Field Theories,” Nucl. Phys. B185(1981), 89-100. doi:10.1016/0550-3213(81)90365-5

    work page doi:10.1016/0550-3213(81)90365-5 1981

  15. [15]

    https://en.wikipedia.org/wiki/Gram matrix

  16. [16]

    A Vector - like large N approach to zero-dimensional SU(2) matrix models,

    J. P. Rodrigues and A. Welte, “A Vector - like large N approach to zero-dimensional SU(2) matrix models,” Int. J. Mod. Phys. A8(1993), 4175-4192 doi:10.1142/S0217751X93001715

    work page doi:10.1142/s0217751x93001715 1993

  17. [17]

    Collective Theory at Finite-N: Reduction of the Emergent Hilbert Space,

    R. de Mello Koch, A. Jevicki, G. Kemp and A. Rudra, “Collective Theory at Finite-N: Reduction of the Emergent Hilbert Space,” [arXiv:2510.22525 [hep-th]]

    work page arXiv

  18. [18]

    Multisymmetric syzygies

    Domokos, M., 2006. Multisymmetric syzygies. arXiv:math/0602303

    work page arXiv 2006

  19. [19]

    The Poincar´ e series of the ring of 2×2 generic matrices,

    E. Formanek, P. Halpin, and W.-C. W. Li, “The Poincar´ e series of the ring of 2×2 generic matrices,” Journal of Algebra 69 no. 1, (1981) 105 –112

    1981

  20. [20]

    The ring of invariants of matrices,

    Y. Teranishi, “The ring of invariants of matrices,” Nagoya Math. J. 104 (1986) 149–161

    1986

  21. [21]

    The Hilbert series of rings of matrix concomitants,

    Y. Teranishi, “The Hilbert series of rings of matrix concomitants,” Nagoya Math. J. 111 (1988) 143-156. – 40 –

    1988

  22. [22]

    Rings of matrix invariants in positive characteristic,

    M. Domokos, S.G. Kuzmin and A.N.Zubkov, “Rings of matrix invariants in positive characteristic,” Journal of Pure and Applied Algebra 176 (2002) 61-80

    2002

  23. [23]

    An Introduction to Resurgence, Trans-Series and Alien Calculus,

    D. Dorigoni, “An Introduction to Resurgence, Trans-Series and Alien Calculus,” Annals Phys. 409(2019), 167914 doi:10.1016/j.aop.2019.167914 [arXiv:1411.3585 [hep-th]]

    work page doi:10.1016/j.aop.2019.167914 2019

  24. [24]

    Bosonic fortuity in vector models,

    R. de Mello Koch, A. Ghosh and H. J. R. Van Zyl, “Bosonic fortuity in vector models,” JHEP 06(2025), 246 doi:10.1007/JHEP06(2025)246 [arXiv:2504.14181 [hep-th]]

    work page doi:10.1007/jhep06(2025)246 2025

  25. [25]

    Baryons inSO(N) vector models and their duals in higher spin theory,

    B. Sundborg, “Baryons inSO(N) vector models and their duals in higher spin theory,” [arXiv:2603.15501 [hep-th]]

    work page arXiv

  26. [26]

    Words to describe a black hole,

    C. M. Chang and Y. H. Lin, “Words to describe a black hole,” JHEP02(2023), 109 doi:10.1007/JHEP02(2023)109 [arXiv:2209.06728 [hep-th]]

    work page doi:10.1007/jhep02(2023)109 2023

  27. [27]

    The shape of non-graviton operators for SU(2),

    S. Choi, S. Kim, E. Lee and J. Park, “The shape of non-graviton operators for SU(2),” JHEP 09(2024), 029 doi:10.1007/JHEP09(2024)029 [arXiv:2209.12696 [hep-th]]

    work page doi:10.1007/jhep09(2024)029 2024

  28. [28]

    Towards quantum black hole microstates,

    S. Choi, S. Kim, E. Lee, S. Lee and J. Park, “Towards quantum black hole microstates,” JHEP 11(2023), 175 doi:10.1007/JHEP11(2023)175 [arXiv:2304.10155 [hep-th]]

    work page doi:10.1007/jhep11(2023)175 2023

  29. [29]

    Decoding stringy near-supersymmetric black holes,

    C. M. Chang, L. Feng, Y. H. Lin and Y. X. Tao, “Decoding stringy near-supersymmetric black holes,” SciPost Phys.16(2024) no.4, 109 doi:10.21468/SciPostPhys.16.4.109 [arXiv:2306.04673 [hep-th]]

    work page doi:10.21468/scipostphys.16.4.109 2024

  30. [30]

    Finite N black hole cohomologies,

    J. Choi, S. Choi, S. Kim, J. Lee and S. Lee, “Finite N black hole cohomologies,” JHEP12 (2024), 029 doi:10.1007/JHEP12(2024)029 [arXiv:2312.16443 [hep-th]]

    work page doi:10.1007/jhep12(2024)029 2024

  31. [31]

    Holographic covering and the fortuity of black holes,

    C. M. Chang and Y. H. Lin, “Holographic covering and the fortuity of black holes,” [arXiv:2402.10129 [hep-th]]

    work page arXiv

  32. [32]

    Fortuity with a single matrix,

    Y. Chen, “Fortuity with a single matrix,” [arXiv:2511.00790 [hep-th]]

    work page arXiv

  33. [33]

    BPS phases and fortuity in higher spin holography,

    S. Kim, J. Lee, S. Lee and H. Oh, “BPS phases and fortuity in higher spin holography,” [arXiv:2511.03105 [hep-th]]

    work page arXiv

  34. [34]

    Fortuity in ABJM,

    A. Belin, P. Singh, R. Vadala and A. Zaffaroni, “Fortuity in ABJM,” [arXiv:2512.04146 [hep-th]]

    work page arXiv

  35. [35]

    Two roads to fortuity in ABJM theory,

    C. Behan and L. P. de Gioia, “Two roads to fortuity in ABJM theory,” [arXiv:2512.23603 [hep-th]]. – 41 –

    work page arXiv