Showing 1–36 of 36 results for author: Abreu, L D

Inverse problems for the zeros of the Wigner function

Authors: Luís Daniel Abreu, Ulysse Chabaud, Nuno Costa Dias, João Nuno Prata

Abstract: In this work we consider the inverse problem of determining the properties of a Wigner function from the set of its zeros (the nodal set). The previous state of the art of the problem is Hudson's theorem, which shows that an empty nodal set is associated only with generalized Gaussians. We extend this analysis to non-Gaussian functions. Our first main result states that, if the nodal set of the Wi… ▽ More In this work we consider the inverse problem of determining the properties of a Wigner function from the set of its zeros (the nodal set). The previous state of the art of the problem is Hudson's theorem, which shows that an empty nodal set is associated only with generalized Gaussians. We extend this analysis to non-Gaussian functions. Our first main result states that, if the nodal set of the Wigner distribution of a function $f$ is bounded, then $f$ is equal to a generalized Gaussian times a polynomial. An immediate consequence of this result is that any open set is a uniqueness set for Wigner functions with bounded nodal set. Our second main result shows that the only Wigner function vanishing on a circle of radius $\sqrt{\hbar/2}$ and centered at the origin is the Wigner distribution of the first Hermite function. We prove similar results for the second and third Hermite functions. We also derive for Wigner functions a counterpart of the sign uncertainty principle of J. Bourgain, L. Clozel and J.-P. Kahane, which says that if the negative part of a Wigner function is contained in a ball, then the radius of the ball has a lower bound. Finally, we obtain various constraints on Wigner distributions whose bounded nodal sets contain circles, ellipses or line segments. As a by-product of our work we prove several non-trivial results about the zeros of Laguerre polynomials. △ Less

Submitted 28 April, 2025; originally announced April 2025.

Comments: 45 pages

Analytic continuation of time in Brownian motion. Stochastic distributions approach

Authors: Luis Daniel Abreu, Daniel Alpay, Tryphon Georgiou, Palle Jorgensen

Abstract: With the use of Hida's white noise space theory space theory and spaces of stochastic distributions, we present a detailed analytic continuation theory for classes of Gaussian processes, with focus here on Brownian motion. For the latter, we prove and make use a priori bounds, in the complex plane, for the Hermite functions; as well as a new approach to stochastic distributions. This in turn allow… ▽ More With the use of Hida's white noise space theory space theory and spaces of stochastic distributions, we present a detailed analytic continuation theory for classes of Gaussian processes, with focus here on Brownian motion. For the latter, we prove and make use a priori bounds, in the complex plane, for the Hermite functions; as well as a new approach to stochastic distributions. This in turn allows us to present an explicit formula for an analytically continued white noise process, realized this way in complex domain. With the use of the Wick product, we then apply our complex white noise analysis in a derivation of a new realization of Hilbert space-valued stochastic integrals △ Less

Submitted 24 January, 2025; originally announced January 2025.

MSC Class: 60J65; 60H; 46F; 46H

Beurling density theorems for sampling and interpolation on the flat cylinder

Authors: L. D. Abreu, F. Luef, M. Ziyat

Abstract: We consider the Fock space weighted by $e^{-α|z|^{2}}$, of entire and quasi-periodic (modulo a weight dependent on $ν$) functions on ${C}$. The quotient space $\mathbb{C}/\mathbb{Z}$, called `The flat cylinder', is represented by the vertical strip $[0,1)\times \mathbb{R}$, which tiles ${C}$ by ${Z}$-translations and is therefore a fundamental domain for $\mathbb{C}/\mathbb{Z}$. Our main result gi… ▽ More We consider the Fock space weighted by $e^{-α|z|^{2}}$, of entire and quasi-periodic (modulo a weight dependent on $ν$) functions on ${C}$. The quotient space $\mathbb{C}/\mathbb{Z}$, called `The flat cylinder', is represented by the vertical strip $[0,1)\times \mathbb{R}$, which tiles ${C}$ by ${Z}$-translations and is therefore a fundamental domain for $\mathbb{C}/\mathbb{Z}$. Our main result gives a complete characterization of the sets $Z\subset Λ\left( \mathbb{Z}\right) $ that are sets of sampling or interpolation, in terms of concepts of upper and lower Beurling densities, $ D^{+}(Z)$ and $D^{-}(Z)$, adapted to the geometry of $\mathbb{C}/\mathbb{Z}$. The critical `Nyquist density' is the real number $\frac{α}{π}$, meaning that the condition $D^{-}(Z)>\frac{α}{π}$ characterizes sets of sampling, while the condition $D^{+}(Z)<\frac{α}{π}$ characterizes sets of interpolation. The results can be reframed as a complete characterization of Gabor frames and Riesz basic sequences (given by arbitrary discrete sets in $Z\subset Λ\left( \mathbb{Z}\right) $), with time-periodized Gaussian windows (theta-Gaussian), for spaces of functions $f$, measurable in $\mathbb{R}$, square-integrable in $(0,1)$, and quasi-periodic with respect to integer translations. △ Less

Submitted 30 December, 2024; originally announced December 2024.

Comments: 25 pages

Gabor frames for quasi-periodic functions and polyanalytic spaces on the flat cylinder

Authors: L. D. Abreu, F. Luef, M. Ziyat

