Disproportionate bipartition of measures on S¹

Conjecture 3.1 · arXiv:1909.07141

arXiv Conjecture low confidence— first stated 2019-09-16

Authors: Logan Crew, Bhargav Narayanan, Sophie Spirkl

Status open medium confidence

Conjecture 3.1 from arXiv:1909.07141 remains open as of May 2026. The n=2 case is settled by the Stromquist–Woodall theorem, but the conjecture is already open for n=3. The paper itself establishes f(n) ≤ 3n−4 cuts, while the conjecture would imply the optimal bound f(n) = 2n−2; no subsequent paper resolving or substantially advancing Conjecture 3.1 was found in the indexed literature.

Reviewer notes. No follow-up paper resolving Conjecture 3.1 was found across three web searches and two fetches (arXiv abstract page; mass-partitions survey arXiv:2010.00478). The paper was published in Bull. London Math. Soc. 52 (2020) 885–890. Confidence is medium rather than high because the conjecture has been open for ~7 years, making the absence of a resolution mildly surprising but not conclusive.

Auto-reviewed 2026-05-15 with claude-sonnet-4-6 (web search enabled).

Conjecture. For any $n \geq 2$ non-atomic probability measures $\mu_1, \mu_2, \ldots, \mu_n$ on the unit circle $S^1$ and non-negative reals $\alpha_1, \alpha_2, \ldots, \alpha_n$ summing to $1$, there exists a partition of the set $[n] = P \cup Q$ into two nonempty sets and a partition of the circle $S^1 = X \cup X^c$ into two intervals such that $$\min_{i \in P} \mu_i(X) = \sum_{j \in P} \alpha_j \quad \text{and} \quad \min_{i \in Q} \mu_i(X^c) = \sum_{j \in Q} \alpha_j.$$

Context

The authors introduce this conjecture as a topological measure-partitioning statement whose truth would imply, by a simple inductive argument, that $f(n) = 2n-2$ for all $n \geq 2$, which would be optimal for disproportionate division. The $n=2$ case is known and is essentially the Stromquist–Woodall theorem, but the conjecture is open already for $n=3$.

Notes. PDF source — the display-math formula in the original is garbled in extraction (sum symbols rendered as 'X', superscript 'c' split off); statement reconstructed from context.

Source paper

Disproportionate division
Logan Crew, Bhargav Narayanan, Sophie Spirkl · 2019-09-16
https://arxiv.org/abs/1909.07141 PDF source