arXiv++ Combinatorics

Several important fans studied at the interface of combinatorics and algebraic geometry arise from barycentric subdivisions of other fans; the central example is the braid arrangement. The collection of faces of the standard simplex forms a basis for the deformation cone of the braid arrangement, i.e. the cone of generalized permutahedra. We reinterpret this simplicial basis as the collection of deep truncations of the standard simplex, and systematically abstract this perspective to produce polytopal bases for the deformation cones of barycentric subdivisions of simplicial projective fans. We further demonstrate that these bases restrict to bases for deformation cones of fans obtained by a sequence of stellar subdivisions induced by a building set. When the starting polytope is smooth with all edge lengths equal to 1, we show that we can upgrade our basis to a collection of flat truncations. We then investigate two extensions of the braid arrangement where we are able to further upgrade our flat truncation basis to an indecomposable polytopal basis: 1.the barycentric subdivision of the normal fan of a product of standard simplices and 2.the barycentric subdivision of the braid arrangement. We discuss connections to, and implications for, Archimedean solids and regular polytopes, permutahedral plates, root polytopes, permutoassociahedra, simple permutonestohedra, cosmohedra, omnitruncations of Coxeter permutahedra, bipermutahedra, $π$-colored fans, and tropical $α$ and $β$ classes.

We show that the toric ideal of the Fano matroid polytope does not have a quadratic Gröbner basis. This resolves in the negative a strong version of White's conjecture from matroid theory. This result was found independently by De Loera, Ferroni, Morales, and Rambau. Our approach is based on a new characterization of regular unimodular flag triangulations, which reduces the problem to an instance of SMT involving boolean and real variables. We then use an SMT solver to prove unsatisfiability. Using this approach, we also show that all 8-element matroids which do not have the Fano matroid or its dual as a minor, with the possible exception of the matroid $T_8$, have toric ideals which admit quadratic Gröbner bases.

This article introduces a quantized chip-firing model with close connections to the theory of rational lattice paths and rational parking functions. Given a graph with a sink and positive integers a,b,c with gcd(a,b)=1, a set S of vertices fires by the following rule. Each vertex in S provisionally sends c chips to the sink and a/b chips to each non-sink neighbor outside of S. The novel feature is that the total number of chips leaving from or arriving at any vertex gets rounded down to the nearest integer before being finalized. We define the notions of chip configurations being superstable, k-stable, or k-skeletal in this model. When c=1 and the graph is complete, superstable configurations correspond to rational parking functions. There is a bijection between superstable configurations and k-skeletal configurations for each k. We establish these results by building a combinatorial theory of k-skeletal rational lattice paths (both unlabeled and labeled) and translating that theory to chip configurations. There is a group structure on the set of chip configurations modulo firing and borrowing moves. We show that this group is isomorphic to the product of b-1 copies of the integers modulo a; and, for each k, each coset of chip configurations in this group contains a unique k-skeletal representative.

Inspired by Bruggesser-Mani's line shellings of polytopes, we introduce line shellings for the lattice of flats of a matroid: given a normal complex for a Bergman fan of a matroid induced by a building set, we show that the lexicographic order of the coordinates of its vertices is a shelling order. This gives a new proof of Björner's classical result that the order complex of the lattice of flats of a matroid is shellable, and demonstrates shellability for all nested set complexes for matroids.

