pith. sign in

arxiv: 2410.06403 · v2 · pith:GQWURHJ3new · submitted 2024-10-08 · 🧮 math.PR · math.CO· math.CV

Universality for roots of derivatives of entire functions via finite free probability

Andrew Campbell , Sean O'Rourke , David Renfrew This is my paper

Pith reviewed 2026-05-23 19:12 UTC · model grok-4.3

classification 🧮 math.PR math.COmath.CV
keywords cosine universalityentire functionsfinite free probabilityJensen polynomialsHermite universalityroots of derivativesreal rootslimit theorems
0
0 comments X

The pith

For even entire functions with only real roots, repeated differentiation makes their roots approach the perfectly spaced zeros of the cosine.

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

The paper proves the Cosine Universality conjecture for even entire functions that have only real roots and are real-valued on the real line. It shows that after many differentiations the scaled roots become uniformly spaced according to the zeros of the cosine. The argument proceeds by establishing new limit theorems in finite free probability for deterministic polynomials under repeated differentiation. A sympathetic reader would care because the result supplies a probabilistic mechanism that forces root spacing to stabilize for this broad class of analytic functions. The same methods also settle the related Hermite Universality conjecture for the associated Jensen polynomials.

Core claim

We establish the cosine universality conjecture asserting that, under natural conditions, the roots of an entire function become perfectly spaced in the limit of repeated differentiation, for a class of even entire functions with only real roots which are real on the real line. Along the way we prove Hermite universality for Jensen polynomials of these functions. The proofs rest on finite free probability analogs of the law of large numbers, central limit theorem, and Poisson limit theorem for sequences of deterministic polynomials under repeated differentiation, under optimal moment conditions.

What carries the argument

Finite free probability analogs of the law of large numbers, central limit theorem, and Poisson limit theorem applied to sequences of deterministic polynomials under repeated differentiation.

If this is right

  • The scaled roots of the n-th derivative converge in distribution to the zeros of the cosine function.
  • Jensen polynomials associated to these entire functions obey Hermite universality.
  • Finite free probability yields new limit theorems for root distributions of deterministic polynomials under differentiation.
  • Additional universality statements hold for the root locations of higher derivatives within the same class.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The finite-free-probability machinery may apply to other families of polynomials once comparable moment bounds are verified.
  • Numerical checks on explicit examples such as cosh or exp(-x^2) could supply independent confirmation of the spacing limit.
  • The same differentiation limit theorems might illuminate root behavior in related settings such as orthogonal polynomials or characteristic polynomials of random matrices.

Load-bearing premise

The entire functions are even, possess only real roots, and are real-valued on the real line, while the associated sequences satisfy the optimal moment conditions required for the finite free probability limit theorems.

What would settle it

For a concrete even entire function with only real roots satisfying the moment conditions, compute the scaled roots of its 50th derivative and check whether they deviate systematically from the equal spacing of cosine zeros.

Figures

Figures reproduced from arXiv: 2410.06403 by Andrew Campbell, David Renfrew, Sean O'Rourke.

Figure 1
Figure 1. Figure 1: Derivatives of p130 (blue) compared to the Hermite polynomials (orange). to rewrite hˆ(σk+1) as one slowly varying function. As mentioned at the beginning of the section, (2.4) follows from (2.3), so the proof of Lemma 2.2 is completed. □ 7. Examples In this section, we give some examples of polynomials and entire functions which satisfy the assumptions of our main results. Of course the most important pol… view at source ↗
read the original abstract

A universality conjecture of Farmer and Rhoades [Trans. Amer. Math. Soc., 357(9):3789--3811, 2005] and Farmer [Adv. Math., 411:Paper No. 108781, 14, 2022] asserts that, under some natural conditions, the roots of an entire function should become perfectly spaced in the limit of repeated differentiation. This conjecture is known as Cosine Universality. We establish this conjecture for a class of even entire functions with only real roots which are real on the real line. Along the way, we establish a number of additional universality results for Jensen polynomials of entire functions, including the Hermite Universality conjecture of Farmer [Adv. Math., 411:Paper No. 108781, 14, 2022]. Our proofs are based on finite free probability theory. We establish finite free probability analogs of the law of large numbers, central limit theorem, and Poisson limit theorem for sequences of deterministic polynomials under repeated differentiation, under optimal moment conditions, which are of independent interest.

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

0 major / 2 minor

