Abstract:The Baumslag group had been a candidate for a group with an extremely difficult word problem until Myasnikov, Ushakov, and Won succeeded to show that its word problem can be solved in polynomial time. Their result used the newly developed data structure of power circuits allowing for a non-elementary compression of integers. Later this was extended in two directions: Laun showed that the same applies to the Baumslag groups $G_{1, q}$ for $q \geq 2$ and we established that the word problem of the Baumslag group $G_{1, 2}$ can be solved in $\mathsf{TC}^2$. In this work we refine the operations on reduced power circuits to further improve upon both results. We show that the word problem of the Baumslag groups $G_{p, pq}$ with $|p|,|q| \geq 1$ can be solved in $\mathsf{uTC}^1$. Moreover, we prove that the conjugacy problem in $G_{p, pq}$ is strongly generically in $\mathsf{uTC}^1$ (meaning that for "most" inputs it is in $\mathsf{uTC}^1$). Finally, for every fixed $g \in G_{1, q}$ (case $p=1$) conjugacy to $g$ can be decided in $\mathsf{uTC}^1$ for all inputs. We further show that the word problem of the Baumslag-Solitar groups $BS_{p, pq}$ is in $\mathsf{uAC}^0(F_2)$ if the input word is given in a quite compressed form and so give a complexity result for a special case of the power word problem for these groups.

Twisted conjugacy in dihedral Artin groups II: Baumslag Solitar groups $\mathrm{BS}(n,n)$

Twisted conjugacy in dihedral Artin groups I: Torus Knot groups

Conjugacy problem in virtual right-angled Artin groups

On the twisted conjugacy problem for large-type Artin groups

Twisted Conjugation on Connected Simple Lie Groups and Twining Characters

Conjugacy geodesics and growth in dihedral Artin groups

The geometry of twisted conjugacy classes in wreath products

Dual Pairs and Contragredients of Irreducible Representations

Conjugacy languages in virtual graph products

Squares of conjugacy classes and a variant on the Baer-Suzuki Theorem

Torsion-Free Lattices in Baumslag-Solitar Complexes

Twisted right-angled Artin groups

Direct and Inverse Problems in Baumslag-Solitar Group $BS(1,3)$

Improved Parallel Algorithms for Baumslag Groups

The Conjugacy Ratio of Abelian-by-$\mathbb Z$ Groups

Twisted Conjugacy in Direct Products of Groups

Membership problems in braid groups and Artin groups

Identifying Powers of Half-Twists and Computing its Root

Twist-rigid Coxeter groups

Twisted right-angled Artin groups embedded in knot groups