Ruiwen Dong

collaborators

3 papers

cs.LO2025

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…

math.NT2025

S-unit equations in modules and linear-exponential Diophantine equations

Ruiwen Dong, Doron Shafrir

Let $T$ be a positive integer, and $M$ be a finitely presented module over the Laurent polynomial ring $Z_{/ T} [X_{1}^{\pm}, \dots, X_{N}^{\pm}]$ . We consider S-unit…

math.GR2024

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 $(Z / p Z) ≀ Z^{n}$ for any prime $p$ and integer $n$ . More generally, we…