We prove that under two natural probabilistic models (studied by Cleary, Elder, Rechnitzer and Taback), the probability that a random pair of elements of Thompson's group $F$ generate the entire group is positive. We also prove that for any $k$-generated subgroup $H$ of $F$ which contains a "natural" copy of $F$, the probability of a random $(k+2)$-generated subgroup of $F$ coinciding with $H$ is positive.
We show that the generation problem in Thompson group $F$ is decidable, i.e., there is an algorithm which decides if a finite set of elements of $F$ generates the whole $F$. The algorithm makes use of the Stallings $2$-core of subgroups of $F$, which can be defined in an analogue way to the Stallings core of subgroups of a finitely generated free group. Further study of the Stallings $2$-core of subgroups of $F$ provides a solution to another algorithmic problem in $F$. Namely, given a finitely generated subgroup $H$ of $F$, it is decidable if $H$ acts transitively on the set of finite dyadic …
We introduce a new distributional invariance principle, called `partial spreadability', which emerges from the representation theory of the Thompson monoid $F^+$ in noncommutative probability spaces. We show that a partially spreadable sequence of noncommutative random variables is adapted to a local Markov filtration. Conversely we show that a large class of noncommutative stationary Markov sequences provides representations of the Thompson monoid $F^+$. In the particular case of a classical probability space, we arrive at a de Finetti theorem for stationary Markov sequences with values in a …
We consider a transitive action of a finitely generated group $G$ and the Schreier graph $Γ$ defined by this action for some fixed generating set. For a probability measure $μ$ on $G$ with a finite first moment we show that if the induced random walk is transient, it converges towards the space of ends of $Γ$. As a corollary we obtain that for a probability measure with a finite first moment on Thompson's group $F$, the support of which generates $F$ as a semigroup, the induced random walk on the dyadic numbers has a non-trivial Poisson boundary. Some assumption on the moment of the measure is…
We use character theory of finite groups of Lie type to establish new results on representation varieties of Fuchsian groups, and also on probabilistic generation of groups of Lie type.