Some simple Haar-type wavelets in higher dimensions

An orthonormal wavelet system in ℝ^d, d ∈ ℕ, is a countable collection of functions {ψ _j,k ^ℓ }, j ∈ ℤ, k ∈ ℤ^d, ℓ = 1,..., L, of the form that is an orthonormal basis for L² (ℝ^d), where a ∈ GL_d (ℝ) is an expanding matrix. The first such system to be discovered (almost 100 years ago) is the Haar system for which L = d = 1, ψ¹(x) = ψ(x) = κ[0,1/2)^(x) − κ_[l/2,1) ^(x), a = 2. It is a natural problem to extend these systems to higher dimensions. A simple solution is found by taking appropriate products Φ(x₁, x₂, ..., x_d) = φ₁ (x₁)φ₂(x₂) ... φ_d(x_d) of functions of one variable. The obtained wavelet system is not always convenient for applications. It is desirable to find “nonseparable” examples. One encounters certain difficulties, however, when one tries to construct such MRA wavelet systems. For example, if a = ( _1-1 ^{1 1} ) is the quincunx dilation matrix, it is well-known (see, e.g., [5]) that one can construct nonseparable Haar-type scaling functions which are characteristic functions of rather complicated fractal-like compact sets. In this work we shall construct considerably simpler Haar-type wavelets if we use the ideas arising from “composite dilation” wavelets. These were developed in [7] and involve dilations by matrices that are products of the form a^jb, j ∈ ℤ, where a ∈ GL_d(ℝ) has some “expanding” property and b belongs to a group of matrices in GL_d(ℝ) having |det b| = 1.     

Density of weighted wavelet frames

If ψ ∈ L²(R), Λ is a discrete subset of the affine groupA =R ⁺ ×R, and w: Λ →R ⁺ is a weight function, then the weighted wavelet system generated by ψ, Λ, and w is . In this article we define lower and upper weighted densities D _w ⁻ (Λ) and D _w ⁺ (Λ) of Λ with respect to the geometry of the affine group, and prove that there exist necessary conditions on a weighted wavelet system in order that it possesses frame bounds. Specifically, we prove that if W(ψ, Λ, w) possesses an upper frame bound, then the upper weighted density is finite. Furthermore, for the unweighted case w = 1, we prove that if W(ψ, Λ, 1) possesses a lower frame bound and D _w ⁺ (Λ⁻¹) < ∞, then the lower density is strictly positive. We apply these results to oversampled affine systems (which include the classical affine and the quasi-affine systems as special cases), to co-affine wavelet systems, and to systems consisting only of dilations, obtaining some new results relating density to the frame properties of these systems.     

The maximal (C, α, β) operator of two-parameter walsh-fourier series

