matroid ↗ reference
2208 papers tagged with this keyword
Cyclic flats of a polymatroid
Published
• View Publication
• BIB
Polymatroids can be considered as "fractional matroid" where the rank function is not required to be integer valued. Many, but not every notion in matroid terminology translates naturally to polymatroids. Defining cyclic flats of a polymatroid carefully, the characterization by Bonin and de Mier of the ranked lattice of cyclic flats carries over to polymatroids. The main tool, which might be of independent interest, is a convolution-like method which creates a polymatroid from a ranked lattice and a discrete measure. Examples show the ease of using the convolution technique.
Base partition for mixed families of finitary and cofinitary matroids
Published in Combinatorica Volume 41 (2021): Pages 31-52
• View Publication
• BIB
Let ${\mathcal{M} = (M_i \colon i\in K)}$ be a finite or infinite family consisting of matroids on a common ground set $E$ each of which may be finitary or cofinitary. We prove the following Cantor-Bernstein-type result: If there is a collection of bases, one for each $M_i$, which covers the set $E$, and also a collection of bases which is pairwise disjoint, then there is a collection of bases which partitions $E$. We also show that the failure of this Cantor-Bernstein-type statement for arbitrary matroid families is consistent relative to the axioms of set theory ZFC.
The Maximum Matroid of a Graph
The ground set for all matroids in this paper is the set of all edges of a complete graph. The notion of a {\it maximum matroid for a graph} $G$ is introduced, and the existence and uniqueness of the maximum matroid for any graph $G$ is proved. The maximum matroid for $K_3$ is shown to be the cycle (or graphic) matroid. This result is pursued in two directions - to determine the maximum matroid for the $m$-cycle $C_m$ and to determine the maximum matroid for the complete graph $K_m$. The maximum matroid for $K_4$ is the matroid whose bases are the Laman graphs, related to structural rigidity of frameworks in the plane. The maximum matroid for $K_5$ is related to a famous 153 year old open problem of J. C. Maxwell.
A 2-isomorphism theorem for delta-matroids
Published
• View Publication
• BIB
Whitney's 2-Isomorphism Theorem characterises when two graphs have isomorphic cycle matroids. We present an analogue of this theorem for graphs embedded in surfaces by characterising when two graphs in surface have isomorphic delta-matroids.
Tree automata and pigeonhole classes of matroids: I
Published
• View Publication
• BIB
Hlineny's Theorem shows that any sentence in the monadic second-order logic of matroids can be tested in polynomial time, when the input is limited to a class of F-representable matroids with bounded branch-width (where F is a finite field). If each matroid in a class can be decomposed by a subcubic tree in such a way that only a bounded amount of information flows across displayed separations, then the class has bounded decomposition-width. We introduce the pigeonhole property for classes of matroids: if every subclass with bounded branch-width also has bounded decomposition-width, then the class is pigeonhole. An efficiently pigeonhole class has a stronger property, involving an efficiently-computable equivalence relation on subsets of the ground set. We show that Hlineny's Theorem extends to any efficiently pigeonhole class. In a sequel paper, we use these ideas to extend Hlineny's Theorem to the classes of fundamental transversal matroids, lattice path matroids, bicircular matroids, and H-gain-graphic matroids, where H is any finite group. We also give a characterisation of the families of hypergraphs that can be described via tree automata: a family is defined by a tree automaton if and only if it has bounded decomposition-width. Furthermore, we show that if a class of matroids has the pigeonhole property, and can be defined in monadic second-order logic, then any subclass with bounded branch-width has a decidable monadic second-order theory.
Tree automata and pigeonhole classes of matroids: II
Published
• View Publication
• BIB
Let $ψ$ be a sentence in the counting monadic second-order logic of matroids and let $\mathbb{F}$ be a finite field. Hliněný's Theorem says that we can test whether $\mathbb{F}$-representable matroids satisfy $ψ$ using an algorithm that is fixed-parameter tractable with respect to branch-width. In a previous paper we proved there is a similar fixed-parameter tractable algorithm that can test the members of any efficiently pigeonhole class. In this sequel we apply results from the first paper and thereby extend Hliněný's Theorem to the classes of fundamental transversal matroids, lattice path matroids, bicircular matroids, and $H$-gain-graphic matroids, when $H$ is a finite group. As a consequence, we can obtain a new proof of Courcelle's Theorem.
Large Simple d-Cycles in Simplicial Complexes
Published
• View Publication
• BIB
We show that the size of the largest simple d-cycle in a simplicial d-complex $K$ is at least a square root of $K$'s density. This generalizes a well-known classical result of Erdős and Gallai \cite{EG59} for graphs. We use methods from matroid theory applied to combinatorial simplicial complexes.
The facial weak order on hyperplane arrangements
Published in Discrete Comput. Geom., 67(1):166-202, 2022
• View Publication
• BIB
We extend the facial weak order from finite Coxeter groups to central hyperplane arrangements. The facial weak order extends the poset of regions of a hyperplane arrangement to all its faces. We provide four non-trivially equivalent definitions of the facial weak order of a central arrangement: (1) by exploiting the fact that the faces are intervals in the poset of regions, (2) by describing its cover relations, (3) using covectors of the corresponding oriented matroid, and (4) using certain sets of normal vectors closely related to the geometry of the corresponding zonotope. Using these equivalent descriptions, we show that when the poset of regions is a lattice, the facial weak order is a lattice. In the case of simplicial arrangements, we further show that this lattice is semidistributive and give a description of its join-irreducible elements. Finally, we determine the homotopy type of all intervals in the facial weak order.
The motivic zeta functions of a matroid
Published
• View Publication
• BIB
We introduce motivic zeta functions for matroids. These zeta functions are defined as sums over the lattice points of Bergman fans, and in the realizable case, they coincide with the motivic Igusa zeta functions of hyperplane arrangements. We show that these motivic zeta functions satisfy a functional equation arising from matroid Poincaré duality in the sense of Adiprasito-Huh-Katz. In the process, we obtain a formula for the Hilbert series of the cohomology ring of a matroid, in the sense of Feichtner-Yuzvinsky. We then show that our motivic zeta functions specialize to the topological zeta functions for matroids introduced by van der Veer, and we compute the first two coefficients in the Taylor expansion of these topological zeta functions, providing affirmative answers to two questions posed by van der Veer.
Tropical Moduli Space of Rational Graphically Stable Curves
Published
• View Publication
• BIB
We study moduli spaces of rational graphically stable tropical curves and a refinement given by radial alignment. Given a complete multipartite graph $Γ$, the moduli space of radially aligned $Γ$-stable tropical curves can be given the structure of a balanced fan. This fan structure coincides with the Bergman fan of the cycle matroid of $Γ$.
Identifiability in Phylogenetics using Algebraic Matroids
Published
• View Publication
• BIB
Identifiability is a crucial property for a statistical model since distributions in the model uniquely determine the parameters that produce them. In phylogenetics, the identifiability of the tree parameter is of particular interest since it means that phylogenetic models can be used to infer evolutionary histories from data. In this paper we introduce a new computational strategy for proving the identifiability of discrete parameters in algebraic statistical models that uses algebraic matroids naturally associated to the models. We then use this algorithm to prove that the tree parameters are generically identifiable for 2-tree CFN and K3P mixtures. We also show that the $k$-cycle phylogenetic network parameter is identifiable under the K2P and K3P models.
A Note on a Nearly Uniform Partition into Common Independent Sets of Two Matroids
Published
• View Publication
• BIB
The present note is a strengthening of a recent paper by K. Takazawa and Y. Yokoi (A generalized-polymatroid approach to disjoint common independent sets in two matroids, Discrete Mathematics (2019)). For given two matroids on $E$, under the same assumption in their paper to guarantee the existence of a partition of $E$ into $k$ common independent sets of the two matroids, we show that there exists a nearly uniform partition $\mathcal{P}$ of $E$ into $k$ common independent sets, where the difference of the cardinalities of any two sets in $\mathcal{P}$ is at most one.
Profinite tree sets
Tree sets are posets with additional structure that generalize tree-like objects in graphs, matroids, or other combinatorial structures. They are a special class of abstract separation systems. We study infinite tree sets and how they relate to the finite tree sets they induce, and obtain a characterization of infinite tree sets in combinatorial terms.
Entropic matroids and their representation
Published
• View Publication
• BIB
This paper investigates entropic matroids, that is, matroids whose rank function is given as the Shannon entropy of random variables. In particular, we consider $p$-entropic matroids, for which the random variables each have support of cardinality $p$. We draw connections between such entropic matroids and secret-sharing matroids and show that entropic matroids are linear matroids when $p = 2,3$ but not when $p = 9$. Our results leave open the possibility for $p$-entropic matroids to be linear whenever $p$ is prime, with particular cases proved here. Applications of entropic matroids to coding theory and cryptography are also discussed.
Kazhdan-Lusztig polynomials of matroids under deletion
Published in Electron. J. Combin. 27 (2020), no. 1, Paper No. 1.17
• View Publication
• BIB
We present a formula which relates the Kazhdan-Lusztig polynomial of a matroid $M$, as defined by Elias, Proudfoot and Wakefield, to the Kazhdan--Lusztig polynomials of the matroid obtained by deleting an element, and various contractions and localizations of $M$. We give a number of applications of our formula to Kazhdan--Lusztig polynomials of graphic matroids, including a simple formula for the Kazhdan--Lusztig polynomial of a parallel connection graph.
Trees of tangles in abstract separation systems
Published in Journal of Combinatorial Theory, Series A, Volume 180, May 2021, 105425
• View Publication
• BIB
We prove canonical and non-canonical tree-of-tangles theorems for abstract separation systems that are merely structurally submodular. Our results imply all known tree-of-tangles theorems for graphs, matroids and abstract separation systems with submodular order functions, with greatly simplified and shortened proofs.
A Characterization of Circle Graphs in Terms of Total Unimodularity
Published
• View Publication
• BIB
A graph $G$ has an associated multimatroid $\mathcal{Z}_3(G)$, which is equivalent to the isotropic system of $G$ studied by Bouchet. In previous work it was shown that $G$ is a circle graph if and only if for every field $\mathbb F$, the rank function of $\mathcal{Z}_3(G)$ can be extended to the rank function of an $\mathbb F$-representable matroid. In the present paper we strengthen this result using a multimatroid analogue of total unimodularity. As a consequence we obtain a characterization of matroid planarity in terms of this total-unimodularity analogue.
Generalized permutahedra: Minkowski linear functionals and Ehrhart positivity
Published
• View Publication
• BIB
We characterize all signed Minkowski sums that define generalized permutahedra, extending results of Ardila-Benedetti-Doker (2010). We use this characterization to give a complete classification of all positive, translation-invariant, symmetric Minkowski linear functionals on generalized permutahedra. We show that they form a simplicial cone and explicitly describe their generators. We apply our results to prove that the linear coefficients of Ehrhart polynomials of generalized permutahedra, which include matroid polytopes, are non-negative, verifying conjectures of De Loera-Haws-Koeppe (2009) and Castillo-Liu (2018) in this case. We also apply this technique to give an example of a solid-angle polynomial of a generalized permutahedron that has negative linear term and obtain inequalities for beta invariants of contractions of matroids.
Regular matroids have polynomial extension complexity
Published
• View Publication
• BIB
We prove that the extension complexity of the independence polytope of every regular matroid on $n$ elements is $O(n^6)$. Past results of Wong and Martin on extended formulations of the spanning tree polytope of a graph imply a $O(n^2)$ bound for the special case of (co)graphic matroids. However, the case of a general regular matroid was open, despite recent attempts. We also consider the extension complexity of circuit dominants of regular matroids, for which we give a $O(n^2)$ bound.
Topological bounds for graph representations over any field
Published
• View Publication
• BIB
Haviv ({\em European Journal of Combinatorics}, 2019) has recently proved that some topological lower bounds on the chromatic number of graphs are also lower bounds on their orthogonality dimension over $\mathbb{R}$. We show that this holds actually for all known topological lower bounds and all fields. We also improve the topological bound he obtained for the minrank parameter over $\mathbb{R}$ -- an important graph invariant from coding theory -- and show that this bound is actually valid for all fields as well. The notion of independent representation over a matroid is introduced and used in a general theorem having these results as corollaries. Related complexity results are also discussed.