Showing 1–9 of 9 results for author: Silva, P V

On the rational subsets of the monogenic free inverse monoid

Authors: Pedro V. Silva

Abstract: We prove that the equality problem is decidable for rational subsets of the monogenic free inverse monoid $F$. It is also decidable whether or not a rational subset of $F$ is recognizable. We prove that a submonoid of $F$ is rational if and only if it is finitely generated. We also prove that the membership problem for rational subsets of a finite $\mathcal{J}$-above monoid is decidable, covering… ▽ More We prove that the equality problem is decidable for rational subsets of the monogenic free inverse monoid $F$. It is also decidable whether or not a rational subset of $F$ is recognizable. We prove that a submonoid of $F$ is rational if and only if it is finitely generated. We also prove that the membership problem for rational subsets of a finite $\mathcal{J}$-above monoid is decidable, covering the case of free inverse monoids. △ Less

Submitted 10 November, 2022; v1 submitted 18 May, 2022; originally announced May 2022.

MSC Class: 20M18; 20M35; 68Q45; 68Q70

On finitely generated submonoids of virtually free groups

Authors: Pedro V. Silva, Alexander Zakharov

Abstract: We prove that it is decidable whether or not a finitely generated submonoid of a virtually free group is graded, introduce a new geometric characterization as quasi-geodesic monoids, and show that their word problem is rational (as a relation). We also solve the isomorphism problem for this class of monoids, generalizing earlier results for submonoids of free monoids. We also prove that the classe… ▽ More We prove that it is decidable whether or not a finitely generated submonoid of a virtually free group is graded, introduce a new geometric characterization as quasi-geodesic monoids, and show that their word problem is rational (as a relation). We also solve the isomorphism problem for this class of monoids, generalizing earlier results for submonoids of free monoids. We also prove that the classes of graded monoids, regular monoids and Kleene monoids coincide for submonoids of free groups. △ Less

Submitted 19 May, 2018; v1 submitted 20 December, 2017; originally announced December 2017.

Comments: 22 pages. Main results generalized to virtually free groups, new geometric characterisation added in Section 4, Section 6 modified to include word problem for monoids, main proofs shortened, references added

MSC Class: 20E05; 20M05; 20F10; 68Q45; 68Q70

Equations over free inverse monoids with idempotent variables

Authors: Volker Diekert, Florent Martin, Geraud Senizergues, Pedro V. Silva

Abstract: We introduce the notion of idempotent variables for studying equations in inverse monoids. It is proved that it is decidable in singly exponential time (DEXPTIME) whether a system of equations in idempotent variables over a free inverse monoid has a solution. The result is proved by a direct reduction to solve language equations with one-sided concatenation and a known complexity result by Baade… ▽ More We introduce the notion of idempotent variables for studying equations in inverse monoids. It is proved that it is decidable in singly exponential time (DEXPTIME) whether a system of equations in idempotent variables over a free inverse monoid has a solution. The result is proved by a direct reduction to solve language equations with one-sided concatenation and a known complexity result by Baader and Narendran: Unification of concept terms in description logics, 2001. We also show that the problem becomes DEXPTIME hard , as soon as the quotient group of the free inverse monoid has rank at least two. Decidability for systems of typed equations over a free inverse monoid with one irreducible variable and at least one unbalanced equation is proved with the same complexity for the upper bound. Our results improve known complexity bounds by Deis, Meakin, and Senizergues: Equations in free inverse monoids, 2007. Our results also apply to larger families of equations where no decidability has been previously known. △ Less

Submitted 25 September, 2015; v1 submitted 11 December, 2014; originally announced December 2014.

Comments: 28 pages. The conference version of this paper appeared in the proceedings of 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015. Springer LNCS 9139, pp. 173-188 (2015)

MSC Class: 20M18; 20F70; 03D40 ACM Class: F.4; F.2; F.2.2

On periodic points of free inverse monoid endomorphisms

Authors: Emanuele Rodaro, Pedro V. Silva

Abstract: It is proved that the periodic point submonoid of a free inverse monoid endomorphism is always finitely generated. Using Chomsky's hierarchy of languages, we prove that the fixed point submonoid of an endomorphism of a free inverse monoid can be represented by a context-sensitive language but, in general, it cannot be represented by a context-free language. It is proved that the periodic point submonoid of a free inverse monoid endomorphism is always finitely generated. Using Chomsky's hierarchy of languages, we prove that the fixed point submonoid of an endomorphism of a free inverse monoid can be represented by a context-sensitive language but, in general, it cannot be represented by a context-free language. △ Less

Submitted 18 December, 2012; originally announced December 2012.

Comments: 18 pages

MSC Class: 20M35; 68Q85; 54E50

Journal ref: IJAC No.23, Issue No. 8, 2013

Fixed points of endomorphisms of trace monoids

Authors: Pedro V. Silva, Emanuele Rodaro

Abstract: It is proved that the fixed point submonoid and the periodic point submonoid of a trace monoid endomorphism are always finitely generated. Considering the Foata normal form metric on trace monoids and uniformly continuous endomorphisms, a finiteness theorem is proved for the infinite fixed points of the continuous extension to real traces. It is proved that the fixed point submonoid and the periodic point submonoid of a trace monoid endomorphism are always finitely generated. Considering the Foata normal form metric on trace monoids and uniformly continuous endomorphisms, a finiteness theorem is proved for the infinite fixed points of the continuous extension to real traces. △ Less

