Prime-shift operators on Bj\"orner's complex of squarefree integers: an exact decomposition of the Mertens invariant, rigorous recovery bounds for the Guinand--Weil pipeline, and a structural obstruction to the spectral modification

{"Let":[0],"$\\\\Delta_{n}$":[1],"denote":[2],"Bj\\\\\\"orner's":[3],"simplicial":[4],"complex":[5],"on":[6,311],"the":[7,19,24,35,41,56,64,69,84,151,167,192,205,220,229,238,241,262,266,270,278,289,297,303,312,322,327,339,348,354,364,379,383,387,412,425,428,435,441],"squarefree":[8,209],"integers":[9],"$m\\\\leq":[10],"n$":[11],"and":[12,59,213,265],"let$H_{n}":[13],"=":[14,87,92,113,121,126,130,200,232,246,344],"\\\\sum_{p\\\\leq":[15],"n}c_{p}(T_{p}":[16],"+":[17,89,96,234,248],"T_{p}^{*})$be":[18],"self-adjoint":[20],"operator":[21],"obtained":[22],"from":[23],"prime-shift":[25],"operators":[26,429],"$T_{p}$":[27],"with":[28,202,296],"bounded":[29],"weights":[30],"$c_{p}$.":[31],"This":[32,218],"paper":[33],"is":[34,83,115,133,135,139,170,236,244,317,367,376,409,417,444],"fifth":[36],"revision":[37,350],"of":[38,47,81,175,195,274,326,356,374,382,401,403,414,424,440],"\\\\cite{pavesi2026v1},":[39],"superseding":[40],"first":[42],"four.":[43],"It":[44],"contains":[45],"corrections":[46],"errors,":[48],"new":[49],"exact":[50,186,221],"results,":[51],"rigorous":[52],"stability":[53,285],"bounds":[54,260],"for":[55,223,261,287],"Toeplitz--Hankel":[57],"pipeline,":[58],"a":[60,284,309],"structural":[61],"obstruction":[62],"to":[63,155,158,211,302,353],"spectral":[65,340,365],"modification":[66,341],"conjectured":[67,346],"in":[68,150,269,277,319,347,386,405,434],"fourth":[70,349,426],"revision.":[71],"Corrections.":[72],"(i)":[73],"The":[74,99,108,146,173,371,399],"bipartite":[75],"block":[76],"$A:":[77],"C_{\\\\mathrm{even}}":[78,123],"\\\\to":[79],"C_{\\\\mathrm{odd}}$":[80],"$H_{n}$":[82,176,375,391,404],"full":[85,168],"sum$A":[86],"A_{\\\\uparrow}":[88],"A_{\\\\downarrow}$,":[90],"with$Ae_{m}":[91],"\\\\sum_{p\\\\nmid":[93],"m,pm\\\\le":[94],"n}c_{p}e_{pm}":[95],"\\\\sum_{p\\\\mid":[97],"m}c_{p}e_{m/p}$.(ii)":[98],"maximal":[100,193],"elements":[101,194],"span":[102],"$\\\\ker":[103,106,111,137,143],"A_{\\\\uparrow}$,":[104],"not":[105,157,182,237,432],"A$.":[107],"earlier":[109,152],"statement":[110],"A":[112,120],"\\\\{0\\\\}$":[114],"false:":[116],"at":[117,160],"$n=10^{4}$,":[118,161],"$\\\\dim\\\\ker":[119],"\\\\dim":[122,249,252],"-":[124,128,251],"\\\\operatorname{rank}(A)":[125],"3030":[127],"2141":[129],"889$.":[131],"What":[132],"true":[134],"that":[136,191,228,316,338],"A$":[138],"strictly":[140],"smaller":[141],"than":[142],"A_{\\\\uparrow}|_{C_{\\\\mathrm{even}}}$.":[144],"(iii)":[145],"values":[147],"$c_{*}$":[148],"reported":[149],"revisions":[153],"correspond":[154],"$A_{\\\\uparrow}$,":[156],"$A$;":[159],"$\\\\operatorname{rank}(A_{\\\\uparrow})=1125$,":[162],"$\\\\operatorname{rank}(A)=2141$,":[163],"so":[164,363],"$c_{*}=0.185$":[165],"while":[166,378,411],"density":[169,179,400,413],"$c=0.352$.":[171],"(iv)":[172],"kernel":[174],"therefore":[177],"has":[178],"$1-2c\\\\approx":[180],"0.296$,":[181],"$1-2c_{*}\\\\approx":[183],"0.630$.":[184],"New":[185],"results.":[187],"(v)":[188],"We":[189,226,257,282,307,332,419],"prove":[190,227,258,283,308,333],"$[1,n]$":[196],"are":[197],"exactly":[198],"$m":[199],"P_{k}m'$":[201],"$P_{k}=p_{1}\\\\cdots":[203],"p_{k}$":[204],"$k$-th":[206],"primorial,":[207],"$m'$":[208],"coprime":[210],"$P_{k}$,":[212],"$m'":[214],"\\\\in":[215],"(n/(p_{k+1}P_{k}),\\\\,":[216],"n/(p_{k}P_{k})]$.":[217],"yields":[219],"formula":[222,389],"$M_{\\\\mathcal{M}}(n)$.":[224],"(vi)":[225],"identity":[230,243],"$M(n)":[231,245],"M_{\\\\mathcal{M}}(n)":[233,247],"M_{\\\\mathcal{M}}^{T}(n)$":[235],"correct":[239,242,421],"decomposition;":[240],"R_{n}^{\\\\uparrow}":[250],"R_{n}^{\\\\uparrow,T}$.":[253],"Rigorous":[254],"recovery.":[255],"(vii)":[256],"truncation":[259,279],"prime-power":[263],"sum":[264],"archimedean":[267],"integral":[268],"explicit":[271,388],"formula,":[272],"both":[273],"order":[275],"$O(e^{-c^{2}/4})$":[276],"parameter.":[280],"(viii)":[281],"theorem":[286],"ESPRIT:":[288],"recovery":[290],"error":[291,423],"scales":[292],"as":[293],"$\\\\varepsilon\\\\,":[294],"e^{\\\\sigma^{2}\\\\gamma_{M}^{2}}$,":[295],"exponential":[298,318],"amplification":[299],"being":[300],"intrinsic":[301],"inverse":[304],"problem.":[305],"(ix)":[306],"bound":[310],"Vandermonde":[313],"conditioning":[314],"$C_{M,\\\\delta,K}$":[315],"$M$,":[320],"identifying":[321],"fundamental":[323],"numerical":[324],"bottleneck":[325],"pipeline.":[328],"Structural":[329],"obstruction.":[330],"(x)":[331],"three":[334],"independent":[335],"obstructions":[336],"showing":[337],"$\\\\tilde":[342],"H_{n}":[343],"(I-P_{n})H_{n}(I-P_{n})$":[345],"cannot":[351],"converge":[352],"zeros":[355,415],"$\\\\zeta$.":[357],"(I)":[358],"For":[359],"$s>1/2$,":[360],"$\\\\|H_{n}\\\\|_{\\\\mathrm{op}}\\\\le":[361],"2P(s)$,":[362],"measure":[366],"compactly":[368],"supported.":[369],"(II)":[370],"second":[372,380],"moment":[373,381],"finite,":[377],"prime":[384,394],"term":[385],"diverges:":[390],"misses":[392],"all":[393],"powers":[395],"$p^{j}$,":[396],"$j\\\\ge2$.":[397],"(III)":[398],"eigenvalues":[402],"any":[406],"fixed":[407],"interval":[408],"uniform,":[410],"$\\\\gamma_{\\\\rho}$":[416],"logarithmic.":[418],"also":[420],"an":[422],"revision:":[427],"$\\\\gamma_{p}=T_{p}+T_{p}^{*}$":[430],"do":[431],"commute":[433],"truncated":[436],"complex.":[437],"No":[438],"proof":[439],"Riemann":[442],"Hypothesis":[443],"claimed.":[445]}