Manickam–Miklós–Singhi conjecture

Let n,kn,k be natural numbers with n4kn\geq 4k, and let x1,x2,,xnx_1,x_2,\dots,x_n be real numbers satisfying

i=1nxi0.\sum_{i=1}^n x_i\geq 0.

Manickam–Miklós–Singhi conjecture. There exist at least (n1k1)\binom{n-1}{k-1} subsets A[n]A\subseteq [n] such that A=k|A|=k and

iAxi0.\sum_{i\in A}x_i\geq 0.

The bound is motivated by assigning one element weight 11 and each of the remaining n1n-1 elements weight 1/(n1)-1/(n-1), for which exactly the kk-subsets containing the positive element have nonnegative sum. The source presents this as the MMS conjecture in the range n4kn\geq 4k; no resolution evidence is supplied here.

Sources & referencesView supporting material

Primary source

Adam Džavoronok, “The Manickam-Miklós-Singhi Property in Graphs and Hypergraphs”, arXiv:2605.22708 (2026).

Additional references

10 papers in this index state this conjecture (2010–2026). The statement above is taken from the most recent of them; the others are arXiv:2310.13777, arXiv:2102.11142, arXiv:1509.04331, arXiv:1505.06984, arXiv:1407.4720, arXiv:1310.0989, arXiv:1306.0943, arXiv:1302.3636, arXiv:1011.2803.

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.