arxiv: 2605.13575 · v1 · submitted 2026-05-13 · 🧮 math.DG · math-ph· math.MP· math.PR· math.SP

Recognition: 1 theorem link

· Lean Theorem

Determinantal point processes associated with the Bochner-Schr\"odinger operator

Yuri A. Kordyukov

Authors on Pith no claims yet

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

classification 🧮 math.DG math-phmath.MPmath.PRmath.SP

keywords determinantal point processesBochner-Schrödinger operatorspectral projectionsLandau levelslinear statistics asymptoticslaw of large numberscentral limit theorem

0 comments

The pith

The determinantal point process tied to the spectral projection of the scaled Bochner-Schrödinger operator has linear statistics admitting explicit asymptotics as p tends to infinity.

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

This paper examines determinantal point processes associated with spectral projections of the Bochner-Schrödinger operator on a Riemannian manifold with a Hermitian line bundle. The operator is scaled by 1/p and under non-degenerate curvature the spectrum approaches a union of local Landau levels. Selecting an interval I between these levels defines a determinantal point process whose linear statistics are analyzed in the large-p regime. On compact manifolds the results establish a law of large numbers and central limit theorem for the empirical measures formed by the points.

Core claim

We study the determinantal point process on X associated with the spectral projection of H_p corresponding to an interval I=(α,β) such that α,β∉Σ and compute the asymptotics of its linear statistics as p goes to infinity. When X is compact, this implies the law of large numbers and central limit theorem for the corresponding empirical measures.

What carries the argument

The spectral projection of the Bochner-Schrödinger operator H_p onto an interval I avoiding the limiting spectrum Σ of local Landau levels.

If this is right

The linear statistics admit asymptotic expansions in the large-p limit.
On compact manifolds the empirical measure obeys a law of large numbers.
The fluctuations satisfy a central limit theorem.
The spectrum of H_p asymptotically coincides with the union of local Landau levels.

Where Pith is reading between the lines

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

The point density is governed by the curvature form of the line bundle.
The results may extend to complete non-compact manifolds with appropriate conditions at infinity.
Numerical simulations on standard examples like the torus could verify the predicted rates.

Load-bearing premise

The curvature form of the line bundle L is non-degenerate and the manifold X has bounded geometry, keeping the local Landau levels separated.

What would settle it

A manifold with points of vanishing curvature where the spectrum of H_p does not separate into bands or the linear statistics fail to follow the computed asymptotics.

read the original abstract

We consider the Bochner-Schr\"odinger operator $H_{p}=\frac 1p\Delta^{L^p}+V$ on tensor powers $L^p$ of a Hermitian line bundle $L$ on a Riemannian manifold $X$ of bounded geometry under the assumption of non-degeneracy of the curvature form of $L$. For large $p$, the spectrum of $H_p$ asymptotically coincides with the union $\Sigma$ of all local Landau levels of the operator at the points of $X$. We study the determinantal point process on $X$ associated with the spectral projection of $H_p$ corresponding to an interval $I=(\alpha,\beta)$ such that $\alpha,\beta\not \in \Sigma$ and compute the asymptotics of its linear statistics as $p$ goes to infinity. When $X$ is compact, this implies the law of large numbers and central limit theorem for the corresponding empirical measures.

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.

Desk Editor's Note private letter to a colleague

The paper works out large-p asymptotics for linear statistics of the determinantal process from the spectral projection of the Bochner-Schrödinger operator, yielding LLN and CLT on compact manifolds.

read the letter

The core contribution is the explicit computation of linear-statistics asymptotics for the determinantal point process tied to the spectral projection of H_p onto an interval between Landau levels. On compact X this immediately gives law of large numbers and central limit theorem for the empirical measures. The setup combines the Bochner-Schrödinger operator on tensor powers of a line bundle with the standard DPP construction, and the non-degeneracy of the curvature plus bounded geometry let the local Landau levels stay separated so the spectrum of H_p tracks their union for large p. That combination looks new relative to earlier work on Landau levels and DPPs; it supplies a reusable asymptotic tool rather than a restatement of known cases. The derivation starts from the operator definition and the gap condition, so there is no obvious circularity in the normalization. The main limitation is that the abstract only states the result; without the full estimates it is hard to judge how sharp the error terms are or how cleanly the non-compact case is handled. If the remainder controls are uniform and the constants reasonable, the claims hold up; otherwise the paper would need tightening on the quantitative side. The citation pattern is standard and appropriate for the area. This is for readers already working in semiclassical analysis or probability on manifolds who want a concrete asymptotic statement they can apply or extend. It is worth sending to a serious referee because the setting is natural, the claims are falsifiable, and the potential reuse in quantum geometry or statistical mechanics on manifolds is clear.

