This paper considers self-conformal iterated function systems (IFSs) on the real line whose first level cylinders overlap. In the space of self-conformal IFSs, we show that generically (in topological sense) if the attractor of such a system has Hausdorff dimension less than 1 then it has zero appropriate dimensional Hausdorff measure and its Assouad dimension is equal to 1. Our main contribution is in showing that if the cylinders intersect then the IFS generically does not satisfy the weak separation property and hence, we may apply a recent result of Angelevska, Käenmäki and Troscheit. This phenomenon holds for transversal families (in particular for the translation family) typically, in the self-similar case, in both topological and in measure theoretical sense, and in the more general self-conformal case in the topological sense.

In this article we aim to investigate the Hausdorff dimension of the set of points $x \in [0,1)$ such that for any $r\in \mathbb {N}$ ,

$$ \begin{align*} a_{n+1}(x)a_{n+2}(x)\cdots a_{n+r}(x)\geq e^{\tau(x)(h(x)+\cdots+h(T^{n-1}(x)))} \end{align*} $$

$n\in \mathbb {N}$

$\tau $

$a_{n}(x)$

$r,\tau (x)$

$h(x)$

It is known that if $S(z)$ is a non-constant singular inner function defined on the unit disk, then $\min _{|z|\le r}|S(z)|\to 0$ as $r\to 1^-$ . We show that the convergence can be arbitrarily slow.

Fractal percolation exhibits a dramatic topological phase transition, changing abruptly from a dust-like set to a system-spanning cluster. The transition points are unknown and difficult to estimate. In many classical percolation models the percolation thresholds have been approximated well using additive geometric functionals, known as intrinsic volumes. Motivated by the question of whether a similar approach is possible for fractal models, we introduce corresponding geometric functionals for the fractal percolation process F. They arise as limits of expected functionals of finite approximations of F. We establish the existence of these limit functionals and obtain explicit formulas for them as well as for their finite approximations.

We prove a Lusin type theorem for a certain class of linear partial differential operators G(D), reducing to [1, Theorem 1] when G(D) is the gradient. Moreover, we describe the structure of the set {G(D)f = F}, under assumptions of non-integrability on F, in terms of lower dimensional rectifiability and superdensity. Applications to Maxwell type system and to multivariable Cauchy–Riemann system are provided.

Higher-dimensional binary shifts of number-theoretic origin with positive topological entropy are considered. We are particularly interested in analysing their symmetries and extended symmetries. They form groups, known as the topological centralizer and normalizer of the shift dynamical system, which are natural topological invariants. Here, our focus is on shift spaces with trivial centralizers, but large normalizers. In particular, we discuss several systems where the normalizer is an infinite extension of the centralizer, including the visible lattice points and the k-free integers in some real quadratic number fields.

We obtain a criterion for an analytic subset of a Euclidean space to contain points of differentiability of a typical Lipschitz function: namely, that it cannot be covered by countably many sets, each of which is closed and purely unrectifiable (has a zero-length intersection with every $C^1$ curve). Surprisingly, we establish that any set failing this criterion witnesses the opposite extreme of typical behaviour: in any such coverable set, a typical Lipschitz function is everywhere severely non-differentiable.

A classical theorem of Hutchinson asserts that if an iterated function system acts on $\mathbb {R}^{d}$ by similitudes and satisfies the open set condition then it admits a unique self-similar measure with Hausdorff dimension equal to the dimension of the attractor. In the class of measures on the attractor, which arise as the projections of shift-invariant measures on the coding space, this self-similar measure is the unique measure of maximal dimension. In the context of affine iterated function systems it is known that there may be multiple shift-invariant measures of maximal dimension if the linear parts of the affinities share a common invariant subspace, or more generally if they preserve a finite union of proper subspaces of $\mathbb {R}^{d}$ . In this paper we give an example where multiple invariant measures of maximal dimension exist even though the linear parts of the affinities do not preserve a finite union of proper subspaces.

