Ramos conjecture for two hyperplanes
Let denote the least integer such that every collection of absolutely continuous probability measures on can be simultaneously equipartitioned by two affine hyperplanes, meaning that each of the four regions determined by the hyperplanes has measure for every measure. The Ramos conjecture asserts that (in particular, for every integer , every collection of such measures in admits a common two-hyperplane equipartition).
References
Primary source
Additional references
- Counterexamples to the Ramos conjecture for two hyperplanes — arXiv — Florian Frick
Progress summary
A September 2026 paper claims to disprove the conjecture in every dimension covered by the two-hyperplane Gaussian formulation.
The Ramos conjecture predicts a specific dimension threshold for partitioning measures equally with two affine hyperplanes. Florian Frick’s new paper claims counterexamples in every integer dimension parameter , so the conjecture is false if the construction is correct.
Known results
- A 2015 critical review reported rigorously established threshold values including when is a power of and , while identifying gaps in several earlier claimed proofs.
September 23, 2026 counterexample
On September 23, 2026, Frick’s article Counterexamples to the Ramos conjecture for two hyperplanes claimed that, for every , smooth nondegenerate Gaussian measures in have no common equipartition, giving . Combined with upper bounds, it claims for , including , and analogous perpendicular-hyperplane results.
Current status (as of September 2026): The conjecture is claimed false for the Gaussian two-hyperplane formulation, with several exact threshold values claimed, but the new paper’s conclusions remain unverified.
Sources
Solutions 0
No solutions have been posted yet.