In mathematics, Hooley's delta function, also called Erdős--Hooley delta-function, defines the maximum number of divisors of n {\displaystyle n} in [ u , e u ] {\displaystyle [u,eu]} for all u {\displaystyle u} , where e {\displaystyle e} is Euler's number. It is usually denoted Δ ( n ) {\displaystyle \Delta (n)} . The first few terms of this sequence are
1 , 2 , 1 , 2 , 1 , 2 , 1 , 2 , 1 , 2 , 1 , 3 , 1 , 2 , 2 , 2 , 1 , 2 , 1 , 3 , 2 , 2 , 1 , 4 , … {\displaystyle 1,2,1,2,1,2,1,2,1,2,1,3,1,2,2,2,1,2,1,3,2,2,1,4,\dots }
(sequence A226898 in the OEIS).
History The sequence was first introduced by Paul Erdős in 1974, then studied by Christopher Hooley in 1979. In 2023, Dimitris Koukoulopoulos and Terence Tao proved that
∑ k = 1 n Δ ( k ) ≪ n ( log log n ) 11 / 4 {\displaystyle \sum _{k=1}^{n}\Delta (k)\ll n(\log \log n)^{11/4}}
for n ≥ 100 {\displaystyle n\geq 100} . In particular, the average order of Δ ( n ) {\displaystyle \Delta (n)} to k {\displaystyle k} is O ( ( log n ) k ) {\displaystyle O((\log n)^{k})} for any k > 0 {\displaystyle k>0} . In 2024, Kevin Ford along with Koukoulopoulos and Tao proved the lower bound
∑ k = 1 n Δ ( k ) ≫ n ( log log n ) 1 + η − ϵ , {\displaystyle \sum _{k=1}^{n}\Delta (k)\gg n(\log \log n)^{1+\eta -\epsilon },}
where ϵ {\displaystyle \epsilon } is fixed, η = 0.3533227 … {\displaystyle \eta =0.3533227\ldots } , and n ≥ 100 {\displaystyle n\geq 100} .
Usage This function measures the tendency of divisors of a number to cluster. The growth of this sequence is limited by Δ ( m n ) ≤ Δ ( n ) d ( m ) {\displaystyle \Delta (mn)\leq \Delta (n)d(m)} , where d ( n ) {\displaystyle d(n)} is the number of divisors of n {\displaystyle n} .
See also Divisor function Euler's number
References