A subset X of a Polish group G is Haar null if there exists a Borel probability measure μ and a Borel set B containing X such that μ(gBh) = 0 for every g, h ∈ G. A set X is Haar meager if there exists a compact metric space K, a continuous function f : K → G and a Borel set B containing X such that f−1(gBh) is meager in K for every g, h ∈ G. We calculate (in ZFC) the four cardinal invariants (add, cov, non, cof) of these two σ-ideals for the simplest non-locally compact Polish group, namely in the case $G = \mathbb {Z}^\omega$. In fact, most results work for separable Banach spaces as well, and many results work for Polish groups admitting a two-sided invariant metric. This answers a question of the first named author and Vidnyánszky.

We study the $L^{q}$ -spectrum of measures in the plane generated by certain nonlinear maps. In particular, we consider attractors of iterated function systems consisting of maps whose components are $C^{1+\alpha }$ and for which the Jacobian is a lower triangular matrix at every point subject to a natural domination condition on the entries. We calculate the $L^{q}$ -spectrum of Bernoulli measures supported on such sets by using an appropriately defined analogue of the singular value function and an appropriate pressure function.

We derive the almost sure Assouad spectrum and quasi-Assouad dimension of one-variable random self-affine Bedford–McMullen carpets. Previous work has revealed that the (related) Assouad dimension is not sufficiently sensitive to distinguish between subtle changes in the random model, since it tends to be almost surely ‘as large as possible’ (a deterministic quantity). This has been verified in conformal and non-conformal settings. In the conformal setting, the Assouad spectrum and quasi-Assouad dimension behave rather differently, tending to almost surely coincide with the upper box dimension. Here we investigate the non-conformal setting and find that the Assouad spectrum and quasi-Assouad dimension generally do not coincide with the box dimension or Assouad dimension. We provide examples highlighting the subtle differences between these notions. Our proofs combine deterministic covering techniques with suitably adapted Chernoff estimates and Borel–Cantelli-type arguments.

The notion of recurrent fractal interpolation functions (RFIFs) was introduced by Barnsley et al. [‘Recurrent iterated function systems’, Constr. Approx. 5 (1989), 362–378]. Roughly speaking, the graph of an RFIF is the invariant set of a recurrent iterated function system on $\mathbb {R}^2$. We generalise the definition of RFIFs so that iterated functions in the recurrent system need not be contractive with respect to the first variable. We obtain the box dimensions of all self-affine RFIFs in this general setting.

For $n\geq 3$ , let $Q_n\subset \mathbb {C}$ be an arbitrary regular n-sided polygon. We prove that the Cauchy transform $F_{Q_n}$ of the normalised two-dimensional Lebesgue measure on $Q_n$ is univalent and starlike but not convex in $\widehat {\mathbb {C}}\setminus Q_n$ .

We provide a finite basis for the class of Borel functions that are not in the first Baire class, as well as the class of Borel functions that are not $\sigma $ -continuous with closed witnesses.

In this paper, we follow and extend a group-theoretic method introduced by Greenleaf–Iosevich–Liu–Palsson (GILP) to study finite points configurations spanned by Borel sets in $\mathbb{R}^n,n\geq 2,n\in\mathbb{N}.$ We remove a technical continuity condition in a GILP’s theorem in [Revista Mat. Iberoamer31 (2015), 799–810]. This allows us to extend the Wolff–Erdogan dimension bound for distance sets to finite points configurations with k points for $k\in\{2,\dots,n+1\}$ forming a $(k-1)$ -simplex.

