5 papers
Equations in wreath products
Laurent Bartholdi, Ruiwen Dong, Leon Pernak +1
We survey solvability of equations in wreath products of groups, and prove that the quadratic diophantine problem is solvable in wreath products of Abelian groups. We consider the…
Subgroup and Coset Intersection in abelian-by-cyclic groups
Ruiwen Dong
We consider two decision problems in infinite groups. The first problem is Subgroup Intersection: given two finitely generated subgroups $\langle \mathcal{G} \rangle, \langle \math…
Recent advances in algorithmic problems for semigroups
Ruiwen Dong
In this article we survey recent progress in the algorithmic theory of matrix semigroups. The main objective in this area of study is to construct algorithms that decide various pr…
Semigroup algorithmic problems in metabelian groups
Ruiwen Dong
We consider semigroup algorithmic problems in finitely generated metabelian groups. Our paper focuses on three decision problems introduced by Choffrut and Karhumäki (2005): the Id…
Termination of linear loops under commutative updates
Ruiwen Dong
We consider the following problem: given rational matrices and a polyhedral cone , decide whether there exists a n…