I investigate what can be said about a set E in a probability space X when the “square” E x E can be covered by the squares of stochastically independent sets of given measure.

We improve W. Schmidt's lower bound for the slice (intersection of two halfspheres) discrepancy of point distributions on spheres and show that this estimate is up to a logarithmic factor best possible. It is shown that the slice and spherical cap discrepancies are equivalent for the definition of uniformly distributed sequences on spheres.

The purpose of this work is to investigate the relationship between Radon transforms and centrally symmetric convex bodies. Because of the injectivity properties of the Radon transform it is natural to consider transforms on the sphere separately from those on the higher order Grassmannians. Here we shall concentrate on the latter, whilst the former will be the subject of another article presently in preparation, Goodey and Weil [1991].

There are two principal ways of decomposing knots and links into simpler ones: (1) a sphere intersecting the knot in two points gives a connected sum decomposition; (2) an incompressible torus in the knot complement gives a satellite decomposition. If a knot K is such that in every connected sum decomposition one of the factors is an unknotted arc spanning the sphere then K is called a prime knot. In [L] Raymond Lickorish explored the possibility of using 2-string tangles to construct and detect prime knots. He defined prime tangles and showed that the sum of prime tangles is always a prime knot or link. Later, Quach Cam Van studied partial sums of tangles and gave necessary and sufficient conditions for the resulting tangle to be prime. In this paper, similar results are established which relate to the satellite decomposition rather than to the connected sum.

This paper is concerned with convex subsets of finite dimensional vtctor spaces, over the field of real scalars. As in [10, p. 244] and [20] we say that a compact convex set A, symmetric about the origin, is reducible, if there is a nonsymmetric closed convex set B for which A = B - B. The latter term denotes the set of all differences, {x-y: x, y є B}. Equivalently, A is reducible if, and only if, A =1/2 (B - B) for some B which is not a translate of A. If the identity A = B - B is only possible when B is centrally symmetric, then A is irreducible. If A is symmetric about a point other than the origin, we can say that it is (ir)reducible when it is the translate of an (ir)reducible set which is symmetric about the origin. It is well known that a parallelotope of any dimension is irreducible [6, Hilfssatz 3], that any 2-dimensional convex body other than a parallelogram is reducible [9, p. 217], and that euclidean balls of any dimension (other than one) are reducible [4, Ch. 7]. For more general convex bodies, the determination of reducibility is not a simple problem. Shephard [20] showed that a set is reducible if, and only if, it has an asymmetric summand, and he used this to study reducibility of polytopes. The main purpose of this paper is to give a new condition, necessary and sufficient for a symmetric polytope to be reducible. This condition may be expressed in the form: does a certain finite family of linear equations have a nontrivial solution? Thus, to determine the reducibility of a given polytope, it suffices to find the rank of some matrix. Using our criterion, we are able to describe some large families of irreducible polytopes. For example, every n- dimensional symmetric polytope with 4n – 2 or fewer vertices is irreducible (unless n = 2). We also establish the existence of irreducible, smooth, strictly convex bodies.

In this paper we characterize the universal pointed actions of a semigroup S on a compact space such that the orbit of the distinguished point is dense; such actions are called transitive. The characterization is given in terms of the universal right topological monoidal compactification of S. All transitive actions are shown to arise as quotients modulo left congruences on this universal compactification. Minimal actions are considered, and close connections between these and minimal left ideals of the compactification are derived.

The main result of this paper is the following theorem. If P is a convex polytope of Ed with affine symmetry, then P can be illuminated by eight (d - 3)-dimensional affine subspaces (two (d- 2)-dimensional affine subspaces, resp.) lying outside P, where d ≥ 3. For d = 3 this proves Hadwiger's conjecture for symmetric convex polyhedra namely, it shows that any convex polyhedron with affine symmetry can be covered by eight smaller homothetic polyhedra. The cornerstone of the proof is a general separation method.

For satellite knots there is a well-known formula which relates the Alexander polynomial of the satellite to those of a companion knot and the corresponding pattern. If &s, &C and &P are the Alexander polynomials of a satellite, companion and pattern respectively then

where is the linking number of P with a meridian of the companion torus (see [BZ], p. 118). Analogous relationships do not exist for other knot polynomials [MS]. This suggests that the existence of the above formula depends more on the geometry underlying the polynomial than on the geometry of the satellite construction.

