English

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 VV, as well as the Brin-Thompson group 2V2V, is finitely generated and can be defined as a monoid acting on bitstrings, respectively pairs of bitstrings. Therefore evaluation problems can be defined for VV and 2V2V. 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 V,V, and P-complete for 2V2V.

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