pith. sign in

arxiv: 2606.08928 · v1 · pith:BMEGPOUXnew · submitted 2026-06-08 · 🧮 math.PR

The Singular Values of L\'evy's Area Matrix

Pith reviewed 2026-06-27 15:44 UTC · model grok-4.3

classification 🧮 math.PR
keywords Levy areasingular valuesdeterminantal point processBrownian motionrandom matricesasymptoticsskew-symmetric matrices
0
0 comments X

The pith

The singular values of Lévy's area matrix form a determinantal point process with an explicit kernel.

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

The paper derives an explicit formula for the density of the singular values of the d by d matrix formed by Lévy areas of d-dimensional Brownian motion. This formula also provides a short proof of the characteristic function of Lévy's area for dimensions three and higher, and extends the known density formula for the area itself. Using the density, the singular spectrum is characterized as a determinantal point process whose kernel is given explicitly. In the limit of large d the empirical distribution of the singular values converges to the absolute Cauchy distribution, the largest ones grow like d with Gaussian fluctuations around that scale, the smallest ones shrink like one over d, and the typical spacing in the bulk is one over d with sine-kernel local statistics after rescaling.

Core claim

The singular values admit an explicit joint density that identifies them as a determinantal point process with known kernel; as dimension d tends to infinity the empirical spectral measure converges to the absolute Cauchy distribution, largest singular values are order d with Gaussian fluctuations, smallest are order 1/d, and local bulk spacings are order 1/d with sine-kernel statistics.

What carries the argument

The explicit joint density of the singular values, obtained from the characteristic function of Lévy's area, which directly yields the determinantal kernel and the asymptotic statements.

If this is right

  • The empirical measure of singular values converges weakly to the absolute Cauchy distribution.
  • The largest singular values scale linearly with d and exhibit Gaussian fluctuations.
  • The smallest singular values scale as 1/d.
  • Local statistics in the bulk, after rescaling by d, follow the sine-kernel point process.

Where Pith is reading between the lines

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

  • The determinantal structure may allow exact computations of moments or correlation functions for functionals of the Lévy area matrix.
  • High-dimensional limits could inform models of random skew-symmetric matrices arising in other stochastic processes.
  • The separation of scales between largest, bulk, and smallest singular values suggests a three-regime description of the spectrum.

Load-bearing premise

The derivations rely on the standard definition and properties of Lévy's stochastic area for multidimensional Brownian motion.

What would settle it

A direct numerical simulation for large d that checks whether the histogram of singular values matches the absolute Cauchy density, or whether the rescaled spacings match the sine-kernel pair correlation.

read the original abstract

The matrix of L\'evy's areas of $d$-dimensional Brownian motion is a fundamental object in stochastic analysis. In this article, we study the singular values of this $d \times d$ skew-symmetric random matrix. First, we derive an explicit formula for the density of the singular values and, en passant, present a new short proof of the characteristic function of L\'evy's area when $d \ge 3$. This also allows us to extend the well-known formula for the density of L\'evy's area to $d \ge 3$. Next, we use these results to characterise the singular spectrum as a determinantal point process with its kernel in explicit form. Finally, we study the asymptotics as $d \to \infty$: the empirical measure of singular values converges to an absolute Cauchy distribution, the largest singular values are of order $d$ with Gaussian fluctuations, the smallest singular values are of order $1/d$, and the local bulk spacings are of order $1/d$, with sine-kernel statistics after rescaling.

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 derives an explicit joint density for the singular values of the d×d skew-symmetric Lévy area matrix of d-dimensional Brownian motion. It includes a new short proof of the characteristic function of Lévy's area for d≥3, extends the known density formula to this range, identifies the singular spectrum as a determinantal point process with closed-form kernel, and establishes d→∞ asymptotics: empirical measure convergence to the absolute Cauchy law, largest singular values of order d with Gaussian fluctuations, smallest of order 1/d, and bulk local spacings of order 1/d obeying sine-kernel statistics after rescaling.

Significance. If the derivations hold, the work supplies the first explicit determinantal description and high-dimensional limits for the singular values of this fundamental object in stochastic analysis. The parameter-free explicit kernel and the direct passage from the characteristic function to the point process and its limits constitute a concrete advance that connects Lévy area with random-matrix techniques and furnishes falsifiable predictions for large-d behavior.

