Banks–Martin conjecture for odd-prime-supported primitive sets

Let Ω(n)\Omega(n) be the number of prime factors of nn, counted with multiplicity, and let Nk={n:Ω(n)=k}\mathbb{N}_k=\{n:\Omega(n)=k\}. For a set of odd primes Q\mathcal Q, write A(Q)A(\mathcal Q) for the members of AA composed only of primes in Q\mathcal Q, and similarly let Nk(Q)\mathbb{N}_k(\mathcal Q) denote the members of Nk\mathbb{N}_k composed only of primes in Q\mathcal Q. Banks–Martin conjecture. If k1k\ge1 and AA is a primitive set such that Ω(n)k\Omega(n)\ge k for every nAn\in A, then for every set of odd primes Q\mathcal Q,

f(A(Q))f(Nk(Q)).f(A(\mathcal Q))\le f\big(\mathbb{N}_k(\mathcal Q)\big).

This is presented as a broad generalization of the Erdős primitive set conjecture and as a related open question. The source gives no resolution of this formulation.

Sources & referencesView supporting material

Primary source

Jared Duker Lichtman, “A proof of the Erdős primitive set conjecture”, arXiv:2202.02384 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.