Bernoulli actions of sofic groups have completely positive entropy (Q466143): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
Added link to MaRDI item.
links / mardi / namelinks / 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
    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

    Identifiers