Related papers: An ergodic Lebesgue differentiation theorem

We consider a random walk $S_k$ with i.i.d. steps on a compact group equipped with a bi-invariant metric. We prove quantitative ergodic theorems for the sum $\sum_{k=1}^N f(S_k)$ with H\"older continuous test functions $f$, including the…

Fix a translation surface $X$, and consider the measures on $X$ coming from averaging the uniform measures on all the saddle connections of length at most $R$. Then as $R\to\infty$, the weak limit of these measures exists and is equal to…

We show that for any set $A\subseteq [0,1]^n$ with $\text{Vol}(A)\ge 1/2$ there exists a line $\ell $ such that the one-dimensional Lebesgue measure of $\ell \cap A$ is at least $\Omega ( n^{1/4} )$. The exponent $1/4$ is tight. More…

We prove mean and pointwise ergodic theorems for the action of a discrete lattice subgroup in a connected algebraic Lie group, on infinite volume homogeneous algebraic varieties. Under suitable necessary conditions, our results are…

Let $\mathcal{M}(\mathbb{R}^n)$ be the class of bounded away from one and infinity functions $p:\mathbb{R}^n\to[1,\infty]$ such that the Hardy-Littlewood maximal operator is bounded on the variable Lebesgue space…

We give a new characterization of relative entropy, also known as the Kullback-Leibler divergence. We use a number of interesting categories related to probability theory. In particular, we consider a category FinStat where an object is a…

Let $f$ be a $C^2$ diffeomorphism on compact Riemannian manifold $M$ with partially hyperbolic splitting $$ TM=E^u\oplus E_1^c\oplus\cdots\oplus E_k^c \oplus E^s, $$ where $E^u$ is uniformly expanding, $E^s$ is uniformly contracting, and…

For a measurable map $T$ and a sequence of $T$-invariant probability measures $\mu_n$ that converges in some sense to a $T$-invariant probability measure $\mu$, an estimate from below for the Kolmogorov--Sinai entropy of $T$ with respect to…

Let $G$ be a real Lie group, $\Lambda\subseteq G$ a lattice, and $X=G/\Lambda$. We fix a probability measure $\mu$ on $G$ and consider the left random walk induced on $X$. It is assumed that $\mu$ is aperiodic, has a finite first moment,…

Suppose $(f,\mathcal{X},\nu)$ is a measure preserving dynamical system and $\phi:\mathcal{X}\to\mathbb{R}$ is an observable with some degree of regularity. We investigate the maximum process $M_n:=\max\{X_1,\ldots,X_n\}$, where…

We prove that for any given modulus of continuity {\omega} there exist (uncountably many) C1 uniformly expanding maps of the circle whose derivatives have $C^1$ as an optimal modulus of continuity and which preserve an invariant probability…

Let $A^-$ and $A^+$ be properly immersed closed locally convex subsets of a Riemannian manifold $M$ with pinched negative sectional curvature. When the Bowen-Margulis measure on $T^1M$ is finite and mixing for the geodesic flow, we prove…

A pair of probability distributions over $\{0,1\}^n$ is said to be $(k,\delta)$-wise indistinguishable if all of the size $k$ marginals are within statistical distance at most $\delta$. Previous works introduced this concept and study when…

Consider a mixing dynamical systems $([0,1], T, \mu)$, for instance a piecewise expanding interval map with a Gibbs measure $\mu$. Given a non-summable sequence $(m_k)$ of non-negative numbers, one may define $r_k (x)$ such that $\mu (B(x,…

It is shown that there exist a subsequence for which the multiple ergodic averages of commuting invertible measure preserving transformations of a Lebesgue probability space converge almost everywhere provided that the maps are weakly…

Let $A \subset \mathbb{R}^d$, $d\ge 2$, be a compact convex set and let $\mu = \varrho_0 dx$ be a probability measure on $A$ equivalent to the restriction of Lebesgue measure. Let $\nu = \varrho_1 dx$ be a probability measure on $B_r :=…

Given $1\leq p<\infty$, we show that ergodic flows in the $L^p$-space over a $\sigma$-finite measure space generated by strongly continuous semigroups of Dunford-Schwartz operators and modulated by bounded Besicovitch almost periodic…

Let $(\mathbb X, T)$ be a subshift of finite type equipped with the Gibbs measure $\nu$ and let $f$ be a real-valued H\"older continuous function on $\mathbb X$ such that $\nu(f) = 0$. Consider the Birkhoff sums $S_n f = \sum_{k=0}^{n-1} f…

In the variational approach to statistical mechanics, equilibrium states are the rigorous analogues of thermodynamic phases; the question of which invariant measures can arise as equilibrium states is therefore the question of which phases…

We prove that for every number k each countable infinite group $G$ admits a partition $G=A\cup B$ into two sets which are $k$-meager in the sense that for every $k$-element subset $K\subset G$ the sets $KA$ and $KB$ are not thick. The proof…