Large balanced-subset-free families of middle subsets
For positive integers and sufficiently large integers , let be a family of -subsets of . A subset of members of is balanced when it has the balancing property used in the definition of the frame index.
Balanced-subset family conjecture. For each and all sufficiently large , there is a family of -subsets of such that:
- has no balanced subsets of sizes .
- has a balanced subset of size .
- is as large as possible subject to these properties, and therefore
This conjecture generalizes the stated construction for index to larger even indices by allowing the ground-set parameter to grow. The existence of such families for every and all sufficiently large remains open.
References
Primary source
Lawrence S. Moss and Arthur Paul Pedersen, “The Measurable Majority”, arXiv:2606.23853 (2026).
Progress summary
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.