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.

Algorithmic aspects of left-orderings of solvable Baumslag--Solitar groups via its dynamical realization

Condensation and left-orderable groups

The Borel complexity of the space of left-orderings, low-dimensional topology, and dynamics

The isomorphism problem for small-rose generalized Baumslag-Solitar groups

Solvable Baumslag-Solitar Lattices

Semigroups of self-similar actions and higher rank Baumslag-Solitar semigroups

On Left-Symmetric Conformal Bialgebras

On the conjugacy separability of ordinary and generalized Baumslag-Solitar groups

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

Quadratic equations in metabelian Baumslag-Solitar groups

Recalibrating $\mathbb{R}$-order trees and $\mbox{Homeo}_+(S^1)$-representations of link groups

Recalibrating R ‐order trees and Homeo+(S1) ‐representations of link groups

Isomorphism Conjecture For Baumslag-Solitar Groups

On the odd order subgroups of solvable linear groups

Left-orderability and cyclic branched coverings

Automating the stable rank computation for special biserial algebras

Deformation spaces of G-trees and automorphisms of Baumslag-Solitar groups

On the number of circular orders on a group

Characterizing the Residual Finiteness of Conjugation Quandles on the Baumslag-Solitar Groups

Improved Parallel Algorithms for Baumslag Groups

Torsion-Free Lattices in Baumslag-Solitar Complexes