Abstract: We develop an alternative approach to the study of Fourier series, based on the Short-Time-Fourier Transform (STFT) acting on $L_{ν}^{2}(0,1)$, the space of measurable functions $f$ in ${R}$, square-integrable in $ (0,1)$, and time-periodic up to a phase factor: for fixed $ν\in \mathbb{R}$, \begin{equation*} f(t+k)=e^{2πikν}f(t)\text{, }k\in \mathbb{Z}\text{.} \end{equation*} The resulting phase s… ▽ More We develop an alternative approach to the study of Fourier series, based on the Short-Time-Fourier Transform (STFT) acting on $L_{ν}^{2}(0,1)$, the space of measurable functions $f$ in ${R}$, square-integrable in $ (0,1)$, and time-periodic up to a phase factor: for fixed $ν\in \mathbb{R}$, \begin{equation*} f(t+k)=e^{2πikν}f(t)\text{, }k\in \mathbb{Z}\text{.} \end{equation*} The resulting phase space is $[0,1)\times {R}$, a flat model of an infinite cylinder, leading to Gabor frames with a rich structure, including a Janssen-type representation. A Gaussian window leads to a Fock space of entire functions, studied in the companion paper by the same authors [\emph{Beurling-type density theorems for sampling and interpolation on the flat cylinder}]. When $g$ is a Hermite function, we are lead to true Fock spaces of polyanalytic functions (Landau Level eigenspaces) on the vertical strip $[0,1)\times{R}$. Furthermore, an analogue of the sufficient Wexler-Raz conditions is obtained. This leads to a new criteria for Gabor frames in $L^{2}({R})$, to sufficient conditions for Gabor frames in $L_{ν}^{2}(0,1)$ with Hermite windows (an analogue of a theorem of Gröchenig and Lyubarskii about Gabor frames with Hermite windows) and with totally positive windows. We also consider a vectorial STFT in $L_{ν}^{2}(0,1)$ and the (full) Fock spaces of polyanalytic functions on $[0,1)\times {R}$, associated Bargmann-type transforms, and an analogue of Vasilevski's orthogonal decomposition into true polyanalytic Fock spaces (Landau level eigenspaces on $[0,1)\times {R}$). We conclude with an analogue of Gröchenig-Lyubarskii's sufficient condition for Gabor super-frames with Hermite functions, equivalent to a sufficient sampling condition on the full Fock space of polyanalytic functions on $[0,1)\times \mathbb{R}$. △ Less

Submitted 29 December, 2024; originally announced December 2024.

Comments: 42 pages

Entanglement entropy and hyperuniformity of Ginibre and Weyl-Heisenberg ensembles

Authors: Luís Daniel Abreu

Abstract: We show that, for a class of planar determinantal point processes (DPP) X, the entanglement entropy of X on a compact region grows exactly at the rate of the variance fluctuation in that region. Therefore, such DPPs satisfy an area law if they are of Class I hyperuniformity, while the area law is violated if they are of Class II hyperuniformity. As a result, the entanglement entropy of Weyl-Heis… ▽ More We show that, for a class of planar determinantal point processes (DPP) X, the entanglement entropy of X on a compact region grows exactly at the rate of the variance fluctuation in that region. Therefore, such DPPs satisfy an area law if they are of Class I hyperuniformity, while the area law is violated if they are of Class II hyperuniformity. As a result, the entanglement entropy of Weyl-Heisenberg ensembles (a family of DPPs containing the Ginibre ensemble and Ginibre-type ensembles in higher Landau levels), satisfies an area law, as a consequence of its hyperuniformity. △ Less

Submitted 10 May, 2023; originally announced May 2023.

Comment on 'Comment on 'Affine density, von Neumann dimension and a problem of Perelomov"

Authors: Luís Daniel Abreu

Abstract: In the Letter 'Comment on 'Affine density, von Neumann dimension and a problem of Perelomov', arXiv.2211.04879, by Prof. J. L. Romero, it is claimed 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]. We provide some background, and demonstrate with hard facts that this claim is fal… ▽ More In the Letter 'Comment on 'Affine density, von Neumann dimension and a problem of Perelomov', arXiv.2211.04879, by Prof. J. L. Romero, it is claimed 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]. We provide some background, and demonstrate with hard facts that this claim is false, as well as other claims in the Letter which, in most cases, either result from wrong mathematical reasoning or objectively differ from what is written in the published material. The author might be interested in publicly retracting and apologising for his comments. △ Less

Submitted 16 December, 2022; originally announced December 2022.

Comments: 11 pages

Donoho-Logan large sieve principles for the wavelet transform

Authors: Luís Daniel Abreu, Michael Speckbacher

Abstract: In this paper we formulate Donoho and Logan's large sieve principle for the wavelet transform on the Hardy space, adapting the concept of maximum Nyquist density to the hyperbolic geometry of the underlying space. The results provide deterministic guarantees for $L_{1}$-minimization methods and hold for a class of mother wavelets which constitute an orthonormal basis of the Hardy space and can be… ▽ More In this paper we formulate Donoho and Logan's large sieve principle for the wavelet transform on the Hardy space, adapting the concept of maximum Nyquist density to the hyperbolic geometry of the underlying space. The results provide deterministic guarantees for $L_{1}$-minimization methods and hold for a class of mother wavelets which constitute an orthonormal basis of the Hardy space and can be associated with higher hyperbolic Landau levels. Explicit calculations of the basis functions reveal a connection with the Zernike polynomials. We prove a novel local reproducing formula for the spaces in consideration and use it to derive concentration estimates of the large sieve type for the corresponding wavelet transforms. We conclude with a discussion of optimality of localization in the analytic case by building on recent results of Kulikov, Ramos and Tilli based on the groundbreaking methods of Nicola and Tilli. This leads to a sharp uncertainty principle and a local Lieb inequality for the wavelet transform. △ Less

Submitted 20 June, 2024; v1 submitted 24 October, 2022; originally announced October 2022.

MSC Class: 42C40; 46E15; 30H10; 42C15; 11N36

The affine ensemble: determinantal point processes associated with the ax+b group

Authors: Luis Daniel Abreu, Peter Balazs, Smiljana Jakšić

Abstract: We introduce the affine ensemble, a class of determinantal point processes (DPP) in the half-plane C^+ associated with the ax+b (affine) group, depending on an admissible Hardy function ψ. We obtain the asymptotic behavior of the variance, the exact value of the asymptotic constant, and non-asymptotic upper and lower bounds for the variance on a compact set Ω contained in C^+. As a special case on… ▽ More We introduce the affine ensemble, a class of determinantal point processes (DPP) in the half-plane C^+ associated with the ax+b (affine) group, depending on an admissible Hardy function ψ. We obtain the asymptotic behavior of the variance, the exact value of the asymptotic constant, and non-asymptotic upper and lower bounds for the variance on a compact set Ω contained in C^+. As a special case one recovers the DPP related to the weighted Bergman kernel. When ψ is chosen within a finite family whose Fourier transform are Laguerre functions, we obtain the DPP associated to hyperbolic Landau levels, the eigenspaces of the finite spectrum of the Maass Laplacian with a magnetic field. △ Less

