Riemanno hipotezė yra vienas garsiausių ir svarbiausių neišspręstų matematikos klausimų — tai (hipotezė apie tam tikrų sudėtingų skaičių, vadinamų nuliais, išsidėstymą kompleksiame plokštumoje. Daug matematikų mano, kad hipotezės įrodymas būtų didelis laimėjimas grynosios matematikos srityje. Grynoji matematika nagrinėja abstrakčias matematikos savybes ir dėsnius be tiesioginio bandymo pritaikyti juos realiame pasaulyje. Atsakymas į Riemanno hipotezę gali būti tik „taip“ arba „ne“, ir abi išvados turėtų didelį poveikį skaičių teorijai.
Hipotezė pavadinta pagal Bernhardo Riemanno, vokiečių matematiką iš XIX a., kuris iškėlė šį klausimą tyrinėdamas funkciją, dabar vadinamą Riemanno zeta funkcija. Zeta funkcija yra kompleksinė funkcija, kurią paprastai apibrėžiame serija
ζ(s) = sum_{n=1}^∞ n^{−s} (kai Re(s) > 1),
ir kurią galima analitiškai pratęsti į visą kompleksinę plokštumą, išskyrus paprastą polį s = 1. Per specialią Eulerio sandaugos formulę ζ(s) susijusi su visais pirminiais skaičiais:
ζ(s) = ∏_{p prime} (1 − p^{−s})^{−1} (kai Re(s) > 1),
todėl nuliai ir savybės ζ(s) glaudžiai susiję su pirminių skaičių pasiskirstymu.
Kas tiksliai teigiama Riemanno hipotezėje?
Riemanno hipotezė teigia, kad visi „ne‑trivialūs“ zeta funkcijos nuliai turi realiąją dalį lygią 1/2. Kitaip tariant, visi tokie nuliai yra ant vadinamosios kritinės linijos Re(s) = 1/2 kompleksiame plote. (Yra ir „trivialūs“ nuliai — jie yra neigiami lyginiai skaičiai s = −2, −4, −6, … — ir jie nėra įtraukiami į hipotezę.) Zeta funkcija taip pat turi funkcionalinę lygtį, kuri sudaro simetriją tarp punktų s ir 1 − s; tai vienas iš pagrindinių instrumentų tirti nulinių taškų išsidėstymą.
Kodėl tai svarbu pirminiams skaičiams?
Per Eulerio sandaugą ir Riemanno „išraiškos“ formulę egzistuoja tiesioginis ryšys tarp zeta funkcijos nulių ir klaidų termino skaičiuojant pirminių skaičių tankį. Pavyzdžiui, pagrindinis rezultatas — pirminių skaičių teorijos teorema — sako, kad pirminių skaičių kiekis iki x apytiksliai lyginamas su x / log x (arba sudėtingesniu li(x)). Riemanno hipotezė leistų daug griežčiau suvokti, kaip didelė yra ši paklaida, t. y. užtikrintų daug stipresnes ribas klaidų terminui, kas reiškia geresnį supratimą apie tai, kaip „reguliariai“ pirminiai skaičiai pasiskirstę skaičių eilėje.
Todėl, nors Riemanno hipotezė tiesiogiai „nepasakys“ formulės, kuri iškart suranda visus pirminius skaičius, jos įrodymas ar paneigimas reikšmingai pakeistų teorinį pagrindą, kuriuo remiasi daug rezultatų skaičių teorijoje ir su tuo susijusiose sritėse.
Ką mes jau žinome ir kas atlikta
- Analitiniai įrankiai: ζ(s) turi funkcionalinę lygtį ir gali būti analitiškai pratęsta, tai leidžia manyti apie simetriją nulinių vietų atžvilgiu linijos Re(s)=1/2.
- Trivialūs nuliai: jie yra žinomi ir nekliudo hipotezei (tai −2, −4, …).
- Skaitmeniniai patikrinimai: pirmieji milijonai ir dėmesingai patikrinti milijardai zeta nulinių taškų buvo rasti kritinėje linijoje; iki didelių aukštumų vis dar neaptikta nulinio taško už kritinės linijos ribų, tačiau tai nėra matematinis įrodymas.
- Dalininiai rezultatai: yra įvairių rezultatų, kurie patvirtina, kad dalis nulinių taškų yra ant kritinės linijos, ir kitaip riboja jų pasiskirstymą, bet iki šiol nėra pilno įrodymo visiems nuliams.
Pasekmės, jeigu hipotezė būtų įrodyta ar paneigta
Jei įrodyta, daug teorinių rezultatų būtų gerokai sustiprinti — labiau tikslūs skaičiavimai apie pirminių skaičių pasiskirstymą, pagerintos ribos įvairiems aritmetiniams skaičiavimo algoritmams ir pan. Jei paneigta, reikėtų perrašyti arba papildyti daug esamų rezultatų, kurie priklauso nuo RH arba jos versijų, ir tai atvertų naujus tyrimo kelius apie zeta funkcijos struktūrą.
Reikšmingumą patvirtina ir tai, kad Clay matematikos institutas įtraukė Riemanno hipotezę į savo Millennium Prize Problems sąrašą ir pasiūlė 1 000 000 JAV dolerių prizą pirmajam pilnai įrodžiusiam ją.
Trumpai apie praktinę reikšmę
Nors RH turi dideles teorines pasekmes, jo įrodymas nebūtinai kardinaliai pakeistų kasdieninę kriptografiją ar praktinius pirminių skaičių suradimo metodus: daug praktinių algoritmų veikimą lemia kiti veiksniai. Vis dėlto RH turėtų įtaką pažangiems teoriniams rezultatams, kurie galiausiai gali paveikti kai kurias algoritmines ribas ir kompleksumo vertinimus.
Ką dar verta žinoti
Yra ir platesnės hipotezės, tokios kaip Bendroji Riemanno hipotezė (Generalized Riemann Hypothesis), kuri taikoma platesnei funkcijų klasei (L‑funkcijoms). Tyrimai šioje srityje yra labai aktyvūs: derinami analitiniai metodai, algebra, skaitmeniniai skaičiavimai ir kompiuterinės patikrintos nulių lokacijos. Riemanno hipotezė lieka vienu iš pagrindinių traukos centrų matematikos bendruomenei — paprasta suformuluoti, bet labai gili ir sudėtinga spręsti.
Jei norite, galiu aiškiau paaiškinti vieną iš minėtų temų: zeta funkcijos Eulerio sandaugą, funkcionalinę lygtį, Riemanno išraiškos formulę arba skaitmeninių patikrinimų rezultatus.