Combinatorial independence and sofic entropy (Q376064)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Combinatorial independence and sofic entropy |
scientific article |
Statements
Combinatorial independence and sofic entropy (English)
0 references
1 November 2013
0 references
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.
0 references
independence
0 references
sofic entropy
0 references
Loeb space
0 references
algebraic action
0 references
Fuglede-Kadison determinant
0 references
Li-Yorke chaos
0 references
topological entropy
0 references
entropy tuples
0 references
0 references
0 references
0 references