Let K be a number field of degree nK = r1 + 2r2, a fixed integral ideal and the group of fractional ideals of K whose prime decomposition contains no prime factors of . Let

and be an arbitrary Groessencharaktere mod f as defined in [15]. Then and, for

where {λi} forms a basis for the torsion–free characters on whose value on any depends only on the that exists such that a = (α). Note that because of the choice in such an α we have that 1 for all units ε in K satisfying (mod ), ε>0. Also, x is a narrow ideal class character mod , that is, a character on

Let ((x)) = x −⌊x⌋−1/2 be the swatooth function. If a, b, c and e are positive integeral, then the integral or ((ax)) ((bx)) ((cx)) ((ex)) over the unit interval involves Apolstol's generalized Dedekind sums. By expressing this integral as a lattice-point sum we obtain an elementary method for its evaluation. We also give an elementary proof of the reciprocity law for the third generalized Dedekind sum.

We study the Lw-norm (2 ≤ W < ∞) of the discrepancy of a sequence of points in the unit cube relative to similar copies of a given convex polygon. In particular, we prove the rather surprising result that the estimates obtained have the same order of magnitude as the analogous question when the sequence of points is replaced by a set of points.

The Redheffer matrix An = (aij)n×n defined by aij = 1 when i|j or j = 1 and aij = 0 otherwise has many interesting number theoretic properties. In this paper we give fairly precise estimates for its eigenvalues in punctured discs of small radius centred at 1.

The aim of the paper is to show the existence of a ‘Hall's ray’ for the particular case of the one-sided inhomogeneous diophantine approximation problem, where the irrational is the golden ratio. The proof uses a sum-set method similar to that used by Marshall Hall for the original result of this kind.

The exponential sum S(x) = Σe(f(m + x)) has mean square size O(M), when m runs through M consecutive integers, f(x) satisfies bounds on the second and third derivatives, and x runs from 0 to 1.

In the paper [2] Hsia noted that the forms x2+xy+y2+9z2 and x2+3y2+3yz+3z2 constitute a genus and that both forms are regular; he asked whether there exist any other genera containing two or more regular forms. In this note it is proved that the forms

are regular. They constitute a genus with discriminant 27 (in the normalization used by Brandt and Intrau in [1]). It is noteworthy that Hsia's genus has the same discriminant.

For arbitrary f: R → R and ϒ ⊂ Z × R we define the set of quantized observations of f relative to ϒ as follows: for each integer n and each y∈R we write

(the supremum of an empty set is taken to be −∞ ) and we put

Thus for example and , where [x] (without subscript) denotes as usual the integer part of x.

Roth's Theorem says that given ρ < 2 and an algebraic number α, all but finitely many rational numbers x/y satisfy |α - (x/y)|< |y|-ρ. We give upper bounds for the number of these exceptional rationals when 3 ≤ ρ ≤ d, where d is the degree of α. Our result suplements bounds given by Bombieri and Van der Poorten when 2 > ρ ≤ 3; naturally the bounds become smaller as ρ increases.

We prove a generalization of a theorem of Ryshkov relating the Voronoï vectors of lattices to the defining conditions for the Minkowski fundamental domain . This is then used to prove that a Minkowski reduced basis of a lattice of dimension n < 7 consists of strict Voronoï vectors.

In this note we introduce recurring-with-carry sequences which generalize add-with-carry and subtract-with-borrow sequences introduced in [1], and describe periods of admissible recurring-with-carry sequences which include add-with-carry and subtract-with-borrow sequences with a few exceptions.

Let λ1, …, λs be nonzero real numbers and suppose that λ1/λs is irrational. In 1955, Davenport and Roth showed [6] that the values taken by

at integer points (x1, …, xs) are dense on the real line, provided that s≥8. In the present paper we obtain the same result with seven variables.

Szekeres defined a continuous analogue of the additive ordinary continued fraction expansion, which iterates a map T on a domain which can be identified with the unit square [0, 1]2. Associated to it are continuous analogues of the Lagrange and Markoff spectrum. Our main result is that these are identical with the usual Lagrange and Markoff spectra, respectively; thus providing an alternative characterization of them.

Szekeres also described a multi-dimensional analogue of T, which iterates a map Td on a higherdimensional domain; he proposed using it to bound d-dimensional Diophantine approximation constants. We formulate several open problems concerning the Diophantine approximation properties of the map Td.

For a class of functions containing polynomials over ℤm, we give an inequality relating the cardinality of the value set to the additive order of differences of elements in that set. To do this, we find some inequalities concerning the combinatorics of substrings of sequences on finite sets which are related to an interesting matrix inequality.

Let R⊂S be two orders in a number field, and let ER and ES be the respective groups of units in each ring. Then ES/ER and S/R are both finite. We consider the problem of bounding the order of ES/ER in terms of the index of R in S. In this paper we solve this problem in the special case that S/R is cyclic as a module over Z.

We study polynomials over an integral domain R which, for infinitely many prime ideals P, induce a permutation of R/P. In many cases, every polynomial with this property must be a composition of Dickson polynomials and of linear polynomials with coefficients in the quotient field of R. In order to find out which of these compositions have the required property we investigate some number theoretic aspects of composition of polynomials. The paper includes a rather elementary proof of ‘Schur's Conjecture’ and contains a quantitative version for polynomials of prime degree.

This article studies particular sequences satisfying polynomial recurrences, among those Apéry's sequence which is shown to be the Legendre transform of the sequence. This results in the construction of simultaneous approximations of π 2/8 and ζ(3).

In this short paper, we shall give a new estimate for the exponential sum S(H, M, N), where

e( ξ,) = exp (2πiξ;) for a real number ξ, am and bn are complex numbers with |am| ≤ 1 and |bn| ≤ l, H, M, N ≤1, , x is a large number, ε is a sufficiently small positive number, and Y ≤ x(½)−ε (h ∼ H means 1≤h/H < 2 and so on). In making application of the Rosser-Iwaniec linear sieve of Iwaniec [6] to find almost primes in short intervals of the type (x − y, x], Halberstam, Heath-Brown and Richert [4] first considered an estimate for S(H, M, N) to the effect that

with MN as large as possible. Later, better estimates were given in Iwaniec and Laborde [7], and Fouvry and Iwaniec [3]. Of course, the most interesting case would be finding P2 numbers in a short interval (x − y, x]. The related estimate of [7] implies that (1) holds provided that

Let r, k, h be positive integers. For any Dirichlet character χ modulo k write

Let

Asymptotic formulae for Ik(T) have been established for the cases k=1 (Hardy-Littlewood, see [13]) and k = 2 (Ingham, see [13]). However, the asymptotic behaviour of Ik(T) remains unknown for any other value of k (except the trivial k = 0, of course). Heath-Brown, [6], and Ramachandra, [10], [11], independently established that, assuming the Riemann Hypothesis, when 0≤K≤2, Ik(T) is of the order T(log T)k2 One believes that this is the right order of magnitude for Ik(T) even when k = 2 and indeed expects an asymptotic formula of the form

where Ck is a suitable positive constant. It is not clear what the value of Ck should be.