New Fibonacci and Lucas primes

Extending previous searches for prime Fibonacci and Lucas numbers, all probable prime Fibonacci numbers have been determined for and all probable prime Lucas numbers have been determined for . A rigorous proof of primality is given for and for numbers with , , , , , , , , the prime having 3020 digits. Primitive parts and of composite numbers and have also been tested for probable primality. Actual primality has been established for many of them, including 22 with more than 1000 digits. In a Supplement to the paper, factorizations of numbers and are given for as far as they have been completed, adding information to existing factor tables covering .

     

Analysis of PSLQ, an integer relation finding algorithm

Let be either the real, complex, or quaternion number system and let be the corresponding integers. Let be a vector in . The vector has an integer relation if there exists a vector , , such that . In this paper we define the parameterized integer relation construction algorithm PSLQ, where the parameter can be freely chosen in a certain interval. Beginning with an arbitrary vector , iterations of PSLQ will produce lower bounds on the norm of any possible relation for . Thus PSLQ can be used to prove that there are no relations for of norm less than a given size. Let be the smallest norm of any relation for . For the real and complex case and each fixed parameter in a certain interval, we prove that PSLQ constructs a relation in less than iterations.

     

Normal bases via general Gauss periods

Gauss periods have been used successfully as a tool for constructing normal bases in finite fields. Starting from a primitive th root of unity, one obtains under certain conditions a normal basis for over , where is a prime and for some integer . We generalize this construction by allowing arbitrary integers with , and find in many cases smaller values of than is possible with the previously known approach.

     

Nonexistence conditions of a solution for the congruence

We obtain nonexistence conditions of a solution for of the congruence , where , and are integers, and is a prime power. We give nonexistence conditions of the form for , , , , , and of the form for , , , . Furthermore, we complete some tables concerned with Waring's problem in -adic fields that were computed by Hardy and Littlewood.

     

Double roots of power series and related matters

For a given collection of distinct arguments , multiplicities and a real interval containing zero, we are interested in determining the smallest for which there is a power series with coefficients in , and roots of order respectively. We denote this by . We describe the usual form of the extremal series (we give a sufficient condition which is also necessary when the extremal series possesses at least non-dependent coefficients strictly inside , where is 1 or 2 as is real or complex). We focus particularly on , the size of the smallest double root of a power series lying on a given ray (of interest in connection with the complex analogue of work of Boris Solomyak on the distribution of the random series ). We computed the value of for the rationals in of denominator less than fifty. The smallest value we encountered was . For the one-sided intervals and the corresponding smallest values were and .

     

Error estimates for 3- narrow finite elements

We obtain error estimates for finite element approximations of the lowest degree valid uniformly for a class of three-dimensional narrow elements. First, for the Lagrange interpolation we prove optimal error estimates, both in order and regularity, in for . For it is known that this result is not true. Applying extrapolation results we obtain an optimal order error estimate for functions sligthly more regular than . These results are valid both for tetrahedral and rectangular elements. Second, for the case of rectangular elements, we obtain optimal, in order and regularity, error estimates for an average interpolation valid for functions in with and .

     

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.

     

Maximum excursion and stopping time record-holders for the problem: Computational results

This paper presents some results concerning the search for initial values to the so-called problem which give rise either to function iterates that attain a maximum value higher than all function iterates for all smaller initial values, or which have a stopping time higher than those of all smaller initial values. Our computational results suggest that for an initial value of , the maximum value of the function iterates is bounded from above by , with either a constant or a very slowly increasing function of . As a by-product of this (exhaustive) search, which was performed up to , the conjecture was verified up to that same number.

     

Tame and wild kernels of quadratic imaginary number fields

For all quadratic imaginary number fields of discriminant
we give the conjectural value of the order of Milnor's group (the tame kernel) where is the ring of integers of Assuming that the order is correct, we determine the structure of the group and of its subgroup (the wild kernel). It turns out that the odd part of the tame kernel is cyclic (with one exception, ).

     

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.

     

Stability of Runge-Kutta methods for abstract time-dependent parabolic problems: The Hölder case

We consider an abstract time-dependent, linear parabolic problem

