arXiv++ Combinatorics

We provide explicit combinatorial formulas for the Chow polynomial and for the augmented Chow polynomial of uniform matroids, thereby proving a conjecture by Ferroni. These formulas refine existing formulas by Hampe and by Eur, Huh, and Larson, offering a combinatorial interpretation of the coefficients based on Schubert matroids. As a byproduct, we count Schubert matroids by rank, number of loops, and cogirth.

We define an independence system associated with simple graphs. We prove that the independence system is a matroid for certain families of graphs, including trees, with bases as minimal resolving sets. Consequently, the greedy algorithm on the matroid can be used to find the minimum-cost resolving set of weighted graphs, wherein the independent system is a matroid. We also characterize hyperplanes of the matroid for trees and prove that its dual matroid is loop-free.

Motivated by the question of whether Chow polynomials of matroids have only real roots, this article revisits the known relationship between Eulerian polynomials and the Hilbert series of Chow rings of permutohedral varieties. This is done using a quadratic Gröbner basis associated to a new presentation of those rings, which is obtained by iterating the semi-small decomposition of Chow rings of matroids. This Gröbner basis can also be applied to compute certain principal ideals in these rings, and ultimately reestablish the known connection between derangement polynomials and the Hilbert series of Chow rings for corank 1 uniform matroids. More broadly, this approach enables us to express the Hilbert series of Chow rings for any uniform matroid as polynomials related to the ascent statistics on particular sets of inversion sequences.

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\}$.

We show that, given a rank 3 affine root system $Φ$ with Weyl group $W$, there is a unique oriented matroid structure on $Φ$ which is $W$-equivariant and restricts to the usual matroid structure on rank 2 subsystems. Such oriented matroids were called oriented matroid root systems in Dyer-Wang (2021), and are known to be non-unique in higher rank. We also show uniqueness for any finite root system or "clean" rank 3 root system (which conjecturally includes all rank 3 root systems).

For Grassmannians, Lusztig's notion of total positivity coincides with positivity of the Plucker coordinates. This coincidence underpins the rich interaction between matroid theory, tropical geometry, and the theory of total positivity. Bloch and Karp furthermore characterized the (type A) partial flag varieties for which the two notions of positivity similarly coincide. We characterize the symplectic (type C) and odd-orthogonal (type B) partial flag varieties for which Lusztig's total positivity coincides with Plucker positivity.

In recent work of Braden, Huh, Matherne, Proudfoot and Wang, a class of simplicial complexes associated to matroids, called augmented Bergman complexes, was introduced. The present article concerns the face enumeration of these complexes. We prove that the augmented Bergman complex of any matroid admits a convex ear decomposition and deduce that augmented Bergman complexes are doubly Cohen--Macaulay and that they have top-heavy $h$-vectors. We provide some formulas for computing the $h$-polynomials of these complexes and exhibit examples which show that, in general, they are neither log-concave nor unimodal.

We study two dimensional and three dimensional tropical subrepresentations of the regular representation $\mathbb{B}[G]$ of a finite group over the tropical booleans, utilizing the theory of group representations over a fixed idempotent semifield as developed by Giansiracusa--Manaker. In dimension two we completely classify all two dimensional tropical subrepresentations of $\mathbb{B}[G]$, provide an explicit characterization for the set of bases of the corresponding matroids, and show an equivalence with the subgroups of $G$. In dimension three we show such an equivalence no longer holds. Towards a classification in dimension three we give a collection of tropical subrepresentations corresponding to subgroups of index 2, and we show that in the special case of finite cyclic groups, one can find three dimensional tropical subrepresentations that do not correspond to subgroups in a similar way.

A $d$-dimensional tensegrity framework $(T,p)$ is an edge-labeled geometric graph in ${\mathbb R}^d$, which consists of a graph $T=(V,B\cup C\cup S)$ and a map $p:V\to {\mathbb R}^d$. The labels determine whether an edge $uv$ of $T$ corresponds to a fixed length bar in $(T,p)$, or a cable which cannot increase in length, or a strut which cannot decrease in length. We consider minimally infinitesimally rigid $d$-dimensional tensegrity frameworks and provide tight upper bounds on the number of its edges, in terms of the number of vertices and the dimension $d$. We obtain stronger upper bounds in the case when there are no bars and the framework is in generic position. The proofs use methods from convex geometry and matroid theory. A special case of our results confirms a conjecture of Whiteley from 1987. We also give an affirmative answer to a conjecture concerning the number of edges of a graph whose three-dimensional rigidity matroid is minimally connected.

