A pluricomplex error-function kernel at the edge of polynomial Bergman kernels
Pith reviewed 2026-05-21 09:54 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- 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.
- 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.
- 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
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
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
axioms (2)
- domain assumption The potential Q satisfies mild conditions ensuring the droplet S_Q is compact and the edge points are regular.
- standard math Standard results on orthogonal polynomials and determinantal point processes with respect to exponentially varying weights hold.
invented entities (1)
-
Multivariate error-function kernel
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel (J-cost uniqueness) unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
lim n→∞ (1/det n ∂¯∂Q(z0)) Kn(z0 + n(z0)ξ / √(n ∂¯∂Q(z0)), …) ≡ ½ exp(ξη − (|ξ|² + |η|²)/2) erfc((ξ + η)/√2)
-
IndisputableMonolith/Foundation/ArithmeticFromLogic.leanLogicNat recovery / orbit embedding unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
multivariate error-function kernel … reproducing on subspace H ⊂ F(Cd) of functions with |f(ξ) e^{½ ξ²}| = O(1) for Re ξ ∈ v R+
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
-
[1]
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)
work page 2023
-
[2]
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)
work page 2023
-
[3]
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]
- [5]
- [6]
- [7]
- [8]
- [9]
-
[10]
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)
work page 2020
- [11]
-
[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)
work page 1961
-
[13]
E. Bedford and B. A. Taylor, A new capacity for plurisubharmonic functions,Acta Math. 149, 1–40 (1982)
work page 1982
-
[14]
N. Berline, M. Vergne, Local Euler-Maclaurin formula for polytopes,Mosc. Math. J.7, 355– 386 (2007)
work page 2007
-
[15]
S. Bergman,The Kernel Function and Conformal Mapping, American Mathematical Society, Providence, RI (1950)
work page 1950
- [16]
-
[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
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[18]
R. Berman, Bergman kernels for weighted polynomials and weighted equilibrium measures of Cd,Indiana Univ. Math. J.58(4), 1921–1946 (2009)
work page 1921
-
[19]
R. J. Berman, Bergman kernels and equilibrium measures for line bundles over projective manifolds,Amer. J. Math.131, 1485–1524 (2009)
work page 2009
-
[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)
work page 2013
-
[21]
Bochner, Curvature in Hermitian metric,Bull
S. Bochner, Curvature in Hermitian metric,Bull. Amer. Math. Soc.53, 179–195 (1947)
work page 1947
-
[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)
work page 2024
-
[23]
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)
work page 1997
-
[24]
C. Charlier, Smallest gaps of the two-dimensional Coulomb gas,arXiv preprint arXiv:2507.23502 (2025)
- [25]
-
[26]
J. Cronvall, A. Wennman, A direct approach to soft and hard edge universality for random normal matrices,arXiv preprintarXiv:2511.18628 (2025)
-
[27]
J.-P. Demailly, Complex Analytic and Differential Geometry,Manuscript (2012) available at https://people.math.harvard.edu/∼demarco/Math274
work page 2012
- [28]
-
[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)
work page 1961
-
[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)
work page 1999
-
[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)
work page 1965
-
[32]
V. L. Girko, Elliptic law,Theory Probab. Appl.30, 677 (1986)
work page 1986
-
[33]
V. Guillemin, S. Sternberg, Riemann sums over polytopes,Ann. Inst. Fourier57, 2183–2195 (2007)
work page 2007
-
[34]
A. Haimi and H. Hedenmalm, The polyanalytic Ginibre ensembles,J. Stat. Phys. 153 (2013), no. 1, 10-47. MR3100813
work page 2013
-
[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)
work page 2024
-
[36]
H. Hedenmalm, N. Makarov, Coulomb gas ensembles and Laplacian growth,Proc. Lond. Math. Soc.106, 859–907 (2013)
work page 2013
-
[37]
H. Hedenmalm, S. Shimorin, Hele-Shaw flow on hyperbolic surfaces,J. Math. Pures Appl. 81, 187–222 (2002)
work page 2002
-
[38]
H. Hedenmalm, A. Wennman, Planar orthogonal polynomials and boundary universality in the random normal matrix model,Acta Math.227, 309–406 (2021)
work page 2021
-
[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)
work page 1965
-
[40]
L. Ioos, Partial Bergman kernels and determinantal point processes on K¨ ahler manifolds, arXiv preprintarXiv:2511.20539 (2025)
-
[41]
A. Its, L. Takhtajan, Normal matrix models, ¯∂-problem, and orthogonal polynomials in the complex plane,arXiv preprintarXiv:0708.3867 (2007)
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[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)
work page 1929
-
[43]
Klimek,Pluripotential Theory, Oxford University Press, Oxford (1991)
M. Klimek,Pluripotential Theory, Oxford University Press, Oxford (1991)
work page 1991
-
[44]
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)
work page 2019
-
[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
work page 2016
-
[46]
T. Lemoine, Determinantal point processes associated with Bergman kernels: construction and limit theorems,arXiv preprintarXiv:2211.06955 (2022)
-
[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)
work page 1975
- [48]
-
[49]
L. D. Molag, Edge behavior of higher complex-dimensional determinantal point processes, Ann. Henri Poincar´ e24, 4405–4437 (2023)
work page 2023
-
[50]
F. T. Pokorny, M. Singer, Toric partial density functions and stability of toric varieties,Math. Ann.358, 879–923 (2014)
work page 2014
-
[51]
J. Ross, M. Singer, Asymptotics of partial density functions for divisors,J. Geom. Anal.27, 1803–1854 (2017)
work page 2017
-
[52]
E. B. Saff, V. Totik,Logarithmic Potentials with External Fields, Grundlehren der mathe- matischen Wissenschaften, vol. 316, Springer-Verlag, Berlin (1997)
work page 1997
-
[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)
work page 1991
-
[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)
work page 2022
-
[55]
B. Shiffman, S. Zelditch, Random polynomials with prescribed Newton polytope,J. Amer. Math. Soc.17, 49–108 (2004)
work page 2004
-
[56]
H. J. Sommers, A. Crisanti, H. Sompolinsky, Y. Stein, Spectrum of large random asymmetric matrices,Phys. Rev. Lett.60, 1895 (1988)
work page 1988
-
[57]
T. Tao, V. Vu, Random matrices: universality of local spectral statistics of non-Hermitian matrices,Ann. Probab.43, 782–874 (2015)
work page 2015
-
[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)
work page 1990
-
[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)
work page 2001
-
[60]
A. Zabrodin, P. Wiegmann, Large-Nexpansion for the 2D Dyson gas,J. Phys. A39, 8933– 8963 (2006)
work page 2006
-
[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)
work page 1998
-
[62]
S. Zelditch, P. Zhou, Central limit theorem for spectral partial Bergman kernels,Geom. Topol.23, 1961–2004 (2004)
work page 1961
-
[63]
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
work page 2019
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.