-
Optimal Hölder-Zygmund exponent of semi-regular refinable functions
Authors:
Maria Charina,
Costanza Conti,
Lucia Romani,
Joachim Stöckler,
Alberto Viscardi
Abstract:
The regularity of refinable functions has been investigated deeply in the past 25 years using Fourier analysis, wavelet analysis, restricted and joint spectral radii techniques. However the shift-invariance of the underlying regular setting is crucial for these approaches. We propose an efficient method based on wavelet tight frame decomposition techniques for estimating Hölder-Zygmund regularity…
▽ More
The regularity of refinable functions has been investigated deeply in the past 25 years using Fourier analysis, wavelet analysis, restricted and joint spectral radii techniques. However the shift-invariance of the underlying regular setting is crucial for these approaches. We propose an efficient method based on wavelet tight frame decomposition techniques for estimating Hölder-Zygmund regularity of univariate semi-regular refinable functions generated, e.g., by subdivision schemes defined on semi-regular meshes $\mathbf{t}\;=\;-h_\ell\mathbb{N}\cup\{0\}\cup h_r\mathbb{N}$, $h_\ell,h_r \in (0,\infty)$. To ensure the optimality of this method, we provide a new characterization of Hölder-Zygmund spaces based on suitable irregular wavelet tight frames. Furthermore, we present proper tools for computing the corresponding frame coefficients in the semi-regular setting. We also propose a new numerical approach for estimating the optimal Hölder-Zygmund exponent of refinable functions which is more efficient than the linear regression method. We illustrate our results with several examples of known and new semi-regular subdivision schemes with a potential use in blending curve design.
△ Less
Submitted 28 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.
-
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.
-
Implementation of discretized Gabor frames and their duals
Authors:
Tobias Kloos,
Joachim Stöckler,
Karlheinz Gröchenig
Abstract:
The usefulness of Gabor frames depends on the easy computability of a suitable dual window. This question is addressed under several aspects: several versions of Schulz's iterative algorithm for the approximation of the canonical dual window are analyzed for their numerical stability. For Gabor frames with totally positive windows or with exponential B-splines a direct algorithm yields a family of…
▽ More
The usefulness of Gabor frames depends on the easy computability of a suitable dual window. This question is addressed under several aspects: several versions of Schulz's iterative algorithm for the approximation of the canonical dual window are analyzed for their numerical stability. For Gabor frames with totally positive windows or with exponential B-splines a direct algorithm yields a family of exact dual windows with compact support. It is shown that these dual windows converge exponentially fast to the canonical dual window.
△ Less
Submitted 23 June, 2015;
originally announced June 2015.
-
An Algebraic Perspective on Multivariate Tight Wavelet Frames. II
Authors:
Maria Charina,
Mihai Putinar,
Claus Scheiderer,
Joachim Stoeckler
Abstract:
Continuing our recent work we study polynomial masks of multivariate tight wavelet frames from two additional and complementary points of view: convexity and system theory. We consider such polynomial masks that are derived by means of the unitary extension principle from a single polynomial. We show that the set of such polynomials is convex and reveal its extremal points as polynomials that sati…
▽ More
Continuing our recent work we study polynomial masks of multivariate tight wavelet frames from two additional and complementary points of view: convexity and system theory. We consider such polynomial masks that are derived by means of the unitary extension principle from a single polynomial. We show that the set of such polynomials is convex and reveal its extremal points as polynomials that satisfy the quadrature mirror filter condition. Multiplicative structure of such polynomial sets allows us to improve the known upper bounds on the number of frame generators derived from box splines. In the univariate and bivariate settings, the polynomial masks of a tight wavelet frame can be interpreted as the transfer function of a conservative multivariate linear system. Recent advances in system theory enable us to develop a more effective method for tight frame constructions. Employing an example by S. W. Drury, we show that for dimension greater than 2 such transfer function representations of the corresponding polynomial masks do not always exist. However, for wavelet masks derived from multivariate polynomials with non-negative coefficients, we determine explicit transfer function representations. We illustrate our results with several examples.
△ Less
Submitted 10 March, 2014;
originally announced March 2014.
-
Zak transforms and Gabor frames of totally positive functions and exponential B-splines
Authors:
Tobias Kloos,
Joachim Stöckler
Abstract:
We study totally positive (TP) functions of finite type and exponential B-splines as window functions for Gabor frames. We establish the connection of the Zak transform of these two classes of functions and prove that the Zak transforms have only one zero in their fundamental domain of quasi-periodicity. Our proof is based on the variation-diminishing property of shifts of exponential B-splines. F…
▽ More
We study totally positive (TP) functions of finite type and exponential B-splines as window functions for Gabor frames. We establish the connection of the Zak transform of these two classes of functions and prove that the Zak transforms have only one zero in their fundamental domain of quasi-periodicity. Our proof is based on the variation-diminishing property of shifts of exponential B-splines. For the exponential B-spline B_m of order m, we determine a large set of lattice parameters a,b>0 such that the Gabor family of time-frequency shifts is a frame for L^2(R). By the connection of its Zak transform to the Zak transform of TP functions of finite type, our result provides an alternative proof that TP functions of finite type provide Gabor frames for all lattice parameters with ab<1. For even two-sided exponentials and the related exponential B-spline of order 2, we find lower frame-bounds A, which show the asymptotically linear decay A (1-ab) as the density ab of the time-frequency lattice tends to the critical density ab=1.
△ Less
Submitted 28 November, 2013;
originally announced November 2013.
-
Discretized Gabor Frames of Totally Positive Functions
Authors:
Severin Bannert,
Karlheinz Gröchenig,
Joachim Stöckler
Abstract:
In this paper a large class of universal windows for Gabor frames (Weyl-Heisenberg frames) is constructed. These windows have the fundamental property that every overcritical rectangular lattice generates a Gabor frame. Likewise, every undercritical rectangular lattice generates a Riesz sequence.
In this paper a large class of universal windows for Gabor frames (Weyl-Heisenberg frames) is constructed. These windows have the fundamental property that every overcritical rectangular lattice generates a Gabor frame. Likewise, every undercritical rectangular lattice generates a Riesz sequence.
△ Less
Submitted 13 August, 2013;
originally announced August 2013.
-
A real algebra perspective on multivariate tight wavelet frames
Authors:
Maria Charina,
Mihai Putinar,
Claus Scheiderer,
Joachim Stoeckler
Abstract:
Recent results from real algebraic geometry and the theory of polynomial optimization are related in a new framework to the existence question of multivariate tight wavelet frames whose generators have at least one vanishing moment. Namely, several equivalent formulations of the so-called Unitary Extension Principle by Ron and Shen are interpreted in terms of hermitian sums of squares of certain n…
▽ More
Recent results from real algebraic geometry and the theory of polynomial optimization are related in a new framework to the existence question of multivariate tight wavelet frames whose generators have at least one vanishing moment. Namely, several equivalent formulations of the so-called Unitary Extension Principle by Ron and Shen are interpreted in terms of hermitian sums of squares of certain nonnegative trigonometric polynomials and in terms of semi-definite programming. The latter together with the recent results in algebraic geometry and semi-definite programming allow us to answer affirmatively the long standing open question of the existence of such tight wavelet frames in dimension $d=2$; we also provide numerically efficient methods for checking their existence and actual construction in any dimension. We exhibit a class of counterexamples in dimension $d=3$ showing that, in general, the UEP property is not sufficient for the existence of tight wavelet frames. On the other hand we provide stronger sufficient conditions for the existence of tight wavelet frames in dimension $d > 3$ and illustrate our results by several examples.
△ Less
Submitted 9 July, 2012; v1 submitted 16 February, 2012;
originally announced February 2012.
-
Gabor Frames and Totally Positive Functions
Authors:
Karlheinz Gröchenig,
Joachim Stöckler
Abstract:
Let $g$ be a totally positive function of finite type. Then the Gabor set $\{e^{2πi βl t} g(t-αk), k,l \in Z \}$ is a frame for $L^2(R)$, if and only if $αβ<1$. This result is a first positive contribution to a conjecture of I.\ Daubechies from 1990. So far the complete characterization of lattice parameters $α, β$ that generate a frame has been known for only six window functions $g$. Our main re…
▽ More
Let $g$ be a totally positive function of finite type. Then the Gabor set $\{e^{2πi βl t} g(t-αk), k,l \in Z \}$ is a frame for $L^2(R)$, if and only if $αβ<1$. This result is a first positive contribution to a conjecture of I.\ Daubechies from 1990. So far the complete characterization of lattice parameters $α, β$ that generate a frame has been known for only six window functions $g$. Our main result now provides an uncountable class of functions. As a byproduct of the proof method we derive new sampling theorems in shift-invariant spaces and obtain the correct Nyquist rate.
△ Less
Submitted 26 April, 2011;
originally announced April 2011.