arXiv++ Combinatorics

Coxeter matroids generalize matroids just as flag varieties of Lie groups generalize Grassmannians. Valuations of Coxeter matroids are functions that behave well with respect to subdivisions of a Coxeter matroid into smaller ones. We compute the universal valuative invariant of Coxeter matroids. A key ingredient is the family of Coxeter Schubert matroids, which correspond to the Bruhat cells of flag varieties. In the process, we compute the universal valuation of generalized Coxeter permutohedra, a larger family of polyhedra that model Coxeter analogues of combinatorial objects such as matroids, clusters, and posets.

Flag matroids are combinatorial abstractions of flags of linear subspaces, just as matroids are of linear subspaces. We introduce the flag Dressian as a tropical analogue of the partial flag variety, and prove a correspondence between: (a) points on the flag Dressian, (b) valuated flag matroids, (c) flags of projective tropical linear spaces, and (d) coherent flag matroidal subdivisions. We introduce and characterize projective tropical linear spaces, which serve as a fundamental tool in our proof. We apply the correspondence to prove that all valuated flag matroids on ground set up to size 5 are realizable, and give an example where this fails for a flag matroid on 6 elements.

We generalize the Tutte polynomial of a matroid to a morphism of matroids via the K-theory of flag varieties. We introduce two different generalizations, and demonstrate that each has its own merits, where the trade-off is between the ease of combinatorics and geometry. One generalization recovers the Las Vergnas Tutte polynomial of a morphism of matroids, which admits a corank-nullity formula and a deletion-contraction recursion. The other generalization does not, but better reflects the geometry of flag varieties.

Function classes are collections of Boolean functions on a finite set, which are fundamental objects of study in theoretical computer science. We study algebraic properties of ideals associated to function classes previously defined by the third author. We consider the broad family of intersection-closed function classes, and describe cellular free resolutions of their ideals by order complexes of the associated posets. For function classes arising from matroids, polyhedral cell complexes, and more generally interval Cohen-Macaulay posets, we show that the multigraded Betti numbers are pure, and are given combinatorially by the Möbius functions. We then apply our methods to derive bounds on the VC dimension of some important families of function classes in learning theory.

Morphisms of matroids are combinatorial abstractions of linear maps and graph homomorphisms. We introduce the notion of basis for morphisms of matroids, and show that its generating function is strongly log-concave. As a consequence, we obtain a generalization of Mason's conjecture on the $f$-vectors of independent subsets of matroids to arbitrary morphisms of matroids. To establish this, we define multivariate Tutte polynomials of morphisms of matroids, and show that they are Lorentzian in the sense of [BH19] for sufficiently small positive parameters.

We introduce a presentation of the Chow ring of a matroid by a new set of generators, called "simplicial generators." These generators are analogous to nef divisors on projective toric varieties, and admit a combinatorial interpretation via the theory of matroid quotients. Using this combinatorial interpretation, we (i) produce a bijection between a monomial basis of the Chow ring and a relative generalization of Schubert matroids, (ii) recover the Poincaré duality property, (iii) give a formula for the volume polynomial, which we show is log-concave in the positive orthant, and (iv) recover the validity of Hodge-Riemann relations in degree 1, which is the part of the Hodge theory of matroids that currently accounts for all combinatorial applications of [AHK18]. Our work avoids the use of "flips," the key technical tool employed in [AHK18].

We describe the cone of deformations of a Coxeter permutahedron, or equivalently, the nef cone of the toric variety associated to a Coxeter complex. This family of polytopes contains polyhedral models for the Coxeter-theoretic analogs of compositions, graphs, matroids, posets, and associahedra. Our description extends the known correspondence between generalized permutahedra, polymatroids, and submodular functions to any finite reflection group.

The classical volume polynomial in algebraic geometry measures the degrees of ample (and nef) divisors on a smooth projective variety. We introduce an analogous volume polynomial for matroids, and give a complete combinatorial formula. For a realizable matroid, we thus obtain an explicit formula for the classical volume polynomial of the associated wonderful compactification. We then introduce a new invariant called the volume of a matroid as a particular specialization of its volume polynomial, and discuss its algebro-geometric and combinatorial properties in connection to graded linear series on blow-ups of projective spaces.