Generalizing a theorem of the first two authors and Geelen for planes, we show that, for a real-representable matroid $M$, either the average hyperplane-size in $M$ is at most a constant depending only on its rank, or each hyperplane of $M$ contains one of a set of at most $r(M)-2$ lines. Additionally, in the latter case, the ground set of $M$ has a partition $(E_{1}, E_{2})$, where $E_{1}$ can be covered by few flats of relatively low rank and $|E_{2}|$ is bounded. These results extend to complex-representable and orientable matroids. Finally, we formulate a high-dimensional generalization of a classic problem of Motzkin, Grünbaum, Erdős and Purdy on sets of red and blue points in the plane with no monochromatic blue line. We show that the solution to this problem gives a tight upper bound on $|E_{2}|$. We also discuss this high-dimensional problem in its own right, and prove some initial results.

A positroid is a matroid realized by a matrix such that all maximal minors are non-negative. Positroid polytopes are matroid polytopes of positroids. In particular, they are lattice polytopes. The Ehrhart polynomial of a lattice polytope counts the number of integer points in the dilation of that polytope. The Ehrhart series is the generating function of the Ehrhart polynomial, a rational function with a numerator called the $h^*$-polynomial. We give explicit formulas for the $h^*$-polynomials of an arbitrary positroid polytope regarding permutation descents. Our result generalizes that of Early, Kim, and Li for hypersimplices.

The r-fold-n-point-splitting operation is an important operation in Graph Theory defined by Slater [15]. Later, Ghafari [6] extended 3-fold-n-point-splitting operation in binary matroids and obtained the result for Eulerian matroids whose 3-fold is Eulerian. In this paper, we give another approach to extend 3-fold-3-point-splitting in binary matroids in terms of splitting and haracterize binary gammoid whose 3-fold-3-point spitting is binary gammoid.

We define and study rook matroids, the bases of which correspond to non-nesting rook placements on a skew Ferrers board. We show that rook matroids are closed under taking duals and direct sums but not minors. Rook matroids are also a subclass of transversal matroids, positroids, and bear a subtle relationship to lattice path matroids that centers around not having the quaternary matroid $Q_{6}$ as a minor. The enumerative and distributional properties of non-nesting rook placements stand in contrast to that of usual rook placements: the non-nesting rook polynomial is not real-rooted in general, and is instead ultra-log-concave. We leverage this property together with a correspondence between rook placements and linear extensions of a poset to show that if $P$ is a naturally labeled width two poset, then the $P$-Eulerian polynomial $W_{P}$ is ultra-log-concave. This takes an important step towards resolving a log-concavity conjecture of Brenti (1989) and completes the story of the Neggers--Stanley conjecture for naturally labeled width two posets.

We present a new algebraic-combinatorial approach to proving a Bezout-type inequality for zonoids in dimension three, which has recently been established by Fradelizi, Madiman, Meyer, and Zvavitch. Our approach hints at connections between inequalities for mixed volumes of zonoids and real algebra and matroid theory.

For any $\varepsilon > 0$, we prove that $k$-Dimensional Matching is hard to approximate within a factor of $k/(12 + \varepsilon)$ for large $k$ unless $\textsf{NP} \subseteq \textsf{BPP}$. Listed in Karp's 21 $\textsf{NP}$-complete problems, $k$-Dimensional Matching is a benchmark computational complexity problem which we find as a special case of many constrained optimization problems over independence systems including: $k$-Set Packing, $k$-Matroid Intersection, and Matroid $k$-Parity. For all the aforementioned problems, the best known lower bound was a $Ω(k /\log(k))$-hardness by Hazan, Safra, and Schwartz. In contrast, state-of-the-art algorithms achieved an approximation of $O(k)$. Our result narrows down this gap to a constant and thus provides a rationale for the observed algorithmic difficulties. The crux of our result hinges on a novel approximation preserving gadget from $R$-degree bounded $k$-CSPs over alphabet size $R$ to $kR$-Dimensional Matching. Along the way, we prove that $R$-degree bounded $k$-CSPs over alphabet size $R$ are hard to approximate within a factor $Ω_k(R)$ using known randomised sparsification methods for CSPs.

