English

Erd\H{o}s inequality for primitive sets

Number Theory 2024-06-11 v1

Abstract

A set of natural numbers AA is called primitive if no element of AA divides any other. Let Ω(n)\Omega(n) be the number of prime divisors of nn counted with multiplicity. Let fz(A)=aAzΩ(a)a(loga)zf_z(A) = \sum_{a \in A}\frac{z^{\Omega(a)}}{a (\log a)^z}, where zR>0z \in \mathbb{R}_{> 0}. Erd\H{o}s proved in 1935 that f1(A)=aA1alogaf_1(A) = \sum_{a \in A}\frac{1}{a \log a} is uniformly bounded over all choices of primitive sets AA. We prove the same fact for fz(A)f_z(A), when z(0,2)z \in (0, 2). Also we discuss the limz0fz(A)\lim_{z \to 0} f_z(A). Some other results about primitive sets are generalized. In particular we study the asymptotic of fz(Pk)f_z(\mathbb{P}_k), where Pk={n:Ω(n)=k}\mathbb{P}_k = \{ n : \Omega(n) = k \}. In case of z=1z = 1 we find the next term in asymptotic expansion of f1(Pk)f_1(\mathbb{P}_k) compared to the recent result of Gorodetsky, Lichtman, Wong.

Keywords

Cite

@article{arxiv.2406.05896,
  title  = {Erd\H{o}s inequality for primitive sets},
  author = {Petr Kucheriaviy},
  journal= {arXiv preprint arXiv:2406.05896},
  year   = {2024}
}
R2 v1 2026-06-28T16:58:57.074Z