arXiv++ Combinatorics

Let $k,d,λ\geqslant 1$ be integers with $d\geqslant λ$ and let $X$ be a finite set of points in $\mathbb{R}^{d}$. A $(d-λ)$-plane $L$ transversal to the convex hulls of all $k$-sets of $X$ is called Kneser transversal. If in addition $L$ contains $(d-λ)+1$ points of $X$, then $L$ is called complete Kneser transversal.In this paper, we present various results on the existence of (complete) Kneser transversals for $λ=2,3$. In order to do this, we introduce the notions of stability and instability for (complete) Kneser transversals. We first give a stability result for collections of $d+2(k-λ)$ points in $\mathbb{R}^d$ with $k-λ\geqslant 2$ and $λ=2,3$. We then present a description of Kneser transversals $L$ of collections of $d+2(k-λ)$ points in $\mathbb{R}^d$ with $k-λ\geqslant 2$ for $λ=2,3$. We show that either $L$ is a complete Kneser transversal or it contains $d-2(λ-1)$ points and the remaining $2(k-1)$ points of $X$ are matched in $k-1$ pairs in such a way that $L$ intersects the corresponding closed segments determined by them. The latter leads to new upper and lower bounds (in the case when $λ=2$ and $3$) for $m(k,d,λ)$ defined as the maximum positive integer $n$ such that every set of $n$ points (not necessarily in general position) in $\mathbb{R}^{d}$ admit a Kneser transversal.Finally, by using oriented matroid machinery, we present some computational results (closely related to the stability and unstability notions). We determine the existence of (complete) Kneser transversals for each of the $246$ different order types of configurations of $7$ points in $\mathbb{R}^3$.

An affine oriented matroid is a combinatorial abstraction of an affine hyperplane arrangement. From it, Novik, Postnikov and Sturmfels constructed a squarefree monomial ideal in a polynomial ring, called an oriented matroid ideal, and got beautiful results. Developing their theory, we will show the following. (1) If an oriented matroid ideal is Cohen-Macaulay, then the bounded complex (a regular CW complex associated with it) of the corresponding affine oriented matroid is a contractible homology manifold with boundary. This is closely related to Dong's theorem, which used to be "Zaslavsky's conjecture". (2) We characterize the affine oriented matroid whose corresponding ideal is Cohen-Macaulay. (3) In the Cohen-Macaulay case, we give a description of the canonical module of the residue class ring by an oriented matroid ideal.

If V is the vertex sequence of a symmetric 2t-cycle in the hypercube graph with the vertices {1,-1}^t, then for any vertex T of the graph there exists a unique inclusion-minimal subset of V such that T is the sum of its elements. We present a simple combinatorial statistic on decompositions of vertices of the hypercube graphs with respect to symmetric cycles and describe their basic metric properties.

Let $k,d,λ\geqslant1$ be integers with $d\geqslantλ$. Let $m(k,d,λ)$ be the maximum positive integer $n$ such that every set of $n$ points (not necessarily in general position) in $\mathbb{R}^{d}$ has the property that the convex hulls of all $k$-sets have a common transversal $(d-λ)$-plane. It turns out that $m(k, d,λ)$ is strongly connected with other interesting problems, for instance, the chromatic number of Kneser hypergraphs and a discrete version of Rado's centerpoint theorem. In the same spirit, we introduce a natural discrete version $m^*$ of $m$ by considering the existence of complete Kneser transversals. We study the relation between them and give a number of lower and upper bounds of $m^*$ as well as the exact value in some cases. The main ingredient for the proofs are Radon's partition theorem as well as oriented matroids tools. By studying the alternating oriented matroid we obtain the asymptotic behavior of the function $m^*$ for the family of cyclic polytopes.

Split networks are a popular tool for the analysis and visualization of complex evolutionary histories. Every collection of splits (bipartitions) of a finite set can be represented by a split network. Here we characterize which collection of splits can be represented using a planar split network. Our main theorem links these collections of splits with oriented matroids and arrangements of lines separating points in the plane. As a consequence of our main theorem, we establish a particularly simple characterization of maximal collections of these splits.

