




版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
1、ELECTRONICRESEARCHANNOUNCEMENTSOFTHEAMERICANMATHEMATICALSOCIETYVolume3,Pages99104(September17,1997)S1079-6762(97)00031-0ACOMPLETEVINOGRADOV3-PRIMESTHEOREMUNDERTHERIEMANNHYPOTHESISJ.-M.DESHOUILLERS,G.EFFINGER,H.TERIELE,ANDD.ZINOVIEV(CommunicatedbyHughMontgomery)Abstract.WeoutlineaproofthatiftheGenera
2、lizedRiemannHypothesisholds,theneveryoddnumberabove5isasumofthreeprimenumbers.Theproofinvolvesanasymptotictheoremcoveringallbutanitenumberofcases,anintermediatelemma,andanextensivecomputation.1.IntroductionBy“The3-PrimesProblem,”wemean:caneveryoddnumbergreaterthan5bewrittenasasumofthreeprimenumbers?
3、ThisproblemwasrstsuccessfullyattackedbyHardyandLittlewoodintheirseminal1923paper6;usingtheirCircleMethodandassuminga“WeakGeneralizedRiemannHypothesis,”theyprovedthateverysucientlylargeoddnumbercouldbesowritten.Thesecondauthorhascalculated4directlyfromthatpaperthat“sucientlylarge,”assumingthe“full”Ge
4、neralizedRiemannHypothesis(GRHbelow,i.e.,thatallnon-trivialzerosofallDirichletL-functionshaverealpartequalto1/2),isapproximately1050.In1926Lucke11,inanunpublisheddoctoralthesisunderEdmundLandau,hadalreadyshownthatwithsomerenementsthegurecouldbetakenas1032.In1937Vinogradov15usedhisingeniousmethodsfor
5、estimatingexponentialsumstoestablishthedesiredasymptoticresultwhileavoidingtheGRHentirely.However,thenumericalimplicationsofavoidingtheGRHaresubstantial:in1956Borodzkin1showedthatsucientlylargeinVinogradovsproofmeantnumbers15greaterthan33107000000.Thisgurehassincebeenimprovedsignicantly,mostrecently
6、byChenandWang2,whohaveestablishedaboundof1043000,butinanycasethisgureisfarbeyondhopeof“checkingtheremainingcasesbycomputer.”If,however,wereturntotheoriginalstanceofHardyandLittlewoodbyassumingthetruthoftheGRHwhileatthesametimeusingsomeoftherenedtechniquesofprimarilyVinogradovandLinnik10,andusinganex
7、tensivecomputersearch,wedoindeedarriveatthefollowing:Theorem.AssumingtheGRH,everyoddnumbergreaterthan5canbeexpressedasasumofthreeprimenumbers.ReceivedbytheeditorsFebruary26,1997.1991MathematicsSubjectClassication.Primary11P32.Keywordsandphrases.Goldbach,Vinogradov,3-primesproblem,Riemannhypothesis.c
8、1997AmericanMathematicalSociety99100J.-M.DESHOUILLERS,G.EFFINGER,H.TERIELE,ANDD.ZINOVIEVTheproofofthisresultfallsnaturallyintothreeparts:anasymptotictheo-remhandlingallbutanitenumberofcases,alemmaassuringtheexistenceofprimesrelativelynearuncheckedoddnumbers,andacomputersearchfor2-primesrepresentatio
9、nsoftheremainingdierences.Wenowoutlineeachoftheseparts.2.TheasymptotictheoremTheorem(Zinoviev).AssumingtheGRH,everyoddnumbergreaterthan1020isasumofthreeprimenumbers.Wediscussherebrieythemainideasbehindthisresult;forcompletedetailssee16.FixN9.Weareinterestedinthenumberoftriples(p1,p2,p3)ofprimenumber
10、swhichsatisfytheequation(1)N=p1+p2+p3.Following10weintroducethefunction log(p1)log(p2)log(p3),J(N)=p1+p2+p3=Nwherethesumrangesoveralltriplesofprimes(2).IfJ(N)>0thenthereisatleastonesolutionof(1).Hereby(n)(nisalwaysanaturalnumber)wedenotevonMangoldtsfunction:(n)=log(p)ifn=pk(pisprime),and(n)=0othe
11、rwise.Foranyrealnumberset (n)e2inen/N.S()=n>1ThenwehaveS()=p>1log(p)e2ipep/N+N0.5log2(N),where|1.Clearly,foranyintegerm 11e2imd=00ifm=0,ifm=0.Changingtheorderofsummationandintegration(see10),forsomenewreal(|1)weobtain 1wS3()e2iNd+N1.5log3(N),J(N)=ewwherew=w(N)isasmallnumberdenedlater.Wewillexp
12、ressJ(N)asasumoftheleadingtermandtheremainder.Estimatingtheremainderfromabove,wewillshowthatitislessthantheleadingtermwhenN1020.WethenconcludethatJ(N)>0.FollowingLinnikandVinogradov,wesubdividetheintervalw,1wintothe ,E1,E2.Ourmainideaistorenethissubdivision.disjointunionofsubsetsE1 Inparticularwe
13、changethesetof“majorarcs”,whichinourcaseisE1,makingtheintervalsfromthissetsmaller.Wedoitasfollows.LetQ=1.1log2(N),=4900log4(N),w=1/.ACOMPLETEVINOGRADOV3-PRIMESTHEOREM101DenotebyE(a,q)(whereifq>1,then(a,q)=1,0<a<q,andifq=1,thena=0)theinterval 1a1a,+.qqqqThen a1a1w,1w=,+.qqqq0<q0a<q(q,a
14、)=1LetE1=E(a,q),qQandE2=w,1wE1. Finally,denotebyE1thesetofintervalsE1withsmallerlength a2log(N)a2log(N),+,q(q)Nq(q)NandsetE1=E1E1. WesplittheintegralJ(N)intotwointegrals:overE1(theleadingterm)and E1E2(theremainder).Thefollowinglemmaisusedtoestimatetheremainderterm.Lemma.ForanyE1E2,andforanyN>1020
15、(notnecessarilyodd),GRHimpliesthatN.|S()|<0.18log(N)TheproofofthislemmausestheRiemann-HadamardmethodwhichinvolvessummationoverthezeroesofL-functions.TheleadingtermistreatedusingthecirclemethodofHardyandLittlewood,asusedbyVinogradovandLinnik.3.AnintermediatelemmaNow,bytheasymptotictheorem,ourprobl
16、emisreducedtoconsideringoddnumberswhichare1020.Forthese,weneedthefollowing:Lemma.IftheGRHholdsandif6n1020,thenthereexistsaprimenumberpsuchthat4np1.615×1012.Proof.Theconclusionofthelemmaobviouslyholdsforn <1012,say.Forlargern,weapplySchoenfeld13,equation(6.1).Let(n)=pnlogp;iftheGRHholds,andif
17、n23×108,wehave1n2)logn.|(n)n|<8Justsupposethatthereisnoprimeintheinterval(nh,nexceptpossiblyfortwoofthesixconsecutivenumbersfromn5throughn;thenwehave2logn>(n)(nh)=(n)n)(nh)(nh)+h,whencebytheabove,1n2)logn+2logn.4Sincen1020,wegeth<1.615×1012.Weconcludethenthattheremustbeaprimepsuch
18、that4np1.615×1012.h<102J.-M.DESHOUILLERS,G.EFFINGER,H.TERIELE,ANDD.ZINOVIEVWenoteherethattheGRHactuallyimpliesanestimateon|(n)n|whichhasasinglelogfactor;seeIvic7forexample.However,thesecondauthor,inworkingthroughthedetailsofsuchanestimate,foundthattheconstantobtainedwaslargeenoughsothat,atth
19、eleveln=1020,Schoenfeldsestimategivesaslightlybetternumericalresult.4.Thecomputersearchfor2-primesrepresentationsFinally,then,ifnisanoddnumber1020andpisasinthepreviouslemma,thenm=npisevenand1.615×1012.Butformwehavethefollowing:Theorem(DeshouillersandteRiele).Everyevennumber4m1013isasumoftwoprim
20、enumbers.Foracompleteexpositionofthisandrelatedresults,see3.Letpibetheithoddprimenumber.Theusualapproach5,14toverifytheGoldbachconjectureonagivenintervala,bistond,foreveryevenea,b,thesmallestoddprimepisuchthatepiisaprime.AnecientwaytodothisistogeneratethesetofprimesQ(a,b)=q|qprimeanda aqb,where aisc
21、hoseninasuitableway,andtogeneratethesetsofevennumbersE0E1E2···,denedbyE0=,Ei+1=Ei(Q(a,b)+pi+1),i=0,1,.,1untilEjcoversalltheevennumbersintheintervala,bforsomej.ThesetQ(a,b)isgeneratedwiththesieveofEratosthenes:thisisthemosttime-consumingpartofthecomputation.Forthechoiceof aitissucientt
22、hat aexceedsthelargestoddprimeusedinthegenerationofthesetsEj.InthecomputationscheckingtheGoldbachconjectureupto4×101114,thelargestsmalloddprimeneededwasp446=3163(thisisthesmallestprimepforwhich244885595672pisprime).Amoreecientidea,whichwehaveimplemented,istond,foreveryevenea,b,aprimeq,closetoa,
23、forwhicheqisaprime.Todothateciently,asetofkconsecutiveprimesq1,q2,.,qkclosetoaisgenerated,forsuitablychosenk,andalargesetPofalltheoddprimesuptoaboutbaisprecomputed(withthesieveofEratosthenes)inordertocheckthenumberseqforprimality.Fortheactualcheckoftheintervala,b,wegeneratethesetsofevennumbersF0F1F2
24、···,denedbyF0=,Fi+1=Fi(P+qi+1),i=0,1,.,untilFjcoversalltheevennumbersintheintervala,bforsomej.Inourexperi-ments,wehavechosentheintervalsa,btohaveaxedlengthof108.ThelargestpossibleprimewemayneedinthesetPliesclosetobq1.Bytheprimenumbertheorem,q1akloga,sothatbq1108+kloga.Forthechoiceofkw
25、enoticethatthedensityoftheoddprimesamongtheoddnumbersupto108isabout0.115(thereare5761454oddprimesbelow108).Thismeansthataproportionofabout0.885oftheevennumbersina,bisnotcoveredbythesetF1=P+q1;iftheprimesupto108wereuniformlydistributed,whichtheyarenot,aproportionofabout0.8852oftheevennumberswouldnotb
26、ecoveredbyF2.After151steps,thisproportionisreducedtobelow108.Itturnedoutthatk=360wassucient1ByQ(a,b)+pi+1wemeantheset:q+pi+1|qQ(a,b).ACOMPLETEVINOGRADOV3-PRIMESTHEOREM103forourexperiments.Fora1013thisimpliesthatthelargestprimeinthesetPmusthaveasizecloseto108+104.Intherstapproach,asmallsetofsmallprim
27、esupto5000,say,hastobeavailable,andforeachintervala,btobetreated,alltheprimesina,bhavetobegenerated.Inthesecondapproach,alargesetofsmallprimesuptoabout108+104hastobegenerated(onlyonce),andforeachintervala,btobetreated,onehastondthelargestkprimesa.Ofcourse,thisismuchcheaperthantondalltheprimesinthein
28、tervala,b.Thepricetopayisthatforeachea,bsomeprimepisfoundforwhichepisprime,butingeneralthispisneitherthesmallestnorthelargestsuchprime.FortheactualgenerationofkprimesclosetoawehaveusedJaeschkescompu-tationalresults8,statingthatifapositiveintegern<2152302898747isastrongpseudoprimewithrespecttother
29、stveprimes2,3,5,7,11,thennisprime;correspondingboundsfortherstsixandsevenprimesare3474749660383and341550071728321,respectively.WehaveimplementedthesecondapproachonaCrayC98vectorcomputerandveriedtheGoldbachconjectureforallevennumbers>4×1011and1013.Afterthegenerationofkprimesneara,theactualver
30、icationwascarriedoutbysievingwithalongarrayof64-bitintegerscalledODD,whereeachbitrepresentsanoddnumber<108+104,thebitbeing1ifthecorrespondingoddnumberisprime,and0ifitiscomposite.GeneratingFi+1fromFiamountstodoingan“or”operationbetweenonelongarrayofintegersandashiftedversionofthearrayODD.Thiscanbe
31、carriedoutveryecientlyontheCrayC98.Inonetypicalrun,wehandled5000consecutiveintervalsoflength108.Closeto1013thetimetogenerate5000×360largeprimeswasabout2600CPU-seconds,andthetotalsievingtimewasabout5040seconds.Thetotaltimeusedtocovertheinterval4×1011,1013wasapproximately53(lowpriority)CPU-h
32、ours.Thelargestnumberoflargeprimeswhichweneededwas328:fore=7379095622422andrstprimeq1=7378999992031itturnedoutthateqiiscompositefori=1,.,327,andprimefori=328(q328=7379000002739andeq328=95619683).AcknowledgmentThesecondauthorwishestothankPaulT.BatemanandMarshallAshforhelpfulcorrespondencesonthistopic
33、.References1.K.G.Borodzkin,OnI.M.Vinogradovsconstant,Proc.3rdAll-UnionMath.Conf.,vol.1,Izdat.Akad.NaukSSSR,Moscow,1956.(Russian)MR20:6973a2.JingrunChenandTianzeWang,OntheoddGoldbachproblem,ActaMath.Sinica32(1989),702718.MR91e:111083.Jean-MarcDeshouillers,HermanteRiele,andYannickSaouter,Newexperiment
34、alresultsconcerningtheGoldbachconjecture,toappear.4.GoveEnger,SomenumericalimplicationoftheHardyandLittlewoodanalysisofthe3-primesproblem,submittedforpublication.5.A.Granville,J.vandeLune,andH.teRiele,CheckingtheGoldbachconjectureonavectorcomputer,NumberTheoryandApplications(R.A.Mollin,ed.),KluwerAc
35、ademicPublishers,1989,423433.MR93c:110856.G.H.HardyandL.E.Littlewood,SomeproblemsofPartitioNumerorum.III:Ontheexpressionofanumberasasumofprimes,ActaMathematica44(1922),170.7.A.Ivic,TheRiemannzeta-function,J.WileyandSons,1985.MR87d:11062104J.-M.DESHOUILLERS,G.EFFINGER,H.TERIELE,ANDD.ZINOVIEV8.GerhardJaeschke,Onstrongpseudoprimestoseveralbases,Math.Comp.61(1993),915926.MR94d:110049.A.A.Karatsuba,Basicanalyticnumbertheory,Springer-Verlag,1993.MR94a:1100110.U.V.Linnik,Th
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 三人合伙人合同范本
- 七級 試題及答案
- 七匹狼合同范本
- 使用合同補(bǔ)充協(xié)議書
- 中國億萬富豪調(diào)查報告
- 中電投工程安全文明施工組織設(shè)計
- 2025年醫(yī)用中心吸引系統(tǒng)項目發(fā)展計劃
- 2025年醫(yī)療社會保障服務(wù)項目合作計劃書
- 小紅書店鋪運(yùn)營策略咨詢與市場拓展合同
- 線上直播帶貨傭金分配合作協(xié)議
- 《國家電網(wǎng)公司十八項電網(wǎng)反事故措施(試行)》實施細(xì)則
- 射線檢測操作指導(dǎo)書
- 中國民主同盟入盟申請表(樣表)
- 國家標(biāo)準(zhǔn)色卡電子版(WORD版圖片)
- 9種基坑坍塌案例
- 《呼吸機(jī)的使用管理》PPT課件.ppt
- 《手機(jī)攝影》全套課件(完整版)
- 年產(chǎn)10萬噸甲醇低壓羰基化合成醋酸精制工段工藝設(shè)計(共56頁)
- 兒童相聲劇本43286
- 接種疫苗流程圖(共2頁)
- 拉祜族建筑特征
評論
0/150
提交評論