arXiv++ Combinatorics

We study the positivity of the tropical multidegrees of a tropical variety contained in a product of real vector spaces. These multidegrees are obtained by stably intersecting the tropical variety with pullbacks of positive tropical divisors. We introduce projection-purity and facet-selectability, two conditions under which positivity is determined by the dimensions of the natural projections, and the support of the tropical multidegrees is precisely the set of lattice points of a polymatroid base polytope. This extends He's theorem for translation-admissible tropical varieties. We also show that these conditions alone do not force the corresponding tropical volume polynomial to be Lorentzian. By contrast, for the augmented Bergman fan of any polymatroid, the positive multidegrees are supported precisely on the lattice points of the polymatroid base polytope, and the tropical volume polynomial is Lorentzian for every sequence of positive tropical divisors.

Given a fence poset P , we define a new statistic on permutations, denoted by blP, that provides a combinatorial interpretation of the coefficients of the order polynomial of P , answering a question of Ferroni, Morales, and Panova (2025). Using the fact that the base polytope of a lattice path matroid can be decomposed into order polytopes of fence posets, we also obtain a combinatorial interpretation of the coefficients of the Ehrhart polynomial of the base polytope of Schubert matroids, answering a question of Stanley (1999). As an application of this statistic, we establish the first nontrivial lower bound for the linear coefficient of the Ehrhart polynomial of an order polytope. Finally, we conjecture generalizations of this statistic to skew-shape posets and circular fence posets.

We introduce the clique-face property for lattice polytopes and investigate its relationship with quadratic generation of toric ideals. We prove that, under a mild condition on edges, if the toric ideal of a lattice polytope is generated by quadratic binomials, then every clique of its 1-skeleton is the vertex set of a face. In particular, if the toric ideal of a $(0,1)$-polytope is generated by quadratic binomials, then every clique of its 1-skeleton is the vertex set of a face. For $(0,1)$-polytopes satisfying condition (E), we characterize this clique-face property in terms of divisibility by quadratic monomials appearing in quadratic binomials of the toric ideal; as a consequence, such toric ideals have no indispensable monomials of degree $\ge 3$. We apply these results to edge polytopes and cut polytopes, for which the clique-face property is equivalent to quadratic generation. Finally, motivated by conjectures on quadratic toric ideals, we verify the clique-face property for simple polytopes, matroid independence polytopes, and matroid base polytopes, and discuss stable set polytopes.

Our paper shows that if a matroid contains the Fano plane or its dual as a minor, then its toric ideal does not have any quadratic Gröbner basis. More than 25 years ago, Hibi, Herzog, and Sturmfels established a direct connection between the existence of quadratic Gröbner bases and regular unimodular flag triangulations. Our paper solves a famous question posed by Herzog and Hibi on a polyhedral reformulation for the existence of quadratic Gröbner bases: we show that the base polytopes of the Fano plane and its dual do not have regular unimodular flag triangulations which implies the main result on Gröbner bases. Our proof relies on several novel tools: a lemma that connects the $1$-skeleton of a lattice polytope to the lattice points in its dilations, an encoding with Boolean formulas and SAT solvers, and symmetry-breaking arguments.

Let $N$ be a finite set of cardinality $n$, and $a\in N$. A submodular function $f$ on $N$ with $f(a)=1$ is defined to be $a$-reduced if, for any decomposition $f=g+h$ into submodular functions where $h$ does not depend on $a$, it follows that $h$ is identically zero. The maximal possible value of $f$ on the remaining singletons defines a quantity $λ$ that characterizes the degree to which one variable can constrain the value of another; geometrically, it also limits the possible elongation of the associated submodular base polytope. We construct an example demonstrating that $λ$ can be as large as $Ω(n/\log n)$. Furthermore, we establish a doubly exponential upper bound on $λ$. The problem of narrowing the gap between these bounds remains open.

We compute the $cd$-index $Ψ_{cd}$ of matroid base polytopes $\mathscr{P}(M)$ for a large family of matroids $M$. The $cd$-index is a polynomial in two non-commutative variables that compactly encodes the count of face flags $\mathcal{F} = \{σ_1 \subset \dots \subset σ_s \}$ with prescribed $\dim σ_i = d_i$. This comprises the $f$-vector of $\mathscr{P}(M)$, which recently Ferroni and Schröter treated as an almost-valuative invariant; i.e. a valuative part plus an error term. We initiate a similar program for $Ψ_{cd}(\mathscr{P}(M))$ and show that for an elementary split matroid $M$ the error term in the computation of $Ψ_{cd}(\mathscr{P}(M))$ surprisingly depends only on modular pairs of cyclic flats. This allows us to implement computations requiring only the counts $λ(r,h)$ and $μ(α,β,a,b)$ of cyclic flats and modular pairs of cyclic flats, respectively, that fulfill some rank and cardinality conditions. We illustrate the methods with sparse paving matroids.

