Riemannova domneva: Razlika med redakcijama

Izbrisana vsebina Dodana vsebina
m m/dp/pnp
m m/dp/pnp
Vrstica 331:
* [[Gary Lee Miller|Miller]] je leta 1976 pokazal, da iz posplošene Riemannove domneve izhaja, da se lahko iz [[test praštevilskosti|testa praštevilskosti]] v polinomskem času preskusi ali je število praštevilo s pomočjo [[Miller-Rabinov test praštevilskosti|Miller-Rabinovega testa]]. [[Manindra Agraval|Agraval]], [[Niradž Kajal|Kajal]] in [[Nitin Saksena|Saksena]] so leta 2002 dokazali ta rezultat brezpogojno s pomočjo [[test praštevilskosti AKS|testa praštevilskosti AKS]].
* Odlyzko<ref>{{sktxt|Odlyzko|1990}}.</ref> je leta 1990 obravnaval kako se lahko posplošeno Riemannovo domnevo uporabi za ostrejše ocene diskriminant in [[razredno število|razrednega števila]] številskih obsegov.
* [[Ken Ono|Ono]] in [[Kannan Soundararajan|Soundararajan]]<ref>{{sktxt|Ono|Soundararajan|1997}}.</ref> sta leta 1997 pokazala, da iz posplošene Riemannove domneve izhaja, da obstaja točno 18 lihih celih števil, ki niso oblike [[RamanujanovaRamanudžanova tričlena kvadratna forma|RamanujanoveRamanudžanove integralske kvadratne forme]] ''x''<sup>2</sup> +''y''<sup>2</sup> + 10''z''<sup>2</sup>: 3, 7, 21, 31, 33, 43, 67, 79, 87, 133, 217, 219, 223, 253, 307, 391, 679, 2719.
 
=== Izključena tretja možnost ===
Vrstica 418:
=== Iharove funkcije ζ ===
 
[[Iharova funkcija zeta|Iharova funkcija ζ]] končnega grafa je analogon Selbergove funkcije ζ, ki jo je prvič uvedel [[Jasutaka Ihara|Ihara]] v kontekstu diskretnih podgrup p-adične specialne linearne grupe dva krat dva. Regularni končni graf je [[RamanujanovRamanudžanov graf]], matematični model učinkovitih komunikacijskih mrež, če in samo če za Iharovo funkcijo ζ velja analogon Riemannove domneve, kot je pokazal [[Tošikazu Sunada|Sunada]].
 
=== Montgomeryjeva domneva o parni korelaciji ===