arXiv++ Combinatorics

In 1990, Branko Grünbaum and John Rigby presented a 4-configuration, known today as the \emph{Grünbaum--Rigby configuration}; it is denoted by $\mathrm{GR}(21_4)$. Independently and earlier, in 1986, Ferenc Kárteszi published a paper in which he proved a theorem in real geometry that gives rise to a series of 4-configurations $\mathrm{K}(n;\ell,m)$. In an even earlier paper from 1964, he presented a figure which is essentially the same as that given by Grünbaum and Rigby. In this paper, we explore some properties of the \emph{Kárteszi configurations} and in particular show that $\mathrm{GR}(21_4)$ is isomorphic to $\mathrm{K}(7;2,3)$. We present a theorem that gives necessary and sufficient conditions on parameters $n,\ell,m$ such that the corresponding configuration $\mathrm{K}(n;\ell,m)$ is realisable as a geometric polycyclic configuration with $n$-fold rotational symmetry and no extra incidences.

In this paper, it has been shown that the generalized Petersen graph $\mathrm {GP}(8,3)$, also known as the Möbius-Kantor graph, admits a faithful unit-distance representation in the plane.

The Gray configuration is a (27_3) configuration which typically is realized as the points and lines of the 3 x 3 x 3 integer lattice. It occurs as a member of an infinite family of configurations defined by Bouwer in 1972. Since their discovery, both the Gray configuration and its Levi graph (i.e., its point-line incidence graph) have been the subject of intensive study. Its automorphism group contains cyclic subgroups isomorphic to Z_3 and Z_9, so it is natural to ask whether the Gray configuration can be realized in the plane with any of the corresponding rotational symmetry. In this paper, we show that there are two distinct polycyclic realizations with Z_3 symmetry. In contrast, the only geometric polycyclic realization with straight lines and Z_9 symmetry is only a "weak" realization, with extra unwanted incidences (in particular, the realization is actually a (27_4) configuration).

We study relations between $(n_4)$ incidence configurations and the classical Poncelet Porism. Poncelet's result studies two conics and a sequence of points and lines that inscribes one conic and circumscribes the other. Poncelet's Porism states that whether this sequence closes up after $m$ steps only depends on the conics and not on the initial point of the sequence. In other words: Poncelet polygons are movable. We transfer this motion into a flexibility statement about a large class of $(n_4)$ configurations, which are configurations where 4 (straight) lines pass through each point and four points lie on each line. A first instance of such configurations in real geometry had been given by Grünbaum and Rigby in their classical 1990 paper where they constructed the first known real geometric realisation of a well known combinatorial $(21_4)$ configuration (which had been studied by Felix Klein), now called the Grünbaum-Rigby configuration. Since then, there has been an intensive search for movable $(n_4)$ configurations, but it is very surprising that the Grünbaum-Rigby $(21_4)$ configuration admits nontrivial motions. It is well-known that the Grünbaum-Rigby configuration is the smallest example of an infinite class of $(n_4)$ configurations, the trivial celestial configurations. A major result of this paper is that we show that all trivial celestial configurations are movable via Poncelet's Porism and results about properties of Poncelet grids. Alternative approaches via geometry of billiards, in-circle nets, and pentagram maps that relate the subject to discrete integrable systems are given as well.

We study the geometric structure of Poncelet $n$-gons from a projective point of view. In particular we present explicit constructions of Poncelet $n$-gons for certain $n$ and derive algebraic characterisations in terms of bracket polynomials. Via the connections of Poncelet polygons and $(N_4)$-configurations, the results of this article can be used to construct a large class of specific movable $(N_4)$-configurations, the trivial celestial 4-configurations, which up to this point were all thought to be rigid and to require regular polygons for their construction.

In this note we give a construction proving that the Gray graph, which is the smallest cubic semi-symmetric graph, is a unit-distance graph.

