Bárány’s conjecture on uneven orthogonal mass partitions

There exist an absolutely continuous probability measure μ\mu on R2\mathbb{R}^2 and a number t∈(0,1/4)t\in(0,1/4) such that, for every pair of perpendicular lines in the plane, the four regions that they determine cannot be cyclically ordered as R1,R2,R3,R4R_1,R_2,R_3,R_4 with μ(R1)=μ(R2)=t\mu(R_1)=\mu(R_2)=t and μ(R3)=μ(R4)=1/2−t\mu(R_3)=\mu(R_4)=1/2-t.

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed solved

A September 2026 preprint claims a robust counterexample, including a finite example, disproving Bárány’s conjecture, but the result has not been independently verified.

Bárány’s conjecture asks whether an absolutely continuous planar mass can always be cut by two perpendicular lines into prescribed regions of masses t,t,1/2−t,1/2−tt,t,1/2-t,1/2-t; the measure version was publicly posed by Bárány in connection with a question of Grünbaum.

Known results

For convex bodies, the analogous assertion is conjectured positive; a positive result is known for sufficiently elongated bodies, measured by the ratio of diameter to minimum width. The survey records no previous resolution of the absolutely continuous-measure conjecture.

September 2026 claimed counterexample

Leonardo Martínez-Sandoval’s preprint claims the negative answer in a robust class of planar measures, with failure persisting under regularity, positivity, symmetry, and proximity to the standard Gaussian. It also claims a finite 9696-point counterexample for the pattern 8,8,40,408,8,40,40. The preprint’s claims are not independently verified in the retrieved sources.

Current status (as of September 2026): Bárány’s conjecture is claimed disproved by the new preprint, but that counterexample and its finite realization remain unverified; related convex-body formulations remain distinct and open.

Sources

Solutions 0

No solutions have been posted yet.