Let $({\mathcal{X}},d,\unicode[STIX]{x1D707})$ be a metric measure space satisfying the geometrically doubling condition and the upper doubling condition. In this paper, the authors establish the John-Nirenberg inequality for the regularized BLO space $\widetilde{\operatorname{RBLO}}(\unicode[STIX]{x1D707})$.

We study dynamical systems $(X,G,m)$ with a compact metric space $X$, a locally compact, $\unicode[STIX]{x1D70E}$-compact, abelian group $G$ and an invariant Borel probability measure $m$ on $X$. We show that such a system has a discrete spectrum if and only if a certain space average over the metric is a Bohr almost periodic function. In this way, this average over the metric plays, for general dynamical systems, a similar role to that of the autocorrelation measure in the study of aperiodic order for special dynamical systems based on point sets.

In analogy with the lower Assouad dimensions of a set, we study the lower Assouad dimensions of a measure. As with the upper Assouad dimensions, the lower Assouad dimensions of a measure provide information about the extreme local behaviour of the measure. We study the connection with other dimensions and with regularity properties. In particular, the quasi-lower Assouad dimension is dominated by the infimum of the measure’s lower local dimensions. Although strict inequality is possible in general, equality holds for the class of self-similar measures of finite type. This class includes all self-similar, equicontractive measures satisfying the open set condition, as well as certain “overlapping” self-similar measures, such as Bernoulli convolutions with contraction factors that are inverses of Pisot numbers.

We give lower bounds for the lower Assouad dimension for measures arising from a Moran construction, prove that self-affine measures are uniformly perfect and have positive lower Assouad dimension, prove that the Assouad spectrum of a measure converges to its quasi-Assouad dimension and show that coincidence of the upper and lower Assouad dimension of a measure does not imply that the measure is s-regular.

One of the approaches to the Riemann Hypothesis is the Nyman–Beurling criterion. Cotangent sums play a significant role in this criterion. Here we investigate the values of these cotangent sums for various shifts of the argument.

Let $\mathcal {P}(\mathbf{N})$ be the power set of N. We say that a function $\mu ^\ast : \mathcal {P}(\mathbf{N}) \to \mathbf{R}$ is an upper density if, for all X, Y ⊆ N and h, k ∈ N+, the following hold: (f1) $\mu ^\ast (\mathbf{N}) = 1$; (f2) $\mu ^\ast (X) \le \mu ^\ast (Y)$ if X ⊆ Y; (f3) $\mu ^\ast (X \cup Y) \le \mu ^\ast (X) + \mu ^\ast (Y)$; (f4) $\mu ^\ast (k\cdot X) = ({1}/{k}) \mu ^\ast (X)$, where k · X : = {kx: x ∈ X}; and (f5) $\mu ^\ast (X + h) = \mu ^\ast (X)$. We show that the upper asymptotic, upper logarithmic, upper Banach, upper Buck, upper Pólya and upper analytic densities, together with all upper α-densities (with α a real parameter ≥ −1), are upper densities in the sense of our definition. Moreover, we establish the mutual independence of axioms (f1)–(f5), and we investigate various properties of upper densities (and related functions) under the assumption that (f2) is replaced by the weaker condition that $\mu ^\ast (X)\le 1$ for every X ⊆ N. Overall, this allows us to extend and generalize results so far independently derived for some of the classical upper densities mentioned above, thus introducing a certain amount of unification into the theory.

Suppose that $0<|\unicode[STIX]{x1D70C}|<1$ and $m\geqslant 2$ is an integer. Let $\unicode[STIX]{x1D707}_{\unicode[STIX]{x1D70C},m}$ be the self-similar measure defined by $\unicode[STIX]{x1D707}_{\unicode[STIX]{x1D70C},m}(\cdot )=\frac{1}{m}\sum _{j=0}^{m-1}\unicode[STIX]{x1D707}_{\unicode[STIX]{x1D70C},m}(\unicode[STIX]{x1D70C}^{-1}(\cdot )-j)$. Assume that $\unicode[STIX]{x1D70C}=\pm (q/p)^{1/r}$ for some $p,q,r\in \mathbb{N}^{+}$ with $(p,q)=1$ and $(p,m)=1$. We prove that if $(q,m)=1$, then there are at most $m$ mutually orthogonal exponential functions in $L^{2}(\unicode[STIX]{x1D707}_{\unicode[STIX]{x1D70C},m})$ and $m$ is the best possible. If $(q,m)>1$, then there are any number of orthogonal exponential functions in $L^{2}(\unicode[STIX]{x1D707}_{\unicode[STIX]{x1D70C},m})$.

