-
New chaos decomposition of Gaussian nodal volumes
Authors:
Michele Stecconi,
Anna Paola Todino
Abstract:
We investigate the random variable defined by the volume of the zero set of a smooth Gaussian field, on a general Riemannian manifold possibly with boundary, a fundamental object in probability and geometry. We prove a new explicit formula for its Wiener-Itô chaos decomposition that is notably simpler than existing alternatives and which holds in greater generality, without requiring the field to…
▽ More
We investigate the random variable defined by the volume of the zero set of a smooth Gaussian field, on a general Riemannian manifold possibly with boundary, a fundamental object in probability and geometry. We prove a new explicit formula for its Wiener-Itô chaos decomposition that is notably simpler than existing alternatives and which holds in greater generality, without requiring the field to be compatible with the geometry of the manifold. A key advantage of our formulation is a significant reduction in the complexity of computing the variance of the nodal volume. Unlike the standard Hermite expansion, which requires evaluating the expectation of products of $2+2n$ Hermite polynomials, our approach reduces this task--in any dimension $n$--to computing the expectation of a product of just four Hermite polynomials. As a consequence, we establish a new exact formula for the variance, together with lower and upper bounds. Our approach introduces two parameters associated to any Gaussian field: the frequency and the eccentricity. We use them to establish a quantitative version of Berry's cancellation phenomenon for Riemannian random waves on general manifolds.
△ Less
Submitted 28 May, 2025;
originally announced May 2025.
-
Zeros and Critical Points of Gaussian Fields: Cumulants Asymptotics and Limit Theorems
Authors:
Michele Ancona,
Louis Gass,
Thomas Letendre,
Michele Stecconi
Abstract:
Let $f:\mathbb{R}^d \to \mathbb{R}^k$ be a smooth centered stationary Gaussian field and $K \subset \mathbb{R}^d$ be a compact set. In this paper, we determine the asymptotics as $n \to \infty$ of all the cumulants of the $(d-k)$-dimensional volume of $f^{-1}(0) \cap nK$. When $k=1$, we obtain similar asymptotics for the number of critical points of $f$ in $nK$. Our main hypotheses are some regula…
▽ More
Let $f:\mathbb{R}^d \to \mathbb{R}^k$ be a smooth centered stationary Gaussian field and $K \subset \mathbb{R}^d$ be a compact set. In this paper, we determine the asymptotics as $n \to \infty$ of all the cumulants of the $(d-k)$-dimensional volume of $f^{-1}(0) \cap nK$. When $k=1$, we obtain similar asymptotics for the number of critical points of $f$ in $nK$. Our main hypotheses are some regularity and non-degeneracy of the field, as well as mild integrability conditions on the first derivatives of its covariance kernel. As corollaries of these cumulants estimates, we deduce a strong Law of Large Numbers and a Central Limit Theorem for the nodal volume (resp.~the number of critical points) of a smooth non-degenerate field whose covariance kernel admits square integrable derivatives at any order. Our results hold more generally for a one-parameter family $(f_n)$ of Gaussian fields admitting a stationary local scaling limit as $n \to \infty$, for example Kostlan polynomials in the large degree limit.
△ Less
Submitted 17 January, 2025;
originally announced January 2025.
-
Critical Points of Chi-Fields
Authors:
Domenico Marinucci,
Michele Stecconi
Abstract:
We give here a semi-analytic formula for the density of critical values for chi random fields on a general manifold. The result uses Kac-Rice argument and a convenient representation for the Hessian matrix of chi fields, which makes the computation of their expected determinant much more feasible. In the high-threshold limit, the expression for the expected value of critical points becomes very tr…
▽ More
We give here a semi-analytic formula for the density of critical values for chi random fields on a general manifold. The result uses Kac-Rice argument and a convenient representation for the Hessian matrix of chi fields, which makes the computation of their expected determinant much more feasible. In the high-threshold limit, the expression for the expected value of critical points becomes very transparent: up to explicit constants, it amounts to Hermite polynomials times a Gaussian density. Our results are also motivated by the analysis of polarization random fields in Cosmology, but they might lead to applications in many different environments.
△ Less
Submitted 30 September, 2024;
originally announced September 2024.
-
Expected Lipschitz-Killing curvatures for spin random fields and other non-isotropic fields
Authors:
Francesca Pistolato,
Michele Stecconi
Abstract:
Spherical spin random fields are used to model the Cosmic Microwave Background polarization, the study of which is at the heart of modern Cosmology and will be the subject of the LITEBIRD mission, in the 2030s. Its scope is to collect datas to test the theoretical predictions of the Cosmic Inflation model. In particular, the Minkowski functionals, or the Lipschitz-Killing curvatures, of excursion…
▽ More
Spherical spin random fields are used to model the Cosmic Microwave Background polarization, the study of which is at the heart of modern Cosmology and will be the subject of the LITEBIRD mission, in the 2030s. Its scope is to collect datas to test the theoretical predictions of the Cosmic Inflation model. In particular, the Minkowski functionals, or the Lipschitz-Killing curvatures, of excursion sets can be used to detect deviations from Gaussianity and anisotropies of random fields, being fine descriptors of their geometry and topology.
In this paper we give an explicit, non-asymptotic, formula for the expectation of the Lipshitz-Killing curvatures of the excursion set of the real part of an arbitrary left-invariant Gaussian spin spherical random field, seen as a field on $SO(3)$. Our findings are coherent with the asymptotic ones presented in Carrón Duque, J. et al. "Minkowski Functionals in $SO(3)$ for the spin-2 CMB polarisation field", Journal of Cosmology and Astroparticle Physics (2024). We also give explicit expressions for the Adler-Taylor metric, and its curvature. We obtain such result as an application of a general formula that applies to any nondegenerate Gaussian random field defined on an arbitrary three dimensional compact Riemannian manifold. The novelty is that the Lipschitz-Killing curvatures are computed with respect to an arbitrary metric, possibly different than the Adler-Taylor metric of the field.
△ Less
Submitted 7 June, 2024;
originally announced June 2024.
-
Nodal Volumes as Differentiable Functionals of Gaussian fields
Authors:
Giovanni Peccati,
Michele Stecconi
Abstract:
We characterize the absolute continuity of the law and the Malliavin-Sobolev regularity of random nodal volumes associated with smooth Gaussian fields on generic $\mathcal{C}^2$ manifolds with arbitrary dimension. Our results extend and generalize the seminal contribution by Angst and Poly (2020) about stationary fields on Euclidean spaces and cover, in particular, the case of two-dimensional mani…
▽ More
We characterize the absolute continuity of the law and the Malliavin-Sobolev regularity of random nodal volumes associated with smooth Gaussian fields on generic $\mathcal{C}^2$ manifolds with arbitrary dimension. Our results extend and generalize the seminal contribution by Angst and Poly (2020) about stationary fields on Euclidean spaces and cover, in particular, the case of two-dimensional manifolds, possibly with boundary and corners. The main tools exploited in the proofs include the use of Gaussian measures on Banach spaces, Morse theory, and the characterization of Malliavin-Sobolev spaces in terms of ray absolute continuity. Several examples are analyzed in detail.
△ Less
Submitted 1 May, 2024; v1 submitted 29 March, 2024;
originally announced March 2024.
-
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.
-
The number of critical points of a Gaussian field: finiteness of moments
Authors:
Louis Gass,
Michele Stecconi
Abstract:
Let $f$ be a Gaussian random field on $\mathbb{R}^d$ and let $X$ be the number of critical points of $f$ contained in a compact subset. A long-standing conjecture is that, under mild regularity and non-degeneracy conditions on $f$, the random variable $X$ has finite moments. So far, this has been established only for moments of order lower than three. In this paper, we prove the conjecture. Precis…
▽ More
Let $f$ be a Gaussian random field on $\mathbb{R}^d$ and let $X$ be the number of critical points of $f$ contained in a compact subset. A long-standing conjecture is that, under mild regularity and non-degeneracy conditions on $f$, the random variable $X$ has finite moments. So far, this has been established only for moments of order lower than three. In this paper, we prove the conjecture. Precisely, we show that $X$ has finite moment of order $p$, as soon as, at any given point, the Taylor polynomial of order $p$ of $f$ is non-degenerate. We present a simple and general approach that is not specific to critical points and we provide various applications. In particular, we show the finiteness of moments of the nodal volumes and the number of critical points of a large class of smooth, or holomorphic, Gaussian fields, including the Bargmann-Fock ensemble.
△ Less
Submitted 19 July, 2023; v1 submitted 27 May, 2023;
originally announced May 2023.
-
Expectation of a random submanifold: the zonoid section
Authors:
Léo Mathis,
Michele Stecconi
Abstract:
We develop a calculus based on zonoids - a special class of convex bodies - for the expectation of functionals related to a random submanifold $Z$ defined as the zero set of a smooth vector valued random field on a Riemannian manifold. We identify a convenient set of hypotheses on the random field under which we define its zonoid section, an assignment of a zonoid $ζ(p)$ in the exterior algebra of…
▽ More
We develop a calculus based on zonoids - a special class of convex bodies - for the expectation of functionals related to a random submanifold $Z$ defined as the zero set of a smooth vector valued random field on a Riemannian manifold. We identify a convenient set of hypotheses on the random field under which we define its zonoid section, an assignment of a zonoid $ζ(p)$ in the exterior algebra of the cotangent space at each point $p$ of the manifold. We prove that the first intrinsic volume of $ζ(p)$ is the Kac-Rice density of the expected volume of $Z$, while its center computes the expected current of integration over $Z$. We show that the intersection of random submanifolds corresponds to the wedge product of the zonoid sections and that the preimage corresponds to the pull-back.
Combining this with the recently developed zonoid algebra, it allows to give a multiplication structure to the Kac-Rice formulas, resembling that of the cohomology ring of a manifold. Moreover, it establishes a connection with the theory of convex bodies and valuations, which includes very deep and difficult results such as the Alexandrov-Fenchel inequality and the Brunn-Minkowsky inequality. We export them to this context to prove two analogous new inequalities for random submanifolds. Applying our results in the context of Finsler geometry, we prove some new Crofton formulas for the length of curves and the Holmes-Thompson volumes of submanifolds in a Finsler manifold.
△ Less
Submitted 22 March, 2023; v1 submitted 20 October, 2022;
originally announced October 2022.
-
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.
-
Random Differential Topology
Authors:
Michele Stecconi
Abstract:
This manuscript collects three independent works: arXiv:1902.03805, arXiv:1906.04444, with Antonio Lerario and arXiv:2103.10853, together with some additional results, observations, examples and comments, some of which were taken up in the subsequent work arxiv:2010.14553 (with Antonio Lerario). The topic discussed in this thesis are at the crossroad of Differential Topology and Random Geometry. T…
▽ More
This manuscript collects three independent works: arXiv:1902.03805, arXiv:1906.04444, with Antonio Lerario and arXiv:2103.10853, together with some additional results, observations, examples and comments, some of which were taken up in the subsequent work arxiv:2010.14553 (with Antonio Lerario). The topic discussed in this thesis are at the crossroad of Differential Topology and Random Geometry. The common thread of these works is the study of topological and geometric properties of random smooth maps. The first chapter contains the motivations and the main results of the thesis. In particular it describes how these works are related as parts of a general method to study topological properties of smooth random maps. In the second chapter a general framework to deal with issues of differential geometric and topological nature regarding smooth Gaussian Random Fields is developed. The main results in this context are: a characterization of the convergence in law in terms of the covariance functions and a probabilistic version of Thom's jet transversality theorem. The third chapter is devoted to a generalization of the famous Kac-Rice formula. The formula presented here calculates the expected number of points at which a smooth random map meets a given (deterministic) submanifold of the codomain, whereas the standard formula deals with preimages of a point. In the fourth chapter all the previous methods are applied to Kostlan random polynomials. The fifth and last chapter of the thesis is devoted to present and prove an original theorem of Differential Topology. It says that the Betti numbers of the solution of a system of regular equations cannot decrease under a $\mathcal{C}^0$-small perturbation of the equations.
△ Less
Submitted 3 November, 2021; v1 submitted 29 October, 2021;
originally announced October 2021.
-
Isotropic random spin weighted functions on $S^2$ vs isotropic random fields on $S^3$
Authors:
Michele Stecconi
Abstract:
We show that an isotropic random field on $SU(2)$ is not necessarily isotropic as a random field on $S^3$, although the two spaces can be identified. The ambiguity is due to the fact that the notion of isotropy on a group and on a sphere are different, the latter being much stronger. We show that any isotropic random field on $S^3$ is necessarily a superposition of uncorrelated random harmonic hom…
▽ More
We show that an isotropic random field on $SU(2)$ is not necessarily isotropic as a random field on $S^3$, although the two spaces can be identified. The ambiguity is due to the fact that the notion of isotropy on a group and on a sphere are different, the latter being much stronger. We show that any isotropic random field on $S^3$ is necessarily a superposition of uncorrelated random harmonic homogeneous polynomials, such that the one of degree $d$ is necessarily a superposition of uncorrelated random spin weighted functions of every possible spin weight in the range $\{-\frac{d}{2},\dots,\frac{d}{2}\}$, each of which is isotropic in the sense of $SU(2)$. Moreover, for a random field of fixed degree, each spin weight appears with the same magnitude, in a sense to be specified.
In addition we will give an overview of the theory of spin weighted functions and Wigner $D$-matrices, with the purpose of gathering together many different points of view and adding ours. As a byproduct of this survey we will prove some new properties of the Wigner matrices and a formula relating the operators $ð\overlineð$ and the horizontal Laplacian of the Hopf fibration $S^3\to S^2$.
△ Less
Submitted 2 August, 2021;
originally announced August 2021.
-
Kac-Rice formula for transverse intersections
Authors:
Michele Stecconi
Abstract:
We prove a generalized Kac-Rice formula that, in a well defined regular setting, computes the expected cardinality of the preimage of a submanifold via a random map, by expressing it as the integral of a density. Our proof starts from scratch and although it follows the guidelines of the standard proofs of Kac-Rice formula, it contains some new ideas coming from the point of view of measure theory…
▽ More
We prove a generalized Kac-Rice formula that, in a well defined regular setting, computes the expected cardinality of the preimage of a submanifold via a random map, by expressing it as the integral of a density. Our proof starts from scratch and although it follows the guidelines of the standard proofs of Kac-Rice formula, it contains some new ideas coming from the point of view of measure theory. Generalizing further, we extend this formula to any other type of counting measure, such as the intersection degree.
We discuss in depth the specialization to smooth Gaussian random sections of a vector bundle. Here, the formula computes the expected number of points where the section meets a given submanifold of the total space, it holds under natural non-degeneracy conditions and can be simplified by using appropriate connections. Moreover, we point out a class of submanifolds, that we call sub-Gaussian, for which the formula is locally finite and depends continuously with respect to the covariance of the first jet. In particular, this applies to any notion of singularity of sections that can be defined as the set of points where the jet prolongation meets a given semialgebraic submanifold of the jet space.
Various examples of applications and special cases are discussed. In particular, we report a new proof of the Poincaré kinematic formula for homogeneous spaces and we observe how the formula simplifies for isotropic Gaussian fields on the sphere.
△ Less
Submitted 19 March, 2021;
originally announced March 2021.
-
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.
-
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.
-
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.