Referee Report

3 major / 3 minor

Summary. The manuscript studies determinantal point processes on a Riemannian manifold X of bounded geometry induced by the spectral projection of the Bochner-Schrödinger operator H_p = (1/p)Δ^{L^p} + V onto an interval I=(α,β) with α,β ∉ Σ, where Σ is the union of local Landau levels under the non-degeneracy assumption on the curvature form of L. It derives the asymptotics of the associated linear statistics as p→∞ and, when X is compact, obtains the law of large numbers and central limit theorem for the empirical measures.

Significance. If the asymptotic expansions and error controls are rigorous, the results would furnish a new family of DPPs with explicit limiting statistics tied to Landau levels, extending existing work on spectral projections to bounded-geometry non-compact manifolds. The derivation of LLN/CLT from the linear-statistic asymptotics on compact X is a clear strength, provided the variance formulas are parameter-free and match the expected Bergman-kernel scaling.

major comments (3)

[§3, Theorem 3.2] §3, Theorem 3.2: the asymptotic expansion of the one-point function (or intensity) for the DPP is stated to be p-independent to leading order, but the proof must explicitly verify that the contribution from the potential V does not shift the local density when V is non-constant; otherwise the claimed universality of the limiting intensity fails.
[§5.2, Eq. (5.7)] §5.2, Eq. (5.7): the variance formula for linear statistics in the CLT is derived under the gap condition α,β∉Σ, yet the error term O(p^{-1/2+ε}) appears to rely on off-diagonal decay estimates that are only sketched; a quantitative bound uniform in the test function is needed to justify the Gaussian limit.
[§6] §6 (non-compact case): the statement that LLN holds on non-compact X under only bounded geometry lacks a tightness argument for the empirical measures; the current proof sketch does not control the mass escaping to infinity, which is load-bearing for the claim.

minor comments (3)

[Introduction] The notation for the local Landau levels Σ should be introduced with a brief reminder of their definition already in the introduction, rather than deferred to §2.
[§4] Table 1 (if present) comparing the present variance to the constant-curvature case would improve readability; otherwise add a short remark after Eq. (4.4) linking to the flat case.
[Notation] A few typographical inconsistencies appear in the use of bold versus italic for the curvature form; standardize throughout.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We are grateful to the referee for the detailed and insightful comments on our manuscript. We believe the suggested revisions will strengthen the paper, and we address each major comment below.

read point-by-point responses

Referee: [§3, Theorem 3.2]: the asymptotic expansion of the one-point function (or intensity) for the DPP is stated to be p-independent to leading order, but the proof must explicitly verify that the contribution from the potential V does not shift the local density when V is non-constant; otherwise the claimed universality of the limiting intensity fails.

Authors: We thank the referee for this observation. Upon re-examining the proof of Theorem 3.2, the leading term in the expansion of the one-point function is indeed determined solely by the local curvature form of L, which fixes the density of the Landau levels independently of the potential V. The contribution of V appears only in the next-order terms. We will insert an explicit verification of this fact, including a brief computation showing that any shift induced by a non-constant V is absorbed into the O(p^{-1/2}) remainder. This preserves the universality of the limiting intensity. We will make this addition in the revised version. revision: yes
Referee: [§5.2, Eq. (5.7)]: the variance formula for linear statistics in the CLT is derived under the gap condition α,β∉Σ, yet the error term O(p^{-1/2+ε}) appears to rely on off-diagonal decay estimates that are only sketched; a quantitative bound uniform in the test function is needed to justify the Gaussian limit.

Authors: We acknowledge that the off-diagonal decay estimates in §5.2 are only sketched. These estimates derive from the parametrix for the resolvent of the Bochner-Schrödinger operator and standard Agmon-type estimates adapted to the bounded geometry setting. In the revision, we will provide a complete proof of the quantitative bound, with constants uniform with respect to the test function (under the assumption that the test function is smooth with compact support). This will rigorously justify the error term and the passage to the Gaussian limit in the CLT. revision: yes
Referee: [§6]: the statement that LLN holds on non-compact X under only bounded geometry lacks a tightness argument for the empirical measures; the current proof sketch does not control the mass escaping to infinity, which is load-bearing for the claim.

