pith. sign in

arxiv: 2505.16069 · v2 · submitted 2025-05-21 · 🧮 math.FA · math-ph· math.MP· math.PR

Central limit theorem for the determinantal point process with the confluent hypergeometric kernel

Sergei M. Gorbunov This is my paper

Pith reviewed 2026-05-22 13:21 UTC · model grok-4.3

classification 🧮 math.FA math-phmath.MPmath.PR
keywords central limit theoremdeterminantal point processconfluent hypergeometric kernelFredholm determinantKolmogorov-Smirnov distanceadditive functionalsGaussian limit
0
0 comments X

The pith

Additive functionals of the determinantal point process with the confluent hypergeometric kernel converge in distribution to a Gaussian as the scaling parameter tends to infinity, with a Kolmogorov-Smirnov error bound.

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

The paper studies additive functionals formed by summing a scaled test function over points drawn from a determinantal point process whose kernel is the confluent hypergeometric function. It proves that these sums become normally distributed when the scaling parameter R grows large, and supplies an explicit bound on the distance to the Gaussian limit in the Kolmogorov-Smirnov metric. The argument rests on an exact identity that converts the expectation of the corresponding multiplicative functional into a Fredholm determinant of the kernel operator, after which standard asymptotic tools for determinants deliver the limit theorem.

Core claim

We consider the convergence of additive functionals under the determinantal point process with the confluent hypergeometric kernel, corresponding to a sufficiently smooth function f(x/R), as R to infinity. We show that these functionals approach Gaussian distribution and give an estimate on the Kolmogorov-Smirnov distance. To obtain these results, we derive an exact identity for expectations of multiplicative functionals in terms of Fredholm determinants.

What carries the argument

Exact identity expressing the expectation of multiplicative functionals as Fredholm determinants of the confluent hypergeometric kernel operator; this identity converts moment or generating-function calculations into determinant asymptotics that yield the Gaussian limit and error bound.

If this is right

  • The variance of the additive functional scales linearly with the parameter R in the large-R regime.
  • The limiting Gaussian has mean and variance that can be recovered from the trace and determinant expansions of the kernel.
  • The Kolmogorov-Smirnov bound supplies a quantitative guarantee usable for finite but large R.

Where Pith is reading between the lines

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

  • The same determinant identity may adapt to other hypergeometric kernels or to determinantal processes arising in random matrix ensembles.
  • Quantitative error estimates of this type could guide the design of efficient sampling algorithms for large-scale point configurations in statistical mechanics.
  • The approach suggests a route to central limit theorems for additive functionals on point processes whose kernels admit closed-form Fredholm determinants.

Load-bearing premise

The test function f(x/R) must be sufficiently smooth for the convergence and the Kolmogorov-Smirnov error bound to hold.

What would settle it

Direct Monte Carlo sampling of the point process for a sequence of increasing R values, followed by empirical computation of the Kolmogorov-Smirnov distance between the observed distribution of the additive functional and the fitted Gaussian; the distance should decrease at the rate claimed by the bound.

read the original abstract

We consider the convergence of additive functionals under the determinantal point process with the confluent hypergeometric kernel, corresponding to a sufficiently smooth function $f(x/R)$, as $R\to\infty$. We show that these functionals approach Gaussian distribution and give an estimate on the Kolmogorov-Smirnov distance. To obtain these results, we derive an exact identity for expectations of multiplicative functionals in terms of Fredholm determinants.

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 manuscript establishes a central limit theorem for additive functionals of the determinantal point process with the confluent hypergeometric kernel. For a sufficiently smooth test function f(x/R) as R tends to infinity, these functionals converge in distribution to a Gaussian random variable, with an explicit estimate on the Kolmogorov-Smirnov distance to the limiting law. The proof proceeds by first deriving an exact identity that expresses the expectation of multiplicative functionals in terms of Fredholm determinants, followed by asymptotic analysis of the resulting expressions.