We study C1-robustly transitive and nonhyperbolic diffeomorphisms having a partially hyperbolic splitting with one-dimensional central bundle whose strong un-/stable foliations are both minimal. In dimension 3, an important class of examples of such systems is given by those with a simple closed periodic curve tangent to the central bundle. We prove that there is a C1-open and dense subset of such diffeomorphisms such that every nonhyperbolic ergodic measure (i.e. with zero central exponent) can be approximated in the weak* topology and in entropy by measures supported in basic sets with positive (negative) central Lyapunov exponent. Our method also allows to show how entropy changes across measures with central Lyapunov exponent close to zero. We also prove that any nonhyperbolic ergodic measure is in the intersection of the convex hulls of the measures with positive central exponent and with negative central exponent.

This paper provides a functional analogue of the recently initiated dual Orlicz–Brunn–Minkowski theory for star bodies. We first propose the Orlicz addition of measures, and establish the dual functional Orlicz–Brunn–Minkowski inequality. Based on a family of linear Orlicz additions of two measures, we provide an interpretation for the famous $f$-divergence. Jensen’s inequality for integrals is also proved to be equivalent to the newly established dual functional Orlicz–Brunn–Minkowski inequality. An optimization problem for the $f$-divergence is proposed, and related functional affine isoperimetric inequalities are established.

We investigate the growth rate of the Birkhoff sums $S_{n,\unicode[STIX]{x1D6FC}}f(x)=\sum _{k=0}^{n-1}f(x+k\unicode[STIX]{x1D6FC})$, where $f$ is a continuous function with zero mean defined on the unit circle $\mathbb{T}$ and $(\unicode[STIX]{x1D6FC},x)$ is a ‘typical’ element of $\mathbb{T}^{2}$. The answer depends on the meaning given to the word ‘typical’. Part of the work will be done in a more general context.

We study sets of measure-preserving transformations on Lebesgue spaces with continuous measures taking into account extreme scales of variations of weak mixing. It is shown that the generic dynamical behaviour depends on subsequences of time going to infinity. We also present corresponding generic sets of (probability) invariant measures with respect to topological shifts over finite alphabets and Axiom A diffeomorphisms over topologically mixing basic sets.

Relying on results due to Shmerkin and Solomyak, we show that outside a zero-dimensional set of parameters, for every planar homogeneous self-similar measure $\unicode[STIX]{x1D708}$, with strong separation, dense rotations and dimension greater than $1$, there exists $q>1$ such that $\{P_{z}\unicode[STIX]{x1D708}\}_{z\in S}\subset L^{q}(\mathbb{R})$. Here $S$ is the unit circle and $P_{z}w=\langle z,w\rangle$ for $w\in \mathbb{R}^{2}$. We then study such measures. For instance, we show that $\unicode[STIX]{x1D708}$ is dimension conserving in each direction and that the map $z\rightarrow P_{z}\unicode[STIX]{x1D708}$ is continuous with respect to the weak topology of $L^{q}(\mathbb{R})$.

By using methods of subordinacy theory, we study packing continuity properties of spectral measures of discrete one-dimensional Schrödinger operators acting on the whole line. Then we apply these methods to Sturmian operators with rotation numbers of quasibounded density to show that they have purely $\unicode[STIX]{x1D6FC}$-packing continuous spectrum. A dimensional stability result is also mentioned.

We construct a family of self-affine tiles in $\mathbb{R}^{d}$ ($d\geqslant 2$) with noncollinear digit sets, which naturally generalizes a class studied originally by Q.-R. Deng and K.-S. Lau in $\mathbb{R}^{2}$, and its extension to $\mathbb{R}^{3}$ by the authors. We obtain necessary and sufficient conditions for the tiles to be connected and for their interiors to be contractible.

This paper concerns the study of the global structure of measure-preserving actions of countable groups on standard probability spaces. Weak containment is a hierarchical notion of complexity of such actions, motivated by an analogous concept in the theory of unitary representations. This concept gives rise to an associated notion of equivalence of actions, called weak equivalence, which is much coarser than the notion of isomorphism (conjugacy). It is well understood now that, in general, isomorphism is a very complex notion, a fact which manifests itself, for example, in the lack of any reasonable structure in the space of actions modulo isomorphism. On the other hand, the space of weak equivalence classes is quite well behaved. Another interesting fact that relates to the study of weak containment is that many important parameters associated with actions, such as the type, cost, and combinatorial parameters, turn out to be invariants of weak equivalence and in fact exhibit desirable monotonicity properties with respect to the pre-order of weak containment, a fact that can be useful in certain applications. There has been quite a lot of activity in this area in the last few years, and our goal in this paper is to provide a survey of this work.

