On the ideal structure of some Banach algebras related to convolution operators on L(G)

Let G be a locally compact group and let p∈(1,∞). Let be any of the Banach spaces C_δ,p(G), PF_p(G), M_p(G), AP_p(G), WAP_p(G), UC_p(G), PM_p(G), of convolution operators on L^p(G). It is shown that PF_p(G)′ can be isometrically embedded into UC_p(G)′. The structure of maximal regular ideals of (and of MA_p(G)″, B_p(G)″, W_p(G)″) is studied. Among other things it is shown that every maximal regular left (right, two sided) ideal in is either dense or is the annihilator of a unique element in the spectrum of A_p(G). Minimal ideals of is also studied. It is shown that a left ideal M in is minimal if and only if , where Ψ is either a right annihilator of or is a topologically x-invariant element (for some x∈G). Some results on minimal right ideals are also given.     

Large sets in finite fields are sumsets

For a prime p, a subset S of Zp is a sumset if S=A+A for some A⊂Zp. Let f(p) denote the maximum integer so that every subset S⊂Zp of size at least p−f(p) is a sumset. The question of determining or estimating f(p) was raised by Green. He showed that for all sufficiently large p, and proved, with Gowers, that f(p)<cp2/3log1/3p for some absolute constant c. Here we improve these estimates, showing that there are two absolute positive constants c₁,c₂ so that for all sufficiently large p,

     

Fourier analysis on domains in compact groups

Let Ω be a measurable subset of a compact group G of positive Haar measure. Let be a non-negative function defined on the dual space and let L²(μ) be the corresponding Hilbert space which consists of elements (ξπ)_π∈suppμ satisfying , where ξπ is a linear operator on the representation space of π, and is equipped with the inner product: . We show that the Fourier transform gives an isometric isomorphism from L²(Ω) onto L²(μ) if and only if the restrictions to Ω of all matrix coordinate functions , π∈suppμ, constitute an orthonormal basis for L²(Ω). Finally compact connected Lie groups case is studied.     

Accretive operators and Cassels inequality

Let a,b>0 and let Z∈M_n(R) such that Z lies into the operator ball of diameter [aI,bI]. Then for all positive definite A∈M_n(R),

     

On the prime power factorization of n!, II

Let p, q be primes and m be a positive integer. For a positive integer n, let ep(n) be the nonnegative integer with pep(n)|n and pep(n)+1?n. The following results are proved: (1) For any positive integer m, any prime p and any ε∈Zm, there are infinitely many positive integers n such that ; (2) For any positive integer m, there exists a constant D(m) such that if ε,δ∈Zm and p, q are two distinct primes with max{p,q}?D(m), then there exist infinitely many positive integers n such that , . Finally we pose four open problems.     

Non-sequential weak supercyclicity and hypercyclicity

A bounded linear operator T acting on a Banach space B is called weakly hypercyclic if there exists x∈B such that the orbit is weakly dense in B and T is called weakly supercyclic if there is x∈B for which the projective orbit is weakly dense in B. If weak density is replaced by weak sequential density, then T is said to be weakly sequentially hypercyclic or supercyclic, respectively. It is shown that on a separable Hilbert space there are weakly supercyclic operators which are not weakly sequentially supercyclic. This is achieved by constructing a Borel probability measure μ on the unit circle for which the Fourier coefficients vanish at infinity and the multiplication operator Mf(z)=zf(z) acting on L₂(μ) is weakly supercyclic. It is not weakly sequentially supercyclic, since the projective orbit under M of each element in L₂(μ) is weakly sequentially closed. This answers a question posed by Bayart and Matheron. It is proved that the bilateral shift on ?p(Z), 1?p<∞, is weakly supercyclic if and only if 2<p<∞ and that any weakly supercyclic weighted bilateral shift on ?p(Z) for 1?p?2 is norm supercyclic. It is also shown that any weakly hypercyclic weighted bilateral shift on ?p(Z) for 1?p<2 is norm hypercyclic, which answers a question of Chan and Sanders.     

Augmented truncation approximations of discrete-time Markov chains

Let P be a positive recurrent infinite transition matrix with invariant distribution π and be a truncated and arbitrarily augmented stochastic matrix with invariant distribution _(n)π. We investigate the convergence ‖_(n)π−π‖→0, as n→∞, and derive a widely applicable sufficient criterion. Moreover, computable bounds on the error ‖_(n)π−π‖ are obtained for polynomially and geometrically ergodic chains. The bounds become rather explicit when the chains are stochastically monotone.     

The finiteness dimension of local cohomology modules and its dual notion

