Let $m_1 \geq m_2 \geq 2$ be integers. We consider subsets of the product symbolic sequence space $(\{0,\ldots ,m_1-1\} \times \{0,\ldots ,m_2-1\})^{\mathbb {N}^*}$ that are invariant under the action of the semigroup of multiplicative integers. These sets are defined following Kenyon, Peres, and Solomyak and using a fixed integer $q \geq 2$. We compute the Hausdorff and Minkowski dimensions of the projection of these sets onto an affine grid of the unit square. The proof of our Hausdorff dimension formula proceeds via a variational principle over some class of Borel probability measures on the studied sets. This extends well-known results on self-affine Sierpiński carpets. However, the combinatoric arguments we use in our proofs are more elaborate than in the self-similar case and involve a new parameter, namely $j = \lfloor \log _q ( {\log (m_1)}/{\log (m_2)} ) \rfloor $. We then generalize our results to the same subsets defined in dimension $d \geq 2$. There, the situation is even more delicate and our formulas involve a collection of $2d-3$ parameters.

In this paper I argue for an association between impurity and explanatory power in contemporary mathematics. This proposal is defended against the ancient and influential idea that purity and explanation go hand-in-hand (Aristotle, Bolzano) and recent suggestions that purity/impurity ascriptions and explanatory power are more or less distinct (Section 1). This is done by analyzing a central and deep result of additive number theory, Szemerédi’s theorem, and various of its proofs (Section 2). In particular, I focus upon the radically impure (ergodic) proof due to Furstenberg (Section 3). Furstenberg’s ergodic proof is striking because it utilizes intuitively foreign and infinitary resources to prove a finitary combinatorial result and does so in a perspicuous fashion. I claim that Furstenberg’s proof is explanatory in light of its clear expression of a crucial structural result, which provides the “reason why” Szemerédi’s theorem is true. This is, however, rather surprising: how can such intuitively different conceptual resources “get a grip on” the theorem to be proved? I account for this phenomenon by articulating a new construal of the content of a mathematical statement, which I call structural content (Section 4). I argue that the availability of structural content saves intuitive epistemic distinctions made in mathematical practice and simultaneously explicates the intervention of surprising and explanatorily rich conceptual resources. Structural content also disarms general arguments for thinking that impurity and explanatory power might come apart. Finally, I sketch a proposal that, once structural content is in hand, impure resources lead to explanatory proofs via suitably understood varieties of simplification and unification (Section 5).

We show that there exist uncountably many (tall and nontall) pairwise nonisomorphic density-like ideals on $\omega $ which are not generalized density ideals. In addition, they are nonpathological. This answers a question posed by Borodulin-Nadzieja et al. in [this Journal, vol. 80 (2015), pp. 1268–1289]. Lastly, we provide sufficient conditions for a density-like ideal to be necessarily a generalized density ideal.

Let $\mathcal {P}$ be an (unbounded) countable multiset of primes (that is, every prime may appear multiple times) and let $G=\bigoplus _{p\in \mathcal {P}}\mathbb {F}_p$. We develop a Host–Kra structure theory for the universal characteristic factors of an ergodic G-system. More specifically, we generalize the main results of Bergelson, Tao and Ziegler [An inverse theorem for the uniformity seminorms associated with the action of $\mathbb {F}_p^\infty $. Geom. Funct. Anal. 19(6) (2010), 1539–1596], who studied these factors in the special case $\mathcal {P}=\{p,p,p,\ldots \}$ for some fixed prime p. As an application we deduce a Khintchine-type recurrence theorem in the flavor of Bergelson, Tao and Ziegler [Multiple recurrence and convergence results associated to $F_p^\omega $-actions. J. Anal. Math. 127 (2015), 329–378] and Bergelson, Host and Kra [Multiple recurrence and nilsequences. Invent. Math. 160(2) (2005), 261–303, with an appendix by I. Ruzsa].

We investigate stable intersections of conformal Cantor sets and their consequences to dynamical systems. First we define this type of Cantor set and relate it to horseshoes appearing in automorphisms of $\mathbb {C}^2$. Then we study limit geometries, that is, objects related to the asymptotic shape of the Cantor sets, to obtain a criterion that guarantees stable intersection between some configurations. Finally, we show that the Buzzard construction of a Newhouse region on $\mathrm{Aut}(\mathbb {C}^2)$ can be seen as a case of stable intersection of Cantor sets in our sense and give some (not optimal) estimate on how ‘thick’ those sets have to be.

Packing topological entropy is a dynamical analogy of the packing dimension, which can be viewed as a counterpart of Bowen topological entropy. In the present paper we give a systematic study of the packing topological entropy for a continuous G-action dynamical system $(X,G)$, where X is a compact metric space and G is a countable infinite discrete amenable group. We first prove a variational principle for amenable packing topological entropy: for any Borel subset Z of X, the packing topological entropy of Z equals the supremum of upper local entropy over all Borel probability measures for which the subset Z has full measure. Then we obtain an entropy inequality concerning amenable packing entropy. Finally, we show that the packing topological entropy of the set of generic points for any invariant Borel probability measure $\mu $ coincides with the metric entropy if either $\mu $ is ergodic or the system satisfies a kind of specification property.

We consider groupoids constructed from a finite number of commuting local homeomorphisms acting on a compact metric space and study generalized Ruelle operators and $ C^{\ast } $-algebras associated to these groupoids. We provide a new characterization of $ 1 $-cocycles on these groupoids taking values in a locally compact abelian group, given in terms of $ k $-tuples of continuous functions on the unit space satisfying certain canonical identities. Using this, we develop an extended Ruelle–Perron–Frobenius theory for dynamical systems of several commuting operators ($ k $-Ruelle triples and commuting Ruelle operators). Results on KMS states on $ C^{\ast } $-algebras constructed from these groupoids are derived. When the groupoids being studied come from higher-rank graphs, our results recover existence and uniqueness results for KMS states associated to the graphs.

This paper is concerned with the growth rate of the product of consecutive partial quotients relative to the denominator of the convergent for the continued fraction expansion of an irrational number. More precisely, given a natural number $m,$ we determine the Hausdorff dimension of the following set:

$$ \begin{align*} E_m(\tau)=\bigg\{x\in [0,1): \limsup\limits_{n\rightarrow\infty}\frac{\log (a_n(x)a_{n+1}(x)\cdots a_{n+m}(x))}{\log q_n(x)}=\tau\bigg\}, \end{align*} $$

where $\tau $ is a nonnegative number. This extends the dimensional result of Dirichlet nonimprovable sets (when $m=1$) shown by Hussain, Kleinbock, Wadleigh and Wang.

For given Boolean algebras $\mathbb {A}$ and $\mathbb {B}$ we endow the space $\mathcal {H}(\mathbb {A},\mathbb {B})$ of all Boolean homomorphisms from $\mathbb {A}$ to $\mathbb {B}$ with various topologies and study convergence properties of sequences in $\mathcal {H}(\mathbb {A},\mathbb {B})$. We are in particular interested in the situation when $\mathbb {B}$ is a measure algebra as in this case we obtain a natural tool for studying topological convergence properties of sequences of ultrafilters on $\mathbb {A}$ in random extensions of the set-theoretical universe. This appears to have strong connections with Dow and Fremlin’s result stating that there are Efimov spaces in the random model. We also investigate relations between topologies on $\mathcal {H}(\mathbb {A},\mathbb {B})$ for a Boolean algebra $\mathbb {B}$ carrying a strictly positive measure and convergence properties of sequences of measures on $\mathbb {A}$.

