Skip to content
DraconiticResearch
Search Sources API
197,768 studies31 sourcesUpdated 5 min ago
PreprintarXiv licencearXiv

Ten unknowns for Hilbert's tenth problem over the integers

Abstract

Hilbert's Tenth Problem over the integers was solved negatively by Y. Matiyasevich in 1970. In this paper, we prove that there is no algorithm to determine for any polynomial equation P(z1,…,z10)=0 (with integer coefficients and ten unknowns) whether it has integer solutions. This improves the previous 11 unknowns theorem.

Related

  1. 86 unknowns for Hilbert's tenth problem over the rationals
    Zhi-Wei Sun
    arXivPreprintarXiv licenceFull textAlgebra & number theoryLogic & foundationsarXiv
  2. Reducible fibers of polynomials over integers: the Hilbert-Siegel problem over ℚ and its applications
    Joachim König
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
  3. Hilbert’s tenth problem via additive combinatorics
    Peter Koymans, Carlo Pagano
    Journal of the American Mathematical SocietyPeer-reviewedLicence not statedFull text26 citedGeometry & topologyOpenAlex
  4. $13$ unknowns over quadratic integer rings and Lucas congruences
    Geng-Rui Zhang
    arXivPreprintarXiv licenceFull textAlgebra & number theoryLogic & foundationsarXiv
  5. Wild frieze patterns over the integers
    Leon Eickhoff
    arXivPreprintarXiv licenceFull textCombinatorics & discrete mathematicsarXiv
BibTeX
@misc{sun2026unknowns,
  title = {{Ten unknowns for Hilbert's tenth problem over the integers}},
  author = {Zhi-Wei Sun},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.01594},
  eprint = {2609.01594},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.01594},
}
RIS
TY  - UNPB
TI  - Ten unknowns for Hilbert's tenth problem over the integers
AU  - Zhi-Wei Sun
PY  - 2026
DA  - 2026/09/02
PB  - arXiv
DO  - 10.48550/arxiv.2609.01594
UR  - https://arxiv.org/abs/2609.01594
AB  - Hilbert's Tenth Problem over the integers was solved negatively by Y. Matiyasevich in 1970. In this paper, we prove that there is no algorithm to determine for any polynomial equation P(z_1,…,z_10)=0 (with integer coefficients and ten unknowns) whether it has integer solutions. This improves the previous 11 unknowns theorem.
ER  -