pith. sign in

arxiv: 2604.09333 · v2 · pith:ILOYKWENnew · submitted 2026-04-10 · 🧮 math.CV · math.CA

Zero asymptotics for successive derivatives of hyperexponential functions with finite essential singularities

Christian H\"agg , Boris Shapiro This is my paper

Pith reviewed 2026-05-19 18:14 UTC · model grok-4.3

classification 🧮 math.CV math.CA
keywords zero asymptoticssuccessive derivativeshyperexponential functionsessential singularitiesVoronoi diagramMarchenko-Pastur lawStokes geometryPólya shire theorem
0
0 comments X

The pith

After removing forced singular factors from the numerator, the zeros of high-order derivatives of hyperexponential functions converge in the plane to the Voronoi edges of all finite singular points plus weighted atoms at the essential ones.

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

The paper extends Pólya's shire theorem from rational and polynomial-exponential functions to the broader class of hyperexponential functions that include finite essential singularities of arbitrary order. It shows that the normalized counting measures of zeros in the nth derivative, once the forced singular factors tied to the singularities are divided out, converge to the classical Voronoi edge measure generated by every finite pole and essential singularity. When the exponent contains a non-constant polynomial part, excess mass escapes to infinity, while the remaining mass forms linear-size clusters whose local statistics are given by explicit laws. Inside the Voronoi cells belonging to essential singularities the paper also locates the first sublinear layer of zeros and describes its Stokes geometry.

Core claim

For f = (P/Q) exp(S/T) with finite essential singularities of arbitrary order, after the forced singular factors are removed from the numerator of f^{(n)}, the normalized zero-counting measures converge in the z-plane to the Voronoi edge measure generated by all finite singular sites, augmented by explicitly weighted atoms at the finite essential singularities. The paper determines the microscopic laws of the clusters attached to poles of S/T and identifies the first sublinear zero layer inside essential Voronoi cells together with its Stokes geometry and densities.

What carries the argument

The normalized zero-counting measures of the derivatives after removal of forced singular factors, whose weak limits are identified via potential theory as the Voronoi edge measure plus atoms at essential singularities.

If this is right

  • Essential singularities act simultaneously as ordinary Voronoi sites and as sources of linear-size zero clusters whose sizes are explicitly weighted.
  • Near simple poles of the exponent the local zero statistics inside clusters obey the reciprocal Marchenko-Pastur law.
  • Near higher-order poles the local statistics obey multiple-Laguerre, equivalently Laguerre Muttalib-Borodin, limits.
  • Inside essential Voronoi cells a first sublinear zero layer appears whose densities and Stokes geometry are determined away from transition loci.

Where Pith is reading between the lines

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

  • The same separation of forced factors and potential-theoretic argument may apply to other meromorphic functions whose essential singularities remain of finite order but whose global growth is not strictly hyperexponential.
  • Numerical verification of the predicted atoms and cluster laws is feasible by direct high-order differentiation of explicit examples such as exp(1/z) or exp(z + 1/z).
  • The sublinear layer inside essential cells suggests a finer stratification of the final set of zeros that could be checked by examining argument variation along Stokes lines.

Load-bearing premise

The function must belong to the hyperexponential class whose exponent is a rational function of controlled polynomial growth so that forced singular factors can be separated and potential-theoretic limits applied directly.

What would settle it

For the concrete function f(z) = exp(1/z) / z, compute the zeros of the 20th or higher derivative after stripping the forced 1/z factor and check whether their empirical measure lies close to the Voronoi edges of the origin together with a positive atom at the origin; systematic deviation would falsify the convergence claim.

Figures

Figures reproduced from arXiv: 2604.09333 by Boris Shapiro, Christian H\"agg.