Authors: The referee correctly identifies a gap in the non-compact case. The current argument establishes the asymptotics of linear statistics but does not explicitly address tightness of the sequence of empirical measures. We will add a tightness argument in §6, based on the uniform control of the intensity function (from the one-point asymptotics) and a uniform bound on the variance of linear statistics over compact subsets, using the bounded geometry to control the tails. This will ensure that no mass escapes to infinity and complete the proof of the LLN on non-compact manifolds. revision: yes

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper starts from the explicit definition of the Bochner-Schrödinger operator H_p = (1/p) Δ^{L^p} + V on tensor powers L^p of a Hermitian line bundle, together with the non-degeneracy assumption on the curvature form of L and the bounded-geometry condition on X. From these inputs it derives that the spectrum of H_p asymptotically coincides with the union Σ of local Landau levels, defines the determinantal point process via the spectral projection onto an interval I = (α, β) with α, β ∉ Σ, and computes the asymptotics of the associated linear statistics as p → ∞. On compact X this yields the law of large numbers and central limit theorem for the empirical measures. No step reduces by construction to a fitted quantity, self-referential definition, or load-bearing self-citation; the chain is self-contained operator-theoretic analysis under the stated hypotheses.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the non-degeneracy of the curvature form of L and the bounded-geometry condition on X; these are domain assumptions standard in Riemannian geometry and spectral theory but are load-bearing for the separation of Landau levels.

axioms (2)

domain assumption X is a Riemannian manifold of bounded geometry
Invoked to control uniform estimates on the spectrum and on the curvature form across X.
domain assumption The curvature form of L is non-degenerate
Guarantees that local Landau levels remain separated and that the spectrum of H_p clusters around their union Σ.

pith-pipeline@v0.9.0 · 5470 in / 1515 out tokens · 55981 ms · 2026-05-14T18:08:14.205248+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

For large p, the spectrum of H_p asymptotically coincides with the union Σ of all local Landau levels... We study the determinantal point process... compute the asymptotics of its linear statistics as p goes to infinity.

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

31 extracted references · 3 canonical work pages

[1]

L. D. Abreu, Entanglement entropy and hyperuniformity of Ginibre and Weyl- Heisenberg ensembles.Lett. Math. Phys.113(2023), no. 3, Paper No. 54, 14 pp

2023
[2]

L. D. Abreu, J. M. Pereira, J. L. Romero, and S. Torquato, The Weyl-Heisenberg ensemble: hyperuniformity and higher Landau levels.J. Stat. Mech. Theory Exp. 2017, no. 4, Paper No. 043103, 16 pp

2017
[3]

G. W. Anderson, A. Guionnet, and O. Zeitouni,An introduction to random matrices, Cambridge Studies in Advanced Mathematics, vol. 118, Cambridge University Press, Cambridge, 2010

2010
[4]

Berman, Determinantal point processes and fermions on complex manifolds: large deviations and bosonization.Comm

R.J. Berman, Determinantal point processes and fermions on complex manifolds: large deviations and bosonization.Comm. Math. Phys.327(2014), 1–47

2014
[5]

Berman, Determinantal point processes and fermions on polarized complex man- ifolds: bulk universality, InAlgebraic and analytic microlocal analysis,Springer Proc

R.J. Berman, Determinantal point processes and fermions on polarized complex man- ifolds: bulk universality, InAlgebraic and analytic microlocal analysis,Springer Proc. Math. Stat., vol. 269, Springer, Cham, 2018, pp. 341–393

2018
[6]

Charles, On the spectrum of nondegenerate magnetic Laplacians.Anal

L. Charles, On the spectrum of nondegenerate magnetic Laplacians.Anal. PDE17 (2024), no. 6, 1907–1952

2024
[7]

Charles and B

L. Charles and B. Estienne, Entanglement entropy and Berezin-Toeplitz operators. Comm. Math. Phys.376(2020), 521–554

2020
[8]

X. Dai, K. Liu, and X. Ma, On the asymptotic expansion of Bergman kernel.J. Differential Geom.72(2006), 1–41

2006
[9]

Deleporte and G

A. Deleporte and G. Lambert, Fluctuations of two-dimensional determinantal pro- cesses associated with Berezin-Toeplitz operators, preprint arXiv:2506.11707 (2025)

work page arXiv 2025
[10]

Demailly, Champs magn´ etiques et in´ egalit´ es de Morse pour lad′′-cohomologie Ann

J.-P. Demailly, Champs magn´ etiques et in´ egalit´ es de Morse pour lad′′-cohomologie Ann. Inst. Fourier (Grenoble)35(1985), no. 4, 189–229

1985
[11]

Demailly, Holomorphic Morse inequalities

J.-P. Demailly, Holomorphic Morse inequalities. InSeveral complex variables and complex geometry, Part 2 (Santa Cruz, CA, 1989), Proc. Sympos. Pure Math., 52, Part 2, Amer. Math. Soc., Providence, RI, 1991, pp. 93–114

1989
[12]

Fenzl and G

