; TeX output 2006.12.31:0934 header=pstricks.proheader=pst-dots.proheader=pst-node.pro3ڍE&color push Blackhtml:color push gray 0 color pop html:KXQ cmr121G color pop3ڍ|&html: html:.MTvkcolor push Black color popZVg5PSfile=logo129.eps llx=0 lly=0 urx=99 ury=16 rwi=28807獍Kcolor push Black color pop+N q cmbx12On
theF=areyFractionswithDenominatorsino~pArithmetic
Progression.s獒 XQ ff cmr12C./CobdCelicolor push rgb 0 .5 0html:=K`y
cmr101 html: color popandA.Zaharescucolor push rgb 0 .5 0html:=2 html: color pop IInstitute/ofMathematicsoftheRomanianAcademy P4./O.Box1-764 7Bucharest/70700 ]PRomania .html:color push cmyk 0 1 0 0$߆T ff cmtt12cristian.cobeli@imar.ro html: color pop ^-html:color push cmyk 0 1 0 0zaharesc@math.uiuc.edu html: color pop)
č vcolor push Black color pop r&"V
3
cmbx10AbstractMƍlcolor push Black color pop-̻%K`y
3
cmr10Let;%n
3
eufm10F*2 cmmi8QzSbMethesetofFeareyfractionsoforder)b>
3
cmmi10Q.PGiv!entheintegersd=,!",
3
cmsy102and
_0hcd 1,letFQ(c;1d)bMethesubsetofFQ[ofthosefractionswhosedenominators_areN
c(moMd1d),7arrangedinascendingorder.Theproblemw!eaddresshereistoshow_thatasQ
!1,fthereexistsalimitprobabilit!ymeasuringthedistributionofs-tuplesof_consecutiv!edenominatorsoffractionsinFQ(c;1d).ThisshowsthattheclustersofpMoints_(qz'|{Y cmr80=Q;1qz1=Q;:::l;qzsn<=Q)
2[0;1]s+1J,zwherenqz0;qz1;:::l;qzs:arenconsecutiv!edenominatorsof_mem!bMersofFQWproducealimitset,[denotedb!yD(c;1d).Theshapeandthestructure_offthissetarepresen!tedinseveralparticularcases.6ghtml: html:?N G cmbx121(Inutro =ductionb#FVareys`fractionsharves`manyapplicationsinvXariousareasofmathematics. RecentlyV,Վthey harve6bSeensuccessfulyusedinsomeproblemsonbilliards[html:color push cmyk 0 1 0 03 html: color pop,html:color push cmyk 0 1 0 04 html: color pop]andthetrwo6dimensionalLorenrtzjgas[html:color push cmyk 0 1 0 05 html: color pop].ThepresentpapSerisacontinuationofaseriesofpapSersdedicatedtothestudyofthedistributionofneighrbSordenominatorsofFVareyfractionswhosedenominatorsareinarithmeticprogression.
w1Previously[html:color push cmyk 0 1 0 010 html: color pop,html:color push cmyk 0 1 0 011 html: color popj,html:color push cmyk 0 1 0 013 html: color pop,html:color push cmyk 0 1 0 014 html: color pop]dierenrtauthorshavetreatedthecasesofpairsofoSddandevrendenominators,PrespectivrelyV,whileherewedealwithtuples(ofconsecutivredenominatorsoffractionsinE%n
eufm10EF2Q"C(Ec@g cmmi12@;Ed),thesetofFVareyfractionswith
color push Blackff ff -
^ٓR cmr71 html:color push gray 0 color pop html: C.HCobGeliispartiallysupportedbytheCERES1ProgrammeoftheRomanianMinistryofEducationand Research,UUcontract4-147/2004.
^2 html:color push gray 0 color pop html: Author's3currentaddress:τDepartmentofMathematics,UniversityofIllinoisatUrbana-Champaign,AltgeldUUHall,1409W.GreenStreet,Urbana,IL,61801,USA. color pop color push BlackG color pop *3ڍE&color push Blackhtml:color push gray 0 color pop html:K2G color pop3ڍ&denominators1A!",
cmsy10AEcUP(moSdBEd).|(HereEc@;Edareinrtegers,SwithEdA2and0AEcAEd31A 1.)|The motivXationfortheirstudy[html:color push cmyk 0 1 0 01 html: color pop,html:color push cmyk 0 1 0 03 html: color pop,html:color push cmyk 0 1 0 04 html: color pop,html:color push cmyk 0 1 0 06 html: color pop,html:color push cmyk 0 1 0 07 html: color pop,html:color push cmyk 0 1 0 08 html: color pop,html:color push cmyk 0 1 0 09 html: color pop]comesfromtheirroleplaryedindierenrtproblemsofvXariouscomplexities,varyingfromapplicationsinthetheoryofbilliardstoquestions]concernedwiththezerosofDiricrhlet@L-functions. Althoughthepresentworkismostly@self-conrtained,وthereadermayrefertotheauthors[html:color push cmyk 0 1 0 011 html: color pop]andthereferenceswithinforawiderinrtroSductionofthecontextandthetreatmentofsomecalculations.Twro#genericneighbSorfractionsfromEF2Q,2thesetofFVareyfractionsoforder@Q,sary@a2-K cmsy809@=qn920anda|@a200r@=qn9200,1harvetwointrinsicpropSerties.]FirstlyV,1thesum@qn9208+@qn9200 'isalwaysgreaterthan@QandqsecondlyV,ݯ@a200r@qn920A @a209@qn9200=UR1.3xNoneofthesetrwoqpropSertiesisgenerallytrueforconsecutivrememrbSersdVofEF2Qq(Ec@;Ed),3butweshallseethattheymaybSerecoveredasinitialinstancesofsomemorecomplexconnections.Givren.apSositiveinteger@sA1,our.maininterestliesonthesetoftuplesofneighbSordenominatorsoffractionsinEF2Q/(Ec@;Ed):>vvADUVQڍsܹ(Ec@;Ed)UR:=qBu
cmex10BUS(@qn90.=@;qn91@;:::ʜ;qn9su)UT:@qn920@;qn921@;:::ʜ;qn92saredenominatorsofzconsecutivrefractionsin X+EFQ/(Ec@;Ed) qB @:(Noticeַthatduetosometecrhnicalconstraints,ڴinournotations,thedimensionis@s+1ַandnot@s.)UInfactouraimistoshorwthatthereisalimitingsetADsn<(Ec@;Ed)ofthescaledsetofpSoinrtsڕAD2UVQRAsܹ(Ec@;Ed)@=QURA[0@;1]2s+1J,asڕ@QA!1.3StrictlyspSeaking,thisisthesetoflimitpoinrtsofsequencesAfHN cmbx12HxQ/AgQ2,whereeacrhHxQ.ispickedfromAD2UVQRAsܹ(Ec@;Ed)@=Q.MoreindepthinformationonADsn<(Ec@;Ed)isrevrealedifoneknowstheconcentrationofpSointsacrossitsexpanse.YTheanswrerisgivenbyTheoremhtml:color push cmyk 0 1 0 02 html: color popbSelow,^whichshowsthatthereexistsaploScaldensitryfunctiononADsn<(Ec@;Ed)andgivesanexplicitexpressionforit. ˒Next,rletussee.theformaldenition.LetHx=(@x0@;:::ʜ;xsn<).bSeagenericpoinrtin[0@;1]2s+1xȹanddenoteby@gsn<(Hx)UR=@gs(Hx;Ec@;Ed)thefunctionthatgivrestheloScaldensityofpSoints(@q0@=Q;q1@=Q;:::ʜ;qsn<@=Q)inthe@s K+1-dimensionalunitcubSe,2as@QURA!1,2where@q0@;q1@;:::ʜ;qssareconsecutivredenominatorsoffractionsinEF2Q/(Ec@;Ed).8ArtanypSointHuUR=(@u0@;:::ʜ;usn<)A2[0@;1]2s+1J,wredene@gsn<(Hu)by html: html:.; Zr@gsn<(Hu)UR:=.lim33I{!0
limwwQ!1x2#GB 9"b| lasy82\D鍐