Note on a Result of Kerman and Weit II

Let G be a locally compact topological group, equipped with a fixed left Haar measure μ. We show that if f is a compactly supported real valued continuous function on G which has a unique maximum or a unique minimum at a point in G, then the space generated by the span of left translations of {f ⁿ ∣n=1,2,3,…} is dense in L ^p (G,μ), 1≤p<∞, in the space of continuous functions, continuous compactly supported functions and in the space of continuous functions vanishing at ∞. Similar results are true when the group G is substituted by G-spaces with compact isotropy group.     

Finite range decompositions of positive-definite functions

We give sufficient conditions for a positive-definite function to admit decomposition into a sum of positive-definite functions which are compactly supported within disks of increasing diameters Ln. More generally we consider positive-definite bilinear forms f→v(f,f) defined on . We say v has a finite range decomposition if v can be written as a sum v=∑Gn of positive-definite bilinear forms Gn such that Gn(f,g)=0 when the supports of the test functions f,g are separated by a distance greater or equal to Ln. We prove that such decompositions exist when v is dual to a bilinear form φ→∫²|Bφ| where B is a vector valued partial differential operator satisfying some regularity conditions.     

Estimates of the smoothness of dyadic orthogonal wavelets of Daubechies type

Suppose that ω(φ, ·) is the dyadic modulus of continuity of a compactly supported function φ in L ²(?⁺) satisfying a scaling equation with 2 ⁿ coefficients. Denote by α _φ the supremum for values of α > 0 such that the inequality ω(φ, 2^?j ) ≤ C2 ^?αj holds for all j ∈ ?. For the cases n = 3 and n = 4, we study the scaling functions φ generating multiresolution analyses in L ²(?₊) and the exact values of α _φ are calculated for these functions. It is noted that the smoothness of the dyadic orthogonal wavelet in L ²(?₊) corresponding to the scaling function φ coincides with α _φ .     

On Groups Generated by Elements of Pirme Order

In the first part of the paper we give a characterization of groups generated by elements of fixed prime order p. In the second part we study the group G _n ^(p) of n × n matrices with the pth power of the determinant equal to 1 over a field F containing a primitive pth root of 1. It is known that the group G _n ⁽²⁾ of n × n matrices of determinant ± 1 over a field F and the group SL _n (F) are generated by their involutions and that each element in these groups is a product of four involutions. We consider some subgroups G of G _n ^(p) and study the following problems: Is G generated by its elements of order p? If so, is every element of G a product of k elements of order p for some fixed integer k? We show that G _n ^(p) and SL _n (F) are generated by their elements of order p and that the bound k exists and is equal to 4. We show that every universal p-Coxeter group has faithful two-dimensional representations over many fields F (including ? and ?). For a universal p-Coxeter group of rank ≥ 2 for p ≥ 3 or of rank ≥ 3 for p = 2 there is no bound k.     

On the One Sided Translates of Powers of Continuous Functions on Locally Compact Groups

We prove that the one sided translates of powers of a real valued continuous (respectively compactly supported) function with a unique maximum (or minimum) span a dense subspace in C(G) and C(X) (respectively in L ^P (G) and L ^P (X)) for any locally compact group G and for any Riemannian symmetric space X.     

Convolution on L p -spaces of a locally compact group

We have recently shown that, for 2 < p < ∞, a locally compact group G is compact if and only if the convolution multiplication f * g exists for all f, g ∈ L ^p (G). Here, we study the existence of f * g for all f, g ∈ L ^p (G) in the case where 0 < p ≤ 2. Also, for 0 < p < ∞, we offer some necessary and sufficient conditions for L ^p (G) * L ^p (G) to be contained in certain function spaces on G.     

On n-Hamiltonian line graphs

With each nonempty graph G one can associate a graph L(G), called the line graph of G, with the property that there exists a one-to-one correspondence between E(G) and V(L(G)) such that two vertices of L(G) are adjacent if and only if the corresponding edges of G are adjacent. For integers m ≥ 2, the mth iterated line graph L^m(G) of G is defined to be L(L^m-1(G)). A graph G of order p ≥ 3 is n-Hamiltonian, 0 ≤ n ≤ p ? 3, if the removal of any k vertices, 0 ≤ k ≤ n, results in a Hamiltonian graph. It is shown that if G is a connected graph with δ(G) ≥ 3, where δ(G) denotes the minimum degree of G, then L²(G) is (δ(G) ? 3)-Hamiltonian. Furthermore, if G is 2-connected and δ(G) ≥ 4, then L²(G) is (2δ(G) ? 4)-Hamiltonian. For a connected graph G which is neither a path, a cycle, nor the graph K(1, 3) and for any positive integer n, the existence of an integer k such that L^m(G) is n-Hamiltonian for every m ≥ k is exhibited. Then, for the special case n = 1, bounds on (and, in some cases, the exact value of) the smallest such integer k are determined for various classes of graphs.     

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.     

Time Regularity for Random Walks on Locally Compact Groups

Let G be a compactly generated, locally compact group, and let T be the operator of convolution with a probability measure μ on G. Our main results give sufficient conditions on μ for the operator T to be analytic in L ^p (G), 1 < p < ∞, where analyticity means that one has an estimate of form for all n = 1, 2, ... in L ^p operator norm. Counterexamples show that analyticity may not hold if some of the conditions are not satisfied.     

Construction of multivariate compactly supported orthonormal wavelets

We propose a constructive method to find compactly supported orthonormal wavelets for any given compactly supported scaling function φ in the multivariate setting. For simplicity, we start with a standard dilation matrix 2I_2×2 in the bivariate setting and show how to construct compactly supported functions ψ₁,. . .,ψ_n with n>3 such that {2^kψ_j(2^kx−ℓ,2^ky−m), k,ℓ,m∈Z, j=1,. . .,n} is an orthonormal basis for L₂(ℝ²). Here, n is dependent on the size of the support of φ. With parallel processes in modern computer, it is possible to use these orthonormal wavelets for applications. Furthermore, the constructive method can be extended to construct compactly supported multi-wavelets for any given compactly supported orthonormal multi-scaling vector. Finally, we mention that the constructions can be generalized to the multivariate setting. Dedicated to Professor Charles A. Micchelli on the occasion of his 60th birthday Mathematics subject classifications (2000) 42C15, 42C30.     

A study on orthogonal two-direction vector-valued wavelets and two-direction wavelet packets

In this paper, the notion of two-direction vector-valued multiresolution analysis and the two-direction orthogonal vector-valued wavelets are introduced. The definition for two-direction orthogonal vector-valued wavelet packets is proposed. An algorithm for constructing a class of two-direction orthogonal vector-valued compactly supported wavelets corresponding to the two-direction orthogonal vector-valued compactly supported scaling functions is proposed by virtue of matrix theory and time-frequency analysis method. The properties of the two-direction vector-valued wavelet packets are investigated. At last, the direct decomposition relation for space L₂(R)^r is presented.     

Quasirecognition by prime graph of finite simple groups L n (2) and U n (2)

Let G be a finite group. The prime graph ??(G) of G is defined as follows. The vertices of ??(G) are the primes dividing the order of G and two distinct vertices p, p?? are joined by an edge if G has an element of order pp??. Let L=L _n (2) or U _n (2), where n?R17. We prove that L is quasirecognizable by prime graph, i.e. if G is a finite group such that ??(G)=??(L), then G has a unique nonabelian composition factor isomorphic to L. As a consequence of our result we give a new proof for the recognition by element orders of L _n (2). Also we conclude that the simple group U _n (2) is quasirecognizable by element orders.     

On Flat Flag-Transitive c.c *-Geometries

We study flat flag-transitive c.c ^*-geometries. We prove that, apart from one exception related to Sym(6), all these geometries are gluings in the meaning of [6]. They are obtained by gluing two copies of an affine space over GF(2). There are several ways of gluing two copies of the n-dimensional affine space over GF(2). In one way, which deserves to be called the canonical one, we get a geometry with automorphism group G = 2²ⁿ · L _n(2) and covered by the truncated Coxeter complex of type D ₂ ⁿ . The non-canonical ways give us geometries with smaller automorphism group (G ≤ 2²ⁿ · (2 ^n?1)n) and which seldom (never ?) can be obtained as quotients of truncated Coxeter complexes.     

Weighted L p -algebras on groups

The space L _p (G), 1 > p < ∞, on a locally compact group G is known to be closed under convolution only if G is compact. However, the weighted spaces L _p (G, w) are Banach algebras with respect to convolution and natural norm under certain conditions on the weight. In the present paper, sufficient conditions for a weight defining a convolution algebra are stated in general form. These conditions are well known in some special cases. The spectrum (the maximal ideal space) of the algebra L _p (G,w) on an Abelian group G is described. It is shown that all algebras of this type are semisimple.     

Weighted L p-Approximation of Derivatives by the Method of Gammaoperators

We consider Gammaoperators G _n on suitable Sobolev type subspaces of L _p(0, ∞) and characterize the global rate of approximation of derivatives f ^(r) through corresponding derivatives (G _n f)^(r) in an appropriate weighted L _p — metric by the rate of Ditzian and Totik’s second order weighted modulus of smoothness.     

Spectral analysis on {{\rm SL}(2, \mathbb{R})}

Let G be the group ${{\rm SL}(2, \mathbb{R})}$ . For this group we prove a version of Schwartz’s theorem on spectral analysis for the group G. We find the sharp range of Lebesgue spaces L ^p (G) for which a smooth function is not mean periodic unless it is a cusp form. Failure of the Schwartz-like theorem is also proved when C ^∞(G) is replaced by L ^p (G) with suitable p. We show that the last result is linked with the failure of the Wiener-tauberian theorem for G.     

Even factors with a bounded number of components in iterated line graphs

We consider even factors with a bounded number of components in the n-times iterated line graphs L ⁿ (G). We present a characterization of a simple graph G such that L ⁿ (G) has an even factor with at most k components, based on the existence of a certain type of subgraphs in G. Moreover, we use this result to give some upper bounds for the minimum number of components of even factors in L ⁿ (G) and also show that the minimum number of components of even factors in L ⁿ (G) is stable under the closure operation on a claw-free graph G, which extends some known results. Our results show that it seems to be NP-hard to determine the minimum number of components of even factors of iterated line graphs. We also propose some problems for further research.     

Finite groups with the set of the number of subgroups of possible order containing exactly two elements

Let G be a finite group, and n(G) be the set of the number of subgroups of possible order of G. We investigate the structure of G satisfying that n(G)?=?{1, m} for any positive integer m?>?1. At first, we prove that the nilpotent length of G is less than 2. Secondly, we investigate nilpotent groups with m?=?p?+?1 or p ²?+?p?+?1 (p is a prime), and we get the classification of such kinds of groups. At last, we investigate non-nilpotent groups with m?=?p?+?1 and get the classification of the groups under consideration.     

Reduced Weyl asymptotics for pseudodifferential operators on bounded domains II. The compact group case

Let G⊂O(n) be a compact group of isometries acting on n-dimensional Euclidean space Rn, and X a bounded domain in Rn which is transformed into itself under the action of G. Consider a symmetric, classical pseudodifferential operator A₀ in L²(Rn) that commutes with the regular representation of G, and assume that it is elliptic on X. We show that the spectrum of the Friedrichs extension A of the operator is discrete, and using the method of the stationary phase, we derive asymptotics for the number Nχ(λ) of eigenvalues of A equal or less than λ and with eigenfunctions in the χ-isotypic component of L²(X) as λ→∞, giving also an estimate for the remainder term for singular group actions. Since the considered critical set is a singular variety, we recur to partial desingularization in order to apply the stationary phase theorem.