Anti-pencil conjecture for the maximum number of non-negative-sum subsets

Let AA be a set of nn real numbers with total sum zero, and let μk(A)\mu_k(A) denote the number of kk-subsets of AA with non-negative sum. Let μmax(k,n)\mu_{\max}(k,n) be the maximum of μk(A)\mu_k(A) over all such sets AA.

Anti-pencil conjecture. If n4kn\geq 4k, then

μmax(k,n)=(n1k).\mu_{\max}(k,n)=\binom{n-1}{k}.

The lower bound is attained by choosing exactly one negative element, yielding a kk-anti-pencil. Determining μmax(k,n)\mu_{\max}(k,n) is described as a wide open problem, and the conjecture asserts optimality of this construction in the stated range.

Sources & referencesView supporting material

Primary source

Tony Huynh, “Extremal Problems for Subset Divisors”, arXiv:1306.0943 (2014).

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.