The two-parameter dyadic martingale Hardy spacesH _p are introduced and it is proved that the maximal operator of the (C, α, β) means of a two-dimensional Walsh-Fourier series is bounded from H_p to L_p (1/(α+1), 1/(β+1)<p<∞) and is of weak type (H ₁ ^# , L₁), where the Hardy space H ₁ ^# is defined by the hybrid maximal function. As a consequence, we obtain that the (C, α, β) means of a function f∈H ₁ ^# converge a.e. to the function in question. Moreover, we prove that the (C, α, β) means are uniformly bounded on H_p whenever 1/(α+1), 1/(β+1)<p<∞. Thus in case f∈H_p, the (C, α, β) means converge to f in H_p norm. The same results are proved for the conjugate (C, α, β) means, too.     

Locally compact subgroups of the spectrum of the measure algebra II

The maximal ideal space Δ_G of the measure algebra M(G) of a locally compact abelian group G is a compact commutative semitopological semigroup. In this paper we show that cℓ Ĝ the closure of Ĝ, the dual of G, in Δ_G can contain maximal subgroups which are not locally compact. We have previously characterized the locally compact maximal subgroups of cℓ Ĝ as arising from locally compact topologies on G which are finer than the original topology. This research was supported in part by NSF contract number GP-19852.     

Construction of wavelet sets with certain self-similarity properties

A measurable set Q ⊂ R ⁿ is a wavelet set for an expansive matrix A if F ⁻¹ _(ΧQ) is an A-dilation wavelet. Dai, Larson, and Speegle [7] discovered the existence of wavelet sets in R _n associated with any real n ×n expansive matrix. In this work, we construct a class of compact wavelet sets which do not contain the origin and which are, up to a certain linear transformation, finite unions of integer translates of an integral selfaffine tile associated with the matrix B = A ^t. Some of these wavelet sets may have good potential for applications because of their tractable geometric shapes.     

A characterization of the higher dimensional groups associated with continuous wavelets

A subgroup D of GL (n, ℝ) is said to be admissible if the semidirect product of D and ℝ ⁿ , considered as a subgroup of the affine group on ℝ ⁿ , admits wavelets ψ ∈ L²(ℝ ⁿ ) satisfying a generalization of the Calderón reproducing, formula. This article provides a nearly complete characterization of the admissible subgroups D. More precisely, if D is admissible, then the stability subgroup D_x for the transpose action of D on ℝ ⁿ must be compact for a. e. x. ∈ ℝ ⁿ ; moreover, if Δ is the modular function of D, there must exist an a ∈ D such that |det a| ≠ Δ(a). Conversely, if the last condition holds and for a. e. x ∈ ℝ ⁿ there exists an ε > 0 for which the ε-stabilizer D _x ^ε is compact, then D is admissible. Numerous examples are given of both admissible and non-admissible groups.     

Orthogonality criteria for compactly supported refinable functions and refinable function vectors

A refinable function φ(x):ℝⁿ→ℝ or, more generally, a refinable function vector Φ(x)=[φ₁(x),...,φ_r(x)]^T is an L¹ solution of a system of (vector-valued) refinement equations involving expansion by a dilation matrix A, which is an expanding integer matrix. A refinable function vector is called orthogonal if {φ_j(x−α):α∈ℤⁿ, 1≤j≤r form an orthogonal set of functions in L²(ℝⁿ). Compactly supported orthogonal refinable functions and function vectors can be used to construct orthonormal wavelet and multiwavelet bases of L²(ℝⁿ). In this paper we give a comprehensive set of necessary and sufficient conditions for the orthogonality of compactly supported refinable functions and refinable function vectors.     

Distributivity conditions for lattices of dominions in quasivarieties of Abelian groups

Let ℳ be any quasivariety of Abelian groups, L_q(ℳ) be a subquasivariety lattice of ℳ, dom _G ^ℳ be the dominion of a subgroup H of a group G in ℳ, and G/dom _G ^ℳ (H) be a finitely generated group. It is known that the set L(G, H, ℳ) = {dom _G ^N (H)| N ∈ L_q(ℳ)} forms a lattice w.r.t. set-theoretic inclusion. We look at the structure of dom _G ^ℳ (H). It is proved that the lattice L(G,H,ℳ) is semidistributive and necessary and sufficient conditions are specified for its being distributive. __________ Translated from Algebra i Logika, Vol. 45, No. 4, pp. 484–499, July–August, 2006.     

Wavelet characterization of weighted spaces

We give a characterization of weighted Hardy spaces H ^p (w), valid for a rather large collection of wavelets, 0 <p ≤ 1,and weights w in the Muckenhoupt class A _∞ We improve the previously known results and adopt a systematic point of view based upon the theory of vector-valued Calderón-Zygmund operators. Some consequences of this characterization are also given, like the criterion for a wavelet to give an unconditional basis and a criterion for membership into the space from the size of the wavelet coefficients.     

Operators commuting with a discrete subgroup of translations

We study the structure of operators from the Schwartz space S(ℝ ⁿ ) into the tempered distributions S′(ℝ ⁿ ) that commute with a discrete subgroup of translations. The formalism leads to simple derivations of recent results about the frame operator of shift-invariant systems, Gabor, and wavelet frames.     

Weighted Polynomials on Discrete Sets

 For a real interval I of positive length, we prove a necessary and sufficient condition which ensures that the continuous L _p (0 < p ⩽ ∞) norm of a weighted polynomial, P _n w ⁿ , deg P _n  ⩽ n, n ⩾ 1 is in an nth root sense, controlled by its corresponding discrete H?lder norm on a very general class of discrete subsets of I. As a by product of our main result, we establish inequalities and theorems dealing with zero distribution, zero location and sup and L _p infinite–finite range inequalities. Received April 4, 2001; in final form June 21, 2002     

Polar actions on Hilbert space

An isometricH-action on a Riemannian manifoldX is calledpolar if there exists a closed submanifoldS ofX that meets everyH-orbit and always meets orbits orthogonally (S is called a section). LetG be a compact Lie group equipped with a biinvariant metric,H a closed subgroup ofG ×G, and letH act onG isometrically by (h ₁,h ₂) ·x = h ₁ xh ₂ ⁻¹ · LetP(G, H) denote the group ofH ¹-pathsg: [0, 1] →G such that (g(0),g (1)) ∈H, and letP(G, H) act on the Hilbert spaceV = H ⁰([0, 1], g) isometrically byg * u = gug ⁻¹ −g′g ⁻¹. We prove that if the action ofH onG is polar with a flat section then the action ofP(G, H) onV is polar. Principal orbits of polar actions onV are isoparametric submanifolds ofV and are infinite-dimensional generalized real or complex flag manifolds. We also note that the adjoint actions of affine Kac-Moody groups and the isotropy action corresponding to an involution of an affine Kac-Moody group are special examples ofP(G, H)-actions for suitable choice ofH andG. Work supported partially by NSF Grant DMS 8903237 and by The Max-Planck-Institut für Mathematik in Bonn.     

Wavelet expansions of fractal measures

Let μ be a measure on ℝⁿ that satisfies the estimate μ(B _r(x))≤cr ^α for allx ∈ ℝⁿ and allr ≤ 1 (B _r(x) denotes the ball of radius r centered atx. Let ϕ _j,k ^(ɛ) (x)=2 ^nj2ϕ^(ɛ)(2 ^j x-k) be a wavelet basis forj ∈ ℤ, κ ∈ ℤⁿ, and ∈ ∈E, a finite set, and letP _j (T)=Σ_ɛ,k <T,ϕ _j,k ^(ɛ) >ϕ _j,k ^(ɛ) denote the associated projection operators at levelj (T is a suitable measure or distribution). Iff ∈Ls ^p(dμ) for 1 ≤p ≤ ∞, we show thatP _j(f dμ) ∈ L^p(dx) and ||P _j (fdμ)||L _p(dx)≤c2 ^{j((n-α)/p′))}||f||L _p(dμ) for allj ≥ 0. We also obtain estimates for the limsup and liminf of ||P _j (fdμ)||L _p(dx) under more restrictive hypotheses. Communicated by Guido Weiss     

The GL2 Main Conjecture for Elliptic Curves without Complex Multiplication

Let G be a compact p-adic Lie group, with no element of order p, and having a closed normal subgroup H such that G/H is isomorphic to Z_p. We prove the existence of a canonical Ore set S^* of non-zero divisors in the Iwasawa algebra Λ(G) of G, which seems to be particularly relevant for arithmetic applications. Using localization with respect to S^*, we are able to define a characteristic element for every finitely generated Λ(G)-module M which has the property that the quotient of M by its p-primary submodule is finitely generated over the Iwasawa algebra of H. We discuss the evaluation of this characteristic element at Artin representations of G, and its relation to the G-Euler characteristics of the twists of M by such representations. Finally, we illustrate the arithmetic applications of these ideas by formulating a precise version of the main conjecture of Iwasawa theory for an elliptic curve E over Q, without complex multiplication, over the field F generated by the coordinates of all its p-power division points; here p is a prime at least 5 where E has good ordinary reduction, and G is the Galois group of F over Q.     

Isometric multipliers ofL p (G, X)

Let G be a locally compact group with a fixed right Haar measure andX a separable Banach space. LetL ^p (G, X) be the space of X-valued measurable functions whose norm-functions are in the usualL ^p . A left multiplier ofL ^p (G, X) is a bounded linear operator onB ^p (G, X) which commutes with all left translations. We use the characterization of isometries ofL ^p (G, X) onto itself to characterize the isometric, invertible, left multipliers ofL ^p (G, X) for 1 ≤p ∞,p ≠ 2, under the assumption thatX is not thel ^p -direct sum of two non-zero subspaces. In fact we prove that ifT is an isometric left multiplier ofL ^p (G, X) onto itself then there existsa y ∃ G and an isometryU ofX onto itself such thatTf(x) = U (R _y f)(x). As an application, we determine the isometric left multipliers of L¹ ∩L ^p (G, X) and L¹ ∩C ₀ (G, X) whereG is non-compact andX is not the l^p-direct sum of two non-zero subspaces. If G is a locally compact abelian group andH is a separable Hubert space, we define where г is the dual group of G. We characterize the isometric, invertible, left multipliers ofA ^p (G, H), provided G is non-compact. Finally, we use the characterization of isometries ofC(G, X) for G compact to determine the isometric left multipliers ofC(G, X) providedX ^* is strictly convex.     

AF-Embedding of Crossed Products of Certain Graph C＊-algebras by Quasi-free Actions （II）

Let E be a row-finite directed graph, let G be a locally compact abelian group with dual group Ĝ = Γ, let ω be a labeling map from E* to Γ, and let (C*(E), G, α ^ω ) be the C*-dynamical system defined by ω. Some mappings concerning the AF-embedding construction of C*(E) ×_a^w GC*(E) \times _{\alpha ^\omega } G are studied in more detail. Several necessary conditions of AF-embedding and some properties of almost proper labeling map are obtained. Moreover it is proved that if E is constructed by attaching some 1-loops to a directed graph T consisting of some rooted directed trees and G is compact, then ω is almost proper, that is a sufficient condition for AF-embedding, if and only if Σ _j=1 ^k w_gj 1 1_G\omega _{\gamma _j } \ne 1_\Gamma for any loop γ _i , γ ₂, ..., γ _k attached to one path in T.     

EQUIVARIANT SELF EQUIVALENCES OF PRINCIPAL FIBRE BUNDLES

Let E be a compact Lie group, G a closed subgroup of E, and H a closed normal sub-group of G. For principal fibre bundle (E,p, E,/G;G) tmd (E/H,p‘,E/G;G/H), the relation between auta(E) (resp. autce (E)) and autG/H(E/H) (resp. autGe/H(E/H)) is investigated by using bundle map theory and transformation group theory. It will enable us to compute the group JG(E) (resp. SG(E)) while the group J G/u(E/H) is known.     

Oscillating multipliers for some eigenfunction expansions

Let P be a non-negative, self-adjoint differential operator of degree d on ℝⁿ. Assume that the associated Bochner-Riesz kernel s _R ^δ satisfies the estimate, |s _R ^δ (x, y)| ≤ C R^n/d(1+R^1/d|x - y|^-αδ+β)for some fixed constants a>0 and β. We study L^p boundedness of operators of the form m(P), m coming from the symbol class S _p ^−α . We prove that m(P) is bounded on L^P if . We also study multipliers associated to the Hermite operator H on ℝⁿ and the special Hermite operator L on ℂⁿ given by the symbols . As a special case we obtain L^p boundedness of solutions to the Wave equation associated to H and L.     

A characterization of alternating groups. II

Let G be a group. A subset X of G is called an A-subset if X consists of elements of order 3, X is invariant in G, and every two non-commuting members of X generate a subgroup isomorphic to A₄ or to A₅. Let X be the A-subset of G. Define a non-oriented graph Γ(X) with vertex set X in which two vertices are adjacent iff they generate a subgroup isomorphic to A₄. Theorem 1 states the following. Let X be a non-empty A-subset of G. (1) Suppose that C is a connected component of Γ(X) and H = 〈C〉. If H ∩ X does not contain a pair of elements generating a subgroup isomorphic to A₅ then H contains a normal elementary Abelian 2-subgroup of index 3 and a subgroup of order 3 which coincides with its centralizer in H. In the opposite case, H is isomorphic to the alternating group A(I) for some (possibly infinite) set I, |I| ≥ 5. (2) The subgroup 〈X^G〉 is a direct product of subgroups 〈C _α〉-generated by some connected components C _α of Γ(X). Theorem 2 asserts the following. Let G be a group and X⊆G be a non-empty G-invariant set of elements of order 5 such that every two non-commuting members of X generate a subgroup isomorphic to A₅. Then 〈XG〉 is a direct product of groups each of which either is isomorphic to A₅ or is cyclic of order 5. Supported by RFBR grant No. 05-01-00797; FP “Universities of Russia,” grant No. UR.04.01.028; RF Ministry of Education Developmental Program for Scientific Potential of the Higher School of Learning, project No. 511; Council for Grants (under RF President) and State Aid of Fundamental Science Schools, project NSh-2069.2003.1. __________ Translated from Algebra i Logika, Vol. 45, No. 2, pp. 203–214, March–April, 2006.