Showing 1–50 of 60 results for author: Lerario, A

Probabilistic intersection theory in Riemannian homogeneous spaces

Authors: Paul Breiding, Peter Bürgisser, Antonio Lerario, Léo Mathis

Abstract: Let $M=G/H$ be a Riemannian homogeneous space, where $G$ is a compact Lie group with closed subgroup $H$. Classical intersection theory states that the de Rham cohomology ring of $M$ describes the signed count of intersection points of submanifolds $Y_1, \ldots, Y_s$ of $M$ in general position, when the codimensions add up to $\dim M$. We introduce the probabilistic intersection ring… ▽ More Let $M=G/H$ be a Riemannian homogeneous space, where $G$ is a compact Lie group with closed subgroup $H$. Classical intersection theory states that the de Rham cohomology ring of $M$ describes the signed count of intersection points of submanifolds $Y_1, \ldots, Y_s$ of $M$ in general position, when the codimensions add up to $\dim M$. We introduce the probabilistic intersection ring $\mathrm{H}_{\mathbb E}(M)$, whose multiplication describes the unsigned count of intersection points, when the $Y_i$ are randomly moved by independent uniformly random elements of $G$. The probabilistic intersection ring $\mathrm{H}_{\mathbb E}(M)$ has the structure of a graded commutative and associative real Banach algebra. It is defined as a quotient of the ring of Grassmann zonoids of a fixed cotangent space $V$ of $M$. The latter was introduced by the authors in [Adv. Math. 402, 2022]. There is a close connection to valuations of convex bodies: $\mathrm{H}_{\mathbb E}(M)$ can be interpreted as a subspace of the space of translation invariant, even, continuous valuations on $V$, whose multiplication coincides with Alesker's multiplication for smooth valuations. We describe the ring structure of the probabilistic intersection ring for spheres, real projective space and complex projective space, relying on Fu [J. Diff. Geo. 72(3), 2006] for the latter case. From this, we derive an interesting probabilistic intersection formula in complex projective space. Finally, we initiate the investigation of the probabilistic intersection ring for real Grassmannians, outlining the construction of a probabilistic version of Schubert Calculus. △ Less

Submitted 12 February, 2025; originally announced February 2025.

MSC Class: Primary 52A22; 52A39; 43A85; 53C65; 60D05; Secondary 14C17

The Grassmann distance complexity

Authors: Antonio Lerario, Andrea Rosana

Abstract: Motivated by the concept of Euclidean Distance Degree, which measures the complexity of finding the nearest point to an algebraic set in Euclidean space, we introduce the notion of Grassmann Distance Complexity (GDC). This concept quantifies the complexity of solving the nearest point problem for subanalytic sets in the Grassmannian, using the intrinsic Riemannian distance. Unlike the Euclidean ca… ▽ More Motivated by the concept of Euclidean Distance Degree, which measures the complexity of finding the nearest point to an algebraic set in Euclidean space, we introduce the notion of Grassmann Distance Complexity (GDC). This concept quantifies the complexity of solving the nearest point problem for subanalytic sets in the Grassmannian, using the intrinsic Riemannian distance. Unlike the Euclidean case, the Grassmannian distance is neither smooth nor semialgebraic, and its study requires using Lipschitz critical point theory and o-minimal geometry. We establish fundamental properties of GDC, including computable bounds for real algebraic varieties and conditions ensuring the finiteness of critical points. Our results also include a nonlinear version of the classical Eckart-Young theorem, which characterizes critical points of the distance function from a generic $k$-plane to simple Schubert varieties. △ Less

Submitted 25 November, 2024; originally announced November 2024.

Comments: 41 pages

What is... Random Algebraic Geometry?

Authors: Antonio Lerario

Abstract: We survey some ideas from the subject of Random Algebraic Geometry, a field that introduces a probabilistic perspective on classical topics in real algebraic geometry. This offers a modern approach to classical problems, such as Hilbert's Sixteenth Problem. We survey some ideas from the subject of Random Algebraic Geometry, a field that introduces a probabilistic perspective on classical topics in real algebraic geometry. This offers a modern approach to classical problems, such as Hilbert's Sixteenth Problem. △ Less

Submitted 7 November, 2024; originally announced November 2024.

Quantitative approximate definable choices

Authors: Antonio Lerario, Luca Rizzi, Daniele Tiberio

Abstract: In semialgebraic geometry, projections play a prominent role. A definable choice is a semialgebraic selection of one point in every fiber of a projection. Definable choices exist by semialgebraic triviality, but their complexity depends exponentially on the number of variables. By allowing the selection to be approximate (in the Hausdorff sense), we improve on this result. In particular, we constr… ▽ More In semialgebraic geometry, projections play a prominent role. A definable choice is a semialgebraic selection of one point in every fiber of a projection. Definable choices exist by semialgebraic triviality, but their complexity depends exponentially on the number of variables. By allowing the selection to be approximate (in the Hausdorff sense), we improve on this result. In particular, we construct an approximate selection whose degree is linear in the complexity of the projection and does not depend on the number of variables. This work is motivated by infinite-dimensional applications, in particular to the Sard conjecture in sub-Riemannian geometry. To prove these results, we develop a general quantitative theory for Hausdorff approximations in semialgebraic geometry, which has independent interest. △ Less

Submitted 5 March, 2025; v1 submitted 23 September, 2024; originally announced September 2024.

Comments: accepted version, to appear on Mathematische Annalen

MSC Class: 14P10; 53C17

Sard properties for polynomial maps in infinite dimension

Authors: Antonio Lerario, Luca Rizzi, Daniele Tiberio

Abstract: Sard's theorem asserts that the set of critical values of a smooth map from one Euclidean space to another one has measure zero. A version of this result for infinite-dimensional Banach manifolds was proven by Smale for maps with Fredholm differential. It is well-known, however, that when the domain is infinite dimensional and the range is finite dimensional, the result is not true -- even under t… ▽ More Sard's theorem asserts that the set of critical values of a smooth map from one Euclidean space to another one has measure zero. A version of this result for infinite-dimensional Banach manifolds was proven by Smale for maps with Fredholm differential. It is well-known, however, that when the domain is infinite dimensional and the range is finite dimensional, the result is not true -- even under the assumption that the map is ``polynomial'' -- and a general theory is still lacking. Addressing this issue, in this paper, we provide sharp quantitative criteria for the validity of Sard's theorem in this setting. Our motivation comes from sub-Riemannian geometry and, as an application of our results, we prove the sub-Riemannian Sard conjecture for the restriction of the Endpoint map of Carnot groups to the set of piece-wise real-analytic controls with large enough radius of convergence, and the strong Sard conjecture for the restriction to the set of piece-wise entire controls. △ Less

Submitted 12 November, 2024; v1 submitted 2 July, 2024; originally announced July 2024.

Comments: 39 pages. V2: improved presentation, some of the main results have been tweaked

MSC Class: 53C17; 14P10

Morse theory of Euclidean distance functions from algebraic hypersurfaces

Authors: Andrea Guidolin, Antonio Lerario, Isaac Ren, Martina Scolamiero

Abstract: Let $Y\subseteq \mathbb{R}^n$ be a closed definable subset and $X\subseteq \mathbb{R}^n$ be a smooth manifold. We construct a version of Morse Theory for the restriction to $X$ of the Euclidean distance function from $Y$. This is done using the notion of critical points of Lipschitz functions and applying the theory of continuous selections. In this theory, nondegenerate critical points have two i… ▽ More Let $Y\subseteq \mathbb{R}^n$ be a closed definable subset and $X\subseteq \mathbb{R}^n$ be a smooth manifold. We construct a version of Morse Theory for the restriction to $X$ of the Euclidean distance function from $Y$. This is done using the notion of critical points of Lipschitz functions and applying the theory of continuous selections. In this theory, nondegenerate critical points have two indices: a quadratic index (as in classical Morse Theory), and a piecewise linear index (that relates to the notion of bottlenecks). This framework is flexible enough to simultaneously treat and unify the study of two cases of interest for computational algebraic geometry: bottlenecks and nearest point problems. We provide a technical toolset guaranteeing the applicability of the theory to the case where $X, Y$ are generic algebraic hypersurfaces and use it to bound the number of critical points of the distance from $Y$ restricted to $X$, among other applications. △ Less

Submitted 22 February, 2025; v1 submitted 13 February, 2024; originally announced February 2024.

Comments: 31 pages; title modified, figures added, references added

MSC Class: Primary: 14P25. Secondary: 51F99; 55N31

The probabilistic method in real singularity theory

Authors: Antonio Lerario, Michele Stecconi

Abstract: We explain how to use the probabilistic method to prove the existence of real polynomial singularities with rich topology, i.e. with total Betti number of the maximal possible order. We show how similar ideas can be used to produce real algebraic projective hypersurfaces with a rich structure of umbilical points. We explain how to use the probabilistic method to prove the existence of real polynomial singularities with rich topology, i.e. with total Betti number of the maximal possible order. We show how similar ideas can be used to produce real algebraic projective hypersurfaces with a rich structure of umbilical points. △ Less

Submitted 31 July, 2023; originally announced August 2023.

How regularization affects the geometry of loss functions

Authors: Nathaniel Bottman, Y. Cooper, Antonio Lerario

Abstract: What neural networks learn depends fundamentally on the geometry of the underlying loss function. We study how different regularizers affect the geometry of this function. One of the most basic geometric properties of a smooth function is whether it is Morse or not. For nonlinear deep neural networks, the unregularized loss function $L$ is typically not Morse. We consider several different regular… ▽ More What neural networks learn depends fundamentally on the geometry of the underlying loss function. We study how different regularizers affect the geometry of this function. One of the most basic geometric properties of a smooth function is whether it is Morse or not. For nonlinear deep neural networks, the unregularized loss function $L$ is typically not Morse. We consider several different regularizers, including weight decay, and study for which regularizers the regularized function $L_ε$ becomes Morse. △ Less

