Showing 1–32 of 32 results for author: Nagnibeda, T

On the subgroup membership problem in bounded automata groups

Authors: Alex Bishop, Daniele D'Angeli, Francesco Matucci, Tatiana Nagnibeda, Davide Perego, Emanuele Rodaro

Abstract: We are interested in the generalised word problem (aka subgroup membership problem) for stabiliser subgroups of groups acting on rooted $d$-regular trees. Stabilisers of infinite rays in the tree are not finitely generated in general, and so the problem is not even well posed unless the infinite ray has a finite description, for example, if the ray is eventually periodic as an infinite word over t… ▽ More We are interested in the generalised word problem (aka subgroup membership problem) for stabiliser subgroups of groups acting on rooted $d$-regular trees. Stabilisers of infinite rays in the tree are not finitely generated in general, and so the problem is not even well posed unless the infinite ray has a finite description, for example, if the ray is eventually periodic as an infinite word over the alphabet with $d$ letters. We show that for bounded automata groups, the membership problem for such subgroups is solvable by proving that it forms an ET0L language that is constructable. Exploiting this, we give a recursive formula for the associated generating function. We also show that, in general, the membership problem for the stabiliser of an infinite ray in a bounded automata group cannot be described using context-free languages. △ Less

Submitted 11 December, 2024; originally announced December 2024.

Comments: 40 pages

MSC Class: 20E08; 20F10; 68Q42; 68Q45; 05C25

Limits of Rauzy graphs of languages with subexponential complexity

Authors: Paul-Henry Leemann, Tatiana Nagnibeda, Alexandra Skripchenko, Georgii Veprev

Abstract: To a subshift over a finite alphabet, one can naturally associate an infinite family of finite graphs, called its Rauzy graphs. We show that for a subshift of subexponential complexity the Rauzy graphs converge to the line $\mathbf{Z}$ in the sense of Benjamini-Schramm convergence if and only if its complexity function $p(n)$ is unbounded and satisfies $\lim_n\frac{p(n+1)}{p(n)} = 1$. We then appl… ▽ More To a subshift over a finite alphabet, one can naturally associate an infinite family of finite graphs, called its Rauzy graphs. We show that for a subshift of subexponential complexity the Rauzy graphs converge to the line $\mathbf{Z}$ in the sense of Benjamini-Schramm convergence if and only if its complexity function $p(n)$ is unbounded and satisfies $\lim_n\frac{p(n+1)}{p(n)} = 1$. We then apply this criterion to many examples of well-studied dynamical systems. If the subshift is moreover uniquely ergodic then we show that the limit of labelled Rauzy graphs if it exists can be identified with the unique invariant measure. In addition we consider an example of a non uniquely ergodic system recently studied by Cassaigne and Kaboré and identify a continuum of invariant measures with subsequential limits of labelled Rauzy graphs. △ Less

Submitted 27 June, 2024; v1 submitted 24 February, 2024; originally announced February 2024.

Comments: V2 Theorem 1.1 has been improved. We added two new properties equivalent to the convergence of Rauzy graphs: convergence of the empirical spectral measures and convergence of the empirical spectral measures to a specified measure (that has density $\frac{1}{π\sqrt{4-x^2}}dx$ with respect to the Lebesgue measure on~$[-2, 2]$)

MSC Class: 37B10

On the structure of finitely generated subgroups of branch groups

Authors: Dominik Francoeur, Rostislav Grigorchuk, Paul-Henry Leemann, Tatiana Nagnibeda

Abstract: We describe the block structure of finitely generated subgroups of branch groups with the so-called subgroup induction property, including the first Grigorchuk group $\mathcal{G}$ and the torsion GGS groups. We describe the block structure of finitely generated subgroups of branch groups with the so-called subgroup induction property, including the first Grigorchuk group $\mathcal{G}$ and the torsion GGS groups. △ Less

Submitted 1 April, 2025; v1 submitted 23 February, 2024; originally announced February 2024.

Comments: 35 pages, 3 figures. v2: Final version. The proof of Theorem 6.13 was proving a little bit more than announced, this is now made explicit in remark 6.16

MSC Class: 20E07 (Primary) 20E08 (Secondary)

Cone Types and Spectral Radius of Hyperbolic Triangle Groups and Hyperbolic Tessellations

Authors: Megan Howarth, Tatiana Nagnibeda

Abstract: This paper is devoted to the study of tessellations of the hyperbolic plane, especially the ones associated to hyperbolic triangle groups $Δ(l,m,n)$. We give a full description of the cone types of these graphs and show that their number depends only on the defining parameters of the group. We then use the cone types structure to provide estimates of the spectral radius for the simple random walk… ▽ More This paper is devoted to the study of tessellations of the hyperbolic plane, especially the ones associated to hyperbolic triangle groups $Δ(l,m,n)$. We give a full description of the cone types of these graphs and show that their number depends only on the defining parameters of the group. We then use the cone types structure to provide estimates of the spectral radius for the simple random walk on these tessellations, from above and from below. △ Less

Submitted 19 December, 2023; originally announced December 2023.

Comments: 15 pages, 4 figures

Abelian Sandpiles on Cylinders

Authors: Jean-Pierre Eckmann, Tatiana Nagnibeda, Aymeric Perriard

Abstract: We study here a variant of the Abelian Sandpile Model, where the playground is a cylinder of width $w$ and of circumference c. When c << w, we describe a phenomenon which has not been observed in other geometries: the probability distribution of avalanche sizes has a ladder structure, with the first step consisting of avalanches of size up to w c/2 that are essentially equiprobable, except for a s… ▽ More We study here a variant of the Abelian Sandpile Model, where the playground is a cylinder of width $w$ and of circumference c. When c << w, we describe a phenomenon which has not been observed in other geometries: the probability distribution of avalanche sizes has a ladder structure, with the first step consisting of avalanches of size up to w c/2 that are essentially equiprobable, except for a small exponential tail of order about 10c. We explain this phenomenon and describe subsequent steps. △ Less