Submitted 19 November, 2012; originally announced November 2012.

MSC Class: 20M35; 68Q85; 54E50

Fixed points of endomorphisms of virtually free groups

Authors: Pedro V. Silva

Abstract: A fixed point theorem is proved for inverse transducers, leading to an automata-theoretic proof of the fixed point subgroup of an endomorphism of a finitely generated virtually free group being finitely generated. If the endomorphism is uniformly continuous for the hyperbolic metric, it is proved that the set of regular fixed points in the hyperbolic boundary has finitely many orbits under the act… ▽ More A fixed point theorem is proved for inverse transducers, leading to an automata-theoretic proof of the fixed point subgroup of an endomorphism of a finitely generated virtually free group being finitely generated. If the endomorphism is uniformly continuous for the hyperbolic metric, it is proved that the set of regular fixed points in the hyperbolic boundary has finitely many orbits under the action of the finite fixed points. In the automorphism case, it is shown that these regular fixed points are either exponentially stable attractors or exponentially stable repellers. △ Less

Submitted 12 March, 2012; v1 submitted 6 March, 2012; originally announced March 2012.

Comments: 29 pages

MSC Class: 20F67; 20E05; 20E36; 68Q45; 37B25

A new notion of vertex independence and rank for finite graphs

Authors: John Rhodes, Pedro V. Silva

Abstract: A new notion of vertex independence and rank for a finite graph G is introduced. The independence of vertices is based on the boolean independence of columns of a natural boolean matrix associated to G. Rank is the cardinality of the largest set of independent columns. Some basic properties and some more advanced theorems are proved. Geometric properties of the graph are related to its rank and in… ▽ More A new notion of vertex independence and rank for a finite graph G is introduced. The independence of vertices is based on the boolean independence of columns of a natural boolean matrix associated to G. Rank is the cardinality of the largest set of independent columns. Some basic properties and some more advanced theorems are proved. Geometric properties of the graph are related to its rank and independent sets. △ Less

Submitted 13 February, 2012; v1 submitted 19 January, 2012; originally announced January 2012.

Comments: 47 pages

MSC Class: 05C25; 05C50; 16Y60; 05B35

Rational subsets of groups

Authors: Laurent Bartholdi, Pedro V. Silva

Abstract: This text, Chapter 23 in the "AutoMathA" handbook, is devoted to the study of rational subsets of groups, with particular emphasis on the automata-theoretic approach to finitely generated subgroups of free groups. Indeed, Stallings' construction, associating a finite inverse automaton with every such subgroup, inaugurated a complete rewriting of free group algorithmics, with connections to other f… ▽ More This text, Chapter 23 in the "AutoMathA" handbook, is devoted to the study of rational subsets of groups, with particular emphasis on the automata-theoretic approach to finitely generated subgroups of free groups. Indeed, Stallings' construction, associating a finite inverse automaton with every such subgroup, inaugurated a complete rewriting of free group algorithmics, with connections to other fields such as topology or dynamics. Another important vector in the chapter is the fundamental Benois' Theorem, characterizing rational subsets of free groups. The theorem and its consequences really explain why language theory can be successfully applied to the study of free groups. Rational subsets of (free) groups can play a major role in proving statements (a priori unrelated to the notion of rationality) by induction. The chapter also includes related results for more general classes of groups, such as virtually free groups or graph groups. △ Less

Submitted 7 December, 2010; originally announced December 2010.

Comments: Chapter 23 of the handbook "AutoMathA". With index

MSC Class: 20F10; 20E05; 68Q45; 68Q70

Groups defined by automata

Authors: Laurent Bartholdi, Pedro V. Silva

Abstract: This is Chapter 24 in the "AutoMathA" handbook. Finite automata have been used effectively in recent years to define infinite groups. The two main lines of research have as their most representative objects the class of automatic groups (including word-hyperbolic groups as a particular case) and automata groups (singled out among the more general self-similar groups). The first approach implemen… ▽ More This is Chapter 24 in the "AutoMathA" handbook. Finite automata have been used effectively in recent years to define infinite groups. The two main lines of research have as their most representative objects the class of automatic groups (including word-hyperbolic groups as a particular case) and automata groups (singled out among the more general self-similar groups). The first approach implements in the language of automata some tight constraints on the geometry of the group's Cayley graph, building strange, beautiful bridges between far-off domains. Automata are used to define a normal form for group elements, and to monitor the fundamental group operations. The second approach features groups acting in a finitely constrained manner on a regular rooted tree. Automata define sequential permutations of the tree, and represent the group elements themselves. The choice of particular classes of automata has often provided groups with exotic behaviour which have revolutioned our perception of infinite finitely generated groups. △ Less

Submitted 7 December, 2010; originally announced December 2010.

Comments: Chapter 24 in the handbook "AutoMathA". With index

MSC Class: 20F65; 20E08; 20F10; 20F67; 68Q45