Submitted 28 July, 2023; originally announced July 2023.

Comments: 16 pages, 0 figures

A proof of the Hamiltonian Thom Isotopy Lemma

Authors: Paolo Antonini, Fabio Cavalletti, Antonio Lerario

Abstract: In this note we present a complete proof of the fact that all the submanifolds of a one parameter family of compact symplectic submanifolds inside a compact symplectic manifold are Hamiltonian isotopic. In this note we present a complete proof of the fact that all the submanifolds of a one parameter family of compact symplectic submanifolds inside a compact symplectic manifold are Hamiltonian isotopic. △ Less

Submitted 13 July, 2023; originally announced July 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2212.10274

MSC Class: 53D05

What is the probability that a random symmetric tensor is close to rank-one?

Authors: Alberto Cazzaniga, Antonio Lerario, Andrea Rosana

Abstract: We address the general problem of estimating the probability that a real symmetric tensor is close to rank-one tensors. Using Weyl's tube formula, we turn this question into a differential geometric one involving the study of metric invariants of the real Veronese variety. More precisely, we give an explicit formula for its reach and curvature coefficients with respect to the Bombieri-Weyl metric.… ▽ More We address the general problem of estimating the probability that a real symmetric tensor is close to rank-one tensors. Using Weyl's tube formula, we turn this question into a differential geometric one involving the study of metric invariants of the real Veronese variety. More precisely, we give an explicit formula for its reach and curvature coefficients with respect to the Bombieri-Weyl metric. These results are obtained using techniques from Random Matrix theory and an explicit description of the second fundamental form of the Veronese variety in terms of GOE matrices. Our findings give a complete solution to the original problem. In the case of rational normal curves it leads to a simple formula describing explicitly exponential decay with respect to the degree of the tensor. △ Less

Submitted 9 December, 2024; v1 submitted 13 January, 2023; originally announced January 2023.

Comments: 26 pages. Added a motivating example on quantum entanglement. Published version

Journal ref: SIAM Journal on Applied Algebra and Geometry, Vol. 8, Iss. 2 (2024), pp.227-258

Optimal transport between algebraic hypersurfaces

Authors: Paolo Antonini, Fabio Cavalletti, Antonio Lerario

Abstract: What is the optimal way to deform a projective hypersurface into another one? In this paper we will answer this question adopting the point of view of measure theory, introducing the optimal transport problem between complex algebraic projective hypersurfaces. First, a natural topological embedding of the space of hypersurfaces of a given degree into the space of measures on the projective space… ▽ More What is the optimal way to deform a projective hypersurface into another one? In this paper we will answer this question adopting the point of view of measure theory, introducing the optimal transport problem between complex algebraic projective hypersurfaces. First, a natural topological embedding of the space of hypersurfaces of a given degree into the space of measures on the projective space is constructed. Then, the optimal transport problem between hypersurfaces is defined through a constrained dynamical formulation, minimizing the energy of absolutely continuous curves which lie on the image of this embedding. In this way an inner Wasserstein distance on the projective space of homogeneous polynomials is introduced. This distance is finer than the Fubini-Study one. The innner Wasserstein distance is complete and geodesic: geodesics corresponds to optimal deformations of one algebraic hypersurface into another one. Outside the discriminant this distance is induced by a smooth Riemannian metric, which is the real part of an explicit Hermitian structure. Moreover, this Hermitian structure is Kähler and the corresponding metric is of Weil-Petersson type. To prove these results we develop new techniques, which combine complex and symplectic geometry with optimal transport, and which we expect to be relevant on their own. We discuss applications on the regularity of the zeroes of a family of multivariate polynomials and on the condition number of polynomial systems solving. △ Less

Submitted 16 July, 2023; v1 submitted 20 December, 2022; originally announced December 2022.

Comments: The main differences between the current version and the previous one are: 1. there are some new results on the Kähler property of the Wasserstein metric and the fact that it is a Weil-Petersson type metric; 2. the proof of the Hamiltonian Thom's Isotopy Lemma has been moved to a separate note (arXiv:2307.06826)

$\mathrm{GL}(n,\mathbb{Z}_p)$-invariant Gaussian measures on the space of $p$-adic polynomials

Authors: Yassine EL Maazouz, Antonio Lerario

Abstract: We prove that if $p>d$ there is a unique gaussian distribution (in the sense of Evans) on the space $\mathbb{Q}_p[x_1, \ldots, x_n]_{(d)}$ which is invariant under the action of $\mathrm{GL}(n, \mathbb{Z}_p)$ by change of variables. This gives the nonarchimedean counterpart of Kostlan's Theorem on the classification of orthogonally (respectively unitarily) invariant gaussian measures on the space… ▽ More We prove that if $p>d$ there is a unique gaussian distribution (in the sense of Evans) on the space $\mathbb{Q}_p[x_1, \ldots, x_n]_{(d)}$ which is invariant under the action of $\mathrm{GL}(n, \mathbb{Z}_p)$ by change of variables. This gives the nonarchimedean counterpart of Kostlan's Theorem on the classification of orthogonally (respectively unitarily) invariant gaussian measures on the space $\mathbb{R}[x_1, \ldots, x_n]_{(d)}$ (respectively $\mathbb{C}[x_1, \ldots, x_n]_{(d)}$). More generally, if $V$ is an $n$--dimensional vector space over a nonarchimedean local field $K$ with ring of integers $R$, and if $λ$ is a partition of an integer $d$, we study the problem of determining the invariant lattices in the Schur module $S_λ(V)$ under the action of the group $\mathrm{GL}(n,R)$. △ Less

Submitted 21 March, 2025; v1 submitted 27 September, 2022; originally announced September 2022.

Comments: 22 pages, 1 Figure

MSC Class: 20G25; 12J25; 28C10; 51E24

Geometry and topology of spin random fields

Authors: Antonio Lerario, Domenico Marinucci, Maurizia Rossi, Michele Stecconi

Abstract: Spin (spherical) random fields are very important in many physical applications, in particular they play a key role in Cosmology, especially in connection with the analysis of the Cosmic Microwave Background radiation. These objects can be viewed as random sections of the s-th complex tensor power of the tangent bundle of the 2-sphere. In this paper, we discuss how to characterize their expected g… ▽ More Spin (spherical) random fields are very important in many physical applications, in particular they play a key role in Cosmology, especially in connection with the analysis of the Cosmic Microwave Background radiation. These objects can be viewed as random sections of the s-th complex tensor power of the tangent bundle of the 2-sphere. In this paper, we discuss how to characterize their expected geometry and topology. In particular, we investigate the asymptotic behaviour, under scaling assumptions, of general classes of geometric and topological functionals including Lipschitz-Killing Curvatures and Betti numbers for (properly defined) excursion sets; we cover both the cases of fixed and diverging spin parameters s. In the special case of monochromatic fields (i.e., spin random eigenfunctions) our results are particularly explicit; we show how their asymptotic behaviour is non-universal and we can obtain in particular complex versions of Berry's random waves and of Bargmann-Fock's models as subcases of a new generalized model, depending on the rate of divergence of the spin parameter s. △ Less

Submitted 18 July, 2022; originally announced July 2022.

Comments: 1 figure

MSC Class: 60G60 (Primary); 33C55; 53C65; 58A35

Multicomplexes on Carnot groups and their associated spectral sequence

Authors: Antonio Lerario, Francesca Tripaldi

Abstract: The aim of this paper is to give a thorough insight into the relationship between the Rumin complex on Carnot groups and the spectral sequence obtained from the filtration on forms by homogeneous weights that computes the de Rham cohomology of the underlying group. The aim of this paper is to give a thorough insight into the relationship between the Rumin complex on Carnot groups and the spectral sequence obtained from the filtration on forms by homogeneous weights that computes the de Rham cohomology of the underlying group. △ Less

Submitted 14 June, 2022; originally announced June 2022.

Comments: 17 pages

MSC Class: 18G40; 22E25

On smooth functions with two critical values

Authors: Antonio Lerario, Chiara Meroni, Daniele Zuddas

Abstract: We prove that every smooth closed manifold admits a smooth real-valued function with only two critical values. We call a function of this type a \emph{Reeb function}. We prove that for a Reeb function we can prescribe the set of minima (or maxima), as soon as this set is a PL subcomplex of the manifold. In analogy with Reeb's Sphere Theorem, we use such functions to study the topology of the under… ▽ More We prove that every smooth closed manifold admits a smooth real-valued function with only two critical values. We call a function of this type a \emph{Reeb function}. We prove that for a Reeb function we can prescribe the set of minima (or maxima), as soon as this set is a PL subcomplex of the manifold. In analogy with Reeb's Sphere Theorem, we use such functions to study the topology of the underlying manifold. In dimension $3$, we give a characterization of manifolds having a Heegaard splitting of genus $g$ in terms of the existence of certain Reeb functions. Similar results are proved in dimension $n\geq 5$. △ Less

Submitted 19 July, 2022; v1 submitted 14 June, 2022; originally announced June 2022.

Journal ref: Revista Matemática Complutense, 37, 907-920 (2024)

Nonarchimedean integral geometry

Authors: Peter Bürgisser, Avinash Kulkarni, Antonio Lerario