We present a new method of proving the Diophantine extremality of various dynamically defined measures, vastly expanding the class of measures known to be extremal. This generalizes and improves the celebrated theorem of Kleinbock and Margulis [Logarithm laws for flows on homogeneous spaces. Invent. Math.138(3) (1999), 451–494] resolving Sprindžuk’s conjecture, as well as its extension by Kleinbock, Lindenstrauss, and Weiss [On fractal measures and Diophantine approximation. Selecta Math.10 (2004), 479–523], hereafter abbreviated KLW. As applications we prove the extremality of all hyperbolic measures of smooth dynamical systems with sufficiently large Hausdorff dimension, and of the Patterson–Sullivan measures of all nonplanar geometrically finite groups. The key technical idea, which has led to a plethora of new applications, is a significant weakening of KLW’s sufficient conditions for extremality. In the first of this series of papers [Extremality and dynamically defined measures, part I: Diophantine properties of quasi-decaying measures. Selecta Math.24(3) (2018), 2165–2206], we introduce and develop a systematic account of two classes of measures, which we call quasi-decaying and weakly quasi-decaying. We prove that weak quasi-decay implies strong extremality in the matrix approximation framework, as well as proving the ‘inherited exponent of irrationality’ version of this theorem. In this paper, the second of the series, we establish sufficient conditions on various classes of conformal dynamical systems for their measures to be quasi-decaying. In particular, we prove the above-mentioned result about Patterson–Sullivan measures, and we show that equilibrium states (including conformal measures) of nonplanar infinite iterated function systems (including those which do not satisfy the open set condition) and rational functions are quasi-decaying.

For integers $p,b\geq 2$, let $D=\{0,1,\ldots ,b-1\}$ be a set of consecutive digits. It is known that the Cantor measure $\unicode[STIX]{x1D707}_{pb,D}$ generated by the iterated function system $\{(pb)^{-1}(x+d)\}_{x\in \mathbb{R},d\in D}$ is a spectral measure with spectrum

$$\begin{eqnarray}\unicode[STIX]{x1D6EC}(pb,S)=\bigg\{\mathop{\sum }_{j=0}^{\text{finite}}(pb)^{j}s_{j}:s_{j}\in S\bigg\},\end{eqnarray}$$

$S=pD$

$\unicode[STIX]{x1D70F}\in \mathbb{Z}$

$\unicode[STIX]{x1D70F}\unicode[STIX]{x1D6EC}(pb,S)$

$\unicode[STIX]{x1D707}_{pb,D}$

For Laplacians defined by measures on a bounded domain in ℝn, we prove analogues of the classical eigenvalue estimates for the standard Laplacian: lower bound of sums of eigenvalues by Li and Yau, and gaps of consecutive eigenvalues by Payne, Pólya and Weinberger. This work is motivated by the study of spectral gaps for Laplacians on fractals.

Fix an alphabet $A=\{0,1,\ldots ,M\}$ with $M\in \mathbb{N}$. The univoque set $\mathscr{U}$ of bases $q\in (1,M+1)$ in which the number $1$ has a unique expansion over the alphabet $A$ has been well studied. It has Lebesgue measure zero but Hausdorff dimension one. This paper describes how the points in the set $\mathscr{U}$ are distributed over the interval $(1,M+1)$ by determining the limit

$$\begin{eqnarray}f(q):=\lim _{\unicode[STIX]{x1D6FF}\rightarrow 0}\dim _{\text{H}}(\mathscr{U}\cap (q-\unicode[STIX]{x1D6FF},q+\unicode[STIX]{x1D6FF}))\end{eqnarray}$$

$q\in (1,M+1)$

$f(q)>0$

$q\in \overline{\mathscr{U}}\backslash \mathscr{C}$

$\mathscr{C}$

$f$

$\mathscr{U}$

$\mathscr{U}$

Mauldin [15] proved that there is an analytic set, which cannot be represented by $B\cup X$ for some Borel set B and a subset X of a $\boldsymbol{\Sigma }^0_2$ -null set, answering a question by Johnson [10]. We reprove Mauldin’s answer by a recursion-theoretical method. We also give a characterization of the Borel generated $\sigma $ -ideals having approximation property under the assumption that every real is constructible, answering Mauldin’s question raised in [15].