In recent years it has been noted that a number of combinatorial structures such as real and complex hyperplane arrangements, interval greedoids, matroids and oriented matroids have the structure of a finite monoid called a left regular band. Random walks on the monoid model a number of interesting Markov chains such as the Tsetlin library and riffle shuffle. The representation theory of left regular bands then comes into play and has had a major influence on both the combinatorics and the probability theory associated to such structures. In a recent paper, the authors established a close connection between algebraic and combinatorial invariants of a left regular band by showing that certain homological invariants of the algebra of a left regular band coincide with the cohomology of order complexes of posets naturally associated to the left regular band. The purpose of the present monograph is to further develop and deepen the connection between left regular bands and poset topology. This allows us to compute finite projective resolutions of all simple modules of left regular band algebras over fields and much more. In the process, we are led to define the class of CW left regular bands as the class of left regular bands whose associated posets are the face posets of regular CW complexes. Most of the examples that have arisen in the literature belong to this class. A new and important class of examples is a left regular band structure on the face poset of a CAT(0) cube complex. Also, the recently introduced notion of a COM (complex of oriented matroids or conditional oriented matroid) fits nicely into our setting and includes CAT(0) cube complexes and certain more general CAT(0) zonotopal complexes. A fairly complete picture of the representation theory for CW left regular bands is obtained.

In his seminal 1983 paper, Jim Lawrence introduced lopsided sets and featured them as asymmetric counterparts of oriented matroids, both sharing the key property of strong elimination. Moreover, symmetry of faces holds in both structures as well as in the so-called affine oriented matroids. These two fundamental properties (formulated for covectors) together lead to the natural notion of "conditional oriented matroid" (abbreviated COM). These novel structures can be characterized in terms of three cocircuits axioms, generalizing the familiar characterization for oriented matroids. We describe a binary composition scheme by which every COM can successively be erected as a certain complex of oriented matroids, in essentially the same way as a lopsided set can be glued together from its maximal hypercube faces. A realizable COM is represented by a hyperplane arrangement restricted to an open convex set. Among these are the examples formed by linear extensions of ordered sets, generalizing the oriented matroids corresponding to the permutohedra. Relaxing realizability to local realizability, we capture a wider class of combinatorial objects: we show that non-positively curved Coxeter zonotopal complexes give rise to locally realizable COMs.

We present a first example of a flag vector of a polyhedral sphere that is not the flag vector of any polytope. Namely, there is a unique 3-sphere with the parameters $(f_0,f_1,f_2,f_3;f_{02})=(12,40,40,12;120)$, but this sphere is not realizable by a convex 4-polytope. The 3-sphere, which is 2-simple and 2-simplicial, was found by Werner (2009); we present results of a computer enumeration which imply that the sphere with these parameters is unique. We prove that it is non-polytopal in two ways: First, we show that it has no oriented matroid, and thus it is not realizable; this proof was found by computer, but can be verified by hand. The second proof is again a computer-based oriented matroid proof and shows that for exactly one of the facets this sphere does not even have a diagram based on this facet. Using the non-polytopality, we finally prove that the sphere is not even embeddable as a polytopal complex.

The totally nonnegative Grassmannian is the set of k-dimensional subspaces V of R^n whose nonzero Pluecker coordinates all have the same sign. Gantmakher and Krein (1950) and Schoenberg and Whitney (1951) independently showed that V is totally nonnegative iff every vector in V, when viewed as a sequence of n numbers and ignoring any zeros, changes sign at most k-1 times. We generalize this result from the totally nonnegative Grassmannian to the entire Grassmannian, showing that if V is generic (i.e. has no zero Pluecker coordinates), then the vectors in V change sign at most m times iff certain sequences of Pluecker coordinates of V change sign at most m-k+1 times. We also give an algorithm which, given a non-generic V whose vectors change sign at most m times, perturbs V into a generic subspace whose vectors also change sign at most m times. We deduce that among all V whose vectors change sign at most m times, the generic subspaces are dense. These results generalize to oriented matroids. As an application of our results, we characterize when a generalized amplituhedron construction, in the sense of Arkani-Hamed and Trnka (2013), is well defined. We also give two ways of obtaining the positroid cell of each V in the totally nonnegative Grassmannian from the sign patterns of vectors in V.

