Showing 1–13 of 13 results for author: Brieussel, J

Furstenberg entropy spectra of stationary actions of semisimple Lie groups

Authors: Jérémie Brieussel, Tianyi Zheng

Abstract: We determine Furstenberg entropy spectra of ergodic stationary actions of $SL(d,\mathbb{R})$ and its lattices. The constraints on entropy spectra are derived from a refinement of the Nevo-Zimmer projective factor theorem. The realisation part is achieved by means of building Poisson bundles over stationary random subgroups. We determine Furstenberg entropy spectra of ergodic stationary actions of $SL(d,\mathbb{R})$ and its lattices. The constraints on entropy spectra are derived from a refinement of the Nevo-Zimmer projective factor theorem. The realisation part is achieved by means of building Poisson bundles over stationary random subgroups. △ Less

Submitted 4 July, 2023; originally announced July 2023.

Noise sensitivity of random walks on groups

Authors: Itaï Benjamini, Jérémie Brieussel

Abstract: A random walk on a group is noise sensitive if resampling every step independantly with a small probability results in an almost independant output. We precisely define two notions: $\ell^1$-noise sensitivity and entropy noise sensitivity. Groups with one of these properties are necessarily Liouville. Homomorphisms to free abelian groups provide an obstruction to $\ell^1$-noise sensitivity. We als… ▽ More A random walk on a group is noise sensitive if resampling every step independantly with a small probability results in an almost independant output. We precisely define two notions: $\ell^1$-noise sensitivity and entropy noise sensitivity. Groups with one of these properties are necessarily Liouville. Homomorphisms to free abelian groups provide an obstruction to $\ell^1$-noise sensitivity. We also provide examples of $\ell^1$ and entropy noise sensitive random walks. Noise sensitivity raises many open questions which are described at the end of the paper. △ Less

Submitted 17 June, 2021; v1 submitted 11 January, 2019; originally announced January 2019.

Comments: Paper streamlined. An error in the proof of Theorem 6.1 has been corrected

Numerical upper bounds on growth of automata groups

Authors: Jérémie Brieussel, Thibault Godin, Bijan Mohammadi

Abstract: The growth of a finitely generated group is an important geometric invariant which has been studied for decades. It can be either polynomial, for a well-understood class of groups, or exponential, for most groups studied by geometers, or intermediate, that is between polynomial and exponential. Despite recent spectacular progresses, the class of groups with intermediate growth remains largely myst… ▽ More The growth of a finitely generated group is an important geometric invariant which has been studied for decades. It can be either polynomial, for a well-understood class of groups, or exponential, for most groups studied by geometers, or intermediate, that is between polynomial and exponential. Despite recent spectacular progresses, the class of groups with intermediate growth remains largely mysterious. Many examples of such groups are constructed using Mealy automata. The aim of this paper is to give an algorithmic procedure to study the growth of such automata groups, and more precisely to provide numerical upper bounds on their exponents. Our functions retrieve known optimal bounds on the famous first Grigorchuk group. They also improve known upper bounds on other automata groups and permitted us to discover several new examples of automata groups of intermediate growth. All the algorithms described are implemented in GAP, a language dedicated to computational group theory. △ Less

Submitted 1 October, 2018; originally announced October 2018.

An automata group of intermediate growth and exponential activity

Authors: Jérémie Brieussel

Abstract: We give a new example of an automata group of intermediate growth. It is generated by an automaton with 4 states on an alphabet with 8 letters. This automata group has exponential activity and its limit space is not simply connected. We give a new example of an automata group of intermediate growth. It is generated by an automaton with 4 states on an alphabet with 8 letters. This automata group has exponential activity and its limit space is not simply connected. △ Less

Submitted 27 October, 2017; originally announced October 2017.

Shalom's property $H_{\mathrm{FD}}$ and extensions by $\mathbb{Z}$ of locally finite groups

Authors: Jérémie Brieussel, Tianyi Zheng

Abstract: We show that every finitely generated extension by $\mathbb{Z}$ of a locally normally finite group has Shalom's property $H_{\mathrm{FD}}$. This is no longer true without the normality assumption. This permits to answer some questions of Shalom, Erschler-Ozawa and Kozma. We also obtain a Neumann-Neumann embedding result that any countable locally finite group embedds into a two generated amenable… ▽ More We show that every finitely generated extension by $\mathbb{Z}$ of a locally normally finite group has Shalom's property $H_{\mathrm{FD}}$. This is no longer true without the normality assumption. This permits to answer some questions of Shalom, Erschler-Ozawa and Kozma. We also obtain a Neumann-Neumann embedding result that any countable locally finite group embedds into a two generated amenable group with property $H_{\mathrm{FD}}$. △ Less