Submitted 15 October, 2022; originally announced October 2022.

Comments: 15 pages; J. Math. Soc. Japan, in press

Local maxima of white noise spectrograms and Gaussian Entire Functions

Authors: Luis Daniel Abreu

Abstract: We confirm Flandrin's prediction for the expected average of local maxima of spectrograms of complex white noise with Gaussian windows (Gaussian spectrograms or, equivalently, modulus of weighted Gaussian Entire Functions), a consequence of the conjectured double honeycomb mean model for the network of zeros and local maxima, where the area of local maxima centered hexagons is three times larger t… ▽ More We confirm Flandrin's prediction for the expected average of local maxima of spectrograms of complex white noise with Gaussian windows (Gaussian spectrograms or, equivalently, modulus of weighted Gaussian Entire Functions), a consequence of the conjectured double honeycomb mean model for the network of zeros and local maxima, where the area of local maxima centered hexagons is three times larger than the area of zero centered hexagons. More precisely, we show that Gaussian spectrograms, normalized such that their expected density of zeros is 1, have an expected density of 5/3 critical points, among those 1/3 are local maxima, and 4/3 saddle points, and compute the distributions of ordinate values (heights) for spectrogram local extrema. This is done by first writing the spectrograms in terms of Gaussian Entire Functions (GEFs). The extrema are considered under the translation invariant derivative of the Fock space (which in this case coincides with the Chern connection from complex differential geometry). We also observe that the critical points of a GEF are precisely the zeros of a Gaussian random function in the first higher Landau level. We discuss natural extensions of these Gaussian random functions: Gaussian Weyl-Heisenberg functions and Gaussian bi-entire functions. The paper also contains a bibliographic review of recent results on the theory and applications of white noise spectrograms, connections between several developments, and is partially intended as a pedestrian introduction to the topic. △ Less

Submitted 13 October, 2022; originally announced October 2022.

Comments: 27 pages, 1 figure; to appear at J. Fourier. Anal. Appl

Time-frequency analysis on flat tori and Gabor frames in finite dimensions

Authors: Luis Daniel Abreu, Peter Balazs, Nicki Holighaus, Franz Luef, Michael Speckbacher

Abstract: We provide the foundations of a Hilbert space theory for the short-time Fourier transform (STFT) where the flat tori \begin{equation*} \mathbb{T}_{N}^2=\mathbb{R}^2/(\mathbb{Z}\times N\mathbb{Z})=[0,1]\times \lbrack 0,N] \end{equation*} act as phase spaces. We work on an $N$-dimensional subspace $S_{N}$ of distributions periodic in time and frequency in the dual $S_0'(\mathbb{R})$ of the Feichting… ▽ More We provide the foundations of a Hilbert space theory for the short-time Fourier transform (STFT) where the flat tori \begin{equation*} \mathbb{T}_{N}^2=\mathbb{R}^2/(\mathbb{Z}\times N\mathbb{Z})=[0,1]\times \lbrack 0,N] \end{equation*} act as phase spaces. We work on an $N$-dimensional subspace $S_{N}$ of distributions periodic in time and frequency in the dual $S_0'(\mathbb{R})$ of the Feichtinger algebra $S_0(\mathbb{R})$ and equip it with an inner product. To construct the Hilbert space $S_{N}$ we apply a suitable double periodization operator to $S_0(\mathbb{R})$. On $S_{N}$, the STFT is applied as the usual STFT defined on $S_0'(\mathbb{R})$. This STFT is a continuous extension of the finite discrete Gabor transform from the lattice onto the entire flat torus. As such, sampling theorems on flat tori lead to Gabor frames in finite dimensions. For Gaussian windows, one is lead to spaces of analytic functions and the construction allows to prove a necessary and sufficient Nyquist rate type result, which is the analogue, for Gabor frames in finite dimensions, of a well known result of Lyubarskii and Seip-Wallst{é}n for Gabor frames with Gaussian windows and which, for $N$ odd, produces an explicit \emph{full spark Gabor frame}. The compactness of the phase space, the finite dimension of the signal spaces and our sampling theorem offer practical advantages in some applications. We illustrate this by discussing a problem of current research interest: recovering signals from the zeros of their noisy spectrograms. △ Less

Submitted 23 October, 2023; v1 submitted 9 September, 2022; originally announced September 2022.

MSC Class: 42C40; 46E15; 42C30; 46E22; 42C15

Affine density, von Neumann dimension and a problem of Perelomov

Authors: Luìs Daniel Abreu, Michael Speckbacher

Abstract: We provide a solution to Perelomov's 1972 problem concerning the existence of a phase transition (known in signal analysis as 'Nyquist rate') determining the basis properties of certain affine coherent states labelled by Fuchsian groups. As suggested by Perelomov, the transition is given according to the hyperbolic volume of the fundamental region. The solution is a more general form (in phase spa… ▽ More We provide a solution to Perelomov's 1972 problem concerning the existence of a phase transition (known in signal analysis as 'Nyquist rate') determining the basis properties of certain affine coherent states labelled by Fuchsian groups. As suggested by Perelomov, the transition is given according to the hyperbolic volume of the fundamental region. The solution is a more general form (in phase space) of the $PSL(2,\mathbb{R})$ variant of a 1989 conjecture of Kristian Seip about wavelet frames, where the same value of `Nyquist rate' is obtained as the trace of a certain localization operator. The proof consists of first connecting the problem to the theory of von Neumann algebras, by introducing a new class of projective representations of $PSL(2,\mathbb{R})$ acting on non-analytic Bergman-type spaces. We then adapt to this setting a new method for computing von Neumann dimensions, due to Sir Vaughan Jones. Our solution contains necessary conditions in the form of a `Nyquist rate' dividing frames from Riesz sequences of coherent states and sampling from interpolating sequences. They hold for an infinite sequence of spaces of polyanalytic functions containing the eigenspaces of the Maass operator and their orthogonal sums. Within mild boundaries, we show that our result is best possible, by characterizing our sequence of function spaces as the only invariant spaces under the non-analytic $PSL(2,\mathbb{R})$-representations. △ Less

Submitted 14 March, 2022; v1 submitted 21 December, 2020; originally announced December 2020.

