matroid ↗ reference
2156 papers tagged with this keyword
On Cyclic Matroids and their Applications
A matroid is a combinatorial structure that captures and generalizes the algebraic concept of linear independence under a broader and more abstract framework. Matroids are closely related with many other topics in discrete mathematics, such as graphs, matrices, codes and projective geometries. In this work, we define cyclic matroids as matroids over a ground set of size $n$ whose automorphism group contains an $n$-cycle. We study the properties of such matroids, with special focus on the minimum size of their basis sets. For this, we broadly employ two different approaches: the multiple basis exchange property, and an orbit-stabilizer method, developed by analyzing the action of the cyclic group of order $n$ on the set of bases. We further present some applications of our theory to algebra and geometry, presenting connections to cyclic projective planes, cyclic codes and $k$-normal elements.
Fusion rules for pastures and tracts
Published
• View Publication
• BIB
Baker and Bowler defined a category of algebraic objects called tracts which generalize both partial fields and hyperfields. They also defined a notion of weak and strong matroids over a tract $F$, and proved that if $F$ is perfect, meaning that $F$-vectors and $F$-covectors are orthogonal for every matroid over $F$, then the notions of weak and strong $F$-matroids coincide. We define the class of strongly fused tracts and prove that such tracts are perfect. We in fact prove a more general result which implies that given a tract $F$, there is a tract $σ(F)$ with the same 3-term additive relations as $F$ such that weak $F$-matroids coincide with strong $σ(F)$-matroids. We also show that both partial fields and stringent hyperfields are strongly fused; in this way, our criterion for perfection generalizes results of Baker-Bowler and Bowler-Pendavingh.
Approximation by Lexicographically Maximal Solutions in Matching and Matroid Intersection Problems
We study how good a lexicographically maximal solution is in the weighted matching and matroid intersection problems. A solution is lexicographically maximal if it takes as many heaviest elements as possible, and subject to this, it takes as many second heaviest elements as possible, and so on. If the distinct weight values are sufficiently dispersed, e.g., the minimum ratio of two distinct weight values is at least the ground set size, then the lexicographical maximality and the usual weighted optimality are equivalent. We show that the threshold of the ratio for this equivalence to hold is exactly $2$. Furthermore, we prove that if the ratio is less than $2$, say $α$, then a lexicographically maximal solution achieves $(α/2)$-approximation, and this bound is tight.
On complete classes of valuated matroids
Published in TheoretiCS, Volume 3 (November 18, 2024) theoretics:10755
• View Publication
• BIB
We characterize a rich class of valuated matroids, called R-minor valuated matroids that includes the indicator functions of matroids, and is closed under operations such as taking minors, duality, and induction by network. We exhibit a family of valuated matroids that are not R-minor based on sparse paving matroids. Valuated matroids are inherently related to gross substitute valuations in mathematical economics. By the same token we refute the Matroid Based Valuation Conjecture by Ostrovsky and Paes Leme (Theoretical Economics 2015) asserting that every gross substitute valuation arises from weighted matroid rank functions by repeated applications of merge and endowment operations. Our result also has implications in the context of Lorentzian polynomials: it reveals the limitations of known construction operations.
Rota's Basis Conjecture for Matroids with Density Close to One
Published
• View Publication
• BIB
Rota's basis conjecture (RBC) states that given a collection B of n bases in a matroid M of rank n, one can always find n disjoint rainbow bases with respect to B. We show that if M is a matroid having n + k elements, then one can construct n - k^3 disjoint rainbow bases, where b is a constant depending only on k.
An Efficient Reduction of a Gammoid to a Partition Matroid
Our main contribution is a polynomial-time algorithm to reduce a $k$-colorable gammoid to a $(2k-2)$-colorable partition matroid. It is known that there are gammoids that can not be reduced to any $(2k-3)$-colorable partition matroid, so this result is tight. We then discuss how such a reduction can be used to obtain polynomial-time algorithms with better approximation ratios for various natural problems related to coloring and list coloring the intersection of matroids.
Lift theorems for representations of matroids over pastures
Published
• View Publication
• BIB
Pastures are a class of field-like algebraic objects which include both partial fields hyperfields and have nice categorical properties. We prove several lift theorems for representations of matroids over pastures, including a generalization of Pendavingh and van Zwam's Lift Theorem for partial fields. By embedding the earlier theory into a more general framework, we are able to establish new results even in the case of lifts of partial fields, for example the conjecture of Pendavingh--van Zwam that their lift construction is idempotent. We give numerous applications to matroid representations, e.g. we show that, up to projective equivalence, every pair consisting of a hexagonal representation and an orientation lifts uniquely to a near-regular representation. The proofs are different from the arguments used by Pendavingh and van Zwam, relying instead on a result of Gelfand-Rybnikov-Stone inspired by Tutte's homotopy theorem.
Combinatorial Reduction of Set Functions and Matroid Permutations through Minor Product Assignment
Published
• View Publication
• BIB
We introduce an algebraic model, based on the determinantal expansion of the product of two matrices, to test combinatorial reductions of set functions. Each term of the determinantal expansion is deformed through a monomial factor in d indeterminates, whose exponents define a $\mathbb{Z}^{d}$-valued set function. By combining the Grassmann-Plücker relations for the two matrices, we derive a family of sparse polynomials, whose factorisation properties in a Laurent polynomial ring are studied and related to information-theoretic notions. Under a given genericity condition, we prove the equivalence between combinatorial reductions and determinantal expansions with invertible minor products; specifically, a deformation returns a determinantal expansion if and only if it is induced by a diagonal matrix of units in $\mathbb{C}(\mathbf{t})$ acting as a kernel in the original determinant expression. This characterisation supports the definition of a new method for checking and recovering combinatorial reductions for matroid permutations.
Point sets and functions inducing tangles of set separations
Published
• View Publication
• BIB
Tangles, as introduced by Robertson and Seymour, were designed as an indirect way of capturing clusters in graphs and matroids. They have since been shown to capture clusters in much broader discrete structures too. But not all tangles are induced by a set of points, let alone a cluster. We characterise those that are: the tangles that are induced by a subset of or function on the set of data points whose connectivity structure they are meant to capture.
We offer two such characterisations. The first is in terms of how many small sides of a tangle's separations it takes to cover the ground set. The second uses a new notion of duality for oriented set separations that becomes possible if these are no longer required to be separations of graph or matroids.
Slack matrices, $k$-products, and $2$-level polytopes
In this paper, we study algorithmic questions concerning products of matrices and their consequences for recognition algorithms for polyhedra.
The 1-product of matrices $S_1$, $S_2$ is a matrix whose columns are the concatenation of each column of $S_1$ with each column of $S_2$. The $k$-product generalizes the $1$-product, by taking as input two matrices $S_1, S_2$ together with $k-1$ special rows of each of those matrices, and outputting a certain composition of $S_1,S_2$.
Our study is motivated by a close link between the 1-product of matrices and the Cartesian product of polytopes, and more generally between the $k$-product of matrices and the glued product of polytopes. These connections rely on the concept of slack matrix, which gives an algebraic representation of classes of affinely equivalent polytopes. The slack matrix recognition problem is the problem of determining whether a given matrix is a slack matrix. This is an intriguing problem whose complexity is unknown. Our algorithm reduces the problem to instances which cannot be expressed as $k$-products of smaller matrices.
In the second part of the paper, we give a combinatorial interpretation of $k$-products for two well-known classes of polytopes: 2-level matroid base polytopes and stable set polytopes of perfect graphs. We also show that the slack matrix recognition problem is polynomial-time solvable for such polytopes. Those two classes are special cases of $2$-level polytopes, for which we conjecture that the slack matrix recognition problem is polynomial-time solvable.
Extended formulations for matroid polytopes through randomized protocols
Published
• View Publication
• BIB
Let $P$ be a polytope. The hitting number of $P$ is the smallest size of a hitting set of the facets of $P$, i.e., a subset of vertices of $P$ such that every facet of $P$ has a vertex in the subset. An extended formulation of $P$ is the description of a polyhedron that linearly projects to $P$. We show that, if $P$ is the base polytope of any matroid, then $P$ admits an extended formulation whose size depends linearly on the hitting number of $P$. Our extended formulations generalize those of the spanning tree polytope given by Martin and Wong. Our proof is simple and short, and it goes through the deep connection between extended formulations and communication protocols.
Weight Spectra of Gabidulin Rank-metric Codes and Betti Numbers
Published
• View Publication
• BIB
We consider $q$-matroids and their associated classical matroids derived from Gabidulin rank-metric codes. We express the generalized rank weights of a Gabidulin rank-metric code in terms of Betti numbers of the dual classical matroid associated to the $q$-matroid corresponding to the code. In our main result, we show how these Betti numbers and their elongations determine the generalized weight polynomials for $q$-matorids, in particular, for the Gabidulin rank-metric codes. In addition, we demonstrate how the weight distribution and higher weight spectra of such codes can be determined directly from the associated $q$-matroids by using Möbius functions of its lattice of $q$-flats.
The $9$-connected Excluded Minors for the Class of Quasi-graphic Matroids
Published
• View Publication
• BIB
The class of quasi-graphic matroids, recently introduced by Geelen, Gerards, and Whittle, is minor closed and contains both the class of lifted-graphic matroids and the class of frame matroids, each of which generalises the class of graphic matroids. In this paper, we prove that the matroids $U_{3,7}$ and $U_{4,7}$ are the only $9$-connected excluded minors for the class of quasi-graphic matroids.
Topological posets and tropical phased matroids
Published
• View Publication
• BIB
For a discrete poset $\mathcal X$ McCord proved that the natural map $|{\mathcal X}|\to {\mathcal X}$ from the order complex to the poset equipped with the Up topology is a weak homotopy equivalence. Much later, Zivaljević defined the notion of order complex for a topological poset. For a large class of such topological posets we prove the analog of McCord's theorem, namely that the natural map from the order complex to the topological poset with the Up topology is a weak homotopy equivalence. A familiar topological example is the Grassmann poset of proper non-zero linear subspaces of R^{n+1} partially ordered by inclusion. But our motivation in topological combinatorics is to apply the theorem to posets associated with tropical phased matroids over the tropical phase hyperfield, and in particular to elucidate the tropical version of the MacPhersonian Conjecture. This is explained in Section 2.
Real phase structures on matroid fans and matroid orientations
Published in J. Lond. Math. Soc. 106.4 (2022) pp. 3687-3710
• View Publication
• BIB
We introduce the notion of real phase structure on rational polyhedral fans in Euclidean space. Such a structure consists of an assignment of affine spaces over $\mathbb{Z}/2\mathbb{Z}$ to each top dimensional face of the fan subject to two conditions. Given an oriented matroid we can construct a real phase structure on the fan of the underlying matroid. Conversely, we show that from a real phase structure on a matroid fan we can produce an orientation of the underlying matroid. Thus real phase structures are cryptomorphic to matroid orientations. The topes of the orientated matroid are recovered immediately from the real phase structure. We also provide a direct way to recover the signed circuits of the oriented matroid from the real phase structure.
Bar-and-joint rigidity on the moment curve coincides with cofactor rigidity on a conic
Published in Combinatorial Theory 3 (1) (2023) paper 15
• View Publication
• BIB
We show that, for points along the moment curve, the bar-and-joint rigidity matroid and the hyperconnectivity matroid coincide, and that both coincide with the $C^{d-2}_{d-1}$-cofactor rigidity of points along any (non-degenerate) conic in the plane. For hyperconnectivity in dimension two, having the points in the moment curve is no loss of generality.
We also show that, restricted to bipartite graphs, the bar-and-joint rigidity matroid is freer than the hyperconnectivity matroid.
Ehrhart polynomials of rank two matroids
Published in Adv. in Appl. Math. 141 (2022) 102410
• View Publication
• BIB
Over a decade ago De Loera, Haws and Köppe conjectured that Ehrhart polynomials of matroid polytopes have only positive coefficients and that the coefficients of the corresponding $h^*$-polynomials form a unimodal sequence. The first of these intensively studied conjectures has recently been disproved by the first author who gave counterexamples in all ranks greater or equal to three. In this article we complete the picture by showing that Ehrhart polynomials of matroids of lower rank have indeed only positive coefficients. Moreover, we show that they are coefficient-wise bounded by the Ehrhart polynomials of minimal and uniform matroids. We furthermore address the second conjecture by proving that $h^*$-polynomials of matroid polytopes of sparse paving matroids of rank two are real-rooted and therefore have log-concave and unimodal coefficients. In particular, this shows that the $h^*$-polynomial of the second hypersimplex is real-rooted thereby strengthening a result of De Loera, Haws and Köppe.
Intertwining connectivities for vertex-minors and pivot-minors
Published in SIAM J. Discrete Math., 37(1):304-314, March 2023
• View Publication
• BIB
We show that for pairs $(Q,R)$ and $(S,T)$ of disjoint subsets of vertices of a graph $G$, if $G$ is sufficiently large, then there exists a vertex $v$ in $V(G)-(Q\cup R\cup S\cup T)$ such that there are two ways to reduce $G$ by a vertex-minor operation that removes $v$ while preserving the connectivity between $Q$ and $R$ and the connectivity between $S$ and $T$. Our theorem implies an analogous theorem of Chen and Whittle (2014) for matroids restricted to binary matroids.
Pattern Recognition on Oriented Matroids: Symmetric Cycles in the Hypercube Graphs. V
We consider decompositions of topes of the oriented matroid realizable as the arrangement of coordinate hyperplanes in $\mathbb{R}^{2^t}$, with respect to a distinguished symmetric $2\cdot 2^t$-cycle in its hypercube graph of topes $\boldsymbol{H}(2^t,2)$. We seek interpretations of such decompositions in the context of subset families on the ground set $E_t:=\{1,\ldots,t\}$ and of the families of their blocking sets, in the context of clutters on $E_t$ and of their blockers.
On the Cogirth of Binary Matroids
Published
• View Publication
• BIB
The cogirth, $g^\ast(M)$, of a matroid $M$ is the size of a smallest cocircuit of $M$. Finding the cogirth of a graphic matroid can be done in polynomial time, but Vardy showed in 1997 that it is NP-hard to find the cogirth of a binary matroid. In this paper, we show that $g^\ast(M)\leq \frac{1}{2}\vert E(M)\vert$ when $M$ is binary, unless $M$ simplifies to a projective geometry. We also show that, when equality holds, $M$ simplifies to a Bose-Burton geometry, that is, a matroid of the form $PG(r-1,2)-PG(k-1,2)$. These results extend to matroids representable over arbitrary finite fields.