We show that if a polytope K1, in ℝd can be partitioned into a finite number of sets, and these sets can be moved by isometries in a locally discrete group to form a convex body K2, then K2 is a polytope and a similar partition can be made where the sets involved are simplices with disjoint interiors. This gives partial answers to questions of Tarski, Sallee and Wagon.

We consider a tiling of a square with convex tiles of areas a1,… aN and perimeters p1,…,pN and pose the following problems.

PROBLEM 1. For given values of a1, …, aN find the minimum of P = p1 + … + pN.

PROBLEM 2. For given values of p1,…,pN find the maximum of A = a1+…+aN.

We shall consider incomplete exponential sums of the shape

where q, a and h are integers satisfying 1 ≤ a < a + h ≤ q, f(x) is a function denned at least for the integers in the range of summation, and eq(t) is an abbreviation for e2πit/q.

It is proved that the sequence is completely uniformly distributed modulo 1 for almost all real numbers x with |x|> 1, if (an) is an arbitrary sequence of distinct positive integers.

Extending the well-known property of the Rudin- Shapiro sequence ε = (ε(n)) with values in {−1, +1} satisfying

we show that for all unimodular 2-multiplicative sequences f = (f(n))

In the middle of the last century, Kummer's studies on the famous Fermat conjecture led him to the question: when does a given prime p > 2 divide the class number of the p-th cyclotomic field? His conclusion was that this happens, if, and only if, p divides at least one of the Bernoulli numbers B2, B4,…, Bp_3. Such a prime is called irregular. Carlitz [1] has given the simplest proof of the fact that the number of irregular primes is infinite. However, it is not known whether there are infinitely many regular primes.

Let . denote the modular curve associated with the normalizer of a non-split Cartan group of level N., where N. is an arbitrary integer. The curve is denned over Q and the corresponding scheme over ℤ[1/N] is smooth [1]. If N. is a prime, the genus formula for . is given in [5,6]. The curve . has genus 0 if N < 11 and has genus 1. Ligozat [5] has shown that the group of Q-rational points on has rank 1. If the genus g(N). is greater than 1, very little is known about the Q-rational points of . Since under simple conditions imaginary quadratic fields with class number 1 give an integral point on these curves, Serre and others have asked whether all integral points are obtained in this way [8].

In this paper we study certain properties of free actions of non-abelian p-groups (p≥3) on products of spheres (Sn)k, k≥2. The following theorems are proved.

Recently, Szczepariski [11] has constructed examples of aspherical manifolds with the ℚ-homology of a sphere. More precisely, if k is a commutative ring of characteristic zero containing , the following theorem holds.

The results we present were motivated by the product measure problem for Baire measures. For two completely regular Hausdorff spaces X and Y, with totally finite a- additive measures μ and ν defined on the Baire σ- algebras ℬ0(X) and ℬ0(Y) respectively, under what conditions may we define a measure λ on the Baire σ-algebra ℬ0(X × Y), extending the product measure μ ⊗ ν defined on the product σ-algebra ℬ0(X) × ℬ0(Y) and satisfying a Fubini theorem?

A basic notion in the classical theory of differentiation is that of a differentiation base. However, some differentiation type theorems only require the less restricted notion of a contraction. We demonstrate that the classical criteria, such as the covering criteria of de Possel, continue to hold in the new setting.

When a displacement front meets a heterogeneity in a porous medium, its shape will be altered. The amount of distortion depends on the size and shape of the heterogeneity, the amount of variation of the heterogeneous properties, and the mobility ratio between the displaced and displacing fluids. The solution for a circular permeability discontinuity is known when the capillary pressure is uniform and the mobility ratio M is unity [4]. Here, we extend the theory to the case where there is a small change ε in capillary pressure as well as a nearly unit mobility ratio M = 1 + εγ. Corrections can then be found, in closed form, to first order in ε, to the shape of the front and the pressure field. Computations using these expressions are simpler than the full free-boundary problem, and some analytical estimates are possible in further limits. Finally, the theory is extended to the case of a front passing a number of such heterogeneous patches which are widely spaced.

For (x, t) ∈ Rn+1, we put

The asymptotic behaviour of a sequence of polynomials cm = cm(v) satisfying

is established. These polynomials occur in Hawkins' formula for the residues of a Bessel-zeta function at its possible poles in the left half plane. The results imply that cm(v)/cm(0) converges uniformly to cos πV on compact sets. This in turn implies that, for v not a half odd integer, all but finitely many of the possible poles are actual poles.

Some interlacing properties of the zeros of the generalized Airy functions A1(z, p) are given for non-positive integral values of p. The result that A1 (z,p) has no real zero for is extended to show that all the zeros of A1(z,p) are real and simple if . It is also shown that all the zeros of the functions Bk(z,p, 1) for k = 1, 2, 3 are simple for non-positive integral p.

Consider a point transformation of the biharmonic equation

namely a coordinate transformation

together with a change of dependent variable given by

for some multiplier F(ξ, η).

In the paper which forms the basis for the modern asymptotic theory of linear differential systems, Levinson [22] considered the system

on an interval [a, ∞), where

(1) A is a constant nÜn matrix with n distinct eigenvalues and either

(2a) R(x) is L(a, ∞)

or

(2b) R(x)→0 as x→∞ and R'(x) is L(a, ∞).

Suppose that f(z) is non-constant and meromorphic in the plane and that, for some k≥= 1, a0(z),…, ak(z) are meromorphic in the plane with

for j' = 0,…, k. Here, using standard notation from [3], S(r,f) denotes any quantity satisfying S(r,f) = o(T(r,f)) as r→ ∞, possibly outside a set of finite linear measure. Then, setting

we have ([3, p. 57])

Theorem A. Suppose that f(z) is non-constant and meromorphic in the plane, and thatψ (z) given by (1.2) and (1.1) and is non-constant. Then

where N0(r, l/ψ') counts only zeros of ψ' which are not zeros of ψ − 1, and thecounting functions count points without regard to multiplicity.

In [5] we have developed part of a theory of K- analytic sets that forms a common generalization of the theory of Lindelöf K- analytic sets developed by Choquet, Sion and Frolik and the theory of metric analytic sets developed by Stone and Hansell. As we explain in [5], this theory parallels the recently developed theory of Frolík and Holický, but has certain advantages. In this paper we take the theory rather further, and, in particular, we prove a number of variants of Lusin's first separation theorem and give some of their applications. We make free use of the definitions, notation and conventions introduced in [5].