arxiv: 2604.03051 · v1 · submitted 2026-04-03 · 🧮 math-ph · math.MP· math.NT

Recognition: 2 theorem links

· Lean Theorem

Higher order derivative moments of CUE characteristic polynomials and the Riemann zeta function

Alexander Grover , Francesco Mezzadri , Nick Simm

Authors on Pith no claims yet

Pith reviewed 2026-05-13 17:46 UTC · model grok-4.3

classification 🧮 math-ph math.MPmath.NT

keywords momentsfunctionunitzetacasecirclecontingencyderivatives

0 comments

The pith

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.

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

Random matrix theory models the statistical behavior of the Riemann zeta function on the critical line by treating its values like the eigenvalues of large random unitary matrices. This paper extends that model to derivatives of the characteristic polynomial of the Circular Unitary Ensemble. For points well inside the unit circle, the moments of these derivatives reduce to a sum over contingency tables, which are combinatorial objects counting ways to fill tables with given row and column sums. Closer to the unit circle, the expressions become sums of determinants whose entries are weighted by Kostka numbers, which count certain Young-tableau fillings. The same combinatorial objects appear when the authors compute average values of zeta derivatives shifted slightly off the critical line. For low-order moments the match holds without extra assumptions; for higher orders it requires the Lindelöf hypothesis that zeta grows no faster than any positive power of the height.

Core claim

Assuming the Lindelöf hypothesis, the mean value of derivatives of the zeta function with suitable shifts gives rise to the same sum over contingency tables obtained in the CUE; for sufficiently low-order moments this holds unconditionally.

Load-bearing premise

The modeling assumption that the shifted zeta moments are captured by the CUE characteristic-polynomial moments in the large-N limit, together with the Lindelöf hypothesis for the higher-order cases.

read the original abstract

We use random matrix theory for the Circular Unitary Ensemble (CUE) to study moments of derivatives of the Riemann zeta function shifted a small distance from the critical line. The corresponding CUE moments are studied in the limit of large matrix size in two regimes: when the spectral parameter is (1) suitably far inside the unit disc, and (2) at a small distance from the unit circle. In case (1), we obtain an asymptotic formula as a combinatorial sum over contingency tables, while in case (2) we obtain a sum over certain determinants with multiplicative coefficients given by Kostka numbers. The latter result is also valid exactly on the unit circle. Then, we consider the analogous problem for mean values of derivatives of the zeta function with suitable shifts. Assuming the Lindel\"of hypothesis, we show that this mean value gives rise to the same sum over contingency tables obtained in the CUE. For sufficiently low-order moments, we establish this result unconditionally.

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.

Desk Editor's Note private letter to a colleague

The paper gives new combinatorial expressions for higher-order CUE derivative moments as contingency tables and Kostka determinants, with a conditional link to zeta moments.

read the letter

The punchline is that this paper works out new explicit formulas for higher-order derivative moments of CUE characteristic polynomials as sums over contingency tables or Kostka-weighted determinants, and then shows that zeta function moments with small shifts match the contingency table version under the Lindelof hypothesis. The new part is the combinatorial representations for orders beyond the first couple. Earlier work on CUE moments stopped at lower derivatives, so these contingency table and determinant expressions fill a gap. The paper does a clean job separating the two regimes for the CUE and stating which results are unconditional for low orders. The soft spot is the link to zeta. The abstract claims the shifted zeta moments produce the contingency table sum, but the stress test note points out that small imaginary shifts from the critical line might correspond to the regime near the unit circle rather than deep inside the disk. If that mapping is off, the claimed equivalence would need adjustment. The derivations are not in the abstract, so it is hard to see how they handle the parameter correspondence. This paper is aimed at researchers who follow the random matrix approach to zeta moments and want explicit formulas for higher derivatives. A reader familiar with the Keating-Snaith conjectures and subsequent refinements will get the most out of it. The combinatorial results look solid enough on the surface to warrant a serious referee, even if the zeta connection requires careful checking. I recommend sending it to peer review.

Referee Report

2 major / 2 minor

Summary. The manuscript derives asymptotic formulas for moments of derivatives of CUE characteristic polynomials in two regimes of the spectral parameter: suitably far inside the unit disk, yielding sums over contingency tables, and at small distance from the unit circle, yielding sums over determinants with Kostka coefficients (also valid exactly on the circle). It then shows that mean values of derivatives of the Riemann zeta function with suitable shifts from the critical line produce the same contingency-table sum under the Lindelöf hypothesis, with the result holding unconditionally for sufficiently low-order moments.

Significance. If the central claims hold, the work supplies explicit combinatorial expressions linking higher-order zeta derivative moments to CUE calculations, extending known RMT-zeta correspondences with both conditional and unconditional results. The regime distinction and the low-order unconditional cases are concrete strengths that could enable direct numerical checks or further analytic progress.

major comments (2)

