190 research outputs found
Intersection problem for Droms RAAGs
We solve the subgroup intersection problem (SIP) for any RAAG G of Droms type
(i.e., with defining graph not containing induced squares or paths of length
3): there is an algorithm which, given finite sets of generators for two
subgroups H,K of G, decides whether is finitely generated or not,
and, in the affirmative case, it computes a set of generators for .
Taking advantage of the recursive characterization of Droms groups, the proof
consists in separately showing that the solvability of SIP passes through free
products, and through direct products with free-abelian groups. We note that
most of RAAGs are not Howson, and many (e.g. F_2 x F_2) even have unsolvable
SIP.Comment: 33 pages, 12 figures (revised following the referee's suggestions
Intersection problem for Droms RAAGs
We solve the subgroup intersection problem (SIP) for any RAAG G of Droms type
(i.e., with defining graph not containing induced squares or paths of length
3): there is an algorithm which, given finite sets of generators for two
subgroups H,K of G, decides whether is finitely generated or not,
and, in the affirmative case, it computes a set of generators for .
Taking advantage of the recursive characterization of Droms groups, the proof
consists in separately showing that the solvability of SIP passes through free
products, and through direct products with free-abelian groups. We note that
most of RAAGs are not Howson, and many (e.g. F_2 x F_2) even have unsolvable
SIP.Comment: 33 pages, 12 figures (revised following the referee's suggestions
Root-Weighted Tree Automata and their Applications to Tree Kernels
In this paper, we define a new kind of weighted tree automata where the
weights are only supported by final states. We show that these automata are
sequentializable and we study their closures under classical regular and
algebraic operations. We then use these automata to compute the subtree kernel
of two finite tree languages in an efficient way. Finally, we present some
perspectives involving the root-weighted tree automata
Hopf Algebras in General and in Combinatorial Physics: a practical introduction
This tutorial is intended to give an accessible introduction to Hopf
algebras. The mathematical context is that of representation theory, and we
also illustrate the structures with examples taken from combinatorics and
quantum physics, showing that in this latter case the axioms of Hopf algebra
arise naturally. The text contains many exercises, some taken from physics,
aimed at expanding and exemplifying the concepts introduced
Knapsack Problems in Groups
We generalize the classical knapsack and subset sum problems to arbitrary
groups and study the computational complexity of these new problems. We show
that these problems, as well as the bounded submonoid membership problem, are
P-time decidable in hyperbolic groups and give various examples of finitely
presented groups where the subset sum problem is NP-complete.Comment: 28 pages, 12 figure
Silent Transitions in Automata with Storage
We consider the computational power of silent transitions in one-way automata
with storage. Specifically, we ask which storage mechanisms admit a
transformation of a given automaton into one that accepts the same language and
reads at least one input symbol in each step.
We study this question using the model of valence automata. Here, a finite
automaton is equipped with a storage mechanism that is given by a monoid.
This work presents generalizations of known results on silent transitions.
For two classes of monoids, it provides characterizations of those monoids that
allow the removal of \lambda-transitions. Both classes are defined by graph
products of copies of the bicyclic monoid and the group of integers. The first
class contains pushdown storages as well as the blind counters while the second
class contains the blind and the partially blind counters.Comment: 32 pages, submitte
- …