pith. sign in

arxiv: 2508.17952 · v2 · submitted 2025-08-25 · 🧮 math.PR

On the pair correlation statistics for determinantal point processes on the sphere

Maryna Manskova This is my paper

Pith reviewed 2026-05-18 21:17 UTC · model grok-4.3

classification 🧮 math.PR
keywords pair correlationdeterminantal point processesspherespherical ensembleharmonic ensemblejittered samplingrepulsionpoint configurations
0
0 comments X

The pith

Expected pair correlations on the sphere show small-scale repulsion for determinantal processes but match i.i.d. points at larger scales.

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

The paper computes the expected pair correlation statistics for randomized point configurations on the sphere, with focus on determinantal point processes including the spherical ensemble, the harmonic ensemble, and jittered sampling. These are compared against the baseline of independent and identically distributed random points. A sympathetic reader would care because the statistics measure how often pairs of points appear at different distances, directly revealing whether a process enforces local avoidance. The central finding is that determinantal processes produce fewer close pairs than the random baseline at small scales, while the two agree well when distances become larger.

Core claim

The paper establishes that the expected pair correlation statistics for the spherical ensemble, the harmonic ensemble, and jittered sampling on the sphere exhibit the small-scale repulsion phenomenon characteristic for determinantal point processes, while on larger scales there is good agreement between all studied cases and the i.i.d. case.

What carries the argument

Expected pair correlation statistics, which count the average number of point pairs at each separation distance on the sphere and thereby isolate the repulsion effect.

If this is right

  • Small-scale repulsion appears in the exact pair correlation formula for the spherical ensemble.
  • The harmonic ensemble produces the same qualitative reduction in close pairs.
  • Jittered sampling likewise shows fewer nearby point pairs than the i.i.d. baseline.
  • At larger separations the pair correlation values converge to those of independent random points for all three methods.

Where Pith is reading between the lines

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

  • The scale at which repulsion fades could be tuned by changing ensemble parameters, offering a way to control local uniformity in sampling schemes.
  • Similar distance-dependent behavior might appear when the same processes are studied on other compact manifolds.
  • The large-scale agreement implies that global properties such as total point count or average density remain unaffected by the local repulsion mechanism.

Load-bearing premise

The expected pair correlation statistics can be derived exactly for the spherical ensemble, harmonic ensemble, and jittered sampling, and these derivations correctly isolate the repulsion effect relative to the i.i.d. baseline.

What would settle it

Numerical Monte Carlo estimation of the pair correlation function from thousands of independent realizations of the spherical ensemble, compared against the paper's exact formula at small distances to check whether the measured repulsion matches the derived value.

Figures

Figures reproduced from arXiv: 2508.17952 by Maryna Manskova.

Figure 1
Figure 1. Figure 1: Approximation of ∂A and C(x, ρ)\A. We can bound the difference between σ (C(x, ρ)\A) and S(ρ, τ ) by the area between two great circles (the tangent one and the one passing through the points of intersection of C(x, ρ) and C(xˆ, rˆ)) inside C(x, ρ). Namely, we have that |σ(C (x, ρ) \ A) − S(ρ, τ )| ≤ 2ρ · η, where η is the maximum distance between the great circles. From the spherical law of cosine for rig… view at source ↗
Figure 2
Figure 2. Figure 2: EQ(2, 200). Loosely speaking, the regions in EQ(2, N) look like “squares” with side length approxi￾mately √ 4π/√ N. It is expected that the perimeter of each region is close to 8√ π/√ N. Lemma 7. The sum of the perimeters of all regions in EQ(2, N) is given by P(N) = 8√ π · √ N + O(1) as N → ∞. Proof. The union of all the boundaries consists of n + 1 circles and N − 2 arcs. The length of the circle at the … view at source ↗
read the original abstract

In this paper, we study the expected value of the pair correlation statistics of randomized point configurations on the sphere, with the emphasis on point configurations generated by determinantal point processes. We study the cases of the spherical ensemble, the harmonic ensemble, and jittered sampling, and compare our results with those for the ''truly random'' (i.i.d.) case. Our results give evidence of the small-scale repulsion phenomenon which is characteristic for determinantal point processes, while on larger scales there is good agreement between all our studied cases and the i.i.d. case.

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