[§4 (zeta application)] The mapping from the 'suitable shifts' of the zeta function to the CUE spectral parameter is load-bearing for the main claim yet remains implicit. A explicit computation of the effective radial distance from the unit circle for the chosen shifts is needed to confirm that the problem lies in regime (1) (contingency tables) rather than regime (2) (Kostka determinants), as standard RMT models for zeta typically place small imaginary shifts near the circle.
[§5.1] §5.1, the unconditional low-order statement: the precise orders for which the Lindelöf hypothesis can be removed must be stated explicitly, together with a verification that the combinatorial reduction to contingency tables survives without it and does not introduce additional error terms.

minor comments (2)

[Abstract] The abstract refers to 'suitable shifts' without a one-sentence characterization; adding a brief description would improve accessibility.
Notation for contingency tables and Kostka coefficients could be accompanied by a small explicit example in the text to aid readers unfamiliar with the combinatorial objects.

Circularity Check

0 steps flagged

No circularity: CUE derivations independent; zeta link uses external Lindelöf hypothesis

full rationale

The paper first derives asymptotic expressions for CUE characteristic polynomial derivative moments in two regimes using standard random-matrix techniques, yielding a contingency-table sum in regime (1) and a Kostka-determinant sum in regime (2). These are obtained directly from the CUE measure without reference to zeta. The subsequent claim that suitably shifted zeta moments reproduce the contingency-table sum is conditioned on the Lindelöf hypothesis (external) or established unconditionally for low orders; the modeling assumption that large-N CUE captures the shifted zeta is stated as an input rather than derived inside the paper. No equation reduces the target quantity to a fitted parameter or self-citation chain defined within the work, and the derivation remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the standard large-N limit of CUE characteristic polynomials and on the Lindelöf hypothesis for the higher-order zeta statements. No new free parameters or invented entities are introduced.

axioms (2)

domain assumption The large-N limit of the Circular Unitary Ensemble characteristic polynomial moments models the corresponding moments of the Riemann zeta function shifted off the critical line.
Invoked when transferring the CUE combinatorial sums to the zeta mean values.
domain assumption Lindelöf hypothesis: |ζ(1/2 + it)| ≪_ε |t|^ε for any ε>0.
Required for the higher-order derivative moments of zeta to match the CUE contingency-table sums.

pith-pipeline@v0.9.0 · 5471 in / 1514 out tokens · 43090 ms · 2026-05-13T17:46:09.879389+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.1: M_{μ,ν}(z,N) = μ!ν! (1−|z|^2)^{...} ∑_{Q∈M_{μ,·},R∈M_{·,ν}} ∏ p_{Q_{ij},R_{ij}}(z,¯z) +O(e^{-N^δ})
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.2: lim M_{μ,ν}(z_N,N)/N^{...} = μ!ν! ∑ K_{λμ}K_{ρν} / (λ!(s)ρ!(s)) det(I_{α_i(λ)+β_j(ρ)}(τ))

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

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

Derivative relations for determinants, Pfaffians and characteristic polynomials in random matrix theory
math-ph 2026-03 unverdicted novelty 6.0

Explicit expressions are proven for higher-order and mixed derivatives of determinant and Pfaffian ratios over Vandermonde determinants in random matrix theory.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages · cited by 1 Pith paper · 1 internal anchor

[1]

Derivative relations for determinants, Pfaffians and characteristic polynomials in random matrix theory

G. Akemann, G. Angermann, M. Kieburg, and A. Padellaro. Derivative relations for determinants, Pfaffians and characteristic polynomials in random matrix theory. arXiv:2603.29510, 2026

work page internal anchor Pith review Pith/arXiv arXiv 2026
[2]

Akemann and G

G. Akemann and G. Vernizzi. Characteristic polynomials of complex random matrix models.Nuclear Phys. B, 660(3):532–556, 2003

work page 2003
[3]

Alvarez, J

E. Alvarez, J. B. Conrey, M. O. Rubinstein, and N. C. Snaith. Moments of the derivative of the characteristic polynomial of unitary matrices.Random Matrices Theory Appl., 14(2):Paper No. 2550002, 45, 2025

work page 2025
[4]

Assiotis, M

T. Assiotis, M. A. Gunes, J. P. Keating, and F. Wei. Exchangeable arrays and inte- grable systems for characteristic polynomials of random matrices.Comm. Pure Appl. Math., 2026

work page 2026
[5]

Assiotis, J

T. Assiotis, J. P. Keating, and J. Warren. On the joint moments of the characteristic polynomials of random unitary matrices.Int. Math. Res. Not. IMRN, 2022(18):14564– 14603, 2022

work page 2022
[6]

E. C. Bailey, S. Bettin, G. Blower, J. B. Conrey, A. Prokhorov, M. O. Rubinstein, and N. C. Snaith. Mixed moments of characteristic polynomials of random unitary matrices.J. Math. Phys., 60(8):083509, 26, 2019

work page 2019
[7]