We classify lattice $3$-polytopes of width larger than one and with exactly $6$ lattice points. We show that there are $74$ polytopes of width $2$, two polytopes of width $3$, and none of larger width. We give explicit coordinates for representatives of each class, together with other invariants such as their oriented matroid (or order type) and volume vector. For example, according to the number of interior points these $76$ polytopes divide into $23$ tetrahedra with two interior points (clean tetrahedra), $49$ polytopes with one interior point (the $49$ canonical three-polytopes with five boundary points previously classified by Kasprzyk) and only $4$ hollow polytopes. We also give a complete classification of three-polytopes of width one with $6$ lattice points. In terms of the oriented matroid of these six points, they lie in eight infinite classes and twelve individual polytopes. Our motivation comes partly from the concept of distinct pair sum (or dps) polytopes, which, in dimension $3$, can have at most $8$ lattice points. Among the $74+2$ classes mentioned above, exactly $44 + 1$ are dps.

It is well known that not every combinatorial configuration admits a geometric realization with points and lines. Moreover, some of them do not even admit realizations with pseudoline arrangements, i.e., they are not topological. In this paper we provide a new topological representation by using and essentially generalizing the topological representation of oriented matroids in rank 3. These representations can also be interpreted as curve arrangements on surfaces. In particular, we generalize the notion of a pseudoline arrangement to the notion of a quasiline arrangement by relaxing the condition that two pseudolines meet exactly once and show that every combinatorial configuration can be realized as a quasiline arrangement in the real projective plane. We also generalize well-known tools from pseudoline arrangements such as sweeps or wiring diagrams. A quasiline arrangement with selected vertices belonging to the configuration can be viewed as a map on a closed surface. Such a map can be used to distinguish between two "distinct" realizations of a combinatorial configuration as a quasiline arrangement.

Neighborly polytopes are those that maximize the number of faces in each dimension among all polytopes with the same number of vertices. Despite their extremal properties they form a surprisingly rich class of polytopes, which has been widely studied and is the subject of many open problems and conjectures. In this paper, we study the enumeration of neighborly polytopes beyond the cases that have been computed so far. To this end, we enumerate neighborly oriented matroids --- a combinatorial abstraction of neighborly polytopes --- of small rank and corank. In particular, if we denote by OM($r,n$) the set of all oriented matroids of rank $r$ and $n$ elements, we determine all uniform neighborly oriented matroids in OM($5,\leq 12$), OM($6,\leq 9$), OM($7,\leq 11$) and OM($9,\leq 12$) and all possible face lattices of neighborly oriented matroids in OM($6,10$) and OM($8,11$). Moreover, we classify all possible face lattices of uniform $2$-neighborly oriented matroids in OM($7,10$) and OM($8,11$). Based on the enumeration, we construct many interesting examples and test open conjectures.

Las Vergnas and Hamidoune studied the number of circuits needed to determine an oriented matroid. In this paper we investigate this problem and some new variants, as well as their interpretation in particular classes of matroids. We present general upper and lower bounds in the setting of general connected orientable matroids, leading to the study of subgraphs of the base graph and the intersection graph of circuits. We then consider the problem for uniform matroids which is closely related to the notion of (connected) covering numbers in Design Theory. Finally, we also devote special attention to regular matroids as well as some graphic and cographic matroids leading in particular to the topics of (connected) bond and cycle covers in Graph Theory.

