Sequence entropy pairs and complexity pairs for a measure. (Q1774053)

There is a parallelism between ergodic theory and topological dynamics. The parallelism allows one to decide purely topological problems using measure-theoretical arguments and vice versa. And in some cases it is the only way to do it. Here, some parallel notions are considered (or introduced) and their relation is investigated. So, sequence entropy tuples for a measure are introduced and it is shown that the set of sequence entropy tuples for a measure is contained in the set of topological sequence entropy tuples. The reciprocal is not true. It is shown that for each system there is a maximal \(M\)-null factor, i.e., for each invariant measure the sequence entropy with respect to the measure is zero. \(M\)-supe systems (which can be seen as ``dual'' to \(M\)-null systems) are defined and it is shown that the product of such systems is of the same type and each \(M\)-supe system is disjoint from any \(M\)-null system. Two notions of complexity pairs for a measure are introduced and their relation with sequence entropy pairs and topological complexity pairs is studied. It is proven that in general the strongest notion is strictly placed between sequence entropy pairs and topological complexity pairs.