Summary. The paper establishes the Cosine Universality conjecture (and the related Hermite Universality conjecture) for even entire functions of finite order that have only real roots and are real-valued on the real line. The proofs proceed by reducing to Jensen polynomials, then applying newly developed finite-free-probability limit theorems (LLN, CLT, and Poisson) for repeated differentiation of deterministic real-rooted polynomials under optimal moment conditions; root-spacing asymptotics are extracted from the limiting distributions.

Significance. If the central derivations hold, the work resolves two longstanding conjectures on root distributions under differentiation by means of finite free probability. The new limit theorems are stated under optimal moment conditions and are of independent interest; the argument is parameter-free once the moment hypotheses are fixed and supplies explicit limiting laws rather than fitted parameters.

minor comments (2)
  1. [§1] §1, paragraph following the statement of Theorem 1.2: the precise formulation of the 'optimal moment conditions' is referenced to the finite-free-probability literature but not restated; a one-sentence reminder of the growth rate on the moments would improve self-contained readability.
  2. [Proof of Theorem 1.1] The transition from the finite-free CLT to the explicit cosine spacing in the entire-function limit (around the proof of Theorem 1.1) would benefit from an explicit display of the scaling constants that convert the variance parameter into the limiting root density.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment, the recognition of the independent interest of the finite-free limit theorems, and the recommendation of minor revision. No major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation establishes new finite-free-probability LLN/CLT/Poisson limit theorems for repeated differentiation of deterministic real-rooted polynomials under optimal moment conditions, then applies these to reduce Jensen polynomials of even entire functions (with all real roots, real on the real line) to the claimed root-spacing limits. This chain relies on external finite free probability theory and produces independent results of interest; no load-bearing self-citation, self-definitional step, fitted-input prediction, or ansatz smuggling is present in the argument structure. The central claims therefore remain self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based on abstract, the central claims rest on the applicability of finite free probability to deterministic polynomial sequences under differentiation and the stated conditions on entire functions; no free parameters or invented entities are indicated.

axioms (1)
  • domain assumption Finite free probability theory extends to sequences of deterministic polynomials under repeated differentiation with optimal moment conditions
    Invoked to establish the law of large numbers, central limit theorem, and Poisson limit theorem analogs.

pith-pipeline@v0.9.0 · 5723 in / 1185 out tokens · 25247 ms · 2026-05-23T19:12:47.500140+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

