Let Tβ be the β-transformation on [0, 1). When β is an integer Tβ is ergodic with respect to Lebesgue measure and almost all orbits {} are uniformly distributed. Here we consider the non-integer case, determine when Tα, Tβ have the same invariant measure and when (appropriately normalised) orbits are uniformly distributed.

For a point set in the multidimensional unit torus we introduce an Lk-measure of uniformity of distribution, which for k=2 reduces to diaphony (and thus in this case essentially coincides with Weyl L2-discrepancy). For k ∈ [1, 2] we establish a sharp asymptotic for this new measure as the number of points of the set tends to infinity. Upper and lower-bound estimates are given also for k >2.

For a two parameter family of C3 diffeomorphisms having a homoclinic orbit of tangency derived from a horseshoe, the relationship between the measure of the parameter values at which the diffeomorphism (restricted to a certain compact invariant set containing the horseshoe) is not expansive and the Hausdorff dimension of the horseshoe associated to the homoclinic orbit of tangency is investigated. This is a simple application of the Newhouse-Palis-Takens-Yoccoz theory.

Recently, it has been shown that tight or almost tight upper bounds for the discrepancy of many geometrically denned set systems can be derived from simple combinatorial parameters of these set systems. Namely, if the primal shatter function of a set system ℛ on an n-point set X is bounded by const. md, then the discrepancy disc (ℛ) = O(n(d−1)/2d) (which is known to be tight), and if the dual shatter function is bounded by const. md, then disc We prove that for d = 2, 3, the latter bound also cannot be improved in general. We also show that bounds on the shatter functions alone do not imply the average (L1)-discrepancy to be much smaller than the maximum discrepancy: this contrasts results of Beck and Chen for certain geometric cases. In the proof we give a construction of a certain asymptotically extremal bipartite graph, which may be of independent interest.

In 1984 Heath-Brown [5] proved the following conjecture of Erdős and Mirsky [2] (which seemed at one time as hard as the twin prime problem):

“There exist infinitely many integers n for which d(n) = d(n + 1).”

In the first part of the paper we show that the L2-discrepancy with respect to squares is of the same order of magnitude as the usual L2- discrepancy for point distributions in the K-dimensional torus. In the second part we adapt this method to obtain a generalization of Roth's [7] lower bound (log N)(k-1)/2 (for the usual discrepancy) to the discrepancy with respect to homothetic simple convex poly topes.

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.

For any fixed positive real number ε, any integer b≥2 and any dε{0, 1,…, b−1}, the set of Borel's simply normal numbers to base b in [0, 1] is partitioned into a countable number of sets in eight different ways according to the largest place and the number of places at which the proportion d's to that place in the b-adic expansion of such a number exceeds or is not less than b−1 – ε, or is less than or does not exceed b−1 – ε. For selected values ε, the Lebesgue measures of the sets in these decompositions are given explicitly.

Suppose that is a distribution of N points in the unit square U = [0, 1]2. For every measurable set B in U, let Z[; B] denote the number of ponts of in B, and write

where µ denotes the usual measure in ℝ2

Suppose that is a distribution of N points in U0, the closed disc of unit area and centred at the origin 0. For every measurable set B in ℝ2, let Z[; B] denote the number of ponts of in B, and write

where µ denotes the usual measure in ℝ2

A rational number is called a best approximant of the irrational number ζ if it lies closer to ζ than all rational numbers with a smaller denominator. Metrical properties of these best approximants are studied. The main tool is the two-dimensional ergodic system, underlying the continued fraction expansion.

Among all possible semiregular continued fraction expansions of an irrational number the one with the best approximation properties, in a well-defined and natural sense, is determined. Some properties of this so called optimal continued fraction expansion are described.

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.

We consider two unique products for a given p—adic integer x with leading coefficient 1, where anbn ∈ {0, 1,… p − 1}. It is shown that, for almost all such x relative to Haar measure on the p—adic integers, the sequences (an), (bn) are normal to base p, and have standard normal distribution functions.

We exhibit a sequence (un) which is not uniformly distributed modulo one even though for each fixed integer k ≥ 2 the sequence (kun) is u.d. (mod 1). Within the set of all such sequences, we characterize those with a well-behaved asymptotic distribution function. We exhibit a sequence (un) which is u.d. (mod 1) even though no subsequence of the form (ukn + j) is u.d. (mod 1) for any k ≥ 2. We prove that, if the subsequences (ukn) are u.d. (mod 1) for all squarefree k which are products of primes in a fixed set P, then (un) is u.d. (mod I) if the sum of the reciprocals of the primes in P diverges. We show that this result is the best possible of its type.

Let S be the surface of the unit sphere in three-dimensional euclidean space, and let WN=(x1x2, xN)be an N-tuple of points on S. We consider the product of mutual distances and, for the variable point x on S, the product of distance from x to the points of ωN. We obtain essentially best possible bounds for maxωN p(ΩN) and for minωN maxx∈sp(x, ωN).

Let R, S be a partition of 2, 3,… so that rational powers fall in the same class. Let (λn) be any real sequence; we show that there exists a set N, of dimension 1, so that (x + λn) (n = 1,2, …) are normal to every base from R and to no base from S, for every x ∈ N.

Let $g\geqslant 2$. A real number is said to be $g$-normal if its base $g$ expansion contains every finite sequence of digits with the expected limiting frequency. Let $\unicode[STIX]{x1D711}$ denote Euler’s totient function, let $\unicode[STIX]{x1D70E}$ be the sum-of-divisors function, and let $\unicode[STIX]{x1D706}$ be Carmichael’s lambda-function. We show that if $f$ is any function formed by composing $\unicode[STIX]{x1D711}$, $\unicode[STIX]{x1D70E}$, or $\unicode[STIX]{x1D706}$, then the number

$$\begin{eqnarray}0.f(1)f(2)f(3)\cdots\end{eqnarray}$$

$g$

$f$

$g$

$1,2,3,\ldots$

$2,3,5,\ldots$

$0.235711131719\cdots \,$