arXiv++ Combinatorics

We use the lexicographic order to define a hierarchy of primal and dual bounds on the optimum of a bounded integer program. These bounds are constructed using lex maximal and minimal feasible points taken under different permutations. Their strength is analyzed and it is shown that a family of primal bounds is tight for any $0\backslash 1$ program with nonnegative linear objective, and a different family of dual bounds is tight for any packing- or covering-type $0\backslash 1$ program with an arbitrary linear objective. The former result yields a structural characterization for the optimum of $0\backslash 1$ programs, with connections to matroid optimization, and a heuristic for general integer programs. The latter result implies a stronger polyhedral representation for the integer feasible points and a new approach for deriving strong valid inequalities to the integer hull. Since the construction of our bounds depends on the computation of lex optima, we derive explicit formulae for lex optima of some special polytopes, such as polytopes that are monotone with respect to each variable, and integral polymatroids and their base polytopes. We also classify $\mathrm{P}$ and $\mathrm{NP}$-$\mathrm{hard}$ cases of computing lex bounds and lex optima.

The Tutte polynomial for matroids is not directly applicable to polymatroids. For instance, deletion-contraction properties do not hold. We construct a polynomial for polymatroids which behaves similarly to the Tutte polynomial of a matroid, and in fact contains the same information as the Tutte polynomial when we restrict to matroids. This polynomial is constructed using lattice point counts in the Minkowski sum of the base polytope of a polymatroid and scaled copies of the standard simplex. We also show that, in the matroid case, our polynomial has coefficients of alternating sign, with a combinatorial interpretation closely tied to the Dawson partition.

The family of 2-level matroids, that is, matroids whose base polytope is 2-level, has been recently studied and characterized by means of combinatorial properties. 2-level matroids generalize series-parallel graphs, which have been already successfully analyzed from the enumerative perspective. We bring to light some structural properties of 2-level matroids and exploit them for enumerative purposes. Moreover, the counting results are used to show that the number of combinatorially non-equivalent (n-1)-dimensional 2-level polytopes is bounded from below by $c \cdot n^{-5/2} \cdot ρ^{-n}$, where $c\approx 0.03791727 $ and $ρ^{-1} \approx 4.88052854$.

The Theta rank of a finite point configuration $V$ is the maximal degree necessary for a sum-of-squares representation of a non-negative linear function on $V$. This is an important invariant for polynomial optimization that is in general hard to determine. We study the Theta rank and levelness, a related discrete-geometric invariant, for matroid base configurations. It is shown that the class of matroids with bounded Theta rank or levelness is closed under taking minors. This allows for a characterization of matroids with bounded Theta rank or levelness in terms of forbidden minors. We give the complete (finite) list of excluded minors for Theta-$1$ matroids which generalizes the well-known series-parallel graphs. Moreover, the class of Theta-$1$ matroids can be characterized in terms of the degree of generation of the vanishing ideal and in terms of the psd rank for the associated matroid base polytope. We further give a finite list of excluded minors for $k$-level graphs and matroids and we investigate the graphs of Theta rank $2$.

We show the existence of a polynomial-size extended formulation for the base polytope of a $(k,\ell)$-sparsity matroid. For an undirected graph $G=(V,E)$, the size of the formulation is $O(|V||E|)$ when $k \geq \ell$ and $O(|V|^2 |E|)$ when $k \leq \ell$. To this end, we employ the technique developed by Faenza et al. recently that uses a randomized communication protocol.

This is a continuation of the early paper concerning matroid base polytope decomposition. Here, we will present sufficient conditions on $M$ so its base matroid polytope $P(M)$ has a {\em sequence} of hyperplane splits. The latter yields to decompositions of $P(M)$ with two or more pieces for infinitely many matroids $M$. We also present necessary conditions on the Euclidean representation of rank three matroids $M$ for the existences of decompositions of $P(M)$ into $2$ or $3$ pieces. Finally, we prove that $P(M_1 \oplus M_2)$ has a sequence of hyperplane splits if either $P(M_1)$ or $P(M_2)$ also has a sequence of hyperplane splits.

The weak-map order on the matroid base polytopes is the partial order defined by inclusion. Lucas proved that the base polytope of no binary matroid includes the base polytope of a connected matroid. A matroid base polytope is said to be decomposable when it has a polytopal decomposition which consists of at least two matroid base polytopes. We shed light on the relation between the decomposability and the weak-map order of matroid base polytopes. We classify matroids into five types with respect to the weak-map order and decomposability. We give an example of a matroid in each class. Moreover, we give a counterexample to a conjecture proposed by Lucas, which says that, when one matroid base polytope covers another matroid base polytope with respect to inclusion, the latter matroid base polytope should be a facet of the former matroid base polytope.