We show that a natural generalization of compressibility is the sole obstruction to the existence of a cocycle-invariant Borel probability measure.

We show that the stable and unstable sets of non-uniformly hyperbolic horseshoes arising in some heteroclinic bifurcations of surface diffeomorphisms have the value conjectured in a previous work by the second and third authors of the present paper. Our results apply to first heteroclinic bifurcations associated with horseshoes with Hausdorff dimension ${<}22/21$ of conservative surface diffeomorphisms.

For $\unicode[STIX]{x1D6FD}\in (1,2]$ the $\unicode[STIX]{x1D6FD}$-transformation $T_{\unicode[STIX]{x1D6FD}}:[0,1)\rightarrow [0,1)$ is defined by $T_{\unicode[STIX]{x1D6FD}}(x)=\unicode[STIX]{x1D6FD}x\hspace{0.6em}({\rm mod}\hspace{0.2em}1)$. For $t\in [0,1)$ let $K_{\unicode[STIX]{x1D6FD}}(t)$ be the survivor set of $T_{\unicode[STIX]{x1D6FD}}$ with hole $(0,t)$ given by

$$\begin{eqnarray}K_{\unicode[STIX]{x1D6FD}}(t):=\{x\in [0,1):T_{\unicode[STIX]{x1D6FD}}^{n}(x)\not \in (0,t)\text{ for all }n\geq 0\}.\end{eqnarray}$$

$E_{\unicode[STIX]{x1D6FD}}$

$t\in [0,1)$

$t\mapsto K_{\unicode[STIX]{x1D6FD}}(t)$

$E_{\unicode[STIX]{x1D6FD}}$

$\unicode[STIX]{x1D6FD}\in (1,2)$

$\unicode[STIX]{x1D6FD}\in (1,2)$

$E_{\unicode[STIX]{x1D6FD}}$

$\unicode[STIX]{x1D6FD}\in (1,2)$

$E_{\unicode[STIX]{x1D6FD}}$

$E_{2}$

$\unicode[STIX]{x1D6FD}\in (1,2)$

$\unicode[STIX]{x1D70F}_{\unicode[STIX]{x1D6FD}}$

$K_{\unicode[STIX]{x1D6FD}}(t)$

$t<\unicode[STIX]{x1D70F}_{\unicode[STIX]{x1D6FD}}$

$\unicode[STIX]{x1D70F}_{\unicode[STIX]{x1D6FD}}\leq 1-(1/\unicode[STIX]{x1D6FD})$

$\unicode[STIX]{x1D6FD}\in (1,2)$

We describe how to approximate fractal transformations generated by a one-parameter family of dynamical systems $W:[0,1]\rightarrow [0,1]$ constructed from a pair of monotone increasing diffeomorphisms $W_{i}$ such that $W_{i}^{-1}:[0,1]\rightarrow [0,1]$ for $i=0,1$. An algorithm is provided for determining the unique parameter value such that the closure of the symbolic attractor $\overline{\unicode[STIX]{x1D6FA}}$ is symmetrical. Several examples are given, one in which the $W_{i}$ are affine and two in which the $W_{i}$ are nonlinear. Applications to digital imaging are also discussed.

By previous work of Giordano and the author, ergodic actions of $\mathbf{Z}$ (and other discrete groups) are completely classified measure-theoretically by their dimension space, a construction analogous to the dimension group used in $\text{C}^{\ast }$-algebras and topological dynamics. Here we investigate how far from approximately transitive (AT) actions can be that derive from circulant (and related) matrices. It turns out not very: although non-AT actions can arise from this method of construction, under very modest additional conditions, approximate transitivity arises. KIn addition, if we drop the positivity requirement in the isomorphism of dimension spaces, then all these ergodic actions satisfy an analogue of AT. Many examples are provided.

We consider a one-parameter family of dynamical systems $W:[0,1]\rightarrow [0,1]$ constructed from a pair of monotone increasing diffeomorphisms $W_{i}$ such that $W_{i}^{-1}:$$[0,1]\rightarrow [0,1]$$(i=0,1)$. We characterise the set of symbolic itineraries of $W$ using an attractor $\overline{\unicode[STIX]{x1D6FA}}$ of an iterated closed relation, in the terminology of McGehee, and prove that there is a member of the family for which $\overline{\unicode[STIX]{x1D6FA}}$ is symmetrical.