-
A variational problem to calculate probabilities
Authors:
Hugo Guadalupe Reyna-Castañeda,
María de los Ángeles Sandoval Romero
Abstract:
In this paper, we prove the existence and uniqueness of the conditional expectation of an event $A$ given a $σ$-algebra $\mathcal{G}$ as a linear problem in the Lebesgue spaces $L^{p}$ associated with a probability space through the Riesz Representation Theorems. For the $L^{2}$ case, we state the Dirichlet's principle. Then, we extend this principle for specific values of $p$, framing the existen…
▽ More
In this paper, we prove the existence and uniqueness of the conditional expectation of an event $A$ given a $σ$-algebra $\mathcal{G}$ as a linear problem in the Lebesgue spaces $L^{p}$ associated with a probability space through the Riesz Representation Theorems. For the $L^{2}$ case, we state the Dirichlet's principle. Then, we extend this principle for specific values of $p$, framing the existence of the conditional expectation as a variational problem. We conclude with a proof of the law of total probability using these tools.
△ Less
Submitted 20 March, 2025;
originally announced March 2025.
-
Model agnostic signal encoding by leaky integrate and fire, performance and uncertainty
Authors:
Diana Carbajal,
José Luis Romero
Abstract:
Integrate and fire is a resource efficient time-encoding mechanism that summarizes into a signed spike train those time intervals where a signal's charge exceeds a certain threshold. We analyze the IF encoder in terms of a very general notion of approximate bandwidth, which is shared by most commonly-used signal models. This complements results on exact encoding that may be overly adapted to a par…
▽ More
Integrate and fire is a resource efficient time-encoding mechanism that summarizes into a signed spike train those time intervals where a signal's charge exceeds a certain threshold. We analyze the IF encoder in terms of a very general notion of approximate bandwidth, which is shared by most commonly-used signal models. This complements results on exact encoding that may be overly adapted to a particular signal model. We take into account, possibly for the first time, the effect of uncertainty in the exact location of the spikes (as may arise by decimation), uncertainty of integration leakage (as may arise in realistic manufacturing), and boundary effects inherent to finite periods of exposure to the measurement device. The analysis is done by means of a concrete bandwidth-based Ansatz that can also be useful to initialize more sophisticated model specific reconstruction algorithms, and uses the earth mover's (Wassertein) distance to measure spike discrepancy.
△ Less
Submitted 26 March, 2025; v1 submitted 17 December, 2024;
originally announced December 2024.
-
Enhancing sharp augmented Lagrangian methods with smoothing techniques for nonlinear programming
Authors:
José Luis Romero,
Damián Fernandez,
Germán Ariel Torres
Abstract:
This paper proposes a novel approach to solving nonlinear programming problems using a sharp augmented Lagrangian method with a smoothing technique. Traditional sharp augmented Lagrangian methods are known for their effectiveness but are often hindered by the need for global minimization of nonconvex, nondifferentiable functions at each iteration. To address this challenge, we introduce a smoothin…
▽ More
This paper proposes a novel approach to solving nonlinear programming problems using a sharp augmented Lagrangian method with a smoothing technique. Traditional sharp augmented Lagrangian methods are known for their effectiveness but are often hindered by the need for global minimization of nonconvex, nondifferentiable functions at each iteration. To address this challenge, we introduce a smoothing function that approximates the sharp augmented Lagrangian, enabling the use of primal minimization strategies similar to those in Powell--Hestenes--Rockafellar (PHR) methods. Our approach retains the theoretical rigor of classical duality schemes while allowing for the use of stationary points in the primal optimization process. We present two algorithms based on this method--one utilizing standard descent and the other employing coordinate descent. Numerical experiments demonstrate that our smoothing--based method compares favorably with the PHR augmented Lagrangian approach, offering both robustness and practical efficiency. The proposed method is particularly advantageous in scenarios where exact minimization is computationally infeasible, providing a balance between theoretical precision and computational tractability.
△ Less
Submitted 3 October, 2024;
originally announced October 2024.
-
Hölder-Continuity of Extreme Spectral Values of Pseudodifferential Operators, Gabor Frame Bounds, and Saturation
Authors:
Karlheinz Gröchenig,
José Luis Romero,
Michael Speckbacher
Abstract:
We build on our recent results on the Lipschitz dependence of the extreme spectral values of one-parameter families of pseudodifferential operators with symbols in a weighted Sjöstrand class. We prove that larger symbol classes lead to Hölder continuity with respect to the parameter. This result is then used to investigate the behavior of frame bounds of families of Gabor systems…
▽ More
We build on our recent results on the Lipschitz dependence of the extreme spectral values of one-parameter families of pseudodifferential operators with symbols in a weighted Sjöstrand class. We prove that larger symbol classes lead to Hölder continuity with respect to the parameter. This result is then used to investigate the behavior of frame bounds of families of Gabor systems $\mathcal{G}(g,αΛ)$ with respect to the parameter $α>0$, where $Λ$ is a set of non-uniform, relatively separated time-frequency shifts, and $g\in M^1_s(\mathbb{R}^d)$, $0\leq s\leq 2$. In particular, we show that the frame bounds depend continuously on $α$ if $g\in M^1(\mathbb{R}^d)$, and are Hölder continuous if $g\in M^1_s(\mathbb{R}^d)$, $0<s\leq 2$, with the Hölder exponent explicitly given.
△ Less
Submitted 25 July, 2024;
originally announced July 2024.
-
Hyperuniformity and non-hyperuniformity of zeros of Gaussian Weyl-Heisenberg Functions
Authors:
Naomi Feldheim,
Antti Haimi,
Günther Koliander,
José Luis Romero
Abstract:
We study zero sets of twisted stationary Gaussian random functions on the complex plane, i.e., Gaussian random functions that are stochastically invariant under the action of the Weyl-Heisenberg group. This model includes translation invariant Gaussian entire functions (GEFs), and also many other non-analytic examples, in which case winding numbers around zeros can be either positive or negative.…
▽ More
We study zero sets of twisted stationary Gaussian random functions on the complex plane, i.e., Gaussian random functions that are stochastically invariant under the action of the Weyl-Heisenberg group. This model includes translation invariant Gaussian entire functions (GEFs), and also many other non-analytic examples, in which case winding numbers around zeros can be either positive or negative. We investigate zero statistics both when zeros are weighted with their winding numbers (charged zero set) and when they are not (uncharged zero set). We show that the variance of the charged zero statistic always grows linearly with the radius of the observation disk (hyperuniformity). Importantly, this holds for functions with possibly non-zero means and without assuming additional symmetries such as radiality. With respect to uncharged zero statistics, we provide an example for which the variance grows with the area of the observation disk (non-hyperuniformity). This is used to show that, while the zeros of GEFs are hyperuniform, the set of their critical points fails to be so. Our work contributes to recent developments in statistical signal processing, where the time-frequency profile of a non-stationary signal embedded into noise is revealed by performing a statistical test on the zeros of its spectrogram (``silent points''). We show that empirical spectrogram zero counts enjoy moderate deviation from their ensemble averages over large observation windows (something that was previously known only for pure noise). In contrast, we also show that spectogram maxima (``loud points") fail to enjoy a similar property. This gives the first formal evidence for the statistical superiority of silent points over the competing feature of loud points, a fact that has been noted by practitioners.
△ Less
Submitted 17 September, 2024; v1 submitted 28 June, 2024;
originally announced June 2024.
-
Sampling in the shift-invariant space generated by the bivariate Gaussian function
Authors:
José Luis Romero,
Alexander Ulanovskii,
Ilya Zlotnikov
Abstract:
We study the space spanned by the integer shifts of a bivariate Gaussian function and the problem of reconstructing any function in that space from samples scattered across the plane. We identify a large class of lattices, or more generally semi-regular sampling patterns spread along parallel lines, that lead to stable reconstruction while having densities close to the critical value given by Land…
▽ More
We study the space spanned by the integer shifts of a bivariate Gaussian function and the problem of reconstructing any function in that space from samples scattered across the plane. We identify a large class of lattices, or more generally semi-regular sampling patterns spread along parallel lines, that lead to stable reconstruction while having densities close to the critical value given by Landau's limit. At the critical density, we construct examples of sampling patterns for which reconstruction fails.
In the same vein, we also investigate continuous sampling along non-uniformly scattered families of parallel lines and identify the threshold density of line configurations at which reconstruction is possible. In a remarkable contrast with Paley-Wiener spaces, the results are completely different for lines with rational or irrational slopes.
Finally, we apply the sampling results to Gabor systems with bivariate Gaussian windows. As a main contribution, we provide a large list of new examples of Gabor frames with non-complex lattices having volume close to 1.
△ Less
Submitted 19 July, 2024; v1 submitted 23 June, 2023;
originally announced June 2023.
-
Random periodic sampling patterns for shift-invariant spaces
Authors:
Jorge Antezana,
Diana Carbajal,
José Luis Romero
Abstract:
We consider multi-variate signals spanned by the integer shifts of a set of generating functions with distinct frequency profiles and the problem of reconstructing them from samples taken on a random periodic set. We show that such a sampling strategy succeeds with high probability provided that the density of the sampling pattern exceeds the number of frequency profiles by a logarithmic factor.…
▽ More
We consider multi-variate signals spanned by the integer shifts of a set of generating functions with distinct frequency profiles and the problem of reconstructing them from samples taken on a random periodic set. We show that such a sampling strategy succeeds with high probability provided that the density of the sampling pattern exceeds the number of frequency profiles by a logarithmic factor.
The signal model includes bandlimited functions with multi-band spectra. While in this well-studied setting delicate constructions provide sampling strategies that meet the information theoretic benchmark of Shannon and Landau, the sampling pattern that we consider provides, at the price of a logarithmic oversampling factor, a simple alternative that is accompanied by favorable a priori stability margins (snug frames). More generally, we also treat bandlimited functions with arbitrary compact spectra, and different measures of its complexity and approximation rates by integer tiles.
At the technical level, we elaborate on recent work on relevant sampling, with the key difference that the reconstruction guarantees that we provide hold uniformly for all signals, rather than for a subset of well-concentrated ones. This is achieved by methods of concentration of measure formulated on the Zak domain.
△ Less
Submitted 12 October, 2023; v1 submitted 24 May, 2023;
originally announced May 2023.
-
$\mathcal{C}^{\infty}$-structures in the integration of involutive distributions
Authors:
A. J. Pan-Collantes,
C. Muriel,
A. Ruiz,
J. L. Romero
Abstract:
For a system of ordinary differential equations (ODEs) or, more generally, an involutive distribution of vector fields, the problem of its integration is considered. Among the many approaches to this problem, solvable structures provide a systematic procedure of integration via Pfaffian equations that are integrable by quadratures. In this paper structures more general than solvable structures (na…
▽ More
For a system of ordinary differential equations (ODEs) or, more generally, an involutive distribution of vector fields, the problem of its integration is considered. Among the many approaches to this problem, solvable structures provide a systematic procedure of integration via Pfaffian equations that are integrable by quadratures. In this paper structures more general than solvable structures (named cinf-structures) are considered. The symmetry condition in the concept of solvable structure is weakened for cinf-structures by requiring their vector fields be just cinf-symmetries. For cinf-structures there is also an integration procedure, but the corresponding Pfaffian equations, although completely integrable, are not necessarily integrable by quadratures. The well-known result on the relationship between integrating factors and Lie point symmetries for first-order ODEs is generalized for cinf-structures and involutive distributions of arbitrary corank by introducing symmetrizing factors. The role of these symmetrizing factors on the integrability by quadratures of the Pfaffian equations associated with the \cinf-structure is also established. Some examples that show how these objects and results can be applied in practice are also presented.
△ Less
Submitted 12 May, 2023;
originally announced May 2023.
-
Eigenvalue estimates for Fourier concentration operators on two domains
Authors:
Felipe Marceca,
José Luis Romero,
Michael Speckbacher
Abstract:
We study concentration operators associated with either the discrete or the continuous Fourier transform, that is, operators that incorporate a spatial cut-off and a subsequent frequency cut-off to the Fourier inversion formula. Their spectral profiles describe the number of prominent degrees of freedom in problems where functions are assumed to be supported on a certain domain and their Fourier t…
▽ More
We study concentration operators associated with either the discrete or the continuous Fourier transform, that is, operators that incorporate a spatial cut-off and a subsequent frequency cut-off to the Fourier inversion formula. Their spectral profiles describe the number of prominent degrees of freedom in problems where functions are assumed to be supported on a certain domain and their Fourier transforms are known or measured on a second domain.
We derive eigenvalue estimates that quantify the extent to which Fourier concentration operators deviate from orthogonal projectors, by bounding the number of eigenvalues that are away from 0 and 1 in terms of the geometry of the spatial and frequency domains, and a factor that grows at most poly-logarithmically on the inverse of the spectral margin. The estimates are non-asymptotic in the sense that they are applicable to concrete domains and spectral thresholds, and almost match asymptotic benchmarks.
Our work covers for the first time non-convex and non-symmetric spatial and frequency concentration domains, as demanded by numerous applications that exploit the expected approximate low dimensionality of the modeled phenomena. The proofs build on Israel's work on one dimensional intervals [arXiv: 1502.04404v1]. The new ingredients are the use of redundant wave-packet expansions and a dyadic decomposition argument to obtain Schatten norm estimates for Hankel operators.
△ Less
Submitted 8 March, 2024; v1 submitted 27 January, 2023;
originally announced January 2023.
-
Improved discrepancy for the planar Coulomb gas at low temperatures
Authors:
Felipe Marceca,
José Luis Romero
Abstract:
We study the planar Coulomb gas in the regime where the inverse temperature $β_n$ grows at least logarithmically with respect to the number of particles $n$ (freezing regime, $β_n\gtrsim \log n$). We show that, almost surely for large $n$, the discrepancy between the number of particles in any microscopic region and their expected value (given with adequate precision by the equilibrium measure) is…
▽ More
We study the planar Coulomb gas in the regime where the inverse temperature $β_n$ grows at least logarithmically with respect to the number of particles $n$ (freezing regime, $β_n\gtrsim \log n$). We show that, almost surely for large $n$, the discrepancy between the number of particles in any microscopic region and their expected value (given with adequate precision by the equilibrium measure) is, up to log factors, of the order of the perimeter of the observation window. The estimates are valid throughout the whole droplet (the region where the particles accumulate), and are particularly interesting near the boundary, while in the bulk they offer technical improvements over known results.
Our work builds on recent results on equidistribution at low temperatures and improves on them by providing refined spectral asymptotics for certain Toeplitz operators on the range of the erfc-kernel (sometimes called Faddeeva or plasma dispersion kernel).
△ Less
Submitted 11 January, 2024; v1 submitted 30 December, 2022;
originally announced December 2022.
-
Comment on "Affine density, von Neumann dimension and a problem of Perelomov"
Authors:
José Luis Romero
Abstract:
We point out that the main theorem of Ref2 := [Adv. Math. 407, Article ID 108564, 22 p. (2022)] is included in the prior research survey Ref1 := [Expo. Math., 40(2), 265-301, 2022]. For context, we also reproduce the rather simple proof given in Ref1 (essentially due to Janssen). We also offer a brief discussion of the literature that is alternative to that given in Ref2. Specifically, we differ w…
▽ More
We point out that the main theorem of Ref2 := [Adv. Math. 407, Article ID 108564, 22 p. (2022)] is included in the prior research survey Ref1 := [Expo. Math., 40(2), 265-301, 2022]. For context, we also reproduce the rather simple proof given in Ref1 (essentially due to Janssen). We also offer a brief discussion of the literature that is alternative to that given in Ref2. Specifically, we differ with Ref2 with respect to novelty, relevance, and attribution of stated results (and, to some extent, correctness of statements).
△ Less
Submitted 9 November, 2022;
originally announced November 2022.
-
Normality of smooth statistics for planar determinantal point processes
Authors:
Antti Haimi,
José Luis Romero
Abstract:
We consider smooth linear statistics of determinantal point processes on the complex plane, and their large scale asymptotics. We prove asymptotic normality in the finite variance case, where Soshnikov's theorem is not applicable. The setting is similar to that of Rider and Virág [Electron. J. Probab., 12, no. 45, 1238--1257, (2007)] for the complex plane, but replaces analyticity conditions by th…
▽ More
We consider smooth linear statistics of determinantal point processes on the complex plane, and their large scale asymptotics. We prove asymptotic normality in the finite variance case, where Soshnikov's theorem is not applicable. The setting is similar to that of Rider and Virág [Electron. J. Probab., 12, no. 45, 1238--1257, (2007)] for the complex plane, but replaces analyticity conditions by the assumption that the correlation kernel is reproducing. Our proof is a streamlined version of that of Ameur, Hedenmalm and Makarov [Duke Math J., 159, 31--81, (2011)] for eigenvalues of normal random matrices. In our case, the reproducing property is brought to bear to compensate for the lack of analyticity and radial symmetries.
△ Less
Submitted 21 March, 2023; v1 submitted 19 October, 2022;
originally announced October 2022.
-
Lipschitz Continuity of Spectra of Pseudodifferential Operators in a Weighted Sjöstrand Class and Gabor Frame Bounds
Authors:
Karlheinz Gröchenig,
José Luis Romero,
Michael Speckbacher
Abstract:
We study one-parameter families of pseudodifferential operators whose Weyl symbols are obtained by dilation and a smooth deformation of a symbol in a weighted Sjöstrand class. We show that their spectral edges are Lipschitz continuous functions of the dilation or deformation parameter. Suitably local estimates hold also for the edges of every spectral gap. These statements extend Bellissard's semi…
▽ More
We study one-parameter families of pseudodifferential operators whose Weyl symbols are obtained by dilation and a smooth deformation of a symbol in a weighted Sjöstrand class. We show that their spectral edges are Lipschitz continuous functions of the dilation or deformation parameter. Suitably local estimates hold also for the edges of every spectral gap. These statements extend Bellissard's seminal results on the Lipschitz continuity of spectral edges for families of operators with periodic symbols to a large class of symbols with only mild regularity assumptions.
The abstract results are used to prove that the frame bounds of a family of Gabor systems $\mathcal{G}(g,αΛ)$, where $Λ$ is a set of non-uniform time-frequency shifts, $α>0$, and $g\in M^1_2(\mathbb{R}^d)$, are Lipschitz continuous functions in $α$. This settles a question about the precise blow-up rate of the condition number of Gabor frames near the critical density.
△ Less
Submitted 23 March, 2023; v1 submitted 18 July, 2022;
originally announced July 2022.
-
$\mathcal{C}^{\infty}$-symmetries of distributions and integrability
Authors:
A. J. Pan-Collantes,
A. Ruiz,
C. Muriel,
J. L. Romero
Abstract:
An extension of the notion of solvable structure for involutive distributions of vector fields is introduced. The new structures are based on a generalization of the concept of symmetry of a distribution of vector fields, inspired in the extension of Lie point symmetries to $\mathcal{C}^{\infty}$-symmetries for ODEs developed in the recent years.
These new objects, named $\mathcal{C}^{\infty}$-s…
▽ More
An extension of the notion of solvable structure for involutive distributions of vector fields is introduced. The new structures are based on a generalization of the concept of symmetry of a distribution of vector fields, inspired in the extension of Lie point symmetries to $\mathcal{C}^{\infty}$-symmetries for ODEs developed in the recent years.
These new objects, named $\mathcal{C}^{\infty}$-structures, play a fundamental role in the integrability of the distribution: the knowledge of a $\mathcal{C}^{\infty}$-structure for a corank $k$ involutive distribution permits to find its integral manifolds by solving $k$ successive completely integrable Pfaffian equations. These results have important consequences for the integrability of differential equations. In particular, we derive a new procedure to integrate an $m$th-order ordinary differential equation by splitting the problem into $m$ completely integrable Pfaffian equations. This step-by-step integration procedure is applied to integrate completely several equations that cannot be solved by standard procedures.
△ Less
Submitted 18 June, 2023; v1 submitted 23 June, 2022;
originally announced June 2022.
-
Gaussian beta ensembles: the perfect freezing transition and its characterization in terms of Beurling-Landau densities
Authors:
Yacin Ameur,
Felipe Marceca,
José Luis Romero
Abstract:
The Gaussian $β$-ensemble is a real $n$-point configuration $\{x_j\}_1^n$ picked randomly with respect to the Boltzmann factor $e^{-\fracβ2H_n}$, $H_n=\sum_{i\ne j}\log\frac 1{|x_i-x_j|}+n\sum_{i=1}^n\tfrac 12x_i^2.$ The point process $\{x_j\}_1^n$ tends to follow the semicircle law $σ(x)=\tfrac 1{2π}\sqrt{(4-x^2)_+}$ in certain average senses.
A Fekete configuration (minimizer of $H_n$) is spre…
▽ More
The Gaussian $β$-ensemble is a real $n$-point configuration $\{x_j\}_1^n$ picked randomly with respect to the Boltzmann factor $e^{-\fracβ2H_n}$, $H_n=\sum_{i\ne j}\log\frac 1{|x_i-x_j|}+n\sum_{i=1}^n\tfrac 12x_i^2.$ The point process $\{x_j\}_1^n$ tends to follow the semicircle law $σ(x)=\tfrac 1{2π}\sqrt{(4-x^2)_+}$ in certain average senses.
A Fekete configuration (minimizer of $H_n$) is spread out in a much more uniform way in the interval $[-2,2]$ with respect to the regularization $σ_n(x)=\max\{σ(x),n^{-\frac 1 3}\}$ of the semicircle law. In particular, Fekete configurations are "equidistributed" with respect to $σ_n(x)$, in a certain technical sense of Beurling-Landau densities.
We consider the problem of characterizing sequences $β_n$ of inverse temperatures, which guarantee almost sure equidistribution as $n\to\infty$. We find that a necessary and sufficient condition is that $β_n$ grows at least logarithmically in $n$: $$β_n\gtrsim \log n.$$ We call this growth rate the perfect freezing regime. We give several further results on the distribution of particles when $β_n\gtrsim\log n$, for example on minimal spacing, discrepancies, and sampling and interpolation for weighted polynomials.
The condition $β_n\gtrsim\log n$ was introduced by some of the authors in the context of two-dimensional Coulomb gas ensembles, where it is shown to be sufficient for equidistribution. Although the technical implementation requires some considerable modifications, the strategy from dimension two adapts well to prove sufficiency also for one-dimensional Gaussian ensembles. On a technical level, we use estimates for weighted polynomials due to Levin, Lubinsky, Gustavsson and others. The other direction (necessity) involves estimates due to Ledoux and Rider on the distribution of particles which fall near or outside the boundary.
△ Less
Submitted 22 August, 2024; v1 submitted 30 May, 2022;
originally announced May 2022.
-
Estimation of binary time-frequency masks from ambient noise
Authors:
José Luis Romero,
Michael Speckbacher
Abstract:
We investigate the retrieval of a binary time-frequency mask from a few observations of filtered white ambient noise. Confirming household wisdom in acoustic modeling, we show that this is possible by inspecting the average spectrogram of ambient noise. Specifically, we show that the lower quantile of the average of $\mathcal{O}(\log(|Ω|/\varepsilon))$ masked spectrograms is enough to identify a r…
▽ More
We investigate the retrieval of a binary time-frequency mask from a few observations of filtered white ambient noise. Confirming household wisdom in acoustic modeling, we show that this is possible by inspecting the average spectrogram of ambient noise. Specifically, we show that the lower quantile of the average of $\mathcal{O}(\log(|Ω|/\varepsilon))$ masked spectrograms is enough to identify a rather general mask $Ω$ with confidence at least $\varepsilon$, up to shape details concentrated near the boundary of $Ω$. As an application, the expected measure of the estimation error is dominated by the perimeter of the time-frequency mask. The estimator requires no knowledge of the noise variance, and only a very qualitative profile of the filtering window, but no exact knowledge of it.
△ Less
Submitted 2 February, 2024; v1 submitted 20 May, 2022;
originally announced May 2022.
-
On the existence of optimizers for time-frequency concentration problems
Authors:
Fabio Nicola,
José Luis Romero,
S. Ivan Trapasso
Abstract:
We consider the problem of the maximum concentration in a fixed measurable subset $Ω\subset\mathbb{R}^{2d}$ of the time-frequency space for functions $f\in L^2(\mathbb{R}^{d})$. The notion of concentration can be made mathematically precise by considering the $L^p$-norm on $Ω$ of some time-frequency distribution of $f$ such as the ambiguity function $A(f)$. We provide a positive answer to an open…
▽ More
We consider the problem of the maximum concentration in a fixed measurable subset $Ω\subset\mathbb{R}^{2d}$ of the time-frequency space for functions $f\in L^2(\mathbb{R}^{d})$. The notion of concentration can be made mathematically precise by considering the $L^p$-norm on $Ω$ of some time-frequency distribution of $f$ such as the ambiguity function $A(f)$. We provide a positive answer to an open maximization problem, by showing that for every subset $Ω\subset\mathbb{R}^{2d}$ of finite measure and every $1\leq p<\infty$, there exists an optimizer for \[
\sup\{\|A(f)\|_{L^p(Ω)}:\ f\in L^2(\mathbb{R}^{d}),\ \|f\|_{L^2}=1
\}.
\] The lack of weak upper semicontinuity and the invariance under time-frequency shifts make the problem challenging. The proof is based on concentration compactness with time-frequency shifts as dislocations, and certain integral bounds and asymptotic decoupling estimates for the ambiguity function. We also discuss the case $p=\infty$ and related optimization problems for the time correlation function, the cross-ambiguity function with a fixed window, and for functions in the modulation spaces $M^q(\mathbb{R}^{d})$, $0<q<2$, equipped with continuous or discrete-type (quasi-)norms.
△ Less
Submitted 6 October, 2022; v1 submitted 17 December, 2021;
originally announced December 2021.
-
Spectral-norm risk rates for multi-taper estimation of Gaussian processes
Authors:
José Luis Romero,
Michael Speckbacher
Abstract:
We consider the estimation of the covariance of a stationary Gaussian process on a multi-dimensional grid from observations taken on a general acquisition domain. We derive spectral-norm risk rates for multi-taper estimators. When applied to one dimensional acquisition intervals, these show that Thomson's classical multi-taper has optimal risk rates, as they match known benchmarks. We also extend…
▽ More
We consider the estimation of the covariance of a stationary Gaussian process on a multi-dimensional grid from observations taken on a general acquisition domain. We derive spectral-norm risk rates for multi-taper estimators. When applied to one dimensional acquisition intervals, these show that Thomson's classical multi-taper has optimal risk rates, as they match known benchmarks. We also extend existing lower risk bounds to multi-dimensional grids and conclude that multi-taper estimators associated with certain two-dimensional acquisition domains also have almost optimal risk rates.
△ Less
Submitted 13 May, 2022; v1 submitted 13 October, 2021;
originally announced October 2021.
-
Efficient computation of the zeros of the Bargmann transform under additive white noise
Authors:
Luis Alberto Escudero,
Naomi Feldheim,
Günther Koliander,
José Luis Romero
Abstract:
We study the computation of the zero set of the Bargmann transform of a signal contaminated with complex white noise, or, equivalently, the computation of the zeros of its short-time Fourier transform with Gaussian window. We introduce the adaptive minimal grid neighbors algorithm (AMN), a variant of a method that has recently appeared in the signal processing literature, and prove that with high…
▽ More
We study the computation of the zero set of the Bargmann transform of a signal contaminated with complex white noise, or, equivalently, the computation of the zeros of its short-time Fourier transform with Gaussian window. We introduce the adaptive minimal grid neighbors algorithm (AMN), a variant of a method that has recently appeared in the signal processing literature, and prove that with high probability it computes the desired zero set. More precisely, given samples of the Bargmann transform of a signal on a finite grid with spacing $δ$, AMN is shown to compute the desired zero set up to a factor of $δ$ in the Wasserstein error metric, with failure probability $O(δ^4 \log^2(1/δ))$. We also provide numerical tests and comparison with other algorithms.
△ Less
Submitted 18 August, 2022; v1 submitted 24 August, 2021;
originally announced August 2021.
-
Spectral deviation of concentration operators for the short-time Fourier transform
Authors:
Felipe Marceca,
José Luis Romero
Abstract:
Time-frequency concentration operators restrict the integral analysis-synthesis formula for the short-time Fourier transform to a given compact domain. We estimate how much the corresponding eigenvalue counting function deviates from the Lebesgue measure of the time-frequency domain. For window functions in the Gelfand-Shilov class, the bounds almost match known asymptotics, with the advantage of…
▽ More
Time-frequency concentration operators restrict the integral analysis-synthesis formula for the short-time Fourier transform to a given compact domain. We estimate how much the corresponding eigenvalue counting function deviates from the Lebesgue measure of the time-frequency domain. For window functions in the Gelfand-Shilov class, the bounds almost match known asymptotics, with the advantage of being effective for concrete domains and spectral thresholds. As such our estimates allow for applications where the spectral threshold depends on the geometry of the time-frequency concentration domain. We also consider window functions that decay only polynomially in time and frequency.
△ Less
Submitted 13 March, 2024; v1 submitted 13 April, 2021;
originally announced April 2021.
-
Zeros of Gaussian Weyl-Heisenberg functions and hyperuniformity of charge
Authors:
Antti Haimi,
Günther Koliander,
José Luis Romero
Abstract:
We study Gaussian random functions on the complex plane whose stochastics are invariant under the Weyl-Heisenberg group (twisted stationarity). The theory is modeled on translation invariant Gaussian entire functions, but allows for non-analytic examples, in which case winding numbers can be either positive or negative.
We calculate the first intensity of zero sets of such functions, both when c…
▽ More
We study Gaussian random functions on the complex plane whose stochastics are invariant under the Weyl-Heisenberg group (twisted stationarity). The theory is modeled on translation invariant Gaussian entire functions, but allows for non-analytic examples, in which case winding numbers can be either positive or negative.
We calculate the first intensity of zero sets of such functions, both when considered as points on the plane, or as charges according to their phase winding. In the latter case, charges are shown to be in a certain average equilibrium independently of the particular covariance structure (universal screening). We investigate the corresponding fluctuations, and show that in many cases they are suppressed at large scales (hyperuniformity). This means that universal screening is empirically observable at large scales. We also derive an asymptotic expression for the charge variance.
As a main application, we obtain statistics for the zero sets of the short-time Fourier transform of complex white noise with general windows, and also prove the following uncertainty principle: the expected number of zeros per unit area is minimized, among all window functions, exactly by generalized Gaussians. Further applications include poly-entire functions such as covariant derivatives of Gaussian entire functions.
△ Less
Submitted 3 May, 2022; v1 submitted 22 December, 2020;
originally announced December 2020.
-
The planar low temperature Coulomb gas: separation and equidistribution
Authors:
Yacin Ameur,
José Luis Romero
Abstract:
We consider planar Coulomb systems consisting of a large number $n$ of repelling point charges in the low temperature regime, where the inverse temperature $β$ grows at least logarithmically in $n$ as $n \longrightarrow \infty$, i.e., $β\gtrsim \log n$. Under suitable conditions on an external potential we prove results to the effect that the gas is with high probability uniformly separated and eq…
▽ More
We consider planar Coulomb systems consisting of a large number $n$ of repelling point charges in the low temperature regime, where the inverse temperature $β$ grows at least logarithmically in $n$ as $n \longrightarrow \infty$, i.e., $β\gtrsim \log n$. Under suitable conditions on an external potential we prove results to the effect that the gas is with high probability uniformly separated and equidistributed with respect to the corresponding equilibrium measure (in the given external field). Our results generalize earlier results about Fekete configurations, i.e., the case $β=\infty$. There are also several auxiliary results which could be of independent interest. For example, our method of proof of equidistribution (a variant of "Landau's method") works for general families of configurations which are uniformly separated and which satisfy certain sampling and interpolation inequalities.
△ Less
Submitted 17 January, 2022; v1 submitted 20 October, 2020;
originally announced October 2020.
-
Sign retrieval in shift-invariant spaces with totally positive generator
Authors:
José Luis Romero
Abstract:
We show that a real-valued function $f$ in the shift-invariant space generated by a totally positive function of Gaussian type is uniquely determined, up to a sign, by its absolute values $\{|f(λ)|: λ\in Λ\}$ on any set $Λ\subseteq \mathbb{R}$ with lower Beurling density $D^{-}(Λ)>2$.
We show that a real-valued function $f$ in the shift-invariant space generated by a totally positive function of Gaussian type is uniquely determined, up to a sign, by its absolute values $\{|f(λ)|: λ\in Λ\}$ on any set $Λ\subseteq \mathbb{R}$ with lower Beurling density $D^{-}(Λ)>2$.
△ Less
Submitted 15 December, 2020; v1 submitted 18 May, 2020;
originally announced May 2020.
-
Sampling the flow of a bandlimited function
Authors:
Akram Aldroubi,
Karlheinz Gröchenig,
Longxiu Huang,
Philippe Jaming,
Ilya Krishtal,
José Luis Romero
Abstract:
We analyze the problem of reconstruction of a bandlimited function $f$ from the space-time samples of its states $f_t=φ_t\ast f$ resulting from the convolution with a kernel $φ_t$. It is well-known that, in natural phenomena, uniform space-time samples of $f$ are not sufficient to reconstruct $f$ in a stable way. To enable stable reconstruction, a space-time sampling with periodic nonuniformly spa…
▽ More
We analyze the problem of reconstruction of a bandlimited function $f$ from the space-time samples of its states $f_t=φ_t\ast f$ resulting from the convolution with a kernel $φ_t$. It is well-known that, in natural phenomena, uniform space-time samples of $f$ are not sufficient to reconstruct $f$ in a stable way. To enable stable reconstruction, a space-time sampling with periodic nonuniformly spaced samples must be used as was shown by Lu and Vetterli. We show that the stability of reconstruction, as measured by a condition number, controls the maximal gap between the spacial samples. We provide a quantitative statement of this result. In addition, instead of irregular space-time samples, we show that uniform dynamical samples at sub-Nyquist spatial rate allow one to stably reconstruct the function $\widehat f$ away from certain, explicitly described blind spots. We also consider several classes of finite dimensional subsets of bandlimited functions in which the stable reconstruction is possible, even inside the blind spots. We obtain quantitative estimates for it using Remez-Turán type inequalities. En route, we obtain a Remez-Turán inequality for prolate spheroidal wave functions. To illustrate our results, we present some numerics and explicit estimates for the heat flow problem.
△ Less
Submitted 3 February, 2021; v1 submitted 29 April, 2020;
originally announced April 2020.
-
Multiple sampling and interpolation in weighted Fock spaces of entire functions
Authors:
Luis Alberto Escudero,
Antti Haimi,
José Luis Romero
Abstract:
We characterize sampling and interpolating sets with derivatives in weighted Fock spaces on the complex plane in terms of their weighted Beurling densities.
We characterize sampling and interpolating sets with derivatives in weighted Fock spaces on the complex plane in terms of their weighted Beurling densities.
△ Less
Submitted 16 November, 2020; v1 submitted 27 April, 2020;
originally announced April 2020.
-
The density theorem for discrete series representations restricted to lattices
Authors:
José Luis Romero,
Jordy Timo van Velthoven
Abstract:
This article considers the relation between the spanning properties of lattice orbits of discrete series representations and the associated lattice co-volume. The focus is on the density theorem, which provides a trichotomy characterizing the existence of cyclic vectors and separating vectors, and frames and Riesz sequences. We provide an elementary exposition of the density theorem, that is based…
▽ More
This article considers the relation between the spanning properties of lattice orbits of discrete series representations and the associated lattice co-volume. The focus is on the density theorem, which provides a trichotomy characterizing the existence of cyclic vectors and separating vectors, and frames and Riesz sequences. We provide an elementary exposition of the density theorem, that is based solely on basic tools from harmonic analysis, representation theory, and frame theory, and put the results into context by means of examples.
△ Less
Submitted 27 October, 2021; v1 submitted 18 March, 2020;
originally announced March 2020.
-
On dual molecules and convolution-dominated operators
Authors:
José Luis Romero,
Jordy Timo van Velthoven,
Felix Voigtlaender
Abstract:
We show that sampling or interpolation formulas in reproducing kernel Hilbert spaces can be obtained by reproducing kernels whose dual systems form molecules, ensuring that the size profile of a function is fully reflected by the size profile of its sampled values. The main tool is a local holomorphic calculus for convolution-dominated operators, valid for groups with possibly non-polynomial growt…
▽ More
We show that sampling or interpolation formulas in reproducing kernel Hilbert spaces can be obtained by reproducing kernels whose dual systems form molecules, ensuring that the size profile of a function is fully reflected by the size profile of its sampled values. The main tool is a local holomorphic calculus for convolution-dominated operators, valid for groups with possibly non-polynomial growth. Applied to the matrix coefficients of a group representation, our methods improve on classical results on atomic decompositions and bridge a gap between abstract and concrete methods.
△ Less
Submitted 18 February, 2021; v1 submitted 27 January, 2020;
originally announced January 2020.
-
Balian-Low type theorems on homogeneous groups
Authors:
Karlheinz Gröchenig,
José Luis Romero,
David Rottensteiner,
Jordy Timo van Velthoven
Abstract:
We prove strict necessary density conditions for coherent frames and Riesz sequences on homogeneous groups. Let $N$ be a connected, simply connected nilpotent Lie group with a dilation structure (a homogeneous group) and let $(π, \mathcal{H}_π)$ be an irreducible, square-integrable representation modulo the center $Z(N)$ of $N$ on a Hilbert space $\mathcal{H}_π$ of formal dimension $d_π$. If…
▽ More
We prove strict necessary density conditions for coherent frames and Riesz sequences on homogeneous groups. Let $N$ be a connected, simply connected nilpotent Lie group with a dilation structure (a homogeneous group) and let $(π, \mathcal{H}_π)$ be an irreducible, square-integrable representation modulo the center $Z(N)$ of $N$ on a Hilbert space $\mathcal{H}_π$ of formal dimension $d_π$. If $g \in \mathcal{H}_π$ is an integrable vector and the set $\{ π(λ)g : λ\in Λ\}$ for a discrete subset $Λ\subseteq N / Z(N)$ forms a frame for $\mathcal{H}_π$, then its density satisfies the strict inequality $D^-(Λ)> d_π$, where $D^-(Λ)$ is the lower Beurling density. An analogous density condition $D^+(Λ) < d_π$ holds for a Riesz sequence in $\mathcal{H}_π$ contained in the orbit of $(π, \mathcal{H}_π)$. The proof is based on a deformation theorem for coherent systems, a universality result for $p$-frames and $p$-Riesz sequences, some results from Banach space theory, and tools from the analysis on homogeneous groups.
△ Less
Submitted 16 March, 2020; v1 submitted 8 August, 2019;
originally announced August 2019.
-
Invertibility of frame operators on Besov-type decomposition spaces
Authors:
José Luis Romero,
Jordy Timo van Velthoven,
Felix Voigtlaender
Abstract:
We derive an extension of the Walnut-Daubechies criterion for the invertibility of frame operators. The criterion concerns general reproducing systems and Besov-type spaces. As an application, we conclude that $L^2$ frame expansions associated with smooth and fast-decaying reproducing systems on sufficiently fine lattices extend to Besov-type spaces. This simplifies and improves recent results on…
▽ More
We derive an extension of the Walnut-Daubechies criterion for the invertibility of frame operators. The criterion concerns general reproducing systems and Besov-type spaces. As an application, we conclude that $L^2$ frame expansions associated with smooth and fast-decaying reproducing systems on sufficiently fine lattices extend to Besov-type spaces. This simplifies and improves recent results on the existence of atomic decompositions, which only provide a particular dual reproducing system with suitable properties. In contrast, we conclude that the $L^2$ canonical frame expansions extend to many other function spaces, and, therefore, operations such as analyzing using the frame, thresholding the resulting coefficients, and then synthesizing using the canonical dual frame are bounded on these spaces.
△ Less
Submitted 28 January, 2022; v1 submitted 13 May, 2019;
originally announced May 2019.
-
Multitaper estimation on arbitrary domains
Authors:
Joakim Andén,
José Luis Romero
Abstract:
Multitaper estimators have enjoyed significant success in estimating spectral densities from finite samples using as tapers Slepian functions defined on the acquisition domain. Unfortunately, the numerical calculation of these Slepian tapers is only tractable for certain symmetric domains, such as rectangles or disks. In addition, no performance bounds are currently available for the mean squared…
▽ More
Multitaper estimators have enjoyed significant success in estimating spectral densities from finite samples using as tapers Slepian functions defined on the acquisition domain. Unfortunately, the numerical calculation of these Slepian tapers is only tractable for certain symmetric domains, such as rectangles or disks. In addition, no performance bounds are currently available for the mean squared error of the spectral density estimate. This situation is inadequate for applications such as cryo-electron microscopy, where noise models must be estimated from irregular domains with small sample sizes. We show that the multitaper estimator only depends on the linear space spanned by the tapers. As a result, Slepian tapers may be replaced by proxy tapers spanning the same subspace (validating the common practice of using partially converged solutions to the Slepian eigenproblem as tapers). These proxies may consequently be calculated using standard numerical algorithms for block diagonalization. We also prove a set of performance bounds for multitaper estimators on arbitrary domains. The method is demonstrated on synthetic and experimental datasets from cryo-electron microscopy, where it reduces mean squared error by a factor of two or more compared to traditional methods.
△ Less
Submitted 18 June, 2020; v1 submitted 7 December, 2018;
originally announced December 2018.
-
The Nyquist sampling rate for spiraling curves
Authors:
Philippe Jaming,
Felipe Negreira,
José Luis Romero
Abstract:
We consider the problem of reconstructing a compactly supported function from samples of its Fourier transform taken along a spiral. We determine the Nyquist sampling rate in terms of the density of the spiral and show that below this rate spirals suffer from an approximate form of aliasing. This sets a limit to the amount of undersampling that compressible signals admit when sampled along spirals…
▽ More
We consider the problem of reconstructing a compactly supported function from samples of its Fourier transform taken along a spiral. We determine the Nyquist sampling rate in terms of the density of the spiral and show that below this rate spirals suffer from an approximate form of aliasing. This sets a limit to the amount of undersampling that compressible signals admit when sampled along spirals. More precisely, we derive a lower bound on the condition number for the reconstruction of functions of bounded variation, and for functions that are sparse in the Haar wavelet basis.
△ Less
Submitted 22 April, 2020; v1 submitted 5 November, 2018;
originally announced November 2018.
-
Strict density inequalities for sampling and interpolation in weighted spaces of holomorphic functions
Authors:
Karlheinz Gröchenig,
Antti Haimi,
Joaquim Ortega-Cerdà,
José Luis Romero
Abstract:
Answering a question of Lindholm, we prove strict density inequalities for sampling and interpolation in Fock spaces of entire functions in several complex variables defined by a plurisubharmonic weight. In particular, these spaces do not admit a set that is simultaneously sampling and interpolating. To prove optimality of the density conditions, we construct sampling sets with a density arbitrari…
▽ More
Answering a question of Lindholm, we prove strict density inequalities for sampling and interpolation in Fock spaces of entire functions in several complex variables defined by a plurisubharmonic weight. In particular, these spaces do not admit a set that is simultaneously sampling and interpolating. To prove optimality of the density conditions, we construct sampling sets with a density arbitrarily close to the critical density. The techniques combine methods from several complex variables (estimates for $\bar \partial$) and the theory of localized frames in general reproducing kernel Hilbert spaces (with no analyticity assumed). The abstract results on Fekete points and deformation of frames may be of independent interest.
△ Less
Submitted 6 June, 2019; v1 submitted 8 August, 2018;
originally announced August 2018.
-
Filtering with Wavelet Zeros and Gaussian Analytic Functions
Authors:
Luis Daniel Abreu,
Antti Haimi,
Günther Koliander,
José Luis Romero
Abstract:
We present the continuous wavelet transform (WT) of white Gaussian noise and establish a connection to the theory of Gaussian analytic functions. Based on this connection, we propose a methodology that detects components of a signal in white noise based on the distribution of the zeros of its continuous WT. To illustrate that the continuous theory can be employed in a discrete setting, we establis…
▽ More
We present the continuous wavelet transform (WT) of white Gaussian noise and establish a connection to the theory of Gaussian analytic functions. Based on this connection, we propose a methodology that detects components of a signal in white noise based on the distribution of the zeros of its continuous WT. To illustrate that the continuous theory can be employed in a discrete setting, we establish a uniform convergence result for the discretized continuous WT and apply the proposed method to a variety of acoustic signals.
△ Less
Submitted 11 May, 2020; v1 submitted 9 July, 2018;
originally announced July 2018.
-
Sharp results on sampling with derivatives in shift-invariant spaces and multi-window Gabor frames
Authors:
Karlheinz Gröchenig,
José Luis Romero,
Joachim Stöckler
Abstract:
We study the problem of sampling with derivatives in shift-invariant spaces generated by totally-positive functions of Gaussian type or by the hyperbolic secant. We provide sharp conditions in terms of weighted Beurling densities. As a by-product we derive new results about multi-window Gabor frames with respect to vectors of Hermite functions or totally positive functions.
We study the problem of sampling with derivatives in shift-invariant spaces generated by totally-positive functions of Gaussian type or by the hyperbolic secant. We provide sharp conditions in terms of weighted Beurling densities. As a by-product we derive new results about multi-window Gabor frames with respect to vectors of Hermite functions or totally positive functions.
△ Less
Submitted 2 March, 2018; v1 submitted 21 December, 2017;
originally announced December 2017.
-
A multi-scale Gaussian beam parametrix for the wave equation: the Dirichlet boundary value problem
Authors:
Michele Berra,
Maarten V. de Hoop,
José Luis Romero
Abstract:
We present a construction of a multi-scale Gaussian beam parametrix for the Dirichlet boundary value problem associated with the wave equation, and study its convergence rate to the true solution in the highly oscillatory regime. The construction elaborates on the wave-atom parametrix of Bao, Qian, Ying, and Zhang and extends to a multi-scale setting the technique of Gaussian beam propagation from…
▽ More
We present a construction of a multi-scale Gaussian beam parametrix for the Dirichlet boundary value problem associated with the wave equation, and study its convergence rate to the true solution in the highly oscillatory regime. The construction elaborates on the wave-atom parametrix of Bao, Qian, Ying, and Zhang and extends to a multi-scale setting the technique of Gaussian beam propagation from a boundary of Katchalov, Kurylev and Lassas.
△ Less
Submitted 4 May, 2017; v1 submitted 30 April, 2017;
originally announced May 2017.
-
Harmonic analysis in phase space and finite Weyl-Heisenberg ensembles
Authors:
Luís Daniel Abreu,
Karlheinz Gröchenig,
José Luis Romero
Abstract:
Weyl-Heisenberg ensembles are translation-invariant determinantal point processes on $\mathbb{R}^{2d}$ associated with the Schrödinger representation of the Heisenberg group, and include as examples the Ginibre ensemble and the polyanalytic ensembles, which model the higher Landau levels in physics. We introduce finite versions of the Weyl-Heisenberg ensembles and show that they behave analogously…
▽ More
Weyl-Heisenberg ensembles are translation-invariant determinantal point processes on $\mathbb{R}^{2d}$ associated with the Schrödinger representation of the Heisenberg group, and include as examples the Ginibre ensemble and the polyanalytic ensembles, which model the higher Landau levels in physics. We introduce finite versions of the Weyl-Heisenberg ensembles and show that they behave analogously to the finite Ginibre ensembles. More specifically, guided by the observation that the Ginibre ensemble with $N$ points is asymptotically close to the restriction of the infinite Ginibre ensemble to the disk of area $N$, we define finite WH ensembles as adequate finite approximations of the restriction of infinite WH ensembles to a given domain $Ω$. We provide a precise rate for the convergence of the corresponding one-point intensities to the indicator function of $Ω$, as $Ω$ is dilated and the process is rescaled proportionally (thermodynamic regime). The construction and analysis rely neither on explicit formulas nor on the asymptotics for orthogonal polynomials, but rather on phase-space methods.
Second, we apply our construction to study the pure finite Ginibre-type polyanalytic ensembles, which model finite particle systems in a single Landau level, and are defined in terms of complex Hermite polynomials. On a technical level, we show that finite WH ensembles provide an approximate model for finite polyanalytic Ginibre ensembles, and we quantify the corresponding deviation. By means of this asymptotic description, we derive estimates for the rate of convergence of the one-point intensity of polyanalytic Ginibre ensembles in the thermodynamic limit.
△ Less
Submitted 7 January, 2019; v1 submitted 10 April, 2017;
originally announced April 2017.
-
Sharp rates of convergence for accumulated spectrograms
Authors:
Luís Daniel Abreu,
João Pereira,
José Luis Romero
Abstract:
We investigate an inverse problem in time-frequency localization: the approximation of the symbol of a time-frequency localization operator from partial spectral information by the method of accumulated spectrograms (the sum of the spectrograms corresponding to large eigenvalues). We derive a sharp bound for the rate of convergence of the accumulated spectrogram, improving on recent results.
We investigate an inverse problem in time-frequency localization: the approximation of the symbol of a time-frequency localization operator from partial spectral information by the method of accumulated spectrograms (the sum of the spectrograms corresponding to large eigenvalues). We derive a sharp bound for the rate of convergence of the accumulated spectrogram, improving on recent results.
△ Less
Submitted 7 April, 2017;
originally announced April 2017.
-
MSE estimates for multitaper spectral estimation and off-grid compressive sensing
Authors:
Luís Daniel Abreu,
José Luis Romero
Abstract:
We obtain estimates for the Mean Squared Error (MSE) for the multitaper spectral estimator and certain compressive acquisition methods for multi-band signals. We confirm a fact discovered by Thomson [Spectrum estimation and harmonic analysis, Proc. IEEE, 1982]: assuming bandwidth $W$ and $N$ time domain observations, the average of the square of the first $K=2NW$ Slepian functions approaches, as…
▽ More
We obtain estimates for the Mean Squared Error (MSE) for the multitaper spectral estimator and certain compressive acquisition methods for multi-band signals. We confirm a fact discovered by Thomson [Spectrum estimation and harmonic analysis, Proc. IEEE, 1982]: assuming bandwidth $W$ and $N$ time domain observations, the average of the square of the first $K=2NW$ Slepian functions approaches, as $K$ grows, an ideal band-pass kernel for the interval $[-W,W]$. We provide an analytic proof of this fact and measure the corresponding rate of convergence in the $L^{1}$ norm. This validates a heuristic approximation used to control the MSE of the multitaper estimator. The estimates have also consequences for the method of compressive acquisition of multi-band signals introduced by Davenport and Wakin, giving MSE approximation bounds for the dictionary formed by modulation of the critical number of prolates.
△ Less
Submitted 20 June, 2017; v1 submitted 23 March, 2017;
originally announced March 2017.
-
Sampling Theorems for Shift-invariant Spaces, Gabor Frames, and Totally Positive Functions
Authors:
Karlheinz Gröchenig,
José Luis Romero,
Joachim Stöckler
Abstract:
We study nonuniform sampling in shift-invariant spaces and the construction of Gabor frames with respect to the class of totally positive functions whose Fourier transform factors as $ \hat g(ξ)= \prod_{j=1}^n (1+2πiδ_jξ)^{-1} \, e^{-c ξ^2}$ for $δ_1,\ldots,δ_n\in \mathbb{R}, c >0$ (in which case $g$ is called totally positive of Gaussian type).
In analogy to Beurling's sampling theorem for the…
▽ More
We study nonuniform sampling in shift-invariant spaces and the construction of Gabor frames with respect to the class of totally positive functions whose Fourier transform factors as $ \hat g(ξ)= \prod_{j=1}^n (1+2πiδ_jξ)^{-1} \, e^{-c ξ^2}$ for $δ_1,\ldots,δ_n\in \mathbb{R}, c >0$ (in which case $g$ is called totally positive of Gaussian type).
In analogy to Beurling's sampling theorem for the Paley-Wiener space of entire functions, we prove that every separated set with lower Beurling density $>1$ is a sampling set for the shift-invariant space generated by such a $g$. In view of the known necessary density conditions, this result is optimal and validates the heuristic reasonings in the engineering literature.
Using a subtle connection between sampling in shift-invariant spaces and the theory of Gabor frames, we show that the set of phase-space shifts of $g$ with respect to a rectangular lattice $α\mathbb{Z} \times β\mathbb{Z}$ forms a frame, if and only if $αβ<1$. This solves an open problem going back to Daubechies in 1990 for the class of totally positive functions of Gaussian type.
The proof strategy involves the connection between sampling in shift-invariant spaces and Gabor frames, a new characterization of sampling sets "without inequalities" in the style of Beurling, new properties of totally positive functions, and the interplay between zero sets of functions in a shift-invariant space and functions in the Bargmann-Fock space.
△ Less
Submitted 24 October, 2017; v1 submitted 2 December, 2016;
originally announced December 2016.
-
Density of Sampling and Interpolation in Reproducing Kernel Hilbert Spaces
Authors:
Hartmut Führ,
Karlheinz Gröchenig,
Antti Haimi,
Andreas Klotz,
José Luis Romero
Abstract:
We derive necessary density conditions for sampling and for interpolation in general reproducing kernel Hilbert spaces satisfying some natural conditions on the geometry of the space and the reproducing kernel. If the volume of shells is small compared to the volume of balls (weak annular decay property) and if the kernel possesses some off-diagonal decay or even some weaker form of localization,…
▽ More
We derive necessary density conditions for sampling and for interpolation in general reproducing kernel Hilbert spaces satisfying some natural conditions on the geometry of the space and the reproducing kernel. If the volume of shells is small compared to the volume of balls (weak annular decay property) and if the kernel possesses some off-diagonal decay or even some weaker form of localization, then there exists a critical density $D$ with the following property: a set of sampling has density $\geq D$, whereas a set of interpolation has density $\leq D$. The main theorem unifies many known density theorems in signal processing, complex analysis, and harmonic analysis. For the special case of bandlimited function we recover Landau's fundamental density result. In complex analysis we rederive a critical density for generalized Fock spaces. In harmonic analysis we obtain the first general result about the density of coherent frames.
△ Less
Submitted 6 October, 2017; v1 submitted 26 July, 2016;
originally announced July 2016.
-
Computing reconstructions from nonuniform Fourier samples: Universality of stability barriers and stable sampling rates
Authors:
Ben Adcock,
Milana Gataric,
José Luis Romero
Abstract:
We study the problem of recovering an unknown compactly-supported multivariate function from samples of its Fourier transform that are acquired nonuniformly, i.e. not necessarily on a uniform Cartesian grid. Reconstruction problems of this kind arise in various imaging applications, where Fourier samples are taken along radial lines or spirals for example.
Specifically, we consider finite-dimens…
▽ More
We study the problem of recovering an unknown compactly-supported multivariate function from samples of its Fourier transform that are acquired nonuniformly, i.e. not necessarily on a uniform Cartesian grid. Reconstruction problems of this kind arise in various imaging applications, where Fourier samples are taken along radial lines or spirals for example.
Specifically, we consider finite-dimensional reconstructions, where a limited number of samples is available, and investigate the rate of convergence of such approximate solutions and their numerical stability. We show that the proportion of Fourier samples that allow for stable approximations of a given numerical accuracy is independent of the specific sampling geometry and is therefore universal for different sampling scenarios. This allows us to relate both sufficient and necessary conditions for different sampling setups and to exploit several results that were previously available only for very specific sampling geometries.
The results are obtained by developing: (i) a transference argument for different measures of the concentration of the Fourier transform and Fourier samples; (ii) frame bounds valid up to the critical sampling density, which depend explicitly on the sampling set and the spectrum.
As an application, we identify sufficient and necessary conditions for stable and accurate reconstruction of algebraic polynomials or wavelet coefficients from nonuniform Fourier data.
△ Less
Submitted 8 May, 2017; v1 submitted 24 June, 2016;
originally announced June 2016.
-
$λ-$Symmetries and integrability by quadratures
Authors:
C. Muriel,
J. L. Romero,
A. Ruiz
Abstract:
It is investigated how two (standard or generalized) $λ-$symmetries of a given second-order ordinary differential equation can be used to solve the equation by quadratures. The method is based on the construction of two commuting generalized symmetries for this equation by using both $λ-$symmetries. The functions used in that construction are related with integrating factors of the reduced and aux…
▽ More
It is investigated how two (standard or generalized) $λ-$symmetries of a given second-order ordinary differential equation can be used to solve the equation by quadratures. The method is based on the construction of two commuting generalized symmetries for this equation by using both $λ-$symmetries. The functions used in that construction are related with integrating factors of the reduced and auxiliary equations associated to the $λ-$symmetries. These functions can also be used to derive a Jacobi last multiplier and two integrating factors for the given equation.
Some examples illustrate the method; one of them is included in the XXVII case of the Painlevé-Gambier classification. An explicit expression of its general solution in terms of two fundamental sets of solutions for two related second-order linear equations is also obtained.
△ Less
Submitted 25 May, 2016;
originally announced May 2016.
-
Stability of Gabor frames under small time Hamiltonian evolutions
Authors:
Maurice A. de Gosson,
Karlheinz Gröchenig,
José Luis Romero
Abstract:
We consider Hamiltonian deformations of Gabor systems, where the window evolves according to the action of a Schrödinger propagator and the phase-space nodes evolve according to the corresponding Hamiltonian flow. We prove the stability of the frame property for small times and Hamiltonians consisting of a quadratic polynomial plus a potential in the Sjöstrand class with bounded second order deriv…
▽ More
We consider Hamiltonian deformations of Gabor systems, where the window evolves according to the action of a Schrödinger propagator and the phase-space nodes evolve according to the corresponding Hamiltonian flow. We prove the stability of the frame property for small times and Hamiltonians consisting of a quadratic polynomial plus a potential in the Sjöstrand class with bounded second order derivatives. This answers a question raised in [de Gosson, M. Symplectic and Hamiltonian Deformations of Gabor Frames. Appl. Comput. Harmon. Anal. Vol. 38 No.2, (2015) p.196--221.]
△ Less
Submitted 14 April, 2016; v1 submitted 31 October, 2015;
originally announced November 2015.
-
The bias-variance trade-off in Thomson's multitaper estimator
Authors:
Luís Daniel Abreu,
José Luis Romero
Abstract:
At the heart of non-parametric spectral estimation, lies the dilemma known as the bias-variance trade-off: low biased estimators tend to have high variance and low variance estimators tend to have high bias. In 1982, Thomson introduced a multitaper method where this trade-off is made explicit by choosing a target bias resolution and obtaining a corresponding variance reduction. The method became t…
▽ More
At the heart of non-parametric spectral estimation, lies the dilemma known as the bias-variance trade-off: low biased estimators tend to have high variance and low variance estimators tend to have high bias. In 1982, Thomson introduced a multitaper method where this trade-off is made explicit by choosing a target bias resolution and obtaining a corresponding variance reduction. The method became the standard in many applications. Its favorable bias-variance trade-off is due to an empirical fact, conjectured by Thomson based on numerical evidence: assuming bandwidth W and N time domain observations, the average of the square of the first $K=\left\lfloor 2NW\right\rfloor$ Slepian functions approaches, as K grows, an ideal band-pass kernel for the interval [-W,W]. We provide an analytic proof of this fact and quantify the approximation error in the L1 norm; the approximation error is then used to control the bias of the multitaper estimator resulting from spectral leakage. This leads to new performance bounds for the method, explicit in terms of the bandwidth W and the number N of time domain observations. Our method is flexible and can be extended to higher dimensions and different geometries.
△ Less
Submitted 5 May, 2016; v1 submitted 10 March, 2015;
originally announced March 2015.
-
On accumulated spectrograms
Authors:
Luís Daniel Abreu,
Karlheinz Gröchenig,
José Luis Romero
Abstract:
We study the eigenvalues and eigenfunctions of the time-frequency localization operator $H_Ω$ on a domain $Ω$ of the time-frequency plane. The eigenfunctions are the appropriate prolate spheroidal functions for an arbitrary domain $Ω$. Indeed, in analogy to the classical theory of Landau-Slepian-Pollak, the number of eigenvalues of $H_Ω$ in $[1-δ, 1]$ is equal to the measure of $Ω$ up to an error…
▽ More
We study the eigenvalues and eigenfunctions of the time-frequency localization operator $H_Ω$ on a domain $Ω$ of the time-frequency plane. The eigenfunctions are the appropriate prolate spheroidal functions for an arbitrary domain $Ω$. Indeed, in analogy to the classical theory of Landau-Slepian-Pollak, the number of eigenvalues of $H_Ω$ in $[1-δ, 1]$ is equal to the measure of $Ω$ up to an error term depending on the perimeter of the boundary of $Ω$. Our main results show that the spectrograms of the eigenfunctions corresponding to the large eigenvalues (which we call the accumulated spectrogram) form an approximate partition ofunity of the given domain $Ω$. We derive both asymptotic, non-asymptotic, and weak $L^2$ error estimates for the accumulated spectrogram. As a consequence the domain $Ω$ can be approximated solely from the spectrograms of eigenfunctions without information about their phase.
△ Less
Submitted 15 July, 2014; v1 submitted 30 April, 2014;
originally announced April 2014.
-
On the Stability of Stochastic Parametrically Forced Equations with Rank One Forcing
Authors:
Timothy Blass,
L. A. Romero,
J. R. Torczynski
Abstract:
We derive simplified formulas for analyzing the stability of stochastic parametrically forced linear systems. This extends the results in [T. Blass and L.A. Romero, SIAM J. Control Optim. 51(2):1099--1127, 2013] where, assuming the stochastic excitation is small, the stability of such systems was computed using a weighted sum of the extended power spectral density over the eigenvalues of the unper…
▽ More
We derive simplified formulas for analyzing the stability of stochastic parametrically forced linear systems. This extends the results in [T. Blass and L.A. Romero, SIAM J. Control Optim. 51(2):1099--1127, 2013] where, assuming the stochastic excitation is small, the stability of such systems was computed using a weighted sum of the extended power spectral density over the eigenvalues of the unperturbed operator. In this paper, we show how to convert this to a sum over the residues of the extended power spectral density. For systems where the parametric forcing term is a rank one matrix, this leads to an enormous simplification.
△ Less
Submitted 4 February, 2014;
originally announced February 2014.
-
On Minimal Trajectories for Mobile Sampling of Bandlimited Fields
Authors:
Karlheinz Gröchenig,
José Luis Romero,
Jayakrishnan Unnikrishnan,
Martin Vetterli
Abstract:
We study the design of sampling trajectories for stable sampling and the reconstruction of bandlimited spatial fields using mobile sensors. The spectrum is assumed to be a symmetric convex set. As a performance metric we use the path density of the set of sampling trajectories that is defined as the total distance traveled by the moving sensors per unit spatial volume of the spatial region being m…
▽ More
We study the design of sampling trajectories for stable sampling and the reconstruction of bandlimited spatial fields using mobile sensors. The spectrum is assumed to be a symmetric convex set. As a performance metric we use the path density of the set of sampling trajectories that is defined as the total distance traveled by the moving sensors per unit spatial volume of the spatial region being monitored. Focussing first on parallel lines, we identify the set of parallel lines with minimal path density that contains a set of stable sampling for fields bandlimited to a known set. We then show that the problem becomes ill-posed when the optimization is performed over all trajectories by demonstrating a feasible trajectory set with arbitrarily low path density. However, the problem becomes well-posed if we explicitly specify the stability margins. We demonstrate this by obtaining a non-trivial lower bound on the path density of an arbitrary set of trajectories that contain a sampling set with explicitly specified stability bounds.
△ Less
Submitted 24 November, 2014; v1 submitted 30 December, 2013;
originally announced December 2013.
-
Deformation of Gabor systems
Authors:
Karlheinz Gröchenig,
Joaquim Ortega-Cerdà,
José Luis Romero
Abstract:
We introduce a new notion for the deformation of Gabor systems. Such deformations are in general nonlinear and, in particular, include the standard jitter error and linear deformations of phase space. With this new notion we prove a strong deformation result for Gabor frames and Gabor Riesz sequences that covers the known perturbation and deformation results. Our proof of the deformation theorem…
▽ More
We introduce a new notion for the deformation of Gabor systems. Such deformations are in general nonlinear and, in particular, include the standard jitter error and linear deformations of phase space. With this new notion we prove a strong deformation result for Gabor frames and Gabor Riesz sequences that covers the known perturbation and deformation results. Our proof of the deformation theorem requires a new characterization of Gabor frames and Gabor Riesz sequences. It is in the style of Beurling's characterization of sets of sampling for bandlimited functions and extends significantly the known characterization of Gabor frames "without inequalities" from lattices to non-uniform sets.
△ Less
Submitted 23 March, 2015; v1 submitted 15 November, 2013;
originally announced November 2013.
-
Exact and approximate expansions with pure Gaussian wavepackets
Authors:
Maarten V. de Hoop,
Karlheinz Gröchenig,
José Luis Romero
Abstract:
We construct frames of wavepackets produced by parabolic dilation, rotation and translation of (a finite sum of) Gaussians and give asymptotics on the analogue of Daubechies frame criterion. We show that the coefficients in the corresponding approximate expansion decay fast away from the wavefront set of the original data.
We construct frames of wavepackets produced by parabolic dilation, rotation and translation of (a finite sum of) Gaussians and give asymptotics on the analogue of Daubechies frame criterion. We show that the coefficients in the corresponding approximate expansion decay fast away from the wavefront set of the original data.
△ Less
Submitted 17 April, 2014; v1 submitted 15 July, 2013;
originally announced July 2013.
-
Stability of Ordinary Differential Equations with Colored Noise Forcing
Authors:
Timothy Blass,
L. A. Romero
Abstract:
We present a perturbation method for determining the moment stability of linear ordinary differential equations with parametric forcing by colored noise. In particular, the forcing arises from passing white noise through an $n$th order filter. We carry out a perturbation analysis based on a small parameter $\varepsilon$ that gives the amplitude of the forcing. Our perturbation analysis is based on…
▽ More
We present a perturbation method for determining the moment stability of linear ordinary differential equations with parametric forcing by colored noise. In particular, the forcing arises from passing white noise through an $n$th order filter. We carry out a perturbation analysis based on a small parameter $\varepsilon$ that gives the amplitude of the forcing. Our perturbation analysis is based on a ladder operator approach to the vector Ornstein-Uhlenbeck process. We can carry out our perturbation expansion to any order in $\varepsilon$, for a large class linear filters, and for quite arbitrary linear systems. As an example we apply our results to the stochastically forced Mathieu equation.
△ Less
Submitted 10 January, 2013;
originally announced January 2013.
