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.

For any measure-preserving system $(X,{\mathcal{B}},\unicode[STIX]{x1D707},T_{1},\ldots ,T_{d})$ with no commutativity assumptions on the transformations $T_{i},$$1\leq i\leq d,$ we study the pointwise convergence of multiple ergodic averages with iterates of different growth coming from a large class of sublinear functions. This class properly contains important subclasses of Hardy field functions of order zero and of Fejér functions, i.e., tempered functions of order zero. We show that the convergence of the single average, via an invariant property, implies the convergence of the multiple one. We also provide examples of sublinear functions which are, in general, bad for convergence on arbitrary systems, but good for uniquely ergodic systems. The case where the fastest function is linear is addressed as well, and we provide, in all the cases, an explicit formula of the limit function.

In the realm of Delone sets in locally compact, second countable Hausdorff groups, we develop a dynamical systems approach in order to study the continuity behavior of measured quantities arising from point sets. A special focus is both on the autocorrelation, as well as on the density of states for random bounded operators. It is shown that for uniquely ergodic limit systems, the latter measures behave continuously with respect to the Chabauty–Fell convergence of hulls. In the special situation of Euclidean spaces, our results complement recent developments in describing spectra as topological limits: we show that the measured quantities under consideration can be approximated via periodic analogs.

Utilizing frameworks developed by Delsarte, Yudin and Levenshtein, we deduce linear programming lower bounds (as $N\rightarrow \infty$) for the Riesz energy of $N$-point configurations on the $d$-dimensional unit sphere in the so-called hypersingular case; i.e., for non-integrable Riesz kernels of the form $|x-y|^{-s}$ with $s>d$. As a consequence, we immediately get (thanks to the poppy-seed bagel theorem) lower estimates for the large $N$ limits of minimal hypersingular Riesz energy on compact $d$-rectifiable sets. Furthermore, for the Gaussian potential $\exp (-\unicode[STIX]{x1D6FC}|x-y|^{2})$ on $\mathbb{R}^{p}$, we obtain lower bounds for the energy of infinite configurations having a prescribed density.

We consider a meromorphic family of endomorphisms of degree at least 2 of a complex projective space that is parameterized by the unit disk. We prove that the measure of maximal entropy of these endomorphisms converges to the equilibrium measure of the associated non-Archimedean dynamical system when the system degenerates. The convergence holds in the hybrid space constructed by Berkovich and further studied by Boucksom and Jonsson. We also infer from our analysis an estimate for the blow-up of the Lyapunov exponent near a pole in one-dimensional families of endomorphisms.

For the class of self-similar measures in $\mathbb{R}^{d}$ with overlaps that are essentially of finite type, we set up a framework for deriving a closed formula for the $L^{q}$-spectrum of the measure for $q\geq 0$. This framework allows us to include iterated function systems that have different contraction ratios and those in higher dimension. For self-similar measures with overlaps, closed formulas for the $L^{q}$-spectrum have only been obtained earlier for measures satisfying Strichartz’s second-order identities. We illustrate how to use our results to prove the differentiability of the $L^{q}$-spectrum, obtain the multifractal dimension spectrum, and compute the Hausdorff dimension of the measure.

It is known that the space of boundedly finite integer-valued measures on a complete separable metric space becomes a complete separable metric space when endowed with the weak-hash metric. It is also known that convergence under this topology can be characterised in a way that is similar to the weak convergence of totally finite measures. However, the original proofs of these two fundamental results assume that a certain term is monotonic, which is not the case as we show by a counterexample. We clarify these original proofs by addressing the parts that rely on this assumption and finding alternative arguments.