Indexed metadata

A Two-Variable Zeta Function for a Parity-Perturbed Hofstadter Q-Recursion: The Exceptional t = -1 Slice and Gaussian Boundary Layers

Marco Mantovanelli

Source record

Source: arXiv

Published: Sep 2, 2026

arXiv: 2609.02412

Open original source ↗

Source abstract

We study the parity-perturbed Hofstadter QQ-recursion Q~(1)=Q~(2)=1,Q~(n)=Q~(nQ~(n1))+Q~(nQ~(n2))+(1)n, \widetilde Q(1)=\widetilde Q(2)=1,\qquad \widetilde Q(n)=\widetilde Q(n-\widetilde Q(n-1)) +\widetilde Q(n-\widetilde Q(n-2))+(-1)^n, and the associated two-variable Dirichlet series ZQ~(s,t)=n1nsQ~(n)t. Z_{\widetilde Q}(s,t)=\sum_{n\ge1}n^{-s}\widetilde Q(n)^{-t}. The estimate Q~(n)=n/2+O(n/logn)\widetilde Q(n)=n/2+O(n/\sqrt{\log n}) gives the exact domain of absolute convergence Re(s+t)>1\operatorname{Re}(s+t)>1. With w=s+tw=s+t, we separate the universal term 2tζ(w)2^tζ(w) and derive exact transport, frequency-position, and dyadic renormalization identities. The main result concerns t=1t=-1. For E(n)=2Q~(n)nE(n)=2\widetilde Q(n)-n and A(X)=nXE(n)A(X)=\sum_{n\le X}E(n), the binary-arch clock yields A(X)=Xlog2X+XΩ ⁣(log23X32)+O ⁣(XlogX), A(X)=X\log_2X+XΩ\!\left(\log_2\frac{3X}{32}\right) +O\!\left(\frac{X}{\sqrt{\log X}}\right), where ΩΩ is an explicit continuous periodic function. This continues the normalized correction to Rew>0\operatorname{Re}w>0 and yields a boundary resonance lattice: a double resonance at w=0w=0 and simple resonances at 2πim/log22πi m/\log2. After subtracting the full-slice order-XX skeleton, we analyze the negative-even arch channel. Its companion-forest layers have a weak Gaussian limit, and a canonical subsequence realizes the optimal n/lognn/\sqrt{\log n} pointwise scale with an explicit signed constant. The negative-arch mass satisfies Ar=51292π16rr(11316r+O(r2)). A_r=\frac{512}{9\sqrt{2π}}\frac{16^r}{\sqrt r} \left(1-\frac{13}{16r}+O(r^{-2})\right). We do not claim a full-slice continuation across Rew=0\operatorname{Re}w=0.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.