In this paper, we study a connection between disintegration of measures and geometric properties of probability spaces. We prove a disintegration theorem, addressing disintegration from the perspective of an optimal transport problem. We look at the disintegration of transport plans, which are used to define and study disintegration maps. Using these objects, we study the regularity and absolute continuity of disintegration of measures. In particular, we exhibit conditions for which the disintegration map is weakly continuous and one can obtain a path of measures given by this map. We show a rigidity condition for the disintegration of measures to be given into absolutely continuous measures.

We define the topological multiplicity of an invertible topological system $(X,T)$ as the minimal number k of real continuous functions $f_1,\ldots , f_k$ such that the functions $f_i\circ T^n$, $n\in {\mathbb {Z}}$, $1\leq i\leq k,$ span a dense linear vector space in the space of real continuous functions on X endowed with the supremum norm. We study some properties of topological systems with finite multiplicity. After giving some examples, we investigate the multiplicity of subshifts with linear growth complexity.

Let $(M,g,J)$ be a closed Kähler manifold with negative sectional curvature and complex dimension $m := \dim _{\mathbb {C}} M \geq 2$. In this article, we study the unitary frame flow, that is, the restriction of the frame flow to the principal $\mathrm {U}(m)$-bundle $F_{\mathbb {C}}M$ of unitary frames. We show that if $m \geq 6$ is even and $m \neq 28$, there exists $\unicode{x3bb} (m) \in (0, 1)$ such that if $(M, g)$ has negative $\unicode{x3bb} (m)$-pinched holomorphic sectional curvature, then the unitary frame flow is ergodic and mixing. The constants $\unicode{x3bb} (m)$ satisfy $\unicode{x3bb} (6) = 0.9330...$, $\lim _{m \to +\infty } \unicode{x3bb} (m) = {11}/{12} = 0.9166...$, and $m \mapsto \unicode{x3bb} (m)$ is decreasing. This extends to the even-dimensional case the results of Brin and Gromov [On the ergodicity of frame flows. Invent. Math. 60(1) (1980), 1–7] who proved ergodicity of the unitary frame flow on negatively curved compact Kähler manifolds of odd complex dimension.

We prove that any strongly mixing action of a countable abelian group on a probability space has higher-order mixing properties. This is achieved via the utilization of $\mathcal R$-limits, a notion of convergence which is based on the classical Ramsey theorem. $\mathcal R$-limits are intrinsically connected with a new combinatorial notion of largeness which is similar to but has stronger properties than the classical notions of uniform density one and IP$^*$. While the main goal of this paper is to establish a universal property of strongly mixing actions of countable abelian groups, our results, when applied to ${\mathbb {Z}}$-actions, offer a new way of dealing with strongly mixing transformations. In particular, we obtain several new characterizations of strong mixing for ${\mathbb {Z}}$-actions, including a result which can be viewed as the analogue of the weak mixing of all orders property established by Furstenberg in the course of his proof of Szemerédi’s theorem. We also demonstrate the versatility of $\mathcal R$-limits by obtaining new characterizations of higher-order weak and mild mixing for actions of countable abelian groups.

We use Gaussian measure-preserving systems to prove the existence and genericity of Lebesgue measure-preserving transformations $T:[0,1]\rightarrow [0,1]$ which exhibit both mixing and rigidity behavior along families of asymptotically linearly independent sequences. Let $\unicode{x3bb} _1,\ldots ,\unicode{x3bb} _N\in [0,1]$ and let $\phi _1,\ldots ,\phi _N:\mathbb N\rightarrow \mathbb Z$ be asymptotically linearly independent (that is, for any $(a_1,\ldots ,a_N)\in \mathbb Z^N\setminus \{\vec 0\}$, $\lim _{k\rightarrow \infty }|\sum _{j=1}^Na_j\phi _j(k)|=\infty $). Then the class of invertible Lebesgue measure-preserving transformations $T:[0,1]\rightarrow [0,1]$ for which there exists a sequence $(n_k)_{k\in \mathbb {N}}$ in $\mathbb {N}$ with for any measurable $A,B\subseteq [0,1]$ and any $j\in \{1,\ldots ,N\}$, is generic. This result is a refinement of a result due to Stëpin (Theorem 2 in [Spectral properties of generic dynamical systems. Math. USSR-Izv. 29(1) (1987), 159–192]) and a generalization of a result due to Bergelson, Kasjan, and Lemańczyk (Corollary F in [Polynomial actions of unitary operators and idempotent ultrafilters. Preprint, 2014, arXiv:1401.7869]).

