Prime-shift operators on Bj\"orner's complex of squarefree integers: spectral obstruction, and an extended Toeplitz pencil for the explicit formula recovering 1839 nontrivial zeros of $\zeta$

{"Let":[0],"$\\\\Delta_{n}$":[1],"denote":[2],"Bj\\\\\\"orner's":[3],"simplicial":[4],"complex":[5],"on":[6,41,127,226,242,260],"the":[7,22,27,55,72,80,91,97,101,110,114,124,132,137,144,159,168,201,206,227,243,257],"squarefree":[8],"integers":[9],"$m\\\\leq":[10],"n$":[11],"and":[12,64,90,106,171,220],"let":[13],"$H_{n}":[14],"=":[15,60,86,190,194,198],"\\\\sum_{p\\\\leq":[16],"n}":[17,62],"c_{p}(T_{p}":[18],"+":[19],"T_{p}^{*})$":[20],"be":[21,173],"self-adjoint":[23,46],"operator":[24],"obtained":[25],"from":[26,136,233],"prime-shift":[28],"operators":[29],"$T_{p}$":[30],"with":[31,47,79,109,213,248],"bounded":[32],"weights":[33],"$c_{p}$.":[34],"We":[35,141],"prove":[36],"three":[37],"groups":[38],"of":[39,74,100,113,117,153,167,177,205,211,231,237,266],"results":[40],"$H_{n}$.":[42],"First,":[43],"$H_{n}$":[44,75],"is":[45,104,156,163,268],"a":[48,120],"$\\\\mathbb{Z}/2$-symmetric":[49],"spectrum,":[50],"its":[51,65],"second":[52],"moment":[53,66],"admits":[54],"exact":[56,81,165],"trace":[57],"formula":[58,83,170],"$\\\\operatorname{Tr}(H_{n}^{2})":[59],"2\\\\sum_{p\\\\leq":[61],"c_{p}^{2}\\\\sigma_{p}(n/p)$,":[63],"sequence":[67],"satisfies":[68],"Carleman's":[69],"criterion.":[70],"Second,":[71],"kernel":[73],"has":[76],"positive":[77,102],"density,":[78],"dimension":[82,93],"$\\\\dim":[84],"\\\\ker(H_{n})":[85],"d_{n}":[87],"-":[88,95],"2\\\\operatorname{rank}(A)$":[89],"level-one":[92],"$\\\\pi(n)":[94],"\\\\pi(n/2)$;":[96],"spectral":[98],"measure":[99,112],"part":[103],"heavy-tailed":[105],"mutually":[107],"singular":[108],"empirical":[111],"nontrivial":[115,209],"zeros":[116,210],"$\\\\zeta$,":[118],"providing":[119,253],"structural":[121],"obstruction":[122],"to":[123,181],"Hilbert--P\\\\'olya":[125],"program":[126],"$\\\\Delta_{n}$.":[128],"Third,":[129],"we":[130],"revisit":[131],"Toeplitz":[133],"pencil":[134,202],"constructed":[135],"Guinand--Weil":[138],"explicit":[139,169],"formula.":[140],"show":[142],"that":[143,235],"restriction":[145],"$\\\\Delta_{\\\\max}\\\\lesssim":[146],"0.3$":[147],"imposed":[148],"in":[149,184],"an":[150,164],"earlier":[151],"version":[152],"this":[154,261],"work":[155],"not":[157],"intrinsic:":[158],"pole":[160],"term":[161],"$\\\\cosh(\\\\Delta/2)\\\\mathrm{e}^{\\\\sigma^{2}/4}$":[162],"contribution":[166],"can":[172],"retained":[174],"without":[175],"loss":[176],"numerical":[178,254],"stability":[179],"up":[180],"$\\\\Delta_{\\\\max}\\\\sim":[182],"15$":[183],"double":[185],"precision.":[186],"With":[187],"parameters":[188],"$\\\\sigma":[189],"2.5\\\\times":[191],"10^{-4}$,":[192,196],"$\\\\delta":[193],"5\\\\times":[195],"$K":[197],"3\\\\times":[199],"10^{4}$,":[200],"recovers":[203],"$1839$":[204],"first":[207],"2000":[208],"$\\\\zeta$":[212],"mean":[214],"relative":[215],"error":[216],"$0.3249\\\\%$,":[217],"median":[218,249],"$0.4155\\\\%$,":[219],"maximum":[221],"$0.5000\\\\%$.":[222],"A":[223],"reality":[224],"test":[225],"generalised":[228],"eigenvalues---the":[229],"deviation":[230,250],"$|z_{k}|$":[232],"$1$---shows":[234],"$5576$":[236],"$7000$":[238],"extracted":[239],"modes":[240],"lie":[241],"unit":[244],"circle":[245],"within":[246],"$10^{-4}$,":[247],"$3.75\\\\times":[251],"10^{-5}$,":[252],"evidence":[255],"for":[256],"Riemann":[258],"Hypothesis":[259],"finite":[262],"dataset.":[263],"No":[264],"proof":[265],"RH":[267],"claimed.":[269]}