A continuity property of multivariate Lagrange interpolation

Let be a sequence of interpolation schemes in of degree (i.e. for each one has unique interpolation by a polynomial of total degree and total order . Suppose that the points of tend to as and the Lagrange-Hermite interpolants, , satisfy for all monomials with . Theorem: for all functions of class in a neighborhood of . (Here denotes the Taylor series of at 0 to order .) Specific examples are given to show the optimality of this result.

     

Further tabulation of the Erdös-Selfridge function

For a positive integer , the Erdös-Selfridge function is the least integer such that all prime factors of exceed . This paper describes a rapid method of tabulating using VLSI based sieving hardware. We investigate the number of admissible residues for each modulus in the underlying sieving problem and relate this number to the size of . A table of values of for is provided.

     

Approximating the number of integers free of large prime factors

Define to be the number of positive integers such that has no prime divisor larger than . We present a simple algorithm that approximates in floating point operations. This algorithm is based directly on a theorem of Hildebrand and Tenenbaum. We also present data which indicate that this algorithm is more accurate in practice than other known approximations, including the well-known approximation , where is Dickman's function.

     

On the asymptotic spectrum of Hermitian block Toeplitz matrices with Toeplitz blocks

We study the asymptotic behaviour of the eigenvalues of Hermitian block Toeplitz matrices , with Toeplitz blocks. Such matrices are generated by the Fourier coefficients of an integrable bivariate function , and we study their eigenvalues for large and , relating their behaviour to some properties of as a function; in particular we show that, for any fixed , the first eigenvalues of tend to , while the last tend to , so extending to the block case a well-known result due to Szegö. In the case the 's are positive-definite, we study the asymptotic spectrum of , where is a block Toeplitz preconditioner for the conjugate gradient method, applied to solve the system , obtaining strict estimates, when and are fixed, and exact limit values, when and tend to infinity, for both the condition number and the conjugate gradient convergence factor of the previous matrices. Extensions to the case of a deeper nesting level of the block structure are also discussed.

     

Density of Carmichael numbers with three prime factors

We get an upper bound of on the number of Carmichael numbers with exactly three prime factors.

     

On Wendt's determinant

Wendt's determinant of order is the circulant determinant whose -th entry is the binomial coefficient , for . We give a formula for , when is even not divisible by 6, in terms of the discriminant of a polynomial , with rational coefficients, associated to . In particular, when where is a prime , this yields a factorization of involving a Fermat quotient, a power of and the 6-th power of an integer.

     

The Diophantine equation

An effective method is derived for solving the equation of the title in positive integers and for given completely, and is carried out for all . If is of the form , then there is the solution , ; in the above range, except for with solution , , there are no other solutions.

     

Optimal information for approximating periodic analytic functions

Let be a strip in the complex plane. For fixed integer let denote the class of -periodic functions , which are analytic in and satisfy in . Denote by the subset of functions from that are real-valued on the real axis. Given a function , we try to recover at a fixed point by an algorithm on the basis of the information

where , are the Fourier coefficients of . We find the intrinsic error of recovery

Furthermore the -dimensional optimal information error, optimal sampling error and -widths of in , the space of continuous functions on , are determined. The optimal sampling error turns out to be strictly greater than the optimal information error. Finally the same problems are investigated for the class , consisting of all -periodic functions, which are analytic in with -integrable boundary values. In the case sampling fails to yield optimal information as well in odd as in even dimensions.

     

On searching for solutions of the Diophantine equation

We propose a new search algorithm to solve the equation for a fixed value of . By parametrizing min, this algorithm obtains and (if they exist) by solving a quadratic equation derived from divisors of . By using several efficient number-theoretic sieves, the new algorithm is much faster on average than previous straightforward algorithms. We performed a computer search for 51 values of below 1000 (except ) for which no solution has previously been found. We found eight new integer solutions for and in the range of .

     

Bounds for Multiplicative Cosets over Fields of Prime Order

Let be a positive integer and suppose that is an odd prime with . Suppose that and consider the polynomial . If this polynomial has any roots in , where the coset representatives for are taken to be all integers with , then these roots will form a coset of the multiplicative subgroup of consisting of the th roots of unity mod . Let be a coset of in , and define . In the paper ``Numbers Having Small th Roots mod ' (Mathematics of Computation, Vol. 61, No. 203 (1993),pp. 393-413), Robinson gives upper bounds for of the form , where is the Euler phi-function. This paper gives lower bounds that are of the same form, and seeks to sharpen the constants in the upper bounds of Robinson. The upper bounds of Robinson are proven to be optimal when is a power of or when

     

On a Problem of Byrnes concerning Polynomials with Restricted Coefficients

We consider a question of Byrnes concerning the minimal degree of a polynomial with all coefficients in which has a zero of a given order at . For , we prove his conjecture that the monic polynomial of this type of minimal degree is given by , but we disprove this for . We prove that a polynomial of this type must have , which is in sharp contrast with the situation when one allows coefficients in . The proofs use simple number theoretic ideas and depend ultimately on the fact that .

     

Numerical solution of isospectral flows

In this paper we are concerned with the problem of solving numerically isospectral flows. These flows are characterized by the differential equation

where is a symmetric matrix, is a skew-symmetric matrix function of and is the Lie bracket operator. We show that standard Runge-Kutta schemes fail in recovering the main qualitative feature of these flows, that is isospectrality, since they cannot recover arbitrary cubic conservation laws. This failure motivates us to introduce an alternative approach and establish a framework for generation of isospectral methods of arbitrarily high order.

     

Equivalent formulae for the supremum and stability of weighted pseudoinverses

During recent decades, there have been a great number of research articles studying interior-point methods for solving problems in mathematical programming and constrained optimization. Stewart and O'Leary obtained an upper bound for scaled pseudoinverses of a matrix where is a set of diagonal positive definite matrices. We improved their results to obtain the supremum of scaled pseudoinverses and derived the stability property of scaled pseudoinverses. Forsgren further generalized these results to derive the supremum of weighted pseudoinverses where is a set of diagonally dominant positive semidefinite matrices, by using a signature decomposition of weighting matrices and by applying the Binet-Cauchy formula and Cramer's rule for determinants. The results are also extended to equality constrained linear least squares problems. In this paper we extend Forsgren's results to a general complex matrix to establish several equivalent formulae for , where is a set of diagonally dominant positive semidefinite matrices, or a set of weighting matrices arising from solving equality constrained least squares problems. We also discuss the stability property of these weighted pseudoinverses.

     

Comments on search procedures for primitive roots

Let be an odd prime. Assuming the Extended Riemann Hypothesis, we show how to construct residues modulo , one of which must be a primitive root, in deterministic polynomial time. Granting some well-known character sum bounds, the proof is elementary, leading to an explicit algorithm.

     

New estimates for Ritz vectors

The following estimate for the Rayleigh-Ritz method is proved:

Here is a bounded self-adjoint operator in a real Hilbert/euclidian space, one of its eigenpairs, a trial subspace for the Rayleigh-Ritz method, and a Ritz pair. This inequality makes it possible to analyze the fine structure of the error of the Rayleigh-Ritz method, in particular, it shows that if an eigenvector is close to the trial subspace with accuracy and a Ritz vector is an approximation to another eigenvector, with a different eigenvalue. Generalizations of the estimate to the cases of eigenspaces and invariant subspaces are suggested, and estimates of approximation of eigenspaces and invariant subspaces are proved.

     

Computing Canonical Heights With Little (or No) Factorization

Let be an elliptic curve with discriminant , and let . The standard method for computing the canonical height is as a sum of local heights . There are well-known series for computing the archimedean height , and the non-archimedean heights are easily computed as soon as all prime factors of have been determined. However, for curves with large coefficients it may be difficult or impossible to factor . In this note we give a method for computing the non-archimedean contribution to which is quite practical and requires little or no factorization. We also give some numerical examples illustrating the algorithm.

     

Decomposing 40 billion integers by four tetrahedral numbers

Based upon a computer search performed on a massively parallel supercomputer, we found that any integer less than billion (B) but greater than can be written as a sum of four or fewer tetrahedral numbers. This result has established a new upper bound for a conjecture compared to an older one, B, obtained a year earlier. It also gives more accurate asymptotic forms for partitioning. All this improvement is a direct result of algorithmic advances in efficient memory and cpu utilizations. The heuristic complexity of the new algorithm is compared with that of the old, .

     

Computational experiences on the distances of polynomials to irreducible polynomials

In this paper we deal with a problem of Turán concerning the `distance' of polynomials to irreducible polynomials. Using computational methods we prove that for any monic polynomial of degree there exists a monic polynomial with deg() = deg() such that is irreducible over and the `distance' of and is .

     

The Rabin-Monier theorem for Lucas pseudoprimes

We give bounds on the number of pairs with such that a composite number is a strong Lucas pseudoprime with respect to the parameters .

     

Modular forms which behave like theta series

In this paper, we determine all modular forms of weights , , for the full modular group which behave like theta series, i.e., which have in their Fourier expansions, the constant term and all other Fourier coefficients are non-negative rational integers. In fact, we give convex regions in (resp. in ) for the cases (resp. for the cases ). Corresponding to each lattice point in these regions, we get a modular form with the above property. As an application, we determine the possible exceptions of quadratic forms in the respective dimensions.