Õppetund
Teooria — Algarvusesõel ja Ulami spiraal
Paneel trükib kaht eri liiki arvu ja tasub need eristada, enne kui midagi muud lugema hakata. π(N) on loend — mitu algarvu sõel tegelikult püsti jättis, 25 kui N = 100 ja 95 kui N = 500, täpne ja ümardamata. Kaks rida selle all on sellesama loendi hinnangud. Algarvude teoreem väidab, et üks neist tabab piiril suhte õigesti; ta ei väida, et ta tabab arvu õigesti. Need on väga erinevad lubadused ja vahe paistab välja vearealt.
Mida iga sümbol tähendab
N- ülempiir, milleni sõelutakse, ja ainus sisend. Liugur ulatub 10000-ni.
π(N)- algarvude arv, mis ei ületa N-i. Loendatud, mitte hinnatud — lihtsalt nii mitu ruutu, kui sõel maha ei tõmmanud.
N / ln N- selle loendi kõige lihtsam hinnang. Igal N-il, milleni see liugur ulatub, jääb see tõest allapoole.
Li(N)- integraallogaritm
∫₂ᴺ dt/ln t, teravam hinnang. Igal N-il, milleni see liugur ulatub, jääb see tõest ülespoole.
Kust valem tuleb
- Sõel ei küsi kunagi, kas arv on algarv. Ta alustab kahest ja kriipsutab maha kõik kahe kordsed, liigub järgmise veel püsti oleva arvuni, kriipsutab maha kõik selle kordsed ja kordab. Algarvulisust ei kontrollita; see on see, mis üle jääb.
- Maha tuleb kriipsutada ainult algarvude kordseid kuni
√N. Kui arv n ≤ N on kordarv, siis n = a·b, kus a ≤ b, seega a ≤ √n ≤ √N — igal kordarvul on tegur, mis on ruutjuurest väiksem või sellega võrdne, ja ta sai seega juba maha kriipsutatud, kui selle teguri kord kätte jõudis. Sajani sõelumiseks piisab kahe, kolme, viie ja seitsme käikudest. - Loenda ellujääjad ja saadki täpselt
π(N). Just seepärast on ülemine rida fakt ja kaks alumist arvamused: sõel annab loendi oma töö kõrvalsaadusena. - Nüüd võrdle. Algarvude teoreem ütleb, et
π(N) · ln N / N → 1, kui N kasvab. Pane tähele, mida see ei ütle: ühele lähenev suhe lubab protsentuaalsel veal jääda väga kauaks suureks — ja järgmine rida näitabki täpselt seda.
Kuidas nähtut lugeda
Loe kaht veaprotsenti kui võidujooksu ja muuda N-i. N = 100 juures juhib jäme hinnang: 13.1% Li 16.3% vastu. Mine N = 200 peale ja see pöördub — 17.9% 6.9% vastu — ega pöördu enam kunagi tagasi. Kõige tähelepanuväärsem on aga see, mida N/ln N ei tee. Kahe suurusjärgu jooksul on ta viga 14.8%, 13.1%, 15.3%, 13.8%, 12.2%: see kõigub ega parane peaaegu üldse. Li läheb samal vahemikul 16.3% pealt 2.8% peale. Mõlemad hinnangud rahuldavad algarvude teoreemi; kasutatav on neist vaid üks nendes suurusjärkudes, mida sa näha saad. Sama järjekindlad on ka märgid — N/ln N jääb siin igal N-il loendist allapoole ja Li ülespoole.
- Eeldab
- Et N on piisavalt väike, et teda tervikuna läbi sõeluda: loend on täpne seetõttu, et iga arv kuni N-ini tõesti hoitakse ja kriipsutatakse, ning just sellepärast on lagi 10000, mitte 10¹⁰. Veaprotsendid võetakse π(N) suhtes, seega mõõdavad nad hinnanguid ega mõõda kunagi loendit.
- Ei kehti, kui
- Li(N) > π(N) kehtib igal N-il, milleni see lehekülg ulatub, ja see näeb välja nagu seadus. Seda ta ei ole. Littlewood tõestas 1914. aastal, et vahe vahetab märki lõpmata palju kordi, seega leidub N-e, kus Li alahindab — ja sajandi jooksul pole keegi ühtki neist ette näidanud. Bays ja Hudson surusid esimese ületuskoha 1999. aastal alla umbes 1.4×10³¹⁶ ja kitsamaks pole see sellest saati läinud. See lehekülg näitab sulle seega mustrit, mille kohta on tõestatud, et see pole üldkehtiv, ja ükski liuguri asend ei ulatu vastunäiteni. Just see vahe nähtava ja tõese vahel ongi selle teema aus kuju.
Ülesanded täielikult lahendatud
-
Alla 100 jääva 25 algarvu käsitsi sõelumine 5 sammu
Alla 100 on 25 algarvu. Sõelu need käsitsi välja — see nõuab vähem tööd kui võiks arvata — ning seejärel testi algarvuteoreemi valimil, mis on selle jaoks kaugele liiga väike.
-
Sõela ajasääst on põhjus, miks see on oma nime väärt. Kui n ≤ 100 on kordnarv, tegurdub see kujul ab ning väiksem tegur ei saa ületada väärtust √100 = 10. Seega eemaldab iga algarvu kordsete mahatõmbamine kuni arvuni 10 eranditult kõik kordnarvud: kogu töö teevad ära neli algarvu.
-
Tõmba maha arvu 2, 3, 5 ja 7 kordsed, alustades igaühe puhul selle ruudust, sest kõik sellest väiksem on juba eemaldatud. Järele jääb kakskümmend viis arvu.
-
Algarvuteoreemi kohaselt on algarvude arv asümptootiliselt N/ln N. Kui N = 100, on see 21,7.
-
See on 13% võrra liiga väike, mis on asümptootilise tulemuse puhul arvu 100 juures täiesti ootuspärane. Teistpidi vaadatuna on see siin siiski kasulik: algarvude tihedus arvu N lähedal on 1/ln N, seega on umbes 22% arvudest 100 lähedal algarvud, võrreldes 7,2%-ga miljoni lähedal. Algarvude tihedus väheneb logaritmiliselt, mis on tõepoolest väga aeglane.
-
Vahed klapivad. Keskmine vahe alla 100 on 100/25 = 4 ja suurim on 8 — jada 89-st 97-ni. Kaks korda keskmine ja mitte halvem.
Vastus
Sõel annab tulemuseks π(100) = 25 ning tööriist kuvab hinnanguks 21,7, mis on 13,1% liiga väike. See viga ei tähenda teoreemi puudulikkust; see näitab piltlikult teoreemi koonduvuse kiirust, ja see koondumine on teadaolevalt aeglane — suurenda N arvu 10 000-ni (neli suurusjärku võrra) ja hinnang on ikka veel kahekohalise protsendi võrra liiga väike. Igas skaalas peab paika tiheduse näit. Üks arv 4,6-st arvu 100 lähedal on algarv, üks 13,8-st miljoni lähedal, ning kuna logaritm kasvab nii aeglaselt, ei lõpe algarvud kunagi otsa ega muutugi päris haruldaseks.
-
-
Ilmne hinnang 8 kaksikpaarile alla 100 6 sammu
Paneel loeb 100-st väiksemaid algarve 25 ja kaksikpaare 8. Esimese arvu jaoks on kuulus hinnang, mis jääb 13 % piiresse. Proovi teise jaoks ilmset hinnangut — ja vaata, kuidas see eksib teguri võrra, millel on nimi.
-
Võta lähtekohaks trükitud loend ja trükitud hinnang: N lähedal on arv algarv tõenäosusega umbes 1/ln N, ja N = 100 juures on see ligikaudu 0,2171.
-
Nüüd eelda, et n ja n+2 on sõltumatud. Kui kumbki on algarv tõenäosusega 1/ln N, siis mõlemad selle ruuduga.
-
Korruta N-ga ja võrdle tööriistaga. Hinnang annab 100-st väiksemaid kaksikpaare 4,72; sõel leidis 8. See pole veidi mööda — see on 40 % puudu.
-
Sõltumatus on vale samm, ja üksainus algarv näitab miks. Võta paaritu algarv p: juhuslik n langeb p tõttu välja ühel juhul p-st, aga paar langeb välja alati, kui n või n+2 jagub p-ga — see on kaks jääki p-st. Ellujäämismäär on seega (p−2)/p, mitte (p−1)/p ruut, nagu sõltumatus eeldas.
-
Korruta see parand üle kõigi paaritute algarvude ja see koondub konstandiks. Kahekordsena on see 1,3203, ja rakendatuna tõstab see hinnangu 6,23-ni.
-
N = 100 juures ikka alla 8 — hinnang on asümptootiline ja 100 on väike arv. See koondub: 156 paari alla 10⁴, 6917 alla 10⁶.
Vastus
Naiivne arv on 4,72, parandatud 6,23 ja tõde on 8 — ning parandustegur 1,3203 on lõpmatu korrutis üle algarvude. See konstant on hind, mida makstakse sõltumatuse eeldamise eest seal, kus seda pole, ja tal on peaaegu iga selle valdkonna raske küsimuse kuju: algarvud on piisavalt juhuslikud, et heuristika töötaks, ja piisavalt struktuursed, et see vajaks parandit, mida keegi ei oska nullist tuletada. Algarvukaksikute hüpotees ütleb, et sellel hinnangul ei saa paarid kunagi otsa, ja see on siiani lahtine.
-
Allikad (4)
- Why the page’s most convincing pattern is not a law — the difference changes sign infinitely often: J. E. Littlewood, "Sur la distribution des nombres premiers." Comptes Rendus de l’Académie des Sciences, Paris 158, 1869–1872, 1914. No DOI: the volume predates them.
- How far the first sign change has been pinned down, and where the 1.4×10³¹⁶ comes from: C. Bays & R. H. Hudson, "A new bound for the smallest x with π(x) > li(x)." Mathematics of Computation 69, 1285–1296, 1999.
- How far the Riemann hypothesis has actually been verified — note this is a bound on height, a different measure from a count of zeros: D. J. Platt & T. S. Trudgian, "The Riemann hypothesis is true up to 3·10^12." Bulletin of the London Mathematical Society 53, 792–797, 2021.
- The prize, and its official problem statement: Clay Mathematics Institute, Millennium Prize Problems — the Riemann Hypothesis.