-
Standard LSParameter Estimators Ensure Finite Convergence Time for Linear Regression Equations Under an Interval Excitation Assumption
Authors:
Romeo Ortega,
Jose Guadalupe Romero,
Stanislav Aranovskiy,
Gang Tao
Abstract:
In this brief note we recall the little-known fact that, for linear regression equations (LRE) with intervally excited (IE) regressors, standard Least Square (LS) parameter estimators ensure finite convergence time (FCT) of the estimated parameters. The convergence time being equal to the time length needed to comply with the IE assumption. As is well-known, IE is necessary and sufficient for the…
▽ More
In this brief note we recall the little-known fact that, for linear regression equations (LRE) with intervally excited (IE) regressors, standard Least Square (LS) parameter estimators ensure finite convergence time (FCT) of the estimated parameters. The convergence time being equal to the time length needed to comply with the IE assumption. As is well-known, IE is necessary and sufficient for the identifiability of the LRE-hence, it is the weakest assumption for the on-or off-line solution of the parameter estimation problem.
△ Less
Submitted 9 June, 2025;
originally announced June 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.
-
Nonparametric Confidence Intervals for Generalized Lorenz Curve using Modified Empirical Likelihood
Authors:
Suthakaran Ratnasingam,
Spencer Wallace,
Imran Amani,
Jade Romero
Abstract:
The Lorenz curve portrays the inequality of income distribution. In this article, we develop three modified empirical likelihood (EL) approaches including adjusted empirical likelihood, transformed empirical likelihood, and transformed adjusted empirical likelihood to construct confidence intervals for the generalized Lorenz ordinate. We have shown that the limiting distribution of the modified EL…
▽ More
The Lorenz curve portrays the inequality of income distribution. In this article, we develop three modified empirical likelihood (EL) approaches including adjusted empirical likelihood, transformed empirical likelihood, and transformed adjusted empirical likelihood to construct confidence intervals for the generalized Lorenz ordinate. We have shown that the limiting distribution of the modified EL ratio statistics for the generalized Lorenz ordinate follows the scaled Chi-Squared distributions with one degree of freedom. The coverage probabilities and mean lengths of confidence intervals are compared of the proposed methods with the traditional EL method through simulations under various scenarios. Finally, the proposed methods are illustrated using a real data application to construct confidence intervals.
△ Less
Submitted 24 November, 2023; v1 submitted 8 April, 2023;
originally announced April 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.
-
Posterior sampling with CNN-based, Plug-and-Play regularization with applications to Post-Stack Seismic Inversion
Authors:
Muhammad Izzatullah,
Tariq Alkhalifah,
Juan Romero,
Miguel Corrales,
Nick Luiken,
Matteo Ravasi
Abstract:
Uncertainty quantification is crucial to inverse problems, as it could provide decision-makers with valuable information about the inversion results. For example, seismic inversion is a notoriously ill-posed inverse problem due to the band-limited and noisy nature of seismic data. It is therefore of paramount importance to quantify the uncertainties associated to the inversion process to ease the…
▽ More
Uncertainty quantification is crucial to inverse problems, as it could provide decision-makers with valuable information about the inversion results. For example, seismic inversion is a notoriously ill-posed inverse problem due to the band-limited and noisy nature of seismic data. It is therefore of paramount importance to quantify the uncertainties associated to the inversion process to ease the subsequent interpretation and decision making processes. Within this framework of reference, sampling from a target posterior provides a fundamental approach to quantifying the uncertainty in seismic inversion. However, selecting appropriate prior information in a probabilistic inversion is crucial, yet non-trivial, as it influences the ability of a sampling-based inference in providing geological realism in the posterior samples. To overcome such limitations, we present a regularized variational inference framework that performs posterior inference by implicitly regularizing the Kullback-Leibler divergence loss with a CNN-based denoiser by means of the Plug-and-Play methods. We call this new algorithm Plug-and-Play Stein Variational Gradient Descent (PnP-SVGD) and demonstrate its ability in producing high-resolution, trustworthy samples representative of the subsurface structures, which we argue could be used for post-inference tasks such as reservoir modelling and history matching. To validate the proposed method, numerical tests are performed on both synthetic and field post-stack seismic data.
△ Less
Submitted 30 December, 2022;
originally announced December 2022.
-
Graphs with large girth and chromatic number are hard for Nullstellensatz
Authors:
Julian Romero,
Levent Tunçel
Abstract:
We study the computational efficiency of approaches, based on Hilbert's Nullstellensatz, which use systems of linear equations for detecting non-colorability of graphs having large girth and chromatic number. We show that for every non-$k$-colorable graph with $n$ vertices and girth $g>4k$, the algorithm is required to solve systems of size at least $n^{Ω(g)}$ in order to detect its non-$k$-colora…
▽ More
We study the computational efficiency of approaches, based on Hilbert's Nullstellensatz, which use systems of linear equations for detecting non-colorability of graphs having large girth and chromatic number. We show that for every non-$k$-colorable graph with $n$ vertices and girth $g>4k$, the algorithm is required to solve systems of size at least $n^{Ω(g)}$ in order to detect its non-$k$-colorability.
△ Less
Submitted 10 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.
-
A New Least Squares Parameter Estimator for Nonlinear Regression Equations with Relaxed Excitation Conditions and Forgetting Factor
Authors:
Romeo Ortega,
Jose Guadalupe Romero,
Stanislav Aranovskiy
Abstract:
In this note a new high performance least squares parameter estimator is proposed. The main features of the estimator are: (i) global exponential convergence is guaranteed for all identifiable linear regression equations; (ii) it incorporates a forgetting factor allowing it to preserve alertness to time-varying parameters; (iii) thanks to the addition of a mixing step it relies on a set of scalar…
▽ More
In this note a new high performance least squares parameter estimator is proposed. The main features of the estimator are: (i) global exponential convergence is guaranteed for all identifiable linear regression equations; (ii) it incorporates a forgetting factor allowing it to preserve alertness to time-varying parameters; (iii) thanks to the addition of a mixing step it relies on a set of scalar regression equations ensuring a superior transient performance; (iv) it is applicable to nonlinearly parameterized regressions verifying a monotonicity condition and to a class of systems with switched time-varying parameters; (v) it is shown that it is bounded-input-bounded-state stable with respect to additive disturbances; (vi) continuous and discrete-time versions of the estimator are given. The superior performance of the proposed estimator is illustrated with a series of examples reported in the literature.
△ Less
Submitted 29 April, 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.
-
Immersion and invariance orbital stabilization of underactuated mechanical systems with collocated pre-feedback
Authors:
Jose Guadalupe Romero,
Bowen Yi
Abstract:
In this note we study the generation of attractive oscillations of a class of mechanical systems with underactuation one. The proposed design consists of two terms, i.e., a partial linearizing state feedback, and an immersion and invariance orbital stabilization controller. The first step is adopted to simplify analysis and design, however, bringing an additional difficulty that the model loses it…
▽ More
In this note we study the generation of attractive oscillations of a class of mechanical systems with underactuation one. The proposed design consists of two terms, i.e., a partial linearizing state feedback, and an immersion and invariance orbital stabilization controller. The first step is adopted to simplify analysis and design, however, bringing an additional difficulty that the model loses its Euler-Lagrange structure after the collocated pre-feedback. To address this, we propose a constructive solution to the orbital stabilization problem via a smooth controller in an analytic form, and the model class identified in the paper is characterized via some easily apriori verifiable assumptions on the inertia matrix and the potential energy function.
△ Less
Submitted 28 October, 2022; v1 submitted 14 September, 2021;
originally announced September 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.
-
Parameter Estimation and Adaptive Control of Euler-Lagrange Systems Using the Power Balance Equation Parameterization
Authors:
Jose Guadalupe Romero,
Romeo Ortega,
Alexey Bobtsov
Abstract:
It is widely recognized that the existing parameter estimators and adaptive controllers for robot manipulators are extremely complicated to be of practical use. This is mainly due to the fact that the existing parameterization includes the complicated signal and parameter relations introduced by the Coriolis and centrifugal forces matrix. In an insightful remark of their seminal paper Slotine and…
▽ More
It is widely recognized that the existing parameter estimators and adaptive controllers for robot manipulators are extremely complicated to be of practical use. This is mainly due to the fact that the existing parameterization includes the complicated signal and parameter relations introduced by the Coriolis and centrifugal forces matrix. In an insightful remark of their seminal paper Slotine and Li suggested to use the parameterization of the power balance equation, which avoids these terms -- yielding significantly simpler designs. To the best of our knowledge, such an approach was never actually pursued in on-line implementations, because the excitation requirements for the consistent estimation of the parameters is ``very high". In this paper we use a recent technique of generation of ``exciting" regressors developed by the authors to overcome this fundamental problem. The result is applied to general Euler-Lagrange systems and the fundamental advantages of the new parameterization are illustrated with comprehensive simulations of a 2 degrees-of-freedom robot manipulator.
△ Less
Submitted 15 June, 2021;
originally announced June 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.
-
Parameter Estimation of Nonlinearly Parameterized Regressions without Overparameterization nor Persistent Excitation: Application to System Identification and Adaptive Control
Authors:
Romeo Ortega,
Vladislav Gromov,
Emmanuel Nuño,
Anton Pyrkin,
Jose Guadalupe Romero
Abstract:
In this paper we propose a solution to the problem of parameter estimation of nonlinearly parameterized regressions--continuous or discrete time--and apply it for system identification and adaptive control. We restrict our attention to parameterizations that can be factorized as the product of two functions, a measurable one and a nonlinear function of the parameters to be estimated. Although in t…
▽ More
In this paper we propose a solution to the problem of parameter estimation of nonlinearly parameterized regressions--continuous or discrete time--and apply it for system identification and adaptive control. We restrict our attention to parameterizations that can be factorized as the product of two functions, a measurable one and a nonlinear function of the parameters to be estimated. Although in this case it is possible to define an extended vector of unknown parameters to get a linear regression, it is well-known that overparameterization suffers from some severe shortcomings. Another feature of the proposed estimator is that parameter convergence is ensured without a persistency of excitation assumption. It is assumed that, after a coordinate change, some of the elements of the transformed function satisfy a monotonicity condition. The proposed estimators are applied to design identifiers and adaptive controllers for nonlinearly parameterized systems. In continuous-time we consider a general class of nonlinear systems and those described by Euler-Lagrange models, while in discrete-time we apply the method to the challenging problems of direct and indirect adaptive pole-placement. The effectiveness of our approach is illustrated with several classical examples, which are traditionally tackled using overparameterization and assuming persistency of excitation.
△ Less
Submitted 17 October, 2019;
originally announced October 2019.
-
Correction to the paper "A robust IDA-PBC approach for handling uncertainties in underactuated mechanical systems"
Authors:
Alejandro Donaire,
Jose Guadalupe Romero,
Romeo Ortega
Abstract:
In this note, it is shown that the results claimed in the paper [1]---as well as the examples presented there---are, unfortunately, incorrect.
In this note, it is shown that the results claimed in the paper [1]---as well as the examples presented there---are, unfortunately, incorrect.
△ Less
Submitted 11 September, 2019;
originally announced September 2019.
-
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.
-
Analysis of random non-autonomous logistic-type differential equations via the Karhunen-Loève expansion and the Random Variable Transformation technique
Authors:
J. -C. Cortés,
A. Navarro-Quiles,
J. -V. Romero,
M. -D. Roselló
Abstract:
This paper deals with the study, from a probabilistic point of view, of logistic-type differential equations with uncertainties. We assume that the initial condition is a random variable and the diffusion coefficient is a stochastic process. The main objective is to obtain the first probability density function, $f_1(p,t)$, of the solution stochastic process, $P(t,ω)$. To achieve this goal, first…
▽ More
This paper deals with the study, from a probabilistic point of view, of logistic-type differential equations with uncertainties. We assume that the initial condition is a random variable and the diffusion coefficient is a stochastic process. The main objective is to obtain the first probability density function, $f_1(p,t)$, of the solution stochastic process, $P(t,ω)$. To achieve this goal, first the diffusion coefficient is represented via a truncation of order $N$ of the Karhunen-Loève expansion, and second, the Random Variable Transformation technique is applied. In this manner, approximations, say $f_1^N(p,t)$, of $f_1(p,t)$ are constructed. Afterwards, we rigorously prove that $f_1^N(p,t) \longrightarrow f_1(p,t)$ as $N\to \infty$ under mild conditions assumed on input data (initial condition and diffusion coefficient). Finally, three illustrative examples are shown.
△ Less
Submitted 7 January, 2019;
originally announced January 2019.
-
Solving the Random Pielou Logistic Equation with the Random Variable Transformation Technique: Theory and Applications
Authors:
J. -C. Cortés,
A. Navarro-Quiles,
J. -V. Romero,
M. -D. Roselló
Abstract:
The study of the dynamics of the size of a population via mathematical modelling is a problem of interest and widely studied. Traditionally, continuous deterministic methods based on differential equations have been used to deal with this problem. However discrete versions of some models are also available and sometimes more adequate. In this paper, we randomize the Pielou logistic equation in ord…
▽ More
The study of the dynamics of the size of a population via mathematical modelling is a problem of interest and widely studied. Traditionally, continuous deterministic methods based on differential equations have been used to deal with this problem. However discrete versions of some models are also available and sometimes more adequate. In this paper, we randomize the Pielou logistic equation in order to include the inherent uncertainty in modelling. Taking advantage of the method of transformation of random variables, we provide a full probabilistic description to the randomized Pielou logistic model via the computation of the probability density functions of the solution stochastic process, the steady state and the time until a certain level of population is reached. The theoretical results are illustrated by means of two examples, the first one consists of a numerical experiment and the second one shows an application to study the diffusion of a technology using real data.
△ Less
Submitted 7 January, 2019;
originally announced January 2019.
-
A probabilistic analysis of a Beverton-Holt type discrete model: Theoretical and computing analysis
Authors:
J. -C. Cortés,
A. Navarro-Quiles,
J. -V. Romero,
M. -D. Roselló
Abstract:
In this paper a randomized version of the Beverton-Holt type discrete model is proposed. Its solution stochastic process and the random steady state are determined. Its first probability density function and second probability density function are obtained by means of the random variable transformation method, providing a full probabilistic description of the solution. Finally, several numerical e…
▽ More
In this paper a randomized version of the Beverton-Holt type discrete model is proposed. Its solution stochastic process and the random steady state are determined. Its first probability density function and second probability density function are obtained by means of the random variable transformation method, providing a full probabilistic description of the solution. Finally, several numerical examples are shown.
△ Less
Submitted 7 January, 2019;
originally announced January 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.