Abstract: Let $K$ be a nonarchimedean local field of characteristic zero with valuation ring $R$, for instance, $K=\mathbb{Q}_p$ and $R=\mathbb{Z}_p$. We prove a general integral geometric formula for $K$-analytic groups and homogeneous $K$-analytic spaces, analogous to the corresponding result over the reals. This generalizes the $p$-adic integral geometric formula for projective spaces recently discovered… ▽ More Let $K$ be a nonarchimedean local field of characteristic zero with valuation ring $R$, for instance, $K=\mathbb{Q}_p$ and $R=\mathbb{Z}_p$. We prove a general integral geometric formula for $K$-analytic groups and homogeneous $K$-analytic spaces, analogous to the corresponding result over the reals. This generalizes the $p$-adic integral geometric formula for projective spaces recently discovered by Kulkarni and Lerario, e.g., to the setting of Grassmannians. Based on this, we outline the construction of a nonarchimedean probabilistic Schubert Calculus. For this purpose, we characterize the relative position of two subspaces of $K^n$ by a position vector, a nonarchimedean analogue of the notion of principal angles, and we study the probability distribution of the position vector for random uniform subspaces. We then use this to compute the volume of special Schubert varieties over $K$. As a second application of the general integral geometry formula, we initiate the study of random fewnomial systems over nonarchimedean fields, bounding, and in some cases exactly determining, the expected number of zeros of such random systems. △ Less

Submitted 31 August, 2023; v1 submitted 8 June, 2022; originally announced June 2022.

Comments: This version is different from the first version of the paper posted on arxiv, which also contained proofs of the nonarchimedean coarea formula and Sard's Lemma (which now are put in the appendix). The current version has also been restructured so to give more emphasis to the new results

MSC Class: 11S05; 14G20; 14N15; 32P05; 53C65; 60D05

Symplectic Instability of Bézout's Theorem

Authors: Michele Ancona, Antonio Lerario

Abstract: We investigate the failure of Bézout's Theorem for two symplectic surfaces in $\mathbb{C}\mathrm{P}^2$ (and more generally on an algebraic surface), by proving that every plane algebraic curve $C$ can be perturbed in the $\mathscr{C}^1$-topology to an arbitrarily close smooth symplectic surface $C_ε$ with the property that the cardinality $\#C_ε\cap Z_d$ of the transversal intersection of $C_ε$ wi… ▽ More We investigate the failure of Bézout's Theorem for two symplectic surfaces in $\mathbb{C}\mathrm{P}^2$ (and more generally on an algebraic surface), by proving that every plane algebraic curve $C$ can be perturbed in the $\mathscr{C}^1$-topology to an arbitrarily close smooth symplectic surface $C_ε$ with the property that the cardinality $\#C_ε\cap Z_d$ of the transversal intersection of $C_ε$ with an algebraic plane curve $Z_d$ of degree $d$, as a function of $d$ can grow arbitrarily fast. As a consequence we obtain that, although Bézout's Theorem is true for pseudoholomorphic curves with respect to the same almost complex structure, it is "arbitrarily false" for pseudoholomorphic curves with respect to different (but arbitrarily close) almost-complex structures (we call this phenomenon "instability of Bézout's Theorem"). △ Less

Submitted 7 December, 2022; v1 submitted 21 October, 2021; originally announced October 2021.

The zonoid algebra, generalized mixed volumes, and random determinants

Authors: Paul Breiding, Peter Bürgisser, Antonio Lerario, Léo Mathis

Abstract: We show that every multilinear map between Euclidean spaces induces a unique, continuous, Minkowski multilinear map of the corresponding real cones of zonoids. Applied to the wedge product of the exterior algebra of a Euclidean space, this yields a multiplication of zonoids, defining the structure of a commutative, associative, and partially ordered ring, which we call the zonoid algebra. This fra… ▽ More We show that every multilinear map between Euclidean spaces induces a unique, continuous, Minkowski multilinear map of the corresponding real cones of zonoids. Applied to the wedge product of the exterior algebra of a Euclidean space, this yields a multiplication of zonoids, defining the structure of a commutative, associative, and partially ordered ring, which we call the zonoid algebra. This framework gives a new perspective on classical objects in convex geometry, and it allows to introduce new functionals on zonoids, in particular generalizing the notion of mixed volume. We also analyze a similar construction based on the complex wedge product, which leads to the new notion of mixed $J$-volume. These ideas connect to the theory of random determinants. △ Less

Submitted 18 March, 2022; v1 submitted 30 September, 2021; originally announced September 2021.

Comments: Minor changes and typos. Connection with Kähler angles in Section 6.3

Journal ref: Advances in Mathematics, Vol. 402, 25 June 2022, 108361

Hausdorff approximations and volume of tubes of singular algebraic sets

Authors: Saugata Basu, Antonio Lerario

Abstract: We prove bounds for the volume of neighborhoods of algebraic sets, in the euclidean space or the sphere, in terms of the degree of the defining polynomials, the number of variables and the dimension of the algebraic set, without any smoothness assumption. This generalizes previous work of Lotz on smooth complete intersections in the euclidean space and of Bürgisser, Cucker and Lotz on hypersurface… ▽ More We prove bounds for the volume of neighborhoods of algebraic sets, in the euclidean space or the sphere, in terms of the degree of the defining polynomials, the number of variables and the dimension of the algebraic set, without any smoothness assumption. This generalizes previous work of Lotz on smooth complete intersections in the euclidean space and of Bürgisser, Cucker and Lotz on hypersurfaces in the sphere, and gives a complete solution to Problem 17 in the book titled "Condition" by Bürgisser and Cucker. △ Less

Submitted 11 April, 2021; originally announced April 2021.

Comments: 24 pages

MSC Class: 14P05; 65H14

On tameness of zonoids

Authors: Antonio Lerario, Léo Mathis

Abstract: We prove that in a globally subanalytic family of convex bodies the set of zonoids is log-analytic, and in particular it is definable in the o-minimal structure generated by globally subanalytic sets and the graph of the exponential function. We prove that in a globally subanalytic family of convex bodies the set of zonoids is log-analytic, and in particular it is definable in the o-minimal structure generated by globally subanalytic sets and the graph of the exponential function. △ Less

Submitted 25 January, 2021; v1 submitted 20 November, 2020; originally announced November 2020.

Probabilistic enumerative geometry over $p$-adic numbers: linear spaces on complete intersections

Authors: Rida Ait El Manssour, Antonio Lerario

Abstract: We compute the expectation of the number of linear spaces on a random complete intersection in $p$-adic projective space. Here "random" means that the coefficients of the polynomials defining the complete intersections are sampled uniformly form the $p$-adic integers. We show that as the prime $p$ tends to infinity the expected number of linear spaces on a random complete intersection tends to… ▽ More We compute the expectation of the number of linear spaces on a random complete intersection in $p$-adic projective space. Here "random" means that the coefficients of the polynomials defining the complete intersections are sampled uniformly form the $p$-adic integers. We show that as the prime $p$ tends to infinity the expected number of linear spaces on a random complete intersection tends to $1$. In the case of the number of lines on a random cubic in three-space and on the intersection of two random quadrics in four-space, we give an explicit formula for this expectation. △ Less

Submitted 15 November, 2020; originally announced November 2020.

What is the Degree of a Smooth Hypersurface?

Authors: Antonio Lerario, Michele Stecconi

Abstract: Let $D$ be a disk in $\mathbb{R}^n$ and $f\in C^{r+2}(D, \mathbb{R}^k)$. We deal with the problem of the algebraic approximation of the set $j^{r}f^{-1}(W)$ consisting of the set of points in the disk $D$ where the $r$-th jet extension of $f$ meets a given semialgebraic set $W\subset J^{r}(D, \mathbb{R}^k).$ Examples of sets arising in this way are the zero set of $f$, or the set of its critical p… ▽ More Let $D$ be a disk in $\mathbb{R}^n$ and $f\in C^{r+2}(D, \mathbb{R}^k)$. We deal with the problem of the algebraic approximation of the set $j^{r}f^{-1}(W)$ consisting of the set of points in the disk $D$ where the $r$-th jet extension of $f$ meets a given semialgebraic set $W\subset J^{r}(D, \mathbb{R}^k).$ Examples of sets arising in this way are the zero set of $f$, or the set of its critical points. Under some transversality conditions, we prove that $f$ can be approximated with a polynomial map $p:D\to \mathbb{R}^k$ such that the corresponding singularity is diffeomorphic to the original one, and such that the degree of this polynomial map can be controlled by the $C^{r+2}$ data of $f$. More precisely, \begin{equation} \text{deg}(p)\le O\left(\frac{\|f\|_{C^{r+2}(D, \mathbb{R}^k)}}{\mathrm{dist}_{C^{r+1}}(f, Δ_W)}\right), \end{equation} where $Δ_W$ is the set of maps whose $r$-th jet extension is not transverse to $W$. The estimate on the degree of $p$ implies an estimate on the Betti numbers of the singularity, however, using more refined tools, we prove independently a similar estimate, but involving only the $C^{r+1}$ data of $f$. These results specialize to the case of zero sets of $f\in C^{2}(D, \mathbb{R})$, and give a way to approximate a smooth hypersurface defined by the equation $f=0$ with an algebraic one, with controlled degree (from which the title of the paper). In particular, we show that a compact hypersurface $Z\subset D\subset \mathbb{R}^n$ with positive reach $ρ(Z)>0$ is isotopic to the zero set in $D$ of a polynomial $p$ of degree \begin{equation} \text{deg}(p)\leq c(D)\cdot 2 \left(1+\frac{1}{ρ(Z)}+\frac{5n}{ρ(Z)^2}\right),\end{equation} where $c(D)>0$ is a constant depending on the size of the disk $D$ (and in particular on the diameter of $Z$). △ Less

