-
Landscape $k$-complexity of isotropic centered Gaussian fields
Authors:
Jean-Marc Azaïs,
Céline Delmas
Abstract:
In large dimension, we study the asymptotic behavior of the mean number of critical points with index $k$ below a level $u$ for an isotropic centered Gaussian random field defined on a family of subsets of $\mathbb{R}^d$ depending on $d$. We prove the existence of three regimes depending on the speed of growth of the volume the parameter set. In the first regime the mean number of critical points…
▽ More
In large dimension, we study the asymptotic behavior of the mean number of critical points with index $k$ below a level $u$ for an isotropic centered Gaussian random field defined on a family of subsets of $\mathbb{R}^d$ depending on $d$. We prove the existence of three regimes depending on the speed of growth of the volume the parameter set. In the first regime the mean number of critical points decreases exponentially with the dimension. For the second regime, there exists a critical level $u_c$ such that the mean number of critical points with index $k$ below a level $u$ with $u>u_c$ increases exponentially with the dimension $d$ independently of the index $k$ and decreases exponentially with $d$ when $u<u_c$. In the third regime, there exists a layered structure depending on the level $u$ considered and on the index $k$ of the critical points. This behavior is similar to the one encountered on the sphere by Auffinger et al. [5]. In the particular case of the Bargmann-Fock field, only two regimes coexist.
△ Less
Submitted 26 March, 2025;
originally announced March 2025.
-
Second Maximum of a Gaussian Random Field and Exact (t-)Spacing test
Authors:
Jean-Marc Azaïs,
Federico Dalmao,
Yohann De Castro
Abstract:
In this article, we introduce the novel concept of the second maximum of a Gaussian random field on a Riemannian submanifold. This second maximum serves as a powerful tool for characterizing the distribution of the maximum. By utilizing an ad-hoc Kac Rice formula, we derive the explicit form of the maximum's distribution, conditioned on the second maximum and some regressed component of the Rieman…
▽ More
In this article, we introduce the novel concept of the second maximum of a Gaussian random field on a Riemannian submanifold. This second maximum serves as a powerful tool for characterizing the distribution of the maximum. By utilizing an ad-hoc Kac Rice formula, we derive the explicit form of the maximum's distribution, conditioned on the second maximum and some regressed component of the Riemannian Hessian. This approach results in an exact test, based on the evaluation of spacing between these maxima, which we refer to as the spacing test.
We investigate the applicability of this test in detecting sparse alternatives within Gaussian symmetric tensors, continuous sparse deconvolution, and two-layered neural networks with smooth rectifiers. Our theoretical results are supported by numerical experiments, which illustrate the calibration and power of the proposed tests. More generally, this test can be applied to any Gaussian random field on a Riemannian manifold, and we provide a general framework for the application of the spacing test in continuous sparse kernel regression.
Furthermore, when the variance-covariance function of the Gaussian random field is known up to a scaling factor, we derive an exact Studentized version of our test, coined the $t$-spacing test. This test is perfectly calibrated under the null hypothesis and has high power for detecting sparse alternatives.
△ Less
Submitted 5 July, 2024; v1 submitted 26 June, 2024;
originally announced June 2024.
-
Multivariate CLT for critical points
Authors:
Jean-Marc Azaïs,
Federico Dalmao,
Céline Delmas
Abstract:
We prove a multivariate central limit theorem for the numbers of critical points above a level with all possible indexes of a non-necessarily isotropic Gaussian random field. In particular, we discuss the non-degeneracy of the limit variance-covariance matrix. We extend, to the non-isotropic framework, known results by Estrade \& Le{ó}n and Nicolaescu for the Euler characteristic of an excursion s…
▽ More
We prove a multivariate central limit theorem for the numbers of critical points above a level with all possible indexes of a non-necessarily isotropic Gaussian random field. In particular, we discuss the non-degeneracy of the limit variance-covariance matrix. We extend, to the non-isotropic framework, known results by Estrade \& Le{ó}n and Nicolaescu for the Euler characteristic of an excursion set and for the total number of critical points of Gaussian random fields. Furthermore, we deduce the almost sure convergence of the normalized (by its mean) number of critical points above a level with any given index and, in particular, of the Euler characteristic of an excursion set. Though we use the classical tools of Hermite expansions and Fourth Moment Theorem, our proof of the non-degeneracy of the limit variance-covariance matrix is completely new since we need to consider all chaotic terms.
△ Less
Submitted 3 April, 2024; v1 submitted 17 January, 2024;
originally announced January 2024.
-
On a general Kac-Rice formula for the measure of a level set
Authors:
Diego Armentano,
Jean-Marc Azaïs,
José Rafael León
Abstract:
Let $X(\cdot) $ be a random field $\mathbb{R}^D \to \mathbb{R}^d$, $D\geq d$. We first studied the level set $X^{-1}( u) $, $u \in \mathbb{R}^d$. In particular we gave a weak condition for this level set to be rectifiable. Then, we established a Kac-Rice formula to compute the $D-d$ Hausdorff measure. Our results extend known results, particularly in the non-Gaussian case where we obtained a very…
▽ More
Let $X(\cdot) $ be a random field $\mathbb{R}^D \to \mathbb{R}^d$, $D\geq d$. We first studied the level set $X^{-1}( u) $, $u \in \mathbb{R}^d$. In particular we gave a weak condition for this level set to be rectifiable. Then, we established a Kac-Rice formula to compute the $D-d$ Hausdorff measure. Our results extend known results, particularly in the non-Gaussian case where we obtained a very general result. We conclude with several extensions and examples of application, including functions of Gaussian random field, zeroes of the likelihood, gravitational microlensing, shot-noise.
△ Less
Submitted 22 April, 2025; v1 submitted 14 April, 2023;
originally announced April 2023.
-
Studying the winding number for stationary Gaussian processes using real variables
Authors:
Jean-Marc Azaïs,
Federico Dalmao,
José R. León
Abstract:
We consider the winding number of planar stationary Gaussian processes defined on the line. Under mild conditions, we obtain the asymptotic variance and the Central Limit Theorem for the winding number as the time horizon tends to infinity. In the asymptotic regime, our discrete approach is equivalent to the continuous one studied previously in the literature and our main result extends the existi…
▽ More
We consider the winding number of planar stationary Gaussian processes defined on the line. Under mild conditions, we obtain the asymptotic variance and the Central Limit Theorem for the winding number as the time horizon tends to infinity. In the asymptotic regime, our discrete approach is equivalent to the continuous one studied previously in the literature and our main result extends the existing ones. Our model allows for a general dependence of the coordinates of the process and non-differentiability of one of them. Furthermore, beyond our general framework, we consider as examples an approximation to the winding number of a process whose coordinates are both non-differentiable and the winding number of a process which is not exactly stationary.
△ Less
Submitted 14 December, 2021; v1 submitted 21 April, 2020;
originally announced April 2020.
-
Mean number and correlation function of critical points of isotropic Gaussian fields and some results on GOE random matrices
Authors:
Jean-Marc Azais,
Céline Delmas
Abstract:
Let $\mathcal{X}= \{X(t) : t \in \mathbb{R}^N \} $ be an isotropic Gaussian random field with real values.In a first part we study the mean number of critical points of $\mathcal{X}$ with index $k$ using random matrices tools.We obtain an exact expression for the probability density of the $k$th eigenvalue of a $N$-GOE matrix.We deduce some exact expressions for the mean number of critical point…
▽ More
Let $\mathcal{X}= \{X(t) : t \in \mathbb{R}^N \} $ be an isotropic Gaussian random field with real values.In a first part we study the mean number of critical points of $\mathcal{X}$ with index $k$ using random matrices tools.We obtain an exact expression for the probability density of the $k$th eigenvalue of a $N$-GOE matrix.We deduce some exact expressions for the mean number of critical points with a given index. In a second part we study attraction or repulsion between these critical points. A measure is the correlation function.We prove attraction between critical points when $N>2$, neutrality for $N=2$ and repulsion for $N=1$.The attraction between critical points that occurs when the dimension is greater than two is due to critical points with adjacent indexes.A strong repulsion between maxima and minima is proved. The correlation function between maxima (or minima) depends on the dimension of the ambient space.
△ Less
Submitted 27 November, 2020; v1 submitted 6 November, 2019;
originally announced November 2019.
-
On the finiteness of the moments of the measure of level sets of random fields
Authors:
Diego Armentano,
Jean-Marc Azaïs,
Federico Dalmao,
Jose R. Léon,
Ernesto Mordecki
Abstract:
General conditions on smooth real valued random fields are given that ensure the finiteness of the moments of the measure of their level sets. As a by product a new generalized Kac-Rice formula (KRF) for the expectation of the measure of these level sets is obtained when the second moment can be uniformly bounded. The conditions involve (i) the differentiability of the trajectories up to a certain…
▽ More
General conditions on smooth real valued random fields are given that ensure the finiteness of the moments of the measure of their level sets. As a by product a new generalized Kac-Rice formula (KRF) for the expectation of the measure of these level sets is obtained when the second moment can be uniformly bounded. The conditions involve (i) the differentiability of the trajectories up to a certain order k, (ii) the finiteness of the moments of the k-th partial derivatives of the field up to another order, (iii) the boundedness of the joint density of the field and some of its derivatives. Particular attention is given to the shot noise processes and fields. Other applications include stationary Gaussian processes, Chi-square processes and regularized diffusion processes. AMS2000 Classifications: Primary 60G60. Secondary 60G15.
△ Less
Submitted 25 August, 2020; v1 submitted 23 September, 2019;
originally announced September 2019.
-
Multiple Testing and Variable Selection along the path of the Least Angle Regression
Authors:
J. -M. Azaïs,
Y. De Castro
Abstract:
We investigate multiple testing and variable selection using the Least Angle Regression (LARS) algorithm in high dimensions under the assumption of Gaussian noise. LARS is known to produce a piecewise affine solution path with change points referred to as the knots of the LARS path. The key to our results is an expression in closed form of the exact joint law of a $K$-tuple of knots conditional on…
▽ More
We investigate multiple testing and variable selection using the Least Angle Regression (LARS) algorithm in high dimensions under the assumption of Gaussian noise. LARS is known to produce a piecewise affine solution path with change points referred to as the knots of the LARS path. The key to our results is an expression in closed form of the exact joint law of a $K$-tuple of knots conditional on the variables selected by LARS, namely the so-called post-selection joint law of the LARS knots. Numerical experiments demonstrate the perfect fit of our findings.
This paper makes three main contributions. First, we build testing procedures on variables entering the model along the LARS path in the general design case when the noise level can be unknown. These testing procedures are referred to as the Generalized $t$-Spacing tests (GtSt) and we prove that they have an exact non-asymptotic level (i.e., the Type I error is exactly controlled). This extends work of (Taylor et al., 2014) where the spacing test works for consecutive knots and known variance. Second, we introduce a new exact multiple false negatives test after model selection in the general design case when the noise level may be unknown. We prove that this testing procedure has exact non-asymptotic level for general design and unknown noise level. Third, we give an exact control of the false discovery rate under orthogonal design assumption. Monte Carlo simulations and a real data experiment are provided to illustrate our results in this case. Of independent interest, we introduce an equivalent formulation of the LARS algorithm based on a recursive function.
△ Less
Submitted 4 May, 2022; v1 submitted 28 June, 2019;
originally announced June 2019.
-
Necessary and sufficient conditions for the finiteness of the second moment of the measure of level sets
Authors:
J-M Azais,
Jose R. Leon
Abstract:
For a smooth vectorial stationary Gaussian random field $X : Ω\times \mathbb{R}^d \to \mathbb{R}^d$, we give necessary and sufficient conditions to have a finite second moment for the number of roots of $X(t) - u$. The results are obtained by using a method of proof inspired on the one obtained by D. Geman for stationary Gaussian processes long time ago. Afterwards the same method is applied to t…
▽ More
For a smooth vectorial stationary Gaussian random field $X : Ω\times \mathbb{R}^d \to \mathbb{R}^d$, we give necessary and sufficient conditions to have a finite second moment for the number of roots of $X(t) - u$. The results are obtained by using a method of proof inspired on the one obtained by D. Geman for stationary Gaussian processes long time ago. Afterwards the same method is applied to the number of critical points of a scalar random field and also to the level set of a vectorial process $X : Ω\times \mathbb{R}^D \to \mathbb{R}^d$ with $D > d$.
△ Less
Submitted 29 May, 2019;
originally announced May 2019.
-
Conditions for the finiteness of the moments of the volume of level sets
Authors:
Diego Armentano,
Jean-Marc Azais,
David Ginsbourger,
José Rafael Leon
Abstract:
Let X(t) be a Gaussian random field R d $\rightarrow$ R. Using the notion of (d -- 1)-integral geometric measures, we establish a relation between (a) the volume of the level set (b) the number of crossings of the restriction of the random field to a line. Using this relation we prove the equivalence between the finiteness of the expectation and the finiteness of the second spectral moment matrix.…
▽ More
Let X(t) be a Gaussian random field R d $\rightarrow$ R. Using the notion of (d -- 1)-integral geometric measures, we establish a relation between (a) the volume of the level set (b) the number of crossings of the restriction of the random field to a line. Using this relation we prove the equivalence between the finiteness of the expectation and the finiteness of the second spectral moment matrix. Sufficient conditions for finiteness of higher moments are also established.
△ Less
Submitted 5 November, 2018;
originally announced November 2018.
-
Central Limit Theorem for the volume of the zero set of Kostlan-Shub-Smale random polynomial systems
Authors:
Jean-Marc Azaïs,
Diego Armentano,
Federico Dalmao,
José R. León
Abstract:
We state the Central Limit Theorem, as the degree goes to infinity, for the normalized volume of the zero set of a rectangular Kostlan-Shub-Smale random polynomial system. This paper is a continuation of {\it Central Limit Theorem for the number of real roots of Kostlan Shub Smale random polynomial systems} by the same authors in which the square case was considered. Our main tools are the Kac-Ric…
▽ More
We state the Central Limit Theorem, as the degree goes to infinity, for the normalized volume of the zero set of a rectangular Kostlan-Shub-Smale random polynomial system. This paper is a continuation of {\it Central Limit Theorem for the number of real roots of Kostlan Shub Smale random polynomial systems} by the same authors in which the square case was considered. Our main tools are the Kac-Rice formula for the second moment of the volume of the zero set and an expansion of this random variable into the Itô-Wiener Chaos.
△ Less
Submitted 24 September, 2021; v1 submitted 8 August, 2018;
originally announced August 2018.
-
Semi-parametric estimation of the variogram of a Gaussian process with stationary increments
Authors:
Jean-Marc Azaïs,
François Bachoc,
Agnès Lagnoux,
Thi Mong Ngoc Nguyen
Abstract:
We consider the semi-parametric estimation of a scale parameter of a one-dimensional Gaussian process with known smoothness. We suggest an estimator based on quadratic variations and on the moment method. We provide asymptotic approximations of the mean and variance of this estimator, together with asymptotic normality results, for a large class of Gaussian processes. We allow for general mean fun…
▽ More
We consider the semi-parametric estimation of a scale parameter of a one-dimensional Gaussian process with known smoothness. We suggest an estimator based on quadratic variations and on the moment method. We provide asymptotic approximations of the mean and variance of this estimator, together with asymptotic normality results, for a large class of Gaussian processes. We allow for general mean functions and study the aggregation of several estimators based on various variation sequences. In extensive simulation studies, we show that the asymptotic results accurately depict thefinite-sample situations already for small to moderate sample sizes. We also compare various variation sequences and highlight the efficiency of the aggregation procedure.
△ Less
Submitted 20 January, 2020; v1 submitted 8 June, 2018;
originally announced June 2018.
-
Central Limit Theorem for the number of real roots of Kostlan Shub Smale random polynomial systems
Authors:
Diego Armentano,
Jean-Marc Azaïs,
Federico Dalmao,
José León
Abstract:
We obtain a Central Limit Theorem for the normalized number of real roots of a square Kostlan-Shub-Smale random polynomial system of any size as the degree goes to infinity. A study of the asymptotic variance of the number of roots is needed, this result was obtained in [2]. Afterwards we represent the number of roots as an explicit non linear functional belonging to the It{ô}-Wiener chaos. This r…
▽ More
We obtain a Central Limit Theorem for the normalized number of real roots of a square Kostlan-Shub-Smale random polynomial system of any size as the degree goes to infinity. A study of the asymptotic variance of the number of roots is needed, this result was obtained in [2]. Afterwards we represent the number of roots as an explicit non linear functional belonging to the It{ô}-Wiener chaos. This representation provides a tool for applying the Fourth Moment Theorem and henceforth the asymptotic normality. MSC 2010 subject classifications: Primary 60F05, 30C15, ; secondary 60G60, 65H10.
△ Less
Submitted 4 May, 2018; v1 submitted 19 January, 2018;
originally announced January 2018.
-
Nonnegative matrix factorization with side information for time series recovery and prediction
Authors:
Jiali Mei,
Yohann De Castro,
Yannig Goude,
Jean-Marc Azaïs,
Georges Hébrail
Abstract:
Motivated by the reconstruction and the prediction of electricity consumption, we extend Nonnegative Matrix Factorization~(NMF) to take into account side information (column or row features). We consider general linear measurement settings, and propose a framework which models non-linear relationships between features and the response variables. We extend previous theoretical results to obtain a s…
▽ More
Motivated by the reconstruction and the prediction of electricity consumption, we extend Nonnegative Matrix Factorization~(NMF) to take into account side information (column or row features). We consider general linear measurement settings, and propose a framework which models non-linear relationships between features and the response variables. We extend previous theoretical results to obtain a sufficient condition on the identifiability of the NMF in this setting. Based the classical Hierarchical Alternating Least Squares~(HALS) algorithm, we propose a new algorithm (HALSX, or Hierarchical Alternating Least Squares with eXogeneous variables) which estimates the factorization model. The algorithm is validated on both simulated and real electricity consumption datasets as well as a recommendation dataset, to show its performance in matrix recovery and prediction for new rows and columns.
△ Less
Submitted 19 September, 2017;
originally announced September 2017.
-
Testing Gaussian Process with Applications to Super-Resolution
Authors:
Jean-Marc Azaïs,
Yohann De Castro,
Stéphane Mourareau
Abstract:
This article introduces exact testing procedures on the mean of a Gaussian process $X$ derived from the outcomes of $\ell_1$-minimization over the space of complex valued measures. The process $X$ can be thought as the sum of two terms: first, the convolution between some kernel and a target atomic measure (mean of the process); second, a random perturbation by an additive centered Gaussian proces…
▽ More
This article introduces exact testing procedures on the mean of a Gaussian process $X$ derived from the outcomes of $\ell_1$-minimization over the space of complex valued measures. The process $X$ can be thought as the sum of two terms: first, the convolution between some kernel and a target atomic measure (mean of the process); second, a random perturbation by an additive centered Gaussian process. The first testing procedure considered is based on a dense sequence of grids on the index set of~$X$ and we establish that it converges (as the grid step tends to zero) to a randomized testing procedure: the decision of the test depends on the observation $X$ and also on an independent random variable. The second testing procedure is based on the maxima and the Hessian of $X$ in a grid-less manner. We show that both testing procedures can be performed when the variance is unknown (and the correlation function of $X$ is known). These testing procedures can be used for the problem of deconvolution over the space of complex valued measures, and applications in frame of the Super-Resolution theory are presented. As a byproduct, numerical investigations may demonstrate that our grid-less method is more powerful (it~detects sparse alternatives) than tests based on very thin grids.
△ Less
Submitted 2 July, 2018; v1 submitted 2 June, 2017;
originally announced June 2017.
-
On the asymptotic variance of the number of real roots of random polynomial systems
Authors:
Diego Armentano,
Jean-Marc Azaïs,
Federico Dalmao,
José R. León
Abstract:
We obtain the asymptotic variance, as the degree goes to infinity, of the normalized number of real roots of a square Kostlan-Shub-Smale random polynomial system of any size. Our main tools are the Kac-Rice formula for the second factorial moment of the number of roots and a Hermite expansion of this random variable.
We obtain the asymptotic variance, as the degree goes to infinity, of the normalized number of real roots of a square Kostlan-Shub-Smale random polynomial system of any size. Our main tools are the Kac-Rice formula for the second factorial moment of the number of roots and a Hermite expansion of this random variable.
△ Less
Submitted 28 April, 2018; v1 submitted 23 March, 2017;
originally announced March 2017.
-
A new gene co-expression network analysis based on Core Structure Detection (CSD)
Authors:
A-C Brunet,
J-M Azais,
J-M Loubes,
J Amar,
R Burcelin
Abstract:
We propose a novel method to cluster gene networks. Based on a dissimilarity built using correlation structures, we consider networks that connect all the genes based on the strength of their dissimilarity. The large number of genes require the use of the threshold to find sparse structures in the graph. in this work, using the notion of graph coreness, we identify clusters of genes which are cent…
▽ More
We propose a novel method to cluster gene networks. Based on a dissimilarity built using correlation structures, we consider networks that connect all the genes based on the strength of their dissimilarity. The large number of genes require the use of the threshold to find sparse structures in the graph. in this work, using the notion of graph coreness, we identify clusters of genes which are central in the network. Then we estimate a network that has these genes as main hubs. We use this new representation to identify biologically meaningful clusters, and to highlight the importance of the nodes that compose the core structures based on biological interpretations.
△ Less
Submitted 6 July, 2016;
originally announced July 2016.
-
Local universality of the number of zeros of random trigonometric polynomials with continuous coefficients
Authors:
Jean-Marc Azaïs,
Federico Dalmao,
José León,
Ivan Nourdin,
Guillaume Poly
Abstract:
Let $X_N$ be a random trigonometric polynomial of degree $N$ with iid coefficients and let $Z_N(I)$ denote the (random) number of its zeros lying in the compact interval $I\subset\mathbb{R}$. Recently, a number of important advances were made in the understanding of the asymptotic behaviour of $Z_N(I)$ as $N\to\infty$, in the case of standard Gaussian coefficients. The main theorem of the present…
▽ More
Let $X_N$ be a random trigonometric polynomial of degree $N$ with iid coefficients and let $Z_N(I)$ denote the (random) number of its zeros lying in the compact interval $I\subset\mathbb{R}$. Recently, a number of important advances were made in the understanding of the asymptotic behaviour of $Z_N(I)$ as $N\to\infty$, in the case of standard Gaussian coefficients. The main theorem of the present paper is a universality result, that states that the limit of $Z_N(I)$ does not really depend on the exact distribution of the coefficients of $X_N$. More precisely, assuming that these latter are iid with mean zero and unit variance and have a density satisfying certain conditions, we show that $Z_N(I)$ converges in distribution toward $Z(I)$, the number of zeros within $I$ of the centered stationary Gaussian process admitting the cardinal sine for covariance function.
△ Less
Submitted 17 December, 2015;
originally announced December 2015.
-
Power of the Spacing test for Least-Angle Regression
Authors:
Jean-Marc Azaïs,
Yohann de Castro,
Stéphane Mourareau
Abstract:
Recent advances in Post-Selection Inference have shown that conditional testing is relevant and tractable in high-dimensions. In the Gaussian linear model, further works have derived unconditional test statistics such as the Kac-Rice Pivot for general penalized problems. In order to test the global null, a prominent offspring of this breakthrough is the spacing test that accounts the relative sepa…
▽ More
Recent advances in Post-Selection Inference have shown that conditional testing is relevant and tractable in high-dimensions. In the Gaussian linear model, further works have derived unconditional test statistics such as the Kac-Rice Pivot for general penalized problems. In order to test the global null, a prominent offspring of this breakthrough is the spacing test that accounts the relative separation between the first two knots of the celebrated least-angle regression (LARS) algorithm. However, no results have been shown regarding the distribution of these test statistics under the alternative. For the first time, this paper addresses this important issue for the spacing test and shows that it is unconditionally unbiased. Furthermore, we provide the first extension of the spacing test to the frame of unknown noise variance.
More precisely, we investigate the power of the spacing test for LARS and prove that it is unbiased: its power is always greater or equal to the significance level $α$. In particular, we describe the power of this test under various scenarii: we prove that its rejection region is optimal when the predictors are orthogonal; as the level $α$ goes to zero, we show that the probability of getting a true positive is much greater than $α$; and we give a detailed description of its power in the case of two predictors. Moreover, we numerically investigate a comparison between the spacing test for LARS and the Pearson's chi-squared test (goodness of fit).
△ Less
Submitted 12 October, 2015; v1 submitted 17 March, 2015;
originally announced March 2015.
-
A Rice method proof of the Null-Space Property over the Grassmannian
Authors:
J. -M Azaïs,
Y. De Castro,
S. Mourareau
Abstract:
The Null-Space Property (NSP) is a necessary and sufficient condition for the recovery of the largest coefficients of solutions to an under-determined system of linear equations. Interestingly, this property governs also the success and the failure of recent developments in high-dimensional statistics, signal processing, error-correcting codes and the theory of polytopes. Although this property is…
▽ More
The Null-Space Property (NSP) is a necessary and sufficient condition for the recovery of the largest coefficients of solutions to an under-determined system of linear equations. Interestingly, this property governs also the success and the failure of recent developments in high-dimensional statistics, signal processing, error-correcting codes and the theory of polytopes. Although this property is the keystone of $\ell\_{1}$-minimization techniques, it is an open problem to derive a closed form for the phase transition on NSP. In this article, we provide the first proof of NSP using random processes theory and the Rice method. As a matter of fact, our analysis gives non-asymptotic bounds for NSP with respect to unitarily invariant distributions. Furthermore, we derive a simple sufficient condition for NSP.
△ Less
Submitted 8 October, 2015; v1 submitted 25 May, 2014;
originally announced May 2014.
-
CLT for the zeros of Classical Random Trigonometric Polynomials
Authors:
Jean-Marc Azaïs,
Federico Dalmao,
José R. León
Abstract:
We prove a Central Limit Theorem for the number of zeros of random trigonometric polynomials of the form $K^{-1/2}\sum_{n=1}^{K} a_n\cos(nt)$, being $(a_n)_n$ independent standard Gaussian random variables. In particular, we prove the conjecture by Farahmand, Granville & Wigman that the variance is equivalent to $V^2K$, $0<V^2<\infty$, as $K\to\infty$. % The case of stationary trigonometric polyno…
▽ More
We prove a Central Limit Theorem for the number of zeros of random trigonometric polynomials of the form $K^{-1/2}\sum_{n=1}^{K} a_n\cos(nt)$, being $(a_n)_n$ independent standard Gaussian random variables. In particular, we prove the conjecture by Farahmand, Granville & Wigman that the variance is equivalent to $V^2K$, $0<V^2<\infty$, as $K\to\infty$. % The case of stationary trigonometric polynomials was studied by Granville & Wigman and by Aza\"\is & León. Our approach is based on the Hermite/Wiener-Chaos decomposition for square-integrable functionals of a Gaussian process and on Rice Formula for zero counting.
△ Less
Submitted 6 February, 2015; v1 submitted 22 January, 2014;
originally announced January 2014.
-
Asymptotic formula for the tail of the maximum of smooth Stationary Gaussian fields on non locally convex sets
Authors:
Jean-Marc Azaïs,
Viet-Hung Pham
Abstract:
In this paper we consider the distribution of the maximum of a Gaussian field defined on non locally convex sets. Adler and Taylor or Aza\"ıs and Wschebor give the expansions in the locally convex case. The present paper generalizes their results to the non locally convex case by giving a full expansion in dimension 2 and some generalizations in higher dimension. For a given class of sets, a Stein…
▽ More
In this paper we consider the distribution of the maximum of a Gaussian field defined on non locally convex sets. Adler and Taylor or Aza\"ıs and Wschebor give the expansions in the locally convex case. The present paper generalizes their results to the non locally convex case by giving a full expansion in dimension 2 and some generalizations in higher dimension. For a given class of sets, a Steiner formula is established and the correspondence between this formula and the tail of the maximum is proved. The main tool is a recent result of Aza\"ıs and Wschebor that shows that under some conditions the excursion set is close to a ball with a random radius. Examples are given in dimension 2 and higher.
△ Less
Submitted 21 January, 2016; v1 submitted 14 June, 2013;
originally announced June 2013.
-
A proportional hazard model for the estimation of ionosphere storm occurrence risk
Authors:
Malika Chassan,
Jean-Marc Azaïs,
Guillaume Buscarlet,
Norbert Suard
Abstract:
Severe Ionosphere magnetic storms are feared events for integrity and continuity of navigation systems such as EGNOS, the European SBAS (Satellite-Based Augmentation System) complementing GPS and an accurate modelling of this event probability is necessary. Our aim for the work presented in this paper is to give an estimation of the frequency of such extreme magnetic storms per time unit (year) th…
▽ More
Severe Ionosphere magnetic storms are feared events for integrity and continuity of navigation systems such as EGNOS, the European SBAS (Satellite-Based Augmentation System) complementing GPS and an accurate modelling of this event probability is necessary. Our aim for the work presented in this paper is to give an estimation of the frequency of such extreme magnetic storms per time unit (year) throughout a solar cycle. Thus, we develop an innovative approach based on a proportional hazard model, inspired by the Cox model, with time dependent covariates. The number of storms during a cycle is supposed to be a non-homogeneous Poisson process. The intensity of this process could be expressed as the product of a baseline risk and a risk factor. Contrary to what is done in the Cox model, the baseline risk is one parameter of interest (and not a nuisance one), it is the intensity to estimate. As in Extreme Value Theory, all the high level events will be used to make estimation and the results will be extrapolated to the extreme level ones. After a precise description of the model, we present the estimation results and a model extension. A prediction for the current solar cycle (24th) is also proposed.
△ Less
Submitted 21 May, 2015; v1 submitted 24 May, 2013;
originally announced May 2013.
-
The record method for two and three dimensional parameters random fields
Authors:
Jean-Marc Azais,
Viet-Hung Pham
Abstract:
Let $S$ be a regular set of $\R^d$ and $X : S\rightarrow \R$ be Gaussian field with regular paths. In order to give bound to the tail of the distribution of the maximum, we use the record method of Mercadier. We present some new form in dimension 2 and extend it to dimension 3 using the result of the expectation of the absolute value of quadratic forms by Li and Wei. Comparison with other methods…
▽ More
Let $S$ be a regular set of $\R^d$ and $X : S\rightarrow \R$ be Gaussian field with regular paths. In order to give bound to the tail of the distribution of the maximum, we use the record method of Mercadier. We present some new form in dimension 2 and extend it to dimension 3 using the result of the expectation of the absolute value of quadratic forms by Li and Wei. Comparison with other methods is conducted.
△ Less
Submitted 5 February, 2013;
originally announced February 2013.
-
Spike detection from inaccurate samplings
Authors:
Jean-Marc Azais,
Yohann De Castro,
Fabrice Gamboa
Abstract:
This article investigates the support detection problem using the LASSO estimator in the space of measures. More precisely, we study the recovery of a discrete measure (spike train) from few noisy observations (Fourier samples, moments...) using an $\ell_{1}$-regularization procedure. In particular, we provide an explicit quantitative localization of the spikes.
This article investigates the support detection problem using the LASSO estimator in the space of measures. More precisely, we study the recovery of a discrete measure (spike train) from few noisy observations (Fourier samples, moments...) using an $\ell_{1}$-regularization procedure. In particular, we provide an explicit quantitative localization of the spikes.
△ Less
Submitted 26 February, 2014; v1 submitted 24 January, 2013;
originally announced January 2013.
-
Remark on the finite-dimensional character of certain results of functional statistics
Authors:
Jean-Marc Azais,
Jean-Claude Fort
Abstract:
This note shows that some assumption on small balls probability, frequently used in the domain of functional statistics, implies that the considered functional space is of finite dimension. To complete this result an example of L2 process is given that does not fulfill this assumption.
This note shows that some assumption on small balls probability, frequently used in the domain of functional statistics, implies that the considered functional space is of finite dimension. To complete this result an example of L2 process is given that does not fulfill this assumption.
△ Less
Submitted 4 December, 2012;
originally announced December 2012.
-
The tail of the maximum of smooth Gaussian fields on fractal sets
Authors:
Jean-Marc Azaïs,
Mario Wschebor
Abstract:
We study the probability distribution of the maximum $M_S $ of a smooth stationary Gaussian field defined on a fractal subset $S$ of $\R^n$. Our main result is the equivalent of the asymptotic behavior of the tail of the distribution $¶(M_S>u)$ as $u\rightarrow +\infty.$ The basic tool is Rice formula for the moments of the number of local maxima of a random field.
We study the probability distribution of the maximum $M_S $ of a smooth stationary Gaussian field defined on a fractal subset $S$ of $\R^n$. Our main result is the equivalent of the asymptotic behavior of the tail of the distribution $¶(M_S>u)$ as $u\rightarrow +\infty.$ The basic tool is Rice formula for the moments of the number of local maxima of a random field.
△ Less
Submitted 18 September, 2011;
originally announced September 2011.
-
Rice formulae and Gaussian waves
Authors:
Jean-Marc Azaïs,
José R. León,
Mario Wschebor
Abstract:
We use Rice formulae in order to compute the moments of some level functionals which are linked to problems in oceanography and optics: the number of specular points in one and two dimensions, the distribution of the normal angle of level curves and the number of dislocations in random wavefronts. We compute expectations and, in some cases, also second moments of such functionals. Moments of order…
▽ More
We use Rice formulae in order to compute the moments of some level functionals which are linked to problems in oceanography and optics: the number of specular points in one and two dimensions, the distribution of the normal angle of level curves and the number of dislocations in random wavefronts. We compute expectations and, in some cases, also second moments of such functionals. Moments of order greater than one are more involved, but one needs them whenever one wants to perform statistical inference on some parameters in the model or to test the model itself. In some cases, we are able to use these computations to obtain a central limit theorem.
△ Less
Submitted 14 March, 2011; v1 submitted 2 February, 2011;
originally announced February 2011.
-
Some applications of Rice formulas to waves
Authors:
Jean-Marc Azaïs,
José R. León,
Mario Wschebor
Abstract:
We use Rice's formulas in order to compute the moments of some level functionals which are linked to problems in oceanography and optics. For instance, we consider the number of specular points in one or two dimensions, the number of twinkles, the distribution of normal angle of level curves and the number or the length of dislocations in random wavefronts. We compute expectations and in some ca…
▽ More
We use Rice's formulas in order to compute the moments of some level functionals which are linked to problems in oceanography and optics. For instance, we consider the number of specular points in one or two dimensions, the number of twinkles, the distribution of normal angle of level curves and the number or the length of dislocations in random wavefronts. We compute expectations and in some cases, also second moments of such functionals. Moments of order greater than one are more involved, but one needs them whenever one wants to perform statistical inference on some parameters in the model or to test the model itself. In some case we are able to use these computations to obtain a Central Limit Theorem.
△ Less
Submitted 5 October, 2009;
originally announced October 2009.
-
On the distribution of the maximum of a gaussian field with d parameters
Authors:
Jean-Marc Azais,
Mario Wschebor
Abstract:
Let I be a compact d-dimensional manifold, let X:I\to R be a Gaussian process with regular paths and let F_I(u), u\in R, be the probability distribution function of sup_{t\in I}X(t). We prove that under certain regularity and nondegeneracy conditions, F_I is a C^1-function and satisfies a certain implicit equation that permits to give bounds for its values and to compute its asymptotic behavior…
▽ More
Let I be a compact d-dimensional manifold, let X:I\to R be a Gaussian process with regular paths and let F_I(u), u\in R, be the probability distribution function of sup_{t\in I}X(t). We prove that under certain regularity and nondegeneracy conditions, F_I is a C^1-function and satisfies a certain implicit equation that permits to give bounds for its values and to compute its asymptotic behavior as u\to +\infty. This is a partial extension of previous results by the authors in the case d=1. Our methods use strongly the so-called Rice formulae for the moments of the number of roots of an equation of the form Z(t)=x, where Z:I\to R^d is a random field and x is a fixed point in R^d. We also give proofs for this kind of formulae, which have their own interest beyond the present application.
△ Less
Submitted 23 March, 2005;
originally announced March 2005.
