arXiv++ Combinatorics

A set of integers is primitive if no number in the set divides another. We introduce a new method for bounding Erdős sums of primitive sets, suggested from output of GPT-5.4 Pro, based on Markov chains with von Mangoldt weights. The method leads to a host of applications, yet seems to have been overlooked by the prior literature since Erdős's seminal 1935 paper. As applications, we prove two 1966 conjectures of Erdős-Sárközy-Szemerédi, on primitive sets of large numbers (#1196) and on divisibility chains (#1217). The method also provides a short proof of the Erdős Primitive Set Conjecture (#164), as well as the related claim that 2 is an ''Erdős-strong'' prime. Moreover, the method resolves a revised form of the Banks-Martin conjecture, which has long been viewed as a unifying `master theorem' for the area.

Let ${\rm rad}(n)$ denote the product of distinct prime factors of an integer $n\geq 1$. The celebrated $abc$ conjecture asks whether every solution to the equation $a+b=c$ in triples of coprime integers $(a,b,c)$ must satisfy ${\rm rad}(abc) > K_\varepsilon\, c^{1-\varepsilon}$, for some constant $K_\varepsilon>0$. In this expository note, we present a classical estimate of de Bruijn that implies almost all such triples satisfy the $abc$ conjecture, in a precise quantitative sense. Namely, there are at most $O(N^{2/3})$ many triples of coprime integers in a cube $(a,b,c)\in\{1,\ldots,N\}^3$ satisfying $a+b=c$ and ${\rm rad}(abc) < c^{1-\varepsilon}$. The proof is elementary and essentially self-contained. Beyond revisiting a classical argument for its own sake, this exposition is aimed to contextualize a new result of Browning, Lichtman, and Teräväinen, who prove a refined estimate $O(N^{33/50})$, giving the first power-savings since 1962.

Let $\mathcal{A}\subset\mathbb{R}_{\geqslant1}$ be a countable set such that $\limsup_{x\to\infty}\frac{1}{\log x}\sum_{α\in\mathcal{A}\cap[1,x]}\frac{1}α>0$. We prove that, for every $\varepsilon>0$, there exist infinitely many pairs $(α, β)\in \mathcal{A}^2$ such that $α\neq β$ and $|nα-β| <\varepsilon$ for some positive integer $n$. This resolves a problem of Erdős from 1948. A critical role in the proof is played by the machinery of GCD graphs, which were introduced by the first author and by James Maynard in their work on the Duffin--Schaeffer conjecture in Diophantine approximation.

We study solutions to the equation $a+b=c$, where $a,b,c$ form a triple of coprime natural numbers. The $abc$ conjecture asserts that, for any $ε>0$, such triples satisfy $\mathrm{rad}(abc) \ge c^{1-ε}$ with finitely many exceptions. In this article we obtain a power-saving bound on the exceptional set of triples. Specifically, we show that there are $O(X^{33/50})$ integer triples $(a,b,c)\in [1,X]^3$, which satisfy $\mathrm{rad}(abc) < c^{1-ε}$. The proof is based on a combination of bounds for the density of integer points on varieties, coming from the determinant method, Thue equations, geometry of numbers, and Fourier analysis.

We give a concise and accessible introduction to the real-analytic determinant method for counting integral points on algebraic curves, based on the classic 1989 paper of Bombieri and Pila.

A set of integers greater than 1 is primitive if no member in the set divides another. Erdős proved in 1935 that the series $f(A) = \sum_{a\in A}1/(a \log a)$ is uniformly bounded over all choices of primitive sets $A$. In 1986 he asked if this bound is attained for the set of prime numbers. In this article we answer in the affirmative. As further applications of the method, we make progress towards a question of Erdős, Sárközy, and Szemerédi from 1968. We also refine the classical Davenport-Erdős theorem on infinite divisibility chains, and extend a result of Erdős, Sárközy, and Szemerédi from 1966.

The Erdős primitive set conjecture states that the sum $f(A) = \sum_{a\in A}\frac{1}{a\log a}$, ranging over any primitive set $A$ of positive integers, is maximized by the set of prime numbers. Recently Laib, Derbal, and Mechik proved that the translated Erdős conjecture for the sum $f(A,h) = \sum_{a\in A}\frac{1}{a(\log a+h)}$ is false starting at $h=81$, by comparison with semiprimes. In this note we prove that such falsehood occurs already at $h= 1.04\cdots$, and show this translate is best possible for semiprimes. We also obtain results for translated sums of $k$-almost primes with larger $k$.

For $k\ge1$, a $k$-almost prime is a positive integer with exactly $k$ prime factors, counted with multiplicity. In this article we give elementary proofs of precise asymptotics for the reciprocal sum of $k$-almost primes. Our results match the strength of those of classical analytic methods. We also study the limiting behavior of the constants appearing in these estimates, which may be viewed as higher analogues of the Mertens constant $β=0.2614...$ Further, in the case $k=2$ of semiprimes we give yet finer-scale and explicit estimates, as well as a conjecture.

A set of positive integers is primitive (or 1-primitive) if no member divides another. Erdős proved in 1935 that the weighted sum $\sum1/(n \log n)$ for $n$ ranging over a primitive set $A$ is universally bounded over all choices for $A$. In 1988 he asked if this universal bound is attained by the set of prime numbers. One source of difficulty in this conjecture is that $\sum n^{-λ}$ over a primitive set is maximized by the primes if and only if $λ$ is at least the critical exponent $τ_1 \approx 1.14$. A set is $k$-primitive if no member divides any product of up to $k$ other distinct members. One may similarly consider the critical exponent $τ_k$ for which the primes are maximal among $k$-primitive sets. In recent work the authors showed that $τ_2 < 0.8$, which directly implies the Erdős conjecture for 2-primitive sets. In this article we study the limiting behavior of the critical exponent, proving that $τ_k$ tends to zero as $k\to\infty$.

A set of integers greater than 1 is primitive if no element divides another. Erdős proved in 1935 that the sum of $1/(n \log n)$ for $n$ running over a primitive set $A$ is universally bounded over all choices for $A$. In 1988 he asked if this universal bound is attained by the set of prime numbers. We answer the Erdős question in the affirmative for 2-primitive sets. Here a set is 2-primitive if no element divides the product of 2 other elements.

In 1874, Mertens famously proved an asymptotic formula for the product $p/(p-1)$ over all primes $p$ up to $x$. On the other hand, one may expand Mertens' prime product into series over numbers $n$ with only small prime factors. It is natural to restrict such series to numbers $n$ with a fixed number $k$ of prime factors. In this article, we obtain formulae for these series for each $k$, which together dissect Mertens' original estimate. The proof is by elementary methods of a combinatorial flavor.