Summary. The manuscript derives explicit formulas for the expected pair correlation statistics (via the 2-point intensity) of determinantal point processes on the sphere, specifically the spherical ensemble (projected Ginibre), the harmonic ensemble (Christoffel-Darboux kernel on spherical harmonics), and jittered sampling. These are contrasted with the binomial/i.i.d. baseline, showing small-scale repulsion arising from the determinant structure 1 - |K(x,y)|^2/(K(x,x)K(y,y)) at small geodesic distances and agreement at larger scales due to fixed-N normalization.

Significance. If the derivations hold, the work supplies concrete, explicit evidence of the small-scale repulsion phenomenon that distinguishes DPPs from Poisson processes, grounded directly in the kernel determinant rather than simulation or approximation. The exact formulas for the spherical and harmonic ensembles, together with the fixed-N comparison to the i.i.d. case, constitute a clear strength and advance the study of local statistics for point processes on compact manifolds.

minor comments (2)
  1. Abstract: the statement that results 'give evidence of the small-scale repulsion phenomenon' would be strengthened by a brief parenthetical reference to the explicit formula or theorem (e.g., the 2-point intensity expression) that isolates this effect.
  2. Section 2 (or wherever the kernels are introduced): the notation distinguishing the reproducing kernels for the spherical ensemble versus the harmonic ensemble could be made more uniform to aid readability when the pair-correlation formulas are later compared.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our manuscript, which correctly identifies the explicit formulas derived for the expected pair correlation statistics of the spherical ensemble, harmonic ensemble, and jittered sampling, as well as the comparison to the i.i.d. baseline. We appreciate the recognition of the small-scale repulsion phenomenon and the fixed-N normalization effects. No major comments were provided in the report, so we have no specific points to address point-by-point. We are pleased with the recommendation for minor revision and stand ready to incorporate any editorial suggestions from the editor or production process.

Circularity Check

0 steps flagged

Derivations self-contained from standard DPP kernel formulas

full rationale

The paper computes expected pair correlation via the standard 2-point intensity function for determinantal processes, given explicitly by 1 - |K(x,y)|^2/(K(x,x)K(y,y)) for the spherical and harmonic ensembles (and direct counting for jittered sampling). These formulas are derived from the defining kernel of each process and contrasted with the constant-1 baseline for i.i.d. points; no parameter is fitted to data and then re-labeled as a prediction, no self-citation supplies a uniqueness theorem or ansatz, and the small-scale repulsion is a direct algebraic consequence of the off-diagonal kernel entries rather than a definitional tautology. The large-scale agreement follows from fixed-N normalization, which is external to the repulsion claim. The derivation chain therefore remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract alone supplies no explicit free parameters, axioms, or invented entities; the work appears to rest on standard definitions of determinantal point processes and spherical geometry.

pith-pipeline@v0.9.0 · 5609 in / 996 out tokens · 30938 ms · 2026-05-18T21:17:25.209902+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