MSC Class: 42C40; 46B15; 46L10; 30H10; 20H10

Characterization of Analytic Wavelet Transforms and a New Phaseless Reconstruction Algorithm

Authors: Nicki Holighaus, Günther Koliander, Zdenĕk Průša, Luis Daniel Abreu

Abstract: We obtain a characterization of all wavelets leading to analytic wavelet transforms (WT). The characterization is obtained as a by-product of the theoretical foundations of a new method for wavelet phase reconstruction from magnitude-only coefficients. The cornerstone of our analysis is an expression of the partial derivatives of the continuous WT, which results in phase-magnitude relationships si… ▽ More We obtain a characterization of all wavelets leading to analytic wavelet transforms (WT). The characterization is obtained as a by-product of the theoretical foundations of a new method for wavelet phase reconstruction from magnitude-only coefficients. The cornerstone of our analysis is an expression of the partial derivatives of the continuous WT, which results in phase-magnitude relationships similar to the short-time Fourier transform (STFT) setting and valid for the generalized family of Cauchy wavelets. We show that the existence of such relations is equivalent to analyticity of the WT up to a multiplicative weight and a scaling of the mother wavelet. The implementation of the new phaseless reconstruction method is considered in detail and compared to previous methods. It is shown that the proposed method provides significant performance gains and a great flexibility regarding accuracy versus complexity. Additionally, we discuss the relation between scalogram reassignment operators and the wavelet transform phase gradient and present an observation on the phase around zeros of the WT. △ Less

Submitted 3 June, 2019; originally announced June 2019.

Deterministic guarantees for $L^{1}$-reconstruction: A large sieve approach with geometric flexibility

Authors: Luís Daniel Abreu, Michael Speckbacher

Abstract: We present estimates of the $p$-concentration ratio for various function spaces on different geometries including the line, the sphere, the plane, and the hyperbolic disc, using large sieve methods. Thereby, we focus on $L^{1}$-estimates which can be used to guarantee the reconstruction from corrupted or partial information. We present estimates of the $p$-concentration ratio for various function spaces on different geometries including the line, the sphere, the plane, and the hyperbolic disc, using large sieve methods. Thereby, we focus on $L^{1}$-estimates which can be used to guarantee the reconstruction from corrupted or partial information. △ Less

Submitted 1 February, 2019; originally announced February 2019.

Donoho-Logan Large Sieve Principles for Modulation and Polyanalytic Fock Spaces

Authors: Luis Daniel Abreu, Michael Speckbacher

Abstract: We obtain estimates for the $L^{p}$-norm of the short-time Fourier transform (STFT) for functions in modulation spaces, providing information about the concentration on a given subset of $\mathbb{R}^{2}$, leading to deterministic guarantees for perfect reconstruction using convex optimization methods. More precisely, we will obtain large sieve inequalities of the Donoho-Logan type, but instead of… ▽ More We obtain estimates for the $L^{p}$-norm of the short-time Fourier transform (STFT) for functions in modulation spaces, providing information about the concentration on a given subset of $\mathbb{R}^{2}$, leading to deterministic guarantees for perfect reconstruction using convex optimization methods. More precisely, we will obtain large sieve inequalities of the Donoho-Logan type, but instead of localizing the signals in regions $T\times W$ of the time-frequency plane using the Fourier transform to intertwine time and frequency, we will localize the representation of the signals in terms of the short-time Fourier transform in sets $Δ$ with arbitrary geometry. At the technical level, since there is no proper analogue of Beurling's extremal function in the STFT setting, we introduce a new method, which rests on a combination of an argument similar to Schur's test with an extension of Seip's local reproducing formula to general Hermite windows. When the windows are Hermite functions, we obtain local reproducing formulas for polyanalytic Fock spaces which lead to explicit large sieve constant estimates and, as a byproduct, to a reconstruction formula for $f\in L^{2}(\mathbb{R})$ from its STFT values on arbitrary discs. A discussion on optimality follows, along the lines of Donoho-Stark paper on uncertainty principles and signal recovery. We also consider the case of discrete Gabor systems, vector-valued STFT transforms and rephrase the results in terms of the polyanalytic Bargmann-Fock transforms. △ Less

Submitted 7 August, 2018; originally announced August 2018.

MSC Class: 42C40; 46E15; 46E20; 42C15; 11N36

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.

Comments: 29 pages, 5 figures

Uniform convergence of Fourier-Bessel series on a q-linear grid

Authors: L. D. Abreu, R. Álvarez-Nodarse, J. L. Cardoso

Abstract: We study Fourier-Bessel series on a q-linear grid, defined as expansions in complete q-orthogonal systems constructed with the third Jackson q-Bessel function, and obtain sufficient conditions for uniform convergence. The convergence results are illustrated with specific examples of expansions in q-Fourier-Bessel series. We study Fourier-Bessel series on a q-linear grid, defined as expansions in complete q-orthogonal systems constructed with the third Jackson q-Bessel function, and obtain sufficient conditions for uniform convergence. The convergence results are illustrated with specific examples of expansions in q-Fourier-Bessel series. △ Less

Submitted 19 October, 2017; originally announced October 2017.

Comments: 23 pages

MSC Class: 42C10; 33D15

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.

Comments: 36 pages, 4 figures

Journal ref: J. Stat. Phys. 174 (2019), no. 5, 1104-1136

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.

Comments: 14 pages, 2 figures

MSC Class: 65F18; 94A12; 65N21; 42C25

Journal ref: Inverse Problems, 33(11):115008, 12, 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.

Comments: 16 pages, 2 figures. (This article replaces arXiv: 1503.02991.)

Journal ref: IEEE Transactions on Information Theory, 63(12):7770-7776, 2017

A planar large sieve and sparsity of time-frequency representations

Authors: Luis Daniel Abreu, Michael Speckbacher

