Evaluation problems for the Thompson group and the Brin-Thompson group, and their relation to the word problem
Group Theory
2021-11-17 v1 Computational Complexity
Abstract
The Thompson group , as well as the Brin-Thompson group , is finitely generated and can be defined as a monoid acting on bitstrings, respectively pairs of bitstrings. Therefore evaluation problems can be defined for and . We show that these evaluation problems reduce to the corresponding word problems, and that in general, these evaluation problems are actually equivalent to the word problems. The long-input version of the evaluation problem is deterministic context-free and reverse deterministic context-free for and P-complete for .
Keywords
Cite
@article{arxiv.2111.08646,
title = {Evaluation problems for the Thompson group and the Brin-Thompson group, and their relation to the word problem},
author = {J. C. Birget},
journal= {arXiv preprint arXiv:2111.08646},
year = {2021}
}
Comments
27 pages