We construct a geometrico-symbolic version of the natural extension of the random $\beta $-transformation introduced by Dajani and Kraaikamp [Random $\beta $-expansions. Ergod. Th. & Dynam. Sys. 23(2) (2003) 461–479]. This construction provides a new proof of the existence of a unique absolutely continuous invariant probability measure for the random $\beta $-transformation, and an expression for its density. We then prove that this natural extension is a Bernoulli automorphism, generalizing to the random case the result of Smorodinsky [$\beta $-automorphisms are Bernoulli shifts. Acta Math. Acad. Sci. Hungar. 24 (1973), 273–278] about the greedy transformation.

We generalize a result of Lindenstrauss on the interplay between measurable and topological dynamics which shows that every separable ergodic measurably distal dynamical system has a minimal distal model. We show that such a model can, in fact, be chosen completely canonically. The construction is performed by going through the Furstenberg–Zimmer tower of a measurably distal system and showing that at each step there is a simple and canonical distal minimal model. This hinges on a new characterization of isometric extensions in topological dynamics.

Furstenberg–Zimmer structure theory refers to the extension of the dichotomy between the compact and weakly mixing parts of a measure-preserving dynamical system and the algebraic and geometric descriptions of such parts to a conditional setting, where such dichotomy is established relative to a factor and conditional analogs of those algebraic and geometric descriptions are sought. Although the unconditional dichotomy and the characterizations are known for arbitrary systems, the relative situation is understood under certain countability and separability hypotheses on the underlying groups and spaces. The aim of this article is to remove these restrictions in the relative situation and establish a Furstenberg–Zimmer structure theory in full generality. As an independent byproduct, we establish a connection between the relative analysis of systems in ergodic theory and the internal logic in certain Boolean topoi.

We prove an extension of the Moore–Schmidt theorem on the triviality of the first cohomology class of cocycles for the action of an arbitrary discrete group on an arbitrary measure space and for cocycles with values in an arbitrary compact Hausdorff abelian group. The proof relies on a ‘conditional’ Pontryagin duality for spaces of abstract measurable maps.

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).

In this paper we study a Fermi–Ulam model where a pingpong ball bounces elastically against a periodically oscillating platform in a gravity field. We assume that the platform motion $f(t)$ is 1-periodic and piecewise $C^3$ with a singularity, $\dot {f}(0+)\ne \dot {f}(1-)$ . If the second derivative $\ddot {f}(t)$ of the platform motion is either always positive or always less than $-g$ , where g is the gravitational constant, then the escaping orbits constitute a null set and the system is recurrent. However, under these assumptions, escaping orbits co-exist with bounded orbits at arbitrarily high energy levels.

Let $\phi :X\to X$ be a homeomorphism of a compact metric space X. For any continuous function $F:X\to \mathbb {R}$ there is a one-parameter group $\alpha ^{F}$ of automorphisms (or a flow) on the crossed product $C^*$ -algebra $C(X)\rtimes _{\phi }\mathbb {Z}$ defined such that $\alpha ^{F}_{t}(fU)=fUe^{-itF}$ when $f \in C(X)$ and U is the canonical unitary in the construction of the crossed product. In this paper we study the Kubo--Martin--Schwinger (KMS) states for these flows by developing an intimate relation to the ergodic theory of non-singular transformations and show that the structure of KMS states can be very rich and complicated. Our results are complete concerning the set of possible inverse temperatures; in particular, we show that when $C(X) \rtimes _{\phi } \mathbb Z$ is simple this set is either $\{0\}$ or the whole line $\mathbb R$ .

Following Losik’s approach to Gelfand’s formal geometry, certain characteristic classes for codimension-one foliations coming from the Gelfand-Fuchs cohomology are considered. Sufficient conditions for nontriviality in terms of dynamical properties of generators of the holonomy groups are found. The nontriviality for the Reeb foliations is shown; this is in contrast with some classical theorems on the Godbillon-Vey class; for example, the Mizutani-Morita-Tsuboi theorem about triviality of the Godbillon-Vey class of foliations almost without holonomy is not true for the classes under consideration. It is shown that the considered classes are trivial for a large class of foliations without holonomy. The question of triviality is related to ergodic theory of dynamical systems on the circle and to the problem of smooth conjugacy of local diffeomorphisms. Certain classes are obstructions for the existence of transverse affine and projective connections.

Let $m\in \mathbb{N}$ and $\mathbf{X}=(X,{\mathcal{X}},\unicode[STIX]{x1D707},(T_{\unicode[STIX]{x1D6FC}})_{\unicode[STIX]{x1D6FC}\in \mathbb{R}^{m}})$ be a measure-preserving system with an $\mathbb{R}^{m}$-action. We say that a Borel measure $\unicode[STIX]{x1D708}$ on $\mathbb{R}^{m}$ is weakly equidistributed for $\mathbf{X}$ if there exists $A\subseteq \mathbb{R}$ of density 1 such that, for all $f\in L^{\infty }(\unicode[STIX]{x1D707})$, we have

