Large balanced-subset-free families of middle subsets

For positive integers kk and sufficiently large integers nn, let F\mathcal{F} be a family of nn-subsets of [2n][2n]. A subset of members of F\mathcal{F} is balanced when it has the balancing property used in the definition of the frame index.

Balanced-subset family conjecture. For each kk and all sufficiently large nn, there is a family F\mathcal{F} of nn-subsets of [2n][2n] such that:

  1. F\mathcal{F} has no balanced subsets of sizes 2,4,,2k2,4,\ldots,2k.
  2. F\mathcal{F} has a balanced subset of size 2k+22k+2.
  3. F\mathcal{F} is as large as possible subject to these properties, and therefore
F=12(2nn).\lvert\mathcal{F}\rvert=\frac{1}{2}\binom{2n}{n}.

This conjecture generalizes the stated construction for index 66 to larger even indices by allowing the ground-set parameter nn to grow. The existence of such families for every kk and all sufficiently large nn remains open.

Sources & referencesView supporting material

Primary source

Lawrence S. Moss and Arthur Paul Pedersen, “The Measurable Majority”, arXiv:2606.23853 (2026).

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.