Abstract: With the aim of measuring the sparsity of a real signal, Donoho and Logan introduced the concept of maximum Nyquist density, and used it to extend Bombieri's principle of the large sieve to bandlimited functions. This led to several recovery algorithms based on the minimization of the $L_{1}$-norm. In this paper we introduce the concept of {\ planar maximum} Nyquist density, which measures the spa… ▽ More With the aim of measuring the sparsity of a real signal, Donoho and Logan introduced the concept of maximum Nyquist density, and used it to extend Bombieri's principle of the large sieve to bandlimited functions. This led to several recovery algorithms based on the minimization of the $L_{1}$-norm. In this paper we introduce the concept of {\ planar maximum} Nyquist density, which measures the sparsity of the time-frequency distribution of a function. We obtain a planar large sieve principle which applies to time-frequency representations with a gaussian window, or equivalently, to Fock spaces, $\mathcal{F}_{1}\left( \mathbb{C}\right) $, allowing for perfect recovery of the short-Fourier transform (STFT) of functions in the modulation space $M_{1}$ (also known as Feichtinger's algebra $S_{0}$) corrupted by sparse noise and for approximation of missing STFT data in $M_{1}$, by $L_{1}$-minimization. △ Less

Submitted 27 February, 2017; originally announced February 2017.

The average singular value of a complex random matrix decreases with dimension

Authors: Luís Daniel Abreu

Abstract: We obtain a recurrence relation in $d$ for the average singular value $% α(d)$ of a complex valued $d\times d$\ matrix $\frac{1}{\sqrt{d}}X$ with random i.i.d., N( 0,1) entries, and use it to show that $α(d)$ decreases monotonically with $d$ to the limit given by the Marchenko-Pastur distribution.\ The monotonicity of $α(d)$ has been recently conjectured by Bandeira, Kennedy and Singer in their st… ▽ More We obtain a recurrence relation in $d$ for the average singular value $% α(d)$ of a complex valued $d\times d$\ matrix $\frac{1}{\sqrt{d}}X$ with random i.i.d., N( 0,1) entries, and use it to show that $α(d)$ decreases monotonically with $d$ to the limit given by the Marchenko-Pastur distribution.\ The monotonicity of $α(d)$ has been recently conjectured by Bandeira, Kennedy and Singer in their study of the Little Grothendieck problem over the unitary group $\mathcal{U}_{d}$ \cite{BKS}, a combinatorial optimization problem. The result implies sharp global estimates for $α(d)$, new bounds for the expected minimum and maximum singular values, and a lower bound for the ratio of the expected maximum and the expected minimum singular value. The proof is based on a connection with the theory of Turán determinants of orthogonal polynomials. We also discuss some applications to the problem that originally motivated the conjecture. △ Less

Submitted 6 March, 2023; v1 submitted 1 June, 2016; originally announced June 2016.

Comments: The estimate in Lemma 1 is wrong. This invalidates the result. Quoting v1, the error is in the substitution of the first entry of the hypergeometric 3F2, formula (3.3)). Proposition 1 is correct (the - sign is a typo, see (2.1)) and reduces the estimation to only two integrals, but despite several attempts I could not find the required estimate. This has not been published

Pseudo prolate spheroidal functions

Authors: Luís Daniel Abreu, João M. Pereira

Abstract: Let $D_{T}$ and $B_{Ω}$ denote the operators which cut the time content outside $T$ and the frequency content outside $Ω$, respectively. The prolate spheroidal functions are the eigenfunctions of the operator $P_{T,Ω}=D_{T}B_{Ω}D_{T}$. With the aim of formulating in precise mathematical terms the notion of Nyquist rate, Landau and Pollack have shown that, asymptotically, the number of such functio… ▽ More Let $D_{T}$ and $B_{Ω}$ denote the operators which cut the time content outside $T$ and the frequency content outside $Ω$, respectively. The prolate spheroidal functions are the eigenfunctions of the operator $P_{T,Ω}=D_{T}B_{Ω}D_{T}$. With the aim of formulating in precise mathematical terms the notion of Nyquist rate, Landau and Pollack have shown that, asymptotically, the number of such functions with eigenvalue close to one is $\approx \frac{\left\vert T\right\vert \left\vert Ω\right\vert }{2π}$. We have recently revisited this problem with a new approach: instead of counting the number of eigenfunctions with eigenvalue close to one, we count the maximum number of orthogonal $ε$-pseudoeigenfunctions with $ε$-pseudoeigenvalue one. Precisely, we count how many orthogonal functions have a maximum of energy $ε$ outside the domain $T\times Ω$, in the sense that $\left\Vert P_{T,Ω}f-f\right\Vert ^{2}\leq ε$. We have recently discovered that the sharp asymptotic number is $\approx (1-ε)^{-1}\frac{\left\vert T\right\vert \left\vert Ω\right\vert }{2π}$. The proof involves an explicit construction of the pseudoeigenfunctions of $P_{T,Ω}$. When $T$ and $Ω$ are intervals we call them pseudo prolate spheroidal functions. In this paper we explain how they are constructed. △ Less

Submitted 18 May, 2015; v1 submitted 11 March, 2015; originally announced March 2015.

Comments: 5 pages, Accepted in SampTA

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

Authors: Luís Daniel Abreu, José Luis Romero

Abstract: At the heart of non-parametric spectral estimation, lies the dilemma known as the bias-variance trade-off: low biased estimators tend to have high variance and low variance estimators tend to have high bias. In 1982, Thomson introduced a multitaper method where this trade-off is made explicit by choosing a target bias resolution and obtaining a corresponding variance reduction. The method became t… ▽ More At the heart of non-parametric spectral estimation, lies the dilemma known as the bias-variance trade-off: low biased estimators tend to have high variance and low variance estimators tend to have high bias. In 1982, Thomson introduced a multitaper method where this trade-off is made explicit by choosing a target bias resolution and obtaining a corresponding variance reduction. The method became the standard in many applications. Its favorable bias-variance trade-off is due to an empirical fact, conjectured by Thomson based on numerical evidence: assuming bandwidth W and N time domain observations, the average of the square of the first $K=\left\lfloor 2NW\right\rfloor$ Slepian functions approaches, as K grows, an ideal band-pass kernel for the interval [-W,W]. We provide an analytic proof of this fact and quantify the approximation error in the L1 norm; the approximation error is then used to control the bias of the multitaper estimator resulting from spectral leakage. This leads to new performance bounds for the method, explicit in terms of the bandwidth W and the number N of time domain observations. Our method is flexible and can be extended to higher dimensions and different geometries. △ Less

