matroid ↗ reference
2154 papers tagged with this keyword
Contracting a Single Element in a Transversal Matroid
It is well known that the class of transversal matroids is not closed under contraction or duality. In particular, after contracting a set of elements from a transversal matroid, the resulting matroid may or may not be transversal, and the computational complexity of determining whether it is transversal is not well understood. As a step toward resolving this, we provide a polynomial-time algorithm for determining whether a single-element contraction of a transversal matroid is transversal. In the case that the single-element contraction is transversal, the algorithm also provides a transversal representation. We then discuss possible applications of our techniques toward finding a polynomial-time algorithm to determine if the dual of a transversal matroid is transversal.
Matroids arisen from seeds
This study aims to shed light on new (sub)classes of matroids originating from cluster algebras and investigate their properties. We focus on what we call cluster matroids and build some results on them. Then, we point out a relationship between these kinds of matroids and uniform matroids and study their minors.
Separation axiom $S_3$ for geodesic convexity in graphs
Semispaces of a convexity space $(X,C)$ are maximal convex sets missing a point. The separation axiom $S_3$ asserts that any point $x_0\in X$ and any convex set $A$ not containing $x_0$ can be separated by complementary halfspaces (convex sets with convex complements) or, equivalently, that all semispaces are halfspaces. In this paper, we study $S_3$ for geodesic convexity in graphs and the structure of semispaces in $S_3$-graphs. We characterize $S_3$-graphs and their semispaces in terms of separation by halfspaces of vertices $x_0$ and special sets, called maximal $x_0$-proximal sets and in terms of convexity of their mutual shadows $x_0/K$ and $K/x_0$. In $S_3$-graphs $G$ satisfying the triangle condition (TC), maximal proximal sets are the pre-maximal cliques of $G$ (i.e., cliques $K$ such that $K\cup\{ x_0\}$ are maximal cliques). This allows to characterize the $S_3$-graphs satisfying (TC) in a structural way and to enumerate their semispaces efficiently. In case of meshed graphs (an important subclass of graphs satisfying (TC)), the $S_3$-graphs have been characterized by excluding five forbidden subgraphs. On the way of proving this result, we also establish some properties of meshed graphs, which maybe of independent interest. In particular, we show that any connected, locally-convex set of a meshed graph is convex. We also provide several examples of $S_3$-graphs, including the basis graphs of matroids. Finally, we consider the (NP-complete) halfspace separation problem, describe two methods of its solution, and apply them to particular classes of graphs and graph-convexities.
Expansions of the Potts model partition function along deletions and contractions
We establish two expansions of the Potts model partition function of a graph. One is along the deletions of a graph, a rewritten formula given in Biggs (1977). The other is along the contractions of a graph. Then, we specialize the partition function to the chromatic or flow polynomial by the Möbius inversion formula, and prove two known equations of the two polynomials. One expresses the chromatic polynomial as a weighted sum of flow polynomials of deletions, the other expresses the flow polynomial as a weighted sum of chromatic polynomials of contractions. The proof of the former by Biggs formula is due to Bychkov et al. (2021). The two expressions are considered to be dual in the sense of their forms, and transfer to each other with plane duality. This relation also holds in our expansions of the Potts model partition function. We clarify this duality by using matroid duality. Partition functions can be extended to matroids, and the two expansions can also be extended. The two expansions transfer to each other with matroid duality, so in addition to an elementary combinatorial proof of the two, we give another proof by the "duality" relation between them.
Tropical Feichtner-Yuzvinsky and positivity criterion for fans
We prove that the Chow ring of any simplicial fan is isomorphic to the middle degree part of the tropical cohomology ring of its canonical compactification. Using this result, we prove a tropical analogue of Kleiman's criterion of ampleness for fans.
In the case of tropical fans that are homology manifolds, we obtain an isomorphism between the Chow ring of the fan and the entire tropical cohomology of the canonical compactification. When applied to matroids, this provides a new representation of the Chow ring of a matroid as the cohomology ring of a projective tropical manifold.
Tropical Vector Bundles
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
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
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
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
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
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)
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
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
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
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.