ON QUASI-GREEDY BASES ASSOCIATED WITH UNITARY REPRESENTATIONS OF COUNTABLE GROUPS. Morten Nielsen Aalborg University, Denmark

Similar documents
Affine and Quasi-Affine Frames on Positive Half Line

Convergence of greedy approximation I. General systems

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

Why was the Nobel prize winner D. Gabor wrong?

NOTES ON FRAMES. Damir Bakić University of Zagreb. June 6, 2017

RIESZ BASES AND UNCONDITIONAL BASES

Shift Invariant Spaces and Shift Generated Dual Frames for Local Fields

BAND-LIMITED REFINABLE FUNCTIONS FOR WAVELETS AND FRAMELETS

arxiv: v1 [math.fa] 17 May 2018

Atomic decompositions of square-integrable functions

Decomposition of Riesz frames and wavelets into a finite union of linearly independent sets

Linear Independence of Finite Gabor Systems

FRAME DUALITY PROPERTIES FOR PROJECTIVE UNITARY REPRESENTATIONS

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE

WAVELET EXPANSIONS OF DISTRIBUTIONS

Journal of Mathematical Analysis and Applications. Properties of oblique dual frames in shift-invariant systems

Topics in Harmonic Analysis Lecture 1: The Fourier transform

Analysis Preliminary Exam Workshop: Hilbert Spaces

Tiling by lattices for locally compact abelian groups

Real Analysis Notes. Thomas Goller

Biorthogonal Spline Type Wavelets

Problem Set 6: Solutions Math 201A: Fall a n x n,

FUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES. Yılmaz Yılmaz

Approximately dual frames in Hilbert spaces and applications to Gabor frames

Wavelets and modular inequalities in variable L p spaces

Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP

MRA Frame Wavelets with Certain Regularities Associated with the Refinable Generators of Shift Invariant Spaces

MATH MEASURE THEORY AND FOURIER ANALYSIS. Contents

Riesz wavelets and generalized multiresolution analyses

Greedy bases are best for m-term approximation

CHAPTER VIII HILBERT SPACES

CONDITIONAL QUASI-GREEDY BASES IN HILBERT AND BANACH SPACES

Introduction to Bases in Banach Spaces

MATHS 730 FC Lecture Notes March 5, Introduction

4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan

Semi-orthogonal wavelet frames on positive half-line using the Walsh Fourier transform

1.5 Approximate Identities

be the set of complex valued 2π-periodic functions f on R such that

The Theory of Wavelets with Composite Dilations

Solutions: Problem Set 4 Math 201B, Winter 2007

Infinite-dimensional Vector Spaces and Sequences

REAL AND COMPLEX ANALYSIS

Operators Commuting with a Discrete Subgroup of Translations

On Riesz-Fischer sequences and lower frame bounds

Recent structure theorems of orders and results in abstract harmonic analysis

Uniform convergence of N-dimensional Walsh Fourier series

Topics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem

COMPACTLY SUPPORTED ORTHONORMAL COMPLEX WAVELETS WITH DILATION 4 AND SYMMETRY

Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm

Approximately dual frame pairs in Hilbert spaces and applications to Gabor frames

Greedy Algorithm for General Biorthogonal Systems

Size properties of wavelet packets generated using finite filters

INVARIANCE OF A SHIFT-INVARIANT SPACE

Recall that any inner product space V has an associated norm defined by

A Banach space with a symmetric basis which is of weak cotype 2 but not of cotype 2

FRAMES AND TIME-FREQUENCY ANALYSIS

Frame expansions in separable Banach spaces

Gabor Frames. Karlheinz Gröchenig. Faculty of Mathematics, University of Vienna.

2 Infinite products and existence of compactly supported φ

DORIN ERVIN DUTKAY AND PALLE JORGENSEN. (Communicated by )

Generalized shift-invariant systems and frames for subspaces

Chapter 8 Integral Operators

Ring-like structures of frequency domains of wavelets

IMPORTANCE OF ZAK TRANSFORMS FOR HARMONIC ANALYSIS

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis

I teach myself... Hilbert spaces

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space

Frames and operator representations of frames

UNIVERSITY OF WISCONSIN-MADISON CENTER FOR THE MATHEMATICAL SCIENCES. Tight compactly supported wavelet frames of arbitrarily high smoothness

