Hilbert's tenth problem for systems of diagonal quadratic forms, and Büchi's problem
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909642081173504 |
|---|---|
| author | Xiao, Stanley Yao |
| author_facet | Xiao, Stanley Yao |
| contents | In this paper we complete Büchi's proof that there is no decision algorithm for the solubility in integers of arbitrary systems of diagonal quadratic form equations, by proving the assertion that whenever $x_1^2, \cdots, x_5^2$ are five squares such that the second differences satisfy
\[x_{k+2}^2 - 2 x_{k+1}^2 + x_k^2 = 2\]
for $k = 1,2,3$, then they must be consecutive. This answers a question of J.~Richard~Büchi. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_16740 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Hilbert's tenth problem for systems of diagonal quadratic forms, and Büchi's problem Xiao, Stanley Yao Number Theory Algebraic Geometry In this paper we complete Büchi's proof that there is no decision algorithm for the solubility in integers of arbitrary systems of diagonal quadratic form equations, by proving the assertion that whenever $x_1^2, \cdots, x_5^2$ are five squares such that the second differences satisfy \[x_{k+2}^2 - 2 x_{k+1}^2 + x_k^2 = 2\] for $k = 1,2,3$, then they must be consecutive. This answers a question of J.~Richard~Büchi. |
| title | Hilbert's tenth problem for systems of diagonal quadratic forms, and Büchi's problem |
| topic | Number Theory Algebraic Geometry |
| url | https://arxiv.org/abs/2412.16740 |