Submitted 5 May, 2016; v1 submitted 10 March, 2015; originally announced March 2015.

Comments: Minor corrections. 11 pages

Measures of localization and quantitative Nyquist densities

Authors: Luís Daniel Abreu, João M. Pereira

Abstract: We obtain a refinement of the degrees of freedom estimate of Landau and Pollak. More precisely, we estimate, in terms of $ε$, the increase in the degrees of freedom resulting upon allowing the functions to contain a certain prescribed amount of energy $ε$ outside a region delimited by a set $T$ in time and a set $Ω$ in frequency. In this situation, the lower asymptotic Nyquist density… ▽ More We obtain a refinement of the degrees of freedom estimate of Landau and Pollak. More precisely, we estimate, in terms of $ε$, the increase in the degrees of freedom resulting upon allowing the functions to contain a certain prescribed amount of energy $ε$ outside a region delimited by a set $T$ in time and a set $Ω$ in frequency. In this situation, the lower asymptotic Nyquist density $\vert T\vert \vert Ω\vert /2π$ is increased to $(1+ε)\vert T\vert \vert Ω\vert /2π$. At the technical level, we prove a pseudospectra version of the classical spectral dimension result of Landau and Pollak, in the multivariate setting of Landau. Analogous results are obtained for Gabor localization operators in a compact region of the time-frequency plane. △ Less

Submitted 4 November, 2014; originally announced November 2014.

Comments: 13 pages, no figures

On accumulated spectrograms

Authors: Luís Daniel Abreu, Karlheinz Gröchenig, José Luis Romero

Abstract: We study the eigenvalues and eigenfunctions of the time-frequency localization operator $H_Ω$ on a domain $Ω$ of the time-frequency plane. The eigenfunctions are the appropriate prolate spheroidal functions for an arbitrary domain $Ω$. Indeed, in analogy to the classical theory of Landau-Slepian-Pollak, the number of eigenvalues of $H_Ω$ in $[1-δ, 1]$ is equal to the measure of $Ω$ up to an error… ▽ More We study the eigenvalues and eigenfunctions of the time-frequency localization operator $H_Ω$ on a domain $Ω$ of the time-frequency plane. The eigenfunctions are the appropriate prolate spheroidal functions for an arbitrary domain $Ω$. Indeed, in analogy to the classical theory of Landau-Slepian-Pollak, the number of eigenvalues of $H_Ω$ in $[1-δ, 1]$ is equal to the measure of $Ω$ up to an error term depending on the perimeter of the boundary of $Ω$. Our main results show that the spectrograms of the eigenfunctions corresponding to the large eigenvalues (which we call the accumulated spectrogram) form an approximate partition ofunity of the given domain $Ω$. We derive both asymptotic, non-asymptotic, and weak $L^2$ error estimates for the accumulated spectrogram. As a consequence the domain $Ω$ can be approximated solely from the spectrograms of eigenfunctions without information about their phase. △ Less

Submitted 15 July, 2014; v1 submitted 30 April, 2014; originally announced April 2014.

Comments: 21 pages, 3 figures

MSC Class: 81S30; 45P05; 94A12; 42C25; 42C40

Journal ref: Transactions of the American Mathematical Society, Vol.368 No.5, (2016) p.3629 - 3649

A $q$-linear analogue of the plane wave expansion

Authors: Luís Daniel Abreu, Óscar Ciaurri, Juan Luis Varona

Abstract: We obtain a $q$-linear analogue of Gegenbauer's expansion of the plane wave. It is expanded in terms of the little $q$-Gegenbauer polynomials and the \textit{third} Jackson $q$-Bessel function. The result is obtained by using a method based on bilinear biorthogonal expansions. We obtain a $q$-linear analogue of Gegenbauer's expansion of the plane wave. It is expanded in terms of the little $q$-Gegenbauer polynomials and the \textit{third} Jackson $q$-Bessel function. The result is obtained by using a method based on bilinear biorthogonal expansions. △ Less

Submitted 4 November, 2012; originally announced November 2012.

Comments: 12 pages, to appear in Adv. in Appl. Math. arXiv admin note: text overlap with arXiv:0909.0067

MSC Class: 94A20 (Primary) 42A38; 42C10; 33D45 (Secondary)

Journal ref: Adv. in Appl. Math. 50 (2013), 415-428

An Inverse Problem for Localization Operators

Authors: Luis Daniel Abreu, Monika Doerfler

Abstract: A classical result of time-frequency analysis, obtained by I. Daubechies in 1988, states that the eigenfunctions of a time-frequency localization operator with circular localization domain and Gaussian analysis window are the Hermite functions. In this contribution, a converse of Daubechies' theorem is proved. More precisely, it is shown that, for simply connected localization domains, if one of t… ▽ More A classical result of time-frequency analysis, obtained by I. Daubechies in 1988, states that the eigenfunctions of a time-frequency localization operator with circular localization domain and Gaussian analysis window are the Hermite functions. In this contribution, a converse of Daubechies' theorem is proved. More precisely, it is shown that, for simply connected localization domains, if one of the eigenfunctions of a time-frequency localization operator with Gaussian window is a Hermite function, then its localization domain is a disc. The general problem of obtaining, from some knowledge of its eigenfunctions, information about the symbol of a time-frequency localization operator, is denoted as the inverse problem, and the problem studied by Daubechies as the direct problem of time-frequency analysis. Here, we also solve the corresponding problem for wavelet localization, providing the inverse problem analogue of the direct problem studied by Daubechies and Paul. △ Less

Submitted 23 July, 2012; v1 submitted 27 February, 2012; originally announced February 2012.

Comments: 18 pages, 1 figure

Landau's necessary density conditions for the Hankel transform

Authors: Luís Daniel Abreu, Afonso S. Bandeira

Abstract: We will prove an analogue of Landau's necessary conditions [Necessary density conditions for sampling and interpolation of certain entire functions, Acta Math. 117 (1967).] for spaces of functions whose Hankel transform is supported in a measurable subset S of the positive semi-axis. As a special case, necessary density conditions for the existence of Fourier-Bessel frames are obtained. We will prove an analogue of Landau's necessary conditions [Necessary density conditions for sampling and interpolation of certain entire functions, Acta Math. 117 (1967).] for spaces of functions whose Hankel transform is supported in a measurable subset S of the positive semi-axis. As a special case, necessary density conditions for the existence of Fourier-Bessel frames are obtained. △ Less