We study egalitarian (acyclic) orientations of undirected graphs under indegree-based objectives, such as minimizing the $\varphi$-sum of indegrees for a strictly convex function $\varphi$, decreasing minimization (dec-min), and increasing maximization (inc-max). In the non-acyclic setting of Frank and Murota (2022), a single orientation simultaneously optimizes these three objectives, however, restricting to acyclic orientations confines us to the corners of the indegree polytope, where these fairness objectives do diverge. We establish strong hardness results across a broad range of settings: minimizing the $\varphi$-sum of indegrees is NP-hard for every discrete strictly convex function $\varphi$; dec-min and inc-max are NP-hard for every indegree bound $k \geq 2$, as well as without a bound; and the complementary inc-min and dec-max problems are NP-hard even on $3$-regular graphs. On the algorithmic side, we give a polynomial-time algorithm for minimizing the maximum weighted indegree via a weighted smallest-last ordering. We also provide an exact exponential-time algorithm for minimizing general separable discrete convex objectives over indegrees, and a polynomial-time algorithm for the non-acyclic case. Finally, for maximizing the sum of the products of indegrees and outdegrees, we prove NP-hardness on graphs of maximum degree $4$, give an algorithm for maximum degree $3$, and provide a $3$-approximation algorithm. Our results delineate the algorithmic frontier of convex integral optimization over indegree (base-)polytopes, and highlight both theoretical consequences and practical implications, notably for scheduling and deadlock-free routing.

We construct an explicit, embedded degeneration of the general torus orbit closure in the maximal orthogonal Grassmannian OG(n,2n+1) into a union of Richardson varieties. In particular, we deduce a formula for the cohomology class of the torus orbit closure, as a sum of products of Schubert classes. The moment map images of the degenerate pieces are the base polytopes of their underlying delta-matroids, and give a polyhedral decomposition of the unit hypercube, which had previously been studied by Chen-Sanchez-Veliz-Ying.

We introduce a new matroid (graph) invariant, the arboricity polynomial. Given a matroid, the arboricity polynomial enumerates the number of covers of the ground set by disjoint independent sets. We establish the polynomiality of the counting function as a special case of a scheduling polynomial, i.e. both in terms of quasisymmetric functions and via Ehrhart theory of the normal fan of the matroid base polytope. We show basic properties of the polynomial and demonstrate that it is not a Tutte invariant. Namely, the arboricity polynomial does not satisfy a contraction / deletion recursion.

We show that the linear coefficient of the Ehrhart polynomial of a matroid base polytope evaluated at $t-1$ is equal to, up to normalization, the $β$-invariant of the matroid. This yields a lattice-point counting formula for the $β$-invariant and establishes a new and unexpected positivity property of Ehrhart polynomials of matroid polytopes.

For a lattice polytope $P$, the rank of $P$ is defined by $F-(\dim P+1)$, where $F$ is the number of facets of $P$. In this paper, we study matroid polytopes with small rank. More precisely, we characterize matroid independence polytopes and graphic matroid base polytopes with rank at most three. Furthermore, using this characterization, we investigate their relationships with order polytopes, stable set polytopes, and edge polytopes.

White's conjecture predicts quadratic generators for the ideal of any matroid base polytope. We prove that White's conjecture for any matroid $M$ implies it also for any matroid $M'$, where $M$ and $M'$ differ by one basis. Our study is motivated by inner projections of algebraic varieties.

Many (if not most) of convex polytopes, important for combinatorial and algebraic geometry, are closely related to secondary polytopes of point configurations, or base polytopes of submodular functions, or their numerous variations and generalizations. The aim of this text is to introduce the class of basecondary polytopes. This class includes (and allows to study uniformly) the aforementioned ones, as well as some others, e.g. appearing as Newton polytopes of important discriminant hypersurfaces. Most notably, this includes the discriminant of the Lyashko--Looijenga map, which is important for enumerative geometry of ramified coverings and cannot be reduced (by far) to Gelfand--Kapranov--Zelevinsky's A-discriminants and secondary polytopes.

We study the tropicalization of the image of the cone of positive definite matrices under the principal minors map. It is a polyhedral subset of the set of $M$-concave functions on the discrete $n$-dimensional cube. We show it coincides with the intersection of the affine tropical flag variety with the submodular cone. In particular, any cell in the regular subdivision of the cube induced by a point in this tropicalization can be subdivided into base polytopes of realizable matroids. We use this tropicalization as a guide to discover new algebraic inequalities among the principal minors of positive semidefinite matrices of a fixed size. We also extend our results to positive semidefinite matrices via taking closures in the tropical semifield $\mathbb{R}\cup\{-\infty\}$.

A matroid base polytope is a polytope in which each vertex has 0,1 coordinates and each edge is parallel to a difference of two coordinate vectors. Matroid base polytopes are described combinatorially by integral submodular functions on a boolean lattice, satisfying the unit increase property. We define a more general class of unbounded matroids, or U-matroids, by replacing the boolean lattice with an arbitrary distributive lattice. U-matroids thus serve as a combinatorial model for polyhedra that satisfy the vertex and edge conditions of matroid base polytopes, but may be unbounded. Like polymatroids, U-matroids generalize matroids and arise as a special case of submodular systems. We prove that every U-matroid admits a canonical largest extension to a matroid, which we call the generous extension; the analogous geometric statement is that every U-matroid base polyhedron contains a unique largest matroid base polytope. We show that the supports of vertices of a U-matroid base polyhedron span a shellable simplicial complex, and we characterize U-matroid basis systems in terms of shelling orders, generalizing Björner's and Gale's criteria for a simplicial complex to be a matroid independence complex. Finally, we present an application of our theory to subspace arrangements and show that the generous extension has a natural geometric interpretation in this setting.

