1 citations · 1 across the 7 of their papers we have counts for
12 papers
Subgroup and Submonoid Membership in the lampshuffler of
Corentin Bodart, Ruiwen Dong
The lampshuffler group of is the semidirect product , which consists of all permutations of that act a…
Torsion-freeness problem for matrix groups
Ruiwen Dong, Emmanuel Rauzy
We establish three results on decision problems for finitely generated matrix groups, based on fiber products: The torsion-freeness problem is undecidable for subgroups o…
Skolem-Mahler-Lech in rings of positive characteristic: a shorter proof and a multi-dimensional generalization
Ruiwen Dong, Doron Shafrir
Let be a commutative ring and be a linear-exponential map over an -module . Dong and Shafrir (20…
Standard bases for shift-stable groups and Subgroup Membership in wreath products
Ruiwen Dong
We develop a notion of standard bases for subgroups of the restricted direct product that are stable under translation by , where is an arbit…
The Skolem Problem in rings of positive characteristic
Ruiwen Dong, Doron Shafrir
We show that the Skolem Problem is decidable in finitely generated commutative rings of positive characteristic. More precisely, we show that there exists an algorithm which, given…
S-unit equations in modules and linear-exponential Diophantine equations
Ruiwen Dong, Doron Shafrir
Let be a positive integer, and be a finitely presented module over the Laurent polynomial ring . We consider S-unit…
Submonoid Membership in n-dimensional lamplighter groups and S-unit equations
Ruiwen Dong
We show that Submonoid Membership is decidable in n-dimensional lamplighter groups for any prime and integer . More generally, we…
Linear equations with monomial constraints and decision problems in abelian-by-cyclic groups
Ruiwen Dong
We show that it is undecidable whether a system of linear equations over the Laurent polynomial ring admit solutions where a specified subset of variables tak…
The Identity Problem in virtually solvable matrix groups over algebraic numbers
Corentin Bodart, Ruiwen Dong
The Tits alternative states that a finitely generated matrix group either contains a nonabelian free subgroup , or it is virtually solvable. This paper considers two decision…
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…
The Identity Problem in the special affine group of
Ruiwen Dong
We consider semigroup algorithmic problems in the Special Affine group , which is the group of affine…