In this paper, we reduce the logarithmic Sarnak conjecture to the $\{0,1\}$-symbolic systems with polynomial mean complexity. By showing that the logarithmic Sarnak conjecture holds for any topologically dynamical system with sublinear complexity, we provide a variant of the $1$-Fourier uniformity conjecture, where the frequencies are restricted to any subset of $[0,1]$ with packing dimension less than one.

This is the first paper in a two-part series containing some results on dimension estimates for $C^1$ iterated function systems and repellers. In this part, we prove that the upper box-counting dimension of the attractor of any $C^1$ iterated function system (IFS) on ${\Bbb R}^d$ is bounded above by its singularity dimension, and the upper packing dimension of any ergodic invariant measure associated with this IFS is bounded above by its Lyapunov dimension. Similar results are obtained for the repellers for $C^1$ expanding maps on Riemannian manifolds.

A subset $X$ of a Polish group $G$ is called Haar null if there exist a Borel set $B\,\supset \,X$ and Borel probability measure $\mu$ on $G$ such that $\mu \left( g\,Bh \right)\,=\,0$ for every $g,\,h\,\in \,G$. We prove that there exist a set $X\,\subset \,\text{R}$ that is not Lebesgue null and a Borel probability measure $\mu$ such that $\mu \left( X\,+\,t \right)\,=\,0$ for every $t\,\in \,\text{R}$. This answers a question from David Fremlin’s problem list by showing that one cannot simplify the definition of a Haar null set by leaving out the Borel set $B$. (The answer was already known assuming the Continuum Hypothesis.)

This result motivates the following Baire category analogue. It is consistent with $ZFC$ that there exist an abelian Polish group $G$ and a Cantor set $C\,\subset \,G$ such that for every non-meagre set $X\,\subset \,\text{G}$ there exists a $t\in \text{G}$ such that $C\,\cap \,\left( X\,+\,t \right)$ is relatively non-meagre in $C$. This essentially generalizes results of Bartoszyński and Burke–Miller.

A linear Cantor set $C$ with zero Lebesgue measure is associated with the countable collection of the bounded complementary open intervals. A rearrangment of $C$ has the same lengths of its complementary intervals, but with different locations. We study the Hausdorff and packing $h$-measures and dimensional properties of the set of all rearrangments of some given $C$ for general dimension functions $h$. For each set of complementary lengths, we construct a Cantor set rearrangement which has the maximal Hausdorff and the minimal packing $h$-premeasure, up to a constant. We also show that if the packing measure of this Cantor set is positive, then there is a rearrangement which has infinite packing measure.

If Z is the branching mechanism for a supercritical Galton-Watson tree with a single progenitor and E[ZlogZ] < ∞, then there is a branching measure μ defined on ∂Γ, the set of all paths ξ which have a unique node ξ|n at each generation n. We use the natural metric ρ(ξ,η) = e−n, where n = max{k : ξ|k = η|k}, and observe that the local dimension index is d(μ,ξ) = limn→∞ log(μB(ξ|n))/(-n) = α = logm, for μ-almost every ξ. Our objective is to consider the exceptional points where the above display may fail. There is a nontrivial ‘thin’ spectrum for ̄d(μ,ξ) when p1 = P{Z = 1} > 0 and Z has finite moments of all positive orders. Because ̱d(μ,ξ) = a for all ξ, we obtain a ‘thick’ spectrum by introducing the ‘right’ power of a logarithm. In both cases, we find the Hausdorff dimension of the exceptional sets.