An ergodic theorem for subadditive random functions on vector semigroups
Authors:
Vytautas Kazakevicius
Abstract:
Let $f=(f^x\mid x\in S)$, $S\subset\mathbb{Z}^m$, be a semigroup of ergodic measure-preserving transformations of a probability space $(Ω,\mathsf{P})$ and $h$ a real random function on $S$, such that $h(x+y,ω)\le h(x,ω)+h(y,f^xω)$ for all $x,y\in S$ and $ω\inΩ$. We prove that there exists a sublinear function $q\colon O\to[-\infty;\infty)$ defined on $O=\mathrm{int}(\mathrm{cone}(S))$, and a set…
▽ More
Let $f=(f^x\mid x\in S)$, $S\subset\mathbb{Z}^m$, be a semigroup of ergodic measure-preserving transformations of a probability space $(Ω,\mathsf{P})$ and $h$ a real random function on $S$, such that $h(x+y,ω)\le h(x,ω)+h(y,f^xω)$ for all $x,y\in S$ and $ω\inΩ$. We prove that there exists a sublinear function $q\colon O\to[-\infty;\infty)$ defined on $O=\mathrm{int}(\mathrm{cone}(S))$, and a set $W\subsetΩ$ of full probability, such that $h(x_n,ω)/\lvert x_n\rvert\to q(x)$ for all $ω\in W$ and all sequences $(x_n)\subset S$ with asymptotic direction $x\in O$. The moment condition for this reflects the size of the semigroup $f$, not that of $S$. However, an additional independence assumption about $h$ is made.
△ Less
Submitted 7 September, 2020;
originally announced September 2020.