Sun's conjecture on the new constant wr(n)w_r(n)

From papers

Let n>1n>1 and r>0r>0 be integers. Define wr(n)w_r(n) as the least positive integer kk such that, for any kk integer vectors ai=(ai1,,air){\bf a}_i=(a_{i1},\ldots,a_{ir}) not congruent to 0=(0,,0){\bf 0}=(0,\ldots,0) modulo nn, there is an I{1,,k}I\subseteq\{1,\ldots,k\} such that

iIai0(modn)\sum_{i\in I}{\bf a}_i\equiv{\bf 0}\pmod n

but

iIai≢0(modn2).\sum_{i\in I}{\bf a}_i\not\equiv{\bf 0}\pmod {n^2}.

Sun's conjecture. Let n>1n>1 be an integer. (i) For any 2n12n-1 integers a1,,a2n1a_1,\ldots,a_{2n-1} not divisible by nn, there is an I{1,,2n1}I\subseteq\{1,\ldots,2n-1\} with I{n,n+1}|I|\in\{n,n+1\} such that iIai\sum_{i\in I}a_i is divisible by nn but not divisible by n2n^2. (ii) We have w2(n)=4n3w_2(n)=4n-3. These claims are motivated by the preceding exact results for w1(n)w_1(n) and by the equality s(Zn2)=4n3s(\mathbb Z_n^2)=4n-3; the source reports them as conjectures based on computation, with no resolution supplied.

Progress summary

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

Sources & referencesView supporting material

Primary source

Zhi-Wei Sun, “On zero-sum problems of new types”, arXiv:2606.18234 (2026).

Solutions 0

No solutions have been posted yet.