Prime-shift operators on Björner's complex of squarefree integers: spectral obstruction, kernel structure, and a Toeplitz--Hankel pipeline for the Guinand--Weil explicit formula

{"Let":[0],"$\\\\Delta_{n}$":[1],"denote":[2],"Bj\\\\\\"orner's":[3],"simplicial":[4],"complex":[5,109],"on":[6],"the":[7,21,26,45,50,61,69,82,95,98,108,114,118,121,126,135,138,164,180,183,210,222,242,251,254,264,276,283,289,294,300,307,314,320,328,338,342,346,350,354,359,372,376,385,393,403,408,412],"squarefree":[8],"integers":[9],"$m\\\\leq":[10],"n$":[11],"and":[12,38,43,76,102,134,171,177,247,260,317,374,379,399],"let":[13],"$H_{n}":[14],"=":[15,73,152,190,203],"\\\\sum_{p\\\\leq":[16],"n}c_{p}(T_{p}":[17],"+":[18,201],"T_{p}^{*})$":[19],"be":[20],"self-adjoint":[22],"operator":[23],"obtained":[24],"from":[25,49,231,293],"prime-shift":[27],"operators":[28],"$T_{p}$":[29],"with":[30,87,228,268,282,362],"bounded":[31],"weights":[32],"$c_{p}$.":[33],"We":[34,205,239,273,390],"present":[35],"a":[36,77,160,172,215,310],"corrected":[37,413],"extended":[39],"analysis":[40],"of":[41,44,56,64,94,120,128,137,163,166,175,182,250,271,291,299,313,349,384,402],"$H_{n}$":[42,129],"Toeplitz":[46,339],"pencil":[47,340],"constructed":[48],"Guinand--Weil":[51],"explicit":[52,343],"formula.":[53],"Five":[54],"groups":[55],"results.":[57],"First,":[58],"we":[59,90,158,178,286,318,336],"confirm":[60],"structural":[62,161,404],"properties":[63],"$H_{n}$:":[65],"self-adjointness,":[66],"$\\\\mathbb{Z}/2$-symmetric":[67],"spectrum,":[68],"trace":[70],"formula":[71],"$\\\\operatorname{Tr}(H_{n}^{2})":[72],"2\\\\sum_{p\\\\leq":[74],"n}c_{p}^{2}\\\\sigma_{p}(n/p)$,":[75],"rigorous":[78],"Carleman":[79],"bound":[80],"for":[81,154,303,322,332,341,353,371],"limiting":[83],"measure":[84],"when":[85],"$c_{p}=p^{-s}$":[86],"$s>1$.":[88],"Second,":[89],"correct":[91],"several":[92,401],"statements":[93],"earlier":[96],"revisions:":[97],"mixed":[99],"products":[100],"$T_{p}T_{q}^{*}$":[101],"$T_{q}^{*}T_{p}$":[103],"do":[104],"\\\\emph{not}":[105,214],"commute":[106],"once":[107],"is":[110,117,213,309,388,415],"truncated":[111],"at":[112,233,237,263],"$n$;":[113],"Mertens":[115],"invariant":[116,312],"\\\\emph{index}":[119],"bipartite":[122],"block":[123],"$A$,":[124],"not":[125],"signature":[127],"(which":[130],"vanishes":[131],"by":[132],"symmetry);":[133],"kernel":[136,165],"up-shift":[139],"part":[140,185],"$A_{\\\\uparrow}$":[141],"restricted":[142],"to":[143,235,326],"$C_{1}$":[144],"has":[145],"dimension":[146],"$\\\\pi(n)-\\\\pi(n/2)$,":[147],"whereas":[148],"$\\\\dim(\\\\ker":[149],"H_{n}\\\\cap":[150],"C_{1})":[151],"\\\\pi(n)-\\\\pi(n/2)-1$":[153],"$n\\\\ge":[155],"15$.":[156],"Third,":[157],"establish":[159],"decomposition":[162],"$A$":[167],"into":[168],"\\\\emph{maximal":[169],"elements}":[170],"residual":[173,211],"subspace":[174],"relations,":[176],"compute":[179],"density":[181],"maximal":[184],"in":[186,221,407],"closed":[187],"form:":[188],"c₁":[189],"∑{k":[191],"≥":[192],"0}":[193],"(p_k⁻¹":[194],"-":[195],"p{k+1}⁻¹)":[196],"∏_{j":[197],"≤":[198],"k}":[199],"(p_j":[200],"1)⁻¹":[202],"0.5675527…":[204],"then":[206],"show":[207],"numerically":[208,288,361],"that":[209,306,392],"rate":[212],"constant:":[216],"$\\\\dim":[217],"R_{n}$":[218],"grows":[219],"super-linearly":[220],"observed":[223],"range":[224],"$n\\\\le":[225],"2\\\\times":[226],"10^{5}$,":[227],"$R_{n}/n$":[229],"increasing":[230],"$0.0196$":[232],"$n=10^{4}$":[234],"$0.0209$":[236],"$n=10^{5}$.":[238],"therefore":[240],"retract":[241],"numerical":[243,394],"estimates":[244],"$c_{*}\\\\approx":[245],"0.185$":[246],"$\\\\rho\\\\approx":[248],"0.0624$":[249],"previous":[252],"revisions;":[253,411],"true":[255,329],"values":[256],"satisfy":[257],"$c_{*}\\\\le":[258],"0.1817$":[259],"$\\\\rho\\\\ge":[261],"0.0691$":[262],"largest":[265],"computed":[266],"$n$,":[267],"no":[269],"evidence":[270,395],"stabilization.":[272],"also":[274],"\\\\textbf{exclude}":[275],"attractive":[277],"candidate":[278],"$c_{*}=18/\\\\pi^{4}$":[279],"as":[280],"incompatible":[281],"data.":[284],"Fourth,":[285],"verify":[287],"independence":[290],"$\\\\operatorname{rank}(A_{n}(s))$":[292],"weight":[295],"$s$":[296],"(Proposition":[297],"4.3":[298],"second":[301],"revision)":[302],"$s\\\\in\\\\{0,1/2,1,3/2,2\\\\}$,":[304],"confirming":[305,345],"rank":[308,331],"combinatorial":[311],"incidence":[315],"matrix,":[316],"note":[319],"need":[321],"large":[323],"prime":[324],"moduli":[325],"detect":[327],"rational":[330],"$s\\\\neq":[333],"0$.":[334],"Fifth,":[335],"revisit":[337],"formula,":[344],"prefactor":[347],"$1/(4\\\\sigma\\\\sqrt{\\\\pi})$":[348],"prime-power":[351],"term":[352],"Gaussian":[355],"test":[356],"function,":[357],"verifying":[358],"identity":[360],"relative":[363],"error":[364],"below":[365],"$10^{-13}$,":[366],"proving":[367],"an":[368],"exact-recovery":[369],"theorem":[370],"pencil,":[373],"discussing":[375],"Hankel--ESPRIT":[377],"pipeline":[378],"its":[380],"bottlenecks.":[381],"No":[382],"proof":[383],"Riemann":[386],"Hypothesis":[387],"claimed.":[389],"emphasize":[391],"assembled":[396],"here":[397],"\\\\emph{constrains":[398],"falsifies}":[400],"conjectures":[405],"advanced":[406],"first":[409],"two":[410],"picture":[414],"more":[416,419],"conservative":[417],"but":[418],"reliable.":[420]}