When searching for small 4-configurations of points and lines, polycyclic configurations, in which every symmetry class of points and lines contains the same number of elements, have proved to be quite useful. In this paper we construct and prove the existence of a previously unknown (21_4) conguration, which provides a counterexample to a conjecture of Branko Grünbaum. In addition, we study some of its most important properties; in particular, we make a comparison with the well-known Grünbaum-Rigby configuration. We show that there are exactly two (21_4) geometric polycyclic configurations and seventeen (21_4) combinatorial polycyclic configurations. We also discuss some possible generalizations.

The "Grünbaum Incidence Calculus" is the common name of a collection of operations introduced by Branko Grünbaum to produce new $(n_{4})$ configurations from various input configurations. In a previous paper, we generalized two of these operations to produce operations on arbitrary $(n_k)$ configurations, and we showed that for each $k$, there exists an integer $N_{k}$ such that for all $n \geq N_{k}$, there exists at least one $(n_{k})$ configuration, with current records $N_{5}\leq 576$ and $N_{6}\leq 7350$. In this paper, we further extend the Grünbaum calculus; using these operations, as well as a collection of previously known and novel ad hoc constructions, we refine the bounds for $k = 5$ and $k = 6$. Namely, we show that $N_5 \leq 166$ and $N_{6}\leq 585$.

In a series of papers and in his 2009 book on configurations Branko Grünbaum described a sequence of operations to produce new $(n_{4})$ configurations from various input configurations. These operations were later called the "Grünbaum Incidence Calculus". We generalize two of these operations to produce operations on arbitrary $(n_{k})$ configurations. Using them, we show that for any $k$ there exists an integer $N_k$ such that for any $n \geq N_k$ there exists a geometric $(n_k)$ configuration. We use empirical results for $k = 2, 3, 4$, and some more detailed analysis to improve the upper bound for larger values of $k$.

In this paper we introduce point-ellipse configurations and point-conic configurations. We study some of their basic properties and describe two interesting families of balanced point-ellipse, respectively point-conic $6$-configurations. The construction of the first family is based on Carnot's theorem, whilst the construction of the second family is based on the Cartesian product of two regular polygons. Finally, we investigate a point-ellipse configuration based on the regular $24$-cell.

We revisit the configuration of Danzer DCD(4), a great inspiration for our work. This configuration of type (35_4) falls into an infinite series of geometric point-line configurations DCD(n). Each DCD(n) is characterized combinatorially by having the Kronecker cover over the Odd graph $O_n$ as its Levi graph. Danzer's configuration is deeply rooted in Pascal's Hexagrammum Mysticum. Although the combinatorial configuration is highly symmetric, we conjecture that there are no geometric point-line realizations with 7- or 5-fold rotational symmetry; on the other hand, we found a point-circle realization having the symmetry group $D_7$, the dihedral group of order 14.

We discuss a polyhedral embedding of the classical Fricke-Klein regular map of genus 5 in ordinary 3-space. This polyhedron was originally discovered by Grunbaum in 1999, but was recently rediscovered by Brehm and Wills. We establish isomorphism of the Grunbaum polyhedron with the Fricke-Klein map, and confirm its combinatorial regularity. The Grunbaum polyhedron is among the few currently known geometrically vertex-transitive polyhedra of genus g > 2, and is conjectured to be the only vertex-transitive polyhedron in this genus range that is also combinatorially regular. We also contribute a new vertex-transitive polyhedron, of genus 11, to this list, as the 7th known example. In addition we show that there are only finitely many vertex-transitive polyhedra in the entire genus range g > 2.

We call a polytope P of dimension 3 admissible if it has the following two properties: (1) for each vertex of P the set of its first-neighbours is coplanar; (2) all planes determined by the first-neighbours are distinct. It is shown that the Levi graph of a point-plane configuration obtained by V-construction from an admissible polytope P is the Kronecker cover of its 1-skeleton. We investigate the combinatorial nature of the V-construction and use it on unit-distance graphs to construct novel isometric point-circle configurations. In particular, we present an infinite series whose all members are subconfigurations of the renowned Clifford configurations.