Significance. If the central claims hold, the result supplies a quantitative CLT with rate for this particular DPP, extending the catalog of fluctuation theorems beyond the classical sine, Airy, and Bessel kernels. The exact identity relating multiplicative functionals to Fredholm determinants is a reusable technical device that may apply to other kernels admitting similar determinant representations. The paper provides both a convergence statement and a concrete error bound, which are concrete strengths.

minor comments (3)
  1. The precise regularity assumptions on f (e.g., C^k or Sobolev class) needed for the KS bound should be stated explicitly in the main theorem rather than left as “sufficiently smooth.”
  2. Section 2 or the appendix should include a short verification that the confluent hypergeometric kernel defines a trace-class operator on the relevant L^2 space for the Fredholm determinant to be well-defined.
  3. The scaling regime R → ∞ is introduced in the abstract; a brief paragraph in the introduction explaining why this particular scaling is natural for the confluent hypergeometric kernel would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work on the central limit theorem for additive functionals of the determinantal point process with the confluent hypergeometric kernel. The recognition of both the quantitative convergence result and the reusable exact identity for multiplicative functionals in terms of Fredholm determinants is appreciated. We will prepare a revised manuscript in light of the minor revision recommendation.

Circularity Check

0 steps flagged

No significant circularity; derivation uses standard Fredholm identities

full rationale

The central step is deriving an exact identity expressing expectations of multiplicative functionals via Fredholm determinants of the confluent hypergeometric kernel, followed by asymptotic analysis as R→∞ under a smoothness hypothesis on f. This identity is a direct application of known DPP properties and does not define the target Gaussian limit or KS bound in terms of itself. No fitted parameters are renamed as predictions, no self-citation chain carries the uniqueness or ansatz, and the result remains externally falsifiable via the stated smoothness condition and determinant expansions. The approach is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The abstract invokes the existence of the confluent hypergeometric kernel as a valid determinantal kernel and the smoothness of f; no free parameters or new entities are introduced in the summary.

axioms (2)
  • domain assumption The confluent hypergeometric kernel defines a valid determinantal point process on the line.
    Required for the point process to be well-defined before any asymptotic analysis begins.
  • domain assumption The test function f is sufficiently smooth.
    Stated explicitly in the abstract as the condition under which the convergence holds.

pith-pipeline@v0.9.0 · 5588 in / 1236 out tokens · 44041 ms · 2026-05-22T13:21:43.710427+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

