English

Bisecting masses with families of parallel hyperplanes

Combinatorics 2024-04-30 v2

Abstract

We prove a common generalization to several mass partition results using hyperplane arrangements to split Rd\mathbb{R}^d into two sets. Our main result implies the ham-sandwich theorem, the necklace splitting theorem for two thieves, a theorem about chessboard splittings with hyperplanes with fixed directions, and all known cases of Langerman's conjecture about equipartitions with nn hyperplanes. Our main result also confirms an infinite number of previously unknown cases of the following conjecture of Takahashi and Sober\'on: For any d+k1d+k-1 measures in Rd\mathbb{R}^d, there exist an arrangement of kk parallel hyperplanes that bisects each of the measures. The general result follows from the case of measures that are supported on a finite set with an odd number of points. The proof for this case is inspired by ideas of differential and algebraic topology, but it is a completely elementary parity argument.

Keywords

Cite

@article{arxiv.2404.14320,
  title  = {Bisecting masses with families of parallel hyperplanes},
  author = {Alfredo Hubard and Pablo Soberón},
  journal= {arXiv preprint arXiv:2404.14320},
  year   = {2024}
}

Comments

18 pages, 3 figures

R2 v1 2026-06-28T16:02:30.217Z