Pith. sign in

REVIEW

An upper bound on the mean value of the Erd\H{o}s-Hooley Delta function

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2306.08615 v4 pith:IDU2AEZK submitted 2023-06-14 math.NT

classification math.NT
keywords deltafunctionmathbbs-hooleyboundbretdefinedearlier
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
abstract

The Erd\H{o}s-Hooley Delta function is defined for $n\in\mathbb{N}$ as $\Delta(n)=\sup_{u\in\mathbb{R}} \#\{d|n : e^u<d\le e^{u+1}\}$. We prove that $\sum_{n\le x} \Delta(n) \ll x(\log\log x)^{11/4}$ for all $x\ge100$. This improves on earlier work of Hooley, Hall--Tenenbaum and La Bret\`eche-Tenenbaum.

Discussion (0). Continue with ORCID to comment.

Pith tools