pith. sign in

arxiv: 2604.04661 · v3 · pith:5SWCIA7Enew · submitted 2026-04-06 · 🧮 math.PR · math-ph· math.CV· math.MP

A pluricomplex error-function kernel at the edge of polynomial Bergman kernels

Pith reviewed 2026-05-21 09:54 UTC · model grok-4.3

classification 🧮 math.PR math-phmath.CVmath.MP
keywords Bergman kernelerror-function kerneldropletdeterminantal point processedge scaling limituniversalityBargmann-Fock spacepluricomplex potential
0
0 comments X

The pith

Near the edge of the droplet in weighted Bergman kernels, the local kernel is given by the error-function kernel or a new multivariate version of it.

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

The paper looks at determinantal point processes built from polynomial Bergman kernels on complex d-space using weights that decay exponentially with a potential Q. Points from these processes gather inside a compact droplet set S_Q, and the work shows that right at the boundary of this set the rescaled kernel takes one of two universal forms. One form is the familiar error-function kernel from random matrix theory; the other is a new multivariate extension that the authors introduce. These limits are proved when Q is a sum of planar potentials or when Q is rotationally symmetric, and the authors also name the exact subspace of the Bargmann-Fock space on which the multivariate kernel reproduces functions. They further treat cases with fewer than n terms and give a scaling limit for the number of points near the edge.

Core claim

Under mild conditions on the potential that make the droplet compact with regular edge points, the rescaled polynomial Bergman kernel near ∂S_Q converges to the error-function kernel in the tensorized setting and to a new multivariate error-function kernel in the rotationally symmetric setting; the latter kernel reproduces on an explicitly identified subspace of the Bargmann-Fock space. The same framework yields the kernel behavior when the number of terms is o(n) at certain degenerate bulk points and an edge scaling limit for counting statistics.

What carries the argument

The multivariate error-function kernel, a higher-dimensional generalization of the classical error-function kernel that serves as the universal local limit for the Bergman kernel at regular edge points of the droplet.

If this is right

  • Local statistics of the point process near the edge are governed by these explicit universal kernels rather than by the global potential.
  • In the tensorized case the higher-dimensional process factors into independent one-dimensional processes each obeying the error-function law.
  • Counting statistics near the edge admit explicit limiting distributions derived from the error-function kernel.
  • The identified reproducing subspace allows precise description of which functions are approximated by the limiting kernel.

Where Pith is reading between the lines

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

  • The same edge kernels may appear for a wider class of potentials once the symmetry restrictions are removed.
  • Explicit formulas for gap probabilities or overcrowding events at the boundary could be obtained by integrating against these kernels.
  • The o(n) term analysis may extend to other degeneracy types and yield a hierarchy of limiting kernels.

Load-bearing premise

The potential must satisfy mild conditions that keep the droplet compact with regular edge points, and the universality statements apply only to tensorized or rotationally symmetric cases.

What would settle it

A direct numerical computation of the rescaled kernel at a regular edge point for a potential that is neither tensorized nor rotationally symmetric, showing a limit different from both the error-function kernel and the multivariate version, would disprove the universality.

read the original abstract

We consider polynomial Bergman kernels with respect to exponentially varying weights $e^{-n \mathscr Q(z)}$ depending on a potential $\mathscr Q:\mathbb C^d\to\mathbb R$. We use these kernels to construct determinantal point processes on $\mathbb C^d$. Under mild conditions on the potential, the points are known to accumulate on a compact set $S_{\mathscr Q}$ called the droplet. We show that the local behavior of the kernel in the vicinity of the edge $\partial S_{\mathscr Q}$ is described in two different ways by universal limiting kernels. One of these limiting kernels is the error-function kernel, which is ubiquitous in random matrix theory, while the other limiting kernel is a new universal object: a multivariate version of the error-function kernel. We prove the universality in two qualitatively different settings: (i) the tensorized case where $\mathscr Q$ decomposes as a sum of planar potentials, and (ii) the case where $\mathscr Q$ is rotational symmetric. We also explicitly identify the subspace of the Bargmann-Fock space where the multivariate error-function kernel is reproducing. To treat regular edge points that exhibit a certain type of bulk degeneracy, we also find the behavior of the planar kernel with number of terms of order $o(n)$ instead of $n$. Lastly, we prove an edge scaling limit for counting statistics.

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 / 3 minor

