We investigate the growth rate of the Birkhoff sums $S_{n,\unicode[STIX]{x1D6FC}}f(x)=\sum _{k=0}^{n-1}f(x+k\unicode[STIX]{x1D6FC})$, where $f$ is a continuous function with zero mean defined on the unit circle $\mathbb{T}$ and $(\unicode[STIX]{x1D6FC},x)$ is a ‘typical’ element of $\mathbb{T}^{2}$. The answer depends on the meaning given to the word ‘typical’. Part of the work will be done in a more general context.

Relying on results due to Shmerkin and Solomyak, we show that outside a zero-dimensional set of parameters, for every planar homogeneous self-similar measure $\unicode[STIX]{x1D708}$, with strong separation, dense rotations and dimension greater than $1$, there exists $q>1$ such that $\{P_{z}\unicode[STIX]{x1D708}\}_{z\in S}\subset L^{q}(\mathbb{R})$. Here $S$ is the unit circle and $P_{z}w=\langle z,w\rangle$ for $w\in \mathbb{R}^{2}$. We then study such measures. For instance, we show that $\unicode[STIX]{x1D708}$ is dimension conserving in each direction and that the map $z\rightarrow P_{z}\unicode[STIX]{x1D708}$ is continuous with respect to the weak topology of $L^{q}(\mathbb{R})$.

By using methods of subordinacy theory, we study packing continuity properties of spectral measures of discrete one-dimensional Schrödinger operators acting on the whole line. Then we apply these methods to Sturmian operators with rotation numbers of quasibounded density to show that they have purely $\unicode[STIX]{x1D6FC}$-packing continuous spectrum. A dimensional stability result is also mentioned.

We construct a family of self-affine tiles in $\mathbb{R}^{d}$ ($d\geqslant 2$) with noncollinear digit sets, which naturally generalizes a class studied originally by Q.-R. Deng and K.-S. Lau in $\mathbb{R}^{2}$, and its extension to $\mathbb{R}^{3}$ by the authors. We obtain necessary and sufficient conditions for the tiles to be connected and for their interiors to be contractible.

We show that a natural generalization of compressibility is the sole obstruction to the existence of a cocycle-invariant Borel probability measure.

We describe how to approximate fractal transformations generated by a one-parameter family of dynamical systems $W:[0,1]\rightarrow [0,1]$ constructed from a pair of monotone increasing diffeomorphisms $W_{i}$ such that $W_{i}^{-1}:[0,1]\rightarrow [0,1]$ for $i=0,1$. An algorithm is provided for determining the unique parameter value such that the closure of the symbolic attractor $\overline{\unicode[STIX]{x1D6FA}}$ is symmetrical. Several examples are given, one in which the $W_{i}$ are affine and two in which the $W_{i}$ are nonlinear. Applications to digital imaging are also discussed.

We consider a one-parameter family of dynamical systems $W:[0,1]\rightarrow [0,1]$ constructed from a pair of monotone increasing diffeomorphisms $W_{i}$ such that $W_{i}^{-1}:$$[0,1]\rightarrow [0,1]$$(i=0,1)$. We characterise the set of symbolic itineraries of $W$ using an attractor $\overline{\unicode[STIX]{x1D6FA}}$ of an iterated closed relation, in the terminology of McGehee, and prove that there is a member of the family for which $\overline{\unicode[STIX]{x1D6FA}}$ is symmetrical.

Let $\mathbf{M}=(M_{1},\ldots ,M_{k})$ be a tuple of real $d\times d$ matrices. Under certain irreducibility assumptions, we give checkable criteria for deciding whether $\mathbf{M}$ possesses the following property: there exist two constants $\unicode[STIX]{x1D706}\in \mathbb{R}$ and $C>0$ such that for any $n\in \mathbb{N}$ and any $i_{1},\ldots ,i_{n}\in \{1,\ldots ,k\}$, either $M_{i_{1}}\cdots M_{i_{n}}=\mathbf{0}$ or $C^{-1}e^{\unicode[STIX]{x1D706}n}\leq \Vert M_{i_{1}}\cdots M_{i_{n}}\Vert \leq Ce^{\unicode[STIX]{x1D706}n}$, where $\Vert \cdot \Vert$ is a matrix norm. The proof is based on symbolic dynamics and the thermodynamic formalism for matrix products. As applications, we are able to check the absolute continuity of a class of overlapping self-similar measures on $\mathbb{R}$, the absolute continuity of certain self-affine measures in $\mathbb{R}^{d}$ and the dimensional regularity of a class of sofic affine-invariant sets in the plane.

For $x\in (0,1]$ and a positive integer $n,$ let $S_{\!n}(x)$ denote the summation of the first $n$ digits in the dyadic expansion of $x$ and let $r_{n}(x)$ denote the run-length function. In this paper, we obtain the Hausdorff dimensions of the following sets:

