In this paper we prove that the set $\{|x^1-x^2|,\dots,|x^k-x^{k+1}|\,{:}\,x^i\in E\}$ has non-empty interior in $\mathbb{R}^k$ when $E\subset \mathbb{R}^2$ is a Cartesian product of thick Cantor sets $K_1,K_2\subset\mathbb{R}$ . We also prove more general results where the distance map $|x-y|$ is replaced by a function $\phi(x,y)$ satisfying mild assumptions on its partial derivatives. In the process, we establish a nonlinear version of the classic Newhouse Gap Lemma, and show that if $K_1,K_2, \phi$ are as above then there exists an open set S so that $\bigcap_{x \in S} \phi(x,K_1\times K_2)$ has non-empty interior.

In this paper, we study the Hausdorff dimension of sets defined by almost convergent binary expansion sequences. More precisely, the Hausdorff dimension of the following set

\begin{align*} \bigg\{x\in[0,1)\;:\;\frac{1}{n}\sum_{k=a}^{a+n-1}x_{k}\longrightarrow\alpha\textrm{ uniformly in }a\in\mathbb{N}\textrm{ as }n\rightarrow\infty\bigg\} \end{align*}

$ \alpha\in[0,1] $

$ \alpha $

The aim of this paper is to study the dimension reduction analysis of an elastic plate with small thickness reinforced with increasing number of thin ribbons developing fractal geometry. We prove the $\Gamma $ -convergence of the energy functionals to a two-dimensional effective energy including singular terms supported within the Sierpinski carpet.

Let $ T:[0,1]\to [0,1] $ be an expanding Markov map with a finite partition. Let $ \mu _\phi $ be the invariant Gibbs measure associated with a Hölder continuous potential $ \phi $ . For $ x\in [0,1] $ and $ \kappa>0 $ , we investigate the size of the uniform approximation set

$$ \begin{align*}\mathcal U^\kappa(x):=\{y\in[0,1]:\text{ for all } N\gg1, \text{ there exists } n\le N, \text{ such that }|T^nx-y|<N^{-\kappa}\}.\end{align*} $$

The critical value of $ \kappa $ such that $ \operatorname {\mathrm {\dim _H}}\mathcal U^\kappa (x)=1 $ for $ \mu _\phi $ -almost every (a.e.) $ x $ is proven to be $ 1/\alpha _{\max } $ , where $ \alpha _{\max }=-\int \phi \,d\mu _{\max }/\int \log |T'|\,d\mu _{\max } $ and $ \mu _{\max } $ is the Gibbs measure associated with the potential $ -\log |T'| $ . Moreover, when $ \kappa>1/\alpha _{\max } $ , we show that for $ \mu _\phi $ -a.e. $ x $ , the Hausdorff dimension of $ \mathcal U^\kappa (x) $ agrees with the multifractal spectrum of $ \mu _\phi $ .

Let $M=(\begin {smallmatrix}\rho ^{-1} & 0 \\0 & \rho ^{-1} \\\end {smallmatrix})$ be an expanding real matrix with $0<\rho <1$ , and let ${\mathcal D}_n=\{(\begin {smallmatrix} 0\\ 0 \end {smallmatrix}),(\begin {smallmatrix} \sigma _n\\ 0 \end {smallmatrix}),(\begin {smallmatrix} 0\\ \gamma _n \end {smallmatrix})\}$ be digit sets with $\sigma _n,\gamma _n\in \{-1,1\}$ for each $n\ge 1$ . Then the infinite convolution

$$ \begin{align*}\mu_{M,\{{\mathcal D}_n\}}=\delta_{M^{-1}{\mathcal D}_1}\ast\delta_{M^{-2}{\mathcal D}_2}\ast\cdots\end{align*} $$