24 extracted references · 24 canonical work pages

  1. [1]

    Alishahi and M

    K. Alishahi and M. Zamani. The spherical ensemble and uniform distribution of points on the sphere. Electronic Journal of Probability , 20(23), Jan. 2015

    work page 2015

  2. [2]

    Anderson, M

    A. Anderson, M. Dostert, P. Grabner, R. Matzke, and T. Stepaniuk. Riesz and Green energy on projective spaces. Transactions of the American Mathematical Society, Series B , 10(29):1039–1076, July 2023

    work page 2023

  3. [3]

    Beltr´ an and U

    C. Beltr´ an and U. Etayo. The Projective Ensemble and Distribution of Points in Odd-Dimensional Spheres. Constructive Approximation, 48(1):163–182, Apr. 2018

    work page 2018

  4. [4]

    Beltr´ an and U

    C. Beltr´ an and U. Etayo. A generalization of the spherical ensemble to even-dimensional spheres.Journal of Mathematical Analysis and Applications , 475(2):1073–1092, July 2019

    work page 2019

  5. [5]

    Beltr´ an, J

    C. Beltr´ an, J. Marzo, and J. Ortega-Cerd` a. Energy and discrepancy of rotationally invariant determinantal point processes in high dimensional spheres. Journal of Complexity , 37:76–109, Dec. 2016

    work page 2016

  6. [6]

    T. Bera, M. K. Das, and A. Mukhopadhyay. On higher dimensional Poissonian pair correlation. Journal of Mathematical Analysis and Applications , 530(1):127686, Feb. 2024

    work page 2024

  7. [7]

    Bilyk, R

    D. Bilyk, R. W. Matzke, and J. Nathe. Geodesic Distance Riesz Energy on Projective Spaces, 2024. Preprint, arXiv:2409.16508

    work page arXiv 2024

  8. [8]

    J. S. Brauchart and P. J. Grabner. Hyperuniform point sets on projective spaces, 2024. Preprint, arXiv:2403.03572

    work page arXiv 2024

  9. [9]

    J. S. Brauchart, P. J. Grabner, W. Kusner, and J. Ziefle. Hyperuniform point sets on the sphere: proba- bilistic aspects. Monatshefte f¨ ur Mathematik, 192(4):763–781, June 2020

    work page 2020

  10. [10]

    Feige and G

    U. Feige and G. Schechtman. On the optimality of the random hyperplane rounding technique for MAX CUT. Random Structures & Algorithms , 20(3):403–440, Mar. 2002

    work page 2002

  11. [11]

    Gigante and P

    G. Gigante and P. Leopardi. Diameter bounded equal measure partitions of Ahlfors regular metric measure spaces. Discrete & Computational Geometry , 57(2):419–430, Oct. 2016

    work page 2016

  12. [12]

    Glasserman

    P. Glasserman. Monte Carlo Methods in Financial Engineering . Springer New York, 2003

    work page 2003

  13. [13]

    A. Gray. Tubes. Birkh¨ auser Basel, 2004

    work page 2004

  14. [14]

    Hinrichs, L

    A. Hinrichs, L. Kaltenb¨ ock, G. Larcher, W. Stockinger, and M. Ullrich. On a multi-dimensional Poissonian pair correlation concept and uniform distribution.Monatshefte f¨ ur Mathematik, 190(2):333–352, Feb. 2019

    work page 2019

  15. [15]

    Hotelling

    H. Hotelling. Tubes and spheres in n-spaces, and a class of statistical problems. American Journal of Mathematics, 61(2):440, Apr. 1939. ON THE PAIR CORRELATION STATISTICS FOR DETERMINANTAL POINT PROCESSES ON THE SPHERE 19

    work page 1939

  16. [16]

    Hough, M

    J. Hough, M. Krishnapur, Y. Peres, and B. Vir´ ag.Zeros of Gaussian analytic functions and determinantal point processes. University lecture series. American Mathematical Society, Providence, RI, Nov. 2009

    work page 2009

  17. [17]

    Lee and W

    Y. Lee and W. C. Kim. Concise formulas for the surface area of the intersection of two hyperspherical caps. KAIST Technical Report, 2014

    work page 2014

  18. [18]

    C. Lemieux. Monte Carlo and Quasi-Monte Carlo Sampling . Springer Series in Statistics. Springer New York, 2009

    work page 2009

  19. [19]

    Leopardi

    P. Leopardi. A partition of the unit sphere into regions of equal area and small diameter.ETNA. Electronic Transactions on Numerical Analysis [electronic only] , 25:309–327, 2006

    work page 2006

  20. [20]

    Leopardi

    P. Leopardi. Diameter bounds for equal area partitions of the unit sphere. Electronic Transactions on Numerical Analysis. Volume , 35:1–16, 01 2009

    work page 2009

  21. [21]

    J. Marklof. Pair correlation and equidistribution on manifolds. Monatshefte f¨ ur Mathematik , 191(2):279–294, June 2019

    work page 2019

  22. [22]

    M¨ uller.Spherical Harmonics

    C. M¨ uller.Spherical Harmonics. Springer Berlin Heidelberg, 1966

    work page 1966

  23. [23]

    Steinerberger

    S. Steinerberger. Poissonian pair correlation in higher dimensions. Journal of Number Theory , 208:47–58, Mar. 2020

    work page 2020

  24. [24]

    H. Weyl. On the volume of tubes. American Journal of Mathematics , 61(2):461, Apr. 1939. Graz University of Technology, Institute of Analysis and Number Theory, Steyrergasse 30/II, 8010 Graz, Austria Email address : maryna.manskova@math.tugraz.at

    work page 1939