The aim of this note is twofold. First, we prove an abstract version of the Calderón transference principle for inequalities of admissible type in the general commutative multilinear and multiparameter setting. Such an operation does not increase the constants in the transferred inequalities. Second, we use the last information to study a certain dichotomy arising in problems of finding the best constants in the weak type $(1,1)$ and strong type $(p,p)$ inequalities for one-parameter ergodic maximal operators.

The first part of this work is devoted to the study of higher derivatives of pressure functions of Hölder potentials on shift spaces with finitely many symbols. By describing the derivatives of pressure functions via the central limit theorem for the associated random processes, we discover some rigid relationships between derivatives of various orders. The rigidity imposes obstructions on fitting candidate convex analytic functions by pressure functions of Hölder potentials globally, which answers a question of Kucherenko and Quas. In the second part of the work, we consider fitting candidate analytic germs by pressure functions of locally constant potentials. We prove that all 1-level candidate germs can be realised by pressures of some locally constant potentials, as long as the number of symbols in the symbolic set is large enough. There are also some results on fitting 2-level germs by pressures of locally constant potentials obtained in the work.

Let $\theta $ be an irrational real number. The map $T_\theta : y \mapsto (y+\theta ) \,\mod \!\!\: 1$ from the unit interval $\mathbf {I} = [0,1[$ (endowed with the Lebesgue measure) to itself is ergodic. In 2002, Rudolph and Hoffman showed in [Uniform endomorphisms which are isomorphic to a Bernoulli shift. Ann. of Math. (2) 156(1) (2002), 79–101] that the measure-preserving map $[T_\theta ,\mathrm {Id}]$ is isomorphic to a one-sided dyadic Bernoulli shift. Their proof is not constructive. A few years before, Parry [Automorphisms of the Bernoulli endomorphism and a class of skew-products. Ergod. Th. & Dynam. Sys.16 (1996), 519–529] had provided an explicit isomorphism under the assumption that $\theta $ is extremely well approached by the rational numbers, namely,

$$ \begin{align*}\inf_{q \ge 1} q^44^{q^2}~\mathrm{dist}(\theta,q^{-1}\mathbb{Z}) = 0.\end{align*} $$

Whether the explicit map considered by Parry is an isomorphism or not in the general case was still an open question. In Leuridan [Bernoulliness of $[T,\mathrm {Id}]$ when T is an irrational rotation: towards an explicit isomorphism. Ergod. Th. & Dynam. Sys. 41(7) (2021), 2110–2135] we relaxed Parry’s condition into

$$ \begin{align*}\inf_{q \ge 1} q^4~\mathrm{dist}(\theta,q^{-1}\mathbb{Z}) = 0.\end{align*} $$

In the present paper, we remove the condition by showing that the explicit map considered by Parry is always an isomorphism. With a few adaptations, the same method works with $[T,T^{-1}]$.

Using the idea of local entropy theory, we characterize the sequence entropy tuple via mean forms of the sensitive tuple in both topological and measure-theoretical senses. For the measure-theoretical sense, we show that for an ergodic measure-preserving system, the $\mu $-sequence entropy tuple, the $\mu $-mean sensitive tuple, and the $\mu $-sensitive in the mean tuple coincide, and give an example to show that the ergodicity condition is necessary. For the topological sense, we show that for a certain class of minimal systems, the mean sensitive tuple is the sequence entropy tuple.

For any primitive substitution whose Perron eigenvalue is a Pisot unit, we construct a domain exchange that is measurably conjugate to the subshift. Additionally, we give a condition for the subshift to be a finite extension of a torus translation. For the particular case of weakly irreducible Pisot substitutions, we show that the subshift is either a finite extension of a torus translation or its eigenvalues are roots of unity. Furthermore, we provide an algorithm to compute eigenvalues of the subshift associated with any primitive pseudo-unimodular substitution.

A left orderable monster is a finitely generated left orderable group all of whose fixed point-free actions on the line are proximal: the action is semiconjugate to a minimal action so that for every bounded interval I and open interval J, there is a group element that sends I into J. In his 2018 ICM address, Navas asked about the existence of left orderable monsters. By now there are several examples, all of which are finitely generated but not finitely presentable. We provide the first examples of left orderable monsters that are finitely presentable, and even of type $F_\infty $. These groups satisfy several additional properties separating them from the previous examples: they are not simple, they act minimally on the circle, and they have an infinite-dimensional space of homogeneous quasimorphisms. Our construction is flexible enough that it produces infinitely many isomorphism classes of finitely presented (and type $F_{\infty }$) left orderable monsters.

For a continuous $\mathbb {N}^d$ or $\mathbb {Z}^d$ action on a compact space, we introduce the notion of Bohr chaoticity, which is an invariant of topological conjugacy and which is proved stronger than having positive entropy. We prove that all principal algebraic $\mathbb {Z}$ actions of positive entropy are Bohr chaotic. The same is proved for principal algebraic actions of $\mathbb {Z}^d$ with positive entropy under the condition of existence of summable homoclinic points.

In this paper, we prove using elementary techniques that any group of diffeomorphisms acting on the 2-sphere and properly extending the conformal group of Möbius transformations must be at least 4-transitive or, more precisely, arc 4-transitive. As an important consequence, we derive that any such group must always contain an element of positive topological entropy. We also provide a self-contained characterization, in terms of transitivity, of the Möbius transformations within the full group of sphere diffeomorphisms.

Using Patterson–Sullivan measures, we investigate growth problems for groups acting on a metric space with a strongly contracting element.

We prove $\times a \times b$ measure rigidity for multiplicatively independent pairs when $a\in \mathbb {N}$ and $b>1$ is a ‘specified’ real number (the b-expansion of $1$ has a tail or bounded runs of $0$s) under a positive entropy condition. This is done by proving a mean decay of the Fourier series of the point masses average along $\times b$ orbits. We also prove a quantitative version of this decay under stronger conditions on the $\times a$ invariant measure. The quantitative version together with the $\times b$ invariance of the limit measure is a step toward a general Host-type pointwise equidistribution theorem in which the equidistribution is for Parry measure instead of Lebesgue. We show that finite memory length measures on the a-shift meet the mentioned conditions for mean convergence. Our main proof relies on techniques of Hochman.

We study the behavior of the co-spectral radius of a subgroup H of a discrete group $\Gamma $ under taking intersections. Our main result is that the co-spectral radius of an invariant random subgroup does not drop upon intersecting with a deterministic co-amenable subgroup. As an application, we find that the intersection of independent co-amenable invariant random subgroups is co-amenable.

In this paper, we first give a necessary and sufficient condition for a factor code with an unambiguous symbol to admit a subshift of finite type restricted to which it is one-to-one and onto. We then give a necessary and sufficient condition for the standard factor code on a spoke graph to admit a subshift of finite type restricted to which it is finite-to-one and onto. We also conjecture that for such a code, the finite-to-one and onto property is equivalent to the existence of a stationary Markov chain that achieves the capacity of the corresponding deterministic channel.

We study the asymptotic behavior of the family of holomorphic correspondences $\lbrace \mathcal {F}_a\rbrace _{a\in \mathcal {K}}$, given by

$$ \begin{align*}\bigg(\frac{az+1}{z+1}\bigg)^2+\bigg(\frac{az+1}{z+1}\bigg)\bigg(\frac{aw-1}{w-1}\bigg)+\bigg(\frac{aw-1}{w-1}\bigg)^2=3.\end{align*} $$

$\mathcal {F}_a$

$\operatorname {PSL}_2(\mathbb {Z})$

$a\in \mathcal {K}$

$\mathcal {F}_a$

$\mathcal {F}_a$

We prove a generalization of Krieger’s embedding theorem, in the spirit of zero-error information theory. Specifically, given a mixing shift of finite type X, a mixing sofic shift Y, and a surjective sliding block code $\pi : X \to Y$, we give necessary and sufficient conditions for a subshift Z of topological entropy strictly lower than that of Y to admit an embedding $\psi : Z \to X$ such that $\pi \circ \psi $ is injective.

Let $ G $ be a connected semisimple real algebraic group and $\Gamma <G$ be a Zariski dense discrete subgroup. Let N denote a maximal horospherical subgroup of G, and $P=MAN$ the minimal parabolic subgroup which is the normalizer of N. Let $\mathcal E$ denote the unique P-minimal subset of $\Gamma \backslash G$ and let $\mathcal E_0$ be a $P^\circ $-minimal subset. We consider a notion of a horospherical limit point in the Furstenberg boundary $ G/P $ and show that the following are equivalent for any $[g]\in \mathcal E_0$:

1. (1) $gP\in G/P$ is a horospherical limit point;

2. (2) $[g]NM$ is dense in $\mathcal E$;

3. (3) $[g]N$ is dense in $\mathcal E_0$.

The equivalence of items (1) and (2) is due to Dal’bo in the rank one case. We also show that unlike convex cocompact groups of rank one Lie groups, the $NM$-minimality of $\mathcal E$ does not hold in a general Anosov homogeneous space.

We present an elementary proof that the Rauzy gasket has Hausdorff dimension strictly smaller than two.

We prove that crossed products of fiberwise essentially minimal zero-dimensional dynamical systems, a class that includes systems in which all orbit closures are minimal, have isomorphic K-theory if and only if the dynamical systems are strong orbit equivalent. Under the additional assumption that the dynamical systems have no periodic points, this gives a classification theorem including isomorphism of the associated crossed product $C^*$-algebras as well. We additionally explore the K-theory of such crossed products and the Bratteli diagrams associated to the dynamical systems.

For typical cocycles over subshifts of finite type, we show that for any given orbit segment, we can construct a periodic orbit such that it shadows the given orbit segment and that the product of the cocycle along its orbit is a proximal linear map. Using this result, we show that suitable assumptions on the periodic orbits have consequences over the entire subshift.

In this work we prove that every shift of finite type (SFT), sofic shift, and strongly irreducible shift on locally finite groups has strong dynamical properties. These properties include that every sofic shift is an SFT, every SFT is strongly irreducible, every strongly irreducible shift is an SFT, every SFT is entropy minimal, and every SFT has a unique measure of maximal entropy, among others. In addition, we show that if every SFT on a group is strongly irreducible, or if every sofic shift is an SFT, then the group must be locally finite, and this extends to all of the properties we explore. These results are collected in two main theorems which characterize the local finiteness of groups by purely dynamical properties. In pursuit of these results, we present a formal construction of free extension shifts on a group G, which takes a shift on a subgroup H of G, and naturally extends it to a shift on all of G.

In this work, we explore the dynamical implications of a spectral sequence analysis of a filtered chain complex associated to a non-singular Morse–Smale (NMS) flow $\varphi $ on a closed orientable $3$-manifold $M^3$ with no heteroclinic trajectories connecting saddle periodic orbits. We introduce the novel concepts of cancellations and reductions of pairs of periodic orbits based on Franks’ morsification and Smale’s cancellation theorems. The main goal is to establish an algebraic-dynamical correspondence between the unfolding of this spectral sequence associated to $\varphi $ and a family of flows obtained by cancelling and reducing pairs of periodic orbits of $\varphi $ on $M^3$. This correspondence is achieved through a spectral sequence sweeping algorithm (SSSA), which determines the order in which these cancellations and reductions of periodic orbits occur, producing a family of NMS flows that reaches a core flow when the spectral sequence converges.