is called a Moran–Sierpinski measure. We give a necessary and sufficient condition for $L^2(\,\mu _{M,\{{\mathcal D}_n\}})$ to admit an infinite orthogonal set of exponential functions. Furthermore, we give the exact cardinality of orthogonal exponential functions in $L^2(\,\mu _{M,\{{\mathcal D}_n\}})$ when $L^2(\,\mu _{M,\{{\mathcal D}_n\}})$ does not admit any infinite orthogonal set of exponential functions based on whether $\rho $ is a trinomial number or not.

We introduce a pointwise variant of the Assouad dimension for measures on metric spaces, and study its properties in relation to the global Assouad dimension. We show that, in general, the value of the pointwise Assouad dimension may differ from the global counterpart, but in many classical cases, the pointwise Assouad dimension exhibits similar exact dimensionality properties as the classical local dimension, namely it equals the global Assouad dimension almost everywhere. We also prove an explicit formula for the Assouad dimension of certain invariant measures with place-dependent probabilities supported on self-conformal sets.

We investigate the weighted  $L_p$ affine surface areas which appear in the recently established $L_p$ Steiner formula of the $L_p$ Brunn–Minkowski theory. We show that they are valuations on the set of convex bodies and prove isoperimetric inequalities for them. We show that they are related to f divergences of the cone measures of the convex body and its polar, namely the Kullback–Leibler divergence and the Rényi divergence.

In this paper, we study divergence properties of the Fourier series on Cantor-type fractal measure, also called the mock Fourier series. We give a sufficient condition under which the mock Fourier series for doubling spectral measure is divergent on a set of strictly positive measure. In particular, there exists an example of the quarter Cantor measure whose mock Fourier sums are not almost everywhere convergent.

Motivated by near-identical graphs of two increasing continuous functions—one related to Zaremba’s conjecture and the other due to Salem—we provide an explicit connection between fractals and regular sequences by showing that the graphs of ghost distributions, the distribution functions of measures associated to regular sequences, are sections of self-affine sets. Additionally, we provide a sufficient condition for such measures to be purely singular continuous. As a corollary, and analogous to Salem’s strictly increasing singular continuous function, we show that the ghost distributions of the Zaremba sequences are singular continuous.

We consider the set of elements in a translation of the middle-third Cantor set which can be well approximated by algebraic numbers of bounded degree. A doubling dimensional result is given, which enables one to conclude an upper bound on the dimension of the set in question for a generic translation.

We derive upper and lower bounds for the Assouad and lower dimensions of self-affine measures in $\mathbb {R}^d$ generated by diagonal matrices and satisfying suitable separation conditions. The upper and lower bounds always coincide for $d=2,3$ , yielding precise explicit formulae for those dimensions. Moreover, there are easy-to-check conditions guaranteeing that the bounds coincide for $d \geqslant 4$ . An interesting consequence of our results is that there can be a ‘dimension gap’ for such self-affine constructions, even in the plane. That is, we show that for some self-affine carpets of ‘Barański type’ the Assouad dimension of all associated self-affine measures strictly exceeds the Assouad dimension of the carpet by some fixed $\delta>0$ depending only on the carpet. We also provide examples of self-affine carpets of ‘Barański type’ where there is no dimension gap and in fact the Assouad dimension of the carpet is equal to the Assouad dimension of a carefully chosen self-affine measure.

We prove that certain families of homogenous affine iterated function systems in $\mathbb {R}^{d}$ have the property that the open set condition and the existence of exact overlaps both occur densely in the space of translation parameters. These examples demonstrate that in the theorems of Falconer and Jordan–Pollicott–Simon on the almost sure dimensions of self-affine sets and measures, the set of exceptional translation parameters can be a dense set. The proof combines results from the literature on self-affine tilings of $\mathbb {R}^{d}$ with an adaptation of a classic argument of Erdős on the singularity of certain Bernoulli convolutions. This result encompasses a one-dimensional example due to Kenyon which arises as a special case.

We construct measures whose Fourier coefficients exhibit extreme behaviour among those whose support have Hausdorff h-measure zero.

