2016
DOI: 10.1007/s00440-016-0712-6
|View full text |Cite
|
Sign up to set email alerts
|

Poisson–Furstenberg boundary and growth of groups

Abstract: Abstract. We study the Poisson-Furstenberg boundary of random walks on permutational wreath products. We give a sufficient condition for a group to admit a symmetric measure of finite first moment with non-trivial boundary, and show that this criterion is useful to establish exponential word growth of groups. We construct groups of exponential growth such that all finitely supported (not necessarily symmetric, possibly degenerate) random walks on these groups have trivial boundary. This gives a negative answer… Show more

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
11
0

Year Published

2016
2016
2023
2023

Publication Types

Select...
9

Relationship

1
8

Authors

Journals

citations
Cited by 13 publications
(11 citation statements)
references
References 25 publications
0
11
0
Order By: Relevance
“…Furthermore, by taking the group morphism of H 1 into Z ≀ H 1 , we see that the image of h 1 is the generator p1, 0q of the active group, while for every j, the image of h 1 1 j is of the form p0, f j q where f j has finite support. The following result is essentially due to Kaimanovich and Vershik [26, Proposition 6.1], [21,Theorem 1.3], and has been studied in a more general context by Bartholdi and Erschler [6]: Lemma 9.2. Consider the wreath product Z ≀ H 1 where H 1 is not trivial, and let µ be a measure on it such that the projection of µ on Z gives a transient walk and the projection of µ on H 1 Z is finitary and non-trivial.…”
Section: An Algebraic Lemma and Proof Of The Main Resultsmentioning
confidence: 99%
“…Furthermore, by taking the group morphism of H 1 into Z ≀ H 1 , we see that the image of h 1 is the generator p1, 0q of the active group, while for every j, the image of h 1 1 j is of the form p0, f j q where f j has finite support. The following result is essentially due to Kaimanovich and Vershik [26, Proposition 6.1], [21,Theorem 1.3], and has been studied in a more general context by Bartholdi and Erschler [6]: Lemma 9.2. Consider the wreath product Z ≀ H 1 where H 1 is not trivial, and let µ be a measure on it such that the projection of µ on Z gives a transient walk and the projection of µ on H 1 Z is finitary and non-trivial.…”
Section: An Algebraic Lemma and Proof Of The Main Resultsmentioning
confidence: 99%
“…The inverted orbit is a well-known object, central to the study of growth and random walks on permutational wreath products, see [BE12,BE11,AV12]. It is sometimes convenient to consider the following variation of the inverted orbit…”
Section: Probabilistic Reformulation and Recurrent Actions 41 The Inmentioning
confidence: 99%
“…Kaimanovich and Vershik [21, p. 466] conjecture that "Given an exponential group G, there exists a symmetric (nonfinitary, in general) measure with non-trivial boundary." See Bartholdi and Erschler [2] for additional related results and further references and discussion.…”
Section: Introductionmentioning
confidence: 98%