The second author introduced 2-associahedra as a tool for investigating functoriality properties of Fukaya categories, and he conjectured that they could be realized as face posets of convex polytopes. We introduce a family of posets called categorical $n$-associahedra, which naturally extend the second author's 2-associahedra and the classical associahedra. Categorical $n$-associahedra give a combinatorial model for the poset of strata of a compactified real moduli space of a tree arrangement of affine coordinate subspaces. We construct a family of complete polyhedral fans, called velocity fans, whose coordinates encode the relative velocities of pairs of colliding coordinate subspaces, and whose face posets are the categorical $n$-associahedra. In particular, this gives the first fan realization of 2-associahedra. In the case of the classical associahedron, the velocity fan specializes to the normal fan of Loday's realization of the associahedron. For proving that the velocity fan is a fan, we first construct a cone complex of metric $n$-bracketings and then exhibit a piecewise-linear isomorphism from this complex to the velocity fan. We demonstrate that the velocity fan, which is not simplicial, admits a canonical smooth flag triangulation on the same set of rays, and we describe a second, finer triangulation which provides a new extension of the braid arrangement. We describe piecewise-unimodular maps on the velocity fan such that the image of each cone is a union of cones in the braid arrangement, and we highlight a connection to the theory of building sets and nestohedra. We explore the local iterated fiber product structure of categorical $n$-associahedra and the extent to which this structure is realized by the velocity fan. For the class of concentrated $n$-associahedra we exhibit generalized permutahedra having velocity fans as their normal fans.

For $0\leq k\leq n-1$, we introduce a family of $k$-skeletal paths which are counted by the $n$-th Catalan number for each $k$, and specialize to Dyck paths when $k=n-1$. We similarly introduce $k$-skeletal parking functions which are equinumerous with the spanning trees on $n+1$ vertices for each $k$, and specialize to classical parking functions for $k=n-1$. The preceding constructions are generalized to paths lying in a trapezoid with base $c > 0$ and southeastern diagonal of slope $1/m$; $c$ and $m$ need not be integers. We give bijections among these families when $k$ varies with $m$ and $c$ fixed. Our constructions are motivated by chip firing and have connections to combinatorial representation theory and tropical geometry.

Building sets were introduced in the study of wonderful compactifications of hyperplane arrangement complements and were later generalized to finite meet-semilattices. Convex geometries, the duals of antimatroids, offer a robust combinatorial abstraction of convexity. Supersolvable convex geometries and antimatroids appear in the study of poset closure operators, Coxeter groups, and matroid activities. We prove that the building sets on a finite meet-semilattice form a supersolvable convex geometry. As an application, we demonstrate that building sets and nested set complexes respect certain restrictions of finite meet-semilattices unifying and extending results of several authors.

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 generalize valuations on polyhedral cones to valuations on fans. For fans induced by hyperplane arrangements, we show a correspondence between rotation-invariant valuations and deletion-restriction invariants. In particular, we define a characteristic polynomial for fans in terms of spherical intrinsic volumes and show that it coincides with the usual characteristic polynomial in the case of hyperplane arrangements. This gives a simple deletion-restriction proof of a result of Klivans-Swartz. The metric projection of a cone is a piecewise-linear map, whose underlying fan prompts a generalization of spherical intrinsic volumes to indicator functions. We show that these 'intrinsic indicators' yield valuations that separate polyhedral cones. Applied to hyperplane arrangements, this generalizes a result of Kabluchko on projection volumes.

Lopéz de Medrano-Rinćon-Shaw defined Chern-Schwartz-MacPherson cycles for an arbitrary matroid $M$ and proved by an inductive geometric argument that the unsigned degrees of these cycles agree with the coefficients of $T(M;x,0)$, where $T(M;x,y)$ is the Tutte polynomial associated to $M$. Ardila-Denham-Huh recently utilized this interpretation of these coefficients in order to demonstrate their log-concavity. In this note we provide a direct calculation of the degree of a matroid Chern-Schwartz-MacPherson cycle by taking its stable intersection with a generic tropical linear space of the appropriate codimension and showing that the weighted point count agrees with the Gioan-Las Vergnas refined activities expansion of the Tutte polynomial.

