We prove that a finite family A of compact connected sets in R d has a hyperplane transversal if and only if for some k, 0<k<d, there exists an acyclic oriented matroid of rank k+1 on A such that every k+2 sets in A have an oriented k-transversal which meets the sets consistently with that oriented
Oriented Matroids and Combinatorial Manifolds
β Scribed by Raul Cordovil; Komei Fukuda
- Publisher
- Elsevier Science
- Year
- 1993
- Tongue
- English
- Weight
- 240 KB
- Volume
- 14
- Category
- Article
- ISSN
- 0195-6698
No coin nor oath required. For personal study only.
β¦ Synopsis
An oriented matroid lattice is a lattice arising from the span of cocircuits of an oriented matroid ordered by conformal relation. One important subclass of the o.m. lattices is the polars of face lattices of zonotopes. In this paper we show that every o.m. lattice is a (combinatorial) manifold. This brings out several interesting results on graphs associated with an o.m. lattice. For example, through Barnette's theorem on connectivity of manifolds, we obtain the ((r-1))-connectivity of the graph of the Las Vergnas lattice and its polar, where (r) is the rank of the oriented matroid. Furthermore, we prove that the graph of an o.m. lattice is (2(r-1)) connected, while the graph of its polar is only (r)-connected. These results are the best possible in the sense that each claimed connectivity is exact for some oriented matroid of rank (r). Finally, we give an algorithmic proof of the BjΓΆrner-Edelman-Ziegler theorem: that an oriented matroid is determined by the cograph of the associated o.m. lattice.
π SIMILAR VOLUMES
Consider the moment curve in the real euclidean space R d defined parametrically by the map Ξ³ : R β R d , t β Ξ³ (t) = (t, t 2 , . . . , t d ). The cyclic d-polytope C d (t 1 , . . . , t n ) is the convex hull of n > d different points on this curve. The matroidal analogs are the alternating oriented
Recently, Goodman et al. [9,10] have proven two conjectures by GrΓΌnbaum right, showing that any arrangement of pseudolines in the plane can be embedded into a flat projective plane and that there exists a universal topological projective plane in which every arrangement of pseudolines is stretchable
We consider the cocircuit graph G M of an oriented matroid M, which is the 1-skeleton of the cell complex formed by the span of the cocircuits of M. As a result of Cordovil, Fukuda, and Guedes de Oliveira, the isomorphism class of M is not determined by G M , but it is determined if M is uniform and
Consider the following question introduced by McMullen: Determine the largest integer n = f (d) such that any set of n points in general position in the affine d-space R d can be mapped by a projective transformation onto the vertices of a convex polytope. It is known that 2d + 1 β€ f (d) < (d + 1)(d