Abstract:We establish results connecting the uniform Liouville property of group actions on the classes of a countable Borel equivalence relation with amenability of this equivalence relation. We also study extensions of Kesten's theorem to certain classes of topological groups and prove a version of this theorem for amenable SIN groups. Furthermore, we discuss relationship between generalizations of Kesten's theorem and anticoncentration inequalities for the inverted orbits of random walks on the classes of an amenable equivalence relation. This allows us to construct an amenable Polish group that does not satisfy the limit conditions in combinatorial extensions of Kesten's theorem.

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to explore the connection between topological groups and discrete subgroups, especially regarding the transitive property of equivalence relations and its relation to the Liouville property. Specifically: 1. **Liouville property and transitivity of equivalence relations**: - The paper establishes the connection between the uniform Liouville property of group actions on countable Borel equivalence relation classes and the transitivity of this equivalence relation. Specifically, the author proves that if a countable Borel equivalence relation \(R\) is \(\mu\)-transitive and \(G\) is a dense subgroup of \([R]\), then the following two conditions are equivalent: - \(R\) is \(\mu\)-transitive. - There exists a symmetric and non - degenerate measure \(\nu\) such that the action of \(G\) on almost every orbit on \(X\) is \(\nu\)-Liouville. 2. **Generalization of Kesten's theorem**: - The paper also studies the generalization of Kesten's theorem in certain classes of topological groups. In particular, the author proves that for a transitive Hausdorff topological group \(G\) with small invariant neighborhoods (SIN), if \(\nu\) is a symmetric regular Borel probability measure on \(G\) with countable support, then for any neighborhood \(U\) of the identity in \(G\), the lazy \(\nu\)-random walk \(X_n\) starting from the identity satisfies: \[ \lim_{n\rightarrow\infty}P(X_n\in U^n)^{1 / n}=1. \] - This result can be regarded as a combinatorial extension of Kesten's theorem in a class of non - locally compact topological groups. 3. **Construction of counterexamples**: - The author also constructs an example of a transitive Polish topological group that does not satisfy the combinatorial extension version of Kesten's theorem. This shows that in the non - SIN case, the generalization of Kesten's theorem may not hold. 4. **Behavior of backward orbits**: - The paper explores the behavior of backward orbits and its relation to the topological version of Kesten's theorem. These results help to understand the behavior of random walks on equivalence relation orbits. Through these studies, the paper not only deepens the understanding of the Liouville property and Kesten's theorem but also provides a new perspective on the relationship between topological groups and discrete subgroups.

Group actions on orbits of an amenable equivalence relation and topological versions of Kesten's theorem

Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions

Amenability and skew-amenability of actions of topological groups

Entropy of group actions beyond uniform lattices

Local Entropy, Metric Entropy and Topological Entropy for Countable Discrete Amenable Group Actions

From invariant measures to orbit equivalence, via locally finite groups

A Halmos-von Neumann theorem for actions of general groups

A topological version of the Bergman property

On dense orbits in the space of subequivalence relations

On the Topological Entropy of Saturated Sets for Amenable Group Actions

Amenability of bounded automata groups on infinite alphabets

Orbits of Distal Actions on Locally Compact Groups

Soficity, Amenability, and LEF-ness for topological full groups

Amenability and Weak Containment for Actions of Locally Compact Groups on C*-Algebras

Smoothing countable group actions on metrizable spaces

Non-Archimedean TSI Polish groups and their potential Borel complexity spectrum

Behaviour of Entropy Under Bounded and Integrable Orbit Equivalence

The Upper Capacity Topological Entropy of Free Semigroup Actions for Certain Non-compact Sets, II

Ping-pong partitions and locally discrete groups of real-analytic circle diffeomorphisms, II: Applications

Topological amenability of semihypergroups