We utilize the coherent-constructible correspondence to construct full strongly exceptional collections of nef line bundles in the derived category of a toric variety through the combinatorics of constructible sheaves built from polytopes. To show that sequences are full, we build exact complexes of line bundles that categorify the relations in the McMullen polytope algebra. We compute the homomorphisms between certain constructible sheaves on polytopes and use this to reduce the question of exceptionality to showing that certain set differences of polytopes are contractible. As an application of our method, we construct full strongly exceptional collections of nef line bundles for the toric varieties associated to the permutahedron, stellahedron, and the type $B_n$ Coxeter permutahedron. The line bundles in our collections are indexed by base polytopes of loopless Schubert matroids, independence polytopes of all Schubert matroids, and feasible polytopes of loopless Schubert delta matroids, respectively. Our collections satisfy a number of nice properties: First, the quiver with relations that encodes the endomorphism algebra of the tilting sheaf can be described matroid-theoretically as a slight extension of the notion of weak maps and inclusion of matroids; Second, our collections are invariant under the natural symmetries of the corresponding fans; Finally, the induced semi-orthogonal decomposition of the derived categories refines the cuspidal semi-orthogonal decomposition as studied by Castravet and Tevelev. This gives a full strongly exceptional collection of nef line bundles for the cuspidal parts of the derived categories of our varieties indexed by loopless and coloopless Schubert matroids and Schubert delta matroids.

Base polytopes of polymatroids, also known as generalized permutohedra, are polytopes whose edges are parallel to a vector of the form $\mathbf{e}_i - \mathbf{e}_j$. We consider the following computational problem: Given two vertices of a generalized permutohedron $P$, find a shortest path between them on the skeleton of $P$. This captures many known flip distance problems, such as computing the minimum number of exchanges between two spanning trees of a graph, the rotation distance between binary search trees, the flip distance between acyclic orientations of a graph, or rectangulations of a square. We prove that this problem is $NP$-hard, even when restricted to very simple polymatroids in $\mathbb{R}^n$ defined by $O(n)$ inequalities. Assuming $P\not= NP$, this rules out the existence of an efficient simplex pivoting rule that performs a minimum number of nondegenerate pivoting steps to an optimal solution of a linear program, even when the latter defines a polymatroid. We also prove that the shortest path problem is inapproximable when the polymatroid is specified via an evaluation oracle for a corresponding submodular function, strengthening a recent result by Ito et al. (ICALP'23). More precisely, we prove the $APX$-hardness of the shortest path problem when the polymatroid is a hypergraphic polytope, whose vertices are in bijection with acyclic orientations of a given hypergraph. The shortest path problem then amounts to computing the flip distance between two acyclic orientations of a hypergraph. On the positive side, we provide a polynomial-time approximation algorithm for the problem of computing the flip distance between two acyclic orientations of a hypergraph, where the approximation factor is the maximum codegree of the hypergraph. Our result implies an exact polynomial-time algorithm for the flip distance between two acyclic orientations of any linear hypergraph.

We produce the first regular unimodular triangulation of an arbitrary matroid base polytope. We then extend our triangulation to integral generalized permutahedra. Prior to this work it was unknown whether each matroid base polytope admitted a unimodular cover.

We give new characterizations for the class of uniformly dense matroids and study applications of these characterizations to graphic and real representable matroids. We show that a matroid is uniformly dense if and only if its base polytope contains a point with constant coordinates. As a main application, we derive new spectral, structural and classification results for uniformly dense graphs. In particular, we show that connected regular uniformly dense graphs are $1$-tough and thus contain a (near-)perfect matching. As a second application, we show that strictly uniformly dense real represented matroids can be represented by projection matrices with a constant diagonal and that they are parametrized by a subvariety of the Grassmannian.

We prove that the computation of a combinatorial shortest path between two vertices of a graph associahedron, introduced by Carr and Devadoss, is NP-hard. This resolves an open problem raised by Cardinal. A graph associahedron is a generalization of the well-known associahedron. The associahedron is obtained as the graph associahedron of a path. It is a tantalizing and important open problem in theoretical computer science whether the computation of a combinatorial shortest path between two vertices of the associahedron can be done in polynomial time, which is identical to the computation of the flip distance between two triangulations of a convex polygon, and the rotation distance between two rooted binary trees. Our result shows that a certain generalized approach to tackling this open problem is not promising. As a corollary of our theorem, we prove that the computation of a combinatorial shortest path between two vertices of a polymatroid base polytope cannot be done in polynomial time unless P = NP. Since a combinatorial shortest path on the matroid base polytope can be computed in polynomial time, our result reveals an unexpected contrast between matroids and polymatroids.