The n-dimensional cross polytope, |x|+|x2|+…+|xn≤1, can be lattice packed with density δ satisfying

but proofs of this, such as the Minkowski-Hlawka theorem, do not actually provide such packings. That is, they are nonconstructive. Here we exhibit lattice packings whose density satisfies only

but by a highly constructive method. These are the densest constructive lattice packings of cross polytopes obtained so far.

The problem concerning the distribution of the fractional parts of the sequence ank (k an integer exceeding one) was first considered by Hardy and Littlewood [6] and Weyl [20] earlier this century. This work was developed, with the focus on small fractional parts of the sequence, by Vinogradov [17], Heilbronn [13] and Danicic [2] (see [1]). Recently Heath-Brown [12] has improved the unlocalized versions of these results for k ≥ 6 (a slightly stronger result than Heath-Brown's for K = 8 is given on page 24 of [8]. The method mentioned there can, after some numerical calculation, improve Heath-Brown's result for 8 ≤ k ≤ 20, but still stronger results have recently been obtained by Dr. T. D. Wooley). The cognate problem regarding the sequence apk, where p denotes a prime, has also received some attention. In this situation even the case k = 1 proves to be difficult (see [9] and [14]). The first results in this field were given by Vinogradov (see Chapter 11 of [19] for the case k = 1, [18] for k ≥ 2). For k = 2 the best result to date has been supplied by Ghosh [5], and for ≥, by Harman (Theorem 3 in [9], building on the work in [7] and [8]). In this paper we shall improve the known results for 2 ≤ k ≤ 12. For larger k, Theorem 3 in [8] is more efficient. The theorem we prove is as follows.

Introduction. Throughout the paper K(x) is a simple transcendental extension of a field K; v is a valuation of K and w is an extension of v to K(x). Also koÍk and GoÍG denote respectively the residue fields and the value groups of the valuations v and w. A well-known theorem conjectured by Nagata asserts that either k is an algebraic extension of feo or k is a simple transcendental extension of a finite extension of ko (cf [4] or [6] or [1, Corollary 2.3]). We prove here an analogous result for the value groups viz. either G/ Go is a torsion group or there exists a subgroup G1 of G containing Go with [G1: Go] > ∞ such that G is the direct sum of G1 and an infinite cyclic group. Incidentally we obtain a description of the valuation w as well as of its residue field in the second case. Thus a characterization of all those extensions w of v to K(x), for which w(K(x)\{0})/Go is not a torsion group, is given. Corresponding to such a valuation w, we define three numbers N, S and T which satisfy the inequality N ≥= ST. This is analogous to the fundamental inequality established by Ohm (cf. [5, 1.2]) for residually transcendental extensions of v to K(x). We also investigate the conditions under which N = ST

Let K be an algebraic number field, [K: Q] = κ є N; only the case κ > 1 is of interest in this paper. Let f be any non-zero ideal in ZK, the ring of integers of K, and let b be any ray-class (modx f) of K. In this paper we answer a question of P. Erdös (private communication) about the “maximum-growth-rate” of the functions

and

the sum here taken over all ray-classes (modx f), while N(a) is the absolute norm of a. Let

and

where, as usual, for x є R, log+ x - log max {1, x}. We prove

THEOREM 1. For every f, b we have

Let K0(x) be a simple transcendental extension of a field K0, υ0 be a valuation of K0 with value group G0 and residue field K0. Suppose is an inclusion of totally ordered abelian groups with [G1: G0] < ∞ such that G is the direct sum of G1 and an infinite cyclic group. It is proved that there exists an (explicitly constructible) valuation υ of K0(x) extending υ0 such that the value group of υ is G and its residue field is k, where k is a given finite extension of k0. This is analogous to a result of Matignon and Ohm [2, Corollary 3.2] for residually non-algebraic prolongations of υ0 to K0(x).

Let F denote a family of analytic functions in the unit disk Δ. Suppose that one has a “sharp” estimate on the almost everywhere radial variation of functions in the class Δ. We prove that if Δ is contained in the Nevanlinna class N then the estimate will be “sharp” in the algebra A of functions analytic in Δ and continuous in Δ.

The statement from the title is proved.