$$\begin{eqnarray}\bigg\{x\in (0,1]:\liminf _{n\rightarrow \infty }\frac{S_{\!n}(x)}{n}=\unicode[STIX]{x1D6FC},\limsup _{n\rightarrow \infty }\frac{S_{\!n}(x)}{n}=\unicode[STIX]{x1D6FD},\lim _{n\rightarrow \infty }\frac{r_{n}(x)}{\log _{2}n}=\unicode[STIX]{x1D6FE}\bigg\},\end{eqnarray}$$

$0\leq \unicode[STIX]{x1D6FC}\leq \unicode[STIX]{x1D6FD}\leq 1$

$0\leq \unicode[STIX]{x1D6FE}\leq +\infty$

Let $f\in C^{2}(\mathbb{T}^{2})$ have mean value 0 and consider

$$\begin{eqnarray}\sup _{\unicode[STIX]{x1D6FE}\,\text{closed geodesic}}\frac{1}{|\unicode[STIX]{x1D6FE}|}\biggl|\int _{\unicode[STIX]{x1D6FE}}f\,d{\mathcal{H}}^{1}\biggr|,\end{eqnarray}$$

$\unicode[STIX]{x1D6FE}$

$\unicode[STIX]{x1D6FE}:\mathbb{S}^{1}\rightarrow \mathbb{T}^{2}$

$|\unicode[STIX]{x1D6FE}|$

$\unicode[STIX]{x1D6FE}$

$s\geq 2$

$$\begin{eqnarray}|\unicode[STIX]{x1D6FE}|^{s}{\lesssim}_{s}\biggl(\max _{|\unicode[STIX]{x1D6FC}|=s}\Vert \unicode[STIX]{x2202}_{\unicode[STIX]{x1D6FC}}f\Vert _{L^{1}(\mathbb{T}^{2})}\biggr)\Vert \unicode[STIX]{x1D6FB}f\Vert _{L^{2}}\Vert f\Vert _{L^{2}}^{-2}.\end{eqnarray}$$

We exhibit the first explicit examples of Salem sets in ℚp of every dimension 0 < α < 1 by showing that certain sets of well-approximable p-adic numbers are Salem sets. We construct measures supported on these sets that satisfy essentially optimal Fourier decay and upper regularity conditions, and we observe that these conditions imply that the measures satisfy strong Fourier restriction inequalities. We also partially generalize our results to higher dimensions. Our results extend theorems of Kaufman, Papadimitropoulos, and Hambrook from the real to the p-adic setting.

The class of stochastically self-similar sets contains many famous examples of random sets, for example, Mandelbrot percolation and general fractal percolation. Under the assumption of the uniform open set condition and some mild assumptions on the iterated function systems used, we show that the quasi-Assouad dimension of self-similar random recursive sets is almost surely equal to the almost sure Hausdorff dimension of the set. We further comment on random homogeneous and V -variable sets and the removal of overlap conditions.

The classical Alexandrov–Bakelman–Pucci estimate for the Laplacian states

$$\begin{eqnarray}\max _{x\in \unicode[STIX]{x03A9}}|u(x)|\leqslant \max _{x\in \unicode[STIX]{x2202}\unicode[STIX]{x03A9}}|u(x)|+c_{s,n}\text{diam}(\unicode[STIX]{x03A9})^{2-\frac{n}{s}}\Vert \unicode[STIX]{x0394}u\Vert _{L^{s}(\unicode[STIX]{x03A9})},\end{eqnarray}$$

$\unicode[STIX]{x03A9}\subset \mathbb{R}^{n}$

$u\in C^{2}(\unicode[STIX]{x03A9})\cap C(\overline{\unicode[STIX]{x03A9}})$

$s>n/2$

$s=n/2$

$n\geqslant 3$

$\unicode[STIX]{x03A9}\subset \mathbb{R}^{n}$

$$\begin{eqnarray}\max _{x\in \unicode[STIX]{x03A9}}|u(x)|\leqslant \max _{x\in \unicode[STIX]{x2202}\unicode[STIX]{x03A9}}|u(x)|+c_{n}\Vert \unicode[STIX]{x0394}u\Vert _{L^{\frac{n}{2},1}(\unicode[STIX]{x03A9})},\end{eqnarray}$$

$L^{p,q}$

$L^{p}$

$n=2$

$c>0$

$\unicode[STIX]{x03A9}\subset \mathbb{R}^{2}$

$$\begin{eqnarray}\max _{x\in \unicode[STIX]{x03A9}}|u(x)|\leqslant \max _{x\in \unicode[STIX]{x2202}\unicode[STIX]{x03A9}}|u(x)|+c\max _{x\in \unicode[STIX]{x03A9}}\int _{y\in \unicode[STIX]{x03A9}}\max \left\{1,\log \left(\frac{|\unicode[STIX]{x03A9}|}{\Vert x-y\Vert ^{2}}\right)\right\}|\unicode[STIX]{x0394}u(y)|dy.\end{eqnarray}$$