Summary. The paper studies polynomial Bergman kernels for weights e^{-n Q(z)} on C^d and the associated determinantal point processes. Under mild conditions ensuring a compact droplet S_Q with regular edge points, it establishes that the local kernel behavior near the edge is given by the error-function kernel in the tensorized decomposition case and by a new multivariate error-function kernel in the rotationally symmetric case. The reproducing subspace for the multivariate kernel inside the Bargmann-Fock space is identified explicitly. The manuscript also derives the kernel asymptotics when only o(n) terms are retained (to handle bulk degeneracy) and proves an edge scaling limit for the associated counting statistics.

Significance. If the derivations hold, the work provides a concrete extension of one-dimensional edge universality results to a pluricomplex setting, with the explicit subspace identification and the o(n)-term analysis constituting clear technical strengths. The restriction to tensorized and rotationally symmetric potentials permits rigorous control while still covering two qualitatively distinct regimes; the counting-statistics limit adds immediate applicability. These contributions would be of interest to researchers working on random polynomials, orthogonal polynomials in several variables, and higher-dimensional determinantal processes.

minor comments (3)
  1. The introduction would benefit from a short paragraph clarifying why the tensorized and rotationally symmetric cases are treated separately rather than attempting a unified argument under the same mild assumptions on Q.
  2. Notation: the symbol Q is used both for the full potential and for its one-variable restrictions in the tensorized setting; a brief remark on this overloading (perhaps in §2) would prevent confusion when reading the proofs.
  3. In the statement of the counting-statistics limit (likely Theorem 5.1 or equivalent), the error term is stated as o(1) after scaling; it would be helpful to record the precise rate obtained from the kernel estimates so that readers can assess uniformity near the edge.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our manuscript, as well as for the recommendation of minor revision. We appreciate the recognition of the technical contributions, including the explicit subspace identification and the o(n)-term analysis.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via analytic asymptotics

full rationale

The paper derives local edge behavior of polynomial Bergman kernels from orthogonal polynomial asymptotics under mild potential conditions ensuring compact droplets with regular edges. Universality statements for the error-function kernel and its multivariate version are established directly in the tensorized and rotationally symmetric cases, with explicit identification of the reproducing subspace in the Bargmann-Fock space; these steps rely on scaling limits and o(n) term handling rather than any fitted parameters, self-definitional reductions, or load-bearing self-citations. The abstract and scope present the results as consequences of the stated regimes without internal tautologies or imported uniqueness theorems.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claims rest on standard background results from potential theory and complex analysis together with the assumption that the potential satisfies mild conditions guaranteeing a compact droplet; no free parameters or new postulated entities are introduced in the abstract.

axioms (2)
  • domain assumption The potential Q satisfies mild conditions ensuring the droplet S_Q is compact and the edge points are regular.
    Invoked to guarantee accumulation of points on S_Q and to enable the edge scaling analysis.
  • standard math Standard results on orthogonal polynomials and determinantal point processes with respect to exponentially varying weights hold.
    Background from the literature on Bergman kernels and DPPs.
invented entities (1)
  • Multivariate error-function kernel no independent evidence
    purpose: Universal limiting kernel describing edge behavior in the pluricomplex setting
    Introduced as a new object; its reproducing subspace in the Bargmann-Fock space is identified.

pith-pipeline@v0.9.0 · 5775 in / 1591 out tokens · 40663 ms · 2026-05-21T09:54:22.316651+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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.

Reference graph

Works this paper leans on

