We prove a number of results concerning the Hausdorff and packing dimension of sets of points which escape (at least in average) to infinity at a given rate under non-autonomous iteration of exponential maps. In particular, we generalize the results proved by Sixsmith in 2016 and answer his question on annular itineraries for exponential maps.

We study projectional properties of Poisson cut-out sets E in non-Euclidean spaces. In the first Heisenbeg group \[\mathbb{H} = \mathbb{C} \times \mathbb{R}\], endowed with the Korányi metric, we show that the Hausdorff dimension of the vertical projection \[\pi (E)\] (projection along the center of \[\mathbb{H}\]) almost surely equals \[\min \{ 2,{\dim _\operatorname{H} }(E)\} \] and that \[\pi (E)\] has non-empty interior if \[{\dim _{\text{H}}}(E) > 2\]. As a corollary, this allows us to determine the Hausdorff dimension of E with respect to the Euclidean metric in terms of its Heisenberg Hausdorff dimension \[{\dim _{\text{H}}}(E)\].

We also study projections in the one-point compactification of the Heisenberg group, that is, the 3-sphere \[{{\text{S}}^3}\] endowed with the visual metric d obtained by identifying \[{{\text{S}}^3}\] with the boundary of the complex hyperbolic plane. In \[{{\text{S}}^3}\], we prove a projection result that holds simultaneously for all radial projections (projections along so called “chains”). This shows that the Poisson cut-outs in \[{{\text{S}}^3}\] satisfy a strong version of the Marstrand’s projection theorem, without any exceptional directions.

We show that recurrence conditions do not yield invariant Borel probability measures in the descriptive set-theoretic milieu, in the strong sense that if a Borel action of a locally compact Polish group on a standard Borel space satisfies such a condition but does not have an orbit supporting an invariant Borel probability measure, then there is an invariant Borel set on which the action satisfies the condition but does not have an invariant Borel probability measure.

Recently, Lutz and Stull used methods from algorithmic information theory to prove two new Marstrand-type projection theorems, concerning subsets of Euclidean space which are not assumed to be Borel, or even analytic. One of the theorems states that if \[K \subset {\mathbb{R}^n}\] is any set with equal Hausdorff and packing dimensions, then

\begin{equation} \[{\dim _{\text{H}}}{\pi _e}(K) = \min \{ {\dim _{\text{H}}}{\text{ }}K{\text{, 1}}\} \] \end{equation}

for almost every \[e \in {S^{n - 1}}\]. Here \[{\pi _e}\] stands for orthogonal projection to span (\[e\]). The primary purpose of this paper is to present proofs for Lutz and Stull’s projection theorems which do not refer to information theoretic concepts. Instead, they will rely on combinatorial-geometric arguments, such as discretised versions of Kaufman’s “potential theoretic” method, the pigeonhole principle, and a lemma of Katz and Tao. A secondary purpose is to generalise Lutz and Stull’s theorems: the versions in this paper apply to orthogonal projections to m-planes in \[{\mathbb{R}^n}\], for all \[0 < m < n\].

We show that there is a Borel graph on a standard Borel space of Borel chromatic number three that admits a Borel homomorphism to every analytic graph on a standard Borel space of Borel chromatic number at least three. Moreover, we characterize the Borel graphs on standard Borel spaces of vertex-degree at most two with this property and show that the analogous result for digraphs fails.

Let $M=$ diag $(\rho _1,\rho _2)\in M_{2}({\mathbb R})$ be an expanding matrix and Let $\{D_n\}_{n=1}^{\infty }$ be a sequence of digit sets with $D_n=\left \{(0, 0)^T,\,\,\,(a_n, 0 )^T, \,\,\, (0, b_n )^T \right \}$, where $a_n, b_n\in \{-1,1\}$. The associated Borel probability measure

$$ \begin{align*} \mu_{M,\{D_n\}}:=\delta_{M^{-1}D_1}\ast \delta_{M^{-2}D_2}\ast \delta_{M^{-3}D_3}\ast \cdots \end{align*} $$

$\mu _{M, \{D_n\}}$

$3\mid \rho _i$

$i=1, 2$

$a_n=b_n=1$

$n\in {\mathbb N}$

We prove that sets with positive upper Banach density in sufficiently large dimensions contain congruent copies of all sufficiently large dilates of three specific higher-dimensional patterns. These patterns are: 2n vertices of a fixed n-dimensional rectangular box, the same vertices extended with n points completing three-term arithmetic progressions, and the same vertices extended with n points completing three-point corners. Our results provide common generalizations of several Euclidean density theorems from the literature.

We investigate, both analytically and numerically, dispersive fractalisation and quantisation of solutions to periodic linear and nonlinear Fermi–Pasta–Ulam–Tsingou systems. When subject to periodic boundary conditions and discontinuous initial conditions, e.g., a step function, both the linearised and nonlinear continuum models for FPUT exhibit fractal solution profiles at irrational times (as determined by the coefficients and the length of the interval) and quantised profiles (piecewise constant or perturbations thereof) at rational times. We observe a similar effect in the linearised FPUT chain at times t where these models have validity, namely t = O(h−2), where h is proportional to the intermass spacing or, equivalently, the reciprocal of the number of masses. For nonlinear periodic FPUT systems, our numerical results suggest a somewhat similar behaviour in the presence of small nonlinearities, which disappears as the nonlinear force increases in magnitude. However, these phenomena are manifested on very long time intervals, posing a severe challenge for numerical integration as the number of masses increases. Even with the high-order splitting methods used here, our numerical investigations are limited to nonlinear FPUT chains with a smaller number of masses than would be needed to resolve this question unambiguously.

For every countable wellordering $\alpha $ greater than $\omega $, it is shown that clopen determinacy for games of length $\alpha $ with moves in $\mathbb {N}$ is equivalent to determinacy for a class of shorter games, but with more complicated payoff. In particular, it is shown that clopen determinacy for games of length $\omega ^2$ is equivalent to $\sigma $-projective determinacy for games of length $\omega $ and that clopen determinacy for games of length $\omega ^3$ is equivalent to determinacy for games of length $\omega ^2$ in the smallest $\sigma $-algebra on $\mathbb {R}$ containing all open sets and closed under the real game quantifier.

Let$(X,T)$ be a topological dynamical system consisting of a compact metric space X and a continuous surjective map $T : X \to X$. By using local entropy theory, we prove that $(X,T)$ has uniformly positive entropy if and only if so does the induced system $({\mathcal {M}}(X),\widetilde {T})$ on the space of Borel probability measures endowed with the weak* topology. This result can be seen as a version for the notion of uniformly positive entropy of the corresponding result for topological entropy due to Glasner and Weiss.

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.