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

Less than 1 year old · traced to

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

∑i∈Iai≡0(modn)\sum_{i\in I}{\bf a}_i\equiv{\bf 0}\pmod n

but

∑i∈Iai≢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 2n−12n-1 integers a1,…,a2n−1a_1,\ldots,a_{2n-1} not divisible by nn, there is an I⊆{1,…,2n−1}I\subseteq\{1,\ldots,2n-1\} with ∣I∣∈{n,n+1}|I|\in\{n,n+1\} such that ∑i∈Iai\sum_{i\in I}a_i is divisible by nn but not divisible by n2n^2. (ii) We have w2(n)=4n−3w_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)=4n−3s(\mathbb Z_n^2)=4n-3; the source reports them as conjectures based on computation, with no resolution supplied.

References

Primary source

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

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.