arXiv++ Combinatorics

Let $n$ and $r$ be two integers such that $0 < r \le n$; we denote by $γ(n,r)$ [$η(n,r)$] the minimum [maximum] number of the non-negative partial sums of a sum $\sum_{1=1}^n a_i \ge 0$, where $a_1, \cdots, a_n$ are $n$ real numbers arbitrarily chosen in such a way that $r$ of them are non-negative and the remaining $n-r$ are negative. Inspired by some interesting extremal combinatorial sum problems raised by Manickam, Miklös and Singhi in 1987 \cite{ManMik87} and 1988 \cite{ManSin88} we study the following two problems: \noindent$(P1)$ {\it which are the values of $γ(n,r)$ and $η(n,r)$ for each $n$ and $r$, $0 < r \le n$?} \noindent$(P2)$ {\it if $q$ is an integer such that $γ(n,r) \le q \le η(n,r)$, can we find $n$ real numbers $a_1, \cdots, a_n$, such that $r$ of them are non-negative and the remaining $n-r$ are negative with $\sum_{1=1}^n a_i \ge 0$, such that the number of the non-negative sums formed from these numbers is exactly $q$?} \noindent We prove that the solution of the problem $(P1)$ is given by $γ(n,r) = 2^{n-1}$ and $η(n,r) = 2^n - 2^{n-r}$. We provide a partial result of the latter problem showing that the answer is affirmative for the weighted boolean maps. With respect to the problem $(P2)$ such maps (that we will introduce in the present paper) can be considered a generalization of the multisets $a_1, \cdots, a_n$ with $\sum_{1=1}^n a_i \ge 0$. More precisely we prove that for each $q$ such that $γ(n,r) \le q \le η(n,r)$ there exists a weighted boolean map having exactly $q$ positive boolean values.

In this paper we introduce the notion of {\it core} for two specific classes of boolean maps on finite involution posets (which are a generalization of the boolean lattices) and we prove some extension results for such families of boolean maps. Through the properties of the core, we provide a complete characterization of such maps. The main purpose of such abstract results is their application to the study of the compatibility of a particular class of systems of linear inequalities related to a conjecture of Manickam, Miklös and Singhi (\cite{ManSin88}, \cite{ManMik87}), still unsolved and that can be considered dual to the theorem of Erdös-Ko-Rado \cite{erd-ko-rad}.

The aim of this paper is to build a new family of lattices related to some combinatorial extremal sum problems, in particular to a conjecture of Manickam, Miklös and Singhi. We study the fundamentals properties of such lattices and of a particular class of boolean functions defined on them.