Linnik tétele
A Linnik-tétel az analitikus számelméletben egy természetes kérdésnek felel meg a Dirichlet aritmetikai progressziójának tétele szerint . Azt állítja, hogy létezik két pozitív számok c és L olyan, hogy bármely egész szám elsődleges közöttük egy és d az 1 ≤ a ≤ d , ha mi jelöljük p ( a , d ) a legkisebb prímszám a számtani sorozat
nál nél+nemd(nem∈NEM),{\ displaystyle a + nd \ quad (n \ in \ mathbb {N}),}
így :
o(nál nél,d)<vs.dL.{\ displaystyle p (a, d) <cd ^ {L}.}
Ez a tétel mutattuk Jurij Linnik (en) 1944-ben.
1992-ben kimutatták, hogy a Linnik konstans L kisebb vagy egyenlő, mint 5,5; 2019-ben az L értéke nem ismert, de 5,18-mal nőtt. Sőt, ha az általánosított Riemann-hipotézis igaz, akkor L = 2 szinte minden d egész számra alkalmas . Azt is sejtik, hogy:
∀d≥2o(nál nél,d)<d2.{\ displaystyle \ forall d \ geq 2 \ quad p (a, d) <d ^ {2}.}
Alkalmazások
- A sejtés erősebb Linnick tétel használtuk fel egy egész szorzás algoritmus , amelynek időbonyolultsága az , hogy a tervezők, de talált egy másik algoritmust, amely nem hivatkozhat semmilyen sejtés létrehozni azok eredményét.O(nemnaplónem){\ displaystyle {\ mathcal {O}} (n \ log n)}
![{\ displaystyle {\ mathcal {O}} (n \ log n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9981ede263cbf28215d3a70bf30f55db41a6e692)
Megjegyzések és hivatkozások
-
(en) DR Heath-Brown , „ Nulla-mentes régiók a Dirichlet L-funkciókhoz, és a legkevésbé fontosak egy aritmetikai progresszióban ” , Proc. London Math. Soc. , vol. 64, n o 3,1992, P. 265-338 ( online olvasás )
-
(en) David Harvey és Joris Van Der Hoeven, „ Egész szorzás az O (n log n) időben ” , HAL ,2019. március 18( online olvasás ).
-
(in) E. Bombieri , JB Friedlander és Henryk Iwaniec , " Prímek a számtani haladásban a nagy modulokba. III ” , J. Amer. Math. Soc. , vol. 2 n o 21989, P. 215–224 ( online olvasás )
(fr) Ez a cikk részben vagy egészben az
angol Wikipedia
" Linnik-tétel " című
cikkéből származik ( lásd a szerzők felsorolását ) .
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">