Combinatorial independence and sofic entropy

From MaRDI portal



Abstract: We undertake a local analysis of combinatorial independence as it connects to topological entropy within the framework of actions of sofic groups.


Inspired by results in the local theory of entropy [\textit{E. Glasner} and \textit{X. Ye}, Ergodic Theory Dyn. Syst. 29, No. 2, 321--356 (2009; Zbl 1160.37309)] \textit{D. Kerr} and \textit{H. Li} developed in [Math. Ann. 338, No. 4, 869--926 (2007; Zbl 1131.46046); J. Funct. Anal. 256, No. 5, 1341--1386 (2009; Zbl 1170.37007)] a general theory of independence in dynamics of actions of amenable groups. Their study revealed a deep connection between independence, entropy and weak mixing. The emerging theory of entropy of sofic groups actions introduced by \textit{L. Bowen} [J. Am. Math. Soc. 23, No. 1, 217--245 (2010; Zbl 1201.37005)] motivates the question of the meaning of independence in this broaden context. The paper under review is a part of a program to develop a general theory of independence in dynamics. The authors succeed in extending local analysis of combinatorial independence to sofic groups. The key step is the definition of the independence in the framework of actions of sofic groups. It is demonstrated that the right definition of an entropy tuple for a continuous action \(G\curvearrowright X\) of a countable discrete sofic group \(G\) on a compact Hausdorff space \(X\) and a fixed sofic approximation net \(\Sigma=\{\sigma_i: G\to\text{Sym}(d_i)\}\) is the notion of \(\Sigma\)-IE-tuples. To define \(\Sigma\)-IE-tuples the authors externalize the positive independence density condition (which is easy to define in the amenable case, but nontrivial in the sofic case) to the finite sets \(\{1,\ldots,d_i\}\) which are targets of sofic approximation maps \(\Sigma_i\). Such defined \(\Sigma\)-IE-tuples have similar properties as IE-tuples for actions of discrete countable amenable groups defined in [the authors, Math. Ann. 338, No. 4, 869--926 (2007; Zbl 1131.46046)]. In particular, the topological entropy \(h_\Sigma(X,G)\) of \((X,G)\) with respect to \(\Sigma\) is positive if and only if there is a nondiagonal IE-pair. Moreover, in the amenable case, \(\Sigma\)-IE-tuples are the same thing as IE-tuples. Using this the authors are able to translate much of the theory of independence to the more general context of sofic group actions.



Cites work


Cited in
(35)








This page was built for publication: Combinatorial independence and sofic entropy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q376064)