Submitted 27 October, 2020; originally announced October 2020.

Comments: 29 pages, 1 figure

Graph invariants from the topology of rigid isotopy classes

Authors: Mara Belotti, Antonio Lerario, Andrew Newman

Abstract: We define a new family of graph invariants, studying the topology of the moduli space of their geometric realizations in Euclidean spaces, using a limiting procedure reminiscent of Floer homology. Given a labeled graph $G$ on $n$ vertices and $d \geq 1$, $W_{G, d} \subseteq \mathbb{R}^{d \times n}$ denotes the space of nondegenerate realizations of $G$ in $\mathbb{R}^d$.The set $W_{G, d}$ might no… ▽ More We define a new family of graph invariants, studying the topology of the moduli space of their geometric realizations in Euclidean spaces, using a limiting procedure reminiscent of Floer homology. Given a labeled graph $G$ on $n$ vertices and $d \geq 1$, $W_{G, d} \subseteq \mathbb{R}^{d \times n}$ denotes the space of nondegenerate realizations of $G$ in $\mathbb{R}^d$.The set $W_{G, d}$ might not be connected, even when it is nonempty, and we refer to its connected components as rigid isotopy classes of $G$ in $\mathbb{R}^d$. We study the topology of these rigid isotopy classes. First, regarding the connectivity of $W_{G, d}$, we generalize a result of Maehara that $W_{G, d}$ is nonempty for $d \geq n$ to show that $W_{G, d}$ is $k$-connected for $d \geq n + k + 1$, and so $W_{G, \infty}$ is always contractible. While $π_k(W_{G, d}) = 0$ for $G$, $k$ fixed and $d$ large enough, we also prove that, in spite of this, when $d\to \infty$ the structure of the nonvanishing homology of $W_{G, d}$ exhibits a stabilization phenomenon: it consists of $(n-1)$ equally spaced clusters whose shape does not depend on $d$, for $d$ large enough. This leads to the definition of a family of graph invariants, capturing this structure. For instance, the sum of the Betti numbers of $W_{G,d}$ does not depend on $d$, for $d$ large enough; we call this number the Floer number of the graph $G$. Finally, we give asymptotic estimates on the number of rigid isotopy classes of $\mathbb{R}^d$--geometric graphs on $n$ vertices for $d$ fixed and $n$ tending to infinity. When $d=1$ we show that asymptotically as $n\to \infty$ each isomorphism class corresponds to a constant number of rigid isotopy classes, on average. For $d>1$ we prove a similar statement at the logarithmic scale. △ Less

Submitted 10 August, 2020; originally announced August 2020.

Journal ref: Algebr. Geom. Topol. 24 (2024) 2039-2090

Probabilistic Schubert Calculus: asymptotics

Authors: Antonio Lerario, Léo Mathis

