Recognition: 2 theorem links
· Lean TheoremDerivative relations for determinants, Pfaffians and characteristic polynomials in random matrix theory
Pith reviewed 2026-05-13 23:50 UTC · model grok-4.3
The pith
Explicit formulas are derived for arbitrary-order derivatives of ratios of determinants or Pfaffians over Vandermonde determinants.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Starting from known kernel-determinant expressions for expectation values of products of characteristic polynomials without derivatives, the ratio of such a determinant (or Pfaffian) to the Vandermonde determinant admits explicit first-order derivatives given by the Borel transform of the kernel; higher-order and mixed derivatives are then obtained as finite sums over partitions of the derivative orders, each term being a determinant whose entries are derivatives of the kernel, with the sum weighted by explicit combinatorial prefactors. This construction holds for several variables simultaneously and recovers earlier special cases for mixed moments in particular ensembles.
What carries the argument
The ratio of a determinant (or Pfaffian) of a kernel matrix to the Vandermonde determinant, together with its higher derivatives expressed via Borel transforms and partition sums.
If this is right
- Explicit derivative formulas become available for moments of characteristic polynomials in the complex Ginibre ensemble.
- Mixed higher-order derivatives apply directly to correlation functions in the circular unitary ensemble.
- The same partition-sum construction covers general Harish-Chandra-Itzykson-Zuber-type group integrals.
- Previous special-case results for mixed moments relevant to the Riemann zeta function are recovered as instances.
Where Pith is reading between the lines
- The formulas may reduce the computational cost of evaluating high-order correlations in large-N limits of non-Hermitian ensembles.
- Similar derivative relations could be tested numerically on small orthogonal and symplectic ensembles to confirm uniformity of the partition construction.
- The approach supplies a systematic route to generating functions for joint moments of characteristic polynomials across several matrix ensembles.
Load-bearing premise
The starting expressions for the undifferentiated expectation values are assumed to be already known in closed determinant or Pfaffian form at finite matrix size.
What would settle it
Compute a second- or third-order mixed derivative of a product of two characteristic polynomials for the 2-by-2 complex Ginibre ensemble both numerically and from the partition formula and check numerical agreement.
read the original abstract
Explicit expressions are proven for derivatives of the ratio of a determinant or Pfaffian determinant and a Vandermonde determinant. Such ratios appear for example in general group integrals of Harish-Chandra--Itzykson--Zuber type and in expectation values of products of characteristic polynomials in random matrix theory. In the latter case we start from known results for general non-Hermitian and Hermitian ensembles for expectation values without derivatives, at finite matrix size. They are given in terms of the determinant or Pfaffian of the corresponding kernel, for unitary or orthogonal and symplectic ensembles, respectively. Several equivalent expressions are proven for general ratios of determinants, starting from first order derivatives containing the Borel transform of the corresponding matrix or kernel. Higher order derivatives are expressed as sums over partitions containing determinants of derivatives of these, with coefficients given in terms of combinatorial expressions. Our most general result is valid for mixed higher order derivatives of ratios of determinants in several variables. This generalises previous findings, e.g. for mixed moments in specific ensembles of random matrices, relevant in applications to the Riemann $\zeta$-function. Applications of our results to several examples are presented, including the complex Ginibre ensemble and the circular unitary ensemble.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves explicit expressions for first- and higher-order (including mixed) derivatives of ratios of determinants or Pfaffians to Vandermonde determinants. These ratios appear in HCIZ-type group integrals and in finite-N expectation values of products of characteristic polynomials for non-Hermitian and Hermitian random matrix ensembles. The derivations begin from standard kernel determinant/Pfaffian formulas for the undifferentiated expectations in unitary/orthogonal/symplectic cases, introduce the Borel transform at first order, and express higher orders via sums over partitions with explicit combinatorial coefficients.
Significance. If the algebraic identities hold, the results supply a systematic combinatorial framework for differentiating RMT quantities built from kernels, generalizing earlier special-case formulas for moments in specific ensembles (including those tied to Riemann zeta applications). The approach is parameter-free once the base kernel expressions are given and directly yields reproducible formulas for the complex Ginibre and circular unitary ensembles.
minor comments (2)
- [Section 3] The transition from the first-order Borel-transform formula to the partition-sum expressions for higher derivatives would benefit from an explicit low-order example (e.g., second derivative) worked out in full before the general statement, to make the combinatorial coefficients transparent.
- [Section 4] Notation for the multi-variable mixed derivatives and the associated partition sums should be introduced with a small table or diagram showing the correspondence between partitions and the resulting determinant blocks.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of our manuscript, the recognition of its potential applications in random matrix theory, and the recommendation for minor revision. No specific major comments were provided in the report.
Circularity Check
No significant circularity; derivation extends known kernel expressions combinatorially
full rationale
The paper explicitly starts from established finite-N results (expectation values of products of characteristic polynomials expressed as det or Pfaffian of the kernel) for unitary/orthogonal/symplectic ensembles. These are treated as given inputs from the literature. The new results are obtained by introducing the Borel transform for first-order derivatives and then applying partition sums with combinatorial coefficients for higher-order and mixed derivatives. This is a direct algebraic/combinatorial extension (Leibniz-type rules generalized to ratios with Vandermonde factors) rather than a reduction of the target expressions to the inputs by definition or fitting. No self-definitional steps, no fitted parameters renamed as predictions, and no load-bearing self-citation chains that would collapse the claimed proofs. The derivation chain remains independent of the target results.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard algebraic identities for determinants, Pfaffians, and Vandermonde determinants
- domain assumption Known closed-form expressions for expectation values of products of characteristic polynomials without derivatives, expressed via kernels for unitary/orthogonal/symplectic ensembles at finite N
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Explicit expressions ... sums over partitions containing determinants of derivatives ... Kostka numbers ... Borel transform
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Higher order derivatives ... Pfaffian over Vandermonde
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 1 Pith paper
-
Higher order derivative moments of CUE characteristic polynomials and the Riemann zeta function
Higher-order derivative moments of CUE characteristic polynomials are expressed as contingency-table sums or Kostka-determinant sums, and these match zeta-function derivative moments under the Lindelöf hypothesis.
Reference graph
Works this paper leans on
-
[1]
Andréiéf.Note sur une relation entre les intégrales définies des produits des fonctions
C. Andréiéf.Note sur une relation entre les intégrales définies des produits des fonctions. Mém. Soc. Sci. Phys. Nat. Bordeaux2(3) (1886), 1–14
-
[2]
de Bruijn.On some multiple integrals involving determinants
N.G. de Bruijn.On some multiple integrals involving determinants. J. Indian Math. Soc. (NS). 19(1955) 133–151
work page 1955
-
[3]
M. Kieburg, T. Guhr.Derivation of determinantal structures for random matrix ensembles in a new way. J. Phys. A43(2010) 075201 [arXiv:0912.0654]
- [4]
-
[5]
C. Itzykson, J.B. Zuber.The Planar Approximation II. J. Math. Phys.21(1980) 411–421
work page 1980
-
[6]
F.A. Berezin, F.I. Karpelevich.Zonal spherical functions and Laplace operators on some symmet- ric spaces. Doklady Akad. Nauk. SSSR118(1958) 9–12
work page 1958
-
[7]
I.M. Gelfand, M.A. Neumark.Unitäre Darstellungen der klassischen Gruppen. Akademie-Verlag, Berlin (1957)
work page 1957
-
[8]
M.V. Berry.Riemann’s zeta function: a model of quantum chaos?, in Quantum Chaos and Sta- tistical Nuclear Physics, edited by T.H. Seligman and H. Nishioka (Springer Lecture Notes in Physics No’. 263, 1986), pp. 1–17
work page 1986
-
[9]
Keating.Periodic orbit resummation and the quantization of chaos
J.P. Keating.Periodic orbit resummation and the quantization of chaos. Proc. Royal Soc. London, Series A: Math. Phys. Sci.436(1896) (1992) 99
work page 1992
- [10]
-
[11]
S. Heusler, S. Müller, A. Altland, P. Braun, F. Haake. (2007).Periodic-orbit theory of level correlations. Phys. Rev. Lett.98(4) (2007) 044103
work page 2007
-
[12]
S. Gnutzmann, U. Smilansky.Quantum graphs: Applications to quantum chaos and universal spectral statistics. Adv. Phys.55(5–6) (2006) 527
work page 2006
-
[13]
Haake.Quantum Signatures of Chaos
F. Haake.Quantum Signatures of Chaos. Springer-Verlag, Berlin (2010)
work page 2010
-
[14]
Theodoros Assiotis, Jonathan P. Keating, and Jon Warren.On the joint moments of the characteristic polynomials of random unitary matrices. IMRN2022(18) (2022) 14564–14603 [arXiv:2005.13961]
-
[15]
T. Assiotis, B. Bedert, M. A. Gunes, and A. Soor.On a distinguished family of random variables and Painlevé equations. Probab. Math. Phys.2(3) (2021) 613–642. [arXiv:2009.04760]
-
[16]
J.P. Keating, F. Wei.Joint moments of higher order derivatives of CUE characteristic polynomials I: asymptotic formulae. IMRN2024(2024) 9607–9632 [arXiv:2307.01625]
-
[17]
J.P. Keating, F. Wei.Joint moments of higher order derivatives of CUE characteristic poly- nomials II: Structures, recursive relations, and applications. Nonlinearity37(2024) 085009 [arXiv:2307.02831]. 44
-
[18]
T. Assiotis, M.A. Gunes, J. P. Keating, and F. Wei.Exchangeable arrays and integrable systems for characteristic polynomials of random matrices. Commun. Pure Appl. Math. (2024) e70041 [arXiv:2407.19233]
- [19]
-
[20]
T. Assiotis, M.A. Gunes, J.P. Keating, F. Wei.Joint Moments of Characteristic Polynomials from the Orthogonal and Unitary Symplectic Groups. Proc. London Math. Soc.132(3) (2026) e70136 [arXiv:2508.09910]
-
[21]
J.P. Keating, N.C. Snaith.Random matrix theory and L-functions at s=1/2. Commun. Math. Phys.214(1) (2000) 91–100
work page 2000
-
[22]
J.P. Keating, N.C. Snaith.Random matrix theory andζ(1/2 +it). Commun. Math. Phys.214(1) (2000) 57–89
work page 2000
-
[23]
Hughes.On the characteristic polynomial of a random unitary matrix and the Riemann zeta function
C. Hughes.On the characteristic polynomial of a random unitary matrix and the Riemann zeta function. PhD Thesis, University of Bristol (2001)
work page 2001
-
[24]
E.V. Shuryak, J.J.M. Verbaarschot.Random matrix theory and spectral sum rules for the Dirac operator in QCD. Nucl. Phys. A560(1993) 306 [arXiv:hep-th/9212088]
-
[25]
Random matrix theory and $QCD_3$
J.J.M. Verbaarschot, I. Zahed.Random matrix theory and three-dimensional QCD. Phys. Rev. Lett. 73 (17) (1994): 2288 [arXiv:hep-th/9405005]
work page internal anchor Pith review Pith/arXiv arXiv 1994
-
[26]
The spectrum of the QCD Dirac operator and chiral random matrix theory: the threefold way
J.J.M. Verbaarschot.The spectrum of the QCD Dirac operator and chiral random matrix theory: the threefold way. Phys. Rev. Lett.72(1994) 2531–2533 [arXiv:hep-th/9401059]
work page internal anchor Pith review Pith/arXiv arXiv 1994
-
[27]
The Replica Limit of Unitary Matrix Integrals
D. Dalmazi, J.J.M Verbaarschot,The Replica Limit of Unitary Matrix Integrals. Nucl. Phys. B bf 592 (2001) 419–444 [hep-th/0005229]
work page internal anchor Pith review Pith/arXiv arXiv 2001
-
[28]
G. Akemann, D. Dalmazi, P.H. Damgaard, J.J.M. Verbaarschot.QCD3 and the replica method. Nucl. Phys. B601(1–2) (2001) 77–124 [arXiv:hep-th/0011072]
work page internal anchor Pith review Pith/arXiv arXiv 2001
-
[29]
Factorization of Correlation Functions and the Replica Limit of the Toda Lattice Equation
K. Splittorff, J.J.M. Verbaarschot.Factorization of correlation functions and the replica limit of the Toda lattice equation. Nucl. Phys. B683(2004) 467 [arXiv:hep-th/0310271]
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[30]
Replica treatment of non-Hermitian disordered Hamiltonians
S.M. Nishigaki, A. Kamenev.Replica treatment of non-Hermitian disordered Hamiltonians. J. Phys. A35(21) (2002) 4571 [arXiv:cond-mat/0109126]
work page internal anchor Pith review Pith/arXiv arXiv 2002
-
[31]
E.Kanzieper.Replica field theories, Painlevé transcendents, and exact correlation functions.Phys. Rev. Lett.89(25) (2002) 250201 [arXiv:cond-mat/0207745]
work page internal anchor Pith review Pith/arXiv arXiv 2002
- [32]
- [33]
-
[34]
Forrester,Dualities in random matrix theory, arXiv:2501.07144
P.J. Forrester.Dualities in random matrix theory. Preprint (2025) [arXiv:2501.07144]
-
[35]
Winn.Derivative moments for characteristic polynomials from the CUE
B. Winn.Derivative moments for characteristic polynomials from the CUE. Commun. Math. Phys.315(2) (2012) 531–562 [arXiv:1109.0227]. 45
- [36]
-
[37]
A. Serebryakov, N. Simm, G. Dubach.Characteristic polynomials of random truncations: Mo- ments, duality and asymptotics. RMTA12(01) (2023) 2250049. [arXiv:2109.10331]
-
[38]
A. Serebryakov, N. Simm.Schur function expansion in non-Hermitian ensembles and averages of characteristic polynomials. Ann. Henri Poincaré26(2025) 1927–1974 [arXiv:2310.20686]
-
[39]
E. Alvarez, B. Conrey, M.O. Rubinstein, N.C. Snaith.Moments of the derivative of the charac- teristic polynomial of unitary matrices. Preprint (2024) [arXiv:2407.13124]
- [40]
-
[41]
Kivimae.Moments of Characteristic Polynomials of Non-symmetric Random Matrices
P. Kivimae.Moments of Characteristic Polynomials of Non-symmetric Random Matrices. Journal of Statistical Physics192(2025) 173 [arXiv:2410.07478]
- [42]
- [43]
- [44]
- [45]
-
[46]
Averages of Characteristic Polynomials in Random Matrix Theory
A. Borodin, E. Strahov.Averages of Characteristic Polynomials in Random Matrix Theory. Com- mun. Pure Appl. Math.59(2005) 161 [arXiv:math-ph/0407065]
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[47]
A new approach to derive Pfaffian structures for random matrix ensembles
M. Kieburg, T. Guhr.A new approach to derive Pfaffian structures for random matrix ensembles. J. Phys. A43(2010) 135204 [arXiv:0912.0658]
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[48]
Ratios of characteristic polynomials in complex matrix models
G. Akemann, A. Pottier.Ratios of characteristic polynomials in complex matrix models. J. Phys. A37(2004) L453 [arXiv:math-ph/0404068]
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[49]
Biorthogonal Polynomials for Potentials of two Variables and External Sources at the Denominator
M.C. Bergère.Biorthogonal Polynomials for Potentials of two Variables and External Sources at the Denominator. Preprint (2004) [arXiv:hep-th/0404126]
work page internal anchor Pith review Pith/arXiv arXiv 2004
- [50]
-
[51]
Characteristic Polynomials of Complex Random Matrix Models
G. Akemann, G. Vernizzi.Characteristic polynomials of complex random matrix models. Nucl. Phys. B,660(3) (2003) 532–556 [arXiv:hep-th/0212051]. 46
work page internal anchor Pith review Pith/arXiv arXiv 2003
-
[52]
G. Akemann, F. Basile.Massive partition functions and complex eigenvalue correlations in ma- trix models with symplectic symmetry. Nucl. Phys. B,766(1–3) (2007) 150–177 [arXiv:math- ph/0606060]
-
[53]
G. Akemann, M. Kieburg, M.J. Phillips.Skew-orthogonal Laguerre polynomials for chiral real asymmetric random matrices. J. Phys. A43(37) (2010) 375207 [arXiv:1005.2983]
-
[54]
Random Matrix Theory for the Hermitian Wilson Dirac Operator and the chGUE-GUE Transition
G. Akemann, T. Nagao.Random Matrix Theory for the Hermitian Wilson Dirac Operator and the chGUE-GUE Transition. JHEP10(2011) 060 [arXiv:1108.3035]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[55]
Kieburg.Mixing of orthogonal and skew-orthogonal polynomials and its relation to Wilson RMT
M. Kieburg.Mixing of orthogonal and skew-orthogonal polynomials and its relation to Wilson RMT. J. Phys. A45(2012) 205203 [arXiv:1202.1768]
-
[56]
Characteristic polynomials in real Ginibre ensembles
G. Akemann, M.J. Phillips, H.J. Sommers.Characteristic polynomials in real Ginibre ensembles. J. Phys. A42(2009) 012001 [arXiv:0810.1458]
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[57]
Higher order derivative moments of CUE characteristic polynomials and the Riemann zeta function
A. Grover, F. Mezzadri, and N. Simm.Higher order derivative moments of CUE characteristic polynomials and the Riemann zeta function. Preprint (2026) [arXiv:2604.03051]
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[58]
Ginibre.Statistical ensembles of complex, quaternion, and real matrices
J. Ginibre.Statistical ensembles of complex, quaternion, and real matrices. J. Math. Phys.6 (1965) 440–449
work page 1965
-
[59]
G. Akemann, M. Ebke, I. Parra.Skew-orthogonal polynomials in the complex plane and their Bergman-like kernels. Comm. Math. Phys.389(1) (2022) 621 [arXiv:2103.12114]
-
[60]
M. Kieburg, H. Kösters.Exact Relation between Singular Value and Eigenvalue Statistics. RMTA 05(2016) 1650015 [arXiv:1601.02586]
- [61]
-
[62]
Eigenvalue correlations in non-Hermitean symplectic random matrices
E. Kanzieper.Eigenvalue correlations in non-Hermitean symplectic random matrices. J. Phys. A 35(2002) 6631 [arXiv:cond-mat/0109287]
work page internal anchor Pith review Pith/arXiv arXiv 2002
-
[63]
The Complex Laguerre Symplectic Ensemble of Non-Hermitian Matrices
G. Akemann.The Complex Laguerre Symplectic Ensemble of Non-Hermitian Matrices. Nucl. Phys. B730(2005) 253–299 [arXiv:hep-th/0507156]
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[64]
Eigenvalue Density of the non-Hermitian Wilson Dirac Operator
M. Kieburg, J.J.M. Verbaarschot, S. Zafeiropoulos.Eigenvalue Density of the non-Hermitian Wilson Dirac Operator. Phys. Rev. Lett.108(2012) 022001 [arXiv:1109.0656]
work page internal anchor Pith review Pith/arXiv arXiv 2012
- [65]
- [66]
-
[67]
E.T. Bell.Exponential Polynomials. Ann. Math.35(2) (1934) 258–277
work page 1934
-
[68]
Borel.Mémoire sur les séries divergentes
E. Borel.Mémoire sur les séries divergentes. Ann. Sci. Éc. Norm. Supér.3(16), (1899) 9–131
-
[69]
Hubbard.Calculation of Partition Functions
J. Hubbard.Calculation of Partition Functions. Phys. Rev. Lett.3(2) (1959) 77–78
work page 1959
- [70]
-
[71]
A determinant-like formula for the Kostka numbers
M. Lederer.A determinant-like formula for the Kostka numbers. Preprint (2005) [arXiv:math/0501132]. 47
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[72]
L.C. Biedenharn, J.D. Louk ,A new class of symmetric polynomials defined in terms of tableaux. Adv. Appl. Math.10(1989) 396–438
work page 1989
-
[73]
MacDonald .Schur Functions: Theme and Variations
I.G. MacDonald .Schur Functions: Theme and Variations. Sém Lothar. Combin. [electronic only] 28(1992) 5–39,http://eudml.org/doc/119412
work page 1992
-
[74]
Mehta (2004).Random Matrices, Third Edition, Elsevier, San Diego, CA
M.L. Mehta (2004).Random Matrices, Third Edition, Elsevier, San Diego, CA
work page 2004
-
[75]
Moments of the derivative of the Riemann zeta-function and of characteristic polynomials
J.B. Conrey, M.O. Rubinstein, N.C. Snaith.Moments of the derivative of the Riemann zeta- function and of characteristic polynomials. Preprint (2005) [arXiv:math/0508378]
work page internal anchor Pith review Pith/arXiv arXiv 2005
- [76]
-
[77]
P.J. Forrester, T. Nagao.Eigenvalue statistics of the real Ginibre ensemble. Phys. Rev. Lett.99 (2007) 050603 [arXiv:0706.2020]
-
[78]
Symplectic Structure of the Real Ginibre Ensemble
H.-J. Sommers.Symplectic structure of the real Ginibre ensemble. J. Phys. A40(29) (2007) F671 [arXiv:0706.1671]
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[79]
Faà di Bruno.Sullo sviluppo delle funzioni
F. Faà di Bruno.Sullo sviluppo delle funzioni. Annali di Scienze Matematiche e Fisiche6(1855) 479–480. 48
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.