We extend the results of Hasselblatt and Schmeling [Dimension product structure of hyperbolic sets. Modern Dynamical Systems and Applications. Eds. B. Hasselblatt, M. Brin and Y. Pesin. Cambridge University Press, New York, 2004, pp. 331–345] and of Rams and Simon [Hausdorff and packing measure for solenoids. Ergod. Th. & Dynam. Sys. 23 (2003), 273–292] for $C^{1+\varepsilon }$ hyperbolic, (partially) linear solenoids $\Lambda $ over the circle embedded in $\mathbb {R}^3$ non-conformally attracting in the stable discs $W^s$ direction, to nonlinear solenoids. Under the assumptions of transversality and on the Lyapunov exponents for an appropriate Gibbs measure imposing thinness, as well as the assumption that there is an invariant $C^{1+\varepsilon }$ strong stable foliation, we prove that Hausdorff dimension $\operatorname {\mathrm {HD}}(\Lambda \cap W^s)$ is the same quantity $t_0$ for all $W^s$ and else $\mathrm {HD}(\Lambda )=t_0+1$. We prove also that for the packing measure, $0<\Pi _{t_0}(\Lambda \cap W^s)<\infty $, but for Hausdorff measure, $\mathrm {HM}_{t_0}(\Lambda \cap W^s)=0$ for all $W^s$. Also $0<\Pi _{1+t_0}(\Lambda ) <\infty $ and $\mathrm {HM}_{1+t_0}(\Lambda )=0$. A technical part says that the holonomy along unstable foliation is locally Lipschitz, except for a set of unstable leaves whose intersection with every $W^s$ has measure $\mathrm {HM}_{t_0}$ equal to 0 and even Hausdorff dimension less than $t_0$. The latter holds due to a large deviations phenomenon.

This is the second part of our study on the dimension theory of $C^1$ iterated function systems (IFSs) and repellers on $\mathbb {R}^d$. In the first part [D.-J. Feng and K. Simon. Dimension estimates for $C^1$ iterated function systems and repellers. Part I. Preprint, 2020, arXiv:2007.15320], we proved that the upper box-counting dimension of the attractor of every $C^1$ IFS on ${\Bbb R}^d$ is bounded above by its singularity dimension, and the upper packing dimension of every ergodic invariant measure associated with this IFS is bounded above by its Lyapunov dimension. Here we introduce a generalized transversality condition (GTC) for parameterized families of $C^1$ IFSs, and show that if the GTC is satisfied, then the dimensions of the IFS attractor and of the ergodic invariant measures are given by these upper bounds for almost every (in an appropriate sense) parameter. Moreover, we verify the GTC for some parameterized families of $C^1$ IFSs on ${\Bbb R}^d$.

Let X be a compact, geodesically complete, locally CAT(0) space such that the universal cover admits a rank-one axis. Assume X is not homothetic to a metric graph with integer edge lengths. Let $P_t$ be the number of parallel classes of oriented closed geodesics of length at most t; then $\lim \nolimits _{t \to \infty } P_t / ({e^{ht}}/{ht}) = 1$, where h is the entropy of the geodesic flow on the space $GX$ of parametrized unit-speed geodesics in X.

Based on the Gale–Ryser theorem [2, 6], for the existence of suitable $(0,1)$-matrices for different partitions of a natural number, we revisit the classical result of Lorentz [4] regarding the characterization of a plane measurable set, in terms of its cross-sections, and extend it to general measure spaces.

We show that self-similar measures on $\mathbb R^d$ satisfying the weak separation condition are uniformly scaling. Our approach combines elementary ergodic theory with geometric analysis of the structure given by the weak separation condition.

In this paper we prove a local exponential synchronization for Markovian random iterations of homeomorphisms of the circle $S^{1}$, providing a new result on stochastic circle dynamics even for $C^1$-diffeomorphisms. This result is obtained by combining an invariance principle for stationary random iterations of homeomorphisms of the circle with a Krylov–Bogolyubov-type result for homogeneous Markov chains.

We show that fractal percolation sets in $\mathbb{R}^{d}$ almost surely intersect every hyperplane absolutely winning (HAW) set with full Hausdorff dimension. In particular, if $E\subset\mathbb{R}^{d}$ is a realisation of a fractal percolation process, then almost surely (conditioned on $E\neq\emptyset$), for every countable collection $\left(f_{i}\right)_{i\in\mathbb{N}}$ of $C^{1}$ diffeomorphisms of $\mathbb{R}^{d}$, $\dim_{H}\left(E\cap\left(\bigcap_{i\in\mathbb{N}}f_{i}\left(\text{BA}_{d}\right)\right)\right)=\dim_{H}\left(E\right)$, where $\text{BA}_{d}$ is the set of badly approximable vectors in $\mathbb{R}^{d}$. We show this by proving that E almost surely contains hyperplane diffuse subsets which are Ahlfors-regular with dimensions arbitrarily close to $\dim_{H}\left(E\right)$.

