Sampling Pfaffian point processes and the symplectic Arnoldi method
Pith reviewed 2026-05-09 18:57 UTC · model grok-4.3
The pith
A skew-symmetric analogue of the Cholesky factorization gives an exact sampling algorithm for Pfaffian point processes.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors establish that any Pfaffian point process can be sampled exactly once its skew-symmetric kernel matrix is available, by computing a factorization K = L J L^T in which L is lower triangular and J is a fixed block-diagonal matrix of 2-by-2 symplectic blocks; the diagonal entries of L and the off-diagonal signs supplied by J then determine the locations of the random points. They further show that the required kernels for polynomial ensembles are obtained by running a symplectic Arnoldi process that produces skew-orthogonal polynomials with respect to the given weight.
What carries the argument
The skew-symmetric Cholesky factorization, which decomposes the kernel matrix into a lower-triangular factor and a fixed block-diagonal sign matrix so that the random points can be read off from the triangular entries.
If this is right
- Eigenvalues of the Gaussian orthogonal and symplectic ensembles can be sampled exactly for any finite N.
- Points from the symmetric corner growth model become directly generatable.
- Finite-N beta=1 and beta=4 Airy point processes and the associated Tracy-Widom laws can be sampled.
- Kernels for general-weight polynomial ensembles are constructed via the symplectic Arnoldi iteration without explicit orthogonalization.
Where Pith is reading between the lines
- The same factorization may allow exact sampling of other determinantal or Pfaffian structures that appear in combinatorial probability.
- Large-scale Monte Carlo studies of integrable models in random matrix theory become feasible once the factorization cost is controlled.
- Extension to non-polynomial ensembles would require only a stable kernel evaluation routine.
Load-bearing premise
The skew-symmetric Cholesky factorization exists, remains numerically stable, and can be computed without breakdown for the kernels that arise in the target ensembles.
What would settle it
Apply the algorithm to the 2-point Pfaffian process obtained from the 2-by-2 Gaussian orthogonal ensemble and verify whether the histogram of sampled eigenvalues matches the known exact distribution to machine precision.
Figures
read the original abstract
We present an exact sampling algorithm for Pfaffian point processes based on a skew-symmetric analogue of the Cholesky factorization. This algorithm enables efficient sampling of a wide range of statistics arising in random matrix theory and combinatorics. For instance, we can sample eigenvalues of the orthogonal and symplectic ensembles ($\beta = 1,4$). In addition, we introduce a symplectic Arnoldi method for computing skew-orthogonal polynomials associated with a general weight function. This method can be used to efficiently construct the $2 \times 2$ matrix valued skew-symmetric kernels that arise in $\beta = 1,4$ polynomial ensembles. We illustrate our approach with several numerical examples and experiments, including the symmetric corner growth model, the finite-$N$ Gaussian (Hermite) orthogonal and symplectic ensembles, and the $\beta = 1,4$ Airy point processes and Tracy-Widom distributions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper presents an exact sampling algorithm for Pfaffian point processes based on a skew-symmetric analogue of the Cholesky factorization. It also introduces a symplectic Arnoldi method for computing skew-orthogonal polynomials to construct the 2×2 skew-symmetric kernels arising in β=1,4 polynomial ensembles. The approach is illustrated with numerical examples for the symmetric corner growth model, finite-N Gaussian orthogonal and symplectic ensembles, and β=1,4 Airy point processes with associated Tracy-Widom distributions.
Significance. If the exactness and numerical stability claims hold, the work would provide an efficient, non-approximate sampler for a class of point processes central to random matrix theory and integrable combinatorics, enabling direct Monte Carlo studies of eigenvalue statistics and growth models that are currently limited by the lack of exact samplers.
major comments (2)
- [Algorithm section (skew-symmetric Cholesky construction)] The exactness of the sampler rests on the skew-symmetric Cholesky factorization existing without breakdown (zero pivots) and without pivoting for all kernels in the claimed applications, including the Airy kernel at β=1,4 and finite-N GOE/GSE kernels. The manuscript must supply either a proof of existence/stability for these kernels or explicit numerical verification that no pivoting is required and that the Pfaffian structure is preserved; absent this, the central 'exact sampling' claim cannot be verified for the target ensembles.
- [Symplectic Arnoldi method section] The symplectic Arnoldi method is presented as a tool to build the kernels, but no convergence analysis, backward stability bounds, or comparison to existing methods for skew-orthogonal polynomials is given. This is load-bearing because the kernels must be constructed to sufficient accuracy for the subsequent factorization to remain exact.
minor comments (2)
- [Numerical experiments] Numerical illustrations should report quantitative diagnostics (e.g., Kolmogorov-Smirnov distances to known Tracy-Widom laws or exact marginals) rather than visual overlays alone.
- [Introduction / Preliminaries] Notation for the 2×2 block skew-symmetric kernel K should be introduced with an explicit definition of the Pfaffian and the associated point process measure early in the paper.
Simulated Author's Rebuttal
We are grateful to the referee for the insightful comments and for highlighting the importance of verifying the exactness and stability of our proposed algorithms. We respond to each major comment below and outline the revisions we will make to the manuscript.
read point-by-point responses
-
Referee: The exactness of the sampler rests on the skew-symmetric Cholesky factorization existing without breakdown (zero pivots) and without pivoting for all kernels in the claimed applications, including the Airy kernel at β=1,4 and finite-N GOE/GSE kernels. The manuscript must supply either a proof of existence/stability for these kernels or explicit numerical verification that no pivoting is required and that the Pfaffian structure is preserved; absent this, the central 'exact sampling' claim cannot be verified for the target ensembles.
Authors: We agree that this is a critical point for substantiating the exact sampling claim. Although the manuscript demonstrates successful sampling for the target ensembles (symmetric corner growth, finite-N GOE/GSE, and β=1,4 Airy processes) without reported issues, we did not include explicit checks for pivot non-zero status or Pfaffian preservation. In the revised version, we will add numerical verification in the examples section, reporting the minimum pivot sizes encountered (which are positive) and confirming that the sampled statistics align with known results, thereby preserving the structure. A general theoretical proof for all possible kernels is not feasible within the scope, but for the specific applications, this will suffice. revision: yes
-
Referee: The symplectic Arnoldi method is presented as a tool to build the kernels, but no convergence analysis, backward stability bounds, or comparison to existing methods for skew-orthogonal polynomials is given. This is load-bearing because the kernels must be constructed to sufficient accuracy for the subsequent factorization to remain exact.
Authors: The symplectic Arnoldi method serves as a practical means to compute the required skew-orthogonal polynomials for kernel construction. Its utility is shown through the numerical examples where the resulting samples reproduce expected distributions accurately. We recognize the absence of formal analysis. We will revise the manuscript to include a short subsection discussing the observed numerical convergence in our experiments, citing relevant literature on skew-orthogonal polynomials, and clarifying that while full backward stability bounds are not derived here, the method's accuracy is validated by the downstream sampling results. This addresses the concern without shifting the paper's focus. revision: partial
Circularity Check
No circularity: algorithmic construction is self-contained
full rationale
The paper presents constructive algorithms—an exact sampler via skew-symmetric Cholesky factorization of the 2x2 block kernel and a symplectic Arnoldi method for skew-orthogonal polynomials—rather than any derivation chain that reduces a claimed result to its own fitted inputs or self-citations. No self-definitional steps, renamed empirical patterns, or load-bearing uniqueness theorems appear; the methods are defined directly in terms of standard linear-algebra operations on the given kernels, and their exactness for the listed ensembles (GOE/GSE, Airy, corner growth) is asserted as a property of the construction that can be verified independently by implementation and numerical test. The central claims therefore remain independent of the paper's own outputs.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
- [1]
-
[2]
Qu, Le-Chen , journal=
-
[3]
Journal of Statistical Physics , volume=
Classical skew orthogonal polynomials and random matrices , author=. Journal of Statistical Physics , volume=. 2000 , publisher=
work page 2000
-
[4]
Mathematics of computation , volume=
Calculation of Gauss quadrature rules , author=. Mathematics of computation , volume=
- [5]
-
[6]
Philosophical Transactions of the Royal Society A , volume=
High-performance sampling of generic determinantal point processes , author=. Philosophical Transactions of the Royal Society A , volume=. 2020 , publisher=
work page 2020
-
[7]
Journal of Mathematical Physics , volume=
Normal forms of complex matrices , author=. Journal of Mathematical Physics , volume=. 1962 , publisher=
work page 1962
-
[8]
Determinantal Processes and Independence , author=. Probability Surveys , volume=
-
[9]
Bornemann, Folkmar , Title =. Markov Process. Relat. Fields , ISSN =. 2010 , Language =
work page 2010
-
[10]
Journal of Applied Probability , volume=
Exact sampling of determinantal point processes without eigendecomposition , author=. Journal of Applied Probability , volume=. 2020 , publisher=
work page 2020
- [11]
-
[12]
Electronic Transactions on Numerical Analysis , volume=
Cholesky-like Factorizations of Skew-Symmetric Matrices , author=. Electronic Transactions on Numerical Analysis , volume=
-
[13]
Correlation functions for symmetrized increasing subsequences
Correlation functions for symmetrized increasing subsequences , author=. arXiv preprint math/0006097 , year=
- [14]
-
[15]
Communications in mathematical physics , volume=
Shape fluctuations and random matrices , author=. Communications in mathematical physics , volume=. 2000 , publisher=
work page 2000
- [16]
- [17]
- [18]
-
[19]
Haegeman, Jutho , doi =
-
[20]
arXiv preprint arXiv:2602.13183 , year=
Determinant and. arXiv preprint arXiv:2602.13183 , year=
- [21]
-
[22]
Journal of Mathematical Physics , volume=
Dimer statistics and phase transitions , author=. Journal of Mathematical Physics , volume=. 1963 , publisher=
work page 1963
-
[23]
Annales de l'Institut Henri Poincare (B) Probability and Statistics , volume=
Local statistics of lattice dimers , author=. Annales de l'Institut Henri Poincare (B) Probability and Statistics , volume=. 1997 , organization=
work page 1997
-
[24]
Bufetov, Alexander I and Cunden, Fabio Deelan and Qiu, Yanqi , booktitle=. Conditional measures for
-
[25]
Correlation functions for zeros of a
Matsumoto, Sho and Shirai, Tomoyuki , journal=. Correlation functions for zeros of a
-
[26]
Examples of Interacting Particle Systems on
Garrod, Barnaby and Poplavskyi, Mihail and Tribe, Roger P and Zaboronski, Oleg V , booktitle=. Examples of Interacting Particle Systems on
-
[27]
Journal of Mathematical Physics , volume=
Matrix models for beta ensembles , author=. Journal of Mathematical Physics , volume=. 2002 , publisher=
work page 2002
-
[28]
Level-spacing distributions and the
Tracy, Craig A and Widom, Harold , journal=. Level-spacing distributions and the. 1994 , publisher=
work page 1994
-
[29]
Tracy, Craig and Widom, Harold , booktitle=. Matrix kernels for the
-
[30]
Soshnikov, Alexander , journal=
-
[31]
Journal of statistical physics , volume=
Correlation functions, cluster functions, and spacing distributions for random matrices , author=. Journal of statistical physics , volume=. 1998 , publisher=
work page 1998
-
[32]
Pr. Scale invariance of the. Journal of statistical physics , volume=. 2002 , publisher=
work page 2002
-
[33]
Probability theory and related fields , volume=
Non-intersecting paths, random tilings and random matrices , author=. Probability theory and related fields , volume=. 2002 , publisher=
work page 2002
-
[34]
Communications in Mathematical Physics , volume=
On orthogonal and symplectic matrix ensembles , author=. Communications in Mathematical Physics , volume=. 1996 , publisher=
work page 1996
-
[35]
Jockusch, William and Propp, James and Shor, Peter , journal=. Random domino tilings and the
-
[36]
The Annals of Applied Probability , number =
Sunil Chhita and Kurt Johansson and Benjamin Young , title =. The Annals of Applied Probability , number =. 2015 , doi =
work page 2015
-
[37]
Baik, Jinho and Barraquand, Guillaume and Corwin, Ivan and Suidan, Toufic , journal=
-
[38]
International Mathematics Research Notices , volume=
Correlation functions for random involutions , author=. International Mathematics Research Notices , volume=. 2006 , publisher=
work page 2006
- [39]
-
[40]
Tong, Xin T and Morzfeld, Matthias and Marzouk, Youssef M , journal=. 2020 , publisher=
work page 2020
-
[41]
Kernel quadrature with randomly pivoted
Epperly, Ethan and Moreno, Elvira , journal=. Kernel quadrature with randomly pivoted
-
[42]
Hoffman, Matthew D and Gelman, Andrew and others , journal=. The
-
[43]
Forward-mode automatic differentiation in
Revels, Jarrett and Lubin, Miles and Papamarkou, Theodore , journal=. Forward-mode automatic differentiation in
-
[44]
Journal of Machine Learning Research , volume=
A common interface for automatic differentiation , author=. Journal of Machine Learning Research , volume=
- [45]
-
[46]
doi:10.5281/zenodo.18445764 , url =
Dalle, Guillaume and Hill, Adrian , title =. doi:10.5281/zenodo.18445764 , url =
-
[47]
Forrester, Peter J , journal=. Meet. 2019 , publisher=
work page 2019
-
[48]
Sur la loi limite de l'espacement des valeurs propres d'une matrice al
Gaudin, Michel , journal=. Sur la loi limite de l'espacement des valeurs propres d'une matrice al. 1961 , publisher=
work page 1961
-
[49]
On the density of eigenvalues of a random matrix , author=. Nuclear Physics , volume=. 1960 , publisher=
work page 1960
-
[50]
Determinantal point processes for machine learning , author=. 2012 , publisher=. doi:10.1561/2200000044 , journal=
-
[51]
Anari, Nima and Gharan, Shayan Oveis and Rezaei, Alireza , booktitle=. 2016 , organization=
work page 2016
- [52]
-
[53]
Advances in neural information processing systems , volume=
Exact sampling of determinantal point processes with sublinear time preprocessing , author=. Advances in neural information processing systems , volume=
-
[54]
The Annals of Applied Probability , volume=
Bardenet, R. The Annals of Applied Probability , volume=
-
[55]
Orthogonal Polynomials: Computation and Approximation , author=. 2004 , publisher=
work page 2004
-
[56]
The Annals of Probability , pages=
Local characteristics, entropy and limit theorems for spanning trees and domino tilings via transfer-impedances , author=. The Annals of Probability , pages=. 1993 , publisher=
work page 1993
-
[57]
Notices of the American Mathematical Society , volume=
Determinantal point processes in randomized numerical linear algebra , author=. Notices of the American Mathematical Society , volume=
-
[58]
Tebbutt, Will and Ge, Hong , title =
-
[59]
Tamas K. Papp and David Müller-Widmann and Dilum Aluthge and Yimin Yi and delehef and Julia TagBot and Morten Piibeleht and Pietro Monticone and st-- , title =. doi:10.5281/zenodo.18130162 , url =
-
[60]
Bardenet, R. On sampling determinantal and. Journal of Physics A: Mathematical and Theoretical , volume=. 2024 , publisher=
work page 2024
-
[61]
A detailed derivation of the parameterized
Fassbender, Heike , year =. A detailed derivation of the parameterized
- [62]
-
[63]
Linear Algebra and Its Applications , volume=
Convergence of algorithms of decomposition type for the eigenvalue problem , author=. Linear Algebra and Its Applications , volume=. 1991 , publisher=
work page 1991
-
[64]
On theoretical and numerical aspects of symplectic
Salam, Ahmed , journal=. On theoretical and numerical aspects of symplectic. 2005 , publisher=
work page 2005
-
[65]
and Gragg, William and Kaufman, Linda and Steward, G , year =
Daniel, J. and Gragg, William and Kaufman, Linda and Steward, G , year =. Reorthogonalization and Stable Algorithms for Updating the. Mathemathics of Computation , doi =
- [66]
-
[67]
Bezanson, Jeff and Edelman, Alan and Karpinski, Stefan and Shah, Viral B , journal=. 2017 , publisher=
work page 2017
-
[68]
Makie.jl: Flexible high-performance data visualization for Julia
Simon Danisch and Julius Krumbiegel , title =. 2021 , publisher =. doi:10.21105/joss.03349 , url =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.