The Browkin–Brzeziński strong nn-conjecture for subsum-free integer tuples

For a non-zero integer mm, let rad(m)\operatorname{rad}(m) be its largest square-free positive divisor. For n3n\geq 3 and a=(a1,,an)Zna=(a_1,\ldots,a_n)\in\mathbb{Z}^n with all ai0a_i\neq 0, define

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)}.

For a sequence A={a(1),a(2),}ZnA=\{a^{(1)},a^{(2)},\ldots\}\subseteq\mathbb{Z}^n, define

QA=lim supkq(a(k)).Q_A=\limsup_{k\rightarrow\infty}q(a^{(k)}).

Let A(n)ZnA(n)\subseteq\mathbb{Z}^n be the set of nn-tuples satisfying (Z) a1++an=0a_1+\cdots+a_n=0, (S1) no nontrivial subsum with coefficients in {0,1}\{0,1\} vanishes, and (G1) gcd(a1,,an)=1\operatorname{gcd}(a_1,\ldots,a_n)=1. The Browkin–Brzeziński nn-conjecture. For every n3n\geq 3, one has

QA(n)=2n5.Q_{A(n)}=2n-5.

This is one of the strong nn-conjectures studied over the rational integers; the supplied material does not state whether it has been resolved.

Sources & referencesView supporting material

Primary source

Rupert Hölzl, Sören Kleine and Frank Stephan, “Strong n-conjectures over rings of integers”, arXiv:2503.05296 (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.