Úvod do Riemannovej hypotézy

Introduction to the Riemann Hypothesis

Riemannova hypotéza je jedným z najvýznamnejších nevyriešených problémov v matematike. Bola formulovaná nemeckým matematikom Bernhardom Riemannom v roku 1859 a týka sa distribúcie prvočísel. Hypotéza predpokladá, že všetky netriviálne nulové body Riemannovej zeta funkcie ležia na kritickej priamke s reálnou časťou 1/2.

Táto stránka zhromažďuje aktuálny výskum cez Robinovu nerovnosť. Najnovšia práca dokazuje rozsiahly konečný výsledok, oddeľuje ho od numerických experimentov a zostávajúci nekonečný problém redukuje na presnú jednostrannú prime-power nerovnosť.

The Riemann Hypothesis is one of the most significant unsolved problems in mathematics. It was formulated by the German mathematician Bernhard Riemann in 1859 and concerns the distribution of prime numbers. The hypothesis assumes that all non-trivial zeros of the Riemann zeta function lie on the critical line with real part 1/2.

This page collects the current research via Robin's inequality. The latest paper proves a large finite result, separates that theorem from numerical experiments, and reduces the remaining infinite problem to a precise one-sided prime-power inequality.

Tento problém je natoľko významný, že bol zaradený medzi sedem Millennium Prize Problems Clayovho matematického inštitútu, s odmenou 1 milión dolárov za jeho vyriešenie.

This problem is so significant that it was included among the seven Millennium Prize Problems of the Clay Mathematics Institute, with a reward of 1 million dollars for its solution.

Robinova nerovnosť ako cesta k RH

Robin's Inequality as a Route to RH

Guy Robin dokázal, že Riemannova hypotéza je ekvivalentná nerovnosti

Guy Robin proved that the Riemann Hypothesis is equivalent to the inequality

σ(n) < e^γ · n · log(log(n)) pre všetky n > 5040.

σ(n) < e^γ · n · log(log(n)) for all n > 5040.

Preto konečné overenie Robinovej nerovnosti v ľubovoľne veľkom, ale ohraničenom intervale ešte nie je dôkazom RH. Je však rigoróznym výsledkom pre každý celý bod daného intervalu a zároveň ukazuje, kde presne sa začína zostávajúci univerzálny problém.

Therefore, a finite verification of Robin's inequality over any bounded interval, however large, is not yet a proof of RH. It is nevertheless a rigorous result for every integer in that interval and identifies exactly where the remaining universal problem begins.

Čo dokazuje najnovšia práca

What the Latest Paper Proves

• Bezpodmienečné konečné overenie: Robinova nerovnosť platí pre každý celý bod 5041 ≤ n ≤ 10^{7,1 × 1022}.
• Úplný CA profilový certifikát: bolo vyčerpávajúco overených 3 341 978 konečných profilov; analytický certifikát pokračuje po najväčší prvočíselný faktor 1,64967 × 10²³.
• Presná redukcia: dôkaz kombinuje directed-interval výpočet, analytickú prime-power redukciu, vyhladenú explicitnú formulu, rigorózne konečné overenie núl a absolútny odhad neovereného zero tailu.
• Prenos na všetky celé čísla: Robinova konvexita medzi po sebe idúcimi kolosálne abundantnými číslami prenáša výsledok z koncových CA profilov na celý uvedený interval.

• Unconditional finite verification: Robin's inequality holds for every integer 5041 ≤ n ≤ 10^{7.1 × 1022}.
• Complete CA-profile certificate: 3,341,978 finite profiles were exhaustively verified; the analytic certificate continues through largest prime factor 1.64967 × 10²³.
• Exact reduction: the proof combines directed-interval computation, an analytic prime-power reduction, a smoothed explicit formula, rigorous finite-height zero verification, and an absolute bound for the unverified zero tail.
• Transfer to all integers: Robin's convexity between consecutive colossally abundant numbers transfers the endpoint result to the entire stated interval.

Presná signed dynamika a zostávajúci krok

Exact Signed Dynamics and the Remaining Step

Práca pred absolútnym odhadom zachová znamienka a odvodzuje presnú prime-power cell/kick dynamiku. Medzi udalosťami sa rezerva plynulo dopĺňa a pri každom q = p^a sa z nej odčíta presne Λ(q)/√q. Signed triangular identita prepíše ten istý problém na prirodzenú dĺžku okna približne √q log q.

Before taking absolute values, the paper retains the signs and derives exact prime-power cell/kick dynamics. Between events the reserve is replenished smoothly, while every q = p^a withdraws exactly Λ(q)/√q. A signed triangular identity rewrites the same problem on its natural window scale of approximately √q log q.

Scan všetkých 5 762 859 prime-power udalostí po 10⁸ podporuje pozorovaný konečný vzor. Selbergov integrálny odhad navyše dokazuje slabnutie surového numerátora v miere na spojitých dyadických blokoch. Ani jedno však zatiaľ nedáva uniformnú jednostrannú nerovnosť pri každej prime-power udalosti, najmä keď je menovateľ Q malý. Práve tento stavovo korelovaný krok zostáva otvorený.

A scan of all 5,762,859 prime-power events through 10⁸ supports the observed finite pattern. A Selberg-integral estimate also proves decay in measure of the raw numerator over continuous dyadic blocks. Neither result yet supplies the uniform one-sided inequality at every prime-power event, especially when the denominator Q is small. This state-correlated step remains open.

Reprodukčný balík a testy

Reproducibility Package and Tests

GitHub repozitár obsahuje publikovaný PDF dokument, deterministické sitá, exact-integer výpočty, outward-rounded intervalové certifikáty, testy, reporty a kontrolné hashe. Dôkazové certifikáty sú v repozitári oddelené od exploratory signed-dynamics experimentov.

The GitHub repository contains the published PDF, deterministic sieves, exact-integer computations, outward-rounded interval certificates, tests, reports, and integrity hashes. Proof certificates are separated from exploratory signed-dynamics experiments.

Práca, zdrojové súbory a verifikačný balík na GitHube Paper, source files, and verification package on GitHub