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
    0 references
    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
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references