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

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