This catalogue contains all permutational types of non-trivial min-balanced systems on sets having at most \(5\) elements. We present a number of characteristics of these permutational types. In order to shorten the notation we write \(abc\) instead of \(\{a,b,c\}\).
Given a non-empty finite basic set \(N\) with \(|N|\geq2\), any min-balanced system on \(N\) is given by the list of sets in the system: \(\mathcal{B} = \{B_1,\ldots, B_k\}, k \geq 2\), where \(N=B_1 \cup \ldots \cup B_k\).
More specifically, given a fixed non-empty subset \(M\) of the basic set \((M \subseteq N)\) we say that \(\mathcal{B} \subseteq \mathcal{P}(N) := \{ S: S \subseteq N\}\) is min-balanced (= minimal balanced) on the set \(M\) if it is a minimal set system such that strictly positive real coefficients \(\lambda_S > 0, S \in \mathcal{B}\) exist such that \(\chi_M = \sum_{S \in \mathcal{B}}\lambda_S\cdot\chi_S\), where \(\chi_S\) denotes the incidence vector of \(S \subseteq N\) (in \(\mathbb{R}^N\)). These coefficients are uniquely determined rational numbers; therefore a unique positive integer \(k \in \mathbb{Z}\) exists such that \(\{k\cdot \lambda_S:S\in\mathcal{B}\}\) are integers with no common prime divisor. The (min-balanced) system \(\mathcal{B}\) is ascribed a standardized inequality $$ \alpha(N)\cdot m(N) + \sum_{S \in \mathcal{B}} \alpha(S)\cdot m(S) + \alpha(\emptyset)\cdot m(\emptyset) \geq 0$$ for a real set function \(m: \mathcal{P}(N) \rightarrow \mathbb{R}\), where \(\mathcal{P}(N)\) is the power set of \(N\). Specifically, \(\alpha(N) = k\), \(\alpha(S) = -k\cdot\lambda_S\) for \(S\in\mathcal{B}\) and \(\alpha(\emptyset) = -\alpha(N)-\sum_{S\in\mathcal{B}}\alpha(S)\). These standardized coefficients \(\alpha(S)\) have to be integers.
A schematic description of the standardized inequality says which integers occur among the standardized coefficients. It has a form of a formal equality; for example, the inequality ascribed to system \(\mathcal{B} = \{ab,ac,ad,bcd\}\) over \(N=\{a,b,c,d\}\) is \(3\cdot m(N) - m(ab) - m(ac)- m(ad) - 2\cdot m(bcd) + 2\cdot m(\emptyset) \geq 0\) and its schematic description is \(3\times 1 + 1\times 2 = 3 + 2\) meaning that \(3\) times \(|\alpha(S)|\) for \(S\in \mathcal{B}\) is \(1\), \(1\) times \(|\alpha(S)|\) for \(S\in \mathcal{B}\) is \(2\), the coefficient \(\alpha(N)\) is \(3\) and the coefficient \(\alpha(\emptyset)\) is \(2\).
Another characteristics of the inequality is the index of density which is the ratio \(\alpha(N)/(\alpha(N) + \alpha(\emptyset))\), or equivalently the reciprocal value \((\sum_{S\in\mathcal{B}}\lambda_S)^{-1}\) for unique balancing coefficients \(\lambda(S), S\in\mathcal{B}\) of the system.
The cardinality vector characterizes the cardinalities of sets in the system: it has the form \([c_1,\ldots,c_{n-1}]\) where \(n=|N|\) and \(c_i\) is the number of sets \(S\) in \(\mathcal{B}\) of cardinality \(i\).
The multiplicity vector is obtained by ordering numbers \(m_i = |\{S\in\mathcal{B}: i \in S\}|\) for \(i \in N\) in an increasing way.
Every min-balanced system \(\mathcal{B}\) on \(N\) defines and equivalence relation \(\sim\) on \(N\): one has \(i\sim j\) for \(i,j \in N\) whenever, for every \(S\in \mathcal{B}\), one has \(i \in S\) if and only if \(j\in S\). The system \(\mathcal{B}\) can then be assigned a kind of archetypal system \(\widetilde {\mathcal{B}}\) on the factor set \(\widetilde {N}\) of the equivalence \(\sim\) (\(\widetilde {N}\) is the set of equivalence classes of \(\sim\)). Specifically, \(\widetilde {\mathcal{B}} := \{\widetilde {S}: S\in \mathcal{B}\}\) with \(\widetilde {S} := \{[i]: i \in S\}\) where \([i]\) denotes the equivalence class of \(\sim\) containing \(i \in N\). We say that a min-balanced system \(\mathcal{B}\) on \(N\) and a min-balanced system \(\mathcal{C}\) on (non-empty set) \(L\) have the same archetype if there is a one-to-one mapping \(\psi\) between (factor sets) \(\widetilde {N}\) and \(\widetilde {L}\) which maps \(\widetilde {\mathcal{B}}\) to \(\widetilde {\mathcal{C}}\), that is, \(\widetilde {\mathcal{C}} = \{\psi(\widetilde {S}): \widetilde S \in \widetilde {\mathcal{B}}\}\).
Given a min-balanced system \(\mathcal{B}\) on \(N\), its complementary system (relative to \(N\)) is the system \(\bar{\mathcal{B}}:= \{N\setminus S: S\in\mathcal{B}\}\) where \(N\setminus S\) denotes the relative complement of \(S\) in \(N\). A basic fact about a min-balanced systems on \(N\) is that \(\bar{\mathcal{B}}\) is also a min-balanced system on \(N\).
A min-balanced system \(\mathcal{B}\) on \(N\) is called reducible if there exists a non-empty strict subset \(A\) of \(N\) (that is, \(\emptyset \neq A \subset N\)), a min-balanced system \(\mathcal{C}\) on \(A\), and a min-balanced system \(\mathcal{D}\) on \(N\) containing \(A\) (that is, \(A\in \mathcal{D}\)) such that \(\mathcal{B} = \mathcal{C} \cup(\mathcal{D}\setminus \{A\})\) and \(\mathcal{C}\setminus \mathcal{D} \neq \emptyset\). A min-balanced system which is not reducible is called irreducible.