Let a be an ideal of a commutative Noetherian ring R and M a finitely generated R-module. We explore the behavior of the two notions f_a(M), the finiteness dimension of M with respect to a, and, its dual notion q_a(M), the Artinianness dimension of M with respect to a. When (R,m) is local and r?f_a(M) is less than , the m-finiteness dimension of M relative to a, we prove that is not Artinian, and so the filter depth of a on M does not exceed f_a(M). Also, we show that if M has finite dimension and is Artinian for all i>t, where t is a given positive integer, then is Artinian. This immediately implies that if q?q_a(M)>0, then is not finitely generated, and so f_a(M)≤q_a(M).     

4-dimensional minimal CR submanifolds of the sphere S satisfying Chen's equality

In this paper, we classify 4-dimensional minimal CR submanifolds M of the nearly Kähler 6-sphere S⁶(1) which satisfy Chen's equality, i.e. , where δM(p)=τ(p)−infK(p) for every p∈M.     

Operator space structure and amenability for Figà-Talamanca-Herz algebras

Column and row operator spaces—which we denote by COL and ROW, respectively—over arbitrary Banach spaces were introduced by the first-named author; for Hilbert spaces, these definitions coincide with the usual ones. Given a locally compact group G and p,p′∈(1,∞) with , we use the operator space structure on to equip the Figà-Talamanca-Herz algebra A_p(G) with an operator space structure, turning it into a quantized Banach algebra. Moreover, we show that, for p?q?2 or 2?q?p and amenable G, the canonical inclusion A_q(G)⊂A_p(G) is completely bounded (with cb-norm at most , where is Grothendieck's constant). As an application, we show that G is amenable if and only if A_p(G) is operator amenable for all—and equivalently for one—p∈(1,∞); this extends a theorem by Ruan.     

Coincidence of essential commutant and the double commutant relation in the Calkin algebra

Let B be a von Neumann algebra on a separable Hilbert space H. We show that, if the dimension of B as a linear space is infinite, then it has a proper C∗-subalgebra A whose essential commutant in coincides with the essential commutant of B. Moreover, if π is the quotient map from to the Calkin algebra , then π(A)≠π(B) and {π(A)}″=π(B).     

Convergence of subdivision schemes and smoothness of limit functions

Starting with vector λ=(λ(k))_k∈Z∈?p(Z), the subdivision scheme generates a sequence of vectors by the subdivision operator

     

Combinatorially fruitful properties of 3⋅2 and 3⋅2 modulo p

Write a≡3⋅2⁻¹ and where p is an odd prime. Let c be a value that is congruent (modp) to either a or b. For any x from Z_p?{0}, evaluate each of x and within the interval (0,p). Then consider the quantity where the differences are evaluated in the interval (0,p−1), and the quantity where the differences are evaluated (modp+1) in the interval (0,p+1). As x varies over Z_p?{0}, the values of each of and give exactly two occurrences of nearly every member of 1,2,…,(p−1)/2. This fact enables a and b to be used in constructing some terraces for Z_p−1 and Z_p+1 from segments of elements that are themselves initially evaluated in Z_p.     

Graphic sequences with a realization containing a complete multipartite subgraph

A nonincreasing sequence of nonnegative integers π=(d₁,d₂,…,d_n) is graphic if there is a (simple) graph G of order n having degree sequence π. In this case, G is said to realizeπ. For a given graph H, a graphic sequence π is potentiallyH-graphic if there is some realization of π containing H as a (weak) subgraph. Let σ(π) denote the sum of the terms of π. For a graph H and n∈Z⁺, σ(H,n) is defined as the smallest even integer m so that every n-term graphic sequence π with σ(π)≥m is potentially H-graphic. Let denote the complete t partite graph such that each partite set has exactly s vertices. We show that and obtain the exact value of σ(K_j+K_s,s,n) for n sufficiently large. Consequently, we obtain the exact value of for n sufficiently large.     

Continuous spectrum, point spectrum and residual spectrum of operator matrices

Let M_C denote a 2 × 2 upper triangular operator matrix of the form , which is acting on the sum of Banach spaces X⊕Y or Hilbert spaces H⊕K. In this paper, the sets and ?_C∈B(K,H)σ_r(M_C) are, respectively, characterized completely, where σ_c(·) denotes the continuous spectrum, σ_p(·) denotes the point spectrum and σ_r(·) denotes the residual spectrum. Moreover, some corresponding counterexamples are given.     

Smooth approximation of Lipschitz functions on Riemannian manifolds

We show that for every Lipschitz function f defined on a separable Riemannian manifold M (possibly of infinite dimension), for every continuous , and for every positive number r>0, there exists a C^∞ smooth Lipschitz function such that |f(p)−g(p)|?ε(p) for every p∈M and Lip(g)?Lip(f)+r. Consequently, every separable Riemannian manifold is uniformly bumpable. We also present some applications of this result, such as a general version for separable Riemannian manifolds of Deville-Godefroy-Zizler's smooth variational principle.