In this paper we study digit frequencies in the setting of expansions in non-integer bases, and self-affine sets with non-empty interior. Within expansions in non-integer bases we show that if $\unicode[STIX]{x1D6FD}\in (1,1.787\ldots )$ then every $x\in (0,1/(\unicode[STIX]{x1D6FD}-1))$ has a simply normal $\unicode[STIX]{x1D6FD}$-expansion. We also prove that if $\unicode[STIX]{x1D6FD}\in (1,(1+\sqrt{5})/2)$ then every $x\in (0,1/(\unicode[STIX]{x1D6FD}-1))$ has a $\unicode[STIX]{x1D6FD}$-expansion for which the digit frequency does not exist, and a $\unicode[STIX]{x1D6FD}$-expansion with limiting frequency of zeros $p$, where $p$ is any real number sufficiently close to $1/2$. For a class of planar self-affine sets we show that if the horizontal contraction lies in a certain parameter space and the vertical contractions are sufficiently close to $1$, then every non-trivial vertical fibre contains an interval. Our approach lends itself to explicit calculation and gives rise to new examples of self-affine sets with non-empty interior. One particular strength of our approach is that it allows for different rates of contraction in the vertical direction.

In this paper we discuss some dimension results for triangle sets of compact sets in $\mathbb{R}^{2}$. In particular we prove that for any compact set $F$ in $\mathbb{R}^{2}$, the triangle set $\unicode[STIX]{x1D6E5}(F)$ satisfies

$$\begin{eqnarray}\dim _{\text{A}}\unicode[STIX]{x1D6E5}(F)\geqslant {\textstyle \frac{3}{2}}\dim _{\text{A}}F.\end{eqnarray}$$

$\dim _{\text{A}}F>1$

$$\begin{eqnarray}\dim _{\text{A}}\unicode[STIX]{x1D6E5}(F)\geqslant 1+\dim _{\text{A}}F.\end{eqnarray}$$

$\dim _{\text{A}}F>4/3$

$$\begin{eqnarray}\dim _{\text{A}}\unicode[STIX]{x1D6E5}(F)\geqslant \min \{{\textstyle \frac{5}{2}}\dim _{\text{A}}F-1,3\}.\end{eqnarray}$$

$F$

$$\begin{eqnarray}\text{}\underline{\dim _{\text{B}}}F\geqslant {\textstyle \frac{3}{2}}\text{}\underline{\dim _{\text{B}}}\unicode[STIX]{x1D6E5}(F)\quad \text{and}\quad \overline{\dim _{\text{B}}}F\geqslant {\textstyle \frac{3}{2}}\overline{\dim _{\text{B}}}\unicode[STIX]{x1D6E5}(F).\end{eqnarray}$$

We study a class of optimal transport planning problems where the reference cost involves a non-linear function G(x, p) representing the transport cost between the Dirac measure δx and a target probability p. This allows to consider interesting models which favour multi-valued transport maps in contrast with the classical linear case ($G(x,p)=\int c(x,y)dp$) where finding single-valued optimal transport is a key issue. We present an existence result and a general duality principle which apply to many examples. Moreover, under a suitable subadditivity condition, we derive a Kantorovich–Rubinstein version of the dual problem allowing to show existence in some regular cases. We also consider the well studied case of Martingale transport and present some new perspectives for the existence of dual solutions in connection with Γ-convergence theory.

In this paper we analyze the first-order behavior (that is, the right-sided derivative) of the volume of the dilation A⊕tQ as t converges to 0. Here A and Q are subsets of n-dimensional Euclidean space, A has finite perimeter, and Q is finite. If Q consists of two points only, n and n+u, say, this derivative coincides up to a sign with the directional derivative of the covariogram of A in direction u. By known results for the covariogram, this derivative can therefore be expressed by the cosine transform of the surface area measure of A. We extend this result to finite sets Q and use it to determine the derivative of the contact distribution function with finite structuring element of a stationary random set at 0. The proofs are based on an approximation of the indicator function of A by smooth functions of bounded variation.

In this paper we develop renewal theorems for point processes with interarrival times ξ(Xn+1Xn…), where (Xn)n∈ℤ is a stochastic process with finite state space Σ and ξ:ΣA→ℝ is a Hölder continuous function on a subset ΣA⊂Σℕ. The theorems developed here unify and generalise the key renewal theorem for discrete measures and Lalley's renewal theorem for counting measures in symbolic dynamics. Moreover, they capture aspects of Markov renewal theory. The new renewal theorems allow for direct applications to problems in fractal and hyperbolic geometry, for instance to the problem of Minkowski measurability of self-conformal sets.

We establish several new metrical results on the distribution properties of the sequence ({xn})n≥1, where {·} denotes the fractional part. Many of them are presented in a more general framework, in which the sequence of functions (x ↦ xn)n≥1 is replaced by a sequence (fn)n≥1, under some growth and regularity conditions on the functions fn.

In this paper we study the Assouad dimension of graphs of certain Lévy processes and functions defined by stochastic integrals. We do this by introducing a convenient condition which guarantees a graph to have full Assouad dimension and then show that graphs of our studied processes satisfy this condition.