$13$ unknowns over quadratic integer rings and Lucas congruences
For every quadratic number field $K$, we prove a uniform $3$-unknown Diophantine definition of integer tuples in $\mathcal{O}_K$, allowing finitely many polynomial nonvanishing conditions. This yields an effective $+3$ transfer principle and a $13$-unknown representation of every recursively enumerable integer relation. Consequently, there exists an absolute degree bound $D_0\geq1$ such that for every quadratic number field $K$, there is no algorithm that, given \[ P(Y_1,\ldots,Y_{13})\in\mathbb{Z}[Y_1,\ldots,Y_{13}],\quad \mathrm{deg}\ P\leq D_0, \] decides whether $P=0$ has a solution in…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.30389
curl -X POST /api/v1/records/arxiv/2608.30389/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.30389/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'