English

Probabilistic Schubert Calculus: asymptotics

Algebraic Geometry 2019-12-19 v1 Probability

Abstract

In the recent paper [arXiv:1612.06893] P. B\"urgisser and A. Lerario introduced a geometric framework for a probabilistic study of real Schubert Problems. They denoted by δk,n\delta_{k,n} the average number of projective kk-planes in RPn\mathbb{R}\textrm{P}^n that intersect (k+1)(nk)(k+1)(n-k) many random, independent and uniformly distributed linear projective subspaces of dimension nk1n-k-1. They called δk,n\delta_{k,n} the expected degree of the real Grassmannian G(k,n)\mathbb{G}(k,n) and, in the case k=1k=1, they proved that: δ1,n=83π5/2(π24)nn1/2(1+O(n1)). \delta_{1,n}= \frac{8}{3\pi^{5/2}} \cdot \left(\frac{\pi^2}{4}\right)^n \cdot n^{-1/2} \left( 1+\mathcal{O}\left(n^{-1}\right)\right) . Here we generalize this result and prove that for every fixed integer k>0k>0 and as nn\to \infty, we have \begin{equation*} \delta_{k,n}=a_k \cdot \left(b_k\right)^n\cdot n^{-\frac{k(k+1)}{4}}\left(1+\mathcal{O}(n^{-1})\right) \end{equation*} where aka_k and bkb_k are some (explicit) constants, and aka_k involves an interesting integral over the space of polynomials that have all real roots. For instance: δ2,n=9320482π8nn3/2(1+O(n1)).\delta_{2,n}= \frac{9\sqrt{3}}{2048\sqrt{2\pi}} \cdot 8^n \cdot n^{-3/2} \left( 1+\mathcal{O}\left(n^{-1}\right)\right). Moreover we prove that these numbers belong to the ring of periods intoduced by Kontsevich and Zagier and we give an explicit formula for δ1,n\delta_{1,n} involving a one dimensional integral of certain combination of Elliptic functions.

Keywords

Cite

@article{arxiv.1912.08291,
  title  = {Probabilistic Schubert Calculus: asymptotics},
  author = {Antonio Lerario and Léo Mathis},
  journal= {arXiv preprint arXiv:1912.08291},
  year   = {2019}
}
R2 v1 2026-06-23T12:49:04.205Z