Abstract
A finitary automaton group is a group generated by an invertible, deterministic finite-state letter-to-letter transducer whose only cycles are self-loops at an identity state. We show that, for this presentation of finite groups, the uniform word problem is coNP-complete. Here, the input consists of a finitary automaton together with a finite state sequence and the question is whether the sequence acts trivially on all input words. Additionally, we also show that the respective compressed word problem, where the state sequence is given as a straight-line program, is PSpace-complete. In both cases, we give a direct reduction from the satisfiablity problem for (quantified) boolean formulae.
J. Ph. Wächter: The second author is funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) - 492814705.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
This makes sense as we will later on define a left action of the states on the words.
- 2.
Note that any complete finite automaton must contain a cycle and, therefore, every finitary \(\mathscr {G}\)-automaton has an identity state.
- 3.
The fact can be proved using a simple induction on the structure of the balanced iterated commutators, see [23, Fact 4].
- 4.
Such an element exists since there are two five-cycles in \(A_5\) whose commutator is again a five-cycle and since five-cycles are always conjugate (see [1, Lemma 1 and 3]).
- 5.
This is a well-known classical NP-complete problem, see e. g. [18, Problem 9.5.5].
- 6.
Note that the right-most letter here corresponds to the first variable \(x_1\). We could have done this the other way round as well but it turns out that this numbering has some technical advantages.
- 7.
A formula is closed if it does not have any free variables, i. e. if all appearing variables are bound by a quantifier.
References
Mix Barrington, D.A.: Bounded-width polynomial-size branching programs recognize exactly those languages in \({NC}^1\). J. Comput. Syst. Sci. 38(1), 150–164 (1989)
Bartholdi, L., Figelius, M., Lohrey, M., Weiß, A.: Groups with ALogTime-hard word problems and PSpace-complete circuit value problems. In: Saraf, S. (ed.) 35th Computational Complexity Conference (CCC 2020). Leibniz International Proceedings in Informatics (LIPIcs), vol. 169, pp. 29:1–29:29. Schloss Dagstuhl-Leibniz-Zentrum für Informatik, Dagstuhl, Germany (2020)
Bartholdi, L., Mitrofanov, I.: The word and order problems for self-similar and automata groups. Groups Geom. Dyn. 14, 705–728 (2020)
Bartholdi, L., Silva, P.: Groups defined by automata. In: Pin, J.E. (ed.) Handbook of Automata Theory, vol. II, chap. 24, pp. 871–911. European Mathematical Society (2021)
Bassino, F., et al.:Complexity and Randomness in Group Theory. De Gruyter (2020)
Bishop, A., Elder, M.: Bounded automata groups are co-ET0L. In: Martín-Vide, C., Okhotin, A., Shapira, D. (eds.) Language and Automata Theory and Applications, pp. 82–94. Springer International Publishing (2019)
Bondarenko, I., Wächter, J.Ph.: On orbits and the finiteness of bounded automaton groups. Internat. J. Algebra Comput. 31(06), 1177–1190 (2021)
Bondarenko, I.V., Bondarenko, N.V., Sidki, S.N., Zapata, F.R.: On the conjugacy problem for finite-state automorphisms of regular rooted trees. Groups Geom. Dyn. 7, 232–355 (2013)
Cook, S.A., McKenzie, P.: Problems complete for deterministic logarithmic space. J. Algorithms 8(3), 385–394 (1987)
D’Angeli, D., Rodaro, E., Wächter, J.Ph.: On the complexity of the word problem for automaton semigroups and automaton groups. Adv. in Appl. Math. 90, 160–187 (2017)
Gillibert, P.: The finiteness problem for automaton semigroups is undecidable. Internat. J. Algebra Comput. 24(01), 1–9 (2014)
Gillibert, P.: An automaton group with undecidable order and Engel problems. J. Algebra 497, 363–392 (2018)
Grigorchuk, R.I., Pak, I.: Groups of intermediate growth: an introduction. Enseign. Math. 54(3–4), 251–272 (2008)
Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Boston (1979)
Lipton, R.J., Zalcstein, Y.: Word problems solvable in LogSpace. J. ACM 24(3), 522–526 (1977)
Lohrey, M.: The Compressed Word Problem for Groups. SpringerBriefs in Mathematics, Springer (2014)
Nekrashevych, V.V.: Self-similar groups, Mathematical Surveys and Monographs, vol. 117. American Mathematical Society, Providence, RI (2005)
Papadimitriou, C.M.: Computational Complexity. Addison-Wesley (1994)
Sidki, S.N.: Automorphisms of one-rooted trees: growth, circuit structure, and acyclicity. J. Math. Sci. (N.Y.) 100(1), 1925–1943 (2000)
Silva, P.V.: Groups and automata: a perfect match. In: Kutrib, M., Moreira, N., Reis, R. (eds.) Descriptional Complexity of Formal Systems, pp. 50–63. Springer, Berlin Heidelberg (2012)
Steinberg, B.: On some algorithmic properties of finite state automorphisms of rooted trees. Contemp. Math. 633, 115–123 (2015)
Šunić, Z., Ventura, E.: The conjugacy problem in automaton groups is not solvable. J. Algebra 364, 148–154 (2012)
Wächter, J.Ph., Weiß, A.: An automaton group with PSpace-complete word problem. Theory Comput. Syst. 67(1), 178–218 (2022)
Acknowledgements
The authors would like to thank Armin Weiß for many discussions around the presented topic. The results are part of the first author’s Bachelor thesis, which was advised by the second author (while he was at FMI).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 IFIP International Federation for Information Processing
About this paper
Cite this paper
Kotowsky, M., Wächter, J.P. (2023). The Word Problem for Finitary Automaton Groups. In: Bordihn, H., Tran, N., Vaszil, G. (eds) Descriptional Complexity of Formal Systems. DCFS 2023. Lecture Notes in Computer Science, vol 13918. Springer, Cham. https://doi.org/10.1007/978-3-031-34326-1_7
Download citation
DOI: https://doi.org/10.1007/978-3-031-34326-1_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-34325-4
Online ISBN: 978-3-031-34326-1
eBook Packages: Computer ScienceComputer Science (R0)