Abstract
We confirm Flandrin’s prediction for the expected average of local maxima of spectrograms of complex white noise with Gaussian windows (Gaussian spectrograms or, equivalently, modulus of weighted Gaussian Entire Functions), a consequence of the conjectured double honeycomb mean model for the network of zeros and local maxima, where the area of local maxima centered hexagons is three times larger than the area of zero centered hexagons. More precisely, we show that Gaussian spectrograms, normalized such that their expected density of zeros is 1, have an expected density of 5/3 critical points, among those 1/3 are local maxima, and 4/3 saddle points, and compute the distributions of ordinate values (heights) for spectrogram local extrema. This is done by first writing the spectrograms in terms of Gaussian Entire Functions (GEFs). The extrema are considered under the translation invariant derivative of the Fock space (which in this case coincides with the Chern connection from complex differential geometry). We also observe that the critical points of a GEF are precisely the zeros of a Gaussian random function in the first higher Landau level. We discuss natural extensions of these Gaussian random functions: Gaussian Weyl–Heisenberg functions and Gaussian bi-entire functions. The paper also reviews recent results on the applications of white noise spectrograms, connections between several developments, and is partially intended as a pedestrian introduction to the topic.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The present paper is concerned with the critical points (divided in local maxima, local minima and saddle points) of spectrogram transformed white noise. More precisely, we are interested in statistical averages of critical points and local extrema of white noise spectrograms with Gaussian windows. As first observed in [14], such white noise spectrograms can be written in terms of a Gaussian Entire Function (GEF), an observation which had the virtue of connecting the traditionally applications-oriented field of time-frequency analysis, to the traditionally more fundamental topic of Gaussian Analytic Functions.
We will both deal with the Gaussian Entire Function
and its translation invariant derivative
where \(a_{k}\) are i. i. d. Gaussian random variables. The zeros of \(F_{1}(z)\) describe the critical points of \(H(z)=\left| F(z)\right| ^{2}e^{-\left| z\right| ^{2}}\), which can be divided in saddle points and local maxima/minima, while, due to the maximum modulus principle, the equation \(F^{\prime }(z)=0\) can only yield saddle points. As we will see below, \(\left| e^{-\left| z\right| ^{2}/2}F(z)\right| ^{2}\) and \(\left| e^{-\left| z\right| ^{2}/2}F_{1}(z)\right| ^{2}\) can be identified with white noise spectrograms windowed by the Gaussian and the first Hermite function, respectively. This leads to a Gaussian functions companion to the determinantal point processes in higher Landau levels [3, 5, 31, 43, 45, 46, 56], also defined using time-frequency transforms. Observe that, while F(z) is analytic, \(F_{1}(z)\) is just polyanalytic [13], since \(\partial _{\overline{z} }^{2}F_{1}(z,\overline{z})=0\) (see [2] for an introduction to polyanalytic functions from the time-frequency analysis perspective).
We now make an intermezzo in this introduction to point out two curious properties.
-
Silence points (zeros) repel each other strongly (2-point intensity vanishes at zero [17], Sect. 3).
-
Loud points (critical points) display weaker repulsion (positive2-point intensity at zero [11]).
Back to our work, we will first compute the expected number of critical, saddle and local maxima coordinates, defined under constraints on the critical points equation,
and then the corresponding average distribution of ordinate values (the expected average values of F(z) at the critical, saddle and local maxima coordinates), where the ordinate value \(x_{c}\) associated to the point \(z_{c}\) is
The description of the local extrema and corresponding ordinates of spectrogram transformed white noise is likely to be useful in signal analysis applications involving local maxima of spectrograms as in, for instance, [61], but also in reassignment [32] and syncrosqueezing [21] techniques. This is particularly evident in differential reassignment [20], where local maxima are attractors of the corresponding vector field.
Our results also complement the information used in the recent algorithms aimed at recovering a signal embedded in white noise from its spectrogram zeros [12, 14,15,16, 25, 33, 34, 38] (these ‘zero-based’ methods have also been recently extended to wavelets, see [6, 15, 47], to the sphere [52] and to the Stockwell transform [49]) and level sets [41]. Such algorithms have found notable applications, for instance, in methods for anonymize motion sensor data and enhance privacy in the Internet of Things (IoT) [54].
The analysis of local extrema of white noise spectrograms relies on the eigenvalues of the Hessians of the Gaussian vectors, from which one can derive the Kac-Rice type formulas as in [23]. The resulting expected number of local maxima is 1/3 times the expected number of zeros. One can provide heuristics for the 1/3 proportion using a random honeycomb model, suggested by Flandrin to describe zeros and local maxima of spectrograms of white noise (see Fig. 1 on p. 6). By extrapolating such heuristics to the setting of holomorphic sections of a Hermitian holomorphic line bundle over a complex manifold [23], the model also suggests a hand-waving explanation for the occurrence of the factor 1/3 in the first term of the statistics of supersymmetric vacua (modelled as fixed Morse index critical points of random holomorphic sections). Moving to a different physical context, a correspondence between the critical points of Gaussian entire functions and the zeros of a Gaussian bi-entire function will be described. The Gaussian bi-entire function lives on the first higher Landau level eigenspace, a space of paramount importance in condensed matter physics, used to model electron dynamics on a energy level above the first layer of charged-like particles. The Landau levels are the classical explanation for the step-like changes in conductivity under the action of a constant magnetic field associated with the integer Quantum–Hall effect [60].
The results in this paper are novel to a certain extent, since their statement (both in the GEF and time-frequency language) has not appeared before in the literature and given a direct proof. But one should not go as far as calling them ‘genuinely new’, since general results have been obtained for compact Kähler manifolds and the particular calculations done for SU(2) random polynomials in [23] and [29]. It may come as a surprise that the more simple (and also the most well-studied) case of the GEF has not been studied before, since the cases treated in [23] and [29] are much more complicated. At least formally, our main results could have been indirectly derived (one may say ‘guessed’, since actually some definitions are a bit different for the non-compact case, most notably in the section on critical values) by properly considering limit cases of the results for SU(2) polynomials in [23] and [29]. Even if this argument could be made rigorous, it would be a long journey in comparison to the direct and relatively elementary proofs we offer in this paper.
An outline of the paper follows. Since we will alternate between the spectrogram and GEF formulations, to avoid confusing readers not familiar with both topics, we try to always present both perspectives, sometimes at the cost of a little redundancy. In the next section we present a short review of the required fundamental concepts about random Gaussian functions and time-frequency analysis. In the third section we present the main results, together with some remarks concerning the motivations, implications and connections to the work of other authors. The proofs of the main results are gathered in Sect. 4. In Sect. 5, we will consider Gaussian non-analytic functions motivated by the results of the paper. First we observe that the nonzero critical points of H(z) are precisely the zeros of a bi-analytic Gaussian function with correlation kernel given by the reproducing kernel of the second Landau level. This suggests a more general class of Gaussian random functions with correlation kernels given by the kernel of the Weyl–Heisenberg ensemble [3, 5]. We will also consider Gaussian bi-analytic functions, with correlation kernel given by the sum of the reproducing kernels of the first two Landau levels. We close the presentation with a conclusion section, discussing the connections between the topics and results involved in the paper, and a few considerations about their symbiotic nature.
2 Background
2.1 Gaussian Entire Functions and Spectrograms of White Noise
Given a window function \(g\in L^{2}({\mathbb {R}})\), the short-time Fourier transform of \(f\in L^{2}({\mathbb {R}})\) is
when \(\Vert g\Vert _{2}=1\), the map \(V_{g}\) is an isometry between \(L^{2}({ \mathbb {R}})\) and a closed subspace of \(L^{2}({\mathbb {R}^{2}})\):
If we choose the Gaussian function \(h_{0}(t)=2^{\frac{1}{4}}e^{-\pi t^{2}}\), \(t\in {\mathbb {R}}\), as a window in (2.1), then a simple calculation shows that, identifying \(z=(x,\xi )\in \mathbb {R}^{2}\) with \( z:=x+i\xi \in {\mathbb {C}}\),
where \(\mathcal {B}f(z)\) is the Bargmann transform of f [41]. The Bargmann transform \(\mathcal {B}\) is a unitary isomorphism from \(L^{2}({\mathbb {R}})\) onto the Bargmann–Fock space \(\mathcal {F}(\mathbb {C})\) consisting of all entire functions satisfying
We will consider Hermite functions normalized as follows:
Let \(g(t):=2^{1/4}e^{-\pi t^{2}}\), \(t\in {\mathbb {R}}\), be the one-dimensional, \(L^{2}\)-normalized Gaussian. The short-time Fourier transform of the Hermite functions with respect to g is
One can formally define complex white noise \(\mathcal {W}\) by the series expansion
where \(a_{k}\) are i. i. d. Gaussian random variables (the probability of such sequences being square summable is zero, thus, with probability one, the series is not convergent in \(L^{2}\), but with a little extra effort the argument can be made rigorous, by defining the sum (2.5) in a larger Banach space, see ([15], Sect. 3) for a detailed approach). Then, by linearity of the Short-time Fourier transform \(V_{g}\), we have formally from (2.5) and (2.4)
2.2 Gaussian Entire Functions and Chern Critical Points
Gaussian entire functions are defined, for \(z\in \mathbb {C}\), as
where \(a_{k}\) are i. i. d. Gaussian random variables, and can be related to the Short-time Fourier transform of white noise (see the formal manipulation (2.6) and [14, 15] for details) as follows:
Since F(z) is an entire function, all local minima are zeros (see Proposition 1 in Sect. 4 for a proof). Moreover, the maximum principle rules out the possibility of finding local maxima for \(\left| F(z)\right| \). However, this is possible to do if we look at the extrema of white noise spectrograms. More precisely, at the critical, saddle and local maxima points and corresponding ordinate values, of the following random function:
where \(V_{g}\) stands for the Short-Time Fourier Transform with a Gaussian window, or, equivalently, of
The non-zero critical points of H(z) and U(z) are given by the solutions of the equation
where \(\nabla _{z}^{\prime }\) is the translation-invariant derivative (the symmetric part of the Chern connection, see Sect. 4 for more details):
leading us to consider the following Gaussian non-Entire Function,
and the associated correlation kernel
where \(L_{j}^{\alpha }\) denotes the Laguerre polynomial
K(z, w) turns out to be the reproducing kernel of the eigenspace linked to the second eigenvalue of the Landau Laplacian with a magnetic field (the second Landau Level—see the last section of the paper for more details). The solutions of (2.9) are the Chern critical points for holomorphic functions in \(\mathbb {C}\), following the terminology of [23], where general Riemann surfaces have been considered.
In what follows, we will use the concept of average number of a point process \(\mathcal {X}\) on \(\mathbb {C}\), \(\mathcal {N}^{\mathcal {X}}(z)\), well known in point processes theory as the 1-point intensity (the most popular notation is \(\rho _{1}\)) because it does not measure correlations with other points of the process. It simply gives the probability that \(z\in \mathcal {X} \). For a precise definition (for details, we suggest consulting the introductory material in [17]), one considers the expectation of the random distribution
which can be defined weakly on test functions as
where \(d\nu (z)=\frac{1}{\pi }dz\), where \(dz\ \)stands for Lebesgue measure. For instance, given \(\Omega \subset \mathbb {C}\), denote by \(\mathcal {X} \left( \Omega \right) \) the number of points to fall in \(\Omega \) on a realization of \(\mathcal {X}\). To compute the expected number of points to fall in \(\Omega \subset \mathbb {C}\), one chooses \(\mathcal {\varphi }(z)= \textbf{1}_{\Omega }(z)\), leading to
For the point process defined by the zeros of F(z), it is well known (from a trivial computation using Edelman–Kostlan formula [24], see [17]) that \(\mathcal {N}^{zer}=1\), which means that one zero is expected per unit area of the plane. It may be instructive to observe that Formula (2.11) allows to compute the density of the expected number of points. For instance, for the density of expected number of zeros, we choose \(\Omega \) as a disc of center z and radius R and obtain from (2.11) that \(\mathbb {E}\left( \mathcal {X}\left( D(z,R)\right) \right) =\int _{D(z,R)}1d\nu (z)=R^{2}\). Then,
3 Results and Comments
3.1 Critical, Saddle and Local Maxima Points
In the next result we compute the corresponding averages for the critical, saddle and local maxima points of H(z). We denote such averages by \( \mathcal {N}^{crit}\), \(\mathcal {N}^{sadd}\) and \(\mathcal {N}^{\max }\), respectively.
Theorem 1
All local minima of H(z) are zeros of F(z) and none of them is a zero of \(\ \nabla _{z}^{\prime }F(z)\). The remaining critical points of H(z) are zeros of \(\nabla _{z}^{\prime }F(z)\). Their average number is \(\mathcal {N}^{crit}=5/3\), which can be divided in an expected average number of \(\mathcal {N}^{\max }=1/3\) local maxima of H(z) and \(\mathcal {N} ^{sadd}=4/3\) saddle points.
From (2.11), the expected number of local maxima in a set \( \Omega \subset \mathbb {C}\) with Lesbegue measure \(\left| \Omega \right| <\infty \) will then be given by
Taking into account the identification between spectrograms of complex white noise with Gaussian windows and Gaussian Entire Functions provided by (2.8), we have
and
where \(V_{g}\) stands for the Short-Time Fourier Transform with a Gaussian window \(g(t):=2^{1/4}e^{-\pi t^{2}}\), \(t\in {\mathbb {R}}\). Under this identification, Theorem 1 can be reformulated as:
Corollary 1
All local minima of \(Spec_{g}\mathcal {W}(z)\) are zeros of \(V_{g}\mathcal {W}\) . The remaining critical points of \(Spec_{g}\mathcal {W}(z)\) are zeros of \(\nabla Spec_{g}\mathcal {W}(z)\). Their expected average number is 5/3, which can be divided in an expected average number of 1/3 local maxima and 4/3 saddle points of \(Spec_{g}\mathcal {W}(z)\).
This confirms a heuristic prediction of Patrick Flandrin, based on a conjectured double mean honeycomb model for the distribution of zeros and local maxima of Gaussian spectrograms, illustrated by the scheme of Fig. 1 below. According to such model, zeros define a mean honeycomb structure made of hexagons, which themselves define a larger honeycomb structure attached to local maxima, resulting in a distribution where the area of the local maxima centered hexagons is three times larger than the area of zero centered hexagons [besides Fig. 1, see also ([36], p. 148; Fig. 15.9) ([35], Fig. 1) ([37], Formula (22))]. Such a distribution would have a density of zeros three times bigger than the density of local maxima, as the above result demonstrates to be true. We note in passing that Sodin and Tsirelson [57], have shown that the random set with a triangular structure (slightly different from the perturbed hexagonal lattice)
where \(\eta _{k,l}\) are i.i.d Gaussian, achieves asymptotic similarity with the zeros of the GEF. Gathering the discussion of this paragraph, as a further step towards Flandrin’s conjecture, we conjecture that \( \Lambda \) achieves asymptotic similarity with the local maxima of the GEF.
Hexagonal lattices are ubiquitous in Euclidean point configuration problems. In time-frequency analysis this is discussed in Feichtinger’s survey [27]. An important conjecture by Strohmer and Beaver [58] expects the condition number of (deterministic) Gabor frames with Gaussian windows to be optimized by a hexagonal lattice. Significant progress towards a proof has been made by Faulhuber and collaborators [26], and a preprint with a full solution of the problem has recently been posted in [18].
Remark 1
In [15] the expected number of holomorphic critical points of F(z) (given by the equation \(F^{\prime }(z)=0\)) has been computed using the Edelman–Kostlan formula, since \(F^{\prime }(z)\) is also an entire function. It coincides with the large N limit of the number of saddle points of the chaotic analytic polynomial [22]. While sharing as common aspect an increase in the number of saddles when compared to the number of zeros, the result is quite different from the above. The average, explicitly given as
depends on \(\left| z\right| \), since the zero set of \(F^{\prime }(z)=0\) is rotation invariant (whence the radial average) but not translation invariant like \(\nabla _{z}^{\prime }F(z)\). In this case all solutions of the equation \(F^{\prime }(z)=0\) yield saddle points, due to the restriction imposed by the maximum modulus principle of an analytic function, which prevent the existence of local extrema. By considering \( \nabla _{z}^{\prime }F(z)=0\) instead (which is equivalent to the zeros of the gradient of the full spectrogram, as we will see in the next section), we were able to provide a full description of the local extrema and saddle points of H(z).
Remark 2
Due to the factor \(\left| z\right| ^{2}\) in (2.10), \(\nabla _{z}^{\prime }F(z)\) is not an entire function. Thus, one cannot take advantage of the simplifications leading to the Edelman-Kostlan formula and the direct use of Kac-Rice type formulas is necessary.
Remark 3
The fact that all local minima of H(z) are zeros of F(z) confirms what has been observed numerically in [14].
Remark 4
In [30], it has been shown that zeros of F(z) and \(\nabla _{z}^{\prime }F(z)\) exhibit repulsion at small scales (when their distance tends to zero). The impossibility of F(z) and \(\nabla _{z}^{\prime }F(z)\) having common zeros (see Proposition 1 for a proof) is another manifestation of such repulsion.
Remark 5
A striking result of Ghosh and Nishry [39] shows that the zero set of F(z), conditioned on the rare event of a disc with no zeros with radius r , converges (scaled) to an explicit limiting Radon measure with a large “forbidden region” between a singular part supported on the boundary of the (scaled) hole and the equilibrium measure far from the hole. Given the structure of zeros and local maxima suggested by Flandrin’s honeycomb network, partially supported by our results, it would be interesting to know what happens to the critical/local maxima points under the same rare event conditioning. At the moment we have no hint on what to expect. Technically, the main obstruction in adapting the methods used in [39] seems to be the absence of Jensen’s formula for \(\nabla _{z}^{\prime }F(z)\) (a bi-analytic function). The same obstruction shows up if one attempts to adapt the known proofs for upper bounding the probability of existence of a disc without local maxima (the so-called hole probability).
Also related to the above results are two questions of Nazarov, Sodin and Volberg in [50, 12.3] and [51, 2.2.3], where it is also suggested that the techniques used in [23] should also work here. Indeed, the proof of Theorem 1 consists of a simplification (possible in this case) of the methods used in [23], where the full calculations have been performed in one dimension for an elliptic model of Gaussian polynomials. In our case, results from analysis in one complex variable can be applied to rule out the possibility of local minima, simplifying the discussion on Morse indexes (see [23] and [29]) to the sign of the Hessian determinant at critical points. We give now a glimpse of the questions stated in [50, 12.3] and [51, 2.2.3] (see also the comments starting on page 146 of [36] for a time-frequency perspective combined with other ideas, such as differential reassignment and Voronoi tesselation).
The origin of the problem lies on the idea of gravitational allocation. Letting the Lebesgue measure fall by gravity and descend along gradient lines to the zeros of F(z), one is lead to an evolution described by a stochastic gradient flow involving the log-spectrogram U(z) as a potential:
Denoting by \(\Gamma _{z}\) the corresponding gradient curves that pass through z (assumed to be neither a zero of F(z) nor a critical point of U(z)), a random partition of the plane is obtained:
where B(a) is the basin of attraction of a: the set of points z such that \(\Gamma _{z}\) terminates at a. Now, associate to each \(z\in \mathbb {C} \), the basin such that \(z\in B(a_{z})\) and define two basins as neighbors if they have a common gradient curve on their boundary. Then \(N_{z}\) is the number of basins neighbors of \(B(a_{z})\), which equals the number of saddle points of U(z) connected by gradient curves to \(a_{z}\). Since almost surely each saddle is connected with two zeros, at least heuristically, we have:
By Theorem 1, \(R^{sadd/zeros}=\frac{8}{3}\). Likewise, the number of basins that meet at the same local maximum is
By Theorem 1, \(R^{sadd/local\max }=8\).
Remark 6
To provide an answer for the questions in [50] it is necessary to show the identities \(\mathbb {(}1\mathbb {)}\) and \(\mathbb {(}2\mathbb {)}\).
In another direction, the connections explored in this note may shed some light regarding the ubiquitous presence of the factor 1/3 in the first terms of the expansion of the number of critical points under the so-called Chern connection which, for entire functions in the Fock space, boils down to the operator \(\nabla _{z}^{\prime }\). Indeed, in the comments after formulas (15) and (16) of [23], Douglas, Shiffman and Zelditch mention that ‘It would be interesting to find a heuristic reason for the factor 1/3’. Flandrin’s mean honeycomb model provides such an heuristic reason in the planar case, and suggests that a geometric analogue of such model may exist for the expected distribution of zeros and maxima of random functions in general complex Riemann surfaces.
3.2 Critical, Saddle and Local Maxima Ordinate Values
The observations leading to the proof of Theorem 1 allow, with a slight extra effort, to understand the average distribution of the ordinate values of the critical, saddle and local maxima. By an ordinate critical value we mean the value of \(\left( Spec_{g}\mathcal {W}(z)\right) ^{1/2}\), at the critical point \(z_{c}\)
Formally, the expected density of the average ordinates of critical values of local maxima of \(\left( Spec_{g}\mathcal {W}(z)\right) ^{1/2}\) , D(x), is defined weakly on a compact set \(\Omega \subset \mathbb {C}\) for a test function \(\psi \) by the identity:
and similarly for saddles and local maxima. The following theorem, which is our second main result, describes the expected density distribution of ordinate values of critical, local maxima and saddle points (which are not probability distributions). The proof is based on methods of Feng and Zelditch [28, 29].
Theorem 2
The expected density of the average ordinate critical values of local maxima of \(\left( Spec_{g}\mathcal {W}(z)\right) ^{1/2}\) is given by the function \( D^{\max }\), defined on \(\left[ 0,\infty \right] \) by
of the ordinate values of saddle points, by
and of the ordinates of critical values by
4 Proof of Theorems 1 and 2
4.1 Critical Points Under the Chern Connection
The so called Chern connection under the Bargmann–Fock metric is given as
with
and
Following [23], we define a critical point of F(z) under the Chern connection as a solution of
If F(z) is entire as in the case of the GEF, then \(\nabla _{z}^{\prime \prime }F(z)=0\) and \(\nabla _{z}F(z)=\nabla _{z}^{\prime }F(z)\), simplifying the critical points equation:
Proposition 1
The nonzero critical points of H(z) and U(z) are given by the equation \( \nabla _{z}^{\prime }F(z)=0\). All nonzero critical points which are local extrema points of H(z) and U(z) are necessarily local maxima. Thus, all local minima are zeros of F(z) and cannot be critical points given by the equation \(\nabla _{z}^{\prime }F(z)=0\).
Proof
The critical points equation
where
is equivalent, for \(F(z)\ne 0\), to
Likewise, the critical point equation
is equivalent, for \(F(z)\ne 0\), to \(\nabla _{z}^{\prime }F(z)=0\). Thus, the critical points of
are the same as those of
Now observe that, if \(F(z)\ne 0\), the Laplacian of \(\log \left| F(z)e^{- \frac{\left| z\right| ^{2}}{2}}\right| \) is negative:
This implies that \(\log \left| F(z)e^{-\frac{\left| z\right| ^{2} }{2}}\right| \) is super harmonic outside the zero set of F. Thus, all local minima of \(\log \left| F(z)e^{-\frac{\left| z\right| ^{2}}{ 2}}\right| \) are attained when \(F(z)=0\), and the same happens with the local minima of \(\left| F(z)\right| ^{2}e^{-\left| z\right| ^{2}}\). As a result, all nonzero critical points which are local extrema points of H(z) and U(z) are local maxima. Finally, by [17, Lemma 2.4.1] all the zeros of F(z) are simple. It follows that if \(F(z)=0\) then \(\nabla _{z}^{\prime }F(z)\ne 0\).
The proofs of Theorems 1 and 2 in the next sections will use Kac-Rice formulas [8] and Hessians [7]. They are inspired by the scheme of [23, 28, 29], but in our much simple setting, we managed to obtain a direct, more elementary proof.
4.2 Proof of Theorem 1
The average of critical points is given by the expected number of zeros of \( \nabla _{z}^{\prime }F(z)=0\). Since \(\nabla _{z}^{\prime }F(z)\) is not analytic, to compute the expected number of its zeros one cannot use the Edelman-Kostlan formula, as usually done for Gaussian analytic functions. The key of the proof is to start with an appropriate Hessian matrix whose determinant sign allows to separate maxima, minima and saddles, and show that, at the critical points \(\nabla _{z}^{\prime }F(z_{c})=0\), this Hessian determinant is proportional to \(\det DF(z_{c})\), which, under the critical point \(\nabla _{z}^{\prime }F(z_{c})=0\) constraint, equals the determinant of the complex differential matrix which appears on the Kac-Rice formula for the average of critical points.
The nonzero critical points of \(U(z)=\log \left| F(z)e^{-\frac{ \left| z\right| ^{2}}{2}}\right| \) are given by \(\nabla _{z}^{\prime }F(z)=0\). The same is true for \(2U(z)=\log \left| F(z)e^{- \frac{\left| z\right| ^{2}}{2}}\right| ^{2}\). The corresponding Hessian matrix is
Observing that
one can evaluate the entries of the above matrix at the critical points \( \nabla _{z}^{\prime }F(z_{c})=0\), leading to
We have concluded that
coincides with the determinant of \(D(F)(z_{c})\) at the critical points \( \nabla _{z}^{\prime }F(z_{c})=0\), where
Thus, \(\det D^{Hess}(2U)(z_{c})\) and \(\det DF(z_{c})\) have the same sign. This allows to separate maxima, minima and saddles as follows. If \(\det DF(z)>0\), then both eigenvalues of DF(z) (and consequently, of \(\det D^{Hess}(2U)(z_{c})\)) are negative (if they were both positive then z would be a local minima, and this is not possible by Proposition 2.1). Thus, one has a non-zero local extrema that cannot be a local minimum and z is a local maximum. Thus, z is a local maximum if
or
Likewise, if
or, equivalently, if
then DF(z) has both positive and negative eigenvalues and z is a saddle point. Thus, saddle points are characterized by the condition (4.4). Furthermore, at a critical point \(\nabla _{z}^{\prime }F(z_{c})=0\) ,
We will now consider the 3-dimensional Gaussian process
with correlation kernel
Using the vector (4.5), the Kac-Rice formula for the average of critical points can be given as the conditional expectation of \(\det \mathcal {D}(\nabla _{z}^{\prime }F)\) at a critical point as in [23, (90)] or using [8, Theorem 6.2] as in [42, Lemma 2.3] (the \( \frac{1}{\pi }\) factor is included in the measure \(d\nu (z)\) of (2.11)). Thus,
Gathering the contents of this discussion, once we compute the Gaussian density p(0, v, u), by (4.3), the expected number of local maxima can be obtained using the following Kac-Rice formula:
and from (4.4), the expected number of saddle points is
The Gaussian measure p(0, v, u) is given in terms of the covariance matrix
and its inverse by
To compute p(0, v, u) we observe that
and we multiply the matrix \(\Lambda \) by \(e^{-\left| z\right| ^{2}}\) , since this keeps the measure p(0, v, u)dvdu invariant, leading to the following covariance matrix and respective inverse:
We arrive thus at
For the local maxima, we obtain from (4.7):
Likewise, (4.8) gives the average number of saddle points:
Now, from Proposition 1 all nonzero critical points which are local extrema points of H(z) and U(z) are necessarily local maxima. Thus, critical points can only be saddles or local maxima and the expected number of critical points is:
Thus, we have an average of 5/3 critical points. Among those, 1/3 are local maxima and 4/3 saddle points.
4.3 Proof of Theorem 2
We consider the empirical point measure defined by the values of \(\left| F({\xi })\right| e^{-\frac{\left| {\xi }\right| ^{2}}{2}}\) of critical points for \(\xi \) in a compact set \(\Omega \subset \mathbb {C}\), as the finite sum normalized by the Lesbegue measure of \(\Omega \), \(\left| \Omega \right| \):
The density of the ordinates of critical values, D(x), is defined weakly by the identity:
We first consider the density \(D{}^{\wedge }(u)\), defined by
and then we will integrate out the angle variable by \(D(x)=\int _{0}^{2\pi }D^{\wedge }(x,\theta )xd\theta \), after observing that, for radial \(\psi \),
When \(\nabla _{z}^{\prime }F(z)=0\),
and
so that we can write the 3-dimensional Gaussian process
The Kac-Rice formula is not changed by the resulting multiplication of the correlation kernel by \(e^{-\frac{\left| z\right| ^{2}}{2}-\frac{ \left| w\right| ^{2}}{2}}\). To obtain the density of the ordinates of critical values, using [8, Theorem 6.4] gives
Thus, from (4.9),
and, from the previous section,
Writing u in polar coordinates \((x,\theta )\) as
we obtain the expected density as a function of the ordinates \(x\in \mathbb {R }^{+}\):
Now,
For the first integral in brackets,
while the second gives
Thus, using the arguments of the previous section to separate saddle points from local maxima, we have
and
The total density of critical values is then given by
5 Gaussian Non-Analytic Functions
5.1 Gaussian Functions in the Second Landau Level
In this section we will rephrase the results on zeros and critical points of a GEF within the realm of the euclidean Landau levels [10], a popular mathematical physics model used to describe the quantum dynamics of charged-like particles, which, under the presence of a constant perpendicular magnetic field (which will be assumed constant \(=1\)), organize themselves in layers with unit increase of energy measured by the corresponding eigenvalues (the terminology Landau levels is mostly used to refer to such eigenvalues). Each such Landau level eigenvalue r has an associated Hilbert space with reproducing kernel, which can be used to define planar wave functions for repulsive interacting particles distributed in a particular energy level. This leads to an integer indexed sequence of determinantal point processes in the plane [56], an important class of Weyl–Heisenberg ensembles [3], which boil down to the Ginibre ensemble in the case \(r=0\). The increase in energy required for the allocation of particles in higher Landau levels was for a long time the mainstream physical explanation for the plateau-like pattern of perfect integer quantizations observed in the Integer Quantum-Hall Effect [60], when the electron filling factor of the observed sample saturates its bounded region degeneracy (corresponding to the dimension of the sample as a vector space conditioned by the Pauli exclusive allocation of an electron per unit cell). The integer jumps are thus explained by a simple electron density model, requiring no understanding of the higher order correlations. Thus, they can be described by the behavior of the single particle electron density (1-point intensity), which has been shown to have universal circular-law type behavior in all Landau levels, as a special case of the limit law of finite Weyl–Heisenberg ensembles [5], a geometrical flexible indicator function, initially studied with the aim of approximating localization regions (or, in the language of anti-Wick operators, of quantization symbols) by sums of spectrograms with windows orthogonal in a particular strong sense [4].
Back to the recurring theme of the paper, the critical points of (2.7) coincide with the zeros of the random analytic function
with correlation kernel
The Landau operator acting on the Hilbert space \(L^{2}\left( \mathbb {C} ,e^{-\left| z\right| ^{2}}\right) \) can be defined as minus the composition of the symmetric and non-symmetric part of the Chern connection:
The spectrum of \(L_{z}\) is given by \(\sigma (L_{z})=\{r:r=0,1,2,\ldots \}\).
We now observe that the symmetric part of the Chern connection, \(\nabla _{z}^{\prime }=\partial _{z}-\overline{z}\) is precisely the inter Landau levels raising operator (maps eigenfunctions of (5.3) with eigenvalue r to eigenfunctions with eigenvalue \(r+1\)), while the anti-symmetric part \(\nabla _{z}^{\prime \prime }=\partial _{\overline{z}}\) is the corresponding lowering operator. Denote by \(\mathcal {F}_{2}^{r}( \mathbb {C} )\) the space of functions which can be written as
for some \(f\in \mathcal {F}_{2}^{r}( \mathbb {C} )\). Then \(\mathcal {F}_{2}^{r}( \mathbb {C} )\) is the eigenspace of \(L_{z}\) associated with the eigenvalue r and the corresponding reproducing kernel is
Setting \(r=0\) gives the correlation kernel of the GEF (2.7), while \( r=1 \) leads to the correlation kernel (5.2) of the Chern connection critical points for the random Gaussian function (5.1). As a result, the distribution of critical points of a GEF coincides with the distribution of zeros of a Gaussian random function in the second Landau level (\(r=1\)).
5.2 Spectrograms of White Noise with the First Hermite Window
The random function \(F_{1}(z)\) can also be understood as the STFT of white noise, since
Thus, Theorem 1 implies that \(Spec_{h_{1}}\mathcal {W}(z)\) has an average number of 5/3 zeros. Heuristically, one can think that the zero-crossings of the Hermite window \(h_{1}\) will be reflected in the spectrogram, leading to an increase of the number of zeros. Following this reasoning, it is likely to expect a monotone increasing in the average number of zeros of the spectrogram with the order (which is fine tuned with the number of real zero-crossings) of the Hermite window. These heuristics have been confirmed in [42, Corollary 1.10], in work done simultaneously and independently from this, where the result \(r+1/2+\frac{1}{4r+2}\) is obtained for the the average number of zeros of \(V_{h_{r}}\mathcal {W}(\frac{ \bar{z}}{\pi })\).
Remark 7
By Proposition 1, all local maxima of \(\left| V_{h_{0}}\mathcal {W}(\bar{z })\right| \) are zeros of \(\left| V_{h_{1}}\mathcal {W}(\bar{z} )\right| \). Thus, the local maxima of \(\left| V_{h_{0}}\mathcal {W}( \bar{z})\right| \) and of \(\left| V_{h_{1}}\mathcal {W}(\bar{z} )\right| \) are intertwined, confirming the observations in [36, Fig. 10.4] for \(r=1\). However, it still remains an open question how to proof the suggested intertwining property of local maxima for general r.
5.3 Gaussian Weyl–Heisenberg Functions
In this section we will consider the usual assumption \(a_{k}\sim N_{\mathbb {C }}(0,1)\) i.i.d. The previous section suggests considering the STFT of white noise with a general normalized window \(g\in L^{2}({\mathbb {R}})\):
This leads us to a family of Gaussian functions with correlation kernel
The first two intensities of Gaussian Weyl–Heisenberg functions have been computed in [42]. Setting \(g=h_{0}\) we obtain, up to a phase factor, the correlation kernel of the GEF (corresponding to the Fock kernel, or the lowest Landau level):
The choice \(g=h_{r}\) leads to a similar relation with the higher Landau level kernels:
Determinantal point processes with the kernel \({K}_{g}(z,z^{\prime })\) have been studied in [3, 5], under the name of Weyl–Heisenberg ensembles.
In general, the non-analiticity of the basis functions creates an obstruction in several of the arguments used in the fundamental results about Gaussian Entire Functions, as it should be clear for a reader familiar with the engrossing presentation of the topic in [17]. For instance, the arguments used in Proposition 1 break down if we try to look at the Chern connection critical points of \(V_{g}\mathcal {W}\) when g is not a Gaussian (the only window leading to entire functions, see [9]). Thus, while it is clear how to obtain the zero-intensities, the analysis leading to the statistics of local extrema may pose some obstructions when trying to separate local minima from local maxima for more general windows.
5.4 Short-Time Fourier Transforms with White Noise Windows
In some signal analysis applications it may be useful to consider a random window, as done in [53, 55, Sect. 8], where a ‘white noise window’ has been used in the context of compressed sensing in the finite Gabor setting. In the continuous infinite setting considered in this paper, writing \(f\mathcal {(}t\mathcal {)}=\sum _{k=0}^{\infty }a_{k}h_{k}(t)\), and observing that
we can write the STFT modulus of f with a random white noise window \( \mathcal {W}\) as a Gaussian Weyl–Heisenberg function with a window f:
leading to the set-up of the previous section.
A related problem of interest in signal analysis is the study of the STFT transform of non-white random noise. Some heuristics regarding the invariance of the zeros of Gaussian spectrogram noise under ‘coloring’ can be found in [36, p. 156].
5.5 Gaussian Bi-entire Functions
A further observation will lead us to the consideration of a related Gaussian non-analytic function. A complex valued function is said to be polyanalytic of order n if it satisfies the higher order Cauchy–Riemann equations,
The Fock space of polyanalytic functions, \(\textbf{F}^{n}( \mathbb {C} )\) is the space of polyanalytic functions of order n, with finite Fock norm (2.3). Vasilevski [59] obtained the following decomposition of \(\textbf{F}^{n}( \mathbb {C} )\), in terms of the Landau levels eigenspaces \(\mathcal {F}_{2}^{r}( \mathbb {C} )\):
Despite some recent research activity related to determinantal point processes in higher Landau levels and polyanalytic Fock spaces [3, 5, 31, 43, 45, 46, 56], we were unable to find any literature about the corresponding Gaussian random (non-analytic) functions with exception of [42, Theorem 1.8] (though they occurred implicitly in some form in [23, 51], as we have made clear in the previous section).
We will finish this note by indicating how to compute the expected number of zeros of a Gaussian bi-entire function \(\mathbf {F(}z\mathbf {)}\) (5.6). By bi-entire we mean polyanalytic of order 2 in \(\mathbb {C}\) , according to (5.4). The decomposition (5.5) suggests considering the Gaussian random function
which, according to the models in previous sections, represents the sum of two STFT’s of independent realizations of white noise,
transformed with orthogonal windows \(h_{0}\) and \(h_{1}\):
The associated correlation kernel is the sum of the correlation kernel of the zeros of F(z), with the correlation kernel of the zeros of \(F_{1}(z)\):
This is the reproducing kernel of the Fock space of bi-analytic functions \( \textbf{F}^{2}( \mathbb {C} )\), given by the sum of the kernels of the first two Landau levels eigenspaces. The average number of zeros of \(F\mathbf {(}z\mathbf {)}\) can be computed with a procedure similar to the one used in the proof of Theorem 1, by considering the 3-dimensional Gaussian process
with correlation kernel K(z, w). One can also use the correspondences between polyanalytic functions and time-frequency analysis [1, 5] and deduce the result from the theory of Gaussian Weyl–Heisenberg functions (see [42, Theorem 1.8]). A related problem is the study of bi-analytic functions with more general weights. For this purpose, the asymptotic expansion of the bi-analytic Bergman kernel obtained in [44] may come in handy.
6 Conclusion
Based on the correspondence between Gaussian entire functions and spectrograms of white noise explored in [14, 15], we have provided a rigorous proof that spectrograms of white noise with Gaussian windows have an average of 5/3 critical points, among those 1/3 are local maxima, and 4/3 saddle points, providing, simultaneously, information about the number of neighbors of basins of zeros and local extrema, in the model of Nazarov, Sodin, and Volberg [50]. This confirms what is predicted by Flandrin’s double honeycomb mean mode for the average of local maxima and zeros of white noise spectrograms, where the area of local maxima centered hexagons is three times larger than the area of zero centered hexagons. We suggest that such mean model may provide a heuristic reason for the factor 1/3 in the topological terms of similar problems in complex Riemann surfaces, a question asked by Douglas, Shiffman and Zelditch in [23]. Using methods of Feng and Zelditch [28, 29], we have also provided the distribution of the ordinates of such points. The information may be useful in signal recovering threesholding-based methods and in algorithms based on spectrogram maxima in the style of the publicy released Shazam Entertainment’s recognition algorithm [61]. We also made a connection to Euclidean Landau levels [10], a model used in condensed matter physics related to the Quantum-Hall Effect: by noting that the translation invariant part of the Chern connection coincided with the inter-Landau levels raising operator, we pointed out that the critical points of the GEF are the zeros of a Gaussian random function with correlations given by the reproducing kernel of the first higher Landau level eigenspace, an instance of a space of bi-entire functions. This suggested the introduction of a bi-entire Gaussian random function which represents the sum of two independent realizations of white noise, STFT transformed with the first two Hermite windows. Further directions with applied potential in physics and signal analysis involve the setting of compact Riemann surfaces covered in [23]. In particular, SU(2) polynomials provide finite dimensional models with treatable formulas [23, 28, 29], which may find applications in the context of [52]. The 2-point intensities of critical points seem to be untreatable without computer algebra support [11, 42].
Finally, a few comments which, before risking contempt by more scientifically orthodox thinkers, should be considered within the umbrella of speculative assertions. The analogies between the statistics of supersymmetric vacua, spectrogram extrema and the structure of zeros and critical points could suggest using the combination of acoustic-related numerical and thought experiments, of the kind presented in the recent monograph [36], as a source of intuition to large scale macroscopic and microscopic phenomena. The combination of ideas used in this article intertwine basic principles of time-frequency representations, Gaussian analytic functions, and condensed matter physics. One may accept the possibility of a cross-fertilization between such topics, which, traditionally, tend to be treated in different subdisciplines of mathematics, physics and acoustics. Moving a step further in these speculations, one could point to a more abstract picture, since all these topics may be brought together by the formalism of noncommutative geometry [19]. For an overview of some of the links between time-frequency analysis and noncommutative geometry, see for instance the survey of Luef and Manin [48].
References
Abreu, L.D.: Sampling and interpolation in Bargmann-Fock spaces of polyanalytic functions. Appl. Comp. Harm. Anal. 29, 287–302 (2010)
Abreu, L.D., Feichtinger, H.G.: Function Spaces of Polyanalytic Functions, Harmonic and Complex Analysis and its Applications, pp. 1–38. Springer, New York (2014)
Abreu, L.D., Pereira, J.M., Romero, J.L., Torquato, S.: The Weyl-Heisenberg ensemble: hyperuniformity and higher Landau levels. J. Stat. Mech. 2017, 043103 (2017)
Abreu, L.D., Gröchenig, K., Romero, J.L.: On accumulated spectrograms. Trans. Am. Math. Soc. 368(5), 3629–3649 (2016)
Abreu, L.D., Gröchenig, K., Romero, J.L.: Harmonic analysis in phase space and finite Weyl-Heisenberg ensembles. J. Stat. Phys. 174(5), 1104–1136 (2019)
Abreu, L.D., Haimi, A., Koliander, G., Romero, J.L.: Filtering with wavelet zeros and Gaussian analytic functions, Technical report. ar**v:1807.03183 (2020)
Adler, R.J., Taylor, J.E.: Random Fields and Geometry. Springer Monographs in Mathematics. Springer, New York (2007)
Azaïs, J.M., Wschebor, M.: Level Sets and Extrema of Random Processes and Fields. Wiley, Hoboken (2009)
Ascensi, G., Bruna, J.: Model space results for the Gabor and Wavelet transforms. IEEE Trans. Inf. Theory 55, 2250–2259 (2009)
Askour, N., Intissar, A., Mouayn, Z.: Espaces de Bargmann g énéralisés et formules explicites pour leurs noyaux reproduisants. C. R. Acad. Sci. Paris Sér. I Math. 325, 707–712 (1997)
Baber, J.: Scaled correlations of critical points of random sections on Riemann surfaces. J. Stat. Phys. 148(2), 250–279 (2012)
Balazs, P., Bayer, D., Jaillet, F., Soendergaard, P.: The pole behaviour of the phase derivative of the short-time fourier transform. Appl. Comput. Harm. Anal. 30, 610–621 (2016)
Balk, M.B.: Polyanalytic Functions. Akad. Verlag, Berlin (1991)
Bardenet, R., Flamant, J., Chainais, P.: On the zeros of the spectrogram of white noise. Appl. Comput. Harm. Anal. 48, 682–705 (2020)
Bardenet, R., Hardy, A.: Time-frequency transforms of white noises and Gaussian analytic functions. Appl. Comput. Harm. Anal. 50, 73–104 (2021)
Bardenet, R., Chainais, P., Flamant, J., Hardy, A.: A correspondence between zeros of time-frequency transforms and Gaussian analytic functions. In: 2019 13th International Conference on Sampling Theory and Applications (SampTA) (pp. 1–4). IEEE (2019)
Ben Hough, J., Krishnapur, M., Peres, Y., Virág, B.: Zeros of Gaussian Analytic Functions and Determinantal Point Processes, University Lecture Series, vol. 51, pp. x+154. American Mathematical Society, Providence (2009)
Bétermin, L., Faulhuber, M., Steinerberger, S.: A variational principle for Gaussian lattice sums, ar**v preprint ar**v:2110.06008 (2021)
Connes, A.: Noncommutative Geometry. Modern Birkhäuser Classics (2000)
Chassande-Mottin, E., Daubechies, I., Auger, F., Flandrin, P.: Differential reassignment. IEEE Signal Proc. Lett. 4(10), 293–294 (1997)
Daubechies, I., Lu, J., Wu, H.-T.: Synchrosqueezed wavelet transforms: an empirical mode decomposition like tool. Appl. Comput. Harm. Anal. 30, 243–261 (2011)
Dennis, M.R., Hannay, J.H.: Saddle points in the chaotic analytic function and Ginibre characteristic polynomial. J. Phys. A 36, 3379–3383 (2003)
Douglas, M.R., Shiffman, B., Zelditch, S.: Critical points and supersymmetric vacua I. Commun. Math. Phys. 252(1–3), 325–358 (2004)
Edelman, A., Kostlan, E.: How many zeros of a random polynomial are real? Bull. Am. Math. Soc. 32(1), 1–37 (1995)
Escudero, L.A., Feldheim, N., Koliander, G., Romero, J.L.: Efficient computation of the zeros of the Bargmann transform under additive white noise. Found. Comput. Math. (2022)
Faulhuber, M., Steinerberger, S.: An extremal property of the hexagonal lattice. J. Stat. Phys. 177, 285–298 (2019)
Feichtinger, H.G.: Gabor expansions of signals: computational aspects and open questions. In: Landscapes of Time-Frequency Analysis, pp. 173–206. Springer, New York (2019)
Feng, R., Zelditch, S.: Critical values of random analytic functions on complex manifolds. Indiana Univ. Math. J. 63, 651–686 (2014)
Feng, R., Zelditch, S.: Critical values of fixed Morse index of random analytic functions on Riemann surfaces. Indiana Univ. Math. J. 66(1), 23–29 (2017)
Feng, R.: Correlations between zeros and critical points of random analytic functions. Trans. Am. Math. Soc. 371(8), 5247–5265 (2019)
Fenzl, M., Lambert, G.: Precise deviations for disk counting statistics of invariant determinantal processes. Int. Math. Res. Notices 10, 7420–7494 (2022)
Flandrin, P., Auger, F., Chassande-Mottin, E.: Time-frequency reassignment—from principles to algorithms. In: Papandreou-Suppappola, A. (ed.) Applications in Time-Frequency Signal Processing, Chapter 5, pp. 179–203. CRC Press, Boca Raton (2003)
Flandrin, P.: Time-frequency filtering based on spectrogram zeros. IEEE Signal Process. Lett. 22(11), 2137–2141 (2015)
Flandrin, P.: The sound of silence: recovering signals from time-frequency zeros. In: 50th Asilomar Conference on Signals, Systems and Computers. IEEE (2016)
Flandrin, P.: On spectrogram local maxima. In 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), pp. 3979–3983. IEEE (2017)
Flandrin, P.: Explorations in Time-Frequency Analysis. Cambridge University Press, Cambridge (2018)
Flandrin, P., Chassande-Mottin, E., Auger, F.: Uncertainty and spectrogram geometry. In: Proceedings of the 20th European Signal Processing Conference (EUSIPCO). IEEE (2012)
Gardner, T.J., Magnasco, M.O.: Sparse time-frequency representations. Proc. Nat. Acad. Sci. 103(16), 6094–6099 (2006)
Ghosh, S., Nishry, A.: Gaussian complex zeros on the hole event: the emergence of a forbidden region. Commun. Pure Appl. Math. 72(1), 3–62 (2019)
Ghosh, S., Lin, M., Sun, D.: Estimation and inference of signals via the stochastic geometry of spectrogram level sets. IEEE Trans. Signal Proc. 70, 1104–1117 (2022)
Gröchenig, K.: Foundations of Time-Frequency Analysis. Birkhäuser, Boston (2001)
Haimi, A., Koliander, G., Romero, J.L.: Zeros of Gaussian Weyl-Heisenberg functions and hyperuniformity of charge. J. Stat. Phys. 187(3), 1–41 (2022)
Haimi, A., Hedenmalm, H.: The polyanalytic Ginibre ensembles. J. Stat. Phys. 153(1), 10–47 (2013)
Haimi, A., Hedenmalm, H.: Asymptotic expansions of polyanalytic Bergman kernels. J. Funct. Anal. 267, 4667–4731 (2014)
Haimi, A., Wennman, A.: A Central limit theorem for fluctuations in Polyanalytic Ginibre ensembles. Int. Math. Res. Notices 5, 1350–1372 (2019)
Katori, M., Shirai, T.: Partial isometries, duality, and determinantal point processes. Random Matrices 11(03), 2250025 (2022)
Koliander, G., Abreu, L.D., Haimi, A., Romero, J.L.: Filtering the continuous wavelet transform using hyperbolic triangulations. In: 2019 13th International Conference on Sampling Theory and Applications (SampTA). IEEE (2019)
Luef, F., Manin, Y.I.: Quantum theta functions and Gabor frames for modulation spaces. Lett. Math. Phys. 88, 131–161 (2009)
Moukadem, A., Courbot, J.B., Colicchio, B., Dieterlen, A.: On the zeros of the Stockwell and Morlet wavelet transforms, hal.archives-ouvertes.fr (2021)
Nazarov, F., Sodin, M., Volberg, A.: Transportation to random zeroes by the gradient flow. GAFA 17(3), 887–935 (2007)
Nazarov, F., Sodin, M.: Random complex zeroes and random nodal lines. In: Proceedings of the International Congress of Mathematicians 2010 (ICM 2010) (In 4 Volumes), vol. I: Plenary Lectures and Ceremonies vols. II–IV: Invited Lectures, pp. 1450–1484 (2010)
Pascal, B., Bardenet, R.: A covariant, discrete time-frequency representation tailored for zero-based signal detection. IEEE Trans. Signal Process. 70, 2950–2961 (2022)
Pfander, G.E.: Gabor frames in finite dimensions. In: Finite Frames: Theory and Applications, pp. 193–239 (2013)
Rougé, P., Moukadem, A., Dieterlen, A., Boutet, A., Frindel, C.: Anonymizing motion sensor data through time-frequency domain. In: 2021 IEEE 31st International Workshop on Machine Learning for Signal Processing (MLSP), pp. 1–6 (2021)
Salanevich, P., Pfander, G.E.: Geometric properties of Gabor frames with a random window. In: 2017 International Conference on Sampling Theory and Applications (SampTA), pp. 183–187. IEEE (2017)
Shirai, T.: Ginibre-type point processes and their asymptotic behavior. J. Math. Soc. Jpn. 67(2), 763–787 (2015)
Sodin, M., Tsirelson, B.: Random Complex Zeroes, I. Asymptotic Normality. Israel J. Math. 144(1), 125–149 (2004)
Strohmer, T., Beaver, S.: Optimal OFDM design for time-frequency dispersive channels. IEEE Trans. Commun. 51(7), 1111–1122 (2003)
Vasilevski, N.L.: Poly-Fock spaces. Differential operators and related topics, vol. I (Odessa, 1997), pp. 371–386, Oper. Theory Adv. Appl., vol. 117. Birkhäuser, Basel (2000)
von Klitzing, K.: Nobel lecture: The quantized Hall effect. Rev. Mod. Phys. 58, 519 (1985)
Wang, A.: An industrial strength audio search algorithm. In: Ismir, pp. 7–13 (2003)
Acknowledgements
The author wishes to thank Patrick Flandrin for motivating discussions and encouragement in pursuing some of the fascinating questions suggested by his recent monograph [36]. This paper evolved from a 2020 RG manuscript which contained several inaccuracies in its original form, specially in the proof of Theorem 2. I would like to thank the patience of those who struggled to read the first versions, and I’m particularly indebted to Guenther Koliander, Michael Speckbacher and Tomoyuki Shirai for discussions and valuable feedback during the preparation of this manuscript, to Mikhail Sodin for clarifying the current (open) status of the questions in [50, 12.3], and to Arnaud Poinas for correcting several mistakes. The reviewing process has considerably improved the paper and I’m grateful for the editorial efforts and the valuable comments and corrections provided by the three reviewers.
Funding
Open access funding provided by University of Vienna.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Patrick Flandrin.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
L.D. Abreu was supported by FWF Project 31225-N32
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Abreu, L.D. Local Maxima of White Noise Spectrograms and Gaussian Entire Functions. J Fourier Anal Appl 28, 88 (2022). https://doi.org/10.1007/s00041-022-09979-7
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00041-022-09979-7