Related papers: Penrose's eight-conic theorem
We describe a bijection between oriented cubes and adjoints of cross-polytopes. This correspondence is used to prove that the real affine cube is, up to reorientation in the same class, the unique oriented cube that is realizable. Moreover,…
We give a computer-based proof of the following fact: If a square is divided into seven or nine convex polygons, congruent among themselves, then the tiles are rectangles.
Menger's Edge Theorem asserts that there exist $k$ pairwise edge-disjoint paths between two vertices in an undirected graph if and only if a deletion of any $k-1$ or less edges does not disconnect these two vertices. Alternatively, there…
With this chapter we provide a compact yet complete survey of two most remarkable "representation theorems": every arguesian projective geometry is represented by an essentially unique vector space, and every arguesian Hilbert geometry is…
Symmetric edge polytopes of graphs are important object in Ehrhart theory,and have an application to Kuramoto models. In the present paper, we study the upper and lower bounds for the number of facets of symmetric edge polytopes of…
We show that for any smooth cubic in $\mathbb{P}^2$, there exists a dense $G_\delta$ set of configurations of 9 distinct points such that blowing up $\mathbb{P}^2$ at these 9 points, the strict transform of the cubic is not linearizable and…
A projective rectangle is like a projective plane that has different lengths in two directions. We develop harmonic conjugation in projective rectangles. We construct projective rectangles in some harmonic matroids (matroids where harmonic…
The Midscribability Theorem, which was first proved by O. Schramm, states that: given a strictly convex body $K\subset\mathbb{R}^{3}$ with smooth boundary and a convex polyhedron $P$, there exists a polyhedron $Q \subset \mathbb{RP}^3$…
Building on a recent characterization of tope graphs of Complexes of Oriented Matroids (COMs), we tackle and generalize several classical problems in Oriented Matroids (OMs), Lopsided Sets (aka ample set systems), and partial cubes via…
Based on an ordering with directed lines and using constructions instead of existential axioms, von Plato proposed a constructive axiomatization of the ordered affine geometry. There are 22 axioms for the ordered affine geometry, of which…
The motivating problem addressed by this paper is to describe those non-degenerate sets of points $Z$ in $\mathbb P^3$ whose general projection to a general plane is a complete intersection of curves in that plane. One large class of such…
We prove a variant of the Sylvester-Gallai theorem for cubics (algebraic curves of degree three): If a finite set of sufficiently many points in $\mathbb{R}^2$ is not contained in a cubic, then there is a cubic that contains exactly nine of…
The Hirsch Conjecture (1957) stated that the graph of a $d$-dimensional polytope with $n$ facets cannot have (combinatorial) diameter greater than $n-d$. That is, that any two vertices of the polytope can be connected by a path of at most…
We consider the problem of computing a triangulation of the real projective plane P2, given a finite point set S={p1, p2,..., pn} as input. We prove that a triangulation of P2 always exists if at least six points in S are in general…
Y. Benoist proved that if a closed three-manifold M admits an indecomposable convex real projective structure, then M is topologically the union along tori and Klein bottles of finitely many sub-manifolds each of which admits a complete…
Let ${\mathcal K}$ denote a smooth conic in the complex projective plane. Pascal's theorem says that, given six points $A,B,C,D,E,F$ on ${\mathcal K}$, the three intersection points $AE \cap BF, AD \cap CF, BD \cap CE$ are collinear. This…
Very recently Richter and Rogers proved that any convex geometry can be represented by a family of convex polygons in the plane. We shall generalize their construction and obtain a wide variety of convex shapes for representing convex…
It was conjectured by the third author in about 1973 that every $d$-regular planar graph (possibly with parallel edges) can be $d$-edge-coloured, provided that for every odd set $X$ of vertices, there are at least $d$ edges between $X$ and…
A conjecture of Fan and Raspaud [3] asserts that every bridgeless cubic graph con-tains three perfect matchings with empty intersection. Kaiser and Raspaud [6] sug-gested a possible approach to this problem based on the concept of a…
The Newton line and the associated theorems by Newton and Gauss for tetragons and quadrilaterals are closely linked to some other theorems of Euclidean geometry: a theorem by Bocher on the existence of a nine-point conic of a quadrangle, a…