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.

References

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.