minor comments (3)
  1. [Section 2] §2 (or wherever the new characteristic-function proof appears): the steps extending the d=2 formula to d≥3 could be cross-referenced more explicitly to the earlier literature cited in the introduction.
  2. [Introduction] The notation for the singular values (e.g., ordering and multiplicity) is introduced clearly but would benefit from a single consolidated display equation early in the paper.
  3. [Section 4] Figure captions for any numerical illustrations of the empirical measure or spacing histograms should state the value of d and the number of Monte-Carlo realizations used.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper starts from the standard definition of Lévy's stochastic area for multidimensional Brownian motion, derives an explicit joint density of singular values (with a new short proof of the characteristic function for d≥3), recognizes the determinantal point process structure directly from that density formula, and obtains the d→∞ limits (absolute Cauchy measure, edge scalings, sine-kernel bulk) as direct consequences of the closed-form expressions. No load-bearing step reduces to a fitted parameter renamed as prediction, a self-definitional loop, or a self-citation chain; the central claims rest on external standard properties of Brownian motion and explicit algebraic manipulations.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard properties of Brownian motion and Lévy's area; no free parameters, invented entities, or ad-hoc axioms are indicated in the abstract.

axioms (1)
  • domain assumption Standard definition and Itô calculus properties of Lévy's stochastic area for d-dimensional Brownian motion
    Invoked to derive the density and characteristic function for d >= 3

pith-pipeline@v0.9.1-grok · 5709 in / 1166 out tokens · 16218 ms · 2026-06-27T15:44:39.644658+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

