Searcharxiv⌕ Search

arXiv subjects

José Luis Romero

Publications and source records attributed to José Luis Romero.

At least 55 records · Page 3Linked to original sources

Harmonic analysis in phase space and finite Weyl-Heisenberg ensembles

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.

math-ph↗

Sampling Theorems for Shift-invariant Spaces, Gabor Frames, and Totally Positive Functions

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.

math.FA↗

Density of Sampling and Interpolation in Reproducing Kernel Hilbert Spaces

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.

math.FA↗

MSE estimates for multitaper spectral estimation and off-grid compressive sensing

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.

cs.IT↗

Computing reconstructions from nonuniform Fourier samples: Universality of stability barriers and stable sampling rates

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.

math.NA↗

A multi-scale Gaussian beam parametrix for the wave equation: the Dirichlet boundary value problem

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.

math.AP↗

Sharp rates of convergence for accumulated spectrograms

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.

math.CA↗

The Weyl-Heisenberg ensemble: hyperuniformity and higher Landau levels

Weyl-Heisenberg ensembles are a class of determinantal point processes associated with the Schrödinger representation of the Heisenberg group. Hyperuniformity characterizes a state of matter for which (scaled) density fluctuations diminish towards zero at the largest length scales. We will prove that Weyl-Heisenberg ensembles are hyperuniform. Weyl-Heisenberg ensembles include as a special case a multi-layer extension of the Ginibre ensemble modeling the distribution of electrons in higher Landau levels, which has recently been object of study in the realm of the Ginibre-type ensembles associated with polyanalytic functions. In addition, the family of Weyl-Heisenberg ensembles includes new structurally anisotropic processes, where point-statistics depend on the different spatial directions, and thus provide a first means to study directional hyperuniformity.

cond-mat.stat-mech↗

The bias-variance trade-off in Thomson's multitaper estimator

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.

math.CA↗

Stability of Gabor frames under small time Hamiltonian evolutions

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.]

math-ph↗

Completeness of Gabor systems

We investigate the completeness of Gabor systems with respect to several classes of window functions on rational lattices. Our main results show that the time-frequency shifts of every finite linear combination of Hermite functions with respect to a rational lattice are complete in L2(R), thus generalizing a remark of von Neumann (and proved by Bargmann, Perelomov et al.). An analogous result is proven for functions that factor into certain rational functions and the Gaussian. The results are also interesting from a conceptual point of view since they show a vast difference between the completeness and the frame property of a Gabor system. In the terminology of physics we prove new results about the completeness of coherent state subsystems.

math-ph↗

Deformation of Gabor systems

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.

math.FA↗

On Minimal Trajectories for Mobile Sampling of Bandlimited Fields

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.

cs.IT↗

On accumulated spectrograms

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.

math.CA↗

Exact and approximate expansions with pure Gaussian wavepackets

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.

math.CA↗

Multi-window Gabor frames in amalgam spaces

We show that multi-window Gabor frames with windows in the Wiener algebra $W(L^{\infty}, \ell^{1})$ are Banach frames for all Wiener amalgam spaces. As a byproduct of our results we positively answer an open question that was posed by [Krishtal and Okoudjou, Invertibility of the Gabor frame operator on the Wiener amalgam space, J. Approx. Theory, 153(2), 2008] and concerns the continuity of the canonical dual of a Gabor frame with a continuous generator in the Wiener algebra. The proofs are based on a recent version of Wiener's $1/f$ lemma.

math.FA↗

Frames adapted to a phase-space cover

We construct frames adapted to a given cover of the time-frequency or time-scale plane. The main feature is that we allow for quite general and possibly irregular covers. The frame members are obtained by maximizing their concentration in the respective regions of phase-space. We present applications in time-frequency, wavelet and Gabor analysis.

math.FA↗