where , , is a family of sectorial operators in a Banach space with time-independent domain . This problem is discretized in time by means of an A() strongly stable Runge-Kutta method, . We prove that the resulting discretization is stable, under the assumption

where and . Our results are applicable to the analysis of parabolic problems in the , , norms.

     

On factor refinement in number fields

Let be an order of an algebraic number field. It was shown by Ge that given a factorization of an -ideal into a product of -ideals it is possible to compute in polynomial time an overorder of and a gcd-free refinement of the input factorization; i.e., a factorization of into a power product of -ideals such that the bases of that power product are all invertible and pairwise coprime and the extensions of the factors of the input factorization are products of the bases of the output factorization. In this paper we prove that the order is the smallest overorder of in which such a gcd-free refinement of the input factorization exists. We also introduce a partial ordering on the gcd-free factorizations and prove that the factorization which is computed by Ge's algorithm is the smallest gcd-free refinement of the input factorization with respect to this partial ordering.

     

Tables of linear congruential generators of different sizes and good lattice structure

We provide sets of parameters for multiplicative linear congruential generators (MLCGs) of different sizes and good performance with respect to the spectral test. For , we take as a modulus the largest prime smaller than , and provide a list of multipliers such that the MLCG with modulus and multiplier has a good lattice structure in dimensions 2 to 32. We provide similar lists for power-of-two moduli , for multiplicative and non-multiplicative LCGs.

     

Computing automorphisms of abelian number fields

Let be an abelian number field of degree . Most algorithms for computing the lattice of subfields of require the computation of all the conjugates of . This is usually achieved by factoring the minimal polynomial of over . In practice, the existing algorithms for factoring polynomials over algebraic number fields can handle only problems of moderate size. In this paper we describe a fast probabilistic algorithm for computing the conjugates of , which is based on -adic techniques. Given and a rational prime which does not divide the discriminant of , the algorithm computes the Frobenius automorphism of in time polynomial in the size of and in the size of . By repeatedly applying the algorithm to randomly chosen primes it is possible to compute all the conjugates of .

     

A priori error estimates for Galerkin approximations to porous medium and fast diffusion equations

Galerkin approximations to solutions of a Cauchy-Dirichlet problem governed by the generalized porous medium equation

on bounded convex domains are considered. The range of the parameter includes the fast diffusion case . Using an Euler finite difference approximation in time, the semi-discrete solution is shown to converge to the exact solution in norm with an error controlled by for and for . For the fully discrete problem, a global convergence rate of in norm is shown for the range . For , a rate of is shown in norm.

     

Solving polynomials by radicals with roots of unity in minimum depth

Let be an algebraic number field. Let be a root of a polynomial which is solvable by radicals. Let be the splitting field of over . Let be a natural number divisible by the discriminant of the maximal abelian subextension of , as well as the exponent of , the Galois group of over . We show that an optimal nested radical with roots of unity for can be effectively constructed from the derived series of the solvable Galois group of over .

     

Zeta functions of a class of elliptic curves over a rational function field of characteristic two

We show how to calculate the zeta functions and the orders of Tate-Shafarevich groups of the elliptic curves with equation over the rational function field , where is a power of 2. In the range , , odd of degree , the largest values obtained for are (one case), (one case) and (three cases). We observe and discuss a remarkable pattern for the distributions of signs in the functional equation and of fudge factors at places of bad reduction. These imply strong restrictions on the precise form of the Langlands correspondence for GL over local or global fields of characteristic two.

     

Elliptic binomial diophantine equations

The complete sets of solutions of the equation are determined for the cases , , , , , , , . In each of these cases the equation is reduced to an elliptic equation, which is solved by using linear forms in elliptic logarithms. In all but one case this is more or less routine, but in the remaining case () we had to devise a new variant of the method.

     

Largest known twin primes and Sophie Germain primes

The numbers are twin primes. The number is a Sophie Germain prime, i.e. and are both primes. For , the numbers , and are all primes.

     

Gaps between integers with the same prime factors

We give numerical and theoretical evidence in support of the conjecture of Dressler that between any two positive integers having the same prime factors there is a prime. In particular, it is shown that the abc conjecture implies that the gap between two consecutive such numbers is , and it is shown that this lower bound is best possible. Dressler's conjecture is verified for values of and up to .