118 research outputs found
Exponent equations in HNN-extensions
We consider exponent equations in finitely generated groups. These are
equations, where the variables appear as exponents of group elements and take
values from the natural numbers. Solvability of such (systems of) equations has
been intensively studied for various classes of groups in recent years. In many
cases, it turns out that the set of all solutions on an exponent equation is a
semilinear set that can be constructed effectively. Such groups are called
knapsack semilinear. Examples of knapsack semilinear groups are hyperbolic
groups, virtually special groups, co-context-free groups and free solvable
groups. Moreover, knapsack semilinearity is preserved by many group theoretic
constructions, e.g., finite extensions, graph products, wreath products,
amalgamated free products with finite amalgamated subgroups, and HNN-extensions
with finite associated subgroups. On the other hand, arbitrary HNN-extensions
do not preserve knapsack semilinearity. In this paper, we consider the knapsack
semilinearity of HNN-extensions, where the stable letter acts trivially by
conjugation on the associated subgroup of the base group . We show that
under some additional technical conditions, knapsack semilinearity transfers
from base group to the HNN-extension . These additional technical
conditions are satisfied in many cases, e.g., when is a centralizer in
or is a quasiconvex subgroup of the hyperbolic group .Comment: A short version appeared in Proceedings of ISSAC 202
An approach to computing downward closures
The downward closure of a word language is the set of all (not necessarily
contiguous) subwords of its members. It is well-known that the downward closure
of any language is regular. While the downward closure appears to be a powerful
abstraction, algorithms for computing a finite automaton for the downward
closure of a given language have been established only for few language
classes.
This work presents a simple general method for computing downward closures.
For language classes that are closed under rational transductions, it is shown
that the computation of downward closures can be reduced to checking a certain
unboundedness property.
This result is used to prove that downward closures are computable for (i)
every language class with effectively semilinear Parikh images that are closed
under rational transductions, (ii) matrix languages, and (iii) indexed
languages (equivalently, languages accepted by higher-order pushdown automata
of order 2).Comment: Full version of contribution to ICALP 2015. Comments welcom
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
Infinitesimal change of stable basis
The purpose of this note is to study the MaulikāOkounkov K-theoretic stable basis for the Hilbert scheme of points on the plane, which depends on a āslopeā mā R. When m=ab is rational, we study the change of stable matrix from slope m- Īµ to m+ Īµ for small Īµ> 0 , and conjecture that it is related to the LeclercāThibon conjugation in the q-Fock space for Uqgl^ b. This is part of a wide framework of connections involving derived categories of quantized Hilbert schemes, modules for rational Cherednik algebras and Hecke algebras at roots of unity
- ā¦