39 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
The Complexity of Knapsack Problems in Wreath Products
We prove new complexity results for computational problems in certain wreath
products of groups and (as an application) for free solvable group. For a
finitely generated group we study the so-called power word problem (does a
given expression , where are
words over the group generators and are binary encoded
integers, evaluate to the group identity?) and knapsack problem (does a given
equation , where are words
over the group generators and are variables, has a solution in
the natural numbers). We prove that the power word problem for wreath products
of the form with nilpotent and iterated wreath products
of free abelian groups belongs to . As an application of the
latter, the power word problem for free solvable groups is in .
On the other hand we show that for wreath products , where
is a so called uniformly strongly efficiently non-solvable group (which
form a large subclass of non-solvable groups), the power word problem is
-hard. For the knapsack problem we show
-completeness for iterated wreath products of free abelian groups
and hence free solvable groups. Moreover, the knapsack problem for every wreath
product , where is uniformly efficiently non-solvable, is
-hard
Knapsack in Graph Groups, HNN-Extensions and Amalgamated Products
It is shown that the knapsack problem, which was introduced by Myasnikov et al. for arbitrary finitely generated groups, can be solved in NP for graph groups. This result even holds if the group elements are represented in a compressed form by SLPs, which generalizes the classical NP-completeness result of the integer knapsack problem. We also prove general transfer results: NP-membership of the knapsack problem is passed on to finite extensions, HNN-extensions over finite associated subgroups, and amalgamated products with finite identified subgroups
A Characterization of Wreath Products Where Knapsack Is Decidable
The knapsack problem for groups was introduced by Miasnikov, Nikolaev, and
Ushakov. It is defined for each finitely generated group and takes as input
group elements and asks whether there are
with . We study the knapsack
problem for wreath products of groups and . Our main result is
a characterization of those wreath products for which the knapsack
problem is decidable. The characterization is in terms of decidability
properties of the indiviual factors and . To this end, we introduce two
decision problems, the intersection knapsack problem and its restriction, the
positive intersection knapsack problem. Moreover, we apply our main result to
, the discrete Heisenberg group, and to Baumslag-Solitar
groups for . First, we show that the knapsack
problem is undecidable for for any . This
implies that for and for infinite and virtually nilpotent groups ,
the knapsack problem for is decidable if and only if is virtually
abelian and solvability of systems of exponent equations is decidable for .
Second, we show that the knapsack problem is decidable for
if and only if solvability of systems of exponent
equations is decidable for