Showing 1–13 of 13 results for author: Klimann, I

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

To Infinity and Beyond

Authors: Ines Klimann

Abstract: We prove that if a group generated by a bireversible Mealy automaton contains an element of infinite order, its growth blows up and is necessarily exponential. As a direct consequence, no infinite virtually nilpotent group can be generated by a bireversible Mealy automaton. We prove that if a group generated by a bireversible Mealy automaton contains an element of infinite order, its growth blows up and is necessarily exponential. As a direct consequence, no infinite virtually nilpotent group can be generated by a bireversible Mealy automaton. △ Less

Submitted 4 September, 2017; v1 submitted 21 August, 2017; originally announced August 2017.

On level-transitivity and exponential growth

Authors: Ines Klimann

Abstract: We prove that if the group generated by a Mealy automaton acts level-transitively on a regular rooted tree, then the semigroup generated by the dual automaton has exponential growth, hence giving a decision procedure of exponential growth for a restricted family of automaton semigroups. We prove that if the group generated by a Mealy automaton acts level-transitively on a regular rooted tree, then the semigroup generated by the dual automaton has exponential growth, hence giving a decision procedure of exponential growth for a restricted family of automaton semigroups. △ Less

Submitted 17 August, 2016; v1 submitted 31 May, 2016; originally announced May 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

Connected reversible Mealy automata of prime size cannot generate infinite Burnside groups

Authors: Thibault Godin, Ines Klimann

Abstract: The simplest example of an infinite Burnside group arises in the class of automaton groups. However there is no known example of such a group generated by a reversible Mealy automaton. It has been proved that, for a connected automaton of size at most~3, or when the automaton is not bireversible, the generated group cannot be Burnside infinite. In this paper, we extend these results to automata wi… ▽ More The simplest example of an infinite Burnside group arises in the class of automaton groups. However there is no known example of such a group generated by a reversible Mealy automaton. It has been proved that, for a connected automaton of size at most~3, or when the automaton is not bireversible, the generated group cannot be Burnside infinite. In this paper, we extend these results to automata with bigger stateset, proving that, if a connected reversible automaton has a prime number of states, it cannot generate an infinite Burnside group. △ Less

Submitted 12 April, 2016; originally announced April 2016.

Comments: arXiv admin note: text overlap with arXiv:1409.6142

MSC Class: 20E08; 20F65; 68Q45 ACM Class: F.4.3; F.1.1; G.2.M

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.)

The finiteness of a group generated by a 2-letter invertible-reversible Mealy automaton is decidable

Authors: Ines Klimann

Abstract: We prove that a semigroup generated by a reversible two-state Mealy automaton is either finite or free of rank 2. This fact leads to the decidability of finiteness for groups generated by two-state or two-letter invertible-reversible Mealy automata and to the decidability of freeness for semigroups generated by two-state invertible-reversible Mealy automata. We prove that a semigroup generated by a reversible two-state Mealy automaton is either finite or free of rank 2. This fact leads to the decidability of finiteness for groups generated by two-state or two-letter invertible-reversible Mealy automata and to the decidability of freeness for semigroups generated by two-state invertible-reversible Mealy automata. △ Less

Submitted 22 October, 2013; v1 submitted 30 August, 2012; originally announced August 2012.

Journal ref: 30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013), Kiel : Germany (2013)

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

Deciding Unambiguity and Sequentiality starting from a Finitely Ambiguous Max-Plus Automaton

Authors: Ines Klimann, Sylvain Lombardy, Jean Mairesse, Christophe Prieur

Abstract: Finite automata with weights in the max-plus semiring are considered. The main result is: it is decidable in an effective way whether a series that is recognized by a finitely ambiguous max-plus automaton is unambiguous, or is sequential. A collection of examples is given to illustrate the hierarchy of max-plus series with respect to ambiguity. Finite automata with weights in the max-plus semiring are considered. The main result is: it is decidable in an effective way whether a series that is recognized by a finitely ambiguous max-plus automaton is unambiguous, or is sequential. A collection of examples is given to illustrate the hierarchy of max-plus series with respect to ambiguity. △ Less

Submitted 26 September, 2007; originally announced September 2007.

Journal ref: Theoretical Computer Science 327, 3 (2004) 349-373