Document

# Ham-Sandwich Cuts and Center Transversals in Subspaces

## File

LIPIcs.SoCG.2019.56.pdf
• Filesize: 0.53 MB
• 15 pages

## Cite As

Patrick Schnider. Ham-Sandwich Cuts and Center Transversals in Subspaces. In 35th International Symposium on Computational Geometry (SoCG 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 129, pp. 56:1-56:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/LIPIcs.SoCG.2019.56

## Abstract

The Ham-Sandwich theorem is a well-known result in geometry. It states that any d mass distributions in R^d can be simultaneously bisected by a hyperplane. The result is tight, that is, there are examples of d+1 mass distributions that cannot be simultaneously bisected by a single hyperplane. In this abstract we will study the following question: given a continuous assignment of mass distributions to certain subsets of R^d, is there a subset on which we can bisect more masses than what is guaranteed by the Ham-Sandwich theorem? We investigate two types of subsets. The first type are linear subspaces of R^d, i.e., k-dimensional flats containing the origin. We show that for any continuous assignment of d mass distributions to the k-dimensional linear subspaces of R^d, there is always a subspace on which we can simultaneously bisect the images of all d assignments. We extend this result to center transversals, a generalization of Ham-Sandwich cuts. As for Ham-Sandwich cuts, we further show that for d-k+2 masses, we can choose k-1 of the vectors defining the k-dimensional subspace in which the solution lies. The second type of subsets we consider are subsets that are determined by families of n hyperplanes in R^d. Also in this case, we find a Ham-Sandwich-type result. In an attempt to solve a conjecture by Langerman about bisections with several cuts, we show that our underlying topological result can be used to prove this conjecture in a relaxed setting.

## Subject Classification

##### ACM Subject Classification
• Theory of computation → Computational geometry
##### Keywords
• Ham-Sandwich cuts
• center transversal
• topological methods

## Metrics

• Access Statistics
• Total Accesses (updated on a weekly basis)
0

## References

1. Noga Alon and Douglas B West. The Borsuk-Ulam theorem and bisection of necklaces. Proceedings of the American Mathematical Society, 98(4):623-628, 1986.
2. Luis Barba. personal communication, 2017.
3. Luis Barba and Patrick Schnider. Sharing a pizza: bisecting masses with two cuts. CCCG 2017, page 174, 2017.
4. Sergey Bereg, Ferran Hurtado, Mikio Kano, Matias Korman, Dolores Lara, Carlos Seara, Rodrigo I. Silveira, Jorge Urrutia, and Kevin Verbeek. Balanced partitions of 3-colored geometric sets in the plane. Discrete Applied Mathematics, 181:21-32, 2015. URL: http://dx.doi.org/10.1016/j.dam.2014.10.015.
5. Pavle Blagojević, Florian Frick, Albert Haase, and Günter Ziegler. Topology of the Grünbaum-Hadwiger-Ramos hyperplane mass partition problem. Transactions of the American Mathematical Society, 370(10):6795-6824, 2018.
6. Pavle VM Blagojević, Aleksandra Dimitrijević Blagojević, and Roman Karasev. More bisections by hyperplane arrangements. arXiv preprint, 2018. URL: http://arxiv.org/abs/1809.05364.
7. Mark De Longueville. A course in topological combinatorics. Springer Science &Business Media, 2012.
8. V.L. Dol'nikov. Transversals of families of sets in ℝⁿ and a connection between the Helly and Borsuk theorems. Russian Academy of Sciences. Sbornik Mathematics, 184(5):111-132, 1994. URL: http://mi.mathnet.ru/msb989.
9. Zdzisław Dzedzej, Adam Idzik, and Marek Izydorek. Borsuk-Ulam type theorems on product spaces II. Topological Methods in Nonlinear Analysis, 14(2):345-352, 1999.
10. Jean-Claude Hausmann. Mod Two Homology and Cohomology, 2016.
11. Charles R. Hobby and John R. Rice. A Moment Problem in L₁ Approximation. Proceedings of the American Mathematical Society, 16(4):665-670, 1965. URL: http://www.jstor.org/stable/2033900.
12. Alfredo Hubard and Roman Karasev. Bisecting measures with hyperplane arrangements. arXiv preprint, 2018. URL: http://arxiv.org/abs/1803.02842.
13. Roman N Karasev, Edgardo Roldán-Pensado, and Pablo Soberón. Measure partitions using hyperplanes with fixed directions. Israel Journal of Mathematics, 212(2):705-728, 2016.
14. Stefan Langerman. personal communication, 2017.
15. Jiří Matoušek. Using the Borsuk-Ulam Theorem: Lectures on Topological Methods in Combinatorics and Geometry. Springer Publishing Company, Incorporated, 2007.
16. John Milnor and James D Stasheff. Characteristic Classes, volume 76. Princeton university press, 2016.
17. Richard Rado. A Theorem on General Measure. Journal of the London Mathematical Society, 21:291-300, 1947.
18. Edgar A Ramos. Equipartition of mass distributions by hyperplanes. Discrete &Computational Geometry, 15(2):147-167, 1996.
19. Arthur H. Stone and John W. Tukey. Generalized "sandwich" theorems. Duke Math. J., 9(2):356-359, June 1942. URL: http://dx.doi.org/10.1215/S0012-7094-42-00925-6.
20. Csaba D Toth, Joseph O'Rourke, and Jacob E Goodman. Handbook of discrete and computational geometry. Chapman and Hall/CRC, 2017.
21. Rade T. Zivaljević. User’s guide to equivariant methods in combinatorics. II. Publications de l'Institut Mathématique. Nouvelle Série, 64(78):107-132, 1998.
22. Rade T. Zivaljević and Siniša T Vrećica. An extension of the ham sandwich theorem. Bulletin of the London Mathematical Society, 22(2):183-186, 1990.