One-variable equations over the lamplighter group
We study one-variable equations over the lamplighter group $L_2=\MZ_2 \wr \MZ$. While the decidability of arbitrary equations over $L_2$ remains open, we prove that the Diophantine problem for single equations in one variable is decidable. Our approach reduces the problem to a divisibility question for families of parametric Laurent polynomials over $\MZ_2$, whose exponents depend linearly on an integer parameter. To analyze this divisibility problem, we introduce a symbolic division procedure for associated bivariate polynomials and derive explicit bounds on the parameter from the structure…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2601.12112
curl -X POST /api/v1/records/arxiv/2601.12112/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2601.12112/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'