Unlike Whitney's definition of the corank-nullity generating function $T(G;x+1,y+1)$, Tutte's definition of his now eponymous polynomial $T(G;x,y)$ requires a total order on the edges of which the polynomial is a posteriori independent. Tutte presented his definition in terms of internal and external activities of maximal spanning forests. Although Tutte's original definition may appear somewhat ad hoc upon first inspection, subsequent work by various researchers has demonstrated that activity is a deep combinatorial concept. In this survey, we provide an introduction to activities for graphs and matroids. Our primary goal is to survey several notions of activity for graphs which admit expansions of the Tutte polynomial. Additionally, we describe some fundamental structural theorems, and outline connections to the topological notion of shellability as well as several topics in algebraic combinatorics.

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].

Extending the notion of geometric bijections for regular matroids, introduced by the first and third author with Matthew Baker, we describe a family of bijections between bases of an oriented matroid and special orientations. These bijections are specified by a pair of circuit and cocircuit signatures coming respectively from a generic single-element lifting and extension. We then characterize generic single-element liftings and extensions using these bijections. We also explain the relation of our work with the works of Gioan--Las Vergnas and Ding. Some implications in oriented matroid programming and oriented matroid triangulations are also discussed.

Interior and exterior angle vectors of polytopes capture curvature information at faces of all dimensions and can be seen as metric variants of $f$-vectors. In this context, Gram's relation takes the place of the Euler--Poincaré relation as the unique linear relation among interior angles. We show the existence and uniqueness of Euler--Poincaré-type relations for generalized angle vectors by building a bridge to the algebraic combinatorics of geometric lattices, generalizing work of Klivans--Swartz. We introduce flag-angles of polytopes as a geometric counterpart to flag-$f$-vectors. Flag-angles generalize the angle deficiencies of Descartes--Shephard, Grassmann angles, and spherical intrinsic volumes. Using the machinery of incidence algebras, we relate flag-angles of zonotopes to flag-$f$-vectors of graded posets. This allows us to determine the linear relations satisfied by interior/exterior flag-angle vectors.

Let $M$ be a regular matroid. The Jacobian group ${\rm Jac}(M)$ of $M$ is a finite abelian group whose cardinality is equal to the number of bases of $M$. This group generalizes the definition of the Jacobian group (also known as the critical group or sandpile group) ${\rm Jac}(G)$ of a graph $G$ (in which case bases of the corresponding regular matroid are spanning trees of $G$). There are many explicit combinatorial bijections in the literature between the Jacobian group of a graph ${\rm Jac}(G)$ and spanning trees. However, most of the known bijections use vertices of $G$ in some essential way and are inherently "non-matroidal". In this paper, we construct a family of explicit and easy-to-describe bijections between the Jacobian group of a regular matroid $M$ and bases of $M$, many instances of which are new even in the case of graphs. We first describe our family of bijections in a purely combinatorial way in terms of orientations; more specifically, we prove that the Jacobian group of $M$ admits a canonical simply transitive action on the set ${\mathcal G}(M)$ of circuit-cocircuit reversal classes of $M$, and then define a family of combinatorial bijections $β_{σ,σ^*}$ between ${\mathcal G}(M)$ and bases of $M$. (Here $σ$ (resp. $σ^*$) is an acyclic signature of the set of circuits (resp. cocircuits) of $M$.) We then give a geometric interpretation of each such map $β=β_{σ,σ^*}$ in terms of zonotopal subdivisions which is used to verify that $β$ is indeed a bijection. Finally, we give a combinatorial interpretation of lattice points in the zonotope $Z$; by passing to dilations we obtain a new derivation of Stanley's formula linking the Ehrhart polynomial of $Z$ to the Tutte polynomial of $M$.

In this note we generalize the convolution formula for the Tutte polynomial of Kook-Reiner-Stanton and Etienne-Las Vergnas to a more general setting that includes both arithmetic matroids and delta-matroids. As corollaries, we obtain new proofs of two positivity results for pseudo-arithmetic matroids and a combinatorial interpretation of the arithmetic Tutte polynomial at infinitely many points in terms of arithmetic flows and colorings. We also exhibit connections with a decomposition of Dahmen-Micchelli spaces and lattice point counting in zonotopes.

