The conjugacy problem in free solvable groups and wreath product of abelian groups is in TC${}^0$

Alexei Miasnikov, Svetla Vassileva, Armin Weiß

We show that the conjugacy problem in a wreath product $A\wr B$ is uniform-${\mathsf{TC}}^0$-Turing-reducible to the conjugacy problem in the factors $A$ and $B$ and the power probl…