-sequences

A sequence of positive integers is called a -sequence if every integer has at most representations with all in and . A -sequence is also called a -sequence or Sidon sequence. The main result is the following

Theorem. Let be a -sequence and for an integer . Then there is a -sequence of size , where .

Corollary. Let . The interval then contains a -sequence of size , when .

     

Annihilating a subspace of with the sign of a continuous function

Let be a -finite, nonatomic, Baire measure space. Let be a finite dimensional subspace of . There is a bounded, continuous function, , defined on , such that

(1) for all , and (2) almost everywhere.

     

Invertible completions of upper triangular operator matrices

In this note we prove that if

is a upper triangular operator matrix acting on the Banach space , then is invertible for some if and only if and satisfy the following conditions:

(i)

is left invertible;

(ii)

is right invertible;

(iii)

.

Furthermore we show that , where is the union of certain of the holes in which happen to be subsets of .

     

An uncertainty principle for convolution operators on discrete groups

Consider a discrete group and a bounded self-adjoint convolution operator on ; let be the spectrum of . The spectral theorem gives a unitary isomorphism between and a direct sum , where , and is a regular Borel measure supported on . Through this isomorphism corresponds to multiplication by the identity function on each summand. We prove that a nonzero function and its transform cannot be simultaneously concentrated on sets , such that and the cardinality of are both small. This can be regarded as an extension to this context of Heisenberg's classical uncertainty principle.

     

Universal -lattices of minimal rank

Let be the minimal rank of -universal -lattices, by which we mean positive definite -lattices which represent all positive -lattices of rank . It is a well known fact that for . In this paper, we determine and find all -universal lattices of rank for .

     

Carleson measures and some classes of meromorphic functions

For let be the Möbius transformation defined by , and let be the Green's function of the unit disk . We construct an analytic function belonging to for all , , but not belonging to meromorphic in and for any , . This gives a clear difference as compared to the analytic case where the corresponding function spaces ( and ) are same.

     

-identities on associative algebras

Let be an algebra over a field and a finite group of automorphisms and anti-automorphisms of . We prove that if satisfies an essential -polynomial identity of degree , then the -codimensions of are exponentially bounded and satisfies a polynomial identity whose degree is bounded by an explicit function of . As a consequence we show that if is an algebra with involution satisfying a -polynomial identity of degree , then the -codimensions of are exponentially bounded; this gives a new proof of a theorem of Amitsur stating that in this case must satisfy a polynomial identity and we can now give an upper bound on the degree of this identity.

     

A criterion for splitting -algebras in tensor products

The goal of the paper is to prove the following theorem: if , are unital -algebras, simple and nuclear, then any -subalgebra of the -tensor product of and , which contains the tensor product of with the scalar multiples of the unit of , splits in the -tensor product of with some -subalgebra of .

     

Every -regular

We prove the following: Theorem A. If is a -regular ultrafilter, then either

(a)

is -regular, or

(b)

the cofinality of the linear order is , and is -regular for all .

Corollary B. Suppose that is singular, and either is regular, or . Then every -regular ultrafilter is -regular.

We also discuss some consequences and variations.

     

On semisimple Hopf algebras of dimension

We consider the problem of the classification of semisimple Hopf algebras of dimension where are two prime numbers. First we prove that the order of the group of grouplike elements of is not , and that if it is , then . We use it to prove that if and its dual Hopf algebra are of Frobenius type, then is either a group algebra or a dual of a group algebra. Finally, we give a complete classification in dimension , and a partial classification in dimensions and .

     

Maximal estimates for the -dimensional Walsh-Fourier series

The -dimensional dyadic martingale Hardy spaces are introduced and it is proved that the maximal operator of the means of a Walsh-Fourier series is bounded from to and is of weak type , provided that the supremum in the maximal operator is taken over a positive cone. As a consequence we obtain that the means of a function converge a.e. to the function in question. Moreover, we prove that the means are uniformly bounded on whenever . Thus, in case , the means converge to in norm. The same results are proved for the conjugate means, too.

     

A bound on the reduction number of a primary ideal

Let be a local ring of positive dimension and let be an -primary ideal. We denote the reduction number of by , which is the smallest integer such that for some reduction of In this paper we give an upper bound on in terms of numerical invariants which are related with the Hilbert coefficients of when is Cohen-Macaulay. If , it is known that where denotes the multiplicity of If in Corollary 1.5 we prove where is the first Hilbert coefficient of From this bound several results follow. Theorem 1.3 gives an upper bound on in a more general setting.

     

Involutions with

Let be a smooth involution on a closed -dimensional manifold such that all Stiefel-Whitney classes of the tangent bundle to each component of the fixed point set of vanish in positive dimension. In this paper, we estimate the least possible lower bound of dim if does not bound.

     

Completely continuous multilinear operators on spaces

Given a -linear operator from a product of spaces into a Banach space , our main result proves the equivalence between being completely continuous, having an -valued separately continuous extension to the product of the biduals and having a regular associated polymeasure. It is well known that, in the linear case, these are also equivalent to being weakly compact, and that, for , being weakly compact implies the conditions above but the converse fails.

     

Inequalities for the gamma function

We prove the following two theorems:

(i) Let be the th power mean of and . The inequality

holds for all if and only if , where denotes Euler's constant. This refines results established by W. Gautschi (1974) and the author (1997).

(ii) The inequalities

are valid for all if and only if and , while holds for all if and only if and . These bounds for improve those given by G. D. Anderson an S.-L. Qiu (1997).

     

Finite generation properties for fuchsian group von Neumann algebras tensor

We prove that the algebra , a free group with finitely many generators, contains a subnormal operator such that the linear span of the set is weakly dense in . This is the analogue for the factor , finite, of a well known fact about the unilateral shift on a Hilbert space : the linear span of all the monomials is weakly dense in .

We also show that for a suitable space of square summable analytic functions, if is the projection from the Hilbert space of all square summable functions onto and is the unbounded operator of multiplication by on , then the (unbounded) operator is nonzero (with nonzero domain).

     

On the dimension of almost -dimensional spaces

Oversteegen and Tymchatyn proved that homeomorphism groups of positive dimensional Menger compacta are -dimensional by proving that almost -dimensional spaces are at most -dimensional. These homeomorphism groups are almost -dimensional and at least -dimensional by classical results of Brechner and Bestvina. In this note we prove that almost -dimensional spaces for are -dimensional. As a corollary we answer in the affirmative an old question of R. Duda by proving that every hereditarily locally connected, non-degenerate, separable, metric space is -dimensional.

     

A characterization of

This work is devoted to the relationship between topological properties of a space and those of (= the space of continuous real-valued functions on , with the topology of pointwise convergence). The emphasis is on -compactness of and on location of in . In particular, -compact cosmic spaces are characterized in this way.

     

Reflection and uniqueness theorems for harmonic functions

Suppose that is harmonic on an open half-ball in such that the origin 0 is the centre of the flat part of the boundary . If has non-negative lower limit at each point of and tends to 0 sufficiently rapidly on the normal to at 0, then has a harmonic continuation by reflection across . Under somewhat stronger hypotheses, the conclusion is that . These results strengthen recent theorems of Baouendi and Rothschild. While the flat boundary set can be replaced by a spherical surface, it cannot in general be replaced by a smooth -dimensional manifold.