As a by-product of the negative solution of Hilbert’s 10th problem, various prime-generating polynomials were found. The best known upper bound for the number of variables in such a polynomial, to wit 10, was found by Yuri V. Matiyasevich in 1977. We show that this bound could be lowered to 8 if the converse of Wolstenholme’s theorem (1862) holds, as conjectured by James P. Jones. This potential improvement is achieved through a Diophantine representation of the set of all integers p >= 5 that satisfy the congruence C(2 p,p) ≡ 2 mod p^3. Our specification, in its turn, relies upon a terse polynomial representation of exponentiation due to Matiyasevich and Julia Robinson (1975), as further manipulated by Maxim Vsemirnov (1997). We briefly address the issue of also determining a lower bound for the number of variables in a prime-representing polynomial, and discuss the autonomous significance of our result about Wostenholme’s pseudoprimality, independently of Jones’s conjecture.

A Diophantine representation of Wolstenholme's pseudoprimality

OMODEO, EUGENIO
2015

Abstract

As a by-product of the negative solution of Hilbert’s 10th problem, various prime-generating polynomials were found. The best known upper bound for the number of variables in such a polynomial, to wit 10, was found by Yuri V. Matiyasevich in 1977. We show that this bound could be lowered to 8 if the converse of Wolstenholme’s theorem (1862) holds, as conjectured by James P. Jones. This potential improvement is achieved through a Diophantine representation of the set of all integers p >= 5 that satisfy the congruence C(2 p,p) ≡ 2 mod p^3. Our specification, in its turn, relies upon a terse polynomial representation of exponentiation due to Matiyasevich and Julia Robinson (1975), as further manipulated by Maxim Vsemirnov (1997). We briefly address the issue of also determining a lower bound for the number of variables in a prime-representing polynomial, and discuss the autonomous significance of our result about Wostenholme’s pseudoprimality, independently of Jones’s conjecture.
http://ceur-ws.org/Vol-1459/
File in questo prodotto:
File Dimensione Formato  
A Diophantine representation of Wolstenholme's pseudoprimality.pdf

accesso aperto

Descrizione: PDF versione editoriale
Tipologia: Documento in Versione Editoriale
Licenza: Digital Rights Management non definito
Dimensione 392.09 kB
Formato Adobe PDF
392.09 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11368/2846750
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact