Strong Turing Determinacy, or ${\mathrm {sTD}}$, is the statement that for every set A of reals, if $\forall x\exists y\geq _T x (y\in A)$, then there is a pointed set $P\subseteq A$. We prove the following consequences of Turing Determinacy (${\mathrm {TD}}$) and ${\mathrm {sTD}}$ over ${\mathrm {ZF}}$—the Zermelo–Fraenkel axiomatic set theory without the Axiom of Choice:

1. (1) ${\mathrm {ZF}}+{\mathrm {TD}}$ implies $\mathrm {wDC}_{\mathbb {R}}$—a weaker version of $\mathrm {DC}_{\mathbb {R}}$.

2. (2) ${\mathrm {ZF}}+{\mathrm {sTD}}$ implies that every set of reals is measurable and has Baire property.

3. (3) ${\mathrm {ZF}}+{\mathrm {sTD}}$ implies that every uncountable set of reals has a perfect subset.

4. (4) ${\mathrm {ZF}}+{\mathrm {sTD}}$ implies that for every set of reals A and every $\epsilon>0$:

   1. (a) There is a closed set $F\subseteq A$ such that $\mathrm {Dim_H}(F)\geq \mathrm {Dim_H}(A)-\epsilon $, where $\mathrm {Dim_H}$ is the Hausdorff dimension.

   2. (b) There is a closed set $F\subseteq A$ such that $\mathrm {Dim_P}(F)\geq \mathrm {Dim_P}(A)-\epsilon $, where $\mathrm {Dim_P}$ is the packing dimension.

It is a longstanding conjecture that given a subset E of a metric space, if E has unit $\mathscr {H}^{\alpha }\llcorner E$ -density almost everywhere, then E is an $\alpha $ -rectifiable set. We prove this conjecture under the assumption that the ambient metric space is a homogeneous group with a smooth-box norm.

We show that, under finitely many ergodicity assumptions, any multicorrelation sequence defined by invertible measure-preserving $\mathbb {Z}^d$-actions with multivariable integer polynomial iterates is the sum of a nilsequence and a nullsequence, extending a recent result of the second author. To this end, we develop a new seminorm bound estimate for multiple averages by improving the results in a previous work of the first, third, and fourth authors. We also use this approach to obtain new criteria for joint ergodicity of multiple averages with multivariable polynomial iterates on ${\mathbb Z}^{d}$-systems.

Let $\psi $ be a decreasing function. We prove zero-infinity Hausdorff measure criteria for the set of dual $\psi $-approximable points and for the set of inhomogeneous multiplicative $\psi $-approximable points on nondegenerate planar curves. Our results extend theorems of Huang [‘Hausdorff theory of dual approximation on planar curves’, J. reine angew. Math. 740 (2018), 63–76] and Beresnevich and Velani [‘A note on three problems in metric Diophantine approximation’, in: Recent Trends in Ergodic Theory and Dynamical Systems, Contemporary Mathematics, 631 (American Mathematical Society, Providence, RI, 2015), 211–229] from s-Hausdorff measure, where $s\in \mathbb R$, to the more general g-Hausdorff measure, where g is a suitable class of dimension functions.

We establish analogues for trees of results relating the density of a set ${E \subset \mathbb {N}}$, the density of its set of popular differences and the structure of E. To obtain our results, we formalize a correspondence principle of Furstenberg and Weiss which relates combinatorial data on a tree to the dynamics of a Markov process. Our main tools are Kneser-type inverse theorems for sets of return times in measure-preserving systems. In the ergodic setting, we use a recent result of the first author with Björklund and Shkredov and a stability-type extension (proved jointly with Shkredov); we also prove a new result for non-ergodic systems.

We construct a strongly local regular Dirichlet form on the golden ratio Sierpinski gasket, which is a self-similar set without a finitely ramified cell structure, via a study on the trace of an electrical network on an infinite graph. The Dirichlet form is the unique one that is self-similar in the sense of an infinite iterated function system, and is decimation invariant with respect to a graph-directed construction. The proof is based on a fixed point problem of a renormalization map, inspired by Sabot's celebrated work for finitely ramified fractals. Lastly, the Hunt process associated with the Dirichlet form satisfies a two-sided sub-Gaussian heat kernel estimate.

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.