
Let \(S\) be a non-empty subset of \(\mathbb Z/p\mathbb Z\), where \(p\) is an odd prime. We call \(S\) \textit{balanced} if for every \(x \in S\) there are distinct elements \(y, z \in S\) such that \(x = (y+z)/2\). This is a curious condition that arises in combinatorial game theory but appears to be of independent interest. Probabilistically one expects that a set of size \(\gg \sqrt{p \log p}\) will typically be balanced. It is then natural to consider the \textit{minimum} cardinality \(\alpha(p)\) among all balanced subsets of \(\mathbb Z/p\mathbb Z\). A theorem of \textit{J. Browkin, B. Diviš} and \textit{A. Schinzel} [Monatsh. Math. 82, 261--268 (1976; Zbl 0349.12012)] shows that \(\alpha(p) > \log_2(p) + 1\). In the converse direction, the author has shown in [Math. Comput. 78, No. 268, 2259--2267 (2009; Zbl 1223.11153)] that this lower bound is in fact asymptotically optimal in the sense that \(\alpha(p) \leq (1 + o(1)) \log_2(p)\). Thus, minimal balanced sets are far, far smaller than typical ones. In the present note, the author continues the study of minimal balanced sets, improving the lower bound slightly to \(\alpha(p) > \log_2(p) + 1.41\). The methods are elementary, making clever use of linear algebra together with a determinantal inequality of \textit{Ch. R. Johnson} and \textit{M. Newman} [Math. Ann. 247, 179--186 (1980; Zbl 0407.15009)]. The proof further shows that a stronger bound \(\alpha(p) > \log_2(p) + 2\) holds unless every \(x \in S\) admits a unique representation as \((y+z)/2\). Some closely related open questions are given in the concluding section.
Additive bases, including sumsets, balanced sets, Other combinatorial number theory, Extremal combinatorics, Theoretical Computer Science, Computer Science(all)
Additive bases, including sumsets, balanced sets, Other combinatorial number theory, Extremal combinatorics, Theoretical Computer Science, Computer Science(all)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 2 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
