matroid ↗ reference
2154 papers tagged with this keyword
Minuscule Coxeter Dressians
In this extended abstract, we study special tropical prevarieties which we call Coxeter Dressians. They arise from equations capturing a generalization of valuated symmetric basis exchange for Coxeter matroids. In particular, we study subdivisions of the associated Coxeter matroid polytopes. We show that the subdivisions induced by points of the Coxeter Dressian consist of cells which are strong Coxeter matroidal. This generalizes well-known results in type $A$ to other Lie types. Finally, we implement explicit computations of Coxeter Dressians in OSCAR.
Taking minors without splitting tangles
We prove that any element in a matroid can be removed, by either deletion or contraction, in such a way that no tangle "splits".
The $cd$-index of base polytopes for connected split matroids
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.
Indecomposability and beyond via the graph of edge dependencies
A polytope is called indecomposable if it cannot be expressed (non-trivially) as a Minkowski sum of other polytopes. Since the concept was introduced by Gale in 1954, several increasingly strong criteria have been developed to characterize indecomposability. In this paper, we introduce a new indecomposability criterion that unifies and generalizes most existing approaches. The key new ingredient is the graph of (implicit) edge dependencies, which records proportionalities between edge lengths across deformations and has broader applications in the study of deformation cones of polytopes, beyond indecomposability.
As a main application, we construct new indecomposable deformed permutahedra that are not matroid polytopes. In 1970, Edmonds posed the problem of characterizing the extreme rays of the submodular cone, equivalently, indecomposable deformed permutahedra. Matroid polytopes from connected matroids form a well-known family of such examples. We exhibit a new infinite family of indecomposable deformations of the permutahedron, disjoint from matroid polytopes, obtained by suitable truncations of vertices of certain graphical zonotopes.
We further demonstrate the scope of our methods through several additional applications. In particular, we refute a conjecture by Smilansky (1987) asserting that indecomposable polytopes must have relatively few vertices compared to their number of facets. We also obtain new bounds on the dimensions of deformation cones and characterize certain of their extreme rays, introduce parallelogramic Minkowski sums whose deformation cones factor as products, and provide new constructions of indecomposable polytopes via truncations and stackings.
Covering Relations in the Poset of Combinatorial Neural Codes
A combinatorial neural code is a subset of the power set $2^{[n]}$ on $[n]=\{1,\dots, n\}$, in which each $1\leq i\leq n$ represents a neuron and each element (codeword) represents the co-firing event of some neurons. Consider a space $X\subseteq\mathbb{R}^d$, simulating an animal's environment, and a collection $\mathcal{U}=\{U_1,\dots,U_n\}$ of open subsets of $X$. Each $U_i\subseteq X$ simulates a place field which is a specific region where a place cell $i$ is active. Then, the code of $\mathcal{U}$ in $X$ is defined as $\text{code}(\mathcal{U},X)=\left\{σ\subseteq[n]\bigg|\bigcap_{i\inσ} U_i\setminus\bigcup_{j\notinσ}U_j\neq\varnothing\right\}$. If a neural code $\mathcal{C}=\text{code}(\mathcal{U},X)$ for some $X$ and $\mathcal{U}$, we say $\mathcal{C}$ has a realization of open subsets of some space $X$. Although every combinatorial neural code obviously has a realization by some open subsets, determining whether it has a realization by some open convex subsets remains unsolved. Many studies attempted to tackle this decision problem, but only partial results were achieved. In fact, a previous study showed that the decision problem of convex neural codes is NP-hard. Furthermore, the authors of this study conjectured that every convex neural code can be realized as a minor of a neural code arising from a representable oriented matroid, which can lead to an equivalence between convex and polytope convex neural codes. Even though this conjecture has been confirmed in dimension two, its validity in higher dimensions is still unknown. To advance the investigation of this conjecture, we provide a complete characterization of the covering relations within the poset $\mathbf{P_{Code}}$ of neural codes.
Matroids arising from algebraic shifting
We characterize the shifted simple graphs and the $3$-uniform shifted hypergraphs whose inverse image under exterior shifting is the set of bases of a matroid: those are exactly the hypergraphs whose hyperedges form an initial lex-segment. There are several examples of known matroids arising in this way: the simplicial matroid, the hyperconnectivity matroid and the area-rigidity matroid. For $k\ge 4$, we provide a similar characterization for shifted $k$-uniform hypergraphs satisfying an additional combinatorial condition.
For symmetric shifting, we prove an analogous characterization for shifted simple graphs, where the classical generic rigidity matroid is an example of a matroid arising in this way.
Counting Lattice Points in Generalized Permutohedra From A to B
We derive a formula for the number of lattice points in type B generalized permutohedra, providing a concise alternative to the formula obtained recently by Eur, Fink, Larson, and Spink as a result from a study of delta-matroids. Our approach builds upon the existing framework and techniques introduced by Postnikov in his work on type A generalized permutohedra, a family of polytopes interconnected with many mathematical concepts such as matroids and Weyl groups. In particular, we express the number of lattice points in type B generalized permutohedra in terms of Postnikov's notion of G-draconian sequences, from which their Ehrhart polynomials and volume formula follow as consequences.
Large flames in rooted acyclic digraphs without backward-infinite paths
An $r$-rooted digraph is a flame if for each non-root vertex $v$, there is a set of edge-disjoint directed paths from $r$ to $v$ that covers all ingoing edges of $v$. The study of flames was initiated by Lovász, who showed that in a finite rooted digraph, the edge-minimal subgraphs that preserve all local edge-connectivities from the root are always flames. It is known that the edge sets of the flame subgraphs of any finite rooted digraph form a greedoid. Szeszlér showed recently that if the digraph is acyclic, then the bases of this greedoid are the bases of a matroid. We show that a suitable formulation of Szeszlér's theorem is valid for infinite digraphs under the additional assumption that there are no backward-infinite directed paths (which assumption is indeed essential). We also prove that the ''correct'' infinite generalisation of Lovász's theorem also holds for this class of digraphs.
Counting fibres of the Hadamard product using Bergman fans
We study the generic fibre of the Hadamard product of linear spaces via matroid theory and tropical geometry. To do so, we introduce the flip product, a numerical invariant associated to a pair of matroids defined via the stable intersection of their (flipped) Bergman fans. Our first main result is that the cardinality of a generic fibre for the Hadamard product of linear spaces is exactly the flip product of their matroids. We also provide a recursive algorithm for computing the flip product of any pair of matroids. As an application of our techniques, we extend the notion of realisation numbers from rigidity theory to rotational-symmetric and periodic realisation numbers and we provide combinatorial algorithms to compute them. Finally, we show a number of existing matroid invariants are specialisations of the flip product, including the beta invariant.
The Self-Projecting Grassmannian
We introduce the self-projecting Grassmannian, an irreducible subvariety of the Grassmannian parametrizing linear subspaces that satisfy a generalized self-duality condition. We study its relation to classical moduli spaces, such as the moduli spaces of pointed curves of genus $g$, as well as to other natural subvarieties of the Grassmannian. We further translate the self-projectivity condition in the combinatorial language of matroids, introducing self-projecting matroids, and we computationally investigate their realization spaces inside the self-projecting Grassmannian.
Generalizing the Multiple Exchange Property for Matroid Bases
The multiple exchange property for matroid bases states that for any bases $A$ and $B$ of a matroid and any subset $X\subseteq A\setminus B$, there exists a subset $Y\subseteq B\setminus A$ such that both $A-X+Y$ and $B+X-Y$ are bases. This classical result has not only found applications in matroid theory, but also in the analysis and design of various algorithms. In our work, we prove a common generalization of this and other known basis exchange properties by showing that for any subsets $X \subseteq A \setminus B$ and $Y \subseteq B \setminus A$, there exist subsets $U \subseteq A \setminus B$ and $V \subseteq B \setminus A$ such that $X\subseteq U$, $Y\subseteq V$, $A-U+V$ and $B+U-V$ are bases, and $|U|=|V|$ is at most the rank of $X+Y$. As an application, we prove the robustness of the local search algorithm for finding maximum weight matroid bases. For matroids representable over a field of characteristic zero, we further generalize our exchange property to include the very recent Equitability Theorem (SODA 2026), by establishing a far-reaching generalization of the Grassmann-Plücker identity.
A note on embracing exchange sequences in oriented matroids
An open problem in convex geometry asks whether two simplices $A,B\subseteq\mathbb{R}^d$, both containing the origin in their convex hulls, admit a polynomial-length sequence of vertex exchanges transforming $A$ into $B$ while maintaining the origin in the convex hull throughout. We propose a matroidal generalization of the problem to oriented matroids, concerning exchange sequences between bases under sign constraints on elements appearing in certain fundamental circuits. We formulate a conjecture on the minimum length of such a sequence, and prove it for oriented graphic matroids of directed graphs. We also study connections between our conjecture and several long-standing open problems on exchange sequences between pairs of bases in unoriented matroids.
A new minor-closed class of transversal matroids
We provide a characterisation of when a single-element contraction of a transversal matroid is itself transversal. Using this characterisation, we define a new class of transversal matroids closed under minors, which we call path-circular matroids. Path-circular matroids generalise both of the well-known classes of bicircular matroids and multi-path matroids.
Quadratic exchange equations for Coxeter matroids
Tropicalisation (with trivial coefficients) is a process that turns a polynomial equation into a combinatorial predicate on subsets of the set of variables. We show that for each minuscule representation of a simple reductive group, there is a set of quadratic equations cutting out the orbit of the highest weight vector whose tropicalisation characterises the set of Coxeter matroids for that representation which satisfy the strong exchange property.
Chow polynomials of rank-uniform labeled posets
We introduce and develop the theory of UMEL-shellable posets. These are posets equipped with an edge-lexicographical labeling satisfying certain uniformity and monotonicity properties. This framework encompasses classical families of combinatorial geometries, including uniform matroids, projective and affine geometries, braid matroids of type A and B, and all Dowling geometries. It also comprises all rank-uniform supersolvable lattices, and therefore also all rank-uniform distributive lattices. Our main result establishes real-rootedness phenomena for the Chow polynomials, the augmented Chow polynomials, and the chain polynomials associated with those posets, thus making simultaneous progress towards conjectures by Ferroni--Schröter, Huh--Stevens, and Athanasiadis--Kalampogia-Evangelinou. In the special case of lattices of flats of matroids, the (augmented) Chow polynomials coincide with the Hilbert--Poincaré series of the Chow ring associated to the smooth and generally noncompact toric varieties of the (augmented) Bergman fan of the matroid, whereas the chain polynomial encodes the Hilbert--Poincaré series of the Stanley--Reisner ring of the Bergman complex of the matroid. Therefore, these real-rootedness results are tightly linked to the study of these algebro-geometric structures in matroid theory.
Resurgence number of matroid configuration
This article gives a new upper bound for the resurgence number of symbolic powers of matroidal configuration in the following situations: the height of the matroidal configuration is big, or the height is small, and the corresponding simplicial complex of the matroidal configuration is peaked. The Peaked simplicial complex is a generalization of bipartite graph. Furthermore, the article also gives a clean formula to compute the resurgence number and the strict containment of generalized uniform matroidal configuration which includes case of star configuration of hypersurfaces.
An Approximation Framework for Parametric Matroid Interdiction Problems
Matroid interdiction problems are well-researched in the field of combinatorial optimization. In the matroid $\ell$-interdiction problem, an interdiction strategy removes a subset of cardinality $\ell$ from the matroid's ground set. The goal is to maximize the weight of a remaining optimal basis. We examine the multi-parametric generalization of this problem, where every weight is given by a linear function depending on a parameter vector. For every parameter value, we are interested in an optimal interdiction strategy and the weight of an optimally interdicted basis. We develop the first framework for lifting approximation algorithms for the non-parametric matroid $\ell$-interdiction problem to its multi-parametric variant. Whenever there exists a $β$-approximation algorithm for the non-parametric problem, we obtain an approximation algorithm for the multi-parametric problem with an approximation quality arbitrarily close to $β$. Our method yields an FPTAS for partition matroids and a $(1-\varepsilon)\frac{1}{4}$-approximation for graphic matroids. As part of the construction, we develop the first approximation algorithm for a conventional multi-parametric optimization problem in which the parameter vector varies in an arbitrary polytope.
A family of rank $4$ non-algebraic matroids with pseudomodular dual
The Tic-Tac-Toe matroid is a paving matroid of rank $5$ on 9
elements which is pseudomodular and whose dual is non-algebraic. It
has been proposed as a possible example of an algebraic matroid
whose dual is not algebraic. We present an infinite family of
matroids sharing these properties and generalizing the Tic-Tac-Toe matroid.
Decompositions of Chow rings of direct sums of matroids
We prove two dual recursive decompositions as a graded $\underline{\mathrm{CH}}(M)\otimes \underline{\mathrm{CH}}(N)$-module of the Chow ring $\underline{\mathrm{CH}}(M\oplus N)$ of the direct sum of matroids. We use this to obtain a decomposition of $\underline{\mathrm{CH}}(M\oplus N)$ into irreducible $\underline{\mathrm{CH}}(M) \otimes \underline{\mathrm{CH}}(N)$-modules. The result implies a new recursive formula for the Eulerian numbers. Similarly, we find a recursive decomposition of the augmented Chow ring $\mathrm{CH}(M \oplus N)$ into $\mathrm{CH}(M)\otimes \mathrm{CH}(N)$-modules, generalizing some of the results of arXiv:2002.03341. We prove analogous decompositions of (augmented) Chow polynomials of weakly ranked posets in the sense of arXiv:2411.04070.
Sparse Paving Positroids
Using Postnikov's Le-diagrams, decorated permutations, and Grassmann necklaces, we classify which positroids are sparse paving matroids. This allows us to enumerate sparse paving positroids, making connections to a known sequence involving the golden ratio and to the Lucas numbers.