Figure 1
Figure 1. Figure 1: The Voronoi diagram determined by the five poles (red triangles) of some rational function [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Numerical illustration for f(z) = 1 (z+5/2)(z−2i)(z−5/2) exp (3−i)/2 (z+2−3i/2)2 + −1−i z−1+i  . Here S/T has a double pole at z = −2+3i/2 and a simple pole at z = 1−i. The dark points are the finite zeros of f (30) . The left panel shows the global fixed-scale picture, while the right panel zooms into the neighborhood of z = 1 − i. The pastel background colors merely distinguish the Voronoi cells of Z(T… view at source ↗
read the original abstract

P\'olya's shire theorem identifies the final set of zeros of successive derivatives of an arbitrary meromorphic function with at least one pole with the Voronoi diagram of its finite poles. We prove a fixed-scale zero-counting law for hyperexponential functions $f=(P/Q)\exp(S/T)$, allowing ordinary poles and finite essential singularities of arbitrary order and position, thus extending P\'olya's picture beyond the rational, polynomial-exponential, and one-dimensional finite-essential-singularity settings. After the forced singular factors are removed from the numerator of $f^{(n)}$, the normalized zero-counting measures converge in the original $z$-plane to the classical Voronoi edge measure generated by all finite singular sites, augmented by explicitly weighted atoms at the finite essential singularities, which thereby enter P\'olya's picture both as Voronoi sites and as sources of linear-size zero clusters. If $S/T$ has a nonconstant polynomial part, the complementary mass escapes to infinity. We determine the microscopic laws of these clusters, obtaining the reciprocal Marchenko--Pastur law for simple poles of $S/T$ and higher-order multiple-Laguerre, equivalently Laguerre Muttalib--Borodin, limits for higher-order poles. Finally, inside essential Voronoi cells we identify the first sublinear zero layer, including its Stokes geometry, densities, and final-set consequences away from transition loci.

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

2 major / 2 minor

Summary. The paper extends Pólya's shire theorem to hyperexponential functions f=(P/Q)exp(S/T) with finite essential singularities of arbitrary order. After removing forced singular factors from the numerator of f^{(n)}, the normalized zero-counting measures converge to the Voronoi edge measure generated by all finite singular sites, augmented by explicitly weighted atoms at the essential singularities. Complementary mass escapes to infinity when S/T has a nonconstant polynomial part. Microscopic laws are identified as the reciprocal Marchenko-Pastur law for simple poles of S/T and multiple-Laguerre (Laguerre Muttalib-Borodin) limits for higher-order poles, together with the first sublinear zero layer, its Stokes geometry, and densities inside essential Voronoi cells away from transition loci.

Significance. If the stated convergence and microscopic limits hold, the work meaningfully enlarges the scope of zero-asymptotics results for successive derivatives beyond rational and polynomial-exponential cases, incorporating finite essential singularities as both Voronoi sites and sources of linear-size clusters. The explicit links to Voronoi diagrams, potential theory, and random-matrix ensembles (reciprocal Marchenko-Pastur, Muttalib-Borodin) constitute a clear advance; the treatment of sublinear layers and Stokes geometry inside cells adds further value.

major comments (2)
  1. [§4] §4, main convergence statement: the separation of forced singular factors from the numerator of f^{(n)} is central to the claim, yet the argument for interchanging the limit with the removal step under the polynomial-growth condition on S/T lacks an explicit domination or uniform integrability estimate that would justify the passage to the Voronoi measure plus atoms.
  2. [Theorem 5.3] Theorem 5.3 (microscopic laws): the derivation of the reciprocal Marchenko-Pastur law for simple poles of S/T and the multiple-Laguerre limits for higher-order poles assumes the Voronoi cell structure persists at the microscopic scale; a concrete check that transition loci between cells do not alter the local scaling or the weight of the atoms is needed to support the global picture.
minor comments (2)
  1. [Abstract] Abstract: the weights of the atoms at essential singularities are described as 'explicit' but are not written out; a one-line formula in the abstract or introduction would improve readability.
  2. [Notation] Notation section: the growth condition on S/T is stated in terms of polynomial degree, but the precise meaning of 'nonconstant polynomial part' for the escape of mass should be cross-referenced to the statement of the main theorem.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The two major comments identify places where additional justification would strengthen the arguments. We respond to each below and indicate the planned revisions.

read point-by-point responses

  1. Referee: [§4] §4, main convergence statement: the separation of forced singular factors from the numerator of f^{(n)} is central to the claim, yet the argument for interchanging the limit with the removal step under the polynomial-growth condition on S/T lacks an explicit domination or uniform integrability estimate that would justify the passage to the Voronoi measure plus atoms.

    Authors: We agree that an explicit uniform integrability estimate is needed to rigorously justify interchanging the limit and the removal of forced singular factors. The current argument relies on the polynomial-growth condition on S/T but does not spell out the domination. In the revised manuscript we will add a short lemma in §4 that supplies the required uniform integrability bound, derived from standard growth estimates for derivatives of hyperexponential functions together with the assumed polynomial growth of S/T. This will complete the justification for convergence to the Voronoi edge measure augmented by the weighted atoms. revision: yes

  2. Referee: [Theorem 5.3] Theorem 5.3 (microscopic laws): the derivation of the reciprocal Marchenko-Pastur law for simple poles of S/T and the multiple-Laguerre limits for higher-order poles assumes the Voronoi cell structure persists at the microscopic scale; a concrete check that transition loci between cells do not alter the local scaling or the weight of the atoms is needed to support the global picture.

    Authors: The microscopic scaling is determined locally by the orders of the nearest singular sites, and the Voronoi diagram governs which sites are nearest. Transition loci are lower-dimensional and have measure zero with respect to the limiting measure. Theorem 5.3 is stated for generic points away from these loci, as already indicated in the abstract. We will add a brief verification paragraph in the proof of Theorem 5.3 showing that the explicit residue formulas for the atom weights and the local densities remain continuous and unchanged when approaching a transition locus from within a cell. This confirms that the local laws are unaffected and supports the global statement. revision: partial

Circularity Check

0 steps flagged

Derivation self-contained; no circular reductions identified

full rationale

The paper extends Pólya's theorem by applying the explicit hyperexponential form f=(P/Q)exp(S/T) to isolate forced singular factors in the numerator of f^{(n)} and then invoking standard potential-theoretic convergence for the remaining zero-counting measures toward the Voronoi diagram of the given singular sites plus weighted atoms at essential singularities. These steps rely on the stated polynomial-growth condition on S/T and on external results such as Pólya's theorem and random-matrix limits (Marchenko-Pastur, Laguerre ensembles), none of which are shown to reduce by construction to the paper's own fitted quantities or self-citations. The microscopic cluster laws are derived from the local pole orders of S/T rather than being presupposed, and the overall limiting measure is obtained as a direct consequence of the separation and the external potential theory, rendering the argument independent of its target conclusion.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard results from complex analysis and potential theory together with the given functional form; no free parameters are fitted to data and no new entities are postulated.

axioms (2)
  • standard math Pólya's shire theorem for meromorphic functions with poles
    The paper invokes this theorem as the base case that is being extended to hyperexponential functions.
  • standard math Existence and properties of Voronoi diagrams generated by finite singular points in the plane
    Used to describe the limiting support of the normalized zero-counting measures.

pith-pipeline@v0.9.0 · 5781 in / 1554 out tokens · 71881 ms · 2026-05-19T18:14:51.240918+00:00 · methodology

Review history (2 revisions) →

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

28 extracted references · 28 canonical work pages

  1. [1]

    Bøgvad and C

    R. Bøgvad and C. Hägg,A refinement for rational functions of Pólya’s method to construct Voronoi diagrams, J. Math. Anal. Appl.452(2017), no. 1, 312–334. 1, 2

    work page 2017

  2. [2]

    Bøgvad, B

    R. Bøgvad, B. Shapiro, G. Tahar, and S. Warakkagun,The translation geometry of Pólya’s shires, arXiv:2503.07895 (2025), to appear inDuke Mathematical Journal. 1, 2

    work page arXiv 2025

  3. [3]

    S. Chen, R. Feng, and M. F. Singer,Parallel Telescoping and Parameterized Picard–Vessiot Theory, Proceedings of ISSAC 2014, ACM, New York, 2014, pp. 137–144. 2

    work page 2014

  4. [4]

    J. G. Clunie and A. Edrei,Zeros of successive derivatives of analytic functions having a single essential singularity II, J. Anal. Math.56(1991), 141–185. 1, 2

    work page 1991

  5. [5]

    Deift,Orthogonal Polynomials and Random Matrices: a Riemann–Hilbert Approach, Courant Lecture Notes in Mathematics3, Amer

    P. Deift,Orthogonal Polynomials and Random Matrices: a Riemann–Hilbert Approach, Courant Lecture Notes in Mathematics3, Amer. Math. Soc., Providence, RI, 1999. 24

    work page 1999

  6. [6]

    Edrei,On the zeros of successive derivatives of analytic functions having a single essential sin- gularity, in: Entire and Meromorphic Functions, World Scientific, Singapore, 1987

    A. Edrei,On the zeros of successive derivatives of analytic functions having a single essential sin- gularity, in: Entire and Meromorphic Functions, World Scientific, Singapore, 1987. 2

    work page 1987

  7. [7]

    Edrei and G

    A. Edrei and G. R. MacLane,On the zeros of the derivatives of entire functions, Proc. Amer. Math. Soc.8(1957), 702–706. 1

    work page 1957

  8. [8]

    A. S. Fokas, A. R. Its, and A. V. Kitaev,The isomonodromy approach to matrix models in 2D quantum gravity, Comm. Math. Phys.147(1992), no. 2, 395–430. 24

    work page 1992

  9. [9]

    R. M. Gethner,On the zeros of the derivatives of some entire functions of finite order, Proc. Edin- burgh Math. Soc.28(1985), 381–407. 1 29

    work page 1985

  10. [10]

    R. M. Gethner,Zeros of the successive derivatives of Hadamard gap series in the unit disk, Michigan Math. J.36(1989), 403–414. 1

    work page 1989

  11. [11]

    Hägg,The asymptotic zero-counting measure of iterated derivatives of a class of meromorphic functions, Ark

    C. Hägg,The asymptotic zero-counting measure of iterated derivatives of a class of meromorphic functions, Ark. Mat.57(2019), no. 1, 107–120. 1, 2

    work page 2019

  12. [12]

    Johansson, M

    F. Johansson, M. Kauers, and M. Mezzarobba,Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation, Proceedings of ISSAC 2013, ACM, New York, 2013, pp. 201–208. 2

    work page 2013

  13. [13]

    Keo,Generalization of Pólya’s theorem for Voronoi diagram construction, Master’s thesis, Royal University of Phnom Penh, 2021

    V. Keo,Generalization of Pólya’s theorem for Voronoi diagram construction, Master’s thesis, Royal University of Phnom Penh, 2021. 1

    work page 2021

  14. [14]

    Pólya,Über die Nullstellen sukzessiver Derivierten, Math

    G. Pólya,Über die Nullstellen sukzessiver Derivierten, Math. Z.12(1922), 36–60. 1, 2

    work page 1922

  15. [15]

    Pólya,On the zeros of the derivatives of a function and its analytic character, Bull

    G. Pólya,On the zeros of the derivatives of a function and its analytic character, Bull. Amer. Math. Soc.49(1943), 178–191. 1, 2

    work page 1943

  16. [16]

    Pólya and N

    G. Pólya and N. Wiener,On the oscillation of the derivatives of a periodic function, Trans. Amer. Math. Soc.52(1942), 249–256. 1

    work page 1942

  17. [17]

    Pólya,On the zeros of successive derivatives—an example, J

    G. Pólya,On the zeros of successive derivatives—an example, J. Analyse Math.30(1976), 452–455. 1

    work page 1976

  18. [18]

    C. L. Prather and J. K. Shaw,Zeros of successive derivatives of functions analytic in a neighbourhood of a single pole, Michigan Math. J.29(1982), 111–119. 1

    work page 1982

  19. [19]

    C. L. Prather and J. K. Shaw,A shire theorem for functions with algebraic singularities, Internat. J. Math. Math. Sci.5(1982), no. 4, 691–706. 1, 2

    work page 1982

  20. [20]

    Ransford,Potential Theory in the Complex Plane, Cambridge University Press, Cambridge, 1995

    T. Ransford,Potential Theory in the Complex Plane, Cambridge University Press, Cambridge, 1995. 4, 26

    work page 1995

  21. [21]

    R. M. Gethner,A Pólya “shire” theorem for entire functions, Ph.D. thesis, University of Wisconsin– Madison, 1982. 1

    work page 1982

  22. [22]

    M. F. Singer,Introduction to the Galois Theory of Linear Differential Equations, London Mathe- matical Society Lecture Note Series 328, Cambridge University Press, 2006. 2

    work page 2006

  23. [23]

    M. F. Singer,Liouvillian Solutions of Differential Equations, Pacific J. Math.150(1991), no. 2, 353–365. 2

    work page 1991

  24. [24]

    Van Assche, J

    W. Van Assche, J. S. Geronimo, and A. B. J. Kuijlaars,Riemann–Hilbert problems for multiple orthogonal polynomials, in: Special Functions 2000 (J. Bustoz et al., eds.), NATO Sci. Ser. II Math. Phys. Chem.30, Kluwer, Dordrecht, 2001, pp. 23–59. 24

    work page 2000

  25. [25]

    Varma and F

    S. Varma and F. Taşdelen,On a different kind ofd-orthogonal polynomials that generalize the Laguerre polynomials, Mathematica Aeterna2(2012), no. 6, 561–572. 18, 19

    work page 2012

  26. [26]

    Weiss,Pólya’s shire theorem for automorphic functions, Geom

    M. Weiss,Pólya’s shire theorem for automorphic functions, Geom. Dedicata100(2003), 85–92. 1

    work page 2003

  27. [27]

    E. M. Wright,On the coefficients of power series having exponential singularities, J. London Math. Soc.8(1933), no. 1, 71–79. 10

    work page 1933

  28. [28]

    E. M. Wright,On the coefficients of power series having exponential singularities (second paper), J. London Math. Soc.24(1949), no. 4, 304–309. 10 30

    work page 1949