matroid ↗ reference
2208 papers tagged with this keyword
Closure property of contraction-depth of matroids
Contraction$^*$-depth is a matroid depth parameter analogous to tree-depth of graphs. We establish the matroid analogue of the classical graph theory result asserting that the tree-depth of a graph $G$ is the minimum height of a rooted forest whose closure contains $G$ by proving the following for every matroid $M$ (except the trivial case when $M$ consists of loops and coloops only): the contraction$^*$-depth of $M$ plus one is equal to the minimum contraction-depth of a matroid containing $M$ as a restriction.
Schubert matroids, Delannoy paths, and Speyer's invariant
Published in Combinatorial Theory, Vol. 3, Issue 3, 2023
• View Publication
• BIB
We provide a combinatorial way of computing Speyer's $g$-polynomial on arbitrary Schubert matroids via the enumeration of certain Delannoy paths. We define a new statistic of a basis in a matroid, and express the $g$-polynomial of a Schubert matroid in terms of it and internal and external activities. Some surprising positivity properties of the $g$-polynomial of Schubert matroids are deduced from our expression. Finally, we combine our formulas with a fundamental result of Derksen and Fink to provide an algorithm for computing the $g$-polynomial of an arbitrary matroid.
Ehrhart Bounds for Panhandle and Paving Matroids Through Enumeration of Chain Forests
Published
• View Publication
• BIB
Panhandle matroids are a specific family of lattice-path matroids corresponding to panhandle-shaped Ferrers diagrams. Their matroid polytopes are the subpolytopes carved from a hypersimplex to form matroid polytopes of paving matroids. It has been an active area of research to determine which families of matroid polytopes are Ehrhart positive. We prove Ehrhart positivity for panhandle matroid polytopes, thus confirming a conjecture of Hanely, Martin, McGinnis, Miyata, Nasr, Vindas-Meléndez, and Yin (2023). Another standing conjecture posed by Ferroni (2022) asserts that the coefficients of the Ehrhart polynomial of a connected matroid are bounded above by those of the corresponding uniform matroid. We prove Ferroni's conjecture for paving matroids -- a class conjectured to asymptotically contain all matroids. These results follow from purely enumerative statements, the main one being conjectured by Hanely et. al concerning the enumeration of a certain class of ordered chain forests.
Rainbow Stars and Rota's Basis Conjecture for Graphic Matroids
Let $G$ be a connected multigraph with $n$ vertices, and suppose $G$ has been edge-colored with $n-1$ colors so that each color class induces a spanning tree. Rota's Basis Conjecture for graphic matroids posits that one can find $n-1$ mutually edge-disjoint rainbow spanning trees. In a recent paper, Maezawa and Yazawa have shown that the conjecture holds if one assumes that the color classes induce spanning stars. We delve further into the star case to explore some extreme subcases including: all stars with different centers, the same center, or one of two centers. In addition, we identify the cases in which a graph composed of monochromatic stars can be decomposed into rainbow stars. We also show that the statement is false if one replaces `stars' with `paths'.
Foundations of matroids -- Part 2: Further theory, examples, and computational methods
Published
• View Publication
• BIB
In this sequel to "Foundations of matroids - Part 1", we establish several presentations of the foundation of a matroid in terms of small building blocks. For example, we show that the foundation of a matroid M is the colimit of the foundations of all embedded minors of M isomorphic to one of the matroids $U^2_4$, $U^2_5$, $U^3_5$, $C_5$, $C_5^\ast$, $U^2_4\oplus U^1_2$, $F_7$, $F_7^\ast$, and we show that this list is minimal. We establish similar minimal lists of building blocks for the classes of 2-connected and 3-connected matroids. We also establish a presentation for the foundation of a matroid in terms of its lattice of flats. Each of these presentations provides a useful method to compute the foundation of certain matroids, as we illustrate with a number of concrete examples. Combining these techniques with other results in the literature, we are able to compute the foundations of several interesting classes of matroids, including whirls, rank-2 uniform matroids, and projective geometries. In an appendix, we catalogue various 'small' pastures which occur as foundations of matroids, most of which were found with the assistance of a computer, and we discuss some of their interesting properties.
Total positivity for matroid Schubert varieties
Published
• View Publication
• BIB
We define the totally nonnegative matroid Schubert variety $\mathcal Y_V$ of a linear subspace $V \subset \mathbb R^n$. We show that $\mathcal Y_V$ is a regular CW complex homeomorphic to a closed ball, with strata indexed by pairs of acyclic flats of the oriented matroid of $V$. This closely resembles the regularity theorem for totally nonnegative generalized flag varieties. As a corollary, we obtain a regular CW structure on the real matroid Schubert variety of $V$.
Algebraic combinatorial optimization on the degree of determinants of noncommutative symbolic matrices
Published
• View Publication
• BIB
We address the computation of the degrees of minors of a noncommutative symbolic matrix of form \[
A[c] := \sum_{k=1}^m A_k t^{c_k} x_k, \] where $A_k$ are matrices over a field $\mathbb{K}$, $x_i$ are noncommutative variables, $c_k$ are integer weights, and $t$ is a commuting variable specifying the degree. This problem extends noncommutative Edmonds' problem (Ivanyos et al. 2017), and can formulate various combinatorial optimization problems. Extending the study by Hirai 2018, and Hirai, Ikeda 2022, we provide novel duality theorems and polyhedral characterization for the maximum degrees of minors of $A[c]$ of all sizes, and develop a strongly polynomial-time algorithm for computing them. This algorithm is viewed as a unified algebraization of the classical Hungarian method for bipartite matching and the weight-splitting algorithm for linear matroid intersection. As applications, we provide polynomial-time algorithms for weighted fractional linear matroid matching and linear optimization over rank-2 Brascamp-Lieb polytopes.
Hodge theory for tropical fans
This paper is the first in a series devoted to the development of a Hodge theory for tropical varieties. We introduce a notion of T-stability for tropical fans and prove that various geometric properties of tropical fans are T-stable. As a consequence, we establish Kähler properties for the Chow ring in a large class of tropical fans, going beyond the case of matroids and their Bergman fans. As a by-product, we obtain a new proof of the Kähler package for combinatorial geometries. The approach makes it possible to deal with tropical fans with general weights.
Lawrence Lifts, Matroids, and Maximum Likelihood Degrees
Published in Alg. Stat. 16 (2025) 217-242
• View Publication
• BIB
We express the maximum likelihood (ML) degrees of a family toric varieties in terms of Mobius invariants of matroids. The family of interest are those parametrized by monomial maps given by Lawrence lifts of totally unimodular matrices with even circuits. Specifying these matrices to be vertex-edge incidence matrices of bipartite graphs gives the ML degrees of some hierarchical models and three dimensional quasi-independence models. Included in this list are the no-three-way interaction models with one binary random variable, for which, we give closed formulae.
Moduli Space Tilings and Lie-Theoretic Color Factors
A detailed understanding of the moduli spaces $X(k,n)$ of $n$ points in projective $k-1$ space is essential to the investigation of generalized biadjoint scalar amplitudes, as discovered by Cachazo, Early, Guevara and Mizera (CEGM) in 2019. But in math, conventional wisdom says that it is completely hopeless due to the arbitrarily high complexity of realization spaces of oriented matroids. In this paper, we nonetheless find a path forward.
We present a Lie-theoretic realization of color factors for color-dressed generalized biadjoint scalar amplitudes, formulated in terms of certain tilings of the real moduli space $X(k,n)$ and collections of logarithmic differential forms, resolving an important open question from recent work by Cachazo, Early and Zhang. The main idea is to replace the realization space decomposition of $X(k,n)$ with a large class of overlapping tilings whose topologies are individually relatively simple. So we obtain a collection of color-dressed amplitudes, each of which satisfies $U(1)$ decoupling separately. The essential complexity appears when they are all superposed.
On the topology of conormal complexes and posets of matroids
Published
• View Publication
• BIB
We introduce the poset of biflats of a matroid $M$, a Lagrangian analog of the lattice of flats of $M$, and study the topology of its order complex, which we call the biflats complex. This work continues the study of the Lagrangian combinatorics of matroids, which was recently initiated by work of Ardila, Denham and Huh. We show the biflats complex contains two distinguished subcomplexes: the conormal complex of $M$ and the simplicial join of the Bergman complexes of $M$ and $M^\perp$, the matroidal dual of $M$. Our main theorems give sequences of elementary collapses of the biflats complex onto the conormal complex and the join of the Bergman complexes of $M$ and $M^\perp$. These collapses give a combinatorial proof that the biflats complex, conormal complex and the join of the Bergman complexes of $M$ and $M^\perp$ are all simple homotopy equivalent. Although simple homotopy equivalent, these complexes have many different combinatorial properties. We collect and prove a list of such properties.
Efficient Representation of Lattice Path Matroids
Efficient deterministic algorithms to construct representations of lattice path matroids over finite fields are presented. They are built on known constructions of hierarchical secret sharing schemes, a recent characterization of hierarchical matroid ports, and the existence of isolating weight functions for lattice path matroids whose values are polynomial on the size of the ground set.
What is a 4-connected matroid?
Published in The Electronic Journal of Combinatorics, 32 (2025), P2.1
• View Publication
• BIB
The {\em breadth} of a tangle $\mathcal{T}$ in a matroid is the size of the largest spanning uniform submatroid of the tangle matroid of $\mathcal{T}$. A matroid $M$ is {\em weakly $4$-connected} if it is 3-connected and whenever $(X,Y)$ is a partition of $E(M)$ with $|X|,|Y|>4$, then $λ(X)\geq 3$. We prove that if $\mathcal{T}$ is a tangle of order $k\geq 4$ and breadth $l$ in a matroid $M$, then $M$ has a weakly 4-connected minor $N$ with a tangle $\mathcal{T}$ of order $k$, breadth $l$ and has the property that $\mathcal{T}$ is the tangle in $M$ induced by $\mathcal{T}_N$. A set $Z$ of elements of a matroid $M$ is $4$-{\em connected} if $λ(A)\geq\min\{|A\cap Z|,|Z-A|,3\}$ for all $A\subseteq E(M)$. As a corollary of our theorems on tangles we prove that if $M$ contains an $n$-element $4$-connected set where $n\geq 7$, then $M$ has a weakly $4$-connected minor that contains an $n$-element $4$-connected set.
Simplicial pseudohyperplane arrangements give weak Garside groups
Published
• View Publication
• BIB
In this note we connect the language of Bessis's Garisde categories with Salvetti's metrical-hemisphere complexes in order to find new examples of weak Garside groups. As our main example, we show that the fundamental group of the (appropriately defined) complexified complement of a pseudohyperplane arrangement is a weak Garside group. As a consequence of the Folkman-Lawrence topological realization theorem, we also show that fundamental group of the Salvetti complex of a ("simplicial") oriented matroid is a weak Garside group. This provides novel examples of weak Garside groups.
Face enumeration for split matroid polytopes
Published in Combinator. Probab. Comp. 34 (2025) 528-544
• View Publication
• BIB
This paper initiates the explicit study of face numbers of matroid polytopes and their computation. We prove that, for the large class of split matroid polytopes, their face numbers depend solely on the number of cyclic flats of each rank and size, together with information on the modular pairs of cyclic flats. We provide a formula which allows us to calculate $f$-vectors without the need of taking convex hulls or computing face lattices. We discuss the particular cases of sparse paving matroids and rank two matroids, which are of independent interest due to their appearances in other combinatorial and geometric settings.
Parametric Matroid Interdiction
Published
• View Publication
• BIB
We introduce the parametric matroid one-interdiction problem. Given a matroid, each element of its ground set is associated with a weight that depends linearly on a real parameter from a given parameter interval. The goal is to find, for each parameter value, one element that, when being removed, maximizes the weight of a minimum weight basis. The complexity of this problem can be measured by the number of slope changes of the piecewise linear function mapping the parameter to the weight of the optimal solution of the parametric matroid one-interdiction problem. We provide two polynomial upper bounds as well as a lower bound on the number of these slope changes. Using these, we develop algorithms that require a polynomial number of independence tests and analyse their running time in the special case of graphical matroids.
Convolution formulas for multivariate arithmetic Tutte polynomials
Published
• View Publication
• BIB
The multivariate arithmetic Tutte polynomial of arithmetic matroids is a generalization of the multivariate Tutte polynomial of matroids. In this note, we give the convolution formulas for the multivariate arithmetic Tutte polynomial of the product of two arithmetic matroids. In particular, the convolution formulas for the multivariate arithmetic Tutte polynomial of an arithmetic matroid are obtained. Applying our results, several known convolution formulas including [5, Theorem 10.9 and Corollary 10.10] and [1, Theorems 1 and 4] are proved by a purely combinatorial proof. The proofs presented here are significantly shorter than the previous ones. In addition, we obtain a convolution formula for the characteristic polynomial of an arithmetic matroid.
Prohibited Minors For Graphic Matroids That Gives A Binary Gammoid After Splitting
Splitting operation in Matroid Theory does not preserve graphicness, connectedness, cographicness, etc. Also, the splitting of binary gammoid does not necessarily be binary gammoid after splitting. We have characterized a class of graphic matroids that gives binary gammoids after splitting. We have obtained prohibited minors for graphic and cographic matroid which gives binary gammoid after splitting using two and three elements.
Average plane-size in complex-representable matroids
Published
• View Publication
• BIB
Melchior's inequality implies that the average line-length in a simple, rank-$3$, real-representable matroid is less than $3$. A similar result holds for complex-representable matroids, using Hirzebruch's inequality, but with a weaker bound of $4$. We show that the average plane-size in a simple, rank-$4$, complex-representable matroid is bounded above by an absolute constant, unless the matroid is the direct-sum of two lines. We also prove that, for any integer $k$, in complex-representable matroids with rank at least $2k-1$, the average size of a rank-$k$ flat is bounded above by a constant depending only on $k$. Finally, we prove that, for any integer $r\ge 2$, the average flat-size in rank-$r$ complex-representable matroids is bounded above by a constant depending only on $r$. We obtain our results using a theorem, due to Ben Lund, that gives a good estimate on the number of rank-$k$ flats in a complex-representable matroid.
Chern Numbers of Matroids
We define Chern numbers of a matroid. These numbers are obtained when intersecting appropriate matroid Chern-Schwartz-MacPherson cycles defined by López de Medrano, Rincón, and Shaw. We prove that when a matroid arises from a complex hyperplane arrangement the Chern numbers of the matroid correspond to the Chern numbers of the log cotangent bundle.
A matroid of rank 3 has two Chern numbers. We prove that they are positive and that their ratio is bounded by 3, which is analogous to the Bogomolov-Miyaoka-Yau inequality. If the matroid is orientable, we generalize a result of Eterović, Figuera, and Urzúa to prove that the ratio is bounded above by 5/2. Finally, we give a formula for the Chern numbers of the uniform matroid of any rank.