matroid ↗ reference
2208 papers tagged with this keyword
Note on Hamiltonicity of basis graphs of even delta-matroids
Published in J. Graph Theory, 109(4):446-453, August 2025
• View Publication
• BIB
We show that the basis graph of an even delta-matroid is Hamiltonian if it has more than two vertices. More strongly, we prove that for two distinct edges $e$ and $f$ sharing a common end, it has a Hamiltonian cycle using $e$ and avoiding $f$ unless it has at most two vertices or it is a cycle of length at most four. We also prove that if the basis graph is not a hypercube graph, then each vertex belongs to cycles of every length $\ell\ge 3$, and each edge belongs to cycles of every length $\ell \ge 4$. For the last theorem, we provide two proofs, one of which uses the result of Naddef (1984) on polytopes and the result of Chepoi (2007) on basis graphs of even delta-matroids, and the other is a direct proof using various properties of even delta-matroids. Our theorems generalize the analogous results for matroids by Holzmann and Harary (1972) and Bondy and Ingleton (1976).
Extensions of transversal valuated matroids
Published
• View Publication
• BIB
Following up on our previous work, we study single-element extensions of transversal valuated matroids. We show that tropical presentations of valuated matroids with a minimal set of finite entries enjoy counterparts of the properties proved by Bonin and de Mier of minimal non-valuated transversal presentations.
Linear Degenerate Tropical Flag Varieties
We study linear degenerations of flag varieties from the point of view of tropical geometry. We define the linear degenerate flag Dressian and prove a correspondence between: $(a)$ points in the linear degenerate flag Dressian, $(b)$ linear degenerate flags of valuated matroids, $(c)$ linear degenerate flags of tropical linear spaces, and $(d)$ morphisms of valuated matroids arising from projection maps.
The Circuit-Cocircuit Intersection Conjecture for Intersection Size $\le7$
A circuit-cocircuit intersection, or a CCI for short, of a matroid is the intersection of a circuit and a cocircuit. Oxley conjectured (1992) that a matroid with a CCI of size $k\ge4$ has a CCI of size $k-2$. We show that the conjecture holds for $k\le7$.
Connectivity gaps among matroids with the same enumerative invariants
Published in Advances in Applied Mathematics, 2024
• View Publication
• BIB
Many important enumerative invariants of a matroid can be obtained from its Tutte polynomial, and many more are determined by two stronger invariants, the $\mathcal{G}$-invariant and the configuration of the matroid. We show that the same is not true of the most basic connectivity invariants. Specifically, we show that for any positive integer $n$, there are pairs of matroids that have the same configuration (and so the same $\mathcal{G}$-invariant and the same Tutte polynomial) but the difference between their Tutte connectivities exceeds $n$, and likewise for vertical connectivity and branch-width. The examples that we use to show this, which we construct using an operation that we introduce, are transversal matroids that are also positroids.
Identifiability of Homoscedastic Linear Structural Equation Models using Algebraic Matroids
Published
• View Publication
• BIB
We consider structural equation models (SEMs), in which every variable is a function of a subset of the other variables and a stochastic error. Each such SEM is naturally associated with a directed graph describing the relationships between variables. When the errors are homoscedastic, recent work has proposed methods for inferring the graph from observational data under the assumption that the graph is acyclic (i.e., the SEM is recursive). In this work, we study the setting of homoscedastic errors but allow the graph to be cyclic (i.e., the SEM to be non-recursive). Using an algebraic approach that compares matroids derived from the parameterizations of the models, we derive sufficient conditions for when two simple directed graphs generate different distributions generically. Based on these conditions, we exhibit subclasses of graphs that allow for directed cycles, yet are generically identifiable. We also conjecture a strengthening of our graphical criterion which can be used to distinguish many more non-complete graphs.
Minors of matroids represented by sparse random matrices over finite fields
Published
• View Publication
• BIB
Consider a random $n\times m$ matrix $A$ over the finite field of order $q$ where every column has precisely $k$ nonzero elements, and let $M[A]$ be the matroid represented by $A$. In the case that q=2, Cooper, Frieze and Pegden (RS\&A 2019) proved that given a fixed binary matroid $N$, if $k\ge k_N$ and $m/n\ge d_N$ where $k_N$ and $d_N$ are sufficiently large constants depending on N, then a.a.s. $M[A]$ contains $N$ as a minor. We improve their result by determining the sharp threshold (of $m/n$) for the appearance of a fixed matroid $N$ as a minor of $M[A]$, for every $k\ge 3$, and every finite field.
The excluded minors for GF(5)-representable matroids on ten elements
Published in Advances in Applied Mathematics, 166 (2025), 102864
• View Publication
• BIB
Mayhew and Royle (2008) showed that there are 564 excluded minors for the class of GF(5)-representable matroids having at most 9 elements. We enumerate the excluded minors for GF(5)-representable matroids having 10 elements: there are precisely 2128 such excluded minors. In the process we find, for each $i \in \{2,3,4\}$, the excluded minors for the class of $\mathbb{H}_i$-representable matroids having at most 10 elements, and the excluded minors for the class of $\mathbb{H}_5$-representable matroids having at most 13 elements.
Representing matroids via pasture morphisms
Using the framework of pastures and foundations of matroids developed by Baker-Lorscheid, we give algorithms to: (i) compute the foundation of a matroid, and (ii) compute all morphisms between two pastures. Together, these provide an efficient method of solving many questions of interest in matroid representations, including orientability, non-representability, and computing all representations of a matroid over a finite field.
Singular matroid realization spaces
Published
• View Publication
• BIB
We study smoothness of realization spaces of matroids for small rank and ground set. For $\mathbb{C}$-realizable matroids, when the rank is $3$, we prove that the realization spaces are all smooth when the ground set has $11$ or fewer elements, and there are singular realization spaces for $12$ and greater elements. For rank $4$ and $9$ or fewer elements, we prove that these realization spaces are smooth. As an application, we prove that $\text{Gr}^{\circ}(3,n;\mathbb{C})$ -- the locus of the Grassmannian where all Plücker coordinates are nonzero -- is not schön for $n\geq 12$.
Induced log-concavity of equivariant matroid invariants
Published
• View Publication
• BIB
Inspired by the notion of equivariant log-concavity, we introduce the concept of induced log-concavity for a sequence of representations of a finite group. For an equivariant matroid equipped with a symmetric group action or a finite general linear group action, we transform the problem of proving the induced log-concavity of matroid invariants to that of proving the Schur positivity of symmetric functions. We prove the induced log-concavity of the equivariant Kazhdan-Lusztig polynomials of $q$-niform matroids equipped with the action of a finite general linear group, as well as that of the equivariant Kazhdan-Lusztig polynomials of uniform matroids equipped with the action of a symmetric group.
As a consequence of the former, we obtain the log-concavity of Kazhdan-Lusztig polynomials of $q$-niform matroids, thus providing further positive evidence for Elias, Proudfoot and Wakefield's log-concavity conjecture on the matroid Kazhdan-Lusztig polynomials. From the latter we obtain the log-concavity of Kazhdan-Lusztig polynomials of uniform matroids, which was recently proved by Xie and Zhang by using a computer algebra approach. We also establish the induced log-concavity of the equivariant characteristic polynomials and the equivariant inverse Kazhdan-Lusztig polynomials for $q$-niform matroids and uniform matroids.
Polynomial-Delay Enumeration of Large Maximal Common Independent Sets in Two Matroids and Beyond
Published
• View Publication
• BIB
Finding a maximum cardinality common independent set in two matroids (also known as \textsc{Matroid Intersection}) is a classical combinatorial optimization problem, which generalizes several well-known problems, such as finding a maximum bipartite matching, a maximum colorful forest, and an arborescence in directed graphs. Enumerating all maximal common independent sets in two (or more) matroids is a classical enumeration problem. In this paper, we address an ``intersection'' of these problems: Given two matroids and a threshold $τ$, the goal is to enumerate all maximal common independent sets in the matroids with cardinality at least $τ$. We show that this problem can be solved in polynomial delay and polynomial space. Moreover, our technique can be extended to a more general problem, which is relevant to Matroid Matching. We give a polynomial-delay and polynomial-space algorithm for enumerating all maximal ``matchings'' with cardinality at least $τ$, assuming that the optimization counterpart is ``tractable'' in a certain sense. This extension allows us to enumerate small minimal connected vertex covers in subcubic graphs. We also discuss a framework to convert enumeration with cardinality constraints into ranked enumeration.
Combinatorics of $m=1$ Grasstopes
Published
• View Publication
• BIB
A Grasstope is the image of the totally nonnegative Grassmannian $\text{Gr}_{\geq 0}(k,n)$ under a linear map $\text{Gr}(k,n)\dashrightarrow \text{Gr}(k,k+m)$. This is a generalization of the amplituhedron, a geometric object of great importance to calculating scattering amplitudes in physics. The amplituhedron is a Grasstope arising from a totally positive linear map. While amplituhedra are relatively well-studied, much less is known about general Grasstopes. We study Grasstopes in the $m=1$ case and show that they can be characterized as unions of cells of a hyperplane arrangement satisfying a certain sign variation condition, extending work of Karp and Williams. Inspired by this characterization, we also suggest a notion of a Grasstope arising from an arbitrary oriented matroid.
Independent sets of non-geometric lattices and the maximal adjoint
Published
• View Publication
• BIB
We construct a family of independent sets for finite, atomic, and graded lattices, extending the well-known cryptomorphism between geometric lattices and matroids. This construction leads to an embedding theorem into geometric lattices that preserves the set of atoms. We then apply these results to adjoint matroids, providing new characterizations of adjoints and partially proving a conjecture on the combinatorial derived matroid. Finally, we use our characterization of adjoints to compute the adjoint lists of several simple examples.
Cohomologies of tautological bundles of matroids
Published
• View Publication
• BIB
Tautological bundles of realizations of matroids were introduced in [BEST23] as a unifying geometric model for studying matroids. We compute the cohomologies of exterior and symmetric powers of these vector bundles, and show that they depend only on the matroid of the realization. As an application, we show that the log canonical bundle of a wonderful compactification of a hyperplane arrangement complement, in particular the moduli space of pointed rational curves, has vanishing higher cohomologies.
On a generalization of symmetric edge polytopes to regular matroids
Starting from any finite simple graph, one can build a reflexive polytope known as a symmetric edge polytope. The first goal of this paper is to show that symmetric edge polytopes are intrinsically matroidal objects: more precisely, we prove that two symmetric edge polytopes are unimodularly equivalent precisely when they share the same graphical matroid. The second goal is to show that one can construct a generalized symmetric edge polytope starting from every regular matroid. Just like in the usual case, we are able to find combinatorial ways to describe the facets and an explicit regular unimodular triangulation of any such polytope. Finally, we show that the Ehrhart theory of the polar of a given generalized symmetric edge polytope is tightly linked to the structure of the lattice of flows of the dual regular matroid.
Lattice path matroidal subdivisions, Positive Tropical Grassmannian and Amplituhedron
We introduce the notion of lattice path matroidal subdivisions, or LPM subdivisions for short, and show that these subdivisions are regular and hence the weight vectors for them lie in the Dressian. This leads us to explore the structure of the set of these weights inside the Dressian and owing to the fact that Lattice path matroids are positroids, we move to the positive Dressian which in turn is equal to the positive tropical Grassmannian, an object of immense interest currently in Physics. This is related to the amplituhedron and positive configuration space, which we describe here and wish to explore these connections further.
Matroids Arising From Nested Sequences of Flats In Projective And Affine Geometries
Published
• View Publication
• BIB
Targets are matroids that arise from a nested sequence of flats in a projective geometry. This class of matroids was introduced by Nelson and Nomoto, who found the forbidden induced restrictions for binary targets. This paper generalizes their result to targets arising from projective geometries over $GF(q)$. We also consider targets arising from nested sequences of affine flats and determine the forbidden induced restrictions for affine targets.
K-classes of delta-matroids and equivariant localization
Published
• View Publication
• BIB
Delta-matroids are "type B" generalizations of matroids in the same way that maximal orthogonal Grassmannians are generalizations of Grassmannians. A delta-matroid analogue of the Tutte polynomial of a matroid is the interlace polynomial. We give a geometric interpretation for the interlace polynomial via the K-theory of maximal orthogonal Grassmannians. To do so, we develop a new Hirzebruch-Riemann-Roch-type formula for the type B permutohedral variety.
On $T$-invariant subvarieties of symplectic Grassmannians and representability of rank $2$ symplectic matroids over ${\mathbb C}$
Published
• View Publication
• BIB
For the symplectic Grassmannian $\text{SpG}(2,2n)$ of $2$-dimensional isotropic subspaces in a $2n$-dimensional vector space over an algebraically closed field of characteristic zero endowed with a symplectic form and with the natural action of an $n$-dimensional torus $T$ on it, we characterize its irreducible $T$-invariant subvarieties. This characterization is in terms of symplectic Coxeter matroids, and we use this result to give a complete characterization of the symplectic matroids of rank $2$ which are representable over $\mathbb{C}$.