Video: navrhovaný dôkaz Riemannovej hypotézy cez Robinovu nerovnosť
Video: a proposed proof of the Riemann Hypothesis via Robin's inequality
Zverejnil som nové plné video k navrhovanej dôkazovej ceste k Riemannovej hypotéze cez Robinovu nerovnosť. Nie je to všeobecný populárny úvod do Riemannovej hypotézy. Video sleduje konkrétnu dôkazovú líniu: deliteľskú formuláciu, beta obálku, mostík pre najmenší hypotetický Robinov protipríklad a záverečný kompenzačný krok s explicitným Mertensovým odhadom.
Čo video pokrýva
Základom je Robinova nerovnosť, ktorá poskytuje ekvivalentnú formuláciu Riemannovej hypotézy cez funkciu súčtu deliteľov. Video preto nepracuje priamo so zeta funkciou, ale s pomerom sigma(n)/n a s tým, ako sa tento pomer dá kontrolovať pomocou Eulerovho súčinu nad prvočíslami.
Dôležitý bod je beta obálka. Samotná beta obálka je horný produkt nad prvočíslami, ale pôvodná beta-only predstava nestačí ako hotový dôkaz. Preto video jasne oddeľuje numerickú motiváciu od záverečného argumentu, kde sa používa certifikovaná horná obálka B(n) a deficit medzi beta(n) a B(n).
Prečo je mostík dôležitý
Samostatná kapitola sa venuje mostíku medzi najväčším prvočíselným deliteľom p_k a veľkosťou najmenšieho hypotetického Robinovho protipríkladu N. Pre primoriály ide smer nerovnosti opačne, takže samotná prvočíselná podpora nestačí. Video preto vysvetľuje, prečo sa mostík dokazuje sporom práve pre najmenší možný protipríklad, nie ako tvrdenie o ľubovoľných číslach.
Tým sa obíde potreba najprv zostrojiť úplnú obálku pre všetky superabundantné alebo colossally abundant profily exponentov. Ak by Robinova nerovnosť zlyhala, existoval by prvý protipríklad; práve tento objekt je zachytený dôkazom sporom.
Mertensova kompenzácia
Finálna časť používa explicitný Mertensov odhad v štýle Rossera a Schoenfelda. Surová beta obálka obsahuje kladný Mertensov prebytok, ktorý samotná beta neabsorbuje. Kompenzácia prichádza z deficitu v skutočnom sigma pomere: certifikovaná obálka B(n) ponechá len bezpečný chvost deficitných faktorov a ostatné faktory nahradí jednotkou, aby zostala nad sigma(n)/n.
Výsledný reťazec je: beta obálka, ponechaný deficit, explicitný Mertensov prebytok a mostík p_k < log N. Tieto časti sa spoja do Robinovej cieľovej nerovnosti pre najmenší hypotetický protipríklad.
Dôkazové materiály: všetky aktuálne PDF práce sú zverejnené na Zenodo. Výskumná stránka je dostupná tu: Riemannova hypotéza - dôkazový balík. Skripty a výpočtové materiály sú na GitHube.
Video je formulované ako navrhovaný dôkazový argument a treba ho čítať kriticky spolu s priloženými PDF dokumentmi. Práve preto sú pod videom dostupné odkazy na Zenodo, výskumnú stránku aj zdrojové skripty.
I have published a new full video presenting a proposed proof route to the Riemann Hypothesis through Robin's inequality. This is not a general popular introduction to the Riemann Hypothesis. The video follows a specific proof line: the divisor-sum formulation, the beta envelope, the bridge for the least hypothetical Robin counterexample, and the final compensation step using an explicit Mertens-type estimate.
What the video covers
The starting point is Robin's inequality, which gives an equivalent formulation of the Riemann Hypothesis through the divisor-sum function. The video therefore does not work directly with the zeta function, but with the ratio sigma(n)/n and with the way this ratio can be controlled by an Euler product over primes.
A central object is the beta envelope. The beta envelope is an upper prime product, but the original beta-only idea is not a finished proof. The video separates numerical motivation from the final argument, where the certified upper envelope B(n) and the deficit between beta(n) and B(n) are used.
Why the bridge matters
One chapter is devoted to the bridge between the largest prime factor p_k and the size of the least hypothetical Robin counterexample N. For primorials the inequality goes in the opposite direction, so prime support alone is not enough. The video explains why the bridge is proved by contradiction for the least possible counterexample, not as a statement about arbitrary integers.
This avoids the need to first construct a complete envelope for all superabundant or colossally abundant exponent profiles. If Robin's inequality failed, there would be a first counterexample; that is exactly the object captured by the contradiction proof.
Mertens compensation
The final part uses an explicit Mertens-type estimate in the Rosser-Schoenfeld line. The raw beta envelope contains a positive Mertens surplus that beta alone does not absorb. The compensation comes from the deficit in the actual sigma ratio: the certified envelope B(n) retains only a safe tail of deficit factors and replaces the remaining factors by one, so that it stays above sigma(n)/n.
The resulting chain is: the beta envelope, the retained deficit, the explicit Mertens surplus, and the bridge p_k < log N. These parts combine into Robin's target inequality for the least hypothetical counterexample.
Proof materials: all current PDF papers are available on Zenodo. The research page is available here: Riemann Hypothesis proof package. Scripts and computational materials are on GitHub.
The video is presented as a proposed proof argument and should be read critically together with the linked PDF documents. That is why the video description links to Zenodo, the research page and the source scripts.