Skip to content
DraconiticResearch
Search Sources API
203,203 studies31 sourcesUpdated 39 min ago
PreprintarXiv licencearXiv

Four hyperplanes do not always equipartition a mass in ℝ4

  • Pablo Soberón
Open at sourcePDFDOICite

Abstract

We construct a smooth strictly positive density in ℝ4 that cannot be divided into $16$ parts of the same size by four affine hyperplanes. This settles the last open case of Grünbaum's 1960 conjecture and disproves Ramos' general conjecture on hyperplane equipartitions. We reduce the construction to finding two homogeneous polynomials in four variables, of degrees three and four, whose multilinear coefficients cannot vanish simultaneously after any orthogonal change of coordinates. We give two proofs of this nonvanishing result. The first uses a local perturbation argument. The second reduces it to the absence of a common zero for five explicit polynomials on [−1,1]6, verified by a computer-assisted Bernstein subdivision argument.

Related

  1. Orthogonal partition by four hyperplanes
    Alexey Fakhrutdinov, Platon Khamatov, Oleg R. Musin
    arXivPreprintCC BY 4.0Full textCombinatorics & discrete mathematicsGeometry & topologyarXiv
  2. Einstein four-manifolds of positive sectional curvature and ADM mass
    Matthew Gursky, Andrea Malchiodi
    arXivPreprintarXiv licenceFull textGeometry & topologyarXiv
  3. Linear Stability of Double-Double Orbits in the Equal-Mass Four-Body Problem via Index Theory
    Zijian Meng
    arXivPreprintarXiv licenceFull textDynamical systemsarXiv
  4. Kalton-Peck space is not isomorphic to its hyperplanes
    A. Das, V. Ferenczi, Ch. Rosendal
    arXivPreprintarXiv licenceFull textAnalysis & PDEsarXiv
  5. Piercing spanned lines and hyperplanes
    Ben Lund
    arXivPreprintCC BY-NC-ND 4.0Full textCombinatorics & discrete mathematicsarXiv

Cite

BibTeXRIS
BibTeX
@misc{soberon2026four,
  title = {{Four hyperplanes do not always equipartition a mass in $\mathbbR^4$}},
  author = {Pablo Soberón},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2608.23312},
  eprint = {2608.23312},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2608.23312},
}
RIS
TY  - UNPB
TI  - Four hyperplanes do not always equipartition a mass in ℝ^4
AU  - Pablo Soberón
PY  - 2026
DA  - 2026/09/10
PB  - arXiv
DO  - 10.48550/arxiv.2608.23312
UR  - https://arxiv.org/abs/2608.23312
AB  - We construct a smooth strictly positive density in ℝ^4 that cannot be divided into $16$ parts of the same size by four affine hyperplanes. This settles the last open case of Grünbaum's 1960 conjecture and disproves Ramos' general conjecture on hyperplane equipartitions. We reduce the construction to finding two homogeneous polynomials in four variables, of degrees three and four, whose multilinear coefficients cannot vanish simultaneously after any orthogonal change of coordinates. We give two proofs of this nonvanishing result. The first uses a local perturbation argument. The second reduces it to the absence of a common zero for five explicit polynomials on [−1,1]^6, verified by a computer-assisted Bernstein subdivision argument.
ER  -