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

ROSSER and SCHOENFELD have used the fact that the first 3,500,000 zeros of the RIEMANN zeta function lie on the critical line to give estimates on and . With an improvement of the above result by BRENTet al., we are able to improve these estimates and to show that the prime is greater than for . We give further results without proof.

     

On an analogue of Selberg's eigenvalue conjecture for

Let be the homogeneous space associated to the group
. Let where and consider the first nontrivial eigenvalue of the Laplacian on . Using geometric considerations, we prove the inequality . Since the continuous spectrum is represented by the band , our bound on can be viewed as an analogue of Selberg's eigenvalue conjecture for quotients of the hyperbolic half space.

     

A new bound for the smallest

Let denote the number of primes and let denote the usual integral logarithm of . We prove that there are at least integer values of in the vicinity of with . This improves earlier bounds of Skewes, Lehman, and te Riele. We also plot more than 10000 values of in four different regions, including the regions discovered by Lehman, te Riele, and the authors of this paper, and a more distant region in the vicinity of , where appears to exceed by more than . The plots strongly suggest, although upper bounds derived to date for are not sufficient for a proof, that exceeds for at least integers in the vicinity of . If it is possible to improve our bound for by finding a sign change before , our first plot clearly delineates the potential candidates. Finally, we compute the logarithmic density of and find that as departs from the region in the vicinity of , the density is , and that it varies from this by no more than over the next integers. This should be compared to Rubinstein and Sarnak.

     

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.

     

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.

     

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.

     

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.

     

Decomposition of

For any locally compact group , let and be the Fourier and the Fourier-Stieltjes algebras of , respectively. is decomposed as a direct sum of and , where is a subspace of consisting of all elements that satisfy the property: for any and any compact subset , there is an with and such that is characterized by the following: an element is in if and only if, for any there is a compact subset such that for all with and . Note that we do not assume the amenability of . Consequently, we have for all if is noncompact. We will apply this characterization of to investigate the general properties of and we will see that is not a subalgebra of even for abelian locally compact groups. If is an amenable locally compact group, then is the subspace of consisting of all elements with the property that for any compact subset , .

     

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 .

     

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.

     

Computing rational points on rank 1 elliptic curves via -series and canonical heights

Let be an elliptic curve of rank 1. We describe an algorithm which uses the value of and the theory of canonical heghts to efficiently search for points in and . For rank 1 elliptic curves of moderately large conductor (say on the order of to ) and with a generator having moderately large canonical height (say between 13 and 50), our algorithm is the first practical general purpose method for determining if the set contains non-torsion points.

     

The maximal normal -group

Let be a prime number and let be an abelian -group. Let be the maximal normal -subgroup of and the maximal -subgroup of its centre. Let be the torsion radical of . Then . The result is new for and 3, and the proof is new and valid for all primes .

     

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.

     

Computing

Let denote the Von Mangoldt function and . We describe an elementary method for computing isolated values of . The complexity of the algorithm is time and space. A table of values of for up to is included, and some times of computation are given.

     

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 .

     

Positive definite spherical functions on Olshanskii domains

Let be a simply connected complex Lie group with Lie algebra , a real form of , and the analytic subgroup of corresponding to . The symmetric space together with a -invariant partial order is referred to as an Olshanskii space. In a previous paper we constructed a family of integral spherical functions on the positive domain of . In this paper we determine all of those spherical functions on which are positive definite in a certain sense.

     

Ultrafilters on -their ideals and their cardinal characteristics

For a free ultrafilter on we study several cardinal characteristics which describe part of the combinatorial structure of . We provide various consistency results; e.g. we show how to force simultaneously many characters and many -characters. We also investigate two ideals on the Baire space naturally related to and calculate cardinal coefficients of these ideals in terms of cardinal characteristics of the underlying ultrafilter.

     

The -Lagrangian of a convex function

At a given point , a convex function is differentiable in a certain subspace (the subspace along which has 0-breadth). This property opens the way to defining a suitably restricted second derivative of at . We do this via an intermediate function, convex on . We call this function the -Lagrangian; it coincides with the ordinary Lagrangian in composite cases: exact penalty, semidefinite programming. Also, we use this new theory to design a conceptual pattern for superlinearly convergent minimization algorithms. Finally, we establish a connection with the Moreau-Yosida regularization.

     

The distributivity numbers of /fin and its square

We show that in a model obtained by forcing with a countable support iteration of Mathias forcing of length , the distributivity number of /fin is , whereas the distributivity number of r.o./fin) is . This answers a problem of Balcar, Pelant and Simon, and others.