A fourientation of a graph $G$ is a choice for each edge of the graph whether to orient that edge in either direction, leave it unoriented, or biorient it. We may naturally view fourientations as a mixture of subgraphs and graph orientations where unoriented and bioriented edges play the role of absent and present subgraph edges, respectively. Building on work of Backman and Hopkins (2015), we show that given a linear order and a reference orientation of the edge set, one can define activities for fourientations of $G$ which allow for a new 12 variable expansion of the Tutte polynomial $T_G$. Our formula specializes to both the Las Vergnas (1984) orientation activites expansion of the Tutte polynomial and the generalized activities expansion of Gordon and Traldi (1990).

It is well-known that the Ford-Fulkerson algorithm for finding a maximum flow in a network need not terminate if we allow the arc capacities to take irrational values. Every non-terminating example converges to a limit flow, but this limit flow need not be a maximum flow. Hence, one may pass to the limit and begin the algorithm again. In this way, we may view the Ford-Fulkerson algorithm as a transfinite algorithm. We analyze the transfinite running-time of the Ford-Fulkerson algorithm using ordinal numbers, and prove that the worst case running-time is $ω^{Θ(|E|)}$. For the lower bound, we show that we can model the Euclidean algorithm via Ford-Fulkerson on an auxiliary network. By running this example on a pair of incommensurable numbers, we obtain a new robust non-terminating example. We then describe how to glue $k$ copies of our Euclidean example in parallel to obtain running-time $ω^k$. An upper bound of $ω^{|E|}$ is established via induction on $|E|$. We conclude by illustrating a close connection to transfinite chip-firing as previously investigated by the first author.

A fourientation of a graph is a choice for each edge of the graph whether to orient that edge in either direction, leave it unoriented, or biorient it. Fixing a total order on the edges and a reference orientation of the graph, we investigate properties of cuts and cycles in fourientations which give trivariate generating functions that are generalized Tutte polynomial evaluations of the form \[(k+m)^{n-1}(k+l)^gT\left(\frac{αk + βl + m}{k+m},\frac{γk + l + δm}{k+l}\right)\] for $α,γ\in \{0,1,2\}$ and $β, δ\in \{0,1\}$. We introduce an intersection lattice of 64 cut-cycle fourientation classes enumerated by generalized Tutte polynomial evaluations of this form. We prove these enumerations using a single deletion-contraction argument and classify axiomatically the set of fourientation classes to which our deletion-contraction argument applies. This work unifies and extends earlier results for fourientations due to Gessel and Sagan, and results for partial orientations due to the first author, and the second author and David Perkinson, as well as results for total orientations due to many authors. We conclude by describing how these classes of fourientations relate to geometric, combinatorial, and algebraic objects including bigraphical arrangements, cycle-cocycle reversal systems, graphic Lawrence ideals, Riemann-Roch theory for graphs, zonotopal algebras, and the reliability polynomial.

Gessel and Sagan investigated the Tutte polynomial, $T(x,y)$ using depth first search, and applied their techniques to show that the number of acyclic partial orientations of a graph is $2^gT(3,1/2)$. We provide a short deletion-contraction proof of this result and demonstrate that dually, the number of strongly connected partial orientations is $2^{n-1}T(1/2,3)$. We then prove that the number of partial orientations modulo cycle reversals is $2^gT(3,1)$ and the number of partial orientations modulo cut reversals is $2^{n-1}T(1,3)$. To prove these results, we introduce cut and cycle minimal partial orientations which provide distinguished representatives for partial orientations modulo cut and cycle reversals. These extend classes of total orientations introduced by Gioan, and Greene and Zaslavksy, and we highlight a close connection with graphic and cographic Lawrence ideals. We conclude with edge chromatic generalizations of the quantities presented, which allow for a new interpretation of the reliability polynomial for all probabilities, $p$ with $0 < p <1/2$.