Math-15097 · mathematics · Geometry

Math-15097

Expected Degrees of Random Real Grassmannians

Status Partially solved · unsolvedmath.comLLM status Open unverified

Top Open Problems Not reported cataloguedPartially solvedOpen

Statement

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:

  1. Is there an explicit formula in special functions for $\delta_{1,3}$?
  2. 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.
  3. 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 current statement in the registry selects the third question. Here a convex body means a compact convex subset of a finite-dimensional real vector space with nonempty interior relative to its affine hull. This convention alone does not make the question a precise existence assertion: the record does not specify the ambient vector space, the required association with $\mathcal{L}(F)$ or its distribution, the meaning of naturality, or the property that realizes the proposed analogy. These requirements remain unresolved; no particular construction or identity is asserted.

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 statement corrected_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.

Catalogue entry

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.