Related papers: An ergodic Lebesgue differentiation theorem
We give two results for deducing dynamical properties of piecewise M\"obius interval maps from their related planar extensions. First, eventual expansivity and the existence of an ergodic invariant probability measure equivalent to Lebesgue…
We generalize the proof of Karamata's Theorem by the method of approximation by polynomials to the operator case. As a consequence, we offer a simple proof of \emph{uniform dual ergodicity} for a very large class of dynamical systems with…
We look at a measure, $\lambda^\infty$, on the infinite-dimensional space, ${\mathbb R}^\infty$, for which we attempt to put forth an analogue of the Lebesgue density theorem. Although this measure allows us to find partial results, for…
Given ergodic p-invariant measures {\mu_i} on the 1-torus T=R/Z, we give a sharp condition on their entropies, guaranteeing that the entropy of the convolution \muon converges to \log p. We also prove a variant of this result for joinings…
We show that if $(X,\mathcal{X},\mu,S,T)$ is an ergodic measure preserving system with commuting transformations $S$ and $T$, then the average \[\frac{1}{N^3} \sum_{i,j,k=0}^{N-1} f_0(S^j T^k x) f_1 (S^{i+j} T^k x) f_2 (S^j T^{i+k} x)\]…
We show that there is a sharp threshold in dimension one for the transport cost between the Lebesgue measure $\lambda$ and an invariant random measure $\mu$ of unit intensity to be finite. We show that for \emph{any} such random measure the…
We consider steady states for a class of mechanical systems with particle-disk interactions coupled to two, possibly unequal, heat baths. We show that any steady state that satisfies some natural assumptions is ergodic and absolutely…
For strongly positively recurrent countable state Markov shifts, we bound the distance between an invariant measure and the measure of maximal entropy in terms of the difference of their entropies. This extends an earlier result for…
Suppose $a_n$ is a real, nonnegative sequence that does not increase exponentially. For any $p<1$ we contruct a Lebesgue measurable set $E \subseteq \mathbb{R}$ which has measure at least $p$ in any unit interval and which contains no…
An ergodic support $X_0$ of a dynamical system $(X,T)$ with metrizable compact phase space $X$ is the set of all points $x\in X$ such that the corresponding sequence of empirical measures $\delta_{x,n} = (\delta_x +\delta_{Tx}+\dots…
Let G be a semisimple linear algebraic group defined over rational numbers, K be a maximal compact subgroup of its real points and {\Gamma} be an arithmetic lattice. One can associate a probability measure {\mu}(H) on {\Gamma}\G for each…
Let f be a self-map of a compact manifold M, admitting an global SRB measure \mu. For a continuous test function \phi on M and a constant \alpha>0, consider the set of the initial points for which the Birkhoff time averages of the function…
The maximum entropy principle is foundational for statistical analyses of complex dynamics. This principle has been challenged by the findings of a previous work [arXiv:1701.07596], where it was argued that a quantum system driven in time…
Let $X_n$ be a discrete time Markov chain with state space $S$ (countably infinite, in general) and initial probability distribution $\mu^{(0)} = (P(X_0=i_1),P(X_0=i_2),\cdots,)$. What is the probability of choosing in random some $k \in…
We begin by giving a new proof of the equivalence between the Liouville property and vanishing of the drift for symmetric random walks with finite first moments on finitely generated groups; a result which was first established by…
For any measure preserving system $(X,\mathcal{X},\mu,T)$ and $A\in\mathcal{X}$ with $\mu(A)>0$, we show that there exist infinitely many primes $p$ such that $\mu\bigl(A\cap T^{-(p-1)}A\cap T^{-2(p-1)}A\bigr) > 0$ (the same holds with…
Let ${\mathbb X}$ be a compact, connected, Riemannian manifold (without boundary), $\rho$ be the geodesic distance on ${\mathbb X}$, $\mu$ be a probability measure on ${\mathbb X}$, and $\{\phi_k\}$ be an orthonormal system of continuous…
Let $\{T^z\}$ be an ergodic action of the group $Z^n$ by automorphisms of the probability space $(X,m)$, $\sum_{i}^\infty a_i<\infty$, $a_i>0$. For any sequence $M_k\to +\infty$ there exist $N_k>M_k$ and a function $ f\in L_1(X,m)$ such…
Let (\Omega,\mu) be a finite measure space, X a Banach space, and let 1\le p<\infty. The aim of this paper is to give an elementary proof of the Diaz--Mayoral theorem that a subset V of L^p(\mu;X) is relatively compact if and only if it is…
We remark a variant of the existence part of the fundamental theorem of calculus, which, together with the Lebesgue differentiation theorem, constitute a new proof that every Riemann-integrable function on a compact interval having limit…