$$\begin{eqnarray}\lim _{t\in A,t\rightarrow \infty }\int _{\mathbb{R}^{m}}f(T_{t\unicode[STIX]{x1D6FC}}x)\,d\unicode[STIX]{x1D708}(\unicode[STIX]{x1D6FC})=\int _{X}f\,d\unicode[STIX]{x1D707}\end{eqnarray}$$

$\unicode[STIX]{x1D707}$

$x\in X$

$W(\mathbf{X})$

$\unicode[STIX]{x1D6FC}\in \mathbb{R}^{m}$

$\mathbb{R}$

$(T_{t\unicode[STIX]{x1D6FC}})_{t\in \mathbb{R}}$

$\unicode[STIX]{x1D708}$

$\mathbb{R}^{m}$

$\mathbf{X}$

$\unicode[STIX]{x1D708}(W(\mathbf{X})+\unicode[STIX]{x1D6FD})=0$

$\unicode[STIX]{x1D6FD}\in \mathbb{R}^{m}$

$\unicode[STIX]{x1D708}$

$\mathbb{R}^{m}$

$\unicode[STIX]{x1D708}(\ell )=0$

$\ell$

$\mathbb{R}^{m}$

A seminal result due to Wall states that if $x$ is normal to a given base $b$, then so is $rx+s$ for any rational numbers $r,s$ with $r\neq 0$. We show that a stronger result is true for normality with respect to the continued fraction expansion. In particular, suppose $a,b,c,d\in \mathbb{Z}$ with $ad-bc\neq 0$. Then if $x$ is continued fraction normal, so is $(ax+b)/(cx+d)$.

We study algorithmic randomness notions via effective versions of almost-everywhere theorems from analysis and ergodic theory. The effectivization is in terms of objects described by a computably enumerable set, such as lower semicomputable functions. The corresponding randomness notions are slightly stronger than Martin–Löf (ML) randomness.

We establish several equivalences. Given a ML-random real z, the additional randomness strengths needed for the following are equivalent.

1. (1) all effectively closed classes containing z have density 1 at z.

2. (2) all nondecreasing functions with uniformly left-c.e. increments are differentiable at z.

3. (3) z is a Lebesgue point of each lower semicomputable integrable function.

We also consider convergence of left-c.e. martingales, and convergence in the sense of Birkhoff’s pointwise ergodic theorem. Lastly, we study randomness notions related to density of ${\rm{\Pi }}_n^0$ and ${\rm{\Sigma }}_1^1$ classes at a real.

Consider a $C^{2}$ family of mixing $C^{4}$ piecewise expanding unimodal maps $t\in [a,b]\mapsto f_{t}$, with a critical point $c$, that is transversal to the topological classes of such maps. Given a Lipchitz observable $\unicode[STIX]{x1D719}$ consider the function

$$\begin{eqnarray}{\mathcal{R}}_{\unicode[STIX]{x1D719}}(t)=\int \unicode[STIX]{x1D719}\,d\unicode[STIX]{x1D707}_{t},\end{eqnarray}$$

$\unicode[STIX]{x1D707}_{t}$

$f_{t}$

$\unicode[STIX]{x1D70E}_{t}>0$

$t\in [a,b]$

$$\begin{eqnarray}\unicode[STIX]{x1D70E}_{t}^{2}=\unicode[STIX]{x1D70E}_{t}^{2}(\unicode[STIX]{x1D719})=\lim _{n\rightarrow \infty }\int \left(\frac{\mathop{\sum }_{j=0}^{n-1}\left(\unicode[STIX]{x1D719}\circ f_{t}^{j}-\int \unicode[STIX]{x1D719}\,d\unicode[STIX]{x1D707}_{t}\right)}{\sqrt{n}}\right)^{2}\,d\unicode[STIX]{x1D707}_{t}.\end{eqnarray}$$

We show that

$$\begin{eqnarray}m\left\{t\in [a,b]:t+h\in [a,b]\text{ and }\frac{1}{\unicode[STIX]{x1D6F9}(t)\sqrt{-\log |h|}}\left(\frac{{\mathcal{R}}_{\unicode[STIX]{x1D719}}(t+h)-{\mathcal{R}}_{\unicode[STIX]{x1D719}}(t)}{h}\right)\leqslant y\right\}\end{eqnarray}$$

$$\begin{eqnarray}\frac{1}{\sqrt{2\unicode[STIX]{x1D70B}}}\int _{-\infty }^{y}e^{-\frac{s^{2}}{2}}\,ds,\end{eqnarray}$$

$\unicode[STIX]{x1D6F9}(t)$

$m$

$[a,b]$

$m([a,b])=1$

${\mathcal{R}}_{\unicode[STIX]{x1D719}}$

$[a,b]$