An Automaton Group with PSPACE-Complete Word Problem
Abstract
We construct an automaton group with a PSPACE-complete word problem, proving a conjecture due to Steinberg. Additionally, the constructed group has a provably more difficult, namely EXPSPACE-complete, compressed word problem and acts over a binary alphabet. Thus, it is optimal in terms of the alphabet size. Our construction directly simulates the computation of a Turing machine in an automaton group and, therefore, seems to be quite versatile. It combines two ideas: the first one is a construction used by D'Angeli, Rodaro and the first author to obtain an inverse automaton semigroup with a PSPACE-complete word problem and the second one is to utilize a construction used by Barrington to simulate Boolean circuits of bounded degree and logarithmic depth in the group of even permutations over five elements.
Keywords
Cite
@article{arxiv.1906.03424,
title = {An Automaton Group with PSPACE-Complete Word Problem},
author = {Jan Philipp Wächter and Armin Weiß},
journal= {arXiv preprint arXiv:1906.03424},
year = {2021}
}
Comments
Extended version submitted to the special issue for STACS 2020; revised according to review comments