{"id":"arxiv/2608.30389","url":"https://arxiv.org/abs/2608.30389","tags":["math.NT","math.LO"],"score":0,"title":"$13$ unknowns over quadratic integer rings and Lucas congruences","domain":"math.NT","source":"arxiv","authors":["Geng-Rui Zhang"],"reviews":0,"subject":"math.NT","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-31","reactions":{}}