39 extracted references · 39 canonical work pages · 4 internal anchors

  1. [1]

    Abramowitz, I

    M. Abramowitz, I. A. Stegun,Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, 10th ed., U.S. Government Printing Office, New York, 1964

    work page 1964

  2. [2]

    E. L. Basor,Distribution Functions for Random Variables for Ensembles of Positive Hermitian Matrices, Comm. Math. Phys.188(1997), 327-350

    work page 1997

  3. [3]

    E. L. Basor, Y. Chen,A Note on Wiener-Hopf Determinants and the Borodin-Okounkov Iden- tity, Integral Equations Operator Theory45(2003), 301-308

    work page 2003

  4. [4]

    Basor, T

    E.L. Basor, T. Ehrhardt,Asymptotics of determinants of Bessel operators, Comm. Math. Phys. 234(2003), 491–516

    work page 2003

  5. [5]

    E. L. Basor, T. Ehrhardt,Determinant computations for some classes of Toeplitz–Hankel matrices, arXiv:0804.3073

    work page internal anchor Pith review Pith/arXiv arXiv

  6. [6]

    E. L. Basor, T. Ehrhardt,Wiener-Hopf Determinants with Fisher-Hartwig Symbols, In: Op- erator Theoretical Methods and Applications to Mathematical Physics, Oper. Theory Adv. Appl.147(2004), Birkh¨ auser, Basel, 131-149

    work page 2004

  7. [7]

    E. L. Basor, T. Ehrhardt, H. Widom,On the determinant of a certain Wiener–Hopf + Hankel operator, arXiv:math/0304002. 28

    work page internal anchor Pith review Pith/arXiv arXiv

  8. [8]

    E. L. Basor, H. Widom,Determinants of Airy Operators and Applications to Random Matrices, J. Stat. Phys.96(1999), 1-20

    work page 1999

  9. [9]

    E. L. Basor, H. Widom,On a Toeplitz determinant identity of Borodin and Okounkov, Integral Equations Operator Theory,37(2000), 397-401

    work page 2000

  10. [10]

    Correlations for symplectic and orthogonal Schur measures

    D. Betea,Correlations for symplectic and orthogonal Schur measures, arXiv:1804.08495

    work page internal anchor Pith review Pith/arXiv arXiv

  11. [11]

    B¨ oettcher,On the determinant formulas by Borodin, Okounkov, Baik, Deift, and Rains, In: Toeplitz matrices and singular integral equations, Oper

    A. B¨ oettcher,On the determinant formulas by Borodin, Okounkov, Baik, Deift, and Rains, In: Toeplitz matrices and singular integral equations, Oper. Theory Adv. Appl.135(2002), Birkh¨ auser Verlag, Basel, 91-99

    work page 2002

  12. [12]

    B¨ ottcher, B

    A. B¨ ottcher, B. Silbermann,Analysis of Toeplitz Operators, Springer Monographs in Mathe- matics, 2nd ed., Springer Berlin, Heidelberg, 2006

    work page 2006

  13. [13]

    Borodin, P

    A. Borodin, P. Deift,Fredholm determinants, Jimbo-Miwa-Ueno tau-functions, and represen- tation theory, Comm. Pure Appl. Math.55(2002), 1160-1230

    work page 2002

  14. [14]

    Borodin, A

    A. Borodin, A. Okounkov,A Fredholm determinant formula for Toeplitz determinants, Integral Equations Operator Theory37(2000), 386-396

    work page 2000

  15. [15]

    Borodin, G

    A. Borodin, G. Olshanski,Infinite Random Matrices and Ergodic Measures, Comm. Math. Phys.223(2001), 87-123

    work page 2001

  16. [16]

    Bourgade, A

    P. Bourgade, A. Nikeghbali, A. Rouault,Ewens measures on compact groups and hypergeo- metric kernels, In: Donati-Martin, C., Lejay, A., Rouault, A. (eds),S´ eminaire de Probabilit´ es XLIII. Lecture Notes in Mathematics, vol. 2006, Springer, Berlin, Heidelberg

    work page 2006

  17. [17]

    A. I. Bufetov,Quasi-symmetries of determinantal point processes, Ann. Probab.46(2018), 956-1003

    work page 2018

  18. [18]

    A. I. Bufetov,The sine-process has excess one, arXiv:1912.13454

    work page arXiv 1912

  19. [19]

    A. I. Bufetov,A Palm hierarchy for the decomposing measure in the problem of harmonic analysis on the infinite-dimensional unitary group, the determinantal point process with the confluent hypergeometric kernel, Algebra i Analiz35(2023), 39-63

    work page 2023

  20. [20]

    A. I. Bufetov,The expectation of a multiplicative functional under the sine-process, Funkt- sional. Anal. i Prilozhen.58(2024), 23-33

    work page 2024

  21. [21]

    A. I. Bufetov,Speed of convergence under the Kolmogorov–Smirnov metric in the Soshnikov central limit theorem for the sine-process, Funktsional. Anal. i Prilozhen.,59(2025), 11-16

    work page 2025

  22. [22]

    Deift, A

    P. Deift, A. Its, I. Krasovsky,Asymptotics of Toeplitz, Hankel, and Toeplitz+Hankel determi- nants with Fisher-Hartwig singularities, Ann. of Math.,174(2011), 1243-1299

    work page 2011

  23. [23]

    Deift, X

    P. Deift, X. Zhou,A steepest descent method for oscillatory Riemann–Hilbert problems. Asymp- totics for the MKdV equation, Ann. of Math.,137(1993), 295-368

    work page 1993

  24. [24]

    Ehrhardt,Toeplitz Determinants with One Fisher–Hartwig Singularity, J

    T. Ehrhardt,Toeplitz Determinants with One Fisher–Hartwig Singularity, J. Funct. Anal. 148(1997), 229-256. 29

    work page 1997

  25. [25]

    Ehrhardt,A generalization of Pincus’ formula and Toeplitz operator determinants, Arch

    T. Ehrhardt,A generalization of Pincus’ formula and Toeplitz operator determinants, Arch. Math.80(2003), 302-309

    work page 2003

  26. [26]

    Ehrhardt,A new algebraic approach to the Szeg˝ o-Widom limit theorem, Acta Mathematica Hungarica99(2003), 233-262

    T. Ehrhardt,A new algebraic approach to the Szeg˝ o-Widom limit theorem, Acta Mathematica Hungarica99(2003), 233-262

    work page 2003

  27. [27]

    Kozlowski,Truncated Wiener-Hopf operators with Fisher Hartwig singularities, arXiv:0805.3902

    K. Kozlowski,Truncated Wiener-Hopf operators with Fisher Hartwig singularities, arXiv:0805.3902

    work page arXiv

  28. [28]

    Feller,An Introduction to Probability Theory and Its Applications, Vol

    W. Feller,An Introduction to Probability Theory and Its Applications, Vol. 2, John Wiley & Sons, 1966

    work page 1966

  29. [29]

    S. M. Gorbunov,Rate of convergence in the Central Limit Theorem for the determinantal point process with the Bessel kernel, Sbornik: mathematics215(2024)

    work page 2024

  30. [30]

    S. M. Gorbunov,Unitary transform diagonalizing the Confluent Hypergeometric kernel, arXiv:2504.09732

    work page internal anchor Pith review Pith/arXiv arXiv

  31. [31]

    Macchi,The coincidence approach to stochastic point processes, Adv

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

    work page 1975

  32. [32]

    Simon,Orthogonal Polynomials on the Unit Circle, Part 1: Classical Theory, AMS Collo- quium Series, vol

    B. Simon,Orthogonal Polynomials on the Unit Circle, Part 1: Classical Theory, AMS Collo- quium Series, vol. 54, Amer. Math. Soc., Providence, RI, 2005

    work page 2005

  33. [33]

    Simon,Trace Ideals and Their Applications, Mathematical Surveys and Monographs, vol

    B. Simon,Trace Ideals and Their Applications, Mathematical Surveys and Monographs, vol. 120, 2nd ed., Amer. Math. Soc., Providence, RI, 2005

    work page 2005

  34. [34]

    Simon,Operator Theory, Amer

    B. Simon,Operator Theory, Amer. Math. Soc., Providence, RI, 2015

    work page 2015

  35. [35]

    Soshnikov,Determinantal random point fields, Russian Math

    A. Soshnikov,Determinantal random point fields, Russian Math. Surveys55(2000), 923-975

    work page 2000

  36. [36]

    Soshnikov,The central limit theorem for local linear statistics in classical compact groups and related combinatorial identities, Ann

    A. Soshnikov,The central limit theorem for local linear statistics in classical compact groups and related combinatorial identities, Ann. Probab.28(2000), 1353-1370

    work page 2000

  37. [37]

    Tracy, H

    C. Tracy, H. Widom,Level-Spacing Distributions and the Airy Kernel, Phys. Lett. B 305(1993), 115-118

    work page 1993

  38. [38]

    Tracy, H

    C. Tracy, H. Widom,Level spacing distributions and the Bessel kernel, Comm. Math. Phys. 161(1994), 289-309

    work page 1994

  39. [39]

    Widom,A trace formula for Wiener-Hopf operators, Operator Theory8(1982), 279-298

    H. Widom,A trace formula for Wiener-Hopf operators, Operator Theory8(1982), 279-298. 30

    work page 1982