We shall say that the sets A, B ⊂ Rk are equivalent, if they are equidecomposable using translations; that is, if there are finite decompositions and vectors x1,…, xd∈Rk such that Bj = Aj + xj, (j = 1,…,d). We shall denote this fact by In [3], Theorem 3 we proved that if A ⊂ Rk is a bounded measurable set of positive measure then A is equivalent to a cube provided that Δ(δA)<k where δA denotes the boundary of A and Δ(E) denotes the packing dimension (or box dimension or upper entropy index) of the bounded set E. This implies, in particular, that any bounded convex set of positive measure is equivalent to a cube. C. A. Rogers asked whether or not the set

Employing the inverse function theorem on Banach spaces, we prove that in a $C^{2}(S^{n-1})$-neighborhood of the unit ball, the only solutions of $\unicode[STIX]{x1D6F1}^{2}K=cK$ are origin-centered ellipsoids. Here $K$ is an $n$-dimensional convex body, $\unicode[STIX]{x1D6F1}K$ is the projection body of $K$ and $\unicode[STIX]{x1D6F1}^{2}K=\unicode[STIX]{x1D6F1}(\unicode[STIX]{x1D6F1}K).$

We generalize the work of Sarnak and Tsimerman to twisted sums of Kloosterman sums and thus give evidence towards the twisted Linnik–Selberg conjecture.

Radon's theorem [8] asserts that, if X is a finite set of s points in Rd and s ≥ d + 2, then X admits a. Radon partition, that is, a partition {X1; X2} of X into disjoint subsets X1 and X2, such that

We consider a Markoff spectrum for the set of indefinite binary quadratic forms with real coefficients which represent zero non-trivially. As was done for the classical Markoff spectrum, we show that 1/3 is the largest accumulation point of the set and explicitly determine the countably infinite number of elements greater than 1/3. Unlike the situation for the classical Markoff spectrum, there is a countably infinite number of limit points greater than 1/3.

Suppose that we have a system of congruences ai (mod ni) 1 < n1 < … < ni < … < nk such that every integer is congruent to at least one ai (mod ni), then we say that it is a covering system of congruences. If ni | m, 1 ≤ i ≤ k, we say that m is a covering number. We shall use the symbol ℕ to denote the natural numbers together with zero, then m is a covering number if, for each q there is an aq such that

The following theorem is typical of a group of results which have been found to be of importance in the theory of Cesàro summability.

Theorem A. If 0 ≤ ρ ≤ κ (κ, ρ integer), p > −1,p+q −1 and

and ifsn = 0(np) (C, κ), thensn εn = 0(np+q) (C, ρ).

We are concerned with invertible transformations of the unit n-dimensional cube In, 2 ≤ n ≤ ∞, which preserve n-dimensional Lebesgue measure μ. Following Halmos [4], we denote the space of all such transformations by G = G(In), and the subset of G consisting of homeomorphisms by M = M(In). We ask to what extent, and in what sense, can we approximate an arbitrary transformation g in G by a homeomorphism h in M. New results are obtained in the course of presenting a new proof of the theorem of J. Oxtoby and H. E. White, Jr., stated below.

The concept of mixed invariant set is due to Bandt [1], Bedford [2], Dekking [3, 4], Marion [4] and Schulz [10]. An m-tuple B = (B1, …, Bm) of closed and bounded subsets Bi of a complete finitely compact (bounded and closed subsets are compact) metric space X is called a mixed invariant set with respect to contractions f1, …, fm and a transition matrix M = (mij), if, and only if,

for every i ∈ {1, …, m}. In the papers quoted an essential condition is that all mappings f1, …, fm be contractions. We will show that, under certain conditions, the construction of mixed invariant sets also works in cases where some of the mappings are isometries or even expanding mappings.

The analytic paracommutators in the periodic case have been studied. Their boundedness, compactness, the Schatten-von Neumann properties and the cut-off phenomena have been proved. These results have been applied to some kind of operators on the Bergman spaces that have cut-off at any p∈(0, ∞).

Farah recently proved that many Borel P-ideals. on satisfy the following requirement: any measurable homomorphism has a continuous lifting which is a homomorphism itself. Ideals having such a property were called Radon–Nikodym (RN) ideals. Answering some Farah's questions, it is proved that many non-P ideals, including, for instance, Fin ⊗ Fin, are Radon–Nikodym. To prove this result, another property of ideals called the Fubini property, is introduced, which implies RN and is stable under some important transformations of ideals.

It is shown that the cross-section body of a convex body K ⊂ ℝ3, that is the symmetric body which has for radial function in the direction u the maximal volume of a section of K by an hyperplane orthogonal to u, is a convex body in ℝ3.