Based on the work of Mauldin and Williams [‘On the Hausdorff dimension of some graphs’, Trans. Amer. Math. Soc. 298(2) (1986), 793–803] on convex Lipschitz functions, we prove that fractal interpolation functions belong to the space of convex Lipschitz functions under certain conditions. Using this, we obtain some dimension results for fractal functions. We also give some bounds on the fractal dimension of fractal functions with the help of oscillation spaces.

Let $0\leq \alpha \leq \infty $ , $0\leq a\leq b\leq \infty $ and $\psi $ be a positive function defined on $(0,\infty )$ . This paper is concerned with the growth of $L_{n}(x)$ , the largest digit of the first n terms in the Lüroth expansion of $x\in (0,1]$ . Under some suitable assumptions on the function $\psi $ , we completely determine the Hausdorff dimensions of the sets

$$\begin{align*}E_\psi(\alpha)=\bigg\{x\in(0,1]: \lim\limits_{n\rightarrow\infty}\frac{\log L_n(x)}{\log\psi(n)}=\alpha\bigg\} \end{align*}$$

and

$$\begin{align*}E_\psi(a,b)=\bigg\{x\in(0,1]: \liminf\limits_{n\rightarrow\infty}\frac{\log L_n(x)}{\log\psi(n)}=a, \limsup\limits_{n\rightarrow\infty}\frac{\log L_n(x)}{\log\psi(n)}=b\bigg\}. \end{align*}$$

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.

We establish sufficient conditions for differentiability of the expected cost collected over a discrete-time Markov chain until it enters a given set. The parameter with respect to which differentiability is analysed may simultaneously affect the Markov chain and the set defining the stopping criterion. The general statements on differentiability lead to unbiased gradient estimators.

This thesis is devoted to the exploration of the complexity of some mathematical problems using the framework of computable analysis and (effective) descriptive set theory. We will especially focus on Weihrauch reducibility as a means to compare the uniform computational strength of problems. After a short introduction of the relevant background notions, we investigate the uniform computational content of problems arising from theorems that lie at the higher levels of the reverse mathematics hierarchy.

We first analyze the strength of the open and clopen Ramsey theorems. Since there is not a canonical way to phrase these theorems as multi-valued functions, we identify eight different multi-valued functions (five corresponding to the open Ramsey theorem and three corresponding to the clopen Ramsey theorem) and study their degree from the point of view of Weihrauch, strong Weihrauch, and arithmetic Weihrauch reducibility.

We then discuss some new operators on multi-valued functions and study their algebraic properties and the relations with other previously studied operators on problems. In particular, we study the first-order part and the deterministic part of a problem f, capturing the Weihrauch degree of the strongest multi-valued problem that is reducible to f and that, respectively, has codomain $\mathbb {N}$ or is single-valued.

These notions proved to be extremely useful when exploring the Weihrauch degree of the problem $\mathsf {DS}$ of computing descending sequences in ill-founded linear orders. They allow us to show that $\mathsf {DS}$ , and the Weihrauch equivalent problem $\mathsf {BS}$ of finding bad sequences through non-well quasi-orders, while being very “hard” to solve, are rather weak in terms of uniform computational strength. We then generalize $\mathsf {DS}$ and $\mathsf {BS}$ by considering $\boldsymbol {\Gamma }$ -presented orders, where $\boldsymbol {\Gamma }$ is a Borel pointclass or $\boldsymbol {\Delta }^1_1$ , $\boldsymbol {\Sigma }^1_1$ , $\boldsymbol {\Pi }^1_1$ . We study the obtained $\mathsf {DS}$ -hierarchy and $\mathsf {BS}$ -hierarchy of problems in comparison with the (effective) Baire hierarchy and show that they do not collapse at any finite level.

