Showing 1–9 of 9 results for author: Perego, D

Limit spaces of vertex and edge replacement systems

Authors: Davide Perego, Matteo Tarocchi

Abstract: We introduce and study VERSs (vertex and edge replacement systems) as a technology of graph expansions. We consider its history graph, an augmented tree that records each graph expansion, and we provide sufficient conditions under which it is hyperbolic. When hyperbolic, its Gromov boundary is what we call the limit space of the VERS. We provide three examples from different areas of mathematics:… ▽ More We introduce and study VERSs (vertex and edge replacement systems) as a technology of graph expansions. We consider its history graph, an augmented tree that records each graph expansion, and we provide sufficient conditions under which it is hyperbolic. When hyperbolic, its Gromov boundary is what we call the limit space of the VERS. We provide three examples from different areas of mathematics: Schreier graphs and limit spaces of finitely generated contracting self-similar groups, injective post-critically finite iterated function systems and limit spaces of edge replacement systems. △ Less

Submitted 28 August, 2025; originally announced August 2025.

Comments: 28 pages, comments are welcome

MSC Class: 28A80 (primary); 05C63; 20E08; 37B10; 37E25 (secondary)

Horofunctions of infinite Sierpinski polygon graphs

Authors: Daniele D'Angeli, Francesco Matucci, Davide Perego, Emanuele Rodaro

Abstract: Generalizing works of D'Angeli and Donno, we describe, starting from an infinite sequence over $r$ letters with $r \neq 4i$ and $i \in \mathbb{N}$, a sequence of pointed finite graphs. We study the pointed Gromov-Hausdorff limit graphs giving a description of isomorphim classes in terms of dihedral groups and providing insights on the horofunction boundaries in terms of Busemann and non-Busemann p… ▽ More Generalizing works of D'Angeli and Donno, we describe, starting from an infinite sequence over $r$ letters with $r \neq 4i$ and $i \in \mathbb{N}$, a sequence of pointed finite graphs. We study the pointed Gromov-Hausdorff limit graphs giving a description of isomorphim classes in terms of dihedral groups and providing insights on the horofunction boundaries in terms of Busemann and non-Busemann points. △ Less

Submitted 31 July, 2025; originally announced July 2025.

Comments: 16 pages

Orderable Thompson-like groups arising from Ore categories

Authors: Davide Perego, Matteo Tarocchi

Abstract: We give sufficient conditions for left- and bi-orderability of fundamental groups of Ore categories in terms of indirect factors, including Thompson groups and many of their generalizations. Besides recovering known results, we prove that braided groups of fractions of digit rewriting systems (which generalize braided Thompson groups to the wider setting of topological full groups of edge shift) a… ▽ More We give sufficient conditions for left- and bi-orderability of fundamental groups of Ore categories in terms of indirect factors, including Thompson groups and many of their generalizations. Besides recovering known results, we prove that braided groups of fractions of digit rewriting systems (which generalize braided Thompson groups to the wider setting of topological full groups of edge shift) are left-orderable, and that their purely braided counterparts are bi-orderable. In particular, the braided Houghton groups are left-orderable. △ Less

Submitted 14 March, 2025; originally announced March 2025.

Comments: 12 pages

MSC Class: 20F65 (primary); 20F60; 20F36; 20F38 (secondary)

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

Eventually Self-Similar Groups acting on Fractals

Authors: Davide Perego, Matteo Tarocchi

Abstract: Generalizing work by Belk and Forrest, we develop almost expanding hyperedge replacement systems that build fractal topological spaces as quotients of edge shifts under certain ``gluing'' equivalent relations. We define ESS groups, which are groups of homeomorphisms of these spaces that act as a finitary asynchronous transformations followed by self-similar ones, akin to the action of Scott-Röver-… ▽ More Generalizing work by Belk and Forrest, we develop almost expanding hyperedge replacement systems that build fractal topological spaces as quotients of edge shifts under certain ``gluing'' equivalent relations. We define ESS groups, which are groups of homeomorphisms of these spaces that act as a finitary asynchronous transformations followed by self-similar ones, akin to the action of Scott-Röver-Nekrashevych groups on the Cantor space. We provide sufficient conditions for finiteness properties of such groups, which allow us to show that the airplane and dendrite rearrangement groups have type $F_\infty$, that a group combining dendrite rearrangements and the Grigorchuk group is finitely generated, and that certain ESS groups of edge shifts have type $F_\infty$ (partially addressing a question of Deaconu), in addition to providing new proofs of previously known results about several Thompson-like groups. △ Less

Submitted 5 December, 2024; originally announced December 2024.

Comments: 40 pages

MSC Class: 20F65 (primary) 20F38; 28A80; 57M07; 20F05 (secondary)

Context-free graphs and their transition groups

Authors: Daniele D'Angeli, Francesco Matucci, Davide Perego, Emanuele Rodaro

Abstract: We define a new class of groups arising from context-free inverse graphs. We provide closure properties, prove that their co-word problems are context-free, study the torsion elements, and realize them as subgroups of the asynchronous rational group. Furthermore, we use a generalized version of the free product of graphs and prove that such a product is context-free inverse closed. We also exhibit… ▽ More We define a new class of groups arising from context-free inverse graphs. We provide closure properties, prove that their co-word problems are context-free, study the torsion elements, and realize them as subgroups of the asynchronous rational group. Furthermore, we use a generalized version of the free product of graphs and prove that such a product is context-free inverse closed. We also exhibit an example of a group in our class that is not residually finite and one that is not poly-context-free. These properties make them interesting candidates to disprove both the Lehnert conjecture (which characterizes co-context-free groups as all subgroups of Thompson's group V) and the Brough conjecture (which characterizes finitely generated poly-context-free groups as virtual finitely generated subgroups of direct products of free groups). △ Less

Submitted 4 October, 2024; v1 submitted 23 August, 2024; originally announced August 2024.

Comments: 43 pages; improved exposition

MSC Class: 20F65; 05C75; 20F10; 68Q70

Rational Gluing in Edge Replacement Systems

Authors: Davide Perego, Matteo Tarocchi

Abstract: In this paper, we prove the rationality of the gluing relation of edge replacement systems, which were introduced for studying rearrangement groups of fractals. More precisely, we describe an algorithmic procedure for building a finite state automaton that recognizes pairs of equivalent sequences that are glued in the fractal. This fits in recent interest towards the rationality of gluing relation… ▽ More In this paper, we prove the rationality of the gluing relation of edge replacement systems, which were introduced for studying rearrangement groups of fractals. More precisely, we describe an algorithmic procedure for building a finite state automaton that recognizes pairs of equivalent sequences that are glued in the fractal. This fits in recent interest towards the rationality of gluing relations on totally disconnected compact metrizable spaces. △ Less

Submitted 3 December, 2024; v1 submitted 14 March, 2024; originally announced March 2024.

Comments: Final version, section and theorem numbering as published. 14 pages

MSC Class: 20F65 (Primary); 28A80; 68Q45; 37B10; 51F99 (Secondary)

Journal ref: Internat. J. Algebra Comput. 35.1 (2025), pp. 81-96

Rationality of the Gromov Boundary of Hyperbolic Groups

Authors: Davide Perego

Abstract: In [BBM21], Belk, Bleak and Matucci proved that hyperbolic groups can be seen as subgroups of the rational group. In order to do so, they associated a tree of atoms to each hyperbolic group. Not so many connections between this tree and the literature on hyperbolic groups were known. In this paper, we prove an atom-version of the fellow traveler property and exponential divergence, together with o… ▽ More In [BBM21], Belk, Bleak and Matucci proved that hyperbolic groups can be seen as subgroups of the rational group. In order to do so, they associated a tree of atoms to each hyperbolic group. Not so many connections between this tree and the literature on hyperbolic groups were known. In this paper, we prove an atom-version of the fellow traveler property and exponential divergence, together with other similar results. These leads to several consequences: a bound from above of the topological dimension of the Gromov boundary, the definition of an augmented tree which is quasi-isometric to the Cayley graph and a synchronous recognizer which described the equivalence relation given by the quotient map defined from the end of the tree onto the Gromov boundary. △ Less

Submitted 17 March, 2023; originally announced March 2023.

Comments: 43 pages

MSC Class: 20F65 (Primary); 20F67; 51F99; 68Q70 (Secondary)

A Class of Rearrangement Groups that are not Invariably Generated

Authors: Davide Perego, Matteo Tarocchi

Abstract: A group $G$ is invariably generated if there exists a subset $S \subseteq G$ such that, for every choice $g_s \in G$ for $s \in S$, the group $G$ is generated by $\{ s^{g_s} \mid s \in S \}$. In [GGJ16] Gelander, Golan and Juschenko showed that Thompson groups $T$ and $V$ are not invariably generated. Here we generalize this result to the larger setting of rearrangement groups, proving that any su… ▽ More A group $G$ is invariably generated if there exists a subset $S \subseteq G$ such that, for every choice $g_s \in G$ for $s \in S$, the group $G$ is generated by $\{ s^{g_s} \mid s \in S \}$. In [GGJ16] Gelander, Golan and Juschenko showed that Thompson groups $T$ and $V$ are not invariably generated. Here we generalize this result to the larger setting of rearrangement groups, proving that any subgroup of a rearrangement group that has a certain transitive property is not invariably generated. △ Less

Submitted 26 April, 2024; v1 submitted 9 July, 2022; originally announced July 2022.

Comments: Small changes that reflect the published version (especially theorem numeration)

MSC Class: 20F65 (Primary) 20F38; 28A80; 20F05; 20E45 (Secondary)

Journal ref: Bull. London Math. Soc. (2024)