Submitted 29 November, 2011; originally announced November 2011.

Comments: To appear on J. Funct. Analysis

Journal ref: J. Funct. Anal. (2012), doi:10.1016/j.jfa.2011.11.024

Banach Gabor frames with Hermite functions: polyanalytic spaces from the Heisenberg group

Authors: Luis Daniel Abreu, Karlheinz Gröchenig

Abstract: Gabor frames with Hermite functions are equivalent to sampling sequences in true Fock spaces of polyanalytic functions. In the L^2-case, such an equivalence follows from the unitarity of the polyanalytic Bargmann transform. We will introduce Banach spaces of polyanalytic functions and investigate the mapping properties of the polyanalytic Bargmann transform on modulation spaces. By applying the th… ▽ More Gabor frames with Hermite functions are equivalent to sampling sequences in true Fock spaces of polyanalytic functions. In the L^2-case, such an equivalence follows from the unitarity of the polyanalytic Bargmann transform. We will introduce Banach spaces of polyanalytic functions and investigate the mapping properties of the polyanalytic Bargmann transform on modulation spaces. By applying the theory of coorbit spaces and localized frames to the Fock representation of the Heisenberg group, we derive explicit polyanalytic sampling theorems which can be seen as a polyanalytic version of the lattice sampling theorem discussed by J. M. Whittaker in Chapter 5 of his book "Interpolatory Function Theory". △ Less

Submitted 20 December, 2010; originally announced December 2010.

Comments: 17 pages

MSC Class: 46E22; 33C45; 81S30; 30H05; 41A05; 42C15

Journal ref: Appl. Anal. 91 (2012), no. 11, 1981-1997

Super-wavelets versus poly-Bergman spaces

Authors: Luis Daniel Abreu

Abstract: Motivated by potential applications in multiplexing and by recent results on Gabor analysis with Hermite windows due to Gröchenig and Lyubarskii, we investigate vector-valued wavelet transforms and vector-valued wavelet frames, which constitute special cases of super-wavelets, with a particular attention to the case when the analyzing wavelet vector is related to Fourier transforms of Laguerre f… ▽ More Motivated by potential applications in multiplexing and by recent results on Gabor analysis with Hermite windows due to Gröchenig and Lyubarskii, we investigate vector-valued wavelet transforms and vector-valued wavelet frames, which constitute special cases of super-wavelets, with a particular attention to the case when the analyzing wavelet vector is related to Fourier transforms of Laguerre functions. We construct an isometric isomorphism between $L^{2}(\mathbb{R}^{+},\mathbf{C}^{n})$ and poly-Bergman spaces, with a view to relate the sampling sequences in the poly-Bergman spaces to the wavelet frames and super-frames with the windows $Φ_{n}$. One of the applications of the theory is a proof that $b\ln a<2π(n+1)$ is a necessary condition for the (scalar) wavelet frame associated to the $Φ_{n}$ to exist. This seems to be the first known result of this type outside the setting of analytic functions (the case $n=0$, which has been completely studied by Seip in 1993). △ Less

Submitted 25 September, 2009; originally announced September 2009.

Comments: Preliminar version; 19 pages

Bilinear biorthogonal expansions and the Dunkl kernel on the real line

Authors: L. D. Abreu, Ó. Ciaurri, J. L. Varona

Abstract: We study an extension of the classical Paley-Wiener space structure, which is based on bilinear expansions of integral kernels into biorthogonal sequences of functions. The structure includes both sampling expansions and Fourier-Neumann type series as special cases, and it also provides a bilinear expansion for the Dunkl kernel (in the rank 1 case) which is a Dunkl analogue of Gegenbauer's expansi… ▽ More We study an extension of the classical Paley-Wiener space structure, which is based on bilinear expansions of integral kernels into biorthogonal sequences of functions. The structure includes both sampling expansions and Fourier-Neumann type series as special cases, and it also provides a bilinear expansion for the Dunkl kernel (in the rank 1 case) which is a Dunkl analogue of Gegenbauer's expansion of the plane wave and the corresponding sampling expansions. In fact, we show how to derive sampling and Fourier-Neumann type expansions from the results related to the bilinear expansion for the Dunkl kernel. △ Less

Submitted 5 November, 2012; v1 submitted 31 August, 2009; originally announced September 2009.

Comments: 16 pages

MSC Class: 94A20; 42A38; 42C10; 33D45

Journal ref: Expo. Math. 30 (2012), 32-48

Sampling and interpolation in Bargmann-Fock spaces of polyanalytic functions

Authors: Luis Daniel Abreu

Abstract: Using Gabor analysis, we give a complete characterization of all lattice sampling and interpolating sequences in the Fock space of polyanalytic functions, displaying a "Nyquist rate" which increases with $n$, the degree of polyanaliticity of the space. Such conditions are equivalent to sharp lattice density conditions for certain vector-valued Gabor systems, namely superframes and Gabor super-Ri… ▽ More Using Gabor analysis, we give a complete characterization of all lattice sampling and interpolating sequences in the Fock space of polyanalytic functions, displaying a "Nyquist rate" which increases with $n$, the degree of polyanaliticity of the space. Such conditions are equivalent to sharp lattice density conditions for certain vector-valued Gabor systems, namely superframes and Gabor super-Riesz sequences with Hermite windows, and in the case of superframes they were studied recently by Gröchenig and Lyubarskii. The proofs of our main results use variations of the Janssen-Ron-Shen duality principle and reveal a duality between sampling and interpolation in polyanalytic spaces, and multiple interpolation and sampling in analytic spaces. To connect these topics we introduce the\emph{polyanalytic Bargmann transform}, a unitary mapping between vector valued Hilbert spaces and polyanalytic Fock spaces, which extends the Bargmann transform to polyanalytic spaces. Motivated by this connection, we discuss a vector-valued version of the Gabor transform. These ideas have natural applications in the context of multiplexing of signals. We also point out that a recent result of Balan, Casazza and Landau, concerning density of Gabor frames, has important consequences for the Gröchenig-Lyubarskii conjecture on the density of Gabor frames with Hermite windows. △ Less

