Source author record

Matthieu Picantin

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR Formal Languages and Automata Theory

Catalog footprint

Research overview

7works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

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

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.

preprint2014arXiv

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

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.

preprint2014arXiv

On Torsion-Free Semigroups Generated by Invertible Reversible Mealy Automata

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.

preprint2014arXiv

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

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.

preprint2013arXiv

A characterization of those automata that structurally generate finite groups

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.

preprint2013arXiv

Implementing Computations in 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.

preprint2009arXiv

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

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Matthieu Picantin

Research overview

Is this your work?

7 publications

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

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

On Torsion-Free Semigroups Generated by Invertible Reversible Mealy Automata

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

A characterization of those automata that structurally generate finite groups

Implementing Computations in Automaton (Semi)groups

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

See the researcher in context

Building this map preview

Matthieu Picantin

Research overview

Is this your work?

7 publications

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

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

On Torsion-Free Semigroups Generated by Invertible Reversible Mealy Automata

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

A characterization of those automata that structurally generate finite groups

Implementing Computations in Automaton (Semi)groups

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

See the researcher in context

Building this map preview

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