{"id":"arxiv/2604.25446","url":"https://arxiv.org/abs/2604.25446","tags":["math.NT","math.CO","math.DS"],"score":0,"title":"The Subtractive Divisor Orbit: Unconditional Bounds, Parity Constraints, and a Conditional Framework","domain":"math.NT","source":"arxiv","authors":["Marco Mantovanelli"],"reviews":0,"subject":"math.NT","summary":"Let $τ(n)$ denote the number of positive divisors of $n$. Starting from $n_0=x$, consider the orbit $n_{j+1}=n_j-τ(n_j)$, and let $a(x)$ be its hitting time of zero. Although the average order of $τ$ suggests $a(x)\\asymp x/\\log x$, the orbit samples the divisor function endogenously, and no unconditional estimate of this order is known to us. We prove the exact identity $\\sum_{j<a(x)}τ(n_j)=x$ and the unconditional bounds $$ \\frac{x}{(\\log(2x))^3}\\ll a(x)\\le \\frac{3x}{8}+O\\!\\left(\\frac{\\sqrt{x}}{\\log x}\\right). $$ We also show that the orbit changes parity exactly at square states. On dyadic…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-28","reactions":{}}