Finally, we work in the context of geometric measure theory and we focus on the characterization, from the point of view of descriptive set theory, of some conditions involving the notions of Hausdorff/Fourier dimension and Salem sets. We first work in the hyperspace $\mathbf {K}([0,1])$ of compact subsets of $[0,1]$ and show that the closed Salem sets form a $\boldsymbol {\Pi }^0_3$ -complete family. This is done by characterizing the complexity of the family of sets having sufficiently large Hausdorff or Fourier dimension. We also show that the complexity does not change if we increase the dimension of the ambient space and work in $\mathbf {K}([0,1]^d)$ . We also generalize the results by relaxing the compactness of the ambient space and show that the closed Salem sets are still $\boldsymbol {\Pi }^0_3$ -complete when we endow $\mathbf {F}(\mathbb {R}^d)$ with the Fell topology. A similar result holds also for the Vietoris topology.

We conclude by analyzing the same notions from the point of view of effective descriptive set theory and Type-2 Theory of Effectivity, and show that the complexities remain the same also in the lightface case. In particular, we show that the family of all the closed Salem sets is $\Pi ^0_3$ -complete. We furthermore characterize the Weihrauch degree of the functions computing Hausdorff and Fourier dimension of closed sets.

Abstract prepared by Manlio Valenti.

E-mail:manliovalenti@gmail.com

Given $\beta \in (1,2]$, let $T_{\beta }$ be the $\beta $-transformation on the unit circle $[0,1)$ such that $T_{\beta }(x)=\beta x\pmod 1$. For each $t\in [0,1)$, let $K_{\beta }(t)$ be the survivor set consisting of all $x\in [0,1)$ whose orbit $\{T^{n}_{\beta }(x): n\ge 0\}$ never hits the open interval $(0,t)$. Kalle et al [Ergod. Th. & Dynam. Sys.40(9) (2020) 2482–2514] proved that the Hausdorff dimension function $t\mapsto \dim _{H} K_{\beta }(t)$ is a non-increasing Devil’s staircase. So there exists a critical value $\tau (\beta )$ such that $\dim _{H} K_{\beta }(t)>0$ if and only if $t<\tau (\beta )$. In this paper, we determine the critical value $\tau (\beta )$ for all $\beta \in (1,2]$, answering a question of Kalle et al (2020). For example, we find that for the Komornik–Loreti constant$\beta \approx 1.78723$, we have $\tau (\beta )=(2-\beta )/(\beta -1)$. Furthermore, we show that (i) the function $\tau : \beta \mapsto \tau (\beta )$ is left continuous on $(1,2]$ with right-hand limits everywhere, but has countably infinitely many discontinuities; (ii) $\tau $ has no downward jumps, with $\tau (1+)=0$ and $\tau (2)=1/2$; and (iii) there exists an open set $O\subset (1,2]$, whose complement $(1,2]\setminus O$ has zero Hausdorff dimension, such that $\tau $ is real-analytic, convex, and strictly decreasing on each connected component of O. Consequently, the dimension $\dim _{H} K_{\beta }(t)$ is not jointly continuous in $\beta $ and t. Our strategy to find the critical value $\tau (\beta )$ depends on certain substitutions of Farey words and a renormalization scheme from dynamical systems.

For any self-similar measure $\mu $ in $\mathbb {R}$ , we show that the distribution of $\mu $ is controlled by products of non-negative matrices governed by a finite or countable graph depending only on the iterated function system of similarities (IFS). This generalizes the net interval construction of Feng from the equicontractive finite-type case. When the measure satisfies the weak separation condition, we prove that this directed graph has a unique attractor. This allows us to verify the multifractal formalism for restrictions of $\mu $ to certain compact subsets of $\mathbb {R}$ , determined by the directed graph. When the measure satisfies the generalized finite-type condition with respect to an open interval, the directed graph is finite and we prove that if the multifractal formalism fails at some $q\in \mathbb {R}$ , there must be a cycle with no vertices in the attractor. As a direct application, we verify the complete multifractal formalism for an uncountable family of IFSs with exact overlaps and without logarithmically commensurable contraction ratios.