“Regular systems” of numbers in ℝ and “ubiquitous systems” in ℝk, k ≥ 1, have been used previously to obtain lower bounds for the Hausdorff dimension of various sets in ℝ and ℝk respectively. Both these concepts make sense for systems of numbers in ℝ, but the definitions of the two types of object are rather different. In this paper it will be shown that, after certain modifications to the definitions, the two concepts are essentially equivalent.

We also consider the concept of a ℳs∞-dense sequence in ℝk, which was introduced by Falconer to construct classes of sets having “large intersection”. We will show that ubiquitous systems can be used to construct examples of ℳs∞-dense sequences. This provides a relatively easy means of constructing ℳs∞-dense sequences; a direct construction and proof that a sequence is ℳs∞-dense is usually rather difficult.

This second part follows on directly from the first part that appears on pages 125–156 of this volume. The references for this part are included amongst the references appearing at the end of the first part.

Let M be a compact flat Riemannian manifold of dimension n, and Γ its fundamental group. Then we have the following exact sequence (see [1])

where Zn is a maximal abelian subgroup of Γ and G is a finite group isomorphic to the holonomy group of M. We shall call Γ a Bieberbach group. Let T be a flat torus, and let Ggr act via isometries on T; then ┌ acts isometrically on × T where is the universal covering of M and yields a flat Riemannian structure on ( × T)/Γ. A flat-toral extension (see [9, p. 371]) of the Riemannian manifold M is any Riemannian manifold isometric to ( × T)/Γ where T is a flat torus on which Γ acts via isometries. It is convenient to adopt the convention that a single point is a 0-dimensional flat torus. If this is done, M is itself among the flat toral extensions of M. Roughly speaking, this is a way of putting together a compact flat manifold and a flat torus to make a new flat manifold the dimension of which is the sum of the dimensions of its constituents. It is, more precisely, a fibre bundle over the flat manifold with a flat torus as fibre.

Let Ω be an algebraic number field, and let NΩ ⊂ ℚ be the group of norms of fractional ideals of Ω. Then NΩ is a subgroup of the positive rationals; the latter is the direct sum of a denumerable infinity of infinite cyclic groups, and so it is free abelian; thus NΩ is free abelian, and, since it is not finitely generated, we must have qua abstract groups. The purpose of this paper is, in the first place, to find a “metrical ” way of distinguishing these isomorphic groups, and, to this end, we introduce the notion of Farey density, defined as follows; let X be a positive integer, and consider the Farey section ℱ(X) of order X, thus the set of all reduced positive fractions with denominator < X; then the quotient

measures the proportion of elements of ℱ(X) which are in NΩ, and, as X → ∞, it gives a measure of the “density ” of fractional ideal norms in the rational interval (0, 1).

This paper presents a new result concerning the distribution of 2-Selmer ranks in the quadratic twist family of an elliptic curve over an arbitrary number field $K$ with a single point of order two that does not have a cyclic 4-isogeny defined over its two-division field. We prove that at least half of all the quadratic twists of such an elliptic curve have arbitrarily large 2-Selmer rank, showing that the distribution of 2-Selmer ranks in the quadratic twist family of such an elliptic curve differs from the distribution of 2-Selmer ranks in the quadratic twist family of an elliptic curve having either no rational two-torsion or full rational two-torsion.

We prove that among all flag triangulations of manifolds of odd dimension $2r-1$ , with a sufficient number of vertices, the unique maximizer of the entries of the $f$ -, $h$ -, $g$ - and $\unicode[STIX]{x1D6FE}$ -vector is the balanced join of $r$ cycles. Our proof uses methods from extremal graph theory.

We study the heat semigroup maximal operator associated with a well-known orthonormal system in the $d$-dimensional ball. The corresponding heat kernel is shown to satisfy Gaussian bounds. As a consequence, we can prove weighted $L^{p}$ estimates, as well as some weighted inequalities in mixed norm spaces, for this maximal operator.

Professor C. L. Siegel has pointed out that the statement following equation (9) on page 98 of [1] is false, but can be made correct by adding to the conditions (7) of [1] the further condition:

The paper discusses the advantages of solving boundaryvalue problems by the use of eigen-function expansions of suitable fourth order differential equations instead of those of second order equations. Some such expansions are constructed, their convergence properties studied and their use in different types of boundary-value problems are discussed.

The problem considered here is that of a torsional impulsive body force within a semi-infinite elastic solid. The surface of the solid is assumed to be either stress-free or rigidly clamped. The basic solution is found to be essentially the same as that for the surface loading of a half space previously considered by Eason [1]. The displacement is determined in terms of elementary functions for one particular type of body force, although using the results in [1] the solution can be obtained for other types of force. Some numerical results for the surface displacement of the stress-free solid are presented in graphical form.

We examine the asymptotic form of a fundamental set of solutions of the third-order equation

as x → ∞, where the leading coefficient q is nowhere zero in some interval [a, ∞). The equation is self-adjoint in the case when p, r and iq are real. However, our analysis is not confined to this case, and we generally take the coefficients to be complex-valued.

Let (bn) be a sequence of integers, obtained by traversing the rows of Pascal's triangle, as follows: start from the element at the top of the triangle, and at each stage continue from the current element to one of the elements at the next row, either the one immediately to the left of the current element or the one immediately to its right. Consider the distribution of the sequence (bnα) modulo 1 for an irrational α. The main results show that this sequence “often” fails to be uniformly distributed modulo 1, and provide answers to some questions raised by Adams and Petersen.

We obtain explicit lower bounds on the lattice packing densities δL of superballs G of quite a general nature, and we conjecture that as the dimension n approaches infinity, the bounds are asymptotically exact. If the conjecture were true, it would follow that the maximum lattice-packing density of the Iσ-ball is 2−n(1+σ(1)) for each σ in the interval 1 ≤ σ ≤ 2.

Given a commutative semigroup (S, +) with identity 0 and u × v matrices A and B with nonnegative integers as entries, we show that if C = A – B satisfies Rado's columns condition over ℤ, then any central set in S contains solutions to the system of equations . In particular, the system of equations is then partition regular. Restricting our attention to the multiplicative semigroup of positive integers (so that coefficients become exponents) we show that the columns condition over ℤ is also necessary for the existence of solutions in any central set (while the distinct notion of the columns condition over Q is necessary and sufficient for partition regularity over ℕ\{1}).

Let ‖x‖ denote the distance of x from the nearest integer. We are going to use a method of W. M. Schmidt [4] to prove three theorems.

This paper gives an algorithm for generating all the solutions in integers x0, x1…, xn of the inequality

where 1, α1, …,αn are numbers, linearly independent over the rationals, in a real algebraic number field of degree n + 1 ≥ 3 and c is any sufficiently large positive constant. It is well known [2, p. 79] that if c is small enough, then (1) has no integer solutions with x1…, xn not all zero.

In [8,9] Jayne and Rogers studied piece-wise closed maps and ℱσ maps between metric spaces. A map f of a metric space X into a metric space Y is said to be an ℱσ map if: (a) f maps ℱσ-sets in X to ℱσ-sets in Y; and (b) f1 maps ℱσ-sets in Y back to ℱσ-sets in X. A map fof a metric space X into a metric space Y is said to be piece-wise closed if:it is possible to find a sequence X1, X2,… of closed sets in X, with with each setf(Xi), i ≥ 1, closed in Y, and with the restriction offto each Xi, a closed map (i.e., a continuous map that maps closed sets to closed sets).

We consider the differential equation

where w(x) = xα for α > -1, q is a real-valued member of (0, ∞) and λ is a complex number with

Let p(n) be the usual partition function. Let l be an odd prime, and let r (mod t) be any arithmetic progression. If there exists an integer n ≡ r (mod t) such that p(n) ≢ 0 (mod l), then, for large X,

We begin by denning the notion of a tangential limit for a function f denned in the unit disc

Let be a positive continuous function on (0, 1) for which

Suppose B>0, -, and define

where The region . makes tangential contact with the boundary U of the unit disc at ei; when (r) = ( l - r2), for instance, (, , 1) is the disc with radius and centre ei