Bernoulli actions of sofic groups have completely positive entropy (Q466143): Difference between revisions
From MaRDI portal
Changed an Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 04:37, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Bernoulli actions of sofic groups have completely positive entropy |
scientific article |
Statements
Bernoulli actions of sofic groups have completely positive entropy (English)
0 references
24 October 2014
0 references
Let \(G\) be a discrete group, and \(\sigma\) be a map from \(G\) to \(\text{Sym}(d)\) for some \(d \in \mathbb{N}\), \(\text{Sym}(d)\) is a symmetric group on finite set of \(d\) symbols. For any finite set \(F \subset G\) write \(\mathcal{V}(\sigma,F)\) for the set of all \(v \in \{1,\dots,d\}\) such that {\parindent=6mm \begin{itemize} \item[(i)] \(\sigma_{st}(v)=\sigma_s \sigma_t(v)\), for all \(s,t \in F\), and \item [(ii)] \(\sigma_s(v) \neq \sigma_t(v)\) for all distinct \(t,s \in F\). \end{itemize}} A net \(\Big\{\sigma_i \, :\, G\longrightarrow \text{Sym}(d_i) \Big\}\) is called a ``sofic approximation net'' if \(d_i \longrightarrow +\infty\) as \(i\longrightarrow +\infty\) and \[ \lim_{i \longrightarrow +\infty}\frac{\Big|\mathcal{V}(\sigma_i,F)\Big|}{d_i}=1, \] for any finite set \(F \subset G\). The group \(G\) is sofic if it admits a sofic approximation net. In this paper, the author proves that every Bernoulli action of sofic group has completely positive entropy with respect to every sofic approximation net. He further establishes the following theorem. {Theorem. } Let \(F_r\) be a free group of \(r\) generators acting by measure-preserving transformations on a Borel space \((Y, \nu)\). Assume that \((Y, \nu,F_r)\) is a non-trivial factor of a Bernoulli action of \(F_r\) and suppose that this factor has a finite generating partition. Then \(f(Y,F_r)>0,\) with \[ f(Y,F_r)=\inf_{F\subset G}\inf_{\delta >0}\limsup_{d \longrightarrow +\infty} \frac1{d}\log\Big(\frac1{d!^r}\sum_{\sigma \in \text{Hom}(F_r,\text{Sym(d)})}\Big|\text{Hom}_{\nu}(\xi,F,\delta,\sigma)\Big|\Big), \] where \(\xi\) is a finite generating partition, \(F\) ranges over the finite subsets of \(G\) and \(\text{Hom}(F_r,\text{Sym(d)})\) denotes the set of all group homomorphisms from \(F_r\) to \(\text{Sym(d)}\).
0 references
sofic group
0 references
sofic approximation net
0 references
Kolmogorov-Sinai entropy
0 references
Shannon entropy
0 references
Bernoulli action
0 references
Bernoulli factor
0 references