Abstract
The Ham-Sandwich theorem is a well-known result in geometry. It states that any d mass distributions in \({\mathbb {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 paper we will study the following question: given a continuous assignment of mass distributions to certain subsets of \({\mathbb {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 \({\mathbb {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 \({\mathbb {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 \({\mathbb {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.
Similar content being viewed by others
References
Alon, N., West, D.B.: The Borsuk–Ulam theorem and bisection of necklaces. Proc. Am. Math. Soc. 98(4), 623–628 (1986)
Barba, L.: Personal communication (2017)
Barba, L., Schnider, P.: Sharing a pizza: bisecting masses with two cuts. In: 29th Canadian Conference on Computational Geometry (Ottawa), pp. 174–178 (2017). http://2017.cccg.ca/proceedings/Session5B-paper1.pdf
Bereg, S., Hurtado, F., Kano, M., Korman, M., Lara, D., Seara, C., Silveira, R.I., Urrutia, J., Verbeek, K.: Balanced partitions of \(3\)-colored geometric sets in the plane. Discrete Appl. Math. 181, 21–32 (2015)
Blagojević, P.V.M., Blagojević, A.D., Karasev, R., Kliem, J.: More bisections by hyperplane arrangements (2018). arXiv:1809.05364
Blagojević, P.V.M., Frick, F., Haase, A., Ziegler, G.M.: Topology of the Grünbaum–Hadwiger–Ramos hyperplane mass partition problem. Trans. Am. Math. Soc. 370(10), 6795–6824 (2018)
Bukh, B., Matoušek, J., Nivasch, G.: Stabbing simplices by points and flats. Discrete Comput. Geom. 43(2), 321–338 (2010)
Dol’nikov, V.L.: Transversals of families of sets in \({\mathbb{R}}^{n}\) and a relationship between Helly and Borsuk theorems. Russian Acad. Sci. Sb. Math. 79(1), 93–107 (1994)
Dzedzej, Z., Idzik, A., Izydorek, M.: Borsuk–Ulam type theorems on product spaces. II. Topol. Methods Nonlinear Anal. 14(2), 345–352 (1999)
Goodman, J.E., O’Rourke, J. (eds.): Handbook of Discrete and Computational Geometry, 3rd edn. CRC Press LLC, Boca Raton, FL (1997)
Hausmann, J.-C.: Mod Two Homology and Cohomology. Universitext. Springer, Cham (2014)
Hobby, C.R., Rice, J.R.: A moment problem in \(L_1\) approximation. Proc. Am. Math. Soc. 16(4), 665–670 (1965)
Hubard, A., Karasev, R.: Bisecting measures with hyperplane arrangements (2018). arXiv:1803.02842
Karasev, R.N., Roldán-Pensado, E., Soberón, P.: Measure partitions using hyperplanes with fixed directions. Israel J. Math. 212(2), 705–728 (2016)
Langerman, S.: Personal communication (2017)
de Longueville, M.: A Course in Topological Combinatorics. Universitext. Springer, New York (2013)
Magazinov, A., Pór, A.: An improvement on the Rado bound for the centerline depth. Discrete Comput. Geom. 59(2), 477–505 (2018)
Matoušek, J.: Using the Borsuk-Ulam Theorem: Lectures on Topological Methods in Combinatorics and Geometry. Universitext. Springer, Berlin (2003)
Milnor, J.W., Stasheff, J.D.: Characteristic Classes. Annals of Mathematics Studies, vol. 76. Princeton University Press, Princeton (1974)
Pilz, A., Schnider, P.: Bisecting three classes of lines (2019). arXiv:1909.04419
Rado, R.: A theorem on general measure. J. Lond. Math. Soc. 21, 291–300 (1947)
Ramos, E.A.: Equipartition of mass distributions by hyperplanes. Discrete Comput. Geom. 15(2), 147–167 (1996)
Stone, A.H., Tukey, J.W.: Generalized “sandwich” theorems. Duke Math. J. 9, 356–359 (1942)
Živaljević, R.T.: User’s guide to equivariant methods in combinatorics. II. Publ. Inst. Math. (Beograd) (N.S.) 64(78), 107–132 (1998)
Živaljević, R.T., Vrećica, S.T.: An extension of the ham sandwich theorem. Bull. Lond. Math. Soc. 22(2), 183–186 (1990)
Author information
Authors and Affiliations
Corresponding author
Additional information
Editor in Charge: Kenneth Clarkson
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Schnider, P. Ham-Sandwich Cuts and Center Transversals in Subspaces. Discrete Comput Geom 64, 1192–1209 (2020). https://doi.org/10.1007/s00454-020-00196-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-020-00196-x