The ‘positive aspects of a negative solution’ (the recursive unsolvability of Hilbert’s 10th problem) include the discovery of Diophantine representations of the set P of primes. What is the rank of P, namely the smallest possible number, r, of unknowns in a polynomial representing P ? Siegel’s theorem on integral points on curves (1929) hands us a revealing characterisation of the Diophantine subsets of Z which can be represented in terms of a single unknown; thereby, since 19th century results about the density of P entail that P does not meet that characterisation, we get the lower rank bound r >=2. We also show that the Diophantine set consisting of those integers κ > 3 which meet the congruence (2 κ choose k) ≡ 2 mod κ^3 has rank not exceeding 7. As a consequence, the least known upper rank bound for P, namely r<=9 as found by Yu. V. Matiyasevich in 1977, can be lowered to r<=7 if the converse of Wolstenholme’s theorem (1862) holds, as conjectured by J. P. Jones.
On the Diophantine complexity of the set of prime numbers
OMODEO, EUGENIO;
2016-01-01
Abstract
The ‘positive aspects of a negative solution’ (the recursive unsolvability of Hilbert’s 10th problem) include the discovery of Diophantine representations of the set P of primes. What is the rank of P, namely the smallest possible number, r, of unknowns in a polynomial representing P ? Siegel’s theorem on integral points on curves (1929) hands us a revealing characterisation of the Diophantine subsets of Z which can be represented in terms of a single unknown; thereby, since 19th century results about the density of P entail that P does not meet that characterisation, we get the lower rank bound r >=2. We also show that the Diophantine set consisting of those integers κ > 3 which meet the congruence (2 κ choose k) ≡ 2 mod κ^3 has rank not exceeding 7. As a consequence, the least known upper rank bound for P, namely r<=9 as found by Yu. V. Matiyasevich in 1977, can be lowered to r<=7 if the converse of Wolstenholme’s theorem (1862) holds, as conjectured by J. P. Jones.File | Dimensione | Formato | |
---|---|---|---|
COV16.pdf
Accesso chiuso
Tipologia:
Documento in Versione Editoriale
Licenza:
Digital Rights Management non definito
Dimensione
2.54 MB
Formato
Adobe PDF
|
2.54 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
jaf34CSLI_Corvaja_Omodeo_Vallata.pdf
Accesso chiuso
Tipologia:
Bozza finale post-referaggio (post-print)
Licenza:
Digital Rights Management non definito
Dimensione
1.06 MB
Formato
Adobe PDF
|
1.06 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.