A polyhedron P has the Integer Caratheodory Property if the following holds. For any positive integer k and any integer vector w in kP, there exist affinely independent integer vectors x_1,...,x_t in P and positive integers n_1,...,n_t such that n_1+...+n_t=k and w=n_1x_1+...+n_tx_t. In this paper we prove that if P is a (poly)matroid base polytope or if P is defined by a TU matrix, then P and projections of P satisfy the integer Caratheodory property.

Let $P(M)$ be the matroid base polytope of a matroid $M$. A {\em matroid base polytope decomposition} of $P(M)$ is a decomposition of the form $P(M) = \bigcup\limits_{i=1}^t P(M_{i})$ where each $P(M_i)$ is also a matroid base polytope for some matroid $M_i$, and for each $1\le i \neq j\le t$, the intersection $P(M_{i}) \cap P(M_{j})$ is a face of both $P(M_i)$ and $P(M_j)$. In this paper, we investigate {\em hyperplane splits}, that is, polytope decompositions when $t=2$. We give sufficient conditions for $M$ so $P(M)$ has a hyperplane split and characterize when $P(M_1 \oplus M_2)$ has a hyperplane split where $M_1 \oplus M_2$ denote the {\em direct sum} of matroids $M_1$ and $M_2$. We also prove that $P(M)$ has not a hyperplane split if $M$ is binary. Finally, we show that $P(M)$ has not a decomposition if its 1-skeleton is the {\em hypercube}.

In this paper, we study flag structures of matroid base polytopes. We describe faces of matroid base polytopes in terms of matroid data, and give conditions for hyperplane splits of matroid base polytopes. Also, we show how the cd-index of a polytope can be expressed when a polytope is split by a hyperplane, and apply these to the cd-index of a matroid base polytope of a rank 2 matroid.

To every subspace arrangement X we will associate symmetric functions P[X] and H[X]. These symmetric functions encode the Hilbert series and the minimal projective resolution of the product ideal associated to the subspace arrangement. They can be defined for discrete polymatroids as well. The invariant H[X] specializes to the Tutte polynomial T[X]. Billera, Jia and Reiner recently introduced a quasi-symmetric function F[X] (for matroids) which behaves valuatively with respect to matroid base polytope decompositions. We will define a quasi-symmetric function G[X] for polymatroids which has this property as well. Moreover, G[X] specializes to P[X], H[X], T[X] and F[X].

A new Z-basis for the space of quasisymmetric functions (QSym, for short) is presented. It is shown to have nonnegative structure constants, and several interesting properties relative to the space of quasisymmetric functions associated to matroids by the Hopf algebra morphism (F) of Billera, Jia, and Reiner. In particular, for loopless matroids, this basis reflects the grading by matroid rank, as well as by the size of the ground set. It is shown that the morphism F is injective on the set of rank two matroids, and that decomposability of the quasisymmetric function of a rank two matroid mirrors the decomposability of its base polytope. An affirmative answer is given to the Hilbert basis question raised by Billera, Jia, and Reiner.

A new isomorphism invariant of matroids is introduced, in the form of a quasisymmetric function. This invariant (1) defines a Hopf morphism from the Hopf algebra of matroids to the quasisymmetric functions, which is surjective if one uses rational coefficients, (2) is a multivariate generating function for integer weight vectors that give minimum total weight to a unique base of the matroid, (3) is equivalent, via the Hopf antipode, to a generating function for integer weight vectors which keeps track of how many bases minimize the total weight, (4) behaves simply under matroid duality, (5) has a simple expansion in terms of P-partition enumerators, and (6) is a valuation on decompositions of matroid base polytopes. This last property leads to an interesting application: it can sometimes be used to prove that a matroid base polytope has no decompositions into smaller matroid base polytopes. Existence of such decompositions is a subtle issue arising in work of Lafforgue, where lack of such a decomposition implies the matroid has only a finite number of realizations up to projective equivalence.

We present two examples in toric geometry concerning the relationship between toric and quasitoric manifolds, and provide the sufficient conditions on the base polytope and characteristic map so that the resulting quasitoric manifold is almost complex.