47 extracted references · 47 canonical work pages

  1. [1]

    Arizmendi, K

    O. Arizmendi, K. Fjie, D. Perales, and Y. Ueda. S-transform in Finite Free Probability. Available at arXiv:2408.09337, 2024. Preprint

    work page arXiv 2024

  2. [2]

    Arizmendi, J

    O. Arizmendi, J. Garza-Vargas, and D. Perales. Finite free cumulants: multiplicative convolu- tions, genus expansion and infinitesimal distributions.Trans. Amer. Math. Soc., 376(6):4383– 4420, 2023

    work page 2023

  3. [3]

    Arizmendi and D

    O. Arizmendi and D. Perales. Cumulants for finite free convolution. J. Combin. Theory Ser. A, 155:244–266, 2018

    work page 2018

  4. [4]

    Arizmendi and D

    O. Arizmendi and D. Perales. A Berry-Esseen type theorem for finite free convolution. In XIII Symposium on Probability and Stochastic Processes, volume 75 of Progr. Probab., pages 67–76. Birkh¨ auser/Springer, Cham, 2020

    work page 2020

  5. [5]

    Assiotis

    T. Assiotis. Random entire functions from random polynomials with real zeros. Adv. Math., 410:Paper No. 108701, 28, 2022. UNIVERSALITY FOR ROOTS OF DERIVATIVES OF ENTIRE FUNCTIONS 29

    work page 2022

  6. [6]

    M. V. Berry. Universal oscillations of high derivatives. Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. , 461(2058):1735–1751, 2005

    work page 2058

  7. [7]

    Campbell, S

    A. Campbell, S. O’Rourke, and D. Renfrew. The fractional free convolution of R-diagonal elements and random polynomials under repeated differentiation.Int. Math. Res. Not. IMRN, (13):10189–10218, 2024

    work page 2024

  8. [8]

    Craven and G

    T. Craven and G. Csordas. Jensen polynomials and the Tur´ an and Laguerre inequalities. Pacific J. Math. , 136(2):241–260, 1989

    work page 1989

  9. [9]

    Davydov and V

    Y. Davydov and V. Egorov. On convergence of empirical point processes. Statist. Probab. Lett., 76(17):1836–1844, 2006

    work page 2006

  10. [10]

    D. K. Dimitrov and Y. Ben Cheikh. Laguerre polynomials as Jensen polynomials of Laguerre- P´ olya entire functions.J. Comput. Appl. Math. , 233(3):703–707, 2009

    work page 2009

  11. [11]

    https://dlmf.nist.gov/, Release 1.2.2 of 2024-09-15

    NIST Digital Library of Mathematical Functions . https://dlmf.nist.gov/, Release 1.2.2 of 2024-09-15. F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, eds

    work page 2024

  12. [12]

    D. W. Farmer. Jensen polynomials are not a plausible route to proving the Riemann hypoth- esis. Adv. Math., 411:Paper No. 108781, 14, 2022

    work page 2022

  13. [13]

    D. W. Farmer and R. C. Rhoades. Differentiation evens out zero spacings. Trans. Amer. Math. Soc., 357(9):3789–3811, 2005

    work page 2005

  14. [14]

    Gorin and A

    V. Gorin and A. W. Marcus. Crystallization of random matrix orbits. Int. Math. Res. Not. IMRN, (3):883–913, 2020

    work page 2020

  15. [15]

    Griffin, K

    M. Griffin, K. Ono, L. Rolen, and D. Zagier. Jensen polynomials for the Riemann zeta function and other sequences. Proc. Natl. Acad. Sci. USA , 116(23):11103–11110, 2019

    work page 2019

  16. [16]

    Griffin and D

    M. Griffin and D. South. Jensen polynomials for holomorphic functions. Int. J. Number Theory, 19(4):733–745, 2023

    work page 2023

  17. [17]

    Gunns and C

    J. Gunns and C. Hughes. The effect of repeated differentiation on L-functions. J. Number Theory, 194:30–43, 2019

    work page 2019

  18. [18]

    Hoskins and Z

    J. Hoskins and Z. Kabluchko. Dynamics of zeroes under repeated differentiation.Experimental Mathematics, 0(0):1–27, 2021

    work page 2021

  19. [19]

    J. G. Hoskins and S. Steinerberger. A semicircle law for derivatives of random polynomials. Int. Math. Res. Not. IMRN , (13):9784–9809, 2022

    work page 2022

  20. [20]

    Kabluchko, Repeated differentiation and free unitary Poisson process, arXiv:2112.14729 [math.PR]

    Z. Kabluchko. Repeated differentiation and free unitary poisson process. Available at arXiv:2112.14729, 2021

    work page arXiv 2021

  21. [21]

    R. V. Kadison and I. M. Singer. Extensions of pure states. Amer. J. Math., 81:383–400, 1959

    work page 1959

  22. [22]

    H. Ki. The Riemann Ξ-function under repeated differentiation. J. Number Theory , 120(1):120–131, 2006

    work page 2006

  23. [23]

    Y.-O. Kim. Critical points of real entire functions and a conjecture of P´ olya. Proc. Amer. Math. Soc., 124(3):819–830, 1996

    work page 1996

  24. [24]

    LePage, M

    R. LePage, M. Woodroofe, and J. Zinn. Convergence to a stable distribution via order sta- tistics. Ann. Probab., 9(4):624–632, 1981

    work page 1981

  25. [25]

    A. W. Marcus. Polynomial convolutions and (finite) free probability. Available at arXiv:2108.07054, 2021

    work page arXiv 2021

  26. [26]

    A. W. Marcus, D. A. Spielman, and N. Srivastava. Interlacing families I: Bipartite Ramanujan graphs of all degrees. Ann. of Math. (2) , 182(1):307–325, 2015

    work page 2015

  27. [27]

    A. W. Marcus, D. A. Spielman, and N. Srivastava. Interlacing families II: Mixed characteristic polynomials and the Kadison-Singer problem. Ann. of Math. (2) , 182(1):327–350, 2015

    work page 2015

  28. [28]

    A. W. Marcus, D. A. Spielman, and N. Srivastava. Interlacing families IV: Bipartite Ramanu- jan graphs of all sizes. SIAM J. Comput. , 47(6):2488–2509, 2018

    work page 2018

  29. [29]

    A. W. Marcus, D. A. Spielman, and N. Srivastava. Finite free convolutions of polynomials. Probab. Theory Related Fields, 182(3-4):807–848, 2022

    work page 2022

  30. [30]

    A. W. Marcus, D. A. Spielman, and N. Srivastava. Interlacing families III: Sharper restricted invertibility estimates. Israel J. Math. , 247(2):519–546, 2022

    work page 2022

  31. [31]

    M. Marden. Geometry of polynomials , volume No. 3 of Mathematical Surveys . American Mathematical Society, Providence, RI, second edition, 1966

    work page 1966

  32. [32]

    J. A. Mingo and R. Speicher. Free probability and random matrices , volume 35 of Fields Institute Monographs. Springer, New York; Fields Institute for Research in Mathematical Sciences, Toronto, ON, 2017

    work page 2017

  33. [33]

    B. B. P. Mirabelli. Hermitian, Non-Hermitian and Multivariate Finite Free Probability . Pro- Quest LLC, Ann Arbor, MI, 2021. Thesis (Ph.D.)–Princeton University. 30 ANDREW CAMPBELL, SEAN O’ROURKE, AND DAVID RENFREW

    work page 2021

  34. [34]

    Nica and R

    A. Nica and R. Speicher. On the multiplication of free N-tuples of noncommutative random variables. Amer. J. Math. , 118(4):799–837, 1996

    work page 1996

  35. [35]

    Nica and R

    A. Nica and R. Speicher. Lectures on the combinatorics of free probability , volume 335 of London Mathematical Society Lecture Note Series . Cambridge University Press, Cambridge, 2006

    work page 2006

  36. [36]

    O’Sullivan

    C. O’Sullivan. Limits of Jensen polynomials for partitions and other sequences. Monatsh. Math., 199(1):203–230, 2022

    work page 2022

  37. [37]

    Pemantle and S

    R. Pemantle and S. Subramanian. Zeros of a random analytic function approach perfect spacing under repeated differentiation. Trans. Amer. Math. Soc., 369(12):8743–8764, 2017

    work page 2017

  38. [38]

    P´ olya.¨Uber die algebraisch-funktionentheoretischen untersuchungen von j

    G. P´ olya.¨Uber die algebraisch-funktionentheoretischen untersuchungen von j. l. w. v. jensen. Det Kgl. Danske Videnskabernes Selskab. Math-fys Medd. , 7:3–33, 1927

    work page 1927

  39. [39]

    Q. I. Rahman and G. Schmeisser. Analytic theory of polynomials , volume 26 of London Mathematical Society Monographs. New Series . The Clarendon Press, Oxford University Press, Oxford, 2002

    work page 2002

  40. [40]

    S. I. Resnick. Extreme values, regular variation and point processes . Springer Series in Op- erations Research and Financial Engineering. Springer, New York, 2008. Reprint of the 1987 original

    work page 2008

  41. [41]

    Shlyakhtenko and T

    D. Shlyakhtenko and T. Tao. Fractional free convolution powers. Indiana University Mathe- matics Journal, 71(6):2551–2594, 2022

    work page 2022

  42. [42]

    Steinerberger

    S. Steinerberger. A nonlocal transport equation describing roots of polynomials under differ- entiation. Proc. Amer. Math. Soc. , 147(11):4733–4744, 2019

    work page 2019

  43. [43]

    Steinerberger

    S. Steinerberger. Free convolution powers via roots of polynomials. Experimental Mathemat- ics, 32(4):567–572, 2023

    work page 2023

  44. [44]

    Stoyanoff

    A. Stoyanoff. Sur un th´ eor` eme de M. Marcel Riesz.Nouvelles annales de math´ ematiques : journal des candidats aux ´ ecoles polytechnique et normale, 6e s´ erie, 1:97–99, 1925

    work page 1925

  45. [45]

    G. Szeg¨ o. Bemerkungen zu einem Satz von J. H. Grace ¨ uber die Wurzeln algebraischer Gle- ichungen. Math. Z., 13(1):28–55, 1922

    work page 1922

  46. [46]

    T. Tao. Topics in random matrix theory , volume 132 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2012

    work page 2012

  47. [47]

    J. L. Walsh. On the location of the roots of certain types of polynomials. Trans. Amer. Math. Soc., 24(3):163–180, 1922. Institute of Science and Technology Austria, Am Campus 1, 3400 Klosterneuburg, Austria Email address: andrew.campbell@ist.ac.at Department of Mathematics, University of Colorado, Campus Box 395, Boulder, CO 80309-0395, USA Email address...

    work page 1922