Uniform mixing and completely positive sofic entropy (Q2330794)

\textit{L. Bowen} [J. Am. Math. Soc. 23, No. 1, 217--245 (2010; Zbl 1201.37005)] found a notion of sofic entropy for the action of a countable discrete sofic group \(G\) acting on a standard probability space, and a technical requirement needed for this definition was later removed by \textit{D. Kerr} and \textit{H. Li} [Invent. Math. 186, No. 3, 501--558 (2011; Zbl 1417.37041)]. Together with the work of \textit{L. Bowen} [Ergodic Theory Dyn. Syst. 32, No. 2, 427--466 (2012; Zbl 1257.37007)], showing that if \(G\) happens to be amenable then this definition coincides with the standard Kolmogorov-Sinai measure-theoretic entropy, this naturally raises the question of how much else of the structures of the ergodic theory of amenable group actions might extend to this far more general setting. Here an appropriate formulation is made of the fundamental and historically important distinction between the orderly Bernoulli theory of Ornstein (and its descendants) and the wild diversity of the so-called `K' (or `completely positive entropy') systems viewed in both cases up to measurable isomorphism. The relationship between uniformity of mixing and completely positive entropy, which was extended to the amenable setting using novel methods by \textit{D. J. Rudolph} and \textit{B. Weiss} [Ann. Math. (2) 151, No. 3, 1119--1150 (2000; Zbl 0957.37003)] is also extended to the sofic setting. Thus the main results are the introduction of a concept of uniform mixing for sofic group actions, a proof that it implies completely positive sofic entropy, and (under the assumption of the existence of an element of infinite order in \(G\)) the construction of an uncountably family of non-isomorphic \(G\) actions with completely positive sofic entropy that are not factors of Bernoulli \(G\) actions. This extends the work of \textit{A. H. Dooley} et al. [Ergodic Theory Dyn. Syst. 28, No. 1, 87--124 (2008; Zbl 1171.37302)] in the amenable setting.