Branko Gr\"unbaum in many dimensions
Matthew Kahle

TL;DR
This survey compiles several open problems related to Branko Grünbaum's work in geometry and combinatorics, highlighting areas for future research.
Contribution
It presents a curated collection of Grünbaum's open problems, offering insights into unresolved questions in the field.
Findings
Identifies key open problems in Grünbaum's research areas
Highlights the significance of these problems for future studies
Provides context and background for each problem
Abstract
This survey article collects a few of my favorite open problems of Branko Gr\"{u}nbaum.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLimits and Structures in Graph Theory · Graph Labeling and Dimension Problems · Graph theory and applications
**BRANKO GRÜNBAUM IN MANY DIMENSIONS
**
**Matthew Kahle
** Ohio State University
1 Recollections
Even though he was nearly 90 years old, I was still surprised and sad to hear that Branko Grünbaum had passed away. I took courses from Branko as a graduate student at the University of Washington. I still have my -ring binders with the typed notes he passed out in his courses on “Polyhedral Geometry” and “Configurations of Points and Lines”. These notes are full of meticulous illustrations, as was his style. I also read with him for several weeks of independent study, studying “Venn Diagrams”, and I especially enjoyed one-on-one mathematical conversations with him.
His office was overflowing with mathematical art, mostly polyhedral sculptures he had made out of colored cardboard and other materials. He brought different models to class nearly every day, and he would pass them around for us to play with while he lectured.
Branko had exquisite geometric taste and intuition. Like many great mathematicians and artists, he was also idiosyncratic. He was particularly fond of various notions of symmetry—as evidenced by his writings on symmetric configurations of points and lines, symmetric Venn diagrams, non-convex regular polyhedra, etc.
The humble offering of this article is just to collect a few of my favorite open problems of Branko in one place. I can not even guarantee that all of these problems are strictly or originally due to Branko, but I think they are all questions that he was interested in at one time or another. I hope to give an interesting sampling of his mathematical interests, even if the sample is extremely small compared to his prolific output, and even if it is biased by my personal tastes.
2 In dimension
2.1 Symmetric Venn diagrams
Let be a family of simple closed curves in the plane. We say that is a Venn diagram if each of the subsets is nonempty and connected. Here denotes either the interior or exterior of the curve . See Ruskey [23] for a 1997 survey.
Venn himself proved that Venn diagrams exist for every . A Venn diagram is said to be symmetric if it is invariant under a rotation of . Branko wondered about the existence of symmetric Venn diagrams. A theorem of Henderson [16, 28] is that must be prime. A natural question is whether this necessary condition is also sufficient.
This was an open question for a few decades, until it was finally resolved by Griggs, Killian, and Savage in [12]. Their construction involves some beautiful combinatorics around “chain decompositions” of the Boolean lattice.
There is still more to do in this area, however. A Venn diagram is said to be simple if no more than two curves intersect at any point.
Question 2.1**.**
Do simple, symmetric Venn diagrams with curves exist for every prime number ?
See Ruskey, Savage, and Wagon for a 2006 survey [24]. More recently, Mamakani and Ruskey gave the first examples of simple, symmetric Venn diagrams with and curves [20].
2.2 Grünbaum’s edge-coloring conjecture
The Four Color Theorem for planar graphs is equivalent to the statement that the dual graph of every triangulated -sphere is -edge colorable. This is essentially Tait’s 1880 observation that the Four Color Theorem is equivalent to showing that every cubic bridgeless planar graph is -edge colorable [26].
In 1968, Grünbaum conjectured a beautiful generalization.
Conjecture 2.2**.**
If is a simple loopless triangulation of an orientable surface , then the dual graph of is 3-edge-colorable.
I learned as I was preparing this article that Grünbaum’s edge-coloring conjecture unfortunately does not hold in general. Kochol gave counterexamples: for every there is a triangulation of the genus surface whose dual graph is not -edge colorable [18].
Still, this leaves the question open for genus with . In particular, the following seems to be open.
Conjecture 2.3**.**
If is a simple loopless triangulation of a torus, then the dual graph of is 3-edge-colorable.
3 In dimension
Branko spoke reverently about Steinitz’s Theorem, and I think he felt that it deserved to be better known and appreciated by modern mathematicians.
Steinitz’s Theorem. A simple graph (i.e. with no loops or multiple edges) is the -skeleton of a -polytope if and only if is planar and -connected.
The -skeleton of a triangulated -dimensional sphere is an edge-maximal planar graph, and hence is -connected. So Steinitz’s theorem implies that a triangulated -sphere can be embedded in as the boundary of a convex polytope. In particular, every triangulated -sphere is polyhedral in .
A -dimensional simplicial complex is said to be polyhedral if it admits an embedding in with every vertex corresponding to a point, every edge corresponding to a straight line segment, and every triangle corresponding to a flat triangle contained in an affine plane. (It must also actually be a topological embedding, i.e. a continuous, injective, map on the geometric realization of the complex.)
Question 3.1**.**
Is every triangulation of the -dimensional torus polyhedral?
There are some reasons to think that the answer is no. Brehm gave an example of a triangulated Mobius strip which is not polyhedral [7]. More recently, Leopold gave examples of triangulations of the non-orientable surface of genus 5 which he proved do not even admit polyhedral immersions in [19].
Update: Günter Ziegler pointed out to me that this problem was solved in [3]. Archdeacon, Bonnington, and Ellis-Monaghan showed that the answer to Question 3.1 is affirmative.
4 In dimension
The Ham Sandwich Theorem says that any objects in can be simultaneously bisected by a single hyperplane 111We will omit technical definitions and be deliberately vague about what constitutes an “object”. But any “nice enough” measure should suffice. Finite Borel measures, or finite points sets, are examples that are typically considered. For a more careful treatment, see Matoušek’s book [21]..
A related dissection theorem in the plane says that any object in can be partitioned into parts of equal area with two lines—this theorem is a nice exercise, and we invite the reader to work it out for themselves.
It is also true that any object in can be partitioned into equal parts with planes. This theorem is considerably trickier than the corresponding -dimensional exercise. A proof can be found in Chapter 4 of Edelsbrunner’s book [10].
Branko asked if any object in can be partitioned into equal parts with hyperplanes [13].
It is tempting to believe it, but unfortunately the answer is no for . The following counterexample for is due to Avis [4], and similar counterexamples work in higher dimensions.
Consider distinct points along the moment curve in , which is parameterized by
[TABLE]
Points on the moment curve are in general position. So any hyperplane can only intersect the moment curve in at most points. Then five hyperplanes can only intersect the moment curve in a total of at most points. So five hyperplanes can only divide these points into at most subsets and can not separate them all!
Since the mass-partition conjecture is true for and false for , this leaves only the case .
Question 4.1**.**
Can every object in be partitioned into equal parts with hyperplanes? In particular, can every set of points in general position in be separated into subsets of points, using 4 hyperplanes?
According to Florian Frick, there is reason to think that the answer is yes. Let denote the minimum dimension such that every set of objects in can be simultaneously partitioned into equal pieces by hyperplanes.
Conjecture 4.2** (Ramos’s conjecture).**
For every ,
[TABLE]
The Ham Sandwich Theorem is the case and Grünbaum’s mass partition conjecture is the case . Ramos’s conjecture would imply that , which would imply that the answer to Question 4.1 is yes. See Blagojević et. al [6] for some recent progress. As one special case in the paper, the authors prove that . That is, any sufficiently nice object in can be partitioned into equal measure pieces by hyperplanes.
5 In dimensions and higher
A well-known inequality for simple planar graphs with vertices and edges is that
[TABLE]
Branko asked in 1970 [15] if there are natural generalizations of this inequality for -dimensional simplicial complexes embeddable in . For a simplicial complex , let denote the number of -dimensional faces. One possible generalization of is the following conjecture, which may be due to Grünbaum.
Conjecture 5.1** (Grünbaum–Kalai–Sarkaria).**
For every there is a constant such that
[TABLE]
for every -complex which is embeddable in .
Various formulations of this conjecture have apparently been discussed for some time—see, for example, Dey [9]. Work of Kalai and Sarkaria [17, 25] suggests a precise formulation, which would in particular give the best possible constant in every dimension. Grünbaum wrote that this question is “still” open in his 1970 article, but so far I have not been able to find any earlier reference to it in the literature.
Another possible generalization of the inequality for planar graphs would be to show that
Conjecture 5.2**.**
For every there is a constant such that
Until recently, this was open even for -complexes embeddable in , and the best known bound seemed to be
[TABLE]
which follows from some extremal hypergraph results of Erdős [11]. See for example the discussion by Wagner about “forbidden subcomplexes” in [27]. Parsa improved this to
[TABLE]
in 2018 [22].
Karim Adiprasito has posted a preprint [1] apparently proving Conjectures 5.1 and 5.2. The preprint claims to prove much more, including the well-known “-conjecture” characterizing the -vectors of simplicial spheres. In [2], Adiprasito and Steinmeyer apparently give a somewhat simpler proof of the Grünbaum–Kalai–Sarkaria conjecture.
Acknowledgements. I am grateful to Karim Adiprasito, Florian Frick, Uli Wagner, and Günter Ziegler for helpful comments.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] Karim Adiprasito. Combinatorial Lefschetz theorems beyond positivity. ar Xiv:1812.10454 v 3, 2019.
- 2[2] Karim Adiprasito and Johanna K. Steinmeyer. The hard Lefschetz theorem for pl spheres. ar Xiv:1906.00737, 2019.
- 3[3] Dan Archdeacon, C. Paul Bonnington, and Joanna A. Ellis-Monaghan. How to exhibit toroidal maps in space. Discrete Comput. Geom. , 38(3):573–594, 2007.
- 4[4] David Avis. Nonpartitionable point sets. Inform. Process. Lett. , 19(3):125–129, 1984.
- 5[5] Pavle V. M. Blagojević, Florian Frick, Albert Haase, and Günter M. Ziegler. Hyperplane mass partitions via relative equivariant obstruction theory. Doc. Math. , 21:735–771, 2016.
- 6[6] Pavle V. M. Blagojević, Florian Frick, Albert Haase, and Günter M. Ziegler. Topology of the Grünbaum-Hadwiger-Ramos hyperplane mass partition problem. Trans. Amer. Math. Soc. , 370(10):6795–6824, 2018.
- 7[7] Ulrich Brehm. A nonpolyhedral triangulated Möbius strip. Proc. Amer. Math. Soc. , 89(3):519–522, January 1983.
- 8[8] Robert J. Daverman and Gerard A. Venema. Embeddings in manifolds , volume 106 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2009.
