The Subtractive Divisor Orbit: Unconditional Bounds, Parity Constraints, and a Conditional Framework
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.25446
curl -X POST /api/v1/records/arxiv/2604.25446/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.25446/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'