-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 .

     

coefficients

Let be a system of real smooth vector fields, satisfying Hörmander's condition in some bounded domain (). We consider the differential operator

where the coefficients are real valued, bounded measurable functions, satisfying the uniform ellipticity condition:

for a.e. , every , some constant . Moreover, we assume that the coefficients belong to the space VMO (``Vanishing Mean Oscillation'), defined with respect to the subelliptic metric induced by the vector fields . We prove the following local -estimate:

for every , . We also prove the local Hölder continuity for solutions to for any with large enough. Finally, we prove -estimates for higher order derivatives of , whenever and the coefficients are more regular.

     

On the diophantine equation

In this paper we prove that the equation , , , , , has only the solutions and with is a prime power. The proof depends on some new results concerning the upper bounds for the number of solutions of the generalized Ramanujan-Nagell equations.

     

Spin L-functions on

The ``spin' L-function of an automorphic representation of is an Euler product of degree associated with the spin representation of the L-group . If or , and the automorphic representation is generic in the sense of having a Whittaker model, the analytic properties of these L-functions are studied by the Rankin-Selberg method.

     

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.

     

On covering translations and homeotopy groups of contractible open -manifolds

This paper gives a new proof of a result of Geoghegan and Mihalik which states that whenever a contractible open -manifold which is not homeomorphic to is a covering space of an -manifold and either or and is irreducible, then the group of covering translations injects into the homeotopy group of .

     

The number of primes is finite

For a positive integer let and let . The number of primes of the form is finite, because if , then is divisible by . The heuristic argument is given by which there exists a prime such that for all large ; a computer check however shows that this prime has to be greater than . The conjecture that the numbers are squarefree is not true because .

     

A class of

Extending an example given by T. Kriete, we develop a class of measures each of which consists of a measure on along with a series of weighted point masses in . This class provides relatively simple examples of measures which have the property that the collection of analytic bounded point evaluations for varies with . The first known measures with this property were recently constructed by J. Thomson.

     

The Postage Stamp Problem: An algorithm to determine the

Given an integral ``stamp" basis with and a positive integer , we define the -range as

. For given and , the extremal basis has the largest possible extremal -range

We give an algorithm to determine the -range. We prove some properties of the -range formula, and we conjecture its form for the extremal -range. We consider parameter bases , where the basis elements are given functions of . For we conjecture the extremal parameter bases for .

     

Iwasawa invariants and class numbers of quadratic fields for the prime

Let be a square-free integer with and . Put and . For the cyclotomic -extension of , we denote by the -th layer of over . We prove that the -Sylow subgroup of the ideal class group of is trivial for all integers if and only if the class number of is not divisible by the prime . This enables us to show that there exist infinitely many real quadratic fields in which splits and whose Iwasawa -invariant vanishes.

     

Random Fibonacci sequences and the number

For the familiar Fibonacci sequence (defined by , and for ), increases exponentially with at a rate given by the golden ratio . But for a simple modification with both additions and subtractions - the random Fibonacci sequences defined by , and for , , where each sign is independent and either or - with probability - it is not even obvious if should increase with . Our main result is that

with probability . Finding the number involves the theory of random matrix products, Stern-Brocot division of the real line, a fractal measure, a computer calculation, and a rounding error analysis to validate the computer calculation.

     

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.

     

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.

     

Intersections of and enumerative geometry

The theory of -Cartier divisors on the space of -pointed, genus 0, stable maps to projective space is considered. Generators and Picard numbers are computed. A recursive algorithm computing all top intersection products of -divisors is established. As a corollary, an algorithm computing all characteristic numbers of rational curves in is proven (including simple tangency conditions). Computations of these characteristic numbers are carried out in many examples. The degree of the 1-cuspidal rational locus in the linear system of degree plane curves is explicitly evaluated.

     

Spectral multiplier theorem for spaces associated with some Schrödinger operators

Let be the semigroup of linear operators generated by a Schrödinger operator , where is a nonnegative polynomial. We say that is an element of if the maximal function belongs to . A criterion on functions which implies boundedness of the operators on is given.

     

Witten-Helffer-Sjöstrand theory for -equivariant cohomology

Given an -invariant Morse function and an -invariant Riemannian metric , a family of finite dimensional subcomplexes , , of the Witten deformation of the -equivariant de Rham complex is constructed, by studying the asymptotic behavior of the spectrum of the corresponding Laplacian as . In fact the spectrum of can be separated into the small eigenvalues, finite eigenvalues and the large eigenvalues. Then one obtains as the complex of eigenforms corresponding to the small eigenvalues of . This permits us to verify the -equivariant Morse inequalities. Moreover suppose is self-indexing and satisfies the Morse-Smale condition, then it is shown that this family of subcomplexes converges as to a geometric complex which is induced by and calculates the -equivariant cohomology of .

     

The nonarchimedean theta correspondence for

In this paper we consider the theta correspondence between the sets and when is a nonarchimedean local field and . Our main theorem determines all the elements of that occur in the correspondence. The answer involves distinguished representations. As a corollary, we characterize all the elements of that occur in the theta correspondence between and . We also apply our main result to prove a case of a new conjecture of S.S. Kudla concerning the first occurrence of a representation in the theta correspondence.

     

The Furuta inequality in Banach -algebras

Let be real numbers with and Furuta (1987) proved that if bounded linear operators on a Hilbert space satisfy , then . This inequality is called the Furuta inequality and has many applications. In this paper, we prove that the Furuta inequality holds in a unital hermitian Banach -algebra with continuous involution.