Abstract: In the recent paper [arXiv:1612.06893] P. Bürgisser and A. Lerario introduced a geometric framework for a probabilistic study of real Schubert Problems. They denoted by $δ_{k,n}$ the average number of projective $k$-planes in $\mathbb{R}\textrm{P}^n$ that intersect $(k+1)(n-k)$ many random, independent and uniformly distributed linear projective subspaces of dimension $n-k-1$. They called… ▽ More In the recent paper [arXiv:1612.06893] P. Bürgisser and A. Lerario introduced a geometric framework for a probabilistic study of real Schubert Problems. They denoted by $δ_{k,n}$ the average number of projective $k$-planes in $\mathbb{R}\textrm{P}^n$ that intersect $(k+1)(n-k)$ many random, independent and uniformly distributed linear projective subspaces of dimension $n-k-1$. They called $δ_{k,n}$ the expected degree of the real Grassmannian $\mathbb{G}(k,n)$ and, in the case $k=1$, they proved that: $$ δ_{1,n}= \frac{8}{3π^{5/2}} \cdot \left(\frac{π^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>0$ and as $n\to \infty$, we have \begin{equation*} δ_{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 $a_k$ and $b_k$ are some (explicit) constants, and $a_k$ involves an interesting integral over the space of polynomials that have all real roots. For instance: $$δ_{2,n}= \frac{9\sqrt{3}}{2048\sqrt{2π}} \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}$ involving a one dimensional integral of certain combination of Elliptic functions. △ Less

Submitted 17 December, 2019; originally announced December 2019.

Betti Numbers of Random Hypersurface Arrangements

Authors: Saugata Basu, Antonio Lerario, Abhiram Natarajan

Abstract: We study the expected behavior of the Betti numbers of arrangements of the zeros of random (distributed according to the Kostlan distribution) polynomials in $\mathbb{R}\mathrm{P}^n$. Using a random spectral sequence, we prove an asymptotically exact estimate on the expected number of connected components in the complement of $s$ such hypersurfaces in $\mathbb{R}\mathrm{P}^n$. We also investigate… ▽ More We study the expected behavior of the Betti numbers of arrangements of the zeros of random (distributed according to the Kostlan distribution) polynomials in $\mathbb{R}\mathrm{P}^n$. Using a random spectral sequence, we prove an asymptotically exact estimate on the expected number of connected components in the complement of $s$ such hypersurfaces in $\mathbb{R}\mathrm{P}^n$. We also investigate the same problem in the case where the hypersurfaces are defined by random quadratic polynomials. In this case, we establish a connection between the Betti numbers of such arrangements with the expected behavior of a certain model of a randomly defined geometric graph. While our general result implies that the average zeroth Betti number of the union of random hypersurface arrangements is bounded from above by a function that grows linearly in the number of polynomials in the arrangement, using the connection with random graphs, we show an upper bound on the expected zeroth Betti number of random quadrics arrangements that is sublinear in the number of polynomials in the arrangement. This bound is a consequence of a general result on the expected number of connected components in our random graph model which could be of independent interest. △ Less

Submitted 8 June, 2022; v1 submitted 29 November, 2019; originally announced November 2019.

Comments: v2: Expositional changes

Quantitative singularity theory for random polynomials

Authors: Paul Breiding, Hanieh Keneshlou, Antonio Lerario

Abstract: Motivated by Hilbert's 16th problem we discuss the probabilities of topological features of a system of random homogeneous polynomials. The distribution for the polynomials is the Kostlan distribution. The topological features we consider are type-$W$ singular loci. This is a term that we introduce and that is defined by a list of equalities and inequalities on the derivatives of the polynomials.… ▽ More Motivated by Hilbert's 16th problem we discuss the probabilities of topological features of a system of random homogeneous polynomials. The distribution for the polynomials is the Kostlan distribution. The topological features we consider are type-$W$ singular loci. This is a term that we introduce and that is defined by a list of equalities and inequalities on the derivatives of the polynomials. In technical terms a type-$W$ singular locus is the set of points where the jet of the Kostlan polynomials belongs to a semialgebraic subset $W$ of the jet space, which we require to be invariant under orthogonal change of variables. For instance, the zero set of polynomial functions or the set of critical points fall under this definition. We will show that, with overwhelming probability, the type-$W$ singular locus of a Kostlan polynomial is ambient isotopic to that of a polynomial of lower degree. As a crucial result, this implies that complicated topological configurations are rare. Our results extend earlier results from Diatta and Lerario who considered the special case of the zero set of a single polynomial. Furthermore, for a given polynomial function $p$ we provide a deterministic bound for the radius of the ball in the space of differentiable functions with center $p$, in which the $W$-singularity structure is constant. △ Less

Submitted 20 August, 2020; v1 submitted 24 September, 2019; originally announced September 2019.

$p$-adic Integral Geometry

Authors: Avinash Kulkarni, Antonio Lerario

Abstract: We prove a $p$-adic version of the Integral Geometry Formula for averaging the intersection of two $p$-adic projective algebraic sets. We apply this result to give bounds on the number of points in the modulo $p^m$ reduction of a projective set (reproving a result by Oesterlé) and to the study of random $p$-adic polynomial systems of equations. We prove a $p$-adic version of the Integral Geometry Formula for averaging the intersection of two $p$-adic projective algebraic sets. We apply this result to give bounds on the number of points in the modulo $p^m$ reduction of a projective set (reproving a result by Oesterlé) and to the study of random $p$-adic polynomial systems of equations. △ Less

Submitted 13 August, 2019; originally announced August 2019.

Random geometric complexes and graphs on Riemannian manifolds in the thermodynamic limit

Authors: Antonio Lerario, Raffaella Mulas

Abstract: We investigate some topological properties of random geometric complexes and random geometric graphs on Riemannian manifolds in the thermodynamic limit. In particular, for random geometric complexes we prove that the normalized counting measure of connected components, counted according to isotopy type, converges in probability to a deterministic measure. More generally, we also prove similar conv… ▽ More We investigate some topological properties of random geometric complexes and random geometric graphs on Riemannian manifolds in the thermodynamic limit. In particular, for random geometric complexes we prove that the normalized counting measure of connected components, counted according to isotopy type, converges in probability to a deterministic measure. More generally, we also prove similar convergence results for the counting measure of types of components of each $k$-skeleton of a random geometric complex. As a consequence, in the case of the $1$-skeleton (i.e. for random geometric graphs) we show that the empirical spectral measure associated to the normalized Laplace operator converges to a deterministic measure. △ Less

Submitted 8 March, 2020; v1 submitted 17 June, 2019; originally announced June 2019.

Journal ref: Discrete & Computational Geometry (2020)

Maximal and Typical Topology of Real Polynomial Singularities

Authors: Antonio Lerario, Michele Stecconi

Abstract: Given a polynomial map $ψ:S^m\to \mathbb{R}^k$ with components of degree $d$, we investigate the structure of the semialgebraic set $Z\subseteq S^m$ consisting of those points where $ψ$ and its derivatives satisfy a given list of polynomial equalities and inequalities (we call such a set a "singularity"). Concerning the upper estimate on the topological complexity of a polynomial singularity, we s… ▽ More Given a polynomial map $ψ:S^m\to \mathbb{R}^k$ with components of degree $d$, we investigate the structure of the semialgebraic set $Z\subseteq S^m$ consisting of those points where $ψ$ and its derivatives satisfy a given list of polynomial equalities and inequalities (we call such a set a "singularity"). Concerning the upper estimate on the topological complexity of a polynomial singularity, we sharpen the classical bound $b(Z)\leq O(d^{m+1})$, proved by Milnor, with \begin{equation}\label{eq:abstract} b(Z)\leq O(d^{m}),\end{equation} which holds for the generic polynomial map. For what concerns the "lower bound" on the topology of $Z$, we prove a general semicontinuity result for the Betti numbers of the zero set of $\mathcal{C}^0$ perturbations of smooth maps -- the case of $\mathcal{C}^1$ perturbations is the content of Thom's Isotopy Lemma (essentially the Implicit Function Theorem). This result is of independent interest and it is stated for general maps (not just polynomial); this result implies that small continuous perturbations of $\mathcal{C}^1$ manifolds have a richer topology than the one of the original manifold. We then compare the extremal case with a random one and prove that on average the topology of $Z$ behaves as the "square root" of its upper bound: for a random Kostlan map $ψ:S^m\to \mathbb{R}^k$ with components of degree $d$, we have: \begin{equation} \mathbb{E}b(Z)=Θ(d^{\frac{m}{2}}).\end{equation} This generalizes classical results of Edelman-Kostlan-Shub-Smale from the zero set of a random map, to the structure of its singularities. △ Less

Submitted 29 October, 2021; v1 submitted 11 June, 2019; originally announced June 2019.

Comments: 32 pages, 3 figures

Differential Topology of Gaussian Random Fields

Authors: Antonio Lerario, Michele Stecconi

Abstract: Motivated by numerous questions in random geometry, given a smooth manifold $M$, we approach a systematic study of the differential topology of Gaussian random fields (GRF) $X:M\to \mathbb{R}^k$, that we interpret as random variables with values in $\mathcal{C}^r(M, \mathbb{R}^k)$, inducing on it a Gaussian measure. When the latter is given the weak Whitney topology, the convergence in law of… ▽ More Motivated by numerous questions in random geometry, given a smooth manifold $M$, we approach a systematic study of the differential topology of Gaussian random fields (GRF) $X:M\to \mathbb{R}^k$, that we interpret as random variables with values in $\mathcal{C}^r(M, \mathbb{R}^k)$, inducing on it a Gaussian measure. When the latter is given the weak Whitney topology, the convergence in law of $X$ allows to compute the limit probability of certain events in terms of the probability distribution of the limit. This is true, in particular, for the events of a geometric or topological nature, like: "$X$ is transverse to $W$" or "$X^{-1}(0)$ is homeomorphic to $Z$". We relate the convergence in law of a sequence of GRFs with that of their covariance structures, proving that in the smooth case ($r=\infty$), the two conditions coincide, in analogy with what happens for finite dimensional Gaussian measures. We also show that this is false in the case of finite regularity ($r\in\mathbb{N}$), although the convergence of the covariance structures in the $\mathcal{C}^{r+2}$ sense is a sufficient condition for the convergence in law of the corresponding GRFs in the $\mathcal{C}^r$ sense. We complement this study by proving an important technical tools: an infinite dimensional, probabilistic version of the Thom transversality theorem, which ensures that, under some conditions on the support, the jet of a GRF is almost surely transverse to a given submanifold of the jet space. △ Less

Submitted 22 January, 2021; v1 submitted 11 February, 2019; originally announced February 2019.

Low degree approximation of random polynomials

Authors: Daouda Niang Diatta, Antonio Lerario

Abstract: We prove that with "high probability" a random Kostlan polynomial in $n+1$ many variables and of degree $d$ can be approximated by a polynomial of "low degree" without changing the topology of its zero set on the sphere $S^n$. The dependence between the "low degree" of the approximation and the "high probability" is quantitative: for example, with overwhelming probability the zero set of a Kostlan… ▽ More We prove that with "high probability" a random Kostlan polynomial in $n+1$ many variables and of degree $d$ can be approximated by a polynomial of "low degree" without changing the topology of its zero set on the sphere $S^n$. The dependence between the "low degree" of the approximation and the "high probability" is quantitative: for example, with overwhelming probability the zero set of a Kostlan polynomial of degree $d$ is isotopic to the zero set of a polynomial of degree $O(\sqrt{d \log d})$. The proof is based on a probabilistic study of the size of $C^1$-stable neighborhoods of Kostlan polynomials. As a corollary we prove that certain topological types (e.g. curves with deep nests of ovals or hypersurfaces with rich topology) have exponentially small probability of appearing as zero sets of random Kostlan polynomials. △ Less

Submitted 25 December, 2018; originally announced December 2018.

Topologies of random geometric complexes on Riemannian manifolds in the thermodynamic limit

Authors: Antonio Auffinger, Antonio Lerario, Erik Lundberg

Abstract: We investigate the topologies of random geometric complexes built over random points sampled on Riemannian manifolds in the so-called "thermodynamic" regime. We prove the existence of universal limit laws for the topologies; namely, the random normalized counting measure of connected components (counted according to homotopy type) is shown to converge in probability to a deterministic probability… ▽ More We investigate the topologies of random geometric complexes built over random points sampled on Riemannian manifolds in the so-called "thermodynamic" regime. We prove the existence of universal limit laws for the topologies; namely, the random normalized counting measure of connected components (counted according to homotopy type) is shown to converge in probability to a deterministic probability measure. Moreover, we show that the support of the deterministic limiting measure equals the set of all homotopy types for Euclidean geometric complexes of the same dimension as the manifold. △ Less

Submitted 19 November, 2020; v1 submitted 21 December, 2018; originally announced December 2018.

Comments: 24 pages, 1 figure. This version contains minor corrections and more details in the proofs. The Appendix has been moved to a new section on preliminary material. The paper will appear in the journal International Mathematics Research Notices

MSC Class: 60D05; 55U10; 05C80

On the geometry of the set of symmetric matrices with repeated eigenvalues

Authors: Paul Breiding, Khazhgali Kozhasov, Antonio Lerario

Abstract: We investigate some geometric properties of the real algebraic variety $Δ$ of symmetric matrices with repeated eigenvalues. We explicitly compute the volume of its intersection with the sphere and prove a Eckart-Young-Mirsky-type theorem for the distance function from a generic matrix to points in $Δ$. We exhibit connections of our study to Real Algebraic Geometry (computing the Euclidean Distance… ▽ More We investigate some geometric properties of the real algebraic variety $Δ$ of symmetric matrices with repeated eigenvalues. We explicitly compute the volume of its intersection with the sphere and prove a Eckart-Young-Mirsky-type theorem for the distance function from a generic matrix to points in $Δ$. We exhibit connections of our study to Real Algebraic Geometry (computing the Euclidean Distance Degree of $Δ$) and Random Matrix Theory. △ Less

Submitted 17 July, 2018; v1 submitted 12 July, 2018; originally announced July 2018.

Zeroes of polynomials on definable hypersurfaces: pathologies exist, but they are rare

Authors: Saugata Basu, Antonio Lerario, Abhiram Natarajan

Abstract: Given a sequence $\{Z_d\}_{d\in \mathbb{N}}$ of smooth and compact hypersurfaces in $\mathbb{R}^{n-1}$, we prove that (up to extracting subsequences) there exists a regular definable hypersurface $Γ\subset \mathbb{R}\mathrm{P}^n$ such that each manifold $Z_d$ appears as a component of the zero set on $Γ$ of some polynomial of degree $d$. (This is in sharp contrast with the case when $Γ$ is algebra… ▽ More Given a sequence $\{Z_d\}_{d\in \mathbb{N}}$ of smooth and compact hypersurfaces in $\mathbb{R}^{n-1}$, we prove that (up to extracting subsequences) there exists a regular definable hypersurface $Γ\subset \mathbb{R}\mathrm{P}^n$ such that each manifold $Z_d$ appears as a component of the zero set on $Γ$ of some polynomial of degree $d$. (This is in sharp contrast with the case when $Γ$ is algebraic, where for example the homological complexity of the zero set of a polynomial $p$ on $Γ$ is bounded by a polynomial in $\mathrm{deg}(p)$.) We call these "pathological examples". In particular, we show that for every $0 \leq k \leq n-2$ and every sequence of natural numbers $a=\{a_d\}_{d\in \mathbb{N}}$ there is a regular, compact and definable hypersurface $Γ\subset \mathbb{R}\mathrm{P}^n$, a subsequence $\{a_{d_m}\}_{m\in \mathbb{N}}$ and homogeneous polynomials $\{p_{m}\}_{m\in \mathbb{N}}$ of degree $\mathrm{deg}(p_m)=d_m$ such that: \begin{equation} \label{eq:pathintro} b_k(Γ\cap Z(p_m))\geq a_{d_m}.\end{equation} (Here $b_k$ denotes the $k$-th Betti number.) This generalizes a result of Gwoździewicz, Kurdyka and Parusiński. On the other hand, for a given definable $Γ$ we show that the Fubini-Study measure, in the gaussian space of polynomials of degree $d$, of the set $Σ_{d_m,a, Γ}$ of polynomials verifying $b_k(Γ\cap Z(p_m))\geq a_{d_m}$ is positive, but there exists a contant $c_Γ$ such that this measure can be bounded by: \begin{equation} 0<\mathbb{P}(Σ_{d_m, a, Γ})\leq \frac{c_Γ d_m^{\frac{n-1}{2}}}{a_{d_m}}. \end{equation} This shows that the set of "pathological examples" has "small" measure. △ Less

Submitted 1 March, 2018; originally announced March 2018.

Volume of small balls and sub-Riemannian curvature in 3D contact manifolds

Authors: Davide Barilari, Ivan Beschastnyi, Antonio Lerario

Abstract: We compute the asymptotic expansion of the volume of small sub-Riemannian balls in a contact 3-dimensional manifold, and we express the first meaningful geometric coefficients in terms of geometric invariants of the sub-Riemannian structure We compute the asymptotic expansion of the volume of small sub-Riemannian balls in a contact 3-dimensional manifold, and we express the first meaningful geometric coefficients in terms of geometric invariants of the sub-Riemannian structure △ Less

Submitted 4 December, 2018; v1 submitted 27 February, 2018; originally announced February 2018.

Comments: 19 pages, v2 minor corrections

Random spectrahedra

Authors: Paul Breiding, Khazhgali Kozhasov, Antonio Lerario

Abstract: Spectrahedra are affine-linear sections of the cone $\mathcal{P}_n$ of positive semidefinite symmetric $n\times n$-matrices. We consider random spectrahedra that are obtained by intersecting~$\mathcal{P}_n$ with the affine-linear space $\mathbf{1} + V$, where $\mathbf{1}$ is the identity matrix and $V$ is an $\ell$-dimensional linear space that is chosen from the unique orthogonally invariant prob… ▽ More Spectrahedra are affine-linear sections of the cone $\mathcal{P}_n$ of positive semidefinite symmetric $n\times n$-matrices. We consider random spectrahedra that are obtained by intersecting~$\mathcal{P}_n$ with the affine-linear space $\mathbf{1} + V$, where $\mathbf{1}$ is the identity matrix and $V$ is an $\ell$-dimensional linear space that is chosen from the unique orthogonally invariant probability measure on the Grassmanian of $\ell$-planes in the space of $n\times n$ real symmetric matrices (endowed with the Frobenius inner product). Motivated by applications, for $\ell=3$ we relate the average number $\mathbb{E} σ_n$ of singular points on the boundary of a three-dimensional spectrahedron to the volume of the set of symmetric matrices whose two smallest eigenvalues coincide. In the case of quartic spectrahedra ($n=4$) we show that $\mathbb{E} σ_4 = 6-\frac{4}{\sqrt{3}}$. Moreover, we prove that the average number $\mathbb{E} ρ_n$ of singular points on the real variety of singular matrices in $\mathbf{1} + V$ is $n(n-1)$. This quantity is related to the volume of the variety of real symmetric matrices with repeated eigenvalues. Furthermore, we compute the asymptotics of the volume and the volume of the boundary of a random spectrahedron. △ Less

Submitted 17 September, 2019; v1 submitted 22 November, 2017; originally announced November 2017.

On the number of flats tangent to convex hypersurfaces in random position

Authors: Khazhgali Kozhasov, Antonio Lerario

Abstract: We investigate the problem of the number of flats simultaneously tangent to several convex hypersurfaces in real projective space from a random point of view. More precisely, we say that smooth convex hypersurfaces $X_1, \ldots, X_{d_{k,n}}\subset \mathbb{R}\textrm{P}^n$, where $d_{k,n}=(k+1)(n-k)$, are in random position if each one of them is randomly translated by elements… ▽ More We investigate the problem of the number of flats simultaneously tangent to several convex hypersurfaces in real projective space from a random point of view. More precisely, we say that smooth convex hypersurfaces $X_1, \ldots, X_{d_{k,n}}\subset \mathbb{R}\textrm{P}^n$, where $d_{k,n}=(k+1)(n-k)$, are in random position if each one of them is randomly translated by elements $g_1, \ldots, g_{d_{k,n}}$ sampled independently and uniformly from the Orthogonal group; we denote by $τ_k(X_1, \ldots, X_{d_{k,n}})$ the average number of $k$-dimensional projective subspaces (flats) which are simultaneously tangent to all the hypersurfaces. We prove that $$τ_k(X_1, \ldots, X_{d_{k,n}})=δ_{k,n}\cdot\prod_{i=1}^{d_{k,n}}\frac{|Ω_k(X_i)|}{|\textrm{Sch}(k,n)|},$$ where $δ_{k,n}$ is the expected degree (the average number of $k$-flats incident to $d_{k,n}$ many random $(n-k-1)$-flats), $|\textrm{Sch}(k,n)|$ is the volume of the Special Schubert variety of $k$-flats meeting a $(n-k-1)$-flat and $|Ω_k(X)|$ is the volume of the manifold of all $k$-flats tangent to $X$. We give a formula for the evaluation of $|Ω_k(X)|$ in term of some curvature integral of the embedding $X\hookrightarrow \mathbb{R}\textrm{P}^n$ and we relate it with the notion of intrinsic volumes of a convex set: $$\frac{|Ω_{k}(\partial C)|}{|\textrm{Sch}(k, n)|}=4|V_{n-k-1}(C)|,\quad k=0,\ldots,n-1.$$ We prove the upper bound: $$τ_k(X_1,\ldots,X_{d_{k,n}})\leqδ_{k, n}\cdot 4^{d_{k,n}}.$$ In the case $k=1,n=3$ for every $m>0$ we provide examples of smooth convex hypersurfaces $X_1,\ldots,X_4$ such that the intersection $Ω_1(X_1)\cap\cdots\capΩ_1(X_4)\subset\mathbb{G}(1,3)$ is transverse and consists of at least $m$ lines. We also present analogous results for semialgebraic hypersurfaces satisfying some nondegeneracy assumption. △ Less

Submitted 19 January, 2018; v1 submitted 21 February, 2017; originally announced February 2017.

Probabilistic Schubert Calculus

Authors: Peter Bürgisser, Antonio Lerario

Abstract: We initiate the study of average intersection theory in real Grassmannians. We define the expected degree $\textrm{edeg} G(k,n)$ of the real Grassmannian $G(k,n)$ as the average number of real $k$-planes meeting nontrivially $k(n-k)$ random subspaces of $\mathbb{R}^n$, all of dimension $n-k$, where these subspaces are sampled uniformly and independently from $G(n-k,n)$. We express… ▽ More We initiate the study of average intersection theory in real Grassmannians. We define the expected degree $\textrm{edeg} G(k,n)$ of the real Grassmannian $G(k,n)$ as the average number of real $k$-planes meeting nontrivially $k(n-k)$ random subspaces of $\mathbb{R}^n$, all of dimension $n-k$, where these subspaces are sampled uniformly and independently from $G(n-k,n)$. We express $\textrm{edeg} G(k,n)$ in terms of the volume of an invariant convex body in the tangent space to the Grassmanian, and prove that for fixed $k\ge 2$ and $n\to\infty$, $$ \textrm{edeg} G(k,n) = \textrm{deg} G_\mathbb{C}(k,n)^{\frac{1}{2} ε_k + o(1)}, $$ where $\textrm{deg} G_\mathbb{C}(k,n)$ denotes the degree of the corresponding complex Grassmannian and $ε_k$ is monotonically decreasing with $\lim_{k\to\infty} ε_k = 1$. In the case of the Grassmannian of lines, we prove the finer asymptotic \begin{equation*} \textrm{edeg} G(2,n+1) = \frac{8}{3π^{5/2}\sqrt{n}}\, \left(\frac{π^2}{4} \right)^n \left(1+\mathcal{O}(n^{-1})\right). \end{equation*} The expected degree turns out to be the key quantity governing questions of the random enumerative geometry of flats. We associate with a semialgebraic set $X\subseteq\mathbb{R}\textrm{P}^{n-1}$ of dimension $n-k-1$ its Chow hypersurface $Z(X)\subseteq G(k,n)$, consisting of the $k$-planes $A$ in $\mathbb{R}^n$ whose projectivization intersects $X$. Denoting $N:=k(n-k)$, we show that $$ \mathbb{E}\#\left(g_1Z(X_1)\cap\cdots\cap g_N Z(X_N)\right) = \textrm{edeg} G(k,n) \cdot \prod_{i=1}^{N} \frac{|X_i|}{|\mathbb{R}\textrm{P}^{m}|}, $$ where each $X_i$ is of dimension $m=n-k-1$, the expectation is taken with respect to independent uniformly distributed $g_1,\ldots,g_m\in O(n)$ and $|X_i|$ denotes the $m$-dimensional volume of $X_i$. △ Less

Submitted 19 January, 2018; v1 submitted 20 December, 2016; originally announced December 2016.

Comments: This version contains minor changes. The abstract is modified with of a more precise statement for the asymptotic of the expected degree (the previous version of the abstract contained an incorrect statement)

MSC Class: 14N15; 14Pxx; 52A22; 60D05

Random fields and the enumerative geometry of lines on real and complex hypersurfaces

Authors: Saugata Basu, Antonio Lerario, Erik Lundberg, Chris Peterson

Abstract: We derive a formula expressing the average number $E_n$ of real lines on a random hypersurface of degree $2n-3$ in $\mathbb{R}\textrm{P}^n$ in terms of the expected modulus of the determinant of a special random matrix. In the case $n=3$ we prove that the average number of real lines on a random cubic surface in $\mathbb{R}\textrm{P}^3$ equals: $$E_3=6\sqrt{2}-3.$$ Our technique can also be used t… ▽ More We derive a formula expressing the average number $E_n$ of real lines on a random hypersurface of degree $2n-3$ in $\mathbb{R}\textrm{P}^n$ in terms of the expected modulus of the determinant of a special random matrix. In the case $n=3$ we prove that the average number of real lines on a random cubic surface in $\mathbb{R}\textrm{P}^3$ equals: $$E_3=6\sqrt{2}-3.$$ Our technique can also be used to express the number $C_n$ of complex lines on a generic hypersurface of degree $2n-3$ in $\mathbb{C}\textrm{P}^n$ in terms of the determinant of a random Hermitian matrix. As a special case we obtain a new proof of the classical statement $C_3=27.$ We determine, at the logarithmic scale, the asymptotic of the quantity $E_n$, by relating it to $C_n$ (whose asymptotic has been recently computed D. Zagier). Specifically we prove that: $$\lim_{n\to \infty}\frac{\log E_n}{\log C_n}=\frac{1}{2}.$$ Finally we show that this approach can be used to compute the number $R_n=(2n-3)!!$ of real lines, counted with their intrinsic signs, on a generic real hypersurface of degree $2n-3$ in $\mathbb{R}\textrm{P}^n$. △ Less

Submitted 8 November, 2016; v1 submitted 4 October, 2016; originally announced October 2016.

Comments: 24 pages. This version replaces an earlier version by the same authors entitled "The average number of real lines on a random cubic". The title and abstract have changed to reflect substantial additions to the paper

Homotopically Invisible Singular Curves

Authors: Andrei A. Agrachev, Francesco Boarotto, Antonio Lerario

Abstract: Given a smooth manifold $M$ and a totally nonholonomic distribution $Δ\subset TM$ of rank $d$, we study the effect of singular curves on the topology of the space of horizontal paths joining two points on $M$. Singular curves are critical points of the endpoint map $F:γ\mapstoγ(1)$ defined on the space $Ω$ of horizontal paths starting at a fixed point $x$. We consider a subriemannian energy… ▽ More Given a smooth manifold $M$ and a totally nonholonomic distribution $Δ\subset TM$ of rank $d$, we study the effect of singular curves on the topology of the space of horizontal paths joining two points on $M$. Singular curves are critical points of the endpoint map $F:γ\mapstoγ(1)$ defined on the space $Ω$ of horizontal paths starting at a fixed point $x$. We consider a subriemannian energy $J:Ω(y)\to\mathbb R$, where $Ω(y)=F^{-1}(y)$ is the space of horizontal paths connecting $x$ with $y$, and study those singular paths that do not influence the homotopy type of the Lebesgue sets $\{γ\inΩ(y)\,|\,J(γ)\le E\}$. We call them homotopically invisible. It turns out that for $d\geq 3$ generic subriemannian structures have only homotopically invisible singular curves. Our results can be seen as a first step for developing the calculus of variations on the singular space of horizontal curves (in this direction we prove a subriemannian Minimax principle and discuss some applications). △ Less

Submitted 29 March, 2016; originally announced March 2016.

On the geometry of random lemniscates

Authors: Antonio Lerario, Erik Lundberg

Abstract: We investigate the geometry of a random rational lemniscate $Γ$, the level set $\{|r(z)|=1\}$ on the Riemann sphere of the modulus of a random rational function $r$. We assign a probability distribution to the space of rational functions $r=p/q$ of degree $n$ by sampling $p$ and $q$ independently from the complex Kostlan ensemble of random polynomials of degree $n$. We prove that the average \em… ▽ More We investigate the geometry of a random rational lemniscate $Γ$, the level set $\{|r(z)|=1\}$ on the Riemann sphere of the modulus of a random rational function $r$. We assign a probability distribution to the space of rational functions $r=p/q$ of degree $n$ by sampling $p$ and $q$ independently from the complex Kostlan ensemble of random polynomials of degree $n$. We prove that the average \emph{spherical length} of $Γ$ is $\frac{π^2}{2} \sqrt{n},$ which is proportional to the square root of the maximal spherical length. We also provide an asymptotic for the average number of points on the curve that are tangent to one of the meridians on the Riemann sphere (i.e. tangent to one of the radial directions in the plane). Concerning the topology of $Γ$, on a local scale, we prove that for every disk $D$ of radius $O(n^{-1/2})$ in the Riemann sphere and any \emph{arrangement} (i.e. embedding) of finitely many circles $A\subset D$ there is a positive probability (independent of $n$) that $(D,Γ\cap D)$ is isotopic to $( D,A)$. (A local random version of Hilbert's Sixteenth Problem restricted to lemniscates.) Corollary: the average number of connected components of $Γ$ increases linearly (the maximum rate possible according to a deterministic upper bound). △ Less

Submitted 10 January, 2016; originally announced January 2016.

Comments: 27 pages, 3 figures

MSC Class: 31A15; 30C15; 14P05; 14P25; 60G60; 60E10; 57R52

Homotopy properties of horizontal loop spaces and applications to closed sub-riemannian geodesics

Authors: Antonio Lerario, Andrea Mondino

Abstract: Given a manifold $M$ and a proper sub-bundle $Δ\subset TM$, we study homotopy properties of the horizontal base-point free loop space $Λ$, i.e. the space of absolutely continuous maps $γ:S^1\to M$ whose velocities are constrained to $Δ$ (for example: legendrian knots in a contact manifold). A key technical ingredient for our study is the proof that the base-point map $F:Λ\to M$ (the map associat… ▽ More Given a manifold $M$ and a proper sub-bundle $Δ\subset TM$, we study homotopy properties of the horizontal base-point free loop space $Λ$, i.e. the space of absolutely continuous maps $γ:S^1\to M$ whose velocities are constrained to $Δ$ (for example: legendrian knots in a contact manifold). A key technical ingredient for our study is the proof that the base-point map $F:Λ\to M$ (the map associating to every loop its base-point) is a Hurewicz fibration for the $W^{1,2}$ topology on $Λ$. Using this result we show that, even if the space $Λ$ might have deep singularities (for example: constant loops form a singular manifold homeomorphic to $M$), its homotopy can be controlled nicely. In particular we prove that $Λ$ (with the $W^{1,2}$ topology) has the homotopy type of a CW-complex, that its inclusion in the standard base-point free loop space (i.e. the space of loops with no non-holonomic constraint) is a homotopy equivalence, and consequently its homotopy groups can be computed as $π_k(Λ)\simeq π_k(M) \ltimes π_{k+1}(M)$ for all $k\geq 0.$ These topological results are applied, in the second part of the paper, to the problem of the existence of closed sub-riemannian geodesics. In the general case we prove that if $(M, Δ)$ is a compact sub-riemannian manifold, each non trivial homotopy class in $π_1(M)$ can be represented by a closed sub-riemannian geodesic. In the contact case, we prove a min-max result generalizing the celebrated Lyusternik-Fet theorem: if $(M, Δ)$ is a compact, contact manifold, then every sub-riemannian metric on $Δ$ carries at least one closed sub-riemannian geodesic. This result is based on a combination of the above topological results with a delicate study of the Palais-Smale condition in the vicinity of abnormal loops (singular points of $Λ$). △ Less

Submitted 5 December, 2018; v1 submitted 23 September, 2015; originally announced September 2015.

Comments: 25 pages. Final version to appear in the Transactions of the American Math. Society, Series B

Journal ref: Trans. Amer. Math. Soc. Ser. B, 6, (2019), 187-214

On the zeros of random harmonic polynomials: the truncated model

Authors: Antonio Lerario, Erik Lundberg

Abstract: A probabilistic approach to the study of the number of zeros of complex harmonic polynomials was initiated by W. Li and A. Wei (2009), who derived a Kac-Rice type formula for the expected number of zeros of random harmonic polynomials with independent Gaussian coefficients. They also provided asymptotics for a complex version of the Kostlan ensemble. Here we determine asymptotics for the alternati… ▽ More A probabilistic approach to the study of the number of zeros of complex harmonic polynomials was initiated by W. Li and A. Wei (2009), who derived a Kac-Rice type formula for the expected number of zeros of random harmonic polynomials with independent Gaussian coefficients. They also provided asymptotics for a complex version of the Kostlan ensemble. Here we determine asymptotics for the alternative truncated model that was recently proposed by J. Hauenstein, D. Mehta, and the authors. Our results confirm (and sharpen) their (3/2)-powerlaw conjecture that had been formulated on the basis of computer experiments. △ Less

Submitted 12 May, 2016; v1 submitted 3 July, 2015; originally announced July 2015.

Comments: 15 pages, 1 figure. Minor changes in this version include a more detailed proof of Theorem 3

Journal ref: Journal of Mathematical Analysis and Applications 438 (2016), 1041-1054

Homotopy properties of endpoint maps and a theorem of Serre in subriemannian geometry

Authors: Francesco Boarotto, Antonio Lerario

Abstract: We discuss homotopy properties of endpoint maps for affine control systems. We prove that these maps are Hurewicz fibrations with respect to some $W^{1,p}$ topology on the space of trajectories, for a certain $p>1$. We study critical points of geometric costs for these affine control systems, proving that if the base manifold is compact then the number of their critical points is infinite (we use… ▽ More We discuss homotopy properties of endpoint maps for affine control systems. We prove that these maps are Hurewicz fibrations with respect to some $W^{1,p}$ topology on the space of trajectories, for a certain $p>1$. We study critical points of geometric costs for these affine control systems, proving that if the base manifold is compact then the number of their critical points is infinite (we use Lusternik-Schnirelmann category combined with the Hurewicz property). In the special case where the control system is subriemannian this result can be read as the corresponding version of Serre's theorem, on the existence of infinitely many geodesics between two points on a compact riemannian manifold. In the subriemannian case we show that the Hurewicz property holds for all $p\geq1$ and the horizontal-loop space with the $W^{1,2}$ topology has the homotopy type of a CW-complex (as long as the endpoint map has at least one regular value); in particular the inclusion of the horizontal-loop space in the ordinary one is a homotopy equivalence. △ Less

Submitted 26 February, 2015; originally announced February 2015.

Experiments on the zeros of harmonic polynomials using certified counting

Authors: Jonathan D. Hauenstein, Antonio Lerario, Erik Lundberg, Dhagash Mehta

Abstract: Motivated by Wilmshurst's conjecture, we investigate the zeros of harmonic polynomials. We utilize a certified counting approach which is a combination of two methods from numerical algebraic geometry: numerical polynomial homotopy continuation to compute a numerical approximation of each zero and Smale's alpha-theory to certify the results. Using this approach, we provide new examples of harmonic… ▽ More Motivated by Wilmshurst's conjecture, we investigate the zeros of harmonic polynomials. We utilize a certified counting approach which is a combination of two methods from numerical algebraic geometry: numerical polynomial homotopy continuation to compute a numerical approximation of each zero and Smale's alpha-theory to certify the results. Using this approach, we provide new examples of harmonic polynomials having the most extreme number of zeros known so far; we also study the mean and variance of the number of zeros of random harmonic polynomials. △ Less

Submitted 20 June, 2014; originally announced June 2014.

How many geodesics join two points on a contact sub-Riemannian manifold?

Authors: Antonio Lerario, Luca Rizzi

Abstract: We investigate the number of geodesics between two points $p$ and $q$ on a contact sub-Riemannian manifold M. We show that the count of geodesics on $M$ is controlled by the count on its nilpotent approximation at $p$ (a contact Carnot group). For contact Carnot groups we make the count explicit in exponential coordinates $(x,z) \in \mathbb{R}^{2n} \times \mathbb{R}$ centered at $p$. In this case… ▽ More We investigate the number of geodesics between two points $p$ and $q$ on a contact sub-Riemannian manifold M. We show that the count of geodesics on $M$ is controlled by the count on its nilpotent approximation at $p$ (a contact Carnot group). For contact Carnot groups we make the count explicit in exponential coordinates $(x,z) \in \mathbb{R}^{2n} \times \mathbb{R}$ centered at $p$. In this case we prove that for the generic $q$ the number of geodesics $ν(q)$ between $p$ and $q=(x,z)$ satisfies: \[ C_1\frac{|z|}{\|x\|^2} + R_1 \leq ν(q) \leq C_2\frac{|z|}{\|x\|^2} + R_2\] for some constants $C_1,C_2$ and $R_1,R_2$. We recover exact values for Heisenberg groups, where $C_1=C_2 = \frac{8}π$. Removing the genericity condition for $q$, geodesics might appear in families and we prove a similar statement for their topology. We study these families, and in particular we focus on the unexpected appearance of isometrically non-equivalent geodesics: families on which the action of isometries is not transitive. We apply the previous study to contact sub-Riemannian manifolds: we prove that for any given point $p \in M$ there is a sequence of points $p_n$ such that $p_n \to p$ and that the number of geodesics between $p$ and $p_n$ grows unbounded (moreover these geodesics have the property of being contained in a small neighborhood of $p$). △ Less

Submitted 25 April, 2017; v1 submitted 16 May, 2014; originally announced May 2014.

Comments: 37 pages, 10 figures, final version to appear on "Journal of Symplectic Geometry". Minor corrections prior to publication

MSC Class: 53D10; 53C17

Journal ref: Journal of Symplectic Geometry, Volume 15 (2017) Number 1

On the number of connected components of random algebraic hypersurfaces

Authors: Yan Fyodorov, Antonio Lerario, Erik Lundberg

Abstract: We study the expectation of the number of components $b_0(X)$ of a random algebraic hypersurface $X$ defined by the zero set in projective space $\mathbb{R}P^n$ of a random homogeneous polynomial $f$ of degree $d$. Specifically, we consider "invariant ensembles", that is Gaussian ensembles of polynomials that are invariant under an orthogonal change of variables. The classification due to E. Kos… ▽ More We study the expectation of the number of components $b_0(X)$ of a random algebraic hypersurface $X$ defined by the zero set in projective space $\mathbb{R}P^n$ of a random homogeneous polynomial $f$ of degree $d$. Specifically, we consider "invariant ensembles", that is Gaussian ensembles of polynomials that are invariant under an orthogonal change of variables. The classification due to E. Kostlan shows that specifying an invariant ensemble is equivalent to assigning a weight to each eigenspace of the spherical Laplacian. Fixing $n$, we consider a family of invariant ensembles (choice of eigenspace weights) depending on the degree $d$. Under a rescaling assumption on the eigenspace weights (as $d \rightarrow \infty$), we prove that the order of growth of $\mathbb{E} b_0(X)$ satisfies: $$\mathbb{E} b_{0}(X)=Θ\left(\left[ \mathbb{E} b_0(X\cap \mathbb{R}P^1) \right]^{n} \right). $$ This relates the average number of components of $X$ to the classical problem of M. Kac (1943) on the number of zeros of the random univariate polynomial $f|_{\mathbb{R}P^1}.$ The proof requires an upper bound for $\mathbb{E} b_0(X)$, which we obtain by counting extrema using Random Matrix Theory methods from recent work of the first author, and it also requires a lower bound, which we obtain by a modification of the barrier method. We also provide a quantitative upper bound for the implied constant in the above asymptotic; for the real Fubini-Study model these estimates reveal super-exponential decay of the leading coefficient (in $d$) of $\mathbb{E} b_0(X)$ (as $n \rightarrow \infty$). △ Less

Submitted 27 June, 2015; v1 submitted 21 April, 2014; originally announced April 2014.

Comments: 24 pages, 1 figure. Now published in the Journal of Geometry and Physics

Journal ref: Journal of Geometry and Physics, Volume 95, September 2015, Pages 1-20

Intrinsic volumes of set of singular matrices

Authors: Antonio Lerario

Abstract: We explicitly compute the intrinsic volume of the set of real (and real symmetric) matrices of Frobenius norm one and given corank (the case of matrices with zero determinant as a special case). We give asymptotic formulas for our computations and we discuss several examples and applications. We explicitly compute the intrinsic volume of the set of real (and real symmetric) matrices of Frobenius norm one and given corank (the case of matrices with zero determinant as a special case). We give asymptotic formulas for our computations and we discuss several examples and applications. △ Less

Submitted 20 January, 2014; originally announced January 2014.

Geodesics and admissible-path spaces in Carnot Groups

Authors: A. A. Agrachev, A. Gentile, A. Lerario

Abstract: We study the topology of admissible-loop spaces on a step-two Carnot group G. We use a Morse-Bott theory argument to study the structure and the number of geodesics on G connecting the origin with a 'vertical' point (geodesics are critical points of the 'Energy' functional, defined on the loop space). These geodesics typically appear in families (critical manifolds). Letting the energy grow, we ob… ▽ More We study the topology of admissible-loop spaces on a step-two Carnot group G. We use a Morse-Bott theory argument to study the structure and the number of geodesics on G connecting the origin with a 'vertical' point (geodesics are critical points of the 'Energy' functional, defined on the loop space). These geodesics typically appear in families (critical manifolds). Letting the energy grow, we obtain an upper bound on the number of critical manifolds with energy bounded by s: this upper bound is polynomial in s of degree l (the corank of the distribution). Despite this evidence, we show that Morse-Bott inequalities are far from sharp: the topology (i.e. the sum of the Betti numbers) of the loop space filtered by the energy grows at most as a polynomial in s of degree l-1. In the limit for s at infinity, all Betti numbers (except the zeroth) must actually vanish: the admissible-loop space is contractible. In the case the corank l=2 we compute exactly the leading coefficient of the sum of the Betti numbers of the admissible-loop space with energy less than s. This coefficient is expressed by an integral on the unit circle depending only on the coordinates of the final point and the structure constants of the Lie algebra of G. △ Less

Submitted 26 November, 2013; originally announced November 2013.

Journal ref: Geom. Topol. 19 (2015) 1569-1630

Gap probabilities and applications to geometry and random topology

Authors: Antonio Lerario, Erik Lundberg

Abstract: We give an exact formula for the value of the derivative at zero of the gap probability in finite n x n Gaussian ensembles. As n goes to infinity our computation provides an asymptotic (with an explicit constant) of the order n^(1/2). As a first application, we consider the set of n x n (Real, Complex or Quaternionic) Hermitian matrices with Frobenius norm one and determinant zero. We give an ex… ▽ More We give an exact formula for the value of the derivative at zero of the gap probability in finite n x n Gaussian ensembles. As n goes to infinity our computation provides an asymptotic (with an explicit constant) of the order n^(1/2). As a first application, we consider the set of n x n (Real, Complex or Quaternionic) Hermitian matrices with Frobenius norm one and determinant zero. We give an exact formula for the intrinsic volume of this set and as n goes to infinity its asymptotic (with an explicit constant) is of the order n^(1/2). As a second application we consider the problem of computing Betti numbers of an intersection of k random Kostlan quadrics in RP^n. We show that the i-th Betti number is asymptotically expected to be one (for i sufficiently away from n/2). In the case k=2 the the sum of all Betti numbers was recently shown by the first author to equal n+o(n). Here we sharpen this asymptotic proving an asymptotic with two orders of precision and explicit constants. △ Less

Submitted 22 September, 2013; originally announced September 2013.

MSC Class: 60B20; 14P25; 53C65; 55R20