Validity of WH-Frame Bound Conditions Depends on Lattice Parameters

CONDITIONALITY CONSTANTS OF QUASI-GREEDY BASES IN SUPER-REFLEXIVE BANACH SPACES

Fourier Series. ,..., e ixn ). Conversely, each 2π-periodic function φ : R n C induces a unique φ : T n C for which φ(e ix 1

Kernel Method: Data Analysis with Positive Definite Kernels

IN AN ALGEBRA OF OPERATORS

Positive operator valued measures covariant with respect to an irreducible representation

ON THE CONVERGENCE OF A WEAK GREEDY ALGORITHM FOR THE MULTIVARIATE HAAR BASIS

DECOMPOSITIONS OF RATIONAL GABOR REPRESENTATIONS

ON SAMPLING RELATED PROPERTIES OF B-SPLINE RIESZ SEQUENCES

ON TRANSLATION INVARIANT MULTIRESOLUTION ANALYSIS. Angel San Antolín University of Alicante, Spain

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

Chapter 7: Bounded Operators in Hilbert Spaces

FUNCTIONAL ANALYSIS-NORMED SPACE

Outline of Fourier Series: Math 201B

BANACH FRAMES GENERATED BY COMPACT OPERATORS ASSOCIATED WITH A BOUNDARY VALUE PROBLEM

Hilbert Spaces. Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space.

REPRESENTABLE BANACH SPACES AND UNIFORMLY GÂTEAUX-SMOOTH NORMS. Julien Frontisi

Frames and Single Wavelets for Unitary Groups

Spectral theory for compact operators on Banach spaces

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

MATH 113 SPRING 2015

A DECOMPOSITION THEOREM FOR FRAMES AND THE FEICHTINGER CONJECTURE

Frame Diagonalization of Matrices

Operators with Closed Range, Pseudo-Inverses, and Perturbation of Frames for a Subspace

Integral Operators, Pseudodifferential Operators, and Gabor Frames

Reducing subspaces. Rowan Killip 1 and Christian Remling 2 January 16, (to appear in J. Funct. Anal.)

1 Orthonormal sets in Hilbert space

Greediness of higher rank Haar wavelet bases in L p w(r) spaces

Czechoslovak Mathematical Journal

TD 1: Hilbert Spaces and Applications

Transcription:

GLASNIK MATEMATIČKI Vol. 50(70)(2015), 193 205 ON QUASI-GREEDY BASES ASSOCIATED WITH UNITARY REPRESENTATIONS OF COUNTABLE GROUPS Morten Nielsen Aalborg University, Denmark Abstract. We consider the natural generating system for a cyclic subspace of a Hilbert space generated by a dual integrable unitary representation of a countable abelian group. We prove, under mild hypothesis, that whenever the generating system is a quasi-greedy basis it must also be an unconditional Riesz basis. A number of applications to Gabor systems and to general Vilenkin systems are considered. In particular, we show that any Gabor Schauder basis that also forms a quasi-greedy system in L 2 is in fact a Riesz basis, and therefore satisfies the classical Balian-Low theorem. 1. Introduction Let G be a discrete countable abelian group, and suppose that g T g is a unitary representation of G on a Hilbert space H. For fixed ψ H, we are interested in properties of the system Q := {T g ψ : g G} in the cyclic subspace (1.1) S := ψ = Span{T g ψ : g G} H. Cyclic subspaces are important in many areas of both pure and applied mathematics. One example is in harmonic analysis where systems of the type Q form the foundation for generating wavelet and Gabor systems, see [1, 5]. For representation systems such as wavelet and Gabor systems, the stability and approximation properties of Q are important, see e.g. [2,6,12,13]. In this paper we study approximation properties of systems Q given that Q has 2010 Mathematics Subject Classification. 42C10, 41A45. Key words and phrases. Quasi-greedy bases, dual integrable representation, Gabor systems, integer translates, Vilenkin system. The author is supported by the Danish Council for Independent Research. Natural Sciences, Grant 12-124675, Mathematical and Statistical Analysis of Spatial Data. 193

194 M. NIELSEN some stability properties. More precisely, we suppose that Q, with some fixed ordering, forms a Schauder basis for S with Q having the additional property that decreasing rearrangements of expansions relative to Q are norm convergent. Put another way, we assume that the approximants obtained from Q by thresholding an expansion in the system converge. Thresholding is a very natural way to build approximants, and for Riesz bases it is known to be (up to a constant) the optimal way to build m-terms approximants. Systems for which decreasing rearrangements are norm convergent are known as quasi-greedy bases. Every unconditional basis is also a quasi-greedy basis, but it is known that conditional quasi-greedy bases exist not only in Banach spaces but also in infinite dimensional Hilbert spaces, see [10] and [17]. However, our main result shows that under mild hypothesis there are no conditional quasi-greedy bases of the type Q generated by a unitary representation of a countable group. Put another way, if thresholding approximation is convergent, then Q is an unconditional Riesz basis for S. One special case related to this setup has been studied earlier. For a cyclic subspace of L 2 (R d ) generated by integer translates of a single function, it was shows in [13] that no conditional quasi-greedy bases of integer translates exists. However, the abstract approach in the present paper will show that the result in [13] is just one instance of a more general theory that applies to many other popular systems in harmonic analysis such as Gabor and Vilenkin systems. Our general result relies on the notion of a dual integrable representation introduced in [9]. The structure of the paper is as follows. In Section 2 we review some needed background material on quasi-greedy systems in a Hilbert space and on dual integrable representations of locally compact groups. Section 3 contains our main result, Theorem 3.3. Finally, Section 4 and Section 5 contain examples related to Gabor and Vilenkin systems, respectively. 2. Quasi-greedy systems in a Hilbert space The present section reviews some needed background material on quasigreedy systems and on dual integrable representations. The dual integrable representations provide a suitable abstract framework for our study in Section 3 of quasi-greedy systems in cyclic subspaces of the type given by Eq. (1.1). 2.1. Quasi-greedy systems in a Hilbert space. AnorderedfamilyB = {x n : n N} of vectors in a Hilbert space H is called a Schauder basis for H if there exists a unique sequence of continuous linear functionals {α n } n N on H such that for every x H, lim α n (x)x n = x N n=1

QUASI-GREEDY BASES 195 in the norm topology of H. By the Riesz representation theorem there exists a unique vector y n such that α n (x) = x,y n. It follows that (2.1) x m,y n = δ m,n, m,n N. and that there exists a smallest constant C = C(B) 1 such that, for every n N, (2.2) 1 x n y n C. A pair of sequences ({u n } n N,{v n } n N ) in H is a bi-orthogonal system if u m,v n = δ m,n, m,n N. We say that {v n } n N is a dual sequence to {u n } n N, and vice versa. A dual sequence is not necessarily uniquely defined. In fact, it is unique if and only if the original sequence is complete in H (i.e., if the span of the original sequence is dense in H). A complete sequence {x n : n N} with dual sequence {y n } is a Schauder basis for H if and only if the partial sum operators S N (x) = N n=1 x,y n x n are uniformly bounded on H. Eq. (2.1) shows that every Schauder basis {x n : n N} for H has an associated bi-orthogonal system ({x n },{y n }) with a uniquely determined dual sequence. Furthermore, the dual sequence {y n } is also a Schauder basis for H. We now fix a biorthogonal system (x n,x n) n N with {x n } complete in H. We assume that the system is quasi-normalized, i.e., inf n x n H > 0 and sup n x n H <, see (2.2). For each x H and m N, we define G m (x) := n Ax n (x)x n, where A is a set of cardinality m satisfying x n (x) x k (x) whenever n A and k A. Whenever A is not uniquely defined, we arbitrarily pick any such set. The definition of G m leads directly to the definition of a quasi-greedy system, see [10]. Definition 2.1. A quasi-normalized biorthogonal system (x n,x n ) n N H H, with span n (x n ) dense in H, is called a quasi-greedy system if there exists a constant Q such that (2.3) G m (x) H Q x H, x H. If the system is also a Schauder basis for H, we will use the term quasi-greedy basis. Remark 2.2. It wasprovedbywojtaszczykin [17]that asystem isquasigreedy if and only if for each x H, the sequence G m (x) converges to x in norm.

196 M. NIELSEN 2.2. Dual integrable representations of LCA groups. We now introduce a suitable setting to study the quasi-greedy property in cyclic subspaces of the type given by Eq. (1.1). We will use the terminology and notation presented in [9]. Suppose that G is a locally compact abelian (LCA) group. We shall use additive notation for G. A character of G is a continuous map χ : G {z C : z = 1} for which χ(g 1 +g 2 ) = χ(g 1 ) χ(g 2 ), g 1,g 2 G. The character group of G, denoted by, is the multiplicative group of all characters of G. A representation of a LCA group G on a Hilbert space H is a strongly continuous map g T g from G into L(H,H) of bounded linear operators on H with bounded inverses such that T g T h = T g+h for all g,h G. The representation is called unitary if all the operators T g are unitary, i.e., T g φ,t g ψ = φ,ψ for all φ,ψ H and g G. Fix a Haar measure dχ on, and let g T g be a unitary representation of G on a Hilbert space H. This representation is called dual integrable if there exists a function such that (2.4) φ,t g ψ = [, ] : H H L 1 (,dχ) [φ, ψ]χ(g) dχ. An abstract way to interpret dual integrability, which was pointed out in [9], is through Stone s theorem, see e.g. [3, Theorem 4.44]. According to Stone s theorem there is a regular measure P on with values in the set of self-adjoint projections on H such that T g = χ(g)dp(χ), g G. For φ,ψ H, the function µ φ,ψ (S) := P(S)φ,P(S)ψ defines a complex valued measure on such that φ,t g ψ = χ(g)dµ φ,ψ (χ). Comparing this formula to (2.4), we see that dual integrability happens exactly when dµ φ,ψ is absolutely continuous wrt. the Haar measure dχ in which case [φ,ψ] is the Radon-Nikodym derivative of dµ φ,ψ. It follows from [9, Corollary 2.4] that [, ] is always a sesqui-linear form and a Hermitian symmetric map. In particular, for a.e. χ, [T g φ,ψ](χ) = χ(g)[φ,ψ](χ) = [φ,t g ψ](χ).

QUASI-GREEDY BASES 197 For ψ H\{0} one defines Ω ψ = {χ : [ψ,ψ](χ) > 0}. Consider the cyclic space ψ = {T g ψ : g G} H. It is proved in [9] that S ψ defined by (2.5) S ψ (φ) := χ Ωψ [φ,ψ] [ψ,ψ] is a one-to-one isometry from ψ onto the weighted space L 2( Ω ψ,[ψ,ψ](χ)dχ ). 2.3. Countable abelian groups. We now focus on the restricted case where G is a countable abelian group with the discrete topology. We assume that G is ordered according to G = {g n } n=1, and we let g T g be a dual integrable representation of G on a Hilbert space H. For fixed ψ H, we consider the system Q := {T gn ψ : n N} in the cyclic subspace S := ψ = {T gn ψ : n N} H. We now suppose Q forms a Schauder basis for S. Then Q has a uniquely determined bi-orthogonal system and it follows from [9, Proposition 6.1] that [ψ,ψ](χ) > 0 for a.e. χ. However, the Schauder basis property is not characterized by positivity of [ψ, ψ](χ) > 0, see [14]. We will discuss the special setup where we have either a Gabor system or a shift invariant system in Section 4. Now we use the isometry S ψ given by (2.5) to translate properties of the system Q to properties of characters. Lemma 2.3. Suppose G = {g n } n N is a countable abelian group with g T g a dual integrable representation of G on a Hilbert space H. Let S ψ be defined by (2.5). For any finite scalar sequence {a n } N n=1, we have ( N ) S ψ a n T gn ψ (χ) = a n χ(g n ). n=1 Proof. According to (2.4), we have n=1 S ψ (T gk ψ)(χ) = χ(g k ) [ψ,ψ] [ψ,ψ] = χ(g k), and the result now follows from sesqui-linearity of the bracket [, ]. Since S ψ is a one-to-one isometry it follows immediately that Q is a Schauder basis for S if and only if Q := {χ(g n )} n=1 is a Schauder basis for L 2(,[ψ,ψ](χ)dχ ). Moreover, Q is quasi-greedy in S if and only if Q is quasi-greedy in L 2(,[ψ,ψ](χ)dχ ).

198 M. NIELSEN The Dirichlet kernel associated with Q is given by D N (χ) = χ(g n ), and it follows that the partial sum operator S N associated to Q is given by S N (f)(α) = D N (α χ)f(χ)dχ. n=1 The following property will be essential to prove Theorem 3.3. Definition 2.4. With the notation considered in Section 2.3, we say that Q has the Fejérpropertyprovided that the kernels {F N (χ):= D N (χ) 2 /N} N N satisfy the following condition. There exists an increasing sequence {N j } j=1 N such that for every n N and for a.e. α, (2.6) lim F Nj (α χ)χ(g n )dχ = α(g n ). j Notice that since F N is non-negative with F Ndχ = 1, and the characters {χ(g n )} n form a complete system in L (,dχ), the Fejér property 1 implies that {F Nj } j is an approximate identity for L 1 (,dχ). 3. Properties of quasi-greedy systems for cyclic subspaces This section contains our main result, Theorem 3.3. The main idea behind Theorem 3.3 is to obtain pointwise information on for the function [ψ,ψ] by probing the function by a suitable approximation of the identity. This idea was introduced in this context in [13]. For another application of this approach see [8, Theorem 4.7]. We first consider some general properties of quasi-greedy system that will be used later to obtain information about the function [ψ, ψ] associated with the cyclic subspace S given by (1.1). Quasigreedy bases are known to be unconditional relative to sign-changes in the following sense. Lemma 3.1 ([17]). Suppose {e k } k N is a quasi-greedy system in a Hilbert space H. Then there exist constants 0 < c 1 c 2 < such that for every choice of signs ǫ k = ±1 and any finite subset A N we have (3.1) c 1 k H k Ae ǫ k e H k c 2 e H k, k A k A where c 1 and c 2 depend only on the quasi-greedy constant for the system. For our purpose, Lemma 3.1 is not quite enough. When we consider translates of the Dirichlet kernel, we need to be able to handle arbitrary unimodular complex coefficients and not only ±1 as covered by Lemma 3.1. For that purpose, we consider the following proposition, which will be essential for the proof of Theorem 3.3.

QUASI-GREEDY BASES 199 Proposition 3.2. Suppose that {e k } k N is a quasi-greedy system in a Hilbert space H. Then there exist constants 0 < c 1 c 2 < such that for every finite unimodular sequence {α k } N C, we have H (3.2) c 1 N 1/2 α k e k c 2 N 1/2. by Proof. For technical reasons we define a new scalar sequence {β k } k N β k = { α k 1 k N 1, k > N. Now observe that {β k e k } k N is also a quasi-greedy system in H. By inspection, we see that the greedy approximation operator G m for {β k e k )} k N is identical to the approximation operator G m for {e k } k N. This follows from the trivial observation that if f k is the dual element to e k, then β k f k is the dual element to β k e k, since β k = 1. Next we recall that the Hilbert space H has Rademacher type and cotype 2, see [16, III.A]. Hence, for any sequence {f l } l N H, we have the uniform estimate 1 n 2 n (3.3) r l (t)f l dt f l 2 H, 0 l=1 H where{r l } l N isthe sequenceofrademacherfunctions on[0,1]. In particular, 1 2 2 (3.4) r k (t)[β k e k ] dt = Avg ǫk =±1 ǫ k [β k e k ]. 0 H We use (3.4) and (3.3), together with Lemma 3.1 applied to the quasi-greedy system {β k e k } k N, to obtain 2 2 α k e k Avg ǫk =±1 ǫ k [β k e k ] (3.5) H β k e k 2 H N. l=1 H H With Lemma 3.2 in hand we can now turn to our main result. Theorem 3.3. Let G be a countable abelian group G with an ordering given by G = {g n } n=1. Let g n T gn be a dual integrable unitary representation on a Hilbert space H. Let ψ H, and suppose that Q = {T gn ψ : n N}

200 M. NIELSEN is a quasi-greedy system in the cyclic space ψ. Then Q is in fact a Riesz basis for ψ, i.e., there exist constants 0 < c C < such that (3.6) c {c n } l2 c n T gn ψ C {c n } l2, H n N for every finite sequence {c n } n N. Proof. The idea is to consider suitably translated Dirichlet kernels D N (χ) = N n=1 χ(g n), χ, since they form polynomials with unimodular coefficients. In fact for fixed α, χ D N (α χ) = α(g n )χ(g n ), is a polynomial with unimodular coefficients since α(g k ) = 1 for every g k G. Now, according to by Proposition 3.2, S N := α(g n )T gn ψ n=1 satisfies the norm estimate S N 2 H N uniformly in N and α. From the linearity and sesqui-linearity of the bracket, n=1 [S N,S N ](χ) = D N (α χ) 2 [ψ,ψ](χ). The system {T gn ψ : n N} is clearly complete in ψ since it forms a quasigreedy Schauder basis, and one easily checks that Ω ψ = {χ : [ψ,ψ](χ) > 0} =. Hence, according to (2.5), which implies that, N S N 2 = S N H = S ψ (S N ) L2(,[ψ,ψ]dχ), D N (α χ) 2 [ψ,ψ](χ)dχ, uniformly in N and α. Then clearly, D N (α χ) 2 (3.7) 1 [ψ,ψ](χ)dχ, N N. N By the Fejér property (2.6), we have that for a.e. α, D Nj (α χ) 2 (3.8) [ψ,ψ](χ)dχ [ψ,ψ](α), as j, N j for some subsequence {N j } j N. It follows at once from (3.7), and the pointwise convergence (3.8), that there exist c,c > 0 such that (3.9) c [ψ,ψ](α) C, a.e. α.

QUASI-GREEDY BASES 201 It is known that (3.9) implies that {T gn ψ : n N} satisfies (3.6) and the system therefore forms a Riesz basis for ψ, see [9, Proposition 5.2]. 4. Examples: the trigonometric system We first consider two examples related to the trigonometric system in L 2 (T d ). The trigonometric system forms the dual group of continuous characters for the group of integers Z d. The trigonometric system forms an unconditional basis for L 2 (T d ), but when a weight is added the situation becomes more complicated. For weighted spaces, the specific ordering of the system may become important. We will focus on the following class of orderings of the trigonometric system. For a N d we define the corresponding rectangle by R a := { a 1,...,a 1 } { a d,...,a d } Z d. We say that an ordering σ : N Z d is adapted to rectangles if there exist an increasing sequence {N j } j=1 N, and associated rectangles R a 1 R a2, such that Z d = j R a j and σ({1,2,...,n j }) = R aj, j = 1,2,... It is not difficult to verify that a trigonometric system {e 2πik ξ } k Z d with an ordering σ : N Z d adapted to rectangles satisfies the Fejér condition (2.6). In fact, the associated kernels are separable F Nj (x) = 1 N j 2 e 2πiσ(j) x = 1 d F aj,k (x k ), N j N j j=1 with F n the usual univariate Fejér kernel. Specific examples of orderings σ : N Z d adapted to rectangles can be found in [11], see also [12]. The Muckenhoupt A 2 condition for rectangles plays a crucial role when it come to stability of the trigonometric system in weighted L 2 -spaces. We say that a function w : T d (0, ) is an A 2,R (T d ) weight provided that there exists C < such that for any rectangle R T d, (4.1) 1 R R w(x)dx 1 R R 1 dx C. w(x) 4.1. Integer translates. The map Z d k T k given by (4.2) T k f(x) := f(x+k)

202 M. NIELSEN is a unitary representation of the integer group (Z d,+) on L 2 (R d ). The representation is dual integrable, which follows from the observation that φ,t k ψ L 2 (R d ) = φ(x)ψ(x+k)dx R d = ˆφ(ξ)ˆψ(ξ)e 2πik ξ dξ R d { } = ˆφ(ξ +l)ˆψ(ξ +l) e 2πik ξ dξ, [0,1] d l Z d so one may choose [φ,ψ](ξ) := ˆφ(ξ +l)ˆψ(ξ +l), φ,ψ L 2 (R d ). l Z d Now let ψ L 2 (R d ). It is known that a sequence of partial sum operators for the trigonometric system T := {e 2πik ξ } k Z d adapted to rectangles is uniformly bounded on L 2 (T d,[ψ,ψ]) if [ψ,ψ] satisfies the product A 2,R -condition (4.1). With a suitable interpretation a converse statement also holds true, see [11,12] for details. It follows that for a class of orderings of Z d adapted to rectangles, [ψ,ψ] A 2,R is sufficient for the trigonometric system to form a Schauder basis for L 2 (T d,[ψ,ψ]). If in addition, T forms a quasi-greedy basis for L 2 (T d,[ψ,ψ]), or equivalently that S := {ψ( k)} k Z d is a quasi-greedysystem in ψ, then it follows from Theorem 3.3 that T (resp. S) in fact forms a Riesz basis in L 2 (T d,[ψ,ψ]) (resp. in ψ ). This is exactly the main result obtained in [13]. 4.2. Gabor systems. The Gabor representation of the LCA group (Z d Z d,+) on L 2 (R d ) is given by Z d Z d (m,n) T m M n f(x) = f(x+m)e 2πin x, with T k given by (4.2) and M l is the modulation operator M l f(x) = f(x)e 2πil x. The Gabor representation is dual integrable through the Zak transform. The Zaktransformis anisometryz : L 2 (R d ) L 2 ([0,1] d [0,1] d ) given by Zf(x,ξ) = k Z d f(x+k)e 2πik ξ, f L 2 (R d ). One easily checks that Z(M l T k ψ)(x,ξ) = e 2πil x e 2πik ξ Zψ(x,ξ), and it follows that for φ,ψ L 2 (R d ), φ,m l T k ψ L 2 (R d ) = Zφ(x,ξ)Zψ(x,ξ)e 2πil x e 2πik ξ dxdξ. [0,1] d [0,1] d

QUASI-GREEDY BASES 203 Consequently, we choose [φ,ψ](x,ξ) := Zφ(x,ξ)Zψ(x,ξ), φ,ψ L 2 (R d ). Fix ψ L 2 (R d ). It was demonstrated for d = 1 in [7], and for d > 1 in [11], that Zψ 2 (x,ξ) A 2,R (T d T d ) is sufficient for the associated Gabor system G(ψ) := {M l T k ψ} l,k Z d with a suitable ordering adapted to rectangles to form a Schauder basis for L 2 (R d ). We can now apply Theorem 3.3 to obtain the following result. Corollary 4.1. Let ψ L 2 (R d ). Suppose that the associated Gabor system G(ψ) forms a quasi-greedy basis for L 2 (R d ) with an ordering adapted to rectangles. Then G(ψ) forms a Riesz basis for L 2 (R d ). An immediate consequence of Corollary 4.1 is that whenever G(ψ) forms a quasi-greedy basis for L 2 (R d ), with an ordering adapted to rectangles, then ψ L 2 (R d ) must satisfy the Balian-Low theorem, namely (4.3) x 2 ψ(x) 2 dx ξ 2 ˆψ(ξ) 2 dξ = +, R d R d due to the fact that G(ψ) is a Riesz basis. It is also interesting to note that there exists a conditional Gabor Schauder basisforl 2 (R d ) forwhich thegeneratordoesnotsatisfythe strongformofthe Balian-Low theorem (4.3), see [7]. According to Corollary 4.1, such systems cannot form a quasi-greedy basis for L 2 (R d ). 5. Example: Vilenkin groups We now leave the trigonometric system setup and consider an example related to another well known system of group characters, namely the Walsh system. Let m = (m k ) k N be a sequence of positive integers, and let Z mk be the m k -th discrete cyclic group with Haar measure defined by assigning mass 1/m k to each singleton. The associated Vilenkin group is the product group m := Z mk. For each n N, and x = (x k ) k N m, we set ( ) 2πixn ρ n (x) := exp. Clearly,ρ n isacharacteronm,anditcaninfactbeshownthatanycharacter of m can be expressed in terms of the ρ ns. Put M 0 := 1 and for k N we m n

204 M. NIELSEN define inductively M k := m k 1 M k 1. Then for n N we have a unique finite expansion (5.1) n = n k M k, k=0 where 0 n k < m k for k = 0,1,2,... Define ψ 0 := 1, and for n N given by (5.1), we let (5.2) ψ n := k=0 ρ n k k. The system G m := {ψ k } k=0 is called a Vilenkin system and forms a complete orthonormal set of characters for m, see [15]. The well-known Walsh system corresponds to the special case m k := 2, k N. The associated Dirichlet kernel are given by D n := n 1 k=0 ψ k. The exact pointwise values of D Mn are known, see [15, Appendix 0.7], and it can be deduced that G m satisfies the Fejér property for the subsequence with indices {M n } n. The question about pointwise convergence a.e. relative to a Vilenkin system (i.e., not only for a subsequence) is more delicate, especially in the so-called unbounded case where sup k m k =, see [4]. The modular representation of N 0 := N {0} on L 2 (m,dχ) is given by modulation operators (5.3) N 0 n M n f := ψ n f, f L 2 (m,dχ). The modular representation is dual integrable with [φ,ψ] M := φψ, since the product of any two L 2 (m,dχ)-functions is in L 1 (m,dχ). Moreover, φ,m n ψ = [φ,ψ] M ψ n (χ)dχ, n N 0. We now apply Theorem 3.3 to obtain the following result, which concludes the paper. Corollary 5.1. Let m = (m k ) k N be a sequence of positive integers, and let m be the associated Vilenkin group. Take ψ L 2 (m,dχ), and suppose that the associated Vilenkin system G m forms a quasi-greedy basis for ψ generated by the representation (5.3) with the ordering defined by (5.2). Then G m forms a Riesz basis for ψ. In particular, if G m forms a quasi-greedy basis for L 2 (m, ψ 2 dχ) then G m is a Riesz basis for L 2 (m, ψ 2 dχ) and there exists c > 1 such that c 1 ψ(x) c, a.e. x m.

QUASI-GREEDY BASES 205 References [1] I. Daubechies, Ten lectures on wavelets, SIAM, Philadelphia, 1992. [2] C. de Boor, R. A. DeVore and A. Ron, Approximation orders of FSI spaces in L 2 (R d ), Constr. Approx. 14 (1998), 631 652. [3] G. B. Folland, A course in abstract harmonic analysis, CRC Press, Boca Raton, 1995. [4] G. Gát, Some convergence and divergence results with respect to summation of Fourier series on one and two-dimensional unbounded Vilenkin groups, Ann. Univ. Sci. Budapest. Sect. Comput. 33 (2010), 157 173. [5] K. Gröchenig, Foundations of time-frequency analysis, Birkhäuser Boston Inc., Boston, 2001. [6] K. Gröchenig and S. Samarah, Nonlinear approximation with local Fourier bases, Constr. Approx. 16 (2000), 317 331. [7] C. Heil and A. M. Powell, Gabor Schauder bases and the Balian-Low theorem, J. Math. Phys. 47 (2006), 113506, 21 pp. [8] E. Hernández, M. Nielsen, H. Šikić and F. Soria, Democratic systems of translates, J. Approx. Theory 171 (2013), 105 127. [9] E. Hernández, H. Šikić, G. Weiss and E. Wilson, Cyclic subspaces for unitary representations of LCA groups; generalized Zak transform, Colloq. Math. 118 (2010), 313 332. [10] S. V. Konyagin and V. N. Temlyakov, A remark on greedy approximation in Banach spaces, East J. Approx. 5 (1999), 365 379. [11] K. Moen, Multiparameter weights with connections to Schauder bases, J. Math. Anal. Appl. 371 (2010), 266 281. [12] M. Nielsen. On stability of finitely generated shift-invariant systems, J. Fourier Anal. Appl. 16 (2010), 901 920. [13] M. Nielsen and H. Šikić, Quasi-greedy systems of integer translates, J. Approx. Theory 155 (2008), 43 51. [14] M. Nielsen and H. Šikić, Schauder bases of integer translates, Appl. Comput. Harmon. Anal. 23 (2007), 259 262. [15] F.Schipp, W. R.Wade and P.Simon, Walsh series.an introduction to dyadic harmonic analysis, With the collaboration of J. Pál, Adam Hilger Ltd., Bristol, 1990. [16] P. Wojtaszczyk, Banach spaces for analysts, Cambridge University Press, Cambridge, 1991. [17] P. Wojtaszczyk, Greedy algorithm for general biorthogonal systems, J. Approx. Theory 107 (2000), 293 314. M. Nielsen Department of Mathematical Sciences Aalborg University DK-9220 Aalborg Denmark E-mail: mnielsen@math.aau.dk Received: 20.6.2014.