SearcharxivSearch

arXiv · 1703.10459

Random Discretization of the Finite Fourier Transform and Related Kernel Random Matrices

Abstract

This paper is centred on the spectral study of a Random Fourier matrix, that is an $n\times n$ matrix $A$ whose $(j, k)$ entries are $\exp(2i\pi m X_jY_k)$, with $X_j$ and $Y_k$ two i.i.d sequences of random variables and $1\leq m\leq n$ is a real number. When they are uniformly distributed on a symmetric interval, this may be seen as a random discretization of the Finite Fourier transform, whose spectrum has been extensively studied in relation with band-limited functions. Our study is two-fold. Firstly, by pushing forward concentration inequalities, we find an accurate comparison in $\ell^2$- norm between the spectrum of $A^*A$ and the one of an integral operator that can be defined in terms of the two probability laws chosen for the rows and the columns. Our study includes the one of stationary Hermitian kernel matrices and can be generalized to non stationary ones, for which the same kind of comparison with an integral operator is possible. Because of possible applications in the data science area, these last matrices have been largely studied in the literature and our results are compared with previous ones. Secondly we concentrate on uniform distributions for the laws of $X_j$'s and $Y_k$'s, for which the integral operator is the well-known Sinc-kernel operator with parameter $m.$ Our previous study allows to translate to random Fourier matrices the knowledge that we have on the spectrum of this operator. We have for them asymptotic results for $m, n$ and $n/m$ tending to $\infty$, as well as non asymptotic bounds in the spirit of recent work on the integral operators. As an application, we give fairly good approximations of the number of degrees of freedom and the capacity of a MIMO wireless communication network approximation model. Finally, we provide the reader with some numerical examples that illustrate the theoretical results of this paper.

Explore related subjects

Keep this discovery

BibTeXRIS

Aline Bonami, Abderrazek Karoui. 2017-03-30. Random Discretization of the Finite Fourier Transform and Related Kernel Random Matrices. https://arxiv.org/abs/1703.10459

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On the log-concavity of the composite Bessel function $x^{\alpha}J_{\nu }\left( \beta x^{\gamma}\right) $

For a twice differentiable function $f:\left( a,b\right) \rightarrow \mathbb{R}$ define $v\left( f\right) =f^{\prime}f^{\prime}-f^{\prime\prime }f.$ It is well known that the positivity of $v\left( f\right) $ implies that the function $\left\vert f\right\vert $ is strictly log-concave on each subinterval which does not contain zeros of $f.$ In this paper we provide criteria for the positivity of $v\left( F\right) $ for the composite Bessel function $F\left( x\right) =J_{\alpha,\beta,\gamma,\nu}\left( x\right) :=x^{\alpha}J_{\nu}\left( \beta x^{\gamma}\right) $ for positive numbers $\beta$ and $\gamma$ and real numbers $\alpha$ and $\nu.$

math.CA

Riesz capacity ratios with negative exponents

We investigate sharp inequalities for ratios of Riesz capacities with negative exponents by combining computational experiments with rigorous analysis. For finite subsets of the line, we prove positivity of equilibrium masses when $-1<p<0$, enabling numerical tests of conjectured extremal ratios. In the plane, comparisons of the disk with regular polygon vertex sets reveal a cascade of transitions among the tested competitors and suggest a precise conjecture for the equilibrium measure of odd polygons, for which we give a partial proof. Numerical intersections of equality curves show that the regions where these sets outperform the disk are not simply nested. Similar numerical intersections occur in three dimensions between the regular-simplex equality curve and those of explicit five-point and six-point configurations. Motivated by the dimensional dependence of these comparisons, we prove that for each fixed $p<-2<q<0$, the regular simplex has a larger capacity ratio than the ball in all sufficiently large dimensions. Accompanying Python and Mathematica code supports reproduction and further testing of the conjectures.

math.CA

Shorter proof of dimension-free $L^p$ estimates for maximal Riesz transforms

We provide a shorter and more direct proof of $L^p$ estimates for maximal Riesz transforms (of an arbitrary order) in terms of the corresponding Riesz transforms, with a constant independent of the dimension of the Euclidean space $\mathbb R^d$. This result was originally proved by Mateu, Orobitg, P\'erez and Verdera with a constant depending on the dimension, and improved to a dimension-free inequality by Kucharski, Wr\'obel and Zienkiewicz.

math.CA