63 extracted references · 63 canonical work pages · 2 internal anchors

  1. [1]

    Akemann, S.-S

    G. Akemann, S.-S. Byun, M. Ebke, Universality of the number variance in rotational invariant two-dimensional Coulomb gases,J. Stat. Phys.190, 9 (2023)

  2. [2]

    Akemann, M

    G. Akemann, M. Duits, L. D. Molag, The elliptic Ginibre ensemble: a unifying approach to local and global statistics for higher dimensions,J. Math. Phys.64, 023503 (2023)

  3. [3]

    Akemann, M

    G. Akemann, M. Duits, L. D. Molag, Fluctuations in various regimes of non-Hermiticity and a holographic principle,Ann. Henri Poincar´ e(accepted). arXiv:2412.15854 (2024)

  4. [4]

    Ameur, C

    Y. Ameur, C. Charlier, J. Cronvall, Random normal matrices: eigenvalue correlations near a hard wall,J. Stat. Phys.191, 98 (2024)

  5. [5]

    Ameur, J

    Y. Ameur, J. Cronvall, Szeg˝ o type asymptotics for the reproducing kernel in spaces of full-plane weighted polynomials,Comm. Math. Phys.48, 1–58 (2022)

  6. [6]

    Ameur, H

    Y. Ameur, H. Hedenmalm, N. Makarov, Berezin transform in polynomial Bergman spaces, Comm. Pure Appl. Math.63, 1533–1584 (2010)

  7. [7]

    Ameur, H

    Y. Ameur, H. Hedenmalm, N. Makarov, Fluctuations of eigenvalues of random normal matri- ces,Duke Math. J.159, 31–81 (2011)

  8. [8]

    Ameur, H

    Y. Ameur, H. Hedenmalm, N. Makarov, Random normal matrices and Ward identities,Ann. Probab.43, 1157–1201 (2015)

  9. [9]

    Ameur, N

    Y. Ameur, N. G. Kang, N. Makarov, Rescaling Ward identities in the random normal matrix model,Constr. Approx.50, 63–127 (2019)

  10. [10]

    Ameur, N.-G

    Y. Ameur, N.-G. Kang, N. Makarov, A. Wennman, Scaling limits of random normal matrix processes at singular boundary points,J. Funct. Anal.278, 108340 (2020)

  11. [11]

    Balogh, D

    F. Balogh, D. Merzi, Equilibrium measures for a class of potentials with discrete rotational symmetries,Constr. Approx.42, 399–424 (2015)

  12. [12]

    Bargmann, On a Hilbert space of analytic functions and an associated integral transform, Part I,Comm

    V. Bargmann, On a Hilbert space of analytic functions and an associated integral transform, Part I,Comm. Pure Appl. Math.14, 187–214 (1961)

  13. [13]

    Bedford and B

    E. Bedford and B. A. Taylor, A new capacity for plurisubharmonic functions,Acta Math. 149, 1–40 (1982)

  14. [14]

    Berline, M

    N. Berline, M. Vergne, Local Euler-Maclaurin formula for polytopes,Mosc. Math. J.7, 355– 386 (2007)

  15. [15]

    Bergman,The Kernel Function and Conformal Mapping, American Mathematical Society, Providence, RI (1950)

    S. Bergman,The Kernel Function and Conformal Mapping, American Mathematical Society, Providence, RI (1950)

  16. [16]

    Berman, B

    R. Berman, B. Berndtsson, J. Sj¨ ostrand, A direct approach to Bergman kernel asymptotics for positive line bundles,Ark. Mat.46, 197–217 (2008)

  17. [17]

    R. J. Berman, Determinantal point processes and fermions on complex manifolds: bulk uni- versality,arXiv preprintarXiv:0811.3341 (2008). A PLURICOMPLEX ERROR-FUNCTION KERNEL AT THE EDGE 47

  18. [18]

    Berman, Bergman kernels for weighted polynomials and weighted equilibrium measures of Cd,Indiana Univ

    R. Berman, Bergman kernels for weighted polynomials and weighted equilibrium measures of Cd,Indiana Univ. Math. J.58(4), 1921–1946 (2009)

  19. [19]

    R. J. Berman, Bergman kernels and equilibrium measures for line bundles over projective manifolds,Amer. J. Math.131, 1485–1524 (2009)

  20. [20]

    R. J. Berman, Determinantal point processes and fermions on polarized complex manifolds: bulk universality, In: M. Hitrik, D. Tamarkin, B. Tsygan, S. Zelditch (eds.),Algebraic and Analytic Microlocal Analysis, AAMA 2013, Springer Proceedings in Mathematics & Statistics, vol. 269, Springer, Cham (2018)

  21. [21]

    Bochner, Curvature in Hermitian metric,Bull

    S. Bochner, Curvature in Hermitian metric,Bull. Amer. Math. Soc.53, 179–195 (1947)

  22. [22]

    Byun, Planar equilibrium measure problem in the quadratic fields with a point charge, Comput

    S.-S. Byun, Planar equilibrium measure problem in the quadratic fields with a point charge, Comput. Methods Funct. Theory24, 303–332 (2024)

  23. [23]

    Catlin, The Bergman kernel and a theorem of Tian, inAnalysis and Geometry in Several Complex Variables (Katata, 1997), Trends Math., pp

    D. Catlin, The Bergman kernel and a theorem of Tian, inAnalysis and Geometry in Several Complex Variables (Katata, 1997), Trends Math., pp. 1–23, Birkh¨ auser, Boston, MA (1999)

  24. [24]

    Charlier , title=

    C. Charlier, Smallest gaps of the two-dimensional Coulomb gas,arXiv preprint arXiv:2507.23502 (2025)

  25. [25]

    Coman, G

    D. Coman, G. Marinescu, On the first order asymptotics of partial Bergman kernels,Ann. Fac. Sci. Toulouse Math.26, 1193–1210 (2017)

  26. [26]

    Cronvall, A

    J. Cronvall, A. Wennman, A direct approach to soft and hard edge universality for random normal matrices,arXiv preprintarXiv:2511.18628 (2025)

  27. [27]

    Demailly, Complex Analytic and Differential Geometry,Manuscript (2012) available at https://people.math.harvard.edu/∼demarco/Math274

    J.-P. Demailly, Complex Analytic and Differential Geometry,Manuscript (2012) available at https://people.math.harvard.edu/∼demarco/Math274

  28. [28]

    Elbau, G

    P. Elbau, G. Felder, Density of eigenvalues of random normal matrices,Comm. Math. Phys. 259, 433–450 (2005)

  29. [29]

    V. N. Faddeyeva, N. M. Terent’ev,Tables of Values of the Functionw(z) =e −z2 (1 + 2iπ−1/2 R z 0 et2 dt)for Complex Argument, Mathematical Tables Series, 11, Pergamon Press, Oxford–London–New York–Paris (1961)

  30. [30]

    P. J. Forrester, G. Honner, Exact statistical properties of the zeros of complex random poly- nomials,J. Phys. A Math. Gen.32, 2961 (1999)

  31. [31]

    Ginibre, Statistical ensembles of complex, quaternion, and real matrices,J

    J. Ginibre, Statistical ensembles of complex, quaternion, and real matrices,J. Math. Phys. 6, 440–449 (1965)

  32. [32]

    V. L. Girko, Elliptic law,Theory Probab. Appl.30, 677 (1986)

  33. [33]

    Guillemin, S

    V. Guillemin, S. Sternberg, Riemann sums over polytopes,Ann. Inst. Fourier57, 2183–2195 (2007)

  34. [34]

    Haimi and H

    A. Haimi and H. Hedenmalm, The polyanalytic Ginibre ensembles,J. Stat. Phys. 153 (2013), no. 1, 10-47. MR3100813

  35. [35]

    Hedenmalm, Soft Riemann-Hilbert problems and planar orthogonal polynomials,Comm

    H. Hedenmalm, Soft Riemann-Hilbert problems and planar orthogonal polynomials,Comm. Pure Appl. Math.77, 2413–2451 (2024)

  36. [36]

    Hedenmalm, N

    H. Hedenmalm, N. Makarov, Coulomb gas ensembles and Laplacian growth,Proc. Lond. Math. Soc.106, 859–907 (2013)

  37. [37]

    Hedenmalm, S

    H. Hedenmalm, S. Shimorin, Hele-Shaw flow on hyperbolic surfaces,J. Math. Pures Appl. 81, 187–222 (2002)

  38. [38]

    Hedenmalm, A

    H. Hedenmalm, A. Wennman, Planar orthogonal polynomials and boundary universality in the random normal matrix model,Acta Math.227, 309–406 (2021)

  39. [39]

    H¨ ormander,L2 estimates and existence theorems for the ¯∂operator,Acta Math.113, 89–152 (1965)

    L. H¨ ormander,L2 estimates and existence theorems for the ¯∂operator,Acta Math.113, 89–152 (1965)

  40. [40]

    Ioos, Partial Bergman kernels and determinantal point processes on K¨ ahler manifolds, arXiv preprintarXiv:2511.20539 (2025)

    L. Ioos, Partial Bergman kernels and determinantal point processes on K¨ ahler manifolds, arXiv preprintarXiv:2511.20539 (2025)

  41. [41]

    A. Its, L. Takhtajan, Normal matrix models, ¯∂-problem, and orthogonal polynomials in the complex plane,arXiv preprintarXiv:0708.3867 (2007)

  42. [42]

    O. D. Kellogg,Foundations of Potential Theory, Reprint of the first edition of 1929, Grundlehren der Mathematischen Wissenschaften, Band 31, Springer-Verlag, Berlin-New York (1967)

  43. [43]

    Klimek,Pluripotential Theory, Oxford University Press, Oxford (1991)

    M. Klimek,Pluripotential Theory, Oxford University Press, Oxford (1991)

  44. [44]

    Lacroix-A-Chez-Toine, S

    B. Lacroix-A-Chez-Toine, S. N. Majumdar, G. Schehr, Rotating trapped fermions in two dimensions and the complex Ginibre ensemble: exact results for the entanglement entropy and number variance,Phys. Rev. A99, 021602(R) (2019)

  45. [45]

    S. Lee, R. Riser, Fine asymptotic behavior for eigenvalues of random normal matrices: ellipse case,J. Math. Phys.57, 023302 (2016). 48 L.D. MOLAG

  46. [46]

    Lemoine, Determinantal point processes associated with Bergman kernels: construction and limit theorems,arXiv preprintarXiv:2211.06955 (2022)

    T. Lemoine, Determinantal point processes associated with Bergman kernels: construction and limit theorems,arXiv preprintarXiv:2211.06955 (2022)

  47. [47]

    Macchi, The coincidence approach to stochastic point processes,Adv

    O. Macchi, The coincidence approach to stochastic point processes,Adv. Appl. Probab.7, 83–122 (1975)

  48. [48]

    Marzo, L

    J. Marzo, L. Molag, J. Ortega-Cerd` a, Universality for fluctuations of counting statistics of random normal matrices,J. Lond. Math. Soc.113, e70462 (2026)

  49. [49]

    L. D. Molag, Edge behavior of higher complex-dimensional determinantal point processes, Ann. Henri Poincar´ e24, 4405–4437 (2023)

  50. [50]

    F. T. Pokorny, M. Singer, Toric partial density functions and stability of toric varieties,Math. Ann.358, 879–923 (2014)

  51. [51]

    J. Ross, M. Singer, Asymptotics of partial density functions for divisors,J. Geom. Anal.27, 1803–1854 (2017)

  52. [52]

    E. B. Saff, V. Totik,Logarithmic Potentials with External Fields, Grundlehren der mathe- matischen Wissenschaften, vol. 316, Springer-Verlag, Berlin (1997)

  53. [53]

    Sakai, Regularity of a boundary having a Schwarz function,Acta Math.166, 263–297 (1991)

    M. Sakai, Regularity of a boundary having a Schwarz function,Acta Math.166, 263–297 (1991)

  54. [54]

    Seo, Edge behavior of two-dimensional Coulomb gases near a hard wall,Ann

    S.-M. Seo, Edge behavior of two-dimensional Coulomb gases near a hard wall,Ann. Henri Poincar´ e23, 2247–2275 (2022)

  55. [55]

    Shiffman, S

    B. Shiffman, S. Zelditch, Random polynomials with prescribed Newton polytope,J. Amer. Math. Soc.17, 49–108 (2004)

  56. [56]

    H. J. Sommers, A. Crisanti, H. Sompolinsky, Y. Stein, Spectrum of large random asymmetric matrices,Phys. Rev. Lett.60, 1895 (1988)

  57. [57]

    T. Tao, V. Vu, Random matrices: universality of local spectral statistics of non-Hermitian matrices,Ann. Probab.43, 782–874 (2015)

  58. [58]

    Tian, On a set of polarized K¨ ahler metrics on algebraic manifolds,J

    G. Tian, On a set of polarized K¨ ahler metrics on algebraic manifolds,J. Differential Geom. 32, 99–130 (1990)

  59. [59]

    P. B. Wiegmann, Aharonov–Bohm effect in the quantum Hall regime and Laplacian growth problems, inStatistical Field Theories (Como, 2001), NATO Sci. Ser. II Math. Phys. Chem., 73, pp. 337–349, Kluwer Acad. Publ., Dordrecht (2002)

  60. [60]

    Zabrodin, P

    A. Zabrodin, P. Wiegmann, Large-Nexpansion for the 2D Dyson gas,J. Phys. A39, 8933– 8963 (2006)

  61. [61]

    Zelditch, Szeg˝ o kernels and a theorem of Tian,Int

    S. Zelditch, Szeg˝ o kernels and a theorem of Tian,Int. Math. Res. Notices1998, 317–331 (1998)

  62. [62]

    Zelditch, P

    S. Zelditch, P. Zhou, Central limit theorem for spectral partial Bergman kernels,Geom. Topol.23, 1961–2004 (2004)

  63. [63]

    Zelditch, P

    S. Zelditch, P. Zhou, Interface asymptotics of partial Bergman kernels onS 1-symmetric K¨ ahler manifolds,J. Symplectic Geom.17, 793–856 (2019). L.D. Molag: Mathematics Department, Carlos III University of Madrid, Avda. de la Universidad, 30. 28911 Legan ´es, Spain Email address:lmolag@math.uc3m.es