Expected Degrees of Random Real Grassmannians
Status Partially solved · unsolvedmath.comLLM status Open unverified
Top Open Problems Not reported cataloguedPartially solvedOpenStatement
Definitions and mathematical statement
For integers $n\geq 1$ and $0\leq k<n$, let \[ G_{k,n}=\operatorname{Gr}_{{\mathbb{R}}}(k+1,n+1) \] be the Grassmannian parametrizing projective $k$-dimensional linear subspaces of $\mathbb{RP}^{n}$. The source denotes its expected degree by $\delta_{k,n}$, but the supplied record does not define the random incidence experiment or its probability distribution. Consequently, the normalization and precise probabilistic definition of $\delta_{k,n}$ require confirmation from the cited report.In the real projective cubic-surface interpretation suggested by the context, let $F\in{\mathbb{R}}[x_0,x_1,x_2,x_3]$ be a nonzero homogeneous polynomial of degree three, and set \[ X_F=\{[x]\in\mathbb{RP}^{3}:F(x)=0\},\qquad \mathcal{L}(F)=\{L\in G_{1,3}:L\subseteq X_F\}. \] A random cubic surface requires a specified probability law for $F$, or for its class under multiplication by nonzero real scalars. The source question does not specify this law or whether smoothness is assumed. The reference to the Kostlan ensemble in the supplied literature assessment does not establish that this ensemble is required by the question.
The original source record asks the following three questions:
- Is there an explicit formula in special functions for $\delta_{1,3}$?
- For each fixed admissible integer $k$, what is the asymptotic behavior of $\delta_{k,n}$ as $n\to\infty$? The record does not specify the desired precision of the asymptotic description.
- Is there a convex body naturally associated with the lines on a random cubic surface, analogous to the convex-geometric objects used to study expected degrees of real Grassmannians?
The supplied dated curation labels the overall problem partially solved. It reports the Kostlan expected number of real lines as $6\sqrt{2}-3$, an explicit special-function or elliptic-integral formula for $\delta_{1,3}$, and proved fixed-$k$ asymptotics, while describing the convex-body question as open. These are supplied literature assessments, not independently verified mathematical or current-status claims.
Short English statement
The current question asks for a natural convex body associated with lines on a random cubic surface, in analogy with convex geometry used for expected degrees of real Grassmannians. A precise existence statement still requires the random-surface model, the intended association, and a defining property of the convex body. The original record also asks about an explicit formula and asymptotics for expected degrees; supplied dated curation reports progress on those parts.Sources
- Local UnsolvedMath registry, permanent ID $30003436$, source problem code
catalogue entry, title Expected Degrees of Random Real Grassmannians, Oberwolfach Reports Open Problems collection. No individual proposer is supplied; the proposed year is recorded as 2017. The registry labels the statementcorrected_verified, explaining that notation, typography, and sentence structure were repaired while preserving mathematical content. This is a supplied editorial qualification, not independent mathematical verification. - Supplied report citation: Real Algebraic Geometry With a View Toward Moment Problems and Optimization (2018), Oberwolfach Reports, pp. 771--862, DOI
10.4171/owr/2017/14. https://doi.org/10.4171/owr/2017/14. The supplied record attributes the problem to workshop open-problem discussions but gives no precise page or named contributor. - Basu--Lerario--Lundberg--Peterson, supplied reference label: random cubic lines. https://arxiv.org/abs/1610.01205.
- Lerario--Mathis, supplied reference label: probabilistic Schubert asymptotics. https://arxiv.org/abs/1912.08291.
- Ait El Manssour--Belotti--Meroni, supplied reference label: random cubic surfaces. https://doi.org/10.1007/s40598-021-00182-y.
- Literature assessment checked at
2026-08-21: supplied dated curation derived from the OWR record, not independently verified. It labels the problem partially solved, reports the Kostlan expectation $6\sqrt{2}-3$, an explicit formula for $\delta_{1,3}$, and fixed-$k$ asymptotics, and describes the convex-body question as open. The record explicitly requests independent verification of time-sensitive status and cited claims.
Statement licence: CC-BY-SA-4.0 · Source file
Contributions 0
No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.