Indexed metadata

The density of sums of distinct divisors

Scott D. Hughes

Source record

Source: arXiv

Published: Sep 21, 2026

arXiv: 2609.25446

Open original source ↗

Source abstract

For a positive integer tt, let dtd_t denote the natural density of the set of nn for which tt is a sum of distinct divisors of nn. Erdős proved that dtd_t exists, gave an unspecified polylogarithmic upper bound, asserted without proof a matching lower bound, and asked whether dtc3/(logt)c4d_t \sim c_3/(\log t)^{c_4}. We record the explicit bounds νtdt(loglogt)δ3/2(logt)δ,νt=Klogt(1+O(loglogtlogt)), ν_t \le d_t \ll \frac{(\log\log t)^{δ-3/2}}{(\log t)^δ}, \qquad ν_t = \frac{K}{\log t}\Bigl(1 + O\Bigl(\frac{\log\log t}{\log t}\Bigr)\Bigr), where δ=0.086071δ= 0.086071\ldots is the Erdős--Ford--Tenenbaum constant, K=ceγK=c\,e^{-γ}, and c=1.33607c=1.33607\ldots is the practical-number constant. Consequently, if Erdős's asymptotic holds, then δ<c41δ<c_4\le 1. A two-prime construction, using a half-scale sumset to obtain full residue coverage, then yields the pointwise excess lim inft(logt)(dtνt)KI, \liminf_{t\to\infty}(\log t)\,(d_t-ν_t) \ge KI, where I=02G(w)dw=0.05887I=\int_0^2 G(w)\,\mathrm{d}w=0.05887\ldots is an explicit elementary integral. In particular dt0.79/logtd_t\ge 0.79/\log t for every sufficiently large tt, and dtd_t is not asymptotic to K/logtK/\log t.

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.

The density of sums of distinct divisors — Mathematical Frontier Network