The classical matrix tree theorem relates the number of spanning trees of a connected graph with the product of the nonzero eigenvalues of its Laplacian matrix. The class of regular matroids generalizes that of graphical matroids, and a generalization of the matrix tree theorem holds for this wider class. We give a new, geometric proof of this fact by showing via a dissect-and-rearrange argument that two combinatorially distinct zonotopes associated to a regular matroid have the same volume. Along the way we prove that for a regular oriented matroid represented by a unimodular matrix, the lattice spanned by its cocircuits coincides with the lattice spanned by the rows of the representation matrix. Finally, by extending our setup to the weighted case we give new proofs of recent results of An et al. on weighted graphs, and extend them to cover regular matroids. No use is made of the Cauchy-Binet Theorem nor divisor theory on graphs.

We introduce the Dyck path triangulation of the cartesian product of two simplices $Δ_{n-1}\timesΔ_{n-1}$. The maximal simplices of this triangulation are given by Dyck paths, and its construction naturally generalizes to produce triangulations of $Δ_{r\ n-1}\timesΔ_{n-1}$ using rational Dyck paths. Our study of the Dyck path triangulation is motivated by extendability problems of partial triangulations of products of two simplices. We show that whenever $m\geq k>n$, any triangulation of $Δ_{m-1}^{(k-1)}\timesΔ_{n-1}$ extends to a unique triangulation of $Δ_{m-1}\timesΔ_{n-1}$. Moreover, with an explicit construction, we prove that the bound $k>n$ is optimal. We also exhibit interesting interpretations of our results in the language of tropical oriented matroids, which are analogous to classical results in oriented matroid theory.

We prove da Silva's 1987 conjecture that any positively oriented matroid is a positroid; that is, it can be realized by a set of vectors in a real vector space. It follows from this result and a result of the third author that the positive matroid Grassmannian (or positive MacPhersonian) is homeomorphic to a closed ball.

The linear complementarity problem (LCP) provides a unified approach to many problems such as linear programs, convex quadratic programs, and bimatrix games. The general LCP is known to be NP-hard, but there are some promising results that suggest the possibility that the LCP with a P-matrix (PLCP) may be polynomial-time solvable. However, no polynomial-time algorithm for the PLCP has been found yet and the computational complexity of the PLCP remains open. Simple principal pivoting (SPP) algorithms, also known as Bard-type algorithms, are candidates for polynomial-time algorithms for the PLCP. In 1978, Stickney and Watson interpreted SPP algorithms as a family of algorithms that seek the sink of unique-sink orientations of $n$-cubes. They performed the enumeration of the arising orientations of the $3$-cube, hereafter called PLCP-orientations. In this paper, we present the enumeration of PLCP-orientations of the $4$-cube.The enumeration is done via construction of oriented matroids generalizing P-matrices and realizability classification of oriented matroids.Some insights obtained in the computational experiments are presented as well.

We prove that the combinatorial optimization problem of determining the hull number of a partial cube is NP-complete. This makes partial cubes the minimal graph class for which NP-completeness of this problem is known and improves some earlier results in the literature. On the other hand we provide a polynomial-time algorithm to determine the hull number of planar partial cube quadrangulations. Instances of the hull number problem for partial cubes described include poset dimension and hitting sets for interiors of curves in the plane. To obtain the above results, we investigate convexity in partial cubes and characterize these graphs in terms of their lattice of convex subgraphs, improving a theorem of Handa. Furthermore we provide a topological representation theorem for planar partial cubes, generalizing a result of Fukuda and Handa about rank three oriented matroids.

A connected covering is a design system in which the corresponding {\em block graph} is connected. The minimum size of such coverings are called {\em connected coverings numbers}. In this paper, we present various formulas and bounds for several parameter settings for these numbers. We also investigate results in connection with {\em Turán systems}. Finally, a new general upper bound, improving an earlier result, is given. The latter is used to improve upper bounds on a question concerning oriented matroid due to Las Vergnas.

We give the following extension of Barany's colorful Caratheodory theorem: Let M be an oriented matroid and N a matroid with rank function r, both defined on the same ground set V and satisfying rank(M) < rank(N). If every subset A of V with r(V - A) < rank (M) contains a positive circuit of M, then some independent set of N contains a positive circuit of M.