Bernoulli actions of sofic groups have completely positive entropy (Q466143)

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)}\).