Submitted 26 October, 2017; v1 submitted 2 June, 2017; originally announced June 2017.

Comments: Added subsection 4.1, showing that lamplighter groups Z/2Z \wr Z^d for d at least 3 do not have property H_{FD}

Random walks on the discrete affine group

Authors: Jérémie Brieussel, Ryokichi Tanaka, Tianyi Zheng

Abstract: We introduce the discrete affine group of a regular tree as a finitely generated subgroup of the affine group. We describe the Poisson boundary of random walks on it as a space of configurations. We compute isoperimetric profile and Hilbert compression exponent of the group. We also discuss metric relationship with some lamplighter groups and lamplighter graphs. We introduce the discrete affine group of a regular tree as a finitely generated subgroup of the affine group. We describe the Poisson boundary of random walks on it as a space of configurations. We compute isoperimetric profile and Hilbert compression exponent of the group. We also discuss metric relationship with some lamplighter groups and lamplighter graphs. △ Less

Submitted 26 October, 2017; v1 submitted 22 March, 2017; originally announced March 2017.

Comments: The introduction has been rewritten

Connectedness of spheres in Cayley graphs

Authors: Jérémie Brieussel, Antoine Gournay

Abstract: We introduce the notion of connection thickness of spheres in a Cayley graph, related to dead-ends and their retreat depth. It was well-known that connection thickness is bounded for finitely presented one-ended groups. We compute that for natural generating sets of lamplighter groups on a line or on a tree, connection thickness is linear or logarithmic respectively. We show that it depends strong… ▽ More We introduce the notion of connection thickness of spheres in a Cayley graph, related to dead-ends and their retreat depth. It was well-known that connection thickness is bounded for finitely presented one-ended groups. We compute that for natural generating sets of lamplighter groups on a line or on a tree, connection thickness is linear or logarithmic respectively. We show that it depends strongly on the generating set. We give an example where the metric induced at the (finite) thickness of connection gives diameter of order $n^2$ to the sphere of radius $n$. We also discuss the rarity of dead-ends and the relationships of connection thickness with cut sets in percolation theory and with almost-convexity. Finally, we present a list of open questions about spheres in Cayley graphs. △ Less

Submitted 8 June, 2016; originally announced June 2016.

Comments: 42 pages

Journal ref: Algebra and Discrete Mathematics, volume 26, number 2, pp. 190-246, 2018

Speed of random walks, isoperimetry and compression of finitely generated groups

Authors: Jérémie Brieussel, Tianyi Zheng

Abstract: We give a solution to the inverse problem (given a function, find a corresponding group) for large classes of speed, entropy, isoperimetric profile, return probability and $L_p$-compression functions of finitely generated groups of exponential volume growth. For smaller classes, we give solutions among solvable groups. As corollaries, we prove a recent conjecture of Amir on joint evaluation of spe… ▽ More We give a solution to the inverse problem (given a function, find a corresponding group) for large classes of speed, entropy, isoperimetric profile, return probability and $L_p$-compression functions of finitely generated groups of exponential volume growth. For smaller classes, we give solutions among solvable groups. As corollaries, we prove a recent conjecture of Amir on joint evaluation of speed and entropy exponents and we obtain a new proof of the existence of uncountably many pairwise non-quasi-isometric solvable groups, originally due to Cornulier and Tessera. We also obtain a formula relating the $L_p$-compression exponent of a group and its wreath product with the cyclic group for $p$ in $[1,2]$. △ Less

Submitted 7 July, 2016; v1 submitted 27 October, 2015; originally announced October 2015.

About the speed of random walks on solvable groups

Authors: Jérémie Brieussel

Abstract: We show that for each $λ\in [\frac{1}{2}, 1]$, there exists a solvable group and a finitely supported measure such that the associated random walk has upper speed exponent $λ$. We show that for each $λ\in [\frac{1}{2}, 1]$, there exists a solvable group and a finitely supported measure such that the associated random walk has upper speed exponent $λ$. △ Less

Submitted 13 May, 2015; originally announced May 2015.

Discrete random walks on the group Sol

Authors: Jérémie Brieussel, Ryokichi Tanaka

Abstract: The harmonic measure $ν$ on the boundary of the group $Sol$ associated to a discrete random walk of law $μ$ was described by Kaimanovich. We investigate when it is absolutely continuous or singular with respect to Lebesgue measure. By ratio entropy over speed, we show that any countable non-abelian subgroup admits a finite first moment non-degenerate $μ$ with singular harmonic measure $ν$. On the… ▽ More The harmonic measure $ν$ on the boundary of the group $Sol$ associated to a discrete random walk of law $μ$ was described by Kaimanovich. We investigate when it is absolutely continuous or singular with respect to Lebesgue measure. By ratio entropy over speed, we show that any countable non-abelian subgroup admits a finite first moment non-degenerate $μ$ with singular harmonic measure $ν$. On the other hand, we prove that some random walks with finitely supported step distribution admit a regular harmonic measure. Finally, we construct some exceptional random walks with arbitrarily small speed but singular harmonic measures. The two later results are obtained by comparison with Bernoulli convolutions, using results of Erdös and Solomyak. △ Less

Submitted 9 December, 2015; v1 submitted 26 June, 2013; originally announced June 2013.

MSC Class: 60G50; 22E25; 43A80; 22E40

Journal ref: Israel Journal of Mathematics, September 2015, Volume 208, Issue 1, pp 291-321

Folner sets of alternate directed groups

Authors: Jeremie Brieussel

Abstract: An explicit family of Folner sets is constructed for some directed groups acting on a rooted tree of sublogarithmic valency by alternate permutations. In the case of bounded valency, these groups were known to be amenable by probabilistic methods. The present construction provides a new and independent proof of amenability, using neither random walks, nor word length. An explicit family of Folner sets is constructed for some directed groups acting on a rooted tree of sublogarithmic valency by alternate permutations. In the case of bounded valency, these groups were known to be amenable by probabilistic methods. The present construction provides a new and independent proof of amenability, using neither random walks, nor word length. △ Less

Submitted 6 September, 2013; v1 submitted 11 July, 2012; originally announced July 2012.

Comments: Final version to appear at Annales de l'Institut Fourier

Behaviors of entropy on finitely generated groups

Authors: Jérémie Brieussel

Abstract: A variety of behaviors of entropy functions of random walks on finitely generated groups is presented, showing that for any $\frac{1}{2}\leq α\leqβ\leq1$, there is a group $Γ$ with measure $μ$ equidistributed on a finite generating set such that \[\liminf\frac{\log H_{Γ,μ}(n)}{\log n}=α,\qquad \limsup \frac{\log H_{Γ,μ}(n)}{\log n}=β.\] The groups involved are finitely generated subgroups of the g… ▽ More A variety of behaviors of entropy functions of random walks on finitely generated groups is presented, showing that for any $\frac{1}{2}\leq α\leqβ\leq1$, there is a group $Γ$ with measure $μ$ equidistributed on a finite generating set such that \[\liminf\frac{\log H_{Γ,μ}(n)}{\log n}=α,\qquad \limsup \frac{\log H_{Γ,μ}(n)}{\log n}=β.\] The groups involved are finitely generated subgroups of the group of automorphisms of an extended rooted tree. The return probability and the drift of a simple random walk $Y_n$ on such groups are also evaluated, providing an example of group with return probability satisfying \[\liminf\frac{{\log}|{\log P}(Y_n=_Γ1)|}{\log n}=\frac{1}{3},\qquad \limsup\frac{{\log}|{\log P}(Y_n=_Γ1)|}{\log n}=1\] and drift satisfying \[\liminf\frac{\log {\mathbb{E}}\|Y_n\|}{\log n}=\frac{1}{2},\qquad \limsup\frac{\log {\mathbb{E}}\|Y_n\|}{\log n}=1.\] △ Less

Submitted 16 December, 2013; v1 submitted 23 October, 2011; originally announced October 2011.

Comments: Published in at http://dx.doi.org/10.1214/12-AOP761 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP761

Journal ref: Annals of Probability 2013, Vol. 41, No. 6, 4116-4161

Growth behaviors in the range $e^{r^α}$

Authors: Jérémie Brieussel

Abstract: For every $α\leq β$ in a left neighborhood $[α_0,1]$ of 1, a group $G(α,β)$ is constructed, the growth function of which satisfies $\limsup \frac{\log \log b_{G(α,β)}(r)}{\log r}=α$ and $\liminf \frac{\log \log b_{G(α,β)}(r)}{\log r}=β$. When $α=β$, this provides an explicit uncountable collection of groups with growth functions strictly comparable. On the other hand, oscillation in the case… ▽ More For every $α\leq β$ in a left neighborhood $[α_0,1]$ of 1, a group $G(α,β)$ is constructed, the growth function of which satisfies $\limsup \frac{\log \log b_{G(α,β)}(r)}{\log r}=α$ and $\liminf \frac{\log \log b_{G(α,β)}(r)}{\log r}=β$. When $α=β$, this provides an explicit uncountable collection of groups with growth functions strictly comparable. On the other hand, oscillation in the case $α< β$ explains the existence of groups with non comparable growth functions. Some period exponents associated to the frequency of oscillation provide new group invariants. △ Less

Submitted 6 September, 2013; v1 submitted 8 July, 2011; originally announced July 2011.

Comments: Final version to appear in Afrika Matematika