There is a well-established dictionary between zonotopes, hyperplane arrangements, and their (oriented) matroids. Arguably one of the most famous examples is the class of graphical zonotopes, also called acyclotopes, which encode subzonotopes of the type-A root polytope, the permutahedron. Stanley (1991) gave a general interpretation of the coefficients of the Ehrhart polynomial (integer-point counting function for a polytope) of a zonotope via linearly independent subsets of its generators. Applying this to the graphical case shows that Ehrhart coefficients count induced forests of the graph of fixed sizes. Our first goal is to extend and popularize this story to other root systems, which on the combinatorial side is encoded by signed graphs analogously to the work by Greene and Zaslavsky (1983). We compute the Ehrhart polynomial of the acyclotope in the signed case, and we give a matroid-dual construction, giving rise to tocyclotopes, and compute their Ehrhart polynomials. Applying the same duality construction to a general integral matrix gives rise to a lattice Gale zonotope, whose face structure was studies by McMullen (1971) and whose duality nature is a special instance of D'Adderio--Moci's arithmetic matroids. We describe its Ehrhart polynomials in terms of the given matrix.

We characterise the digraphs for which the multipaths, that is disjoint unions of directed paths, yield a matroid. For such graphs, called MP-digraphs, we prove that the Tutte polynomial of the multipath matroid is related to counting certain digraph colourings. Finally, we prove that, for MP-forests, the decategorification of the multipath cohomology yields a specialisation of the Tutte polynomial.

Let $M$ be a $3$-connected matroid. A pair $\{e,f\}$ in $M$ is detachable if $M \backslash e \backslash f$ or $M / e / f$ is $3$-connected. Williams (2015) proved that if $M$ has at least 13 elements, then at least one of the following holds: $M$ has a detachable pair, $M$ has a $3$-element circuit or cocircuit, or $M$ is a spike. We address the case where $M$ has a $3$-element circuit or cocircuit, to obtain a characterisation of when a matroid with at least 13 elements has a detachable pair. As a consequence, we characterise when a simple $3$-connected graph $G$ with $|E(G)| \ge 13$ has a pair of edges $\{e,f\}$ such that $G/e/f$ or $G \backslash e\backslash f$ is simple and $3$-connected.

Jaeger et al. in 1992 introduced group coloring as the dual concept to group connectivity in graphs. Let $A$ be an additive Abelian group, $ f: E(G)\to A$ and $D$ an orientation of a graph $G$. A vertex coloring $c:V(G)\to A$ is an $(A, f)$-coloring if $c(v)-c(u)\ne f(e)$ for each oriented edge $e=uv$ from $u$ to $v$ under $D$. Kochol recently introduced the assigning polynomial to count nowhere-zero chains in graphs--nonhomogeneous analogues of nowhere-zero flows in \cite{Kochol2022}, and later extended the approach to regular matroids in \cite{Kochol2024}. Motivated by Kochol's work, we define the $α$-compatible graph and the cycle-assigning polynomial $P(G, α; k)$ at $k$ in terms of $α$-compatible spanning subgraphs, where $α$ is an assigning of $G$ from its cycles to $\{0,1\}$. We prove that $P(G,α;k)$ evaluates the number of $(A,f)$-colorings of $G$ for any Abelian group $A$ of order $k$ and $f:E(G)\to A$ such that the assigning $α_{D,f}$ given by $f$ equals $α$. Such an assigning is admissible. Based on Kochol's work, we derive that $k^{-c(G)}P(G,α;k)$ is a polynomial enumerating $(A,f)$-tensions and counting specific nowhere-zero chains. Furthermore, by extending Whitney's broken cycle concept to broken compatible cycles, we show that the absolute value of the coefficient of $k^{|V(G)|-i}$ in $P(G,α;k)$ associated with admissible assignings $α$ equals the number of $α$-compatible spanning subgraphs that have $i$ edges and contain no broken $α$-compatible cycles. According to the combinatorial explanation, we establish a unified order-preserving relation from admissible assignings to cycle-assigning polynomials, and further show that for any admissible assigning $α$ of $G$ with $α(e)=1$ for every loop $e$, the coefficients of $P(G,α;k)$ are nonzero and alternate in sign.

Given a graph $G$ and two spanning trees $T$ and $T'$ in $G$, Spanning Tree Reconfiguration asks whether there is a step-by-step transformation from $T$ to $T'$ such that all intermediates are also spanning trees of $G$, by exchanging an edge in $T$ with an edge outside $T$ at a single step. This problem is naturally related to matroid theory, which shows that there always exists such a transformation for any pair of $T$ and $T'$. Motivated by this example, we study the problem of transforming a sequence of spanning trees into another sequence of spanning trees. We formulate this problem in the language of matroid theory: Given two sequences of bases of matroids, the goal is to decide whether there is a transformation between these sequences. We design a polynomial-time algorithm for this problem, even if the matroids are given as basis oracles. To complement this algorithmic result, we show that the problem of finding a shortest transformation is NP-hard to approximate within a factor of $c \log n$ for some constant $c > 0$, where $n$ is the total size of the ground sets of the input matroids.