M. Fenzl and G. Lambert. Precise deviations for disk counting statistics of invariant determinantal processes.Int. Math. Res. Not. IMRN,2022, no. 10, 7420–7494. DETERMINANTAL POINT PROCESSES 21

2022
[13]

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

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

1965
[14]

Guillemin and A

V. Guillemin and A. Uribe, The Laplace operator on thenth tensor power of a line bundle: eigenvalues which are uniformly bounded inn.Asymptotic Anal.1(1988), 105–113

1988
[15]

Haimi and H

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

2013
[16]

Haimi and A

A. Haimi and A. Wennman, A central limit theorem for fluctuations in Polyanalytic Ginibre ensembles.Int. Math. Res. Not. IMRN,2019, no. 5, 1350–1372

2019
[17]

J. B. Hough, M. Krishnapur, Yu. Peres, and B. Vir´ ag, Zeros of Gaussian analytic func- tions and determinantal point processes, University Lecture Series, vol. 51, American Mathematical Society, Providence, RI, 2009

2009
[18]

Ioos, Partial Bergman kernels and determinantal point processes on K¨ ahler mani- folds, preprint arXiv:2511.20539 (2025), 35 pp

L. Ioos, Partial Bergman kernels and determinantal point processes on K¨ ahler mani- folds, preprint arXiv:2511.20539 (2025), 35 pp

work page arXiv 2025
[19]

Yu. A. Kordyukov, Semiclassical spectral analysis of the Bochner-Schr¨ odinger opera- tor on symplectic manifolds of bounded geometry,Anal. Math. Phys.12(2022). no. 1, Paper No 22, 37 pp

2022
[20]

Yu. A. Kordyukov, X. Ma, and G. Marinescu, Generalized Bergman kernels on sym- plectic manifolds of bounded geometry.Comm. Partial Differential Equations44 (2019), 1037–1071

2019
[21]

T. Lemoine. Determinantal point processes associated with Bergman kernels: con- struction and limit theorems, preprint arXiv:2211.06955 (2022),

work page arXiv 2022
[22]

Ma and G

X. Ma and G. Marinescu,Holomorphic Morse inequalities and Bergman kernels. Progress in Mathematics, 254. Birkh¨ auser Verlag, Basel, 2007

2007
[23]

Ma and G

X. Ma and G. Marinescu, Generalized Bergman kernels on symplectic manifolds.Adv. Math.217(2008), 1756–1815

2008
[24]

Ma and G

X. Ma and G. Marinescu, Exponential estimate for the asymptotics of Bergman kernels.Math. Ann.362(2015), no. 3-4, 1327–1347

2015
[25]

Macchi, The coincidence approach to stochastic point processes,Advances in Appl

O. Macchi, The coincidence approach to stochastic point processes,Advances in Appl. Probability7(1975), 83–122

1975
[26]

O. Macchi, The Fermion process — a model of stochastic point process with re- pulsive points, InTransactions of the Seventh Prague Conference on Information Theory, Statistical Decision Functions, Random Processes and of the Eighth Euro- pean Meeting of Statisticians (Tech. Univ. Prague, Prague, 1974), Vol. A,Reidel, Dordrecht-Boston, Mass., 1977, pp. 391–398

1974
[27]

Mouayn, M

Z. Mouayn, M. Mahboubi, and O. El Moize, Mean and variance of the cardinal- ity of particles in infinite true polyanalytic Ginibre processes via a coherent states quantization method.J. Stat. Mech. Theory Exp.2023, no. 7, Paper No. 073103, 21 pp

2023
[28]

Rider and B

B. Rider and B. Vir´ ag, The noise in the circular law and the Gaussian free field.Int. Math. Res. Not. IMRN2007, no. 2, Art. ID rnm006, 33 pp
[29]

Shirai, Ginibre-type point processes and their asymptotic behavior.J

T. Shirai, Ginibre-type point processes and their asymptotic behavior.J. Math. Soc. Japan,67(2015), 763–787

2015
[30]

Soshnikov, Determinantal random point fields

A. Soshnikov, Determinantal random point fields. (Russian); translated fromUspekhi Mat. Nauk55(2000), no. 5(335), 107–160Russian Math. Surveys55(2000), no. 5, 923–975

2000
[31]

Soshnikov, Gaussian limit for determinantal random point fields,Ann

A. Soshnikov, Gaussian limit for determinantal random point fields,Ann. Probab.30 (2002), no. 1, 171–187. Institute of Mathematics, Ufa Federal Research Centre, Russian Academy of Sciences, 112 Chernyshevsky str., 450008 Ufa, Russia Email address:yurikor@matem.anrb.ru

2002