arXiv Science⌕ Search

arXiv · 2611.01453

An Odd-Arch Family of Perturbed Hofstadter Q-Recursions: Gaussian Profiles and Exact Frequency Laws

Abstract

For every integer $p\ge2$, we construct a globally well-defined positive odd sequence $Q_p$ satisfying, after an explicit finite initial block, $Q_p(n)=Q_p(n-Q_p(n-1))+Q_p(n-Q_p(n-2))-(-1)^n$. Its binary block words admit the exact factorization $U_{p,k}=(A_k\overline{A}_{k+1})^{p-1}A_{k+2}$, producing exactly $2p-1$ alternating signed arches per natural block. The elementary word heights converge uniformly to the Gaussian isoperimetric profile $φ\circΦ^{-1}$. For each fixed $p$, this yields an explicit dyadic limiting profile with $2p-1$ sign transitions and a sharp relative-error constant $Λ_p=b_p/2$, where $b_p$ is determined by $b_p((3p-1)/2+Φ(-b_p))=φ(b_p)$. We determine all zeros and parity crossings in sufficiently large dyadic blocks. For $p\ge3$, there are exactly $2p-1$ transverse even-index zeros, whereas the three-arch case $p=2$ exhibits an alternating four/six-zero pattern. An ordered frequency factorization gives exact dyadic histograms, moments, total-variation distances, and extremal multiplicities. The limiting frequency generating function $z^3/(2-z)$ is universal, although the highest finite multiplicities depend on $p$. Finally, the summatory function has main terms $N^2/4+(N/2)\log_2N$, an explicit parameter-dependent log-periodic term of order $N$, and remainder $O_p(N/\sqrt{\log N})$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Marco Mantovanelli. 2026-11-01. An Odd-Arch Family of Perturbed Hofstadter Q-Recursions: Gaussian Profiles and Exact Frequency Laws. https://arxiv.org/abs/2611.01453

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Connected Dominating Sets in Triangulations

A dominating set of a graph $G$ is \emph{connected} if it induces a connected graph in $G$. For planar triangulations, it has been known since 1990 that every $n$-vertex triangulation with $n\ge4$ admits a connected dominating set of size at most $n/2 - 1$, and no improvement to this bound was known for over three decades. We break this longstanding barrier by showing that every $n$-vertex triangulation has a connected dominating set of size at most $10n/21$. Equivalently, every triangulation admits a spanning tree with at least $11n/21$ leaves. This result has graph drawing applications, establishing a bound for one-bend free sets and improving the known bound for simultaneous planar embeddings. The connected dominating set results extend readily to show that an $n$-vertex triangulation of a surface of Euler genus $g$ has a connected dominating set of size at most $10n/21+O(\sqrt{gn})$.

math.CO↗

Curves on the torus with few intersections

Aougab and Gaster [Math. Proc. Cambridge Philos. Soc. 174 (2023), 569-584] proved that any set of simple closed curves on the torus, where any two are non-homotopic and intersect at most k times, has a maximum size of $k+O(\sqrt{k}\log k)$. We determine the maximum size of such a set for every k. In particular, the maximum never exceeds k+6, and it does not exceed k+4 when k is large. As this quantity coincides with the maximal number of columns of a generic k-modular matrix with two rows, our result also settles the column number problem, a problem of interest in combinatorial optimization, for such matrices.

math.CO↗

Spectral extrema on closed surfaces of fixed Euler genus

We investigate a classical extremal problem in combinatorics and topological graph theory: determining the maximum spectral radius $spex(n,γ)$ of all $n$-vertex graphs embeddable on a closed surface of Euler genus $γ$. Building on seminal contributions by Boots and Royle, Cao and Vince, and Hong in the 1990s; Ellingham and Zha in 2000; Dvořák and Mohar in 2010; Tait and Tobin in 2017; and Liu, Ning, and Wang in 2026, we provide a complete characterization of spectral extremal graphs for any fixed Euler genus $γ$ and all sufficiently large $n$. The extremal graph attaining $\operatorname{spex}(n,γ)$ is unique, necessarily edge-extremal, and, roughly speaking, is constructed from the join $K_2 \nabla P_{n-2}$ by adding exactly $3γ$ edges. As a consequence, we derive asymptotically tight estimates for $\operatorname{spex}(n,γ)$, strengthening a classical bound due to Ellingham and Zha [J. Combin. Theory B, 2000]. We further characterize the extremal structures for the projective plane and torus, sharpening earlier bounds of Hong [J. Combin. Theory B, 1995]. For the planar case, we establish an explicit vertex threshold of $4.5\times 10^6$ for the Tait--Tobin theorem. Our approach combines extremal constructions of cellular embeddings, topological edge-switching techniques, and walk-counting estimates for large-scale substructures, revealing a bridge between spectral extremality and surface topology.

math.CO↗