matroid ↗ reference
2208 papers tagged with this keyword
Tropical Vector Bundles
Published
• View Publication
• BIB
The goal of this paper is to introduce a construction of a vector bundle on a tropical variety. When the base is a tropical toric variety these tropicalize toric vector bundles, and are described by the data of a valuated matroid and some flats in the lattice of flats of the underlying matroid. The fibers are tropical linear spaces. We define global sections for tropical toric vector bundles, stability, and Jordan-Hölder and Harder-Narasimhan filtrations. Many of these require additional modularity assumptions on the defining matroid.
Tropical vector bundles and matroids
We introduce a notion of tropical vector bundle on a tropical toric variety which is a tropical analogue of a torus equivariant vector bundle on a toric variety. Alternatively it can be called a toric matroid bundle. We define equivariant $K$-theory and characteristic classes of these bundles. As a particular case, we show that any matroid comes with tautological tropical toric vector bundles over the permutahedral toric variety and the corresponding equivariant $K$-classes and Chern classes recover the tautological classes of matroids constructed in the recent work of Berger-Eur-Spink-Tseng. In analogy with toric vector bundles, we define sheaf of sections and Euler characteristic as well as positivity notions such as global generation, ampleness and nefness for tropical toric vector bundles. Moreover, we prove a vanishing of higher cohomologies result. Finally, we study the splitting of our tropical toric vector bundles and, in particular, an analogue of Grothendieck's theorem on splitting of vector bundles on projective line.
Chordal matroids arising from generalized parallel connections II
Published
• View Publication
• BIB
In 1961, Dirac showed that chordal graphs are exactly the graphs that can be constructed from complete graphs by a sequence of clique-sums. In an earlier paper, by analogy with Dirac's result, we introduced the class of $GF(q)$-chordal matroids as those matroids that can be constructed from projective geometries over $GF(q)$ by a sequence of generalized parallel connections across projective geometries over $GF(q)$. Our main result showed that when $q=2$, such matroids have no induced minor in $\{M(C_4),M(K_4)\}$. In this paper, we show that the class of $GF(2)$-chordal matroids coincides with the class of binary matroids that have none of $M(K_4)$, $M^*(K_{3,3})$, or $M(C_n)$ for $n\geq 4$ as a flat. We also show that $GF(q)$-chordal matroids can be characterized by an analogous result to Rose's 1970 characterization of chordal graphs as those that have a perfect elimination ordering of vertices.
Edge-length preserving embeddings of graphs between normed spaces
Published
• View Publication
• BIB
The concept of graph flattenability, initially formalized by Belk and Connelly and later expanded by Sitharam and Willoughby, extends the question of embedding finite metric spaces into a given normed space. A finite simple graph $G=(V,E)$ is said to be $(X,Y)$-flattenable if any set of induced edge lengths from an embedding of $G$ into a normed space $Y$ can also be realised by an embedding of $G$ into a normed space $X$. This property, being minor-closed, can be characterized by a finite list of forbidden minors. Following the establishment of fundamental results about $(X,Y)$-flattenability, we identify sufficient conditions under which it implies independence with respect to the associated rigidity matroids for $X$ and $Y$. We show that the spaces $\ell_2$ and $\ell_\infty$ serve as two natural extreme spaces of flattenability and discuss $(X, \ell_p )$-flattenability for varying $p$. We provide a complete characterization of $(X,Y)$-flattenable graphs for the specific case when $X$ is 2-dimensional and $Y$ is infinite-dimensional.
Rigidity matroids and linear algebraic matroids with applications to matrix completion and tensor codes
Published
• View Publication
• BIB
We establish a connection between problems studied in rigidity theory and matroids arising from linear algebraic constructions like tensor products and symmetric products. A special case of this correspondence identifies the problem of giving a description of the correctable erasure patterns in a maximally recoverable tensor code with the problem of describing bipartite rigid graphs or low-rank completable matrix patterns. Additionally, we relate dependencies among symmetric products of generic vectors to graph rigidity and symmetric matrix completion. With an eye toward applications to computer science, we study the dependency of these matroids on the characteristic by giving new combinatorial descriptions in several cases, including the first description of the correctable patterns in an (m, n, a=2, b=2) maximally recoverable tensor code.
Amalgams of matroids, fibre products and tropical graph correspondences
We prove that the proper amalgam of matroids $M_1$ and $M_2$ along their common restriction $N$ exists if and only if the tropical fibre product of Bergman fans ${B(M_1) \times_{B(N)} B(M_2)}$ is positive. We introduce tropical correspondences between Bergman fans as tropical subcycles in their product, similar to correspondences in algebraic geometry, and define a "graph correspondence" of the map of lattices. We prove that graph construction is a functor for the "covering" maps of lattices, exploiting a generalization of Bergman fan which we call a "Flag fan".
Evolution of random representable matroids: minors, circuits, connectivity and the critical number
Published
• View Publication
• BIB
We study the evolution of random matroids represented by the sequence of random matrices over ${\mathbb F}_q$ where columns are added one after the other, and each column vector is a uniformly random vector in ${\mathbb F}_q^n$, independent of each other. We study the appearance of matroid minors, the appearance of circuits, the evolution of the connectivities and the critical number. We settle several open problems in the literature.
Toric wedge induction and toric lifting property for piecewise linear spheres with a few vertices
Published in Journal of the London Mathematical Society, vol. 112, no. 1, 2025, pp. e70231
• View Publication
• BIB
Let $K$ be an $(n-1)$-dimensional piecewise linear sphere on $[m]$, where $m\leq n+4$. There are a canonical action of $m$-dimensional torus $T^m$ on the moment-angle complex $\mathcal{Z}_K$, and a canonical action of $\mathbb{Z}_2^m$ on the real moment-angle complex $\mathbb{R}\mathcal{Z}_K$, where $\mathbb{Z}_2$ is the additive group with two elements. We prove that any subgroup of $\mathbb{Z}_2^m$ acting freely on $\mathbb{R}\mathcal{Z}_K$ is induced by a subtorus of $T^m$ acting freely on $\mathcal{Z}_K$. The proof primarily utilizes a suitably modified method of toric wedge induction and the combinatorial structure of a specific binary matroid of rank $4$.
On the sizes of BDDs and ZDDs representing matroids
Published
• View Publication
• BIB
Matroids are often represented as oracles since there are no unified and compact representations for general matroids. This paper initiates the study of binary decision diagrams (BDDs) and zero-suppressed binary decision diagrams (ZDDs) as relatively compact data structures for representing matroids in a computer. This study particularly focuses on the sizes of BDDs and ZDDs representing matroids. First, we compare the sizes of different variations of BDDs and ZDDs for a matroid. These comparisons involve concise transformations between specific decision diagrams. Second, we provide upper bounds on the size of BDDs and ZDDs for several classes of matroids. These bounds are closely related to the number of minors of the matroid and depend only on the connectivity function or pathwidth of the matroid, which deeply relates to the classes of matroids called strongly pigeonhole classes. In essence, these results indicate upper bounds on the number of minors for specific classes of matroids and new strongly pigeonhole classes.
On a conjecture of Gross, Mansour and Tucker for $Δ$-matroids
Published
• View Publication
• BIB
Gross, Mansour, and Tucker introduced the partial-duality polynomial of a ribbon graph [Distributions, European J. Combin. 86, 1--20, 2020], the generating function enumerating partial duals by the Euler genus. Chmutov and Vignes-Tourneret wondered if this polynomial and its conjectured properties would hold for general delta-matroids, which are combinatorial abstractions of ribbon graphs. Yan and Jin contributed to this inquiry by identifying a subset of delta-matroids-specifically, even normal binary ones-whose twist polynomials are characterized by a singular term. Building upon this foundation, the current paper expands the scope of the investigation to encompass even non-binary delta-matroids, revealing that none of them have width-changing twists.
Dominic Welsh (1938-2023)
Published
• View Publication
• BIB
This biographical and scientific memoir of Dominic Welsh includes summaries of his important contributions to probability and combinatorics. With John Hammersley, he introduced first-passage percolation, and in so doing they formulated and proved the first subadditive ergodic theorem. Welsh has numerous results in matroid theory, and wrote the first monograph on the topic. He worked on computational complexity and particularly the complexity of computing the Tutte polynomial. He was an inspirational teacher and advisor who helped to develop a community of scholars in combinatorics.
Extensions of discrete Helly theorems for boxes
Published
• View Publication
• BIB
We prove extensions of Halman's discrete Helly theorem for axis-parallel boxes in $\mathbb{R}^d$. Halman's theorem says that, given a set $S$ in $\mathbb{R}^d$, if $F$ is a finite family of axis-parallel boxes such that the intersection of any $2d$ contains a point of $S$, then the intersection of $F$ contains a point of $S$. We prove colorful, fractional, and quantitative versions of Halman's theorem. For the fractional versions, it is enough to check that many $(d+1)$-tuples of the family contain points of $S$. Among the colorful versions we include variants where the coloring condition is replaced by an arbitrary matroid. Our results generalize beyond axis-parallel boxes to $H$-convex sets.
Mixed volumes of matroids
Published
• View Publication
• BIB
Our aim in this article is to compute the mixed volume of a matroid. We give two computations. The first one is based on the integration formula for complete fans given by Brion. The second computation is a step-by-step method using deletion of elements in the matroid as in Braden-Huh-Matherne-Proudfoot-Wang.
Log-concavity in Combinatorics
We survey some of the mechanisms used to prove that naturally defined sequences in combinatorics are log-concave. Among these mechanisms are Alexandrov's inequality for mixed discriminants, the Alexandrov Fenchel inequality for mixed volumes, Lorentzian polynomials, and the Hard Lefschetz theorem. We use these mechanisms to prove some new log-concavity and extremal results related to partially ordered sets and matroids. We present joint work with Ramon van Handel and Xinmeng Zeng to give a complete characterization for the extremals of the Kahn-Saks inequality. We extend Stanley's inequality for regular matroids to arbitrary matroids using the technology of Lorentzian polynomials. As a result, we provide a new proof of the weakest Mason conjecture. We also prove necessary and sufficient conditions for the Gorenstein ring associated to the basis generating polynomial of a matroid to satisfy Hodge-Riemann relations of degree one on the facets of the positive orthant.
The foundation of generalized parallel connections, 2-sums, and segment-cosegment exchanges of matroids
Published
• View Publication
• BIB
We show that, under suitable hypotheses, the foundation of a generalized parallel connection of matroids is the relative tensor product of the foundations. Using this result, we show that the foundation of a 2-sum of matroids is the absolute tensor product of the foundations, and that the foundation of a matroid is invariant under segment-cosegment exchange.
Koszulity, supersolvability, and Stirling representations
Published in Ann. Represent. Theory 2, No. 2, 173-247 (2025)
• View Publication
• BIB
Supersolvable hyperplane arrangements and matroids are known to give rise to certain Koszul algebras, namely their Orlik-Solomon algebras and graded Varchenko-Gel'fand algebras. We explore how this interacts with group actions, particularly for the braid arrangement and the action of the symmetric group, where the Hilbert functions of the algebras and their Koszul duals are given by Stirling numbers of the first and second kinds, respectively. The corresponding symmetric group representations exhibit branching rules that interpret Stirling number recurrences, which are shown to apply to all supersolvable arrangements. They also enjoy representation stability properties that follow from Koszul duality.
Quiver matroids -- Matroid morphisms, quiver Grassmannians, their Euler characteristics and $\mathbb{F}_1$-points
In this paper, we introduce morphisms for matroids with coefficients (in the sense of Baker and Bowler) and quiver matroids. We investigate their basic properties, such as functoriality, duality, minors and cryptomorphic characterizations in terms of vectors, circuits and bases (a.k.a. Grassmann-Plücker functions). We generalize quiver matroids to quiver matroid bundles and construct their moduli space, which is an $\mathbb{F}_1$-analogue of a complex quiver Grassmannian. Eventually we introduce a suitable interpretation of $\mathbb{F}_1$-points for these moduli spaces, so that in 'nice' cases their number is equal to the Euler characteristic of the associated complex quiver Grassmannian.
Matroid variant of Matiyasevich formula and its application
Published
• View Publication
• BIB
In 1977, Yu. V. Matiyasevich proposed a formula expressing the chromatic polynomial of an arbitrary graph as a linear combination of flow polynomials of subgraphs of the original graph. In this paper, we prove that this representation is a particular case of one (easily verifiable) formula, namely, the representation of the characteristic polynomial of an arbitrary matroid as a linear combination of characteristic polynomials of dual matroids. As an application, we represent the flow polynomial of a complete graph with $n$ vertices as the sum of elementary terms with respect to all partitions of positive integer $n$. Since the growth rate of the number of all partitions is less than exponential, this technique allows us to evaluate the flow polynomial for values of $n\approx 50$. We also get an explicit expression for the characteristic polynomial of the matroid dual to the matroid of the projective geometry over a finite field. We prove, in particular, that major coefficients of all these polynomials coincide with the beginning of the row in the Pascal triangle, whose number equals the quantity of elements in the corresponding matroid. At the end part of the paper, we consider one more approach, which allows us to obtain the same results of application of our main theoren by using properties of the Tutte polynomial and the classical Rota formula for coefficients of the characteristic polynomial of a matroid. In addition, we describe the connection between the matroid variant of the Matiyasevich formula and convolution formulas for Tutte polynomials.
Matroidal polynomials, their singularities, and applications to Feynman diagrams
Given a matroid or flag of matroids we introduce several broad classes of polynomials satisfying Deletion-Contraction identities, and study their singularities.
There are three main families of polynomials captured by our approach: matroidal polynomials on a matroid (including matroid basis polynomials, configuration polynomials, Tutte polynomials); flag matroidal polynomials on a flag matroid; and Feynman integrands. The last class includes under general kinematics the inhomogeneous Feynman diagram polynomials which naturally arise in the Lee--Pomeransky form of the Feynman integral attached to a Feynman diagram.
Assuming that the primary underlying matroid is connected and of positive rank (and in the flag case, has rank at least two), we show: a) in positive characteristic, homogeneous matroidal polynomials are strongly $F$-regular; b) over an algebraically closed field of characteristic zero, the associated jet schemes of (flag) matroidal polynomials as well as those of Feynman integrands are irreducible. Consequently, all these polynomials have rational singularities (or are smooth).
The Tropical Variety of Symmetric Rank 2 Matrices
Published
• View Publication
• BIB
We study the tropicalization of the variety of symmetric rank two matrices. Analogously to the result of Markwig and Yu for general tropical rank two matrices, we show that it has a simplicial complex structure as the space of symmetric bicolored trees and that this simplicial complex is shellable. We also discuss some matroid structures arising from this space and present generating functions for the number of symmetric bicolored trees.