A. B. Balantekin. Character expansions, Itzykson-Zuber integrals, and the QCD partition function.Phys. Rev. D, 62:085017, 2000

work page 2000
[8]

Barhoumi-Andréani

Y. Barhoumi-Andréani. A new approach to the characteristic polynomial of a random unitary matrix.arXiv:2011.02465, 2020

work page arXiv 2011
[9]

Basor, P

E. Basor, P. Bleher, R. Buckingham, T. Grava, A. Its, E. Its, and J. P. Keating. A representationofjointmomentsofCUEcharacteristicpolynomialsintermsofPainlevé functions.Nonlinearity, 32(10):4033–4078, 2019

work page 2019
[10]

Bothner and F

T. Bothner and F. Wei. Asymptotic analysis of a family of Painlevé functions with applications to CUE derivative moments.arXiv:2511.18118, 2025

work page arXiv 2025
[11]

J. B. Conrey. The fourth moment of derivatives of the Riemann zeta-function.Quart. J. Math. Oxford Ser. (2), 39(153):21–36, 1988

work page 1988
[12]

J. B. Conrey and A. Ghosh. On mean values of the zeta-function.Mathematika, 31(1):159–161, 1984

work page 1984
[13]

J. B. Conrey and S. M. Gonek. High moments of the Riemann zeta-function.Duke Math. J., 107(3):577–604, 2001

work page 2001
[14]

J. B. Conrey, M. O. Rubinstein, and N. C. Snaith. Moments of the derivative of characteristic polynomials with an application to the Riemann zeta function.Comm. Math. Phys., 267(3):611–629, 2006

work page 2006
[15]

P-O. Dehaye. Joint moments of derivatives of characteristic polynomials.Algebra & Number Theory, 2(1):31–68, 2008. 18

work page 2008
[16]

P-O. Dehaye. A note on moments of derivatives of characteristic polynomials.Discrete Math. Theor. Comput. Sci. Proc., pages 681–692, 2010

work page 2010
[17]

Diaconis and A

P. Diaconis and A. Gamburd. Random matrices, magic squares and matching poly- nomials.Electron. J. Combin., 11(2), 2004

work page 2004
[18]

F. J. Dyson. Statistical theory of the energy levels of complex systems. III.J. Math- ematical Phys., 3:166–175, 1962

work page 1962
[19]

P. J. Forrester and N. S. Witte. Boundary conditions associated with the Painlevé III′ and V evaluations of some random matrix averages.J. Phys. A, 39(28):8983–8995, 2006

work page 2006
[20]

Forrester

P.J. Forrester. Joint moments of a characteristic polynomial and its derivative for the Circularβ-Ensemble.Probab. Math. Phys., 3(1):145–170, 2022

work page 2022
[21]

G. H. Hardy and J. E. Littlewood. Contributions to the theory of the Riemann zeta- function and the theory of the distribution of primes.Acta Math., 41(1):119–196, 1916

work page 1916
[22]

C. P. Hughes.On the characteristic polynomial of a random unitary matrix and the Riemann zeta function. PhD thesis, University of Bristol, 2001

work page 2001
[23]

A. E. Ingham. Mean-value theorems in the theory of the Riemann zeta-function.Proc. London Math. Soc. (2), 27(4):273–300, 1927

work page 1927
[24]

J. P. Keating and N. C. Snaith. Random matrix theory andζ(1/2+it).Comm. Math. Phys., 214(1):57–89, 2000

work page 2000
[25]

J. P. Keating and F. Wei. Joint moments of higher order derivatives of CUE character- istic polynomials I: asymptotic formulae.Int. Math. Res. Not. IMRN, 2024(12):9607– 9632, 2024

work page 2024
[26]

J. P. Keating and F. Wei. Joint moments of higher order derivatives of CUE charac- teristic polynomials II: structures, recursive relations, and applications.Nonlinearity, 37(8):085009, 54, 2024

work page 2024
[27]

Krattenthaler

C. Krattenthaler. Advanced determinant calculus.Sém. Lothar. Combin., 42, 1999

work page 1999
[28]

I. G. Macdonald.Symmetric Functions and Hall Polynomials. Oxford University Press, 1995

work page 1995
[29]

H. L. Montgomery. The pair correlation of zeros of the zeta function. InAnalytic Number Theory, volume 24 ofProceedings of Symposia in Pure Mathematics, pages 181–193. American Mathematical Society, Providence, RI, 1973

work page 1973
[30]

Simm and F

N. Simm and F. Wei. On moments of the derivative of CUE characteristic polynomials and the Riemann zeta function.J. Lond. Math. Soc., 113(3), 2026

work page 2026
[31]

E. C. Titchmarsh.The Theory of the Riemann Zeta-Function. Oxford University Press, 1951

work page 1951
[32]

B. Winn. Derivative moments for characteristic polynomials from the CUE.Comm. Math. Phys., 315(2):531–562, 2012. 19

work page 2012