Submitted 2 December, 2009; v1 submitted 27 January, 2009; originally announced January 2009.

Comments: Revised for Appl. Comput. Harmon. Anal.: Typos corrected and edited for English, Introduction includes reference to Balan-Casazza-Landau arXiv:0904.4471; References updated

Wavelet frames, Bergman spaces and Fourier transforms of Laguerre functions

Authors: Luis Daniel Abreu

Abstract: The Fourier transforms of Laguerre functions play the same canonical role in wavelet analysis as do the Hermite functions in Gabor analysis. We will use them as analyzing wavelets in a similar way the Hermite functions were recently by K. Groechenig and Y. Lyubarskii in "Gabor frames with Hermite functions, C. R. Acad. Sci. Paris, Ser. I 344 157-162 (2007)". Building on the work of K. Seip, "Beu… ▽ More The Fourier transforms of Laguerre functions play the same canonical role in wavelet analysis as do the Hermite functions in Gabor analysis. We will use them as analyzing wavelets in a similar way the Hermite functions were recently by K. Groechenig and Y. Lyubarskii in "Gabor frames with Hermite functions, C. R. Acad. Sci. Paris, Ser. I 344 157-162 (2007)". Building on the work of K. Seip, "Beurling type density theorems in the unit disc, Invent. Math., 113, 21-39 (1993)", concerning sampling sequences on weighted Bergman spaces, we find a sufficient density condition for constructing frames by translations and dilations of the Fourier transform of the nth Laguerre function. As in Groechenig-Lyubarskii theorem, the density increases with n, and in the special case of the hyperbolic lattice in the upper half plane it is given by b\log a<\frac{4π}{2n+α}, where alpha is the parameter of the Laguerre function. △ Less

Submitted 11 April, 2007; originally announced April 2007.

Comments: 15 pages

MSC Class: 33C45; 42C15; 30H05; 42C40

Hardy-type theorem for functions orthogonal with respect to their zeros. The Jacobi weight case

Authors: L. D. Abreu, F. Marcellan, S. Yakubovich

Abstract: Motivated by G. H. Hardy's 1939 results \cite{Hardy} on functions orthogonal with respect to their real zeros $λ_{n}, n=1,2,... $, we will consider, within the same general conditions imposed by Hardy, functions satisfying an orthogonality with respect to their zeros with Jacobi weights on the interval $(0,1)$, that is, the functions $f(z)=z^νF(z), ν\in \mathbb{R}$, where $F$ is entire and \begi… ▽ More Motivated by G. H. Hardy's 1939 results \cite{Hardy} on functions orthogonal with respect to their real zeros $λ_{n}, n=1,2,... $, we will consider, within the same general conditions imposed by Hardy, functions satisfying an orthogonality with respect to their zeros with Jacobi weights on the interval $(0,1)$, that is, the functions $f(z)=z^νF(z), ν\in \mathbb{R}$, where $F$ is entire and \begin{equation*} \int_{0}^{1}f(λ_{n}t)f(λ_{m}t)t^α(1-t)^βdt=0,\quad α>-1-2ν, β>-1, \end{equation*}% when $n\neq m$. Considering all possible functions on this class we are lead to the discovery of a new family of generalized Bessel functions including Bessel and Hyperbessel functions as special cases. △ Less

Submitted 5 January, 2007; originally announced January 2007.

Comments: 10 pages

Completeness, special functions and uncertainty principles over q-linear grids

Authors: Luis Daniel Abreu

Abstract: We derive completeness criteria for sequences of functions of the form $% f(xλ_{n})$, where $λ_{n}$ is the $nth$ zero of a suitably chosen entire function. Using these criteria, we construct systems of nonorthogonal Fourier-Bessel functions and their $q$-analogues, as well as other complete sets of $q$-special functions. The completeness of certain sets of $q$-Bessel functions is then used to pr… ▽ More We derive completeness criteria for sequences of functions of the form $% f(xλ_{n})$, where $λ_{n}$ is the $nth$ zero of a suitably chosen entire function. Using these criteria, we construct systems of nonorthogonal Fourier-Bessel functions and their $q$-analogues, as well as other complete sets of $q$-special functions. The completeness of certain sets of $q$-Bessel functions is then used to prove that, if a function $f$ and its $q$-Hankel transform both vanish at the points $\{q^{-n}\}_{n=1}^{% \infty}$, $0<q<1$, then $f$ must vanish on the whole $q$-linear grid $% \{q^{n}\} _{n=-\infty}^{\infty}$. △ Less

Submitted 9 January, 2007; v1 submitted 20 February, 2006; originally announced February 2006.

Comments: 15 pages, final version (first and second introductory paragraphs switched, an easier proof of the last theorem)

MSC Class: 05A30; 33D45; 42C30; 94A11

Journal ref: J. Phys. A: Math. Gen. 39 (2006) 14567-14580

The reproducing kernel structure arising from a combination of continuous and discrete orthogonal polynomials into Fourier systems

Authors: Luis Daniel Abreu

Abstract: We study mapping properties of operators with kernels defined via a combination of continuous and discrete orthogonal polynomials, which provide an abstract formulation of quantum (q-) Fourier type systems. We prove Ismail conjecture regarding the existence of a reproducing kernel structure behind these kernels, by establishing a link with Saitoh theory of linear transformations in Hilbert space… ▽ More We study mapping properties of operators with kernels defined via a combination of continuous and discrete orthogonal polynomials, which provide an abstract formulation of quantum (q-) Fourier type systems. We prove Ismail conjecture regarding the existence of a reproducing kernel structure behind these kernels, by establishing a link with Saitoh theory of linear transformations in Hilbert space. The results are illustrated with Fourier kernels with ultraspherical weights, their continuous q-extensions and generalizations. As a byproduct of this approach, a new class of sampling theorems is obtained, as well as Neumann type expansions in Bessel and q-Bessel functions. △ Less

Submitted 5 January, 2007; v1 submitted 9 January, 2006; originally announced January 2006.

Comments: 16 pages; Title changed, major reformulations. To appear in Constr. Approx

MSC Class: 42C15; 44A20; 33C45; 33D45; 94A20