We investigate sums of mixed powers involving two squares and three biquadrates. In particular, subject to the truth of the Generalised Riemann Hypothesis and the Elliott–Halberstam conjecture, we show that all large natural numbers $n$ with $8\nmid n$, $n\not\equiv 2~(\text{mod} ~3)$ and $n\not\equiv 14~(\text{mod} ~16)$ are the sum of two squares and three biquadrates.

We prove that the exponent of distribution of $\unicode[STIX]{x1D70F}_{3}$ in arithmetic progressions can be as large as $\frac{1}{2}+\frac{1}{34}$, provided that the moduli is squarefree and has only sufficiently small prime factors. The tools involve arithmetic exponent pairs for algebraic trace functions, as well as a double $q$-analogue of the van der Corput method for smooth bilinear forms.

We prove bounds for the truncated directional Hilbert transform in $L^{p}(\mathbb{R}^{2})$ for any $1<p<\infty$ under a combination of a Lipschitz assumption and a lacunarity assumption. It is known that a lacunarity assumption alone is not sufficient to yield boundedness for $p=2$, and it is a major question in the field whether a Lipschitz assumption alone suffices, at least for some $p$.

We consider a class of singular Schrödinger operators H that act in L2(0,∞), each of which is constructed from a positive function ϕ on (0,∞). Our analysis is direct and elementary. In particular it does not mention the potential directly or make any assumptions about the magnitudes of the first derivatives or the existence of second derivatives of ϕ. For a large class of H that have discrete spectrum, we prove that the eigenvalue asymptotics of H does not depend on rapid oscillations of ϕ or of the potential. Similar comments apply to our treatment of the existence and completeness of the wave operators.

We examine correlations of the Möbius function over $\mathbb{F}_{q}[t]$ with linear or quadratic phases, that is, averages of the form 1

$$\begin{eqnarray}\frac{1}{q^{n}}\mathop{\sum }_{\deg f<n}\unicode[STIX]{x1D707}(f)\unicode[STIX]{x1D712}(Q(f))\end{eqnarray}$$

$\unicode[STIX]{x1D712}$

$\mathbb{F}_{q}$

$Q\in \mathbb{F}_{q}[x_{0},\ldots ,x_{n-1}]$

$x_{0},\ldots ,x_{n-1}$

$f=\sum _{i<n}x_{i}t^{i}$

$\unicode[STIX]{x1D707}$

$O_{\unicode[STIX]{x1D716}}(q^{(-1/4+\unicode[STIX]{x1D716})n})$

$\unicode[STIX]{x1D716}>0$

$Q$

$O(q^{-n^{c}})$

$c>0$

$Q$

$O(q^{-c^{\prime }n})$

$c^{\prime }>0$

$Q(f)$

$f^{2}$

We study the metric entropy of the metric space ${\mathcal{B}}_{n}$ of all $n$-dimensional Banach spaces (the so-called Banach–Mazur compactum) equipped with the Banach–Mazur (multiplicative) “distance” $d$. We are interested either in estimates independent of the dimension or in asymptotic estimates when the dimension tends to $\infty$. For instance, we prove that, if $N({\mathcal{B}}_{n},d,1+{\it\varepsilon})$ is the smallest number of “balls” of “radius” $1+{\it\varepsilon}$ that cover ${\mathcal{B}}_{n}$, then for any ${\it\varepsilon}>0$ we have

$$\begin{eqnarray}0<\liminf _{n\rightarrow \infty }n^{-1}\log \log N({\mathcal{B}}_{n},d,1+{\it\varepsilon})\leqslant \limsup _{n\rightarrow \infty }n^{-1}\log \log N({\mathcal{B}}_{n},d,1+{\it\varepsilon})<\infty .\end{eqnarray}$$

$n$

$d_{N}$

$N\times N$

$N$

$N$

$N=1$

$n$

$N\times N$

One of the oldest questions concerning primitive roots is that of the actual order df magnitude of the least positive primitive root m(p) to a large prime modulus p. During the last sixty years the interest of several mathematicians has been attracted by this problem. The history of the major results is too well known to need elaboration. The best known bound for m(p) is due to Wang [8] and Burgess [1] who independently obtained

The object of this paper is to prove the following:

Theorem. Every perfect septenary quadratic form assumes its minimum value at a set of 7 points with integer co-ordinates whose determinant is 1.

This is true also, as shown by Rankin [1], with n ≤ 6 in place of 7. The proof will be shortened considerably by using the weaker result obtained in [1] for n = 7, and we shall also use the following classical results, see, e.g., [2], for Hermite's constant γn: