Showing 1–15 of 15 results for author: Picantin, M

A new hierarchy for automaton semigroups

Authors: Laurent Bartholdi, Thibault Godin, Ines Klimann, Matthieu Picantin

Abstract: We define a new strict and computable hierarchy for the family of automaton semigroups, which reflects the various asymptotic behaviors of the state-activity growth. This hierarchy extends that given by Sidki for automaton groups, and also gives new insights into the latter. Its exponential part coincides with a notion of entropy for some associated automata. We prove that the Order Problem is d… ▽ More We define a new strict and computable hierarchy for the family of automaton semigroups, which reflects the various asymptotic behaviors of the state-activity growth. This hierarchy extends that given by Sidki for automaton groups, and also gives new insights into the latter. Its exponential part coincides with a notion of entropy for some associated automata. We prove that the Order Problem is decidable when the state-activity is bounded. The Order Problem remains open for the next level of this hierarchy, that is, when the state-activity is linear. Gillibert showed that it is undecidable in the whole family. The former results are implemented and will be available in the GAP package FR developed by the first author. △ Less

Submitted 13 May, 2018; v1 submitted 27 March, 2018; originally announced March 2018.

Comments: 12 pages, accepted and presented at CIAA 2018

Automatic semigroups vs automaton semigroups

Authors: Matthieu Picantin

Abstract: We develop an effective and natural approach to interpret any semigroup admitting a special language of greedy normal forms as an automaton semigroup,namely the semigroup generated by a Mealy automaton encoding the behaviour of such a language of greedy normal forms under one-sided multiplication.The framework embraces many of the well-known classes of (automatic) semigroups: finite monoids, free… ▽ More We develop an effective and natural approach to interpret any semigroup admitting a special language of greedy normal forms as an automaton semigroup,namely the semigroup generated by a Mealy automaton encoding the behaviour of such a language of greedy normal forms under one-sided multiplication.The framework embraces many of the well-known classes of (automatic) semigroups: finite monoids, free semigroups, free commutative monoids, trace or divisibility monoids, braid or Artin-Tits or Krammer or Garside monoids, Baumslag-Solitar semigroups, etc.Like plactic monoids or Chinese monoids, some neither left- nor right-cancellative automatic semigroups are also investigated, as well as some residually finite variations of the bicyclic monoid. It provides what appears to be the first known connection from a class of automatic semigroupsto a class of automaton semigroups. It is worthwhile noting that, in all these cases, "being an automatic semigroup" and "being an automaton semigroup" become dual properties in a very automata-theoretical sense. Quadratic rewriting systems and associated tilings appear as a cornerstone of our construction. △ Less

Submitted 5 December, 2018; v1 submitted 29 September, 2016; originally announced September 2016.

Boundary action of automaton groups without singular points and Wang tilings

Authors: D. D'Angeli, Th. Godin, I. Klimann, M. Picantin, E. Rodaro

Abstract: We study automaton groups without singular points, that is, points in the boundary for which the map that associates to each point its stabilizer, is not continuous. This is motivated by the problem of finding examples of infinite bireversible automaton groups with all trivial stabilizers in the boundary, raised by Grigorchuk and Savchuk. We show that, in general, the set of singular points has me… ▽ More We study automaton groups without singular points, that is, points in the boundary for which the map that associates to each point its stabilizer, is not continuous. This is motivated by the problem of finding examples of infinite bireversible automaton groups with all trivial stabilizers in the boundary, raised by Grigorchuk and Savchuk. We show that, in general, the set of singular points has measure zero. Then we focus our attention on several classes of automata. We characterize those contracting automata generating groups without singular points, and apply this characterization to the Basilica group. We prove that potential examples of reversible automata generating infinite groups without singular points are necessarily bireversible. Then we provide some necessary conditions for such examples to exist, and study some dynamical properties of their Schreier graphs in the boundary. Finally we relate some of those automata with aperiodic tilings of the discrete plane via Wang tilings. This has a series of consequences from the algorithmic and dynamical points of view, and is related to a problem of Gromov regarding the searching for examples of CAT(0) complexes whose fundamental groups are not hyperbolic and contain no subgroup isomorphic to $\mathbb{Z}^{2}$. △ Less

Submitted 26 April, 2016; originally announced April 2016.

Comments: 40 pages

MSC Class: 20E08; 20F65; 68Q45; 52C20

Orbit automata as a new tool to attack the order problem in automaton groups

Authors: Ines Klimann, Matthieu Picantin, Dmytro Savchuk

Abstract: We introduce a new tool, called the orbit automaton, that describes the action of an automaton group $G$ on the subtrees corresponding to the orbits of $G$ on levels of the tree. The connection between $G$ and the groups generated by the orbit automata is used to find elements of infinite order in certain automaton groups for which other methods failed to work. We introduce a new tool, called the orbit automaton, that describes the action of an automaton group $G$ on the subtrees corresponding to the orbits of $G$ on levels of the tree. The connection between $G$ and the groups generated by the orbit automata is used to find elements of infinite order in certain automaton groups for which other methods failed to work. △ Less

Submitted 2 December, 2014; v1 submitted 1 November, 2014; originally announced November 2014.

Comments: 19 pages, 9 figures; example with Bellaterra group added; references updated

MSC Class: 20E08; 20F10; 20K15; 68Q70

On Torsion-Free Semigroups Generated by Invertible Reversible Mealy Automata

Authors: Thibault Godin, Ines Klimann, Matthieu Picantin

Abstract: This paper addresses the torsion problem for a class of automaton semigroups, defined as semigroups of transformations induced by Mealy automata, aka letter-by-letter transducers with the same input and output alphabet. The torsion problem is undecidable for automaton semigroups in general, but is known to be solvable within the well-studied class of (semi)groups generated by invertible bounded Me… ▽ More This paper addresses the torsion problem for a class of automaton semigroups, defined as semigroups of transformations induced by Mealy automata, aka letter-by-letter transducers with the same input and output alphabet. The torsion problem is undecidable for automaton semigroups in general, but is known to be solvable within the well-studied class of (semi)groups generated by invertible bounded Mealy automata. We focus on the somehow antipodal class of invertible reversible Mealy automata and prove that for a wide subclass the generated semigroup is torsion-free. △ Less

Submitted 2 December, 2014; v1 submitted 16 October, 2014; originally announced October 2014.

Comments: 12 pages, 4 figures, LATA'15 : 9th International Conference on Language and Automata Theory and Applications

A connected 3-state reversible Mealy automaton cannot generate an infinite Burnside group

Authors: Ines Klimann, Matthieu Picantin, Dmytro Savchuk

Abstract: The class of automaton groups is a rich source of the simplest examples of infinite Burnside groups. However, there are some classes of automata that do not contain such examples. For instance, all infinite Burnside automaton groups in the literature are generated by non reversible Mealy automata and it was recently shown that 2-state invertible-reversible Mealy automata cannot generate infinite B… ▽ More The class of automaton groups is a rich source of the simplest examples of infinite Burnside groups. However, there are some classes of automata that do not contain such examples. For instance, all infinite Burnside automaton groups in the literature are generated by non reversible Mealy automata and it was recently shown that 2-state invertible-reversible Mealy automata cannot generate infinite Burnside groups. Here we extend this result to connected 3-state invertible-reversible Mealy automata, using new original techniques. The results provide the first uniform method to construct elements of infinite order in each infinite group in this class. △ Less

Submitted 22 September, 2014; originally announced September 2014.

Comments: 12 pages, 4 figures

A characterization of those automata that structurally generate finite groups

Authors: Ines Klimann, Matthieu Picantin

Abstract: Antonenko and Russyev independently have shown that any Mealy automaton with no cycles with exit--that is, where every cycle in the underlying directed graph is a sink component--generates a fi- nite (semi)group, regardless of the choice of the production functions. Antonenko has proved that this constitutes a characterization in the non-invertible case and asked for the invertible case, which is… ▽ More Antonenko and Russyev independently have shown that any Mealy automaton with no cycles with exit--that is, where every cycle in the underlying directed graph is a sink component--generates a fi- nite (semi)group, regardless of the choice of the production functions. Antonenko has proved that this constitutes a characterization in the non-invertible case and asked for the invertible case, which is proved in this paper. △ Less

Submitted 26 October, 2013; originally announced October 2013.

Implementing Computations in Automaton (Semi)groups

Authors: Ines Klimann, Jean Mairesse, Matthieu Picantin

Abstract: We consider the growth, order, and finiteness problems for automaton (semi)groups. We propose new implementations and compare them with the existing ones. As a result of extensive experimentations, we propose some conjectures on the order of finite automaton (semi)groups. We consider the growth, order, and finiteness problems for automaton (semi)groups. We propose new implementations and compare them with the existing ones. As a result of extensive experimentations, we propose some conjectures on the order of finite automaton (semi)groups. △ Less

Submitted 17 October, 2013; originally announced October 2013.

Comments: 12 pages, 4 figures, 3 tables, CIAA 2012

Journal ref: CIAA 2012, LNCS 7381, pp.240-252, 2012. (N. Moreira and R.Reis Eds.)

Cyclic amalgams, HNN extensions, and Garside one-relator groups

Authors: Matthieu Picantin

Abstract: Garside groups are a natural lattice-theoretic generalisation of the braid groups and spherical type Artin--Tits groups. Here we show that the class of Garside groups is closed under some free products with cyclic amalgamated subgroups. We deduce that every tree product of infinite cyclic groups is a Garside group. Moreover, we study those cyclic HNN extensions of Garside groups that are Garside g… ▽ More Garside groups are a natural lattice-theoretic generalisation of the braid groups and spherical type Artin--Tits groups. Here we show that the class of Garside groups is closed under some free products with cyclic amalgamated subgroups. We deduce that every tree product of infinite cyclic groups is a Garside group. Moreover, we study those cyclic HNN extensions of Garside groups that are Garside groups as well. Using a theorem of Pietrowski, we conclude this paper by stating that a non-cyclic one-relator group is Garside if and only if its centre is nontrivial. △ Less

Submitted 3 June, 2020; v1 submitted 24 June, 2013; originally announced June 2013.

Comments: 24 pages, 8 figures, 2 tables. Major revision

On the Finiteness Problem for Automaton (Semi)groups

Authors: Ali Akhavi, Ines Klimann, Sylvain Lombardy, Jean Mairesse, Matthieu Picantin

Abstract: This paper addresses a decision problem highlighted by Grigorchuk, Nekrashevich, and Sushchanskii, namely the finiteness problem for automaton (semi)groups. For semigroups, we give an effective sufficient but not necessary condition for finiteness and, for groups, an effective necessary but not sufficient condition. The efficiency of the new criteria is demonstrated by testing all Mealy automata… ▽ More This paper addresses a decision problem highlighted by Grigorchuk, Nekrashevich, and Sushchanskii, namely the finiteness problem for automaton (semi)groups. For semigroups, we give an effective sufficient but not necessary condition for finiteness and, for groups, an effective necessary but not sufficient condition. The efficiency of the new criteria is demonstrated by testing all Mealy automata with small stateset and alphabet. Finally, for groups, we provide a necessary and sufficient condition that does not directly lead to a decision procedure. △ Less

Submitted 24 May, 2011; originally announced May 2011.

MSC Class: 68R99 (Primary) 20F10 (Secondary) ACM Class: F.4.1

A new Garside structure for braid groups of type $(e,e,r)$

Authors: Ruth Corran, Matthieu Picantin

Abstract: We describe a new presentation for the complex reflection groups of type $(e,e,r)$ and their braid groups. A diagram for this presentation is proposed. The presentation is a monoid presentation which is shown to give rise to a Garside structure. A detailed study of the combinatorics of this structure leads us to describe it as post-classical. We describe a new presentation for the complex reflection groups of type $(e,e,r)$ and their braid groups. A diagram for this presentation is proposed. The presentation is a monoid presentation which is shown to give rise to a Garside structure. A detailed study of the combinatorics of this structure leads us to describe it as post-classical. △ Less

Submitted 4 February, 2009; v1 submitted 6 January, 2009; originally announced January 2009.

Garside monoids vs divisibility monoids

Authors: Matthieu Picantin

Abstract: Divisibility monoids (resp. Garside monoids) are a natural algebraic generalization of Mazurkiewicz trace monoids (resp. spherical Artin monoids), namely monoids in which the distributivity of the underlying lattices (resp. the existence of common multiples) is kept as an hypothesis, but the relations between the generators are not supposed to necessarily be commutations (resp. be of Coxeter typ… ▽ More Divisibility monoids (resp. Garside monoids) are a natural algebraic generalization of Mazurkiewicz trace monoids (resp. spherical Artin monoids), namely monoids in which the distributivity of the underlying lattices (resp. the existence of common multiples) is kept as an hypothesis, but the relations between the generators are not supposed to necessarily be commutations (resp. be of Coxeter type). Here, we show that the quasi-center of these monoids can be studied and described similarly, and then we exhibit the intersection between the two classes of monoids. △ Less

Submitted 5 July, 2007; originally announced July 2007.

Finite transducers for divisibility monoids

Authors: Matthieu Picantin

Abstract: Divisibility monoids are a natural lattice-theoretical generalization of Mazurkiewicz trace monoids, namely monoids in which the distributivity of the involved divisibility lattices is kept as an hypothesis, but the relations between the generators are not supposed to necessarily be commutations. Here, we show that every divisibility monoid admits an explicit finite transducer which allows to co… ▽ More Divisibility monoids are a natural lattice-theoretical generalization of Mazurkiewicz trace monoids, namely monoids in which the distributivity of the involved divisibility lattices is kept as an hypothesis, but the relations between the generators are not supposed to necessarily be commutations. Here, we show that every divisibility monoid admits an explicit finite transducer which allows to compute normal forms in quadratic time. In addition, we prove that every divisibility monoid is biautomatic. △ Less

Submitted 13 January, 2006; originally announced January 2006.

Comments: 20 pages

Explicit Presentations for the Dual Braid Monoids

Authors: Matthieu Picantin

Abstract: Birman, Ko and Lee have introduced a new monoid ${\cal B}^{*}_{n}$--with an explicit presentation--whose group of fractions is the $n$-strand braid group ${\cal B}_{n}$. Building on a new approach by Digne, Michel and himself, Bessis has defined a {\it dual} braid monoid for every finite Coxeter type Artin-Tits group extending the type A case. Here, we give an explicit presentation for this dual… ▽ More Birman, Ko and Lee have introduced a new monoid ${\cal B}^{*}_{n}$--with an explicit presentation--whose group of fractions is the $n$-strand braid group ${\cal B}_{n}$. Building on a new approach by Digne, Michel and himself, Bessis has defined a {\it dual} braid monoid for every finite Coxeter type Artin-Tits group extending the type A case. Here, we give an explicit presentation for this dual braid monoid in the case of types B and D, and we study the combinatorics of the underlying Garside structures. △ Less

Submitted 27 November, 2001; originally announced November 2001.

Comments: 6 pages, 4 figures

MSC Class: 20F05; 20F36

Automatic structures for torus link groups

Authors: Matthieu Picantin

Abstract: A general result of Epstein and Thurston implies that all link groups are automatic, but the proof provides no explicit automaton. Here we show that the groups of all torus links are groups of fractions of so-called Garside monoids, i.e., roughly speaking, monoids with a good theory of divisibility, which allows us to reprove that those groups are automatic, but, in addition, gives a completely… ▽ More A general result of Epstein and Thurston implies that all link groups are automatic, but the proof provides no explicit automaton. Here we show that the groups of all torus links are groups of fractions of so-called Garside monoids, i.e., roughly speaking, monoids with a good theory of divisibility, which allows us to reprove that those groups are automatic, but, in addition, gives a completely explicit description of the involved automata, thus partially answering a question of D.F.Holt. △ Less

Submitted 7 November, 2001; originally announced November 2001.

MSC Class: 20F05; 57M25; 20F10; 20F36; 20M35