We achieve this by analysing Galton–Watson trees and showing that they almost surely contain appropriate subtrees whose projections to $\mathbb{R}^{d}$ yield the aforementioned subsets of E. This method allows us to obtain a more general result by projecting the Galton–Watson trees against any similarity IFS whose attractor is not contained in a single affine hyperplane. Thus our general result relates to a broader class of random fractals than fractal percolation.

In this paper we show how ideas, methods and results from optimal transportation can be used to study various aspects of the stationary measures of Iterated Function Systems equipped with a probability distribution. We recover a classical existence and uniqueness result under a contraction-on-average assumption, prove generalised moment bounds from which tail estimates can be deduced, consider the convergence of the empirical measure of an associated Markov chain, and prove in many cases the Lipschitz continuity of the stationary measure when the system is perturbed, with as a consequence a “linear response formula” at almost every parameter of the perturbation.

In [4], Kifer, Peres and Weiss showed that the Bernoulli measures for the Gauss map T(x)=1/x mod 1 satisfy a ‘dimension gap’ meaning that for some c > 0, supp dim μp < 1– c, where μp denotes the (pushforward) Bernoulli measure for the countable probability vector p. In this paper we propose a new proof of the dimension gap. By using tools from thermodynamic formalism we show that the problem reduces to obtaining uniform lower bounds on the asymptotic variance of a class of potentials.

Several results in the existing literature establish Euclidean density theorems of the following strong type. These results claim that every set of positive upper Banach density in the Euclidean space of an appropriate dimension contains isometric copies of all sufficiently large elements of a prescribed family of finite point configurations. So far, all results of this type discussed linear isotropic dilates of a fixed point configuration. In this paper, we initiate the study of analogous density theorems for families of point configurations generated by anisotropic dilations, i.e., families with power-type dependence on a single parameter interpreted as their size. More specifically, we prove nonisotropic power-type generalizations of a result by Bourgain on vertices of a simplex, a result by Lyall and Magyar on vertices of a rectangular box, and a result on distance trees, which is a particular case of the treatise of distance graphs by Lyall and Magyar. Another source of motivation for this paper is providing additional evidence for the versatility of the approach stemming from the work of Cook, Magyar, and Pramanik and its modification used recently by Durcik and the present author. Finally, yet another purpose of this paper is to single out anisotropic multilinear singular integral operators associated with the above combinatorial problems, as they are interesting on their own.

Let $S \subset \mathbb {R}^{n}$ be a smooth compact hypersurface with a strictly positive second fundamental form, $E$ be the Fourier extension operator on $S$, and $X$ be a Lebesgue measurable subset of $\mathbb {R}^{n}$. If $X$ contains a ball of each radius, then the problem of determining the range of exponents $(p,q)$ for which the estimate $\| Ef \|_{L^{q}(X)} \lesssim \| f \|_{L^{p}(S)}$ holds is equivalent to the restriction conjecture. In this paper, we study the estimate under the following assumption on the set $X$: there is a number $0 < \alpha \leq n$ such that $|X \cap B_R| \lesssim R^{\alpha }$ for all balls $B_R$ in $\mathbb {R}^{n}$ of radius $R \geq 1$. On the left-hand side of this estimate, we are integrating the function $|Ef(x)|^{q}$ against the measure $\chi _X \,{\textrm {d}}x$. Our approach consists of replacing the characteristic function $\chi _X$ of $X$ by an appropriate weight function $H$, and studying the resulting estimate in three different regimes: small values of $\alpha$, intermediate values of $\alpha$, and large values of $\alpha$. In the first regime, we establish the estimate by using already available methods. In the second regime, we prove a weighted Hölder-type inequality that holds for general non-negative Lebesgue measurable functions on $\mathbb {R}^{n}$ and combine it with the result from the first regime. In the third regime, we borrow a recent fractal Fourier restriction theorem of Du and Zhang and combine it with the result from the second regime. In the opposite direction, the results of this paper improve on the Du–Zhang theorem in the range $0 < \alpha < n/2$.