60 extracted references · 29 canonical work pages · 11 internal anchors

  1. [1]

    L. Le. American Journal of Mathematics , volume =. doi:10.2307/2371467 , urldate =. 2371467 , eprinttype =

  2. [2]

    Journal of Machine Learning Research , volume=

    Kernels for sequentially ordered data , author=. Journal of Machine Learning Research , volume=

  3. [3]

    Seq2Tens: An Efficient Representation of Sequences by Low-Rank Tensor Projections , author=

  4. [4]

    Wiener's

    L. Wiener's. Proceedings of the. doi:10.1525/9780520411586-015 , urldate =

  5. [5]

    Yor, Marc , year = 1980, journal =

  6. [6]

    The Distribution of Energy in the

    Hulanicki, Andrzej , year = 1976, journal =. The Distribution of Energy in the

  7. [7]

    Joint Characteristic Function and Simultaneous Simulation of Iterated

    Wiktorsson, Magnus , year = 2001, month = may, journal =. Joint Characteristic Function and Simultaneous Simulation of Iterated. doi:10.1214/aoap/1015345301 , urldate =

  8. [8]

    Correlation Functions of Harish-Chandra Integrals over the Orthogonal and the Symplectic Groups

    Ferrer, A. Prats and Eynard, B. and Francesco, P. Di and Zuber, J.-B. , year = 2007, month = dec, journal =. Correlation. doi:10.1007/s10955-007-9350-9 , urldate =. arXiv , keywords =:math-ph/0610049 , pages =

  9. [9]

    McSwiggen, Colin , year = 2021, month = may, number =. The. doi:10.48550/arXiv.1806.11155 , urldate =. arXiv , keywords =:1806.11155 , primaryclass =

  10. [10]

    Note sur une relation entre les int

    Andr. Note sur une relation entre les int. M

  11. [11]

    Meet Andr\'eief, Bordeaux 1886, and Andreev, Kharkov 1882-83

    Forrester, Peter J. , year = 2018, month = jun, number =. Meet. doi:10.48550/arXiv.1806.10411 , urldate =. arXiv , keywords =:1806.10411 , primaryclass =

  12. [12]

    1971 , publisher=

    Formulas for nth order derivatives of hyperbolic and trigonometric functions , author=. 1971 , publisher=

  13. [13]

    Nuclear Physics B , volume=

    Biorthogonal ensembles , author=. Nuclear Physics B , volume=. 1998 , publisher=

  14. [14]

    2012 , publisher=

    Invitation to classical analysis , author=. 2012 , publisher=

  15. [15]

    Stochastic Analysis and Applications , volume =

    The Approximation of Multiple Stochastic Integrals , author =. Stochastic Analysis and Applications , volume =. doi:10.1080/07362999208809281 , urldate =

  16. [16]

    Theory of Probability & Its Applications , volume=

    Approximate integration of stochastic differential equations , author=. Theory of Probability & Its Applications , volume=. 1975 , publisher=

  17. [17]

    Gaines, J. G. and Lyons, T. J. , year = 1994, journal =. Random. 2102335 , eprinttype =

  18. [18]

    doi:10.1007/BF02392235 , urldate =

    Gaveau, Bernard , year = 1977, journal =. doi:10.1007/BF02392235 , urldate =

  19. [19]

    Lyons, Terry and Ni, Hao and Tao, Jiajie , year = 2024, month = feb, number =. A. doi:10.48550/arXiv.2401.02393 , urldate =. arXiv , keywords =:2401.02393 , primaryclass =

  20. [20]

    Journal of functional analysis , volume =

    L\'evy's Stochastic Area Formula in Higher Dimensions , author =. Journal of functional analysis , volume =

  21. [21]

    Signature

    Cuchiero, Christa and. Signature. doi:10.48550/arXiv.2302.01362 , urldate =. arXiv , keywords =:2302.01362 , primaryclass =

  22. [22]

    Stochastic Areas,

    Baudoin, Fabrice and Demni, Nizar and Wang, Jing , year = 2023, month = aug, number =. Stochastic Areas,. doi:10.48550/arXiv.2212.07483 , urldate =. arXiv , langid =:2212.07483 , primaryclass =

  23. [23]

    Dickinson, Andrew Samuel , year = 2025, publisher =. On the. doi:10.2139/ssrn.5031388 , urldate =

  24. [24]

    2004 , publisher=

    Stochastic numerics for mathematical physics , author=. 2004 , publisher=

  25. [25]

    Approximating the Signature of

    Foster, James , year = 2025, month = oct, number =. Approximating the Signature of. doi:10.48550/arXiv.2409.10118 , urldate =. arXiv , keywords =:2409.10118 , primaryclass =

  26. [26]

    Annals of Mathematics , pages=

    Uniqueness for the signature of a path of bounded variation and the reduced path group , author=. Annals of Mathematics , pages=. 2010 , publisher=

  27. [27]

    arXiv preprint arXiv:1405.4537 , year=

    Rough paths, signatures and the modelling of functions on streams , author=. arXiv preprint arXiv:1405.4537 , year=

  28. [28]

    Revista Matem

    Differential equations driven by rough signals , author=. Revista Matem

  29. [29]

    , year = 2023, month = jan, number =

    Lyons, Terry and McLeod, Andrew D. , year = 2023, month = jan, number =. Signature. arXiv , langid =:2206.14674 , primaryclass =

  30. [30]

    arXiv preprint arXiv:2305.04625 , year=

    The signature kernel , author=. arXiv preprint arXiv:2305.04625 , year=

  31. [31]

    arXiv preprint arXiv:1603.03788 , year=

    A primer on the signature method in machine learning , author=. arXiv preprint arXiv:1603.03788 , year=

  32. [32]

    Invariants of multidimensional time series based on their iterated-integral signature

    Invariants of Multidimensional Time Series Based on Their Iterated-Integral Signature , author =. doi:10.48550/arXiv.1801.06104 , urldate =. arXiv , keywords =:1801.06104 , primaryclass =

  33. [33]

    2019 , school=

    Lp and pathwise convergence of the Milstein scheme for stochastic delay differential equations , author=. 2019 , school=

  34. [34]

    Asymptotic Methods in Probubility and Mathematical Statistics , pages=

    Method of expansion and approximation of repeated stochastic Stratonovich integrals, which is based on multiple Fourier series on full orthonormal systems , author=. Asymptotic Methods in Probubility and Mathematical Statistics , pages=

  35. [35]

    Stewart, G. W. , month = jun, year =. The. SIAM Journal on Numerical Analysis , publisher =. doi:10.1137/0717034 , abstract =

  36. [36]

    How to generate random matrices from the classical compact groups

    How to Generate Random Matrices from the Classical Compact Groups , author =. doi:10.48550/arXiv.math-ph/0609050 , urldate =. arXiv , keywords =:math-ph/0609050 , publisher =

  37. [37]

    Integration with respect to the Haar measure on unitary, orthogonal and symplectic group

    Collins, Benoit and Sniady, Piotr , year = 2006, month = jun, journal =. Integration with Respect to the. doi:10.1007/s00220-006-1554-3 , urldate =. arXiv , keywords =:math-ph/0402073 , pages =

  38. [38]

    On some properties of orthogonal Weingarten functions

    Collins, Beno. On Some Properties of Orthogonal. Journal of Mathematical Physics , volume =. doi:10.1063/1.3251304 , urldate =. arXiv , keywords =:0903.5143 , primaryclass =

  39. [39]

    and Guionnet, Alice and Zeitouni, Ofer , year = 2009, month = nov, edition =

    Anderson, Greg W. and Guionnet, Alice and Zeitouni, Ofer , year = 2009, month = nov, edition =. An. doi:10.1017/CBO9780511801334 , urldate =

  40. [40]

    Determinantal point processes

    Determinantal Point Processes , author =. doi:10.48550/arXiv.0911.1153 , urldate =. arXiv , keywords =:0911.1153 , primaryclass =

  41. [41]

    Random matrices and determinantal processes

    Random Matrices and Determinantal Processes , author =. doi:10.48550/arXiv.math-ph/0510038 , urldate =. arXiv , keywords =:math-ph/0510038 , publisher =

  42. [42]

    Determinantal random point fields

    Determinantal Random Point Fields , author =. Russian Mathematical Surveys , volume =. doi:10.1070/RM2000v055n05ABEH000321 , urldate =. arXiv , keywords =:math/0002099 , pages =

  43. [43]

    Lectures on

    Menon, Govind and Trogdon, Thomas , year = 2015, journal =. Lectures on

  44. [44]

    and Arguin, L.P , year = 2025, publisher =

    Keating, J.P. and Arguin, L.P , year = 2025, publisher =. Random

  45. [45]

    arXiv preprint arXiv:1005.2901 , year=

    Random matrices: Localization of the eigenvalues and the necessity of four moments , author=. arXiv preprint arXiv:1005.2901 , year=

  46. [46]

    Communications in Mathematical Physics , volume=

    Level-spacing distributions and the Airy kernel , author=. Communications in Mathematical Physics , volume=. 1994 , publisher=

  47. [47]

    On a stopped Brownian motion formula of HM Taylor , author=. S

  48. [48]

    Studia Mathematica , volume=

    Heat kernels for class 2 nilpotent groups , author=. Studia Mathematica , volume=. 1979 , publisher=

  49. [49]

    Hennig, Philipp and Garnett, Roman , year = 2018, month = apr, number =. Exact. doi:10.48550/arXiv.1609.06840 , urldate =. arXiv , keywords =:1609.06840 , primaryclass =

  50. [50]

    Gaussian fluctuations of eigenvalues in the GUE

    Gustavsson, Jonas , year = 2005, month = mar, journal =. Gaussian Fluctuations of Eigenvalues in the. doi:10.1016/j.anihpb.2004.04.002 , urldate =. arXiv , keywords =:math/0401076 , pages =

  51. [51]

    American Journal of Mathematics , pages=

    Differential operators on a semisimple Lie algebra , author=. American Journal of Mathematics , pages=. 1957 , publisher=

  52. [52]

    Random Matrices: Theory and Applications , volume=

    Orthogonal and symplectic Harish-Chandra integrals and matrix product ensembles , author=. Random Matrices: Theory and Applications , volume=. 2019 , publisher=

  53. [53]

    Journal of Computational and Applied Mathematics , volume=

    Functionals of exponential Brownian motion and divided differences , author=. Journal of Computational and Applied Mathematics , volume=. 2011 , publisher=

  54. [54]

    Annales de l'Institut Henri Poincar\'e, Probabilit\'es et Statistiques , volume =

    Average Characteristic Polynomials of Determinantal Point Processes , author =. Annales de l'Institut Henri Poincar\'e, Probabilit\'es et Statistiques , volume =. doi:10.1214/13-AIHP572 , urldate =

  55. [55]

    Ehrhardt, Torsten , year = 2007, month = jun, journal =. Dyson's. doi:10.1007/s00220-007-0239-x , urldate =

  56. [56]

    Temme, N. M. , year = 1979, month = jul, journal =. The. doi:10.1137/0510071 , urldate =

  57. [57]

    Polynomial

    F. Polynomial. Journal of Theoretical Probability , volume =. doi:10.1007/s10959-020-01030-z , urldate =. arXiv , keywords =:1710.08794 , primaryclass =

  58. [58]

    Gaussian Processes for Machine Learning , author =

  59. [59]

    Statistics & Probability Letters , volume =

    L\'evy Area for. Statistics & Probability Letters , volume =. doi:10.1016/j.spl.2011.04.015 , urldate =

  60. [60]

    arXiv preprint arXiv:1202.0068 , year=

    Random matrices: the universality phenomenon for Wigner ensembles , author=. arXiv preprint arXiv:1202.0068 , year=