Abstract:The power word problem for a group asks whether an expression , where the are words over a finite set of generators of and the binary encoded integers, is equal to the identity of . It is a restriction of the compressed word problem, where the input word is represented by a straight-line program (i.e., an algebraic circuit over ). We start by showing some easy results concerning the power word problem. In particular, the power word problem for a group is -many-one reducible to the power word problem for a finite-index subgroup of . For our main result, we consider graph products of groups that do not have elements of order two. We show that the power word problem in a fixed such graph product is -Turing-reducible to the word problem for the free group and the power word problems of the base groups. Furthermore, we look into the uniform power word problem in a graph product, where the dependence graph and the base groups are part of the input. Given a class of finitely generated groups without order two elements, the uniform power word problem in a graph product can be solved in , where denotes the uniform power word problem for groups from the class . As a consequence of our results, the uniform knapsack problem in right-angled Artin groups is -complete. The present paper is a combination of the two conference papers (Lohrey and Weiß 2019b, Stober and Weiß 2022a). In Stober and Weiß (2022a) our results on graph products were wrongly stated without the additional assumption that the base groups do not have elements of order two. In the present work we correct this mistake. While we strongly conjecture that the result as stated in Stober and Weiß (2022a) is true, our proof relies on this additional assumption.

The Word Problem for Finitary Automaton Groups

Algorithmically finite, universal, and $*$-universal groups

The Finiteness Problem for Automaton Semigroups of Extended Bounded Activity

On the word problem for weakly compressible monoids

The word problem of finitely presented special inverse monoids via their groups of units

The Power Word Problem in Graph Products

The generalised word problem in hyperbolic and relatively hyperbolic groups

On the subgroup membership problem in bounded automata groups

The word problem and growth of groups

The word problem of the Brin-Higman-Thompson groups

A finitely presented orderable group with insoluble word problem

Compressed decision problems in hyperbolic groups

Complexity of word problems for HNN-extensions

The Freeness Problem for Automaton Semigroups

A word-hyperbolic special monoid with undecidable Diophantine problem

The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)

Word problems in Elliott monoids

Groups with ET0L co-word problem

The Identity Problem in $\mathbb{Z} \wr \mathbb{Z}$ is decidable

The falsification by fellow traveler property implies geodesic autostackability

Automorphic word maps and the Amit–Ashurst conjecture