Ramaekers's strong nn-conjecture

Let n3n\geq 3. For an nn-tuple a=(a1,,an)Zna=(a_1,\ldots,a_n)\in\mathbb{Z}^n with nonzero entries, write

q(a)=log(max{a1,,an})lograd(a1an),q(a)=\frac{\log(\max\{|a_1|,\ldots,|a_n|\})}{\log\operatorname{rad}(a_1\cdots a_n)},

and for a sequence A={a(1),a(2),}A=\{a^{(1)},a^{(2)},\ldots\} of such tuples write QA=lim supkq(a(k))Q_A=\limsup_{k\to\infty}q(a^{(k)}). Let R(n)R(n) be the set of nn-tuples (a1,,an)Zn(a_1,\ldots,a_n)\in\mathbb{Z}^n satisfying the stated sum, subsum, and pairwise-coprimality conditions. Ramaekers's conjecture. For every n3n\geq 3, QR(n)=1Q_{R(n)}=1.

This is a strong generalisation of the abcabc-conjecture. The paper's abstract states that the conjecture is false for every n5n\geq 5, while the case n=3n=3 is equivalent to the abcabc-conjecture.

Sources & referencesView supporting material

Primary source

Rupert Hölzl, Sören Kleine and Frank Stephan, “Improved lower bounds for strong n-conjectures”, arXiv:2409.13439 (2025).

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.