{"id":"arxiv/2608.03992","url":"https://arxiv.org/abs/2608.03992","tags":["math.NT","math.LO"],"score":0,"title":"On Diophantine equations over the integer rings of quadratic fields","domain":"math.NT","source":"arxiv","authors":["Zhi-Wei Sun"],"reviews":0,"subject":"math.NT","summary":"Let $K$ be any quadratic number field, and let $O_K$ be the ring of algebraic integers in $K$. In 1975 J. Denef proved that Hilbert's Tenth Problem over $O_K$ has a negative solution. In this paper we establish the following undecidability result: There is no algorithm to decide whether an arbitrarily given polynomial equation $P(z_1,\\ldots,z_{16})=0$ (with integer coefficients and 16 unknowns) has solutions over $O_K$. Moreover, when $K$ is a real quadratic field, we show that $15$ unknowns suffice for undecidability.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-04","reactions":{}}