Submitted 20 February, 2023; v1 submitted 23 December, 2022; originally announced December 2022.

Comments: Version to appear in JPhysA

The planar $3$-colorable subgroup $\mathcal{E}$ of Thompson's group $F$ and its even part

Authors: Valeriano Aiello, Tatiana Nagnibeda

Abstract: We study the planar $3$-colorable subgroup $\mathcal{E}$ of Thompson's group $F$ and its even part $\mathcal{E}_{\rm EVEN}$. The latter is obtained by cutting $\mathcal{E}$ with a finite index subgroup of $F$ isomorphic to $F$, namely the rectangular subgroup $K_{(2,2)}$. We show that the even part $\mathcal{E}_{\rm EVEN}$ of the planar $3$-colorable subgroup admits a description in terms of stabi… ▽ More We study the planar $3$-colorable subgroup $\mathcal{E}$ of Thompson's group $F$ and its even part $\mathcal{E}_{\rm EVEN}$. The latter is obtained by cutting $\mathcal{E}$ with a finite index subgroup of $F$ isomorphic to $F$, namely the rectangular subgroup $K_{(2,2)}$. We show that the even part $\mathcal{E}_{\rm EVEN}$ of the planar $3$-colorable subgroup admits a description in terms of stabilisers of suitable subsets of dyadic rationals. As a consequence $\mathcal{E}_{\rm EVEN}$ is closed in the sense of Golan and Sapir. We then study three quasi-regular representations associated with $\mathcal{E}_{\rm EVEN}$: two are shown to be irreducible and one to be reducible. △ Less

Submitted 17 June, 2024; v1 submitted 23 December, 2022; originally announced December 2022.

Comments: Accepted for publication in Proceedings of the Edinburgh Mathematical Society. Corrected some typos

Journal ref: Proceedings of the Edinburgh Mathematical Society 68 (1) (2025), 173-197

Spectral measures and dominant vertices in graphs of bounded degree

Authors: Claire Bruchez, Pierre de la Harpe, Tatiana Nagnibeda

Abstract: A graph $G = (V, E)$ of bounded degree has an adjacency operator~$A$ which acts on the Hilbert space $\ell^2(V)$. There are different kinds of measures of interest on the spectrum $Σ(A)$ of $A$. In particular, each vector $ξ\in \ell^2(V)$ defines a local spectral measure $μ_ξ$ at $ξ$ on $Σ(A)$; therefore each vertex $v \in V$ defines a vector $δ_v \in \ell^2(V)$ and the associated measure $μ_v$ on… ▽ More A graph $G = (V, E)$ of bounded degree has an adjacency operator~$A$ which acts on the Hilbert space $\ell^2(V)$. There are different kinds of measures of interest on the spectrum $Σ(A)$ of $A$. In particular, each vector $ξ\in \ell^2(V)$ defines a local spectral measure $μ_ξ$ at $ξ$ on $Σ(A)$; therefore each vertex $v \in V$ defines a vector $δ_v \in \ell^2(V)$ and the associated measure $μ_v$ on $Σ(A)$. A vertex $v$ is dominant if, for all $w \in V$, the measure $μ_w$ is absolutely continuous with respect to $μ_v$ (it then follows that, for all $ξ\in \ell^2(V)$, the measure $μ_ξ$ is absolutely continuous with respect to $μ_v$). The main object of this paper is to show that all possibilities occur: in some graphs, for example in vertex-transitive graphs, all vertices are dominant; in other graphs, only some vertices are dominant; and there are graphs without dominant vertices at all. △ Less

Submitted 10 August, 2023; v1 submitted 25 May, 2022; originally announced May 2022.

On the $3$-colorable subgroup $\mathcal{F}$ and maximal subgroups of Thompson's group $F$

Authors: Valeriano Aiello, Tatiana Nagnibeda

Abstract: In his work on representations of Thompson's group $F$, Vaughan Jones defined and studied the $3$-\emph{colorable subgroup} $\mathcal{F}$ of $F$. Later, Ren showed that it is isomorphic with the Brown-Thompson group $F_4$. In this paper we continue with the study of the $3$-colorable subgroup and prove that the quasi-regular representation of $F$ associated with the $3$-colorable subgroup is irred… ▽ More In his work on representations of Thompson's group $F$, Vaughan Jones defined and studied the $3$-\emph{colorable subgroup} $\mathcal{F}$ of $F$. Later, Ren showed that it is isomorphic with the Brown-Thompson group $F_4$. In this paper we continue with the study of the $3$-colorable subgroup and prove that the quasi-regular representation of $F$ associated with the $3$-colorable subgroup is irreducible. We show moreover that the preimage of $\mathcal{F}$ under a certain injective endomorphism of $F$ is contained in three (explicit) maximal subgroups of $F$ of infinite index. These subgroups are different from the previously known infinite index maximal subgroups of $F$, namely the parabolic subgroups that fix a point in $(0,1)$, (up to isomorphism) the Jones' oriented subgroup $\vec{F}$, and the explicit examples found by Golan. △ Less

Submitted 23 January, 2024; v1 submitted 14 March, 2021; originally announced March 2021.

Comments: We removed Theorem 2.9, which was incorrect, and changed the proof of Theorem 2.10 accordingly

Journal ref: Annales de l'Institut Fourier, Volume 73 (2023) no. 2, pp. 783-828

On spectra and spectral measures of Schreier and Cayley graphs

Authors: Rostislav Grigorchuk, Tatiana Nagnibeda, Aitor Pérez

Abstract: We are interested in various aspects of spectral rigidity of Cayley and Schreier graphs of finitely generated groups. For each pair of integers $d\geq 2$ and $m \ge 1$, we consider an uncountable family of groups of automorphisms of the rooted $d$-regular tree which provide examples of the following interesting phenomena. For $d=2$ and any $m\geq 2$, we get an uncountable family of non quasi-isome… ▽ More We are interested in various aspects of spectral rigidity of Cayley and Schreier graphs of finitely generated groups. For each pair of integers $d\geq 2$ and $m \ge 1$, we consider an uncountable family of groups of automorphisms of the rooted $d$-regular tree which provide examples of the following interesting phenomena. For $d=2$ and any $m\geq 2$, we get an uncountable family of non quasi-isometric Cayley graphs with the same Laplacian spectrum, absolutely continuous on the union of two intervals, that we compute explicitly. Some of the groups provide examples where the spectrum of the Cayley graph is connected for one generating set and has a gap for another. For each $d\geq 3, m\geq 1$, we exhibit infinite Schreier graphs of these groups with the spectrum a Cantor set of Lebesgue measure zero union a countable set of isolated points accumulating on it. The Kesten spectral measures of the Laplacian on these Schreier graphs are discrete and concentrated on the isolated points. We construct moreover a complete system of eigenfunctions which are strongly localized. △ Less

Submitted 7 July, 2020; originally announced July 2020.

Comments: 35 pages, 8 figures

MSC Class: 20E08; 20F69; 20F50; 43A65

Finitely generated subgroups of branch groups and subdirect products of just infinite groups

Authors: Rostistlav Grigorchuk, Paul-Henry Leemann, Tatiana Nagnibeda

Abstract: The aim of this paper is to describe the structure of the finitely generated subgroups of a family of branch groups, which includes the first Grigorchuk group and the Gupta-Sidki 3-group. This description is made via the notion of block subgroup. We then use this to show that all groups in the above family are subgroup separable (LERF). These results are obtained as a corollary of a more general s… ▽ More The aim of this paper is to describe the structure of the finitely generated subgroups of a family of branch groups, which includes the first Grigorchuk group and the Gupta-Sidki 3-group. This description is made via the notion of block subgroup. We then use this to show that all groups in the above family are subgroup separable (LERF). These results are obtained as a corollary of a more general structural statement on subdirect products of just infinite groups. △ Less

Submitted 17 January, 2022; v1 submitted 29 June, 2020; originally announced June 2020.

Comments: 22 pages, 2 figures; V3: Final version, to appear in Izvestiya: Mathematics

MSC Class: 20E07; 20E08; 20E28

Journal ref: Izvestiya: Mathematics, 2021, Volume 85, Issue 6, Pages 1128-1145

Schreier graphs of spinal groups

Authors: Tatiana Nagnibeda, Aitor Pérez

Abstract: We study Schreier dynamical systems associated with a vast family of groups that hosts many known examples of groups of intermediate growth. We are interested in the orbital graphs for the actions of these groups on $d-$regular rooted trees and on their boundaries, viewed as topological spaces or as spaces with measure. They form interesting families of finitely ramified graphs, and we study their… ▽ More We study Schreier dynamical systems associated with a vast family of groups that hosts many known examples of groups of intermediate growth. We are interested in the orbital graphs for the actions of these groups on $d-$regular rooted trees and on their boundaries, viewed as topological spaces or as spaces with measure. They form interesting families of finitely ramified graphs, and we study their combinatorics, their isomorphism classes and their geometric properties, such as growth and the number of ends. △ Less

Submitted 9 April, 2020; v1 submitted 8 April, 2020; originally announced April 2020.

MSC Class: 20E08; 20F69

On the oriented Thompson subgroup $\vec{F}_3$ and its relatives in higher Brown-Thompson groups

Authors: Valeriano Aiello, Tatiana Nagnibeda

Abstract: A few years ago the so-called oriented subgroup $\vec F$ of the Thompson group $F$ was introduced by V. Jones while investigating the connections between subfactors and conformal field theories. In the coding of links and knots by elements of $F$ it corresponds exactly to the oriented ones. Thanks to the work of Golan and Sapir, $\vec F$ provided the first example of a maximal subgroup of infinite… ▽ More A few years ago the so-called oriented subgroup $\vec F$ of the Thompson group $F$ was introduced by V. Jones while investigating the connections between subfactors and conformal field theories. In the coding of links and knots by elements of $F$ it corresponds exactly to the oriented ones. Thanks to the work of Golan and Sapir, $\vec F$ provided the first example of a maximal subgroup of infinite index in $F$ different from the parabolic subgroups that fix a point in $(0,1)$. In this paper we investigate possible analogues of $\vec F$ in higher Thompson groups $F_k, k\geq 2$, with $F=F_2$, introduced by Brown. Most notably, we study algebraic properties of the oriented subgroup $\vec{F}_3$ of $F_3$, as described recently by Jones, and prove in particular that it gives rise to a non-parabolic maximal subgroup of infinite index in $F_3$ and that the corresponding quasi-regular representation is irreducible. △ Less

Submitted 27 June, 2022; v1 submitted 10 December, 2019; originally announced December 2019.

Comments: added Acknowledgements

Journal ref: Journal of Algebra and its Applications, Volume 21, Issue 07, 2250139, 2022

Subshifts with leading sequences, uniformity of cocycles and spectra of Schreier graphs

Authors: Rostislav Grigorchuk, Daniel Lenz, Tatiana Nagnibeda, Daniel Sell

Abstract: We introduce a class of subshifts governed by finitely many two-sided infinite words. We call these words leading sequences. We show that any locally constant cocycle over such a subshift is uniform. From this we obtain Cantor spectrum of Lebesgue measure zero for associated Jacobi operators if the subshift is aperiodic. Our class covers all simple Toeplitz subshifts as well as all Sturmian subshi… ▽ More We introduce a class of subshifts governed by finitely many two-sided infinite words. We call these words leading sequences. We show that any locally constant cocycle over such a subshift is uniform. From this we obtain Cantor spectrum of Lebesgue measure zero for associated Jacobi operators if the subshift is aperiodic. Our class covers all simple Toeplitz subshifts as well as all Sturmian subshifts. We apply our results to the spectral theory of Schreier graphs for uncountable families of groups acting on rooted trees. △ Less

Submitted 5 June, 2019; originally announced June 2019.

MSC Class: 37A20 (Primary) 20E08; 47B36; 68R15 (Secondary)

Combinatorics of the subshift associated to Grigorchuk's group

Authors: Rostislav Grigorchuk, Daniel Lenz, Tatiana Nagnibeda

Abstract: We study combinatorial properties of the subshift induced by the substitution that describes Lysenok's presentation of Grigorchuk's group of intermediate growth by generators and relators. This subshift has recently appeared in two different contexts: on one hand, it allowed to embed Grigorchuk's group in a topological full group, and on the other hand, it was useful in the spectral theory of Lapl… ▽ More We study combinatorial properties of the subshift induced by the substitution that describes Lysenok's presentation of Grigorchuk's group of intermediate growth by generators and relators. This subshift has recently appeared in two different contexts: on one hand, it allowed to embed Grigorchuk's group in a topological full group, and on the other hand, it was useful in the spectral theory of Laplacians on the associated Schreier graphs. △ Less

Submitted 28 November, 2017; originally announced November 2017.

Comments: 8 pages; part of the material discussed in the paper was originally contained in (earlier versions of) arXiv:1510.00545 and arXiv:1412.6822. In their published versions the latter two articles do not contain this material anymore

Journal ref: Tr. Mat. Inst. Steklova 297 (2017)

Ends of Schreier graphs and cut-points of limit spaces of self-similar groups

Authors: Ievgen Bondarenko, Daniele D'Angeli, Tatiana Nagnibeda

Abstract: Every self-similar group acts on the space $X^ω$ of infinite words over some alphabet $X$. We study the Schreier graphs $Γ_w$ for $w\in X^ω$ of the action of self-similar groups generated by bounded automata on the space $X^ω$. Using sofic subshifts we determine the number of ends for every Schreier graph $Γ_w$. Almost all Schreier graphs $Γ_w$ with respect to the uniform measure on $X^ω$ have one… ▽ More Every self-similar group acts on the space $X^ω$ of infinite words over some alphabet $X$. We study the Schreier graphs $Γ_w$ for $w\in X^ω$ of the action of self-similar groups generated by bounded automata on the space $X^ω$. Using sofic subshifts we determine the number of ends for every Schreier graph $Γ_w$. Almost all Schreier graphs $Γ_w$ with respect to the uniform measure on $X^ω$ have one or two ends, and we characterize bounded automata whose Schreier graphs have two ends almost surely. The connection with (local) cut-points of limit spaces of self-similar groups is established. △ Less

Submitted 27 January, 2016; originally announced January 2016.

MSC Class: 20F65; 05C63; 05C25

Journal ref: Journal of Fractal Geometry, Volume 4, Issue 4, 2017, 369-424

Schreier graphs of Grigorchuk's group and a subshift associated to a non-primitive substitution

Authors: Rostislav Grigorchuk, Daniel Lenz, Tatiana Nagnibeda

Abstract: There is a recently discovered connection between the spectral theory of Schrö-dinger operators whose potentials exhibit aperiodic order and that of Laplacians associated with actions of groups on regular rooted trees, as Grigorchuk's group of intermediate growth. We give an overview of corresponding results, such as different spectral types in the isotropic and anisotropic cases, including Cantor… ▽ More There is a recently discovered connection between the spectral theory of Schrö-dinger operators whose potentials exhibit aperiodic order and that of Laplacians associated with actions of groups on regular rooted trees, as Grigorchuk's group of intermediate growth. We give an overview of corresponding results, such as different spectral types in the isotropic and anisotropic cases, including Cantor spectrum of Lebesgue measure zero and absence of eigenvalues. Moreover, we discuss the relevant background as well as the combinatorial and dynamical tools that allow one to establish the afore-mentioned connection. The main such tool is the subshift associated to a substitution over a finite alphabet that defines the group algebraically via a recursive presentation by generators and relators. △ Less

Submitted 29 June, 2016; v1 submitted 2 October, 2015; originally announced October 2015.

Comments: To appear in: Groups, Graphs, and Random Walks. T.Ceccherini-Silberstein, M.Salvatori and E.Sava-Huss Eds, London Mathematical Society Lecture Note Series, Cambridge University Press, Cambridge, 2016

Universal groups of intermediate growth and their invariant random subgroups

Authors: Mustafa Gokhan Benli, Rostislav Grigorchuk, Tatiana Nagnibeda

Abstract: We exhibit examples of groups of intermediate growth with $2^{\aleph_0}$ ergodic, continuous, invariant random subgroups. The examples are the universal groups associated with a family of groups of intermediate growth. We exhibit examples of groups of intermediate growth with $2^{\aleph_0}$ ergodic, continuous, invariant random subgroups. The examples are the universal groups associated with a family of groups of intermediate growth. △ Less

Submitted 27 June, 2015; v1 submitted 5 March, 2015; originally announced March 2015.

Comments: Functional Analysis and its Applications, 2015

Weakly maximal subgroups in regular branch groups

Authors: Khalid Bou-Rabee, Paul-Henry Leemann, Tatiana Nagnibeda

Abstract: Let $G$ be a finitely generated regular branch group acting by automorphisms on a regular rooted tree $T$. It is well-known that stabilizers of infinite rays in $T$ (aka parabolic subgroups) are weakly maximal subgroups in $G$, that is, maximal among subgroups of infinite index. We show that, given a finite subgroup $Q\leq G$, $G$ possesses uncountably many automorphism equivalence classes of weak… ▽ More Let $G$ be a finitely generated regular branch group acting by automorphisms on a regular rooted tree $T$. It is well-known that stabilizers of infinite rays in $T$ (aka parabolic subgroups) are weakly maximal subgroups in $G$, that is, maximal among subgroups of infinite index. We show that, given a finite subgroup $Q\leq G$, $G$ possesses uncountably many automorphism equivalence classes of weakly maximal subgroups containing $Q$. In particular, for Grigorchuk-Gupta-Sidki type groups this implies that they have uncountably many automorphism equivalence classes of weakly maximal subgroups that are not parabolic. △ Less

Submitted 12 February, 2016; v1 submitted 25 February, 2015; originally announced February 2015.

Comments: 11 pages; a few corrections; to appear in J. Algebra

MSC Class: 20E08; 20F65

Journal ref: Journal of Algebra, Vol. 455 (2016), pages 347-357

Lamplighter groups, de Bruijn graphs, spider-web graphs and their spectra

Authors: Rostislav Grigorchuk, Paul-Henry Leemann, Tatiana Nagnibeda

Abstract: We describe the infinite family of spider-web graphs $S_{k,M,N }$, $k \geq 2$, $M \geq 1$ and $N \geq 0$, studied in physical literature as tensor products of well-known de Brujin graphs $B_{k,N}$ and cyclic graphs $C_M$ and show that these graphs are Schreier graphs of the lamplighter groups $L_k = Z/kZ \wr Z$. This allows us to compute their spectra and to identify the infinite limit of… ▽ More We describe the infinite family of spider-web graphs $S_{k,M,N }$, $k \geq 2$, $M \geq 1$ and $N \geq 0$, studied in physical literature as tensor products of well-known de Brujin graphs $B_{k,N}$ and cyclic graphs $C_M$ and show that these graphs are Schreier graphs of the lamplighter groups $L_k = Z/kZ \wr Z$. This allows us to compute their spectra and to identify the infinite limit of $S_{k,M,N}$, as $N, M \to\infty$, with the Cayley graph of the lamplighter group $L_k$. This is the final version of the article, taking in account comments from the referees and with an extended introduction. △ Less

Submitted 29 May, 2017; v1 submitted 24 February, 2015; originally announced February 2015.

Comments: 37 pages, 10 figures

MSC Class: 97K30 (Primary); 60B10; 20E22 (Secondary)

Journal ref: J. Phys. A: Math. Theor. Vol. 49, No 20 (2016)

Spectra of Schreier graphs of Grigorchuk's group and Schroedinger operators with aperiodic order

Authors: Rostislav Grigorchuk, Daniel Lenz, Tatiana Nagnibeda

Abstract: We study spectral properties of the Laplacians on Schreier graphs arising from Grigorchuk's group acting on the boundary of the infinite binary tree. We establish a connection between the action of $G$ on its space of Schreier graphs and a subshift associated to a non-primitive substitution and relate the Laplacians on the Schreier graphs to discrete Schroedinger operators with aperiodic order. We… ▽ More We study spectral properties of the Laplacians on Schreier graphs arising from Grigorchuk's group acting on the boundary of the infinite binary tree. We establish a connection between the action of $G$ on its space of Schreier graphs and a subshift associated to a non-primitive substitution and relate the Laplacians on the Schreier graphs to discrete Schroedinger operators with aperiodic order. We use this relation to prove that the spectrum of the anisotropic Laplacians is a Cantor set of Lebesgue measure zero. We also use it to show absence of eigenvalues both almost-surely and for certain specific graphs. The methods developed here apply to a large class of examples. △ Less

Submitted 30 November, 2017; v1 submitted 21 December, 2014; originally announced December 2014.

Comments: Article to appear in Math. Ann.; part of the study of combinatorics of the subshift removed and included in arXiv:1711.10342; apart from this only minor modifications

On transitivity and (non)amenability of Aut(F_n) actions on group presentations

Authors: Aglaia Myropolska, Tatiana Nagnibeda

Abstract: For a finitely generated group $G$ the Nielsen graph $N_n(G)$, $n\geq \operatorname{rank}(G)$, describes the action of the group $\operatorname{Aut}F_n$ of automorphisms of the free group $F_n$ on generating $n$-tuples of G by elementary Nielsen moves. The question of (non)amenability of Nielsen graphs is of particular interest in relation with the open question about Property $(T)$ for… ▽ More For a finitely generated group $G$ the Nielsen graph $N_n(G)$, $n\geq \operatorname{rank}(G)$, describes the action of the group $\operatorname{Aut}F_n$ of automorphisms of the free group $F_n$ on generating $n$-tuples of G by elementary Nielsen moves. The question of (non)amenability of Nielsen graphs is of particular interest in relation with the open question about Property $(T)$ for $\operatorname{Aut}F_n$, $n\geq 4$. We prove nonamenability of Nielsen graphs $N_n(G)$ for all $n\ge \max\{2,\operatorname{rank}(G)\}$ when $G$ is indicable, and for $n$ big enough when $G$ is elementary amenable. We give an explicit description of $N_d(G)$ for relatively free (in some variety) groups of rank $d$ and discuss their connectedness and nonamenability. Examples considered include free polynilpotent groups and free Burnside groups. △ Less

Submitted 7 May, 2014; v1 submitted 1 September, 2013; originally announced September 2013.

Comments: To appear in "Groups, Geometry, and Dynamics" journal

Journal ref: Groups Geom. Dyn. 8 (2014), 3, 837-861

Weighted Coxeter graphs and generalized geometric representations of Coxeter Groups

Authors: Vadim Bugaenko, Yonah Cherniavsky, Tatiana Nagnibeda, Robert Shwartz

Abstract: We introduce the notion of weighted Coxeter graph and associate to it a certain generalization of the standard geometric representation of a Coxeter group. We prove sufficient conditions for faithfulness and non-faithfulness of such a representation. In the case when the weighted Coxeter graph is balanced we discuss how the generalized geometric representation is related to the numbers game played… ▽ More We introduce the notion of weighted Coxeter graph and associate to it a certain generalization of the standard geometric representation of a Coxeter group. We prove sufficient conditions for faithfulness and non-faithfulness of such a representation. In the case when the weighted Coxeter graph is balanced we discuss how the generalized geometric representation is related to the numbers game played on the Coxeter graph. △ Less

Submitted 5 May, 2014; v1 submitted 2 April, 2013; originally announced April 2013.

Comments: accepted to Discrete Applied Mathematics

Boundaries of $\mathbb{Z}^n$-free groups

Authors: Andrei Malyutin, Tatiana Nagnibeda, Denis Serbin

Abstract: In this paper we study random walks on a finitely generated group $G$ which has a free action on a $\mathbb{Z}^n$-tree. We show that if $G$ is non-abelian and acts minimally, freely and without inversions on a locally finite $\mathbb{Z}^n$-tree $Γ$ with the set of open ends ${\rm Ends}(Γ)$, then for every non-degenerate probability measure $μ$ on $G$ there exists a unique $μ$-stationary probabilit… ▽ More In this paper we study random walks on a finitely generated group $G$ which has a free action on a $\mathbb{Z}^n$-tree. We show that if $G$ is non-abelian and acts minimally, freely and without inversions on a locally finite $\mathbb{Z}^n$-tree $Γ$ with the set of open ends ${\rm Ends}(Γ)$, then for every non-degenerate probability measure $μ$ on $G$ there exists a unique $μ$-stationary probability measure $ν_μ$ on ${\rm Ends}(Γ)$, and the space $({\rm Ends}(Γ), ν_μ)$ is a $μ$-boundary. Moreover, if $μ$ has finite first moment with respect to the word metric on $G$ (induced by a finite generating set), then the measure space $({\rm Ends}(Γ), ν_μ)$ is isomorphic to the Poisson--Furstenberg boundary of $(G, μ)$. △ Less

Submitted 17 April, 2017; v1 submitted 14 November, 2012; originally announced November 2012.

Comments: 29 pages

Journal ref: Groups, Graphs, and Random Walks (Ed. T.Ceccherini-Silberstein, M.Salvatori and E.Sava-Huss), London Mathematical Society Lecture Note Series 436, 2017, 354-389

Small spectral radius and percolation constants on non-amenable Cayley graphs

Authors: Kate Juschenko, Tatiana Nagnibeda

Abstract: Motivated by the Benjamini-Schramm non-unicity of percolation conjecture we study the following question. For a given finitely generated non-amenable group $Γ$, does there exist a generating set $S$ such that the Cayley graph $(Γ,S)$, without loops and multiple edges, has non-unique percolation, i.e., $p_c(Γ,S)<p_u(Γ,S)$? We show that this is true if $Γ$ contains an infinite normal subgroup $N$ su… ▽ More Motivated by the Benjamini-Schramm non-unicity of percolation conjecture we study the following question. For a given finitely generated non-amenable group $Γ$, does there exist a generating set $S$ such that the Cayley graph $(Γ,S)$, without loops and multiple edges, has non-unique percolation, i.e., $p_c(Γ,S)<p_u(Γ,S)$? We show that this is true if $Γ$ contains an infinite normal subgroup $N$ such that $Γ/ N$ is non-amenable. Moreover for any finitely generated group $G$ containing $Γ$ there exists a generating set $S'$ of $G$ such that $p_c(G,S')<p_u(G,S')$. In particular this applies to free Burnside groups $B(n,p)$ with $n \geq 2, p \geq 665$. We also explore how various non-amenability numerics, such as the isoperimetric constant and the spectral radius, behave on various growing generating sets in the group. △ Less

Submitted 13 March, 2015; v1 submitted 11 June, 2012; originally announced June 2012.

Journal ref: Proc. Amer. Math. Soc. 143 (2015), no. 4, 1449--1458

Counting dimer coverings on self-similar Schreier graphs

Authors: Daniele D'Angeli, Alfredo Donno, Tatiana Nagnibeda

Abstract: We study partition functions for the dimer model on families of finite graphs converging to infinite self-similar graphs and forming approximation sequences to certain well-known fractals. The graphs that we consider are provided by actions of finitely generated groups by automorphisms on rooted trees, and thus their edges are naturally labeled by the generators of the group. It is thus natural to… ▽ More We study partition functions for the dimer model on families of finite graphs converging to infinite self-similar graphs and forming approximation sequences to certain well-known fractals. The graphs that we consider are provided by actions of finitely generated groups by automorphisms on rooted trees, and thus their edges are naturally labeled by the generators of the group. It is thus natural to consider weight functions on these graphs taking different values according to the labeling. We study in detail the well-known example of the Hanoi Towers group $H^{(3)}$, closely related to the Sierpiński gasket. △ Less

Submitted 12 September, 2011; v1 submitted 6 September, 2011; originally announced September 2011.

Comments: 29 pages. Final version, to appear in European Journal of Combinatorics

MSC Class: 82B20; 05A15; 20E08

Journal ref: European Journal of Combinatorics, 33, Issue 7 (2012), 1484-1513

Subset currents on free groups

Authors: Ilya Kapovich, Tatiana Nagnibeda

Abstract: We introduce and study the space of \emph{subset currents} on the free group $F_N$. A subset current on $F_N$ is a positive $F_N$-invariant locally finite Borel measure on the space $\mathfrak C_N$ of all closed subsets of $\partial F_N$ consisting of at least two points. While ordinary geodesic currents generalize conjugacy classes of nontrivial group elements, a subset current is a measure-theor… ▽ More We introduce and study the space of \emph{subset currents} on the free group $F_N$. A subset current on $F_N$ is a positive $F_N$-invariant locally finite Borel measure on the space $\mathfrak C_N$ of all closed subsets of $\partial F_N$ consisting of at least two points. While ordinary geodesic currents generalize conjugacy classes of nontrivial group elements, a subset current is a measure-theoretic generalization of the conjugacy class of a nontrivial finitely generated subgroup in $F_N$, and, more generally, in a word-hyperbolic group. The concept of a subset current is related to the notion of an "invariant random subgroup" with respect to some conjugacy-invariant probability measure on the space of closed subgroups of a topological group. If we fix a free basis $A$ of $F_N$, a subset current may also be viewed as an $F_N$-invariant measure on a "branching" analog of the geodesic flow space for $F_N$, whose elements are infinite subtrees (rather than just geodesic lines) of the Cayley graph of $F_N$ with respect to $A$. △ Less

Submitted 4 November, 2012; v1 submitted 28 May, 2011; originally announced May 2011.

Comments: updated version; to appear in Geometriae Dedicata

MSC Class: 20F32

Journal ref: Geometriae Dedicata, vol. 166 (2013), 307-348

Abelian Sandpile Model on Randomly Rooted Graphs and Self-Similar Groups

Authors: Michel Matter, Tatiana Nagnibeda

Abstract: The main result of this paper is a rigorous proof of criticality and an explicit computation of critical exponents for the decay of avalanches in the Abelian sandpile model (ASM) on a large family of infinite graphs. We begin by introducing the notion of criticality of the ASM for limits of finite graphs in local convergence, which naturally leads to the question about criticality of the ASM in th… ▽ More The main result of this paper is a rigorous proof of criticality and an explicit computation of critical exponents for the decay of avalanches in the Abelian sandpile model (ASM) on a large family of infinite graphs. We begin by introducing the notion of criticality of the ASM for limits of finite graphs in local convergence, which naturally leads to the question about criticality of the ASM in the random weak limit. Our main technical ingredient is a sufficient condition for almost sure criticality of the ASM on sequences of finite cacti (i.e., separable graphs whose blocks are cycles or single edges) under the assumption that the random weak limit is almost surely 1-ended. Examples that allow explicit computations of the critical exponents come from actions of finitely generated groups on regular rooted trees, by automorphisms. Restricting the action to the consecutive levels of the tree defines a sequence of finite graphs whose limits in the local convergence are orbital Schreier graphs for the action of the group on the boundary of the tree. In the case of iterated monodromy groups of complex polynomials, these graphs are cacti, and we show that for 1-ended ones, the critical exponent for the decay of the mass of avalanches depends on the growth of the graph. The well-known Basilica group related to $z^2-1$ gives rise to uncountably many 4-regular one-ended graphs of quadratic growth with the critical exponent for the mass of avalanches equal to 1; as well as uncountably many new non-critical examples of quadratic growth (thus not quasi-isometric to $\mathbb{Z}$). Another iterated monodromy group that we consider provides uncountably many graphs with the critical exponent equal to $2\log 2/\log 3 >1$. Finally, we also exhibit graphs of polynomial growth with arbitrarily small critical exponent. △ Less

Submitted 31 October, 2012; v1 submitted 20 May, 2011; originally announced May 2011.

Comments: to appear in Israel J. Math

Partition functions of the Ising model on some self-similar Schreier graphs

Authors: Daniele D'Angeli, Alfredo Donno, Tatiana Nagnibeda

Abstract: We study partition functions and thermodynamic limits for the Ising model on three families of finite graphs converging to infinite self-similar graphs. They are provided by three well-known groups realized as automorphism groups of regular rooted trees: the first Grigorchuk's group of intermediate growth; the iterated monodromy group of the complex polynomial $z^2-1$ known as the Basilica group… ▽ More We study partition functions and thermodynamic limits for the Ising model on three families of finite graphs converging to infinite self-similar graphs. They are provided by three well-known groups realized as automorphism groups of regular rooted trees: the first Grigorchuk's group of intermediate growth; the iterated monodromy group of the complex polynomial $z^2-1$ known as the Basilica group; and the Hanoi Towers group $H^{(3)}$ closely related to the Sierpinsky gasket. △ Less

Submitted 2 March, 2010; originally announced March 2010.

Comments: 23 pages

MSC Class: 82B20; 05A15

Journal ref: Progress in Probability: Random Walks, Boundaries and Spectra (D.Lenz, F. Sobieczky and W. Woess editors), 64 (2011), 277-304, Springer Basel

Schreier graphs of the Basilica group

Authors: Daniele D'Angeli, Alfredo Donno, Michel Matter, Tatiana Nagnibeda

Abstract: With any self-similar action of a finitely generated group $G$ of automorphisms of a regular rooted tree $T$ can be naturally associated an infinite sequence of finite graphs $\{Γ_n\}_{n\geq 1}$, where $Γ_n$ is the Schreier graph of the action of $G$ on the $n$-th level of $T$. Moreover, the action of $G$ on $\partial T$ gives rise to orbital Schreier graphs $Γ_ξ$, $ξ\in \partial T$. Denoting by… ▽ More With any self-similar action of a finitely generated group $G$ of automorphisms of a regular rooted tree $T$ can be naturally associated an infinite sequence of finite graphs $\{Γ_n\}_{n\geq 1}$, where $Γ_n$ is the Schreier graph of the action of $G$ on the $n$-th level of $T$. Moreover, the action of $G$ on $\partial T$ gives rise to orbital Schreier graphs $Γ_ξ$, $ξ\in \partial T$. Denoting by $ξ_n$ the prefix of length $n$ of the infinite ray $ξ$, the rooted graph $(Γ_ξ,ξ)$ is then the limit of the sequence of finite rooted graphs $\{(Γ_n,ξ_n)\}_{n\geq 1}$ in the sense of pointed Gromov-Hausdorff convergence. In this paper, we give a complete classification (up to isomorphism) of the limit graphs $(Γ_ξ,ξ)$ associated with the Basilica group acting on the binary tree, in terms of the infinite binary sequence $ξ$. △ Less

Submitted 29 April, 2010; v1 submitted 15 November, 2009; originally announced November 2009.

Comments: 32 pages

MSC Class: 20E08; 20F69; 05C63; 37E25

Journal ref: Journal of Modern Dynamics, Vol.4, No.1, 2010, 167-205

Ergodic properties of boundary actions and Nielsen--Schreier theory

Authors: Rostislav Grigorchuk, Vadim A. Kaimanovich, Tatiana Nagnibeda

Abstract: We study the basic ergodic properties (ergodicity and conservativity) of the action of an arbitrary subgroup $H$ of a free group $F$ on the boundary $\partial F$ with respect to the uniform measure. Our approach is geometrical and combinatorial, and it is based on choosing a system of Nielsen--Schreier generators in $H$ associated with a geodesic spanning tree in the Schreier graph… ▽ More We study the basic ergodic properties (ergodicity and conservativity) of the action of an arbitrary subgroup $H$ of a free group $F$ on the boundary $\partial F$ with respect to the uniform measure. Our approach is geometrical and combinatorial, and it is based on choosing a system of Nielsen--Schreier generators in $H$ associated with a geodesic spanning tree in the Schreier graph $X=H\backslash F$. We give several (mod 0) equivalent descriptions of the Hopf decomposition of the boundary into the conservative and the dissipative parts. Further we relate conservativity and dissipativity of the action with the growth of the Schreier graph $X$ and of the subgroup $H$ ($\equiv$ cogrowth of $X$), respectively. We also construct numerous examples illustrating connections between various relevant notions. △ Less

Submitted 26 August, 2011; v1 submitted 29 January, 2009; originally announced January 2009.

Comments: minor editorial changes, added references; final version to appear in Advances in Mathematics

MSC Class: 20E05; 20F65; 37A40

Journal ref: Adv. Math. 230 (2012), no. 3, 1340-1380

Geometric entropy of geodesic currents on free groups

Authors: Ilya Kapovich, Tatiana Nagnibeda

Abstract: A \emph{geodesic current} on a free group $F$ is an $F$-invariant measure on the set $\partial^2 F$ of pairs of distinct points of $\partial F$. The space of geodesic currents on $F$ is a natural companion of Culler-Vogtmann's Outer space $cv(F)$ and studying them together yields new information about both spaces as well as about the group $Out(F)$. The main aim of this paper is to introduce and s… ▽ More A \emph{geodesic current} on a free group $F$ is an $F$-invariant measure on the set $\partial^2 F$ of pairs of distinct points of $\partial F$. The space of geodesic currents on $F$ is a natural companion of Culler-Vogtmann's Outer space $cv(F)$ and studying them together yields new information about both spaces as well as about the group $Out(F)$. The main aim of this paper is to introduce and study the notion of {\it geometric entropy} $h_T(μ)$ of a geodesic current $μ$ with respect to a point $T$ of $cv(F)$, which can be viewed as a length function on $F$. The geometric entropy is defined as the slowest rate of exponential decay of $μ$-measures of bi-infinite cylinders in $F$, as the $T$-length of the word defining such a cylinder goes to infinity. We obtain an explicit formula for $h_{T'}(μ_T)$, where $T,T'$ are arbitrary points in $cv(F)$ and where $μ_T$ denotes a Patterson-Sullivan current corresponding to $T$. It involves the volume entropy $h(T)$ and the extremal distortion of distances in $T$ with respect to distances in $T'$. It follows that, given $T$ in the projectivized outer space $CV(F)$, $h_{T'}(μ_T)$ as function of $T'\in CV(F)$ achieves a strict global maximum at $T'=T$. We also show that for any $T\in cv(F)$ and any geodesic current $μ$ on $F$, $h_T(μ)\le h(T)$, where the equality is realized when $μ=μ_T$. For points $T\in cv(F)$ with simplicial metric (where all edges have length one), we relate the geometric entropy of a current and the measure-theoretic entropy. △ Less

Submitted 25 May, 2010; v1 submitted 26 October, 2008; originally announced October 2008.

Comments: Updated version, incorporating the referee's comments

MSC Class: 20F65; Secondary 05C; 37A; 37E; 57M

Journal ref: American Mathematical Society, Contemporary Mathematics Series, vol. 532 (2010), pp. 149-175

The Patterson-Sullivan embedding and minimal volume entropy for outer space

Authors: Ilya Kapovich, Tatiana Nagnibeda

Abstract: Motivated by Bonahon's result for hyperbolic surfaces, we construct an analogue of the Patterson-Sullivan-Bowen-Margulis map from the Culler-Vogtmann outer space $CV(F_k)$ into the space of projectivized geodesic currents on a free group. We prove that this map is a topological embedding. We also prove that for every $k\ge 2$ the minimum of the volume entropy of the universal covers of finite co… ▽ More Motivated by Bonahon's result for hyperbolic surfaces, we construct an analogue of the Patterson-Sullivan-Bowen-Margulis map from the Culler-Vogtmann outer space $CV(F_k)$ into the space of projectivized geodesic currents on a free group. We prove that this map is a topological embedding. We also prove that for every $k\ge 2$ the minimum of the volume entropy of the universal covers of finite connected volume-one metric graphs with fundamental group of rank $k$ and without degree-one vertices is equal to $(3k-3)\log 2$ and that this minimum is realized by trivalent graphs with all edges of equal lengths, and only by such graphs. △ Less

Submitted 14 February, 2006; v1 submitted 21 April, 2005; originally announced April 2005.

Comments: An updated version

MSC Class: Primary 20F65; Secondary 05C; 37A; 37E; 57M

Journal ref: Geom. Funct. Anal. vol. 17 (2007), no. 4, pp. 1201-1236