Divisor-sum fibers

From MaRDI portal



Abstract: Let s(cdot) denote the sum-of-proper-divisors function, that is, s(n)=sumdmidn,d<nd. ErdH{o}s-Granville-Pomerance-Spiro conjectured that for any set mathcalA of asymptotic density zero, the preimage set s−1(mathcalA) also has density zero. We prove a weak form of this conjecture: If epsilon(x) is any function tending to 0 as xoinfty, and mathcalA is a set of integers of cardinality at most xfrac12+epsilon(x), then the number of integers nlex with s(n)inmathcalA is o(x), as xoinfty. In particular, the EGPS conjecture holds for infinite sets with counting function O(xfrac12+epsilon(x)). We also disprove a hypothesis from the same paper of EGPS by showing that for any positive numbers alpha and epsilon, there are integers n with arbitrarily many s-preimages lying between alpha(1−epsilon)n and alpha(1+epsilon)n. Finally, we make some remarks on solutions n to congruences of the form sigma(n)equivapmodn, proposing a modification of a conjecture appearing in recent work of the first two authors. We also improve a previous upper bound for the number of solutions nleqx, making it uniform in a.











This page was built for publication: Divisor-sum fibers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3176198)