Abstract:Let $\tau(n)$ denote the number of positive divisors of $n$. Starting from $n_0=x$, consider the orbit $n_{j+1}=n_j-\tau(n_j)$, and let $a(x)$ be its hitting time of zero. Although the average order of $\tau$ 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)}\tau(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 orbit segments, we establish a local-to-global criterion, a large-value truncation, and a quantitative implication from small relative variance to a step-mass-saturating dynamic near-ladder. Finally, under two explicit hypotheses -- a regularity-or-ladder dichotomy and an anti-ladder estimate -- we obtain $a(x)\asymp x/\log x$.
From: Marco Mantovanelli [view email]
[v1]
Tue, 28 Apr 2026 09:57:34 UTC (602 KB)
[v2]
Tue, 21 Jul 2026 09:49:33 UTC (14 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。