matroid ↗ reference
2208 papers tagged with this keyword
Classification of external Zonotopal algebras
In this paper we work with power algebras associated to hyperplane arrangements. There are three main types of these algebras, namely, external, central, and internal zonotopal algebras. We classify all external algebras up to isomorphism in terms of zonotopes. Also, we prove that unimodular external zonotopal algebras are in one to one correspondence with regular matroids. For the case of central algebras we formulate a conjecture.
A counterexample to Las Vergnas' strong map conjecture on realizable oriented matroids
Published
• View Publication
• BIB
The Las Vergnas' strong map conjecture, states that any strong map of oriented matroids $f:\mathcal{M}_1\rightarrow\mathcal{M}_2$ can be factored into extensions and contractions. The conjecture is known to be false due to a construction by Richter-Gebert, he find a non-factorizable strong map $f:\mathcal{M}_1\rightarrow\mathcal{M}_2$, however in his example $\mathcal{M}_1$ is not realizable. The problem that whether there exists a non-factorizable strong map between realizable oriented matroids still remains open. In this paper we provide a counterexample to the strong map conjecture on realizable oriented matroids, which is a strong map $f:\mathcal{M}_1\rightarrow\mathcal{M}_2$, $\mathcal{M}_1$ is an alternating oriented matroid of rank $4$ and $f$ has corank $2$. We prove it is not factorizable by showing that there is no uniform oriented matroid $\mathcal{M}^{\prime}$ of rank $3$ such that $\mathcal{M}_1\rightarrow\mathcal{M}^{\prime}\rightarrow\mathcal{M}_2$.
Divisors on matroids and their volumes
Published
• View Publication
• BIB
The classical volume polynomial in algebraic geometry measures the degrees of ample (and nef) divisors on a smooth projective variety. We introduce an analogous volume polynomial for matroids, and give a complete combinatorial formula. For a realizable matroid, we thus obtain an explicit formula for the classical volume polynomial of the associated wonderful compactification. We then introduce a new invariant called the volume of a matroid as a particular specialization of its volume polynomial, and discuss its algebro-geometric and combinatorial properties in connection to graded linear series on blow-ups of projective spaces.
Matroids and Codes with the Rank Metric
Published
• View Publication
• BIB
We study the relationship between a q-analogue of matroids and linear codes with the rank metric in the vector space of matrices with entries in a finite field. We prove a Greene type identity for the rank generating function of these matroidal structures and the rank weight enumerator of these linear codes. As an application, we give a combinatorial proof of a MacWilliams type identity for Delsarte rank-metric codes.
Trianguloids and Triangulations of Root Polytopes
Published
• View Publication
• BIB
Triangulations of a product of two simplices and, more generally, of root polytopes are closely related to Gelfand-Kapranov-Zelevinsky's theory of discriminants, to tropical geometry, tropical oriented matroids, and to generalized permutohedra. We introduce a new approach to these objects, identifying a triangulation of a root polytope with a certain bijection between lattice points of two generalized permutohedra. In order to study such bijections, we define trianguloids as edge-colored graphs satisfying simple local axioms. We prove that trianguloids are in bijection with triangulations of root polytopes.
Combinatorial analogs of topological zeta functions
Published
• View Publication
• BIB
In this article we introduce a new matroid invariant, a combinatorial analog of the topological zeta function of a polynomial. More specifically we associate to any ranked, atomic meet-semilattice L a rational function Z(L,s), in such a way that when L is the lattice of flats of a complex hyperplane arrangement we recover the usual topological zeta function. The definition is in terms of a choice of a combinatorial analog of resolution of singularities, and the main result is that Z(L,s) does not depend on this choice and depends only on L. Known properties of the topological zeta function provide a source of potential complex realisability test for matroids.
Parallel Translates of Represented Matroids
Published
• View Publication
• BIB
Given an $\Bbb{F}$-represented matroid $(M,ρ)$ with the ground set $[m]$, the representation $ρ$ naturally defines a hyperplane arrangement $\mathcal{A}_ρ$. We will study its parallel translates $\mathcal{A}_{ρ,{g}}$ of $\mathcal{A}_ρ$ for all ${ g}\in \mathbb{F}^m$. Its intersection semi-lattices $L(\mathcal{A}_{ρ,{ g}})$ and the characteristic polynomials $χ(\mathcal{A}_{ρ,{ g}},t)$ will be classified by the intersection lattice of the derived arrangement $\mathcal{A}_{δρ}$, which is a hyperplane arrangement associated with the derived matroid $(δM,δρ)$ and also known as the discriminantal arrangement in the literature. As a byproduct, we obtain a comparison result and a decomposition formula on the characteristic polynomials $χ(\mathcal{A}_{ρ,{ g}},t)$.
Effective versions of two theorems of Rado
Published
• View Publication
• BIB
Let $M$ be a representable matroid on $n$ elements. We give bounds, in terms of $n$, on the least positive characteristic and smallest field over which $M$ is representable.
The Tutte polynomial via lattice point counting
Published
• View Publication
• BIB
We recover the Tutte polynomial of a matroid, up to change of coordinates, from an Ehrhart-style polynomial counting lattice points in the Minkowski sum of its base polytope and scalings of simplices. Our polynomial has coefficients of alternating sign with a combinatorial interpretation closely tied to the Dawson partition. Our definition extends in a straightforward way to polymatroids, and in this setting our polynomial has Kálmán's internal and external activity polynomials as its univariate specialisations.
Uniform semimodular lattices and valuated matroids
Published
• View Publication
• BIB
In this paper, we present a lattice-theoretic characterization for valuated matroids, which is an extension of the well-known cryptomorphic equivalence between matroids and geometric lattices ($=$ atomistic semimodular lattices). We introduce a class of semimodular lattices, called uniform semimodular lattices, and establish a cryptomorphic equivalence between integer-valued valuated matroids and uniform semimodular lattices. Our result includes a coordinate-free lattice-theoretic characterization of integer points in tropical linear spaces, incorporates the Dress-Terhalle completion process of valuated matroids, and establishes a smooth connection with Euclidean buildings of type A.
Tilings and matroids on regular subdivisions of a triangle
In this paper we investigate a family of matroids introduced by Ardila and Billey to study one-dimensional intersections of complete flag arrangements of $\mathbb{C}^n$. The set of lattice points $P_n$ inside the equilateral triangle $S_n$ obtained by intersecting the nonnegative cone of $\mathbb{R}^3$ with the affine hyperplane $x_1 + x_2 + x_3 = n-1$ is the ground set of a matroid $\mathcal{T}_n$ whose independent sets are the subsets $S$ of $P_n$ satisfying that $|S \cap P| \le k$ for each translation $P$ of the set $P_k$. Here we study the structure of the matroids $\mathcal{T}_n$ in connection with tilings of $S_n$ into unit triangles, rhombi, and trapezoids. First, we characterize the independent sets of $\mathcal{T}_n$, extending a characterization of the bases of $\mathcal{T}_n$ already given by Ardila and Billey. Then we explore the connection between the rank function of $\mathcal{T}_n$ and the tilings of $S_n$ into unit triangles and rhombi. Then we provide a tiling characterization of the circuits of $\mathcal{T}_n$. We conclude with a geometric characterization of the flats of $\mathcal{T}_n$.
Chow Rings of Vector Space Matroids
Published
• View Publication
• BIB
The Chow ring of a matroid (or more generally, atomic latice) is an invariant whose importance was demonstrated by Adiprasito, Huh and Katz, who used it to resolve the long-standing Heron-Rota-Welsh conjecture. Here, we make a detailed study of the Chow rings of uniform matroids and of matroids of finite vector spaces. In particular, we express the Hilbert series of such matroids in terms of permutation statistics; in the full rank case, our formula yields the maj-exc $q$-Eulerian polynomials of Shareshian and Wachs. We also provide a formula for the Charney-Davis quantities of such matroids, which can be expressed in terms of either determinants or $q$-secant numbers.
Kazhdan-Lusztig polynomials of fan matroids, wheel matroids and whirl matroids
Published
• View Publication
• BIB
The Kazhdan-Lusztig polynomial of a matroid was introduced by Elias, Proudfoot and Wakefield, whose properties need to be further explored. In this paper we prove that the Kazhdan-Lusztig polynomials of fan matroids coincide with Motzkin polynomials, which was recently conjectured by Gedeon. As a byproduct, we determine the Kazhdan-Lusztig polynomials of graphic matroids of squares of paths. We further obtain explicit formulas of the Kazhdan-Lusztig polynomials of wheel matroids and whirl matroids. We prove the real-rootedness of the Kazhdan-Lusztig polynomials of these matroids, which provides positive evidence for a conjecture due to Gedeon, Proudfoot and Young. Based on the results on the Kazhdan-Lusztig polynomials, we also determine the $Z$-polynomials of fan matroids, wheel matroids and whirl matroids, and prove their real-rootedness, which provides further evidence in support of a conjecture of Proudfoot, Xu, and Young.
The $b$-branching problem in digraphs
In this paper, we introduce the concept of $b$-branchings in digraphs, which is a generalization of branchings serving as a counterpart of $b$-matchings. Here $b$ is a positive integer vector on the vertex set of a digraph, and a $b$-branching is defined as a common independent set of two matroids defined by $b$: an arc set is a $b$-branching if it has at most $b(v)$ arcs sharing the terminal vertex $v$, and it is an independent set of a certain sparsity matroid defined by $b$. We demonstrate that $b$-branchings yield an appropriate generalization of branchings by extending several classical results on branchings. We first present a multi-phase greedy algorithm for finding a maximum-weight $b$-branching. We then prove a packing theorem extending Edmonds' disjoint branchings theorem, and provide a strongly polynomial algorithm for finding optimal disjoint $b$-branchings. As a consequence of the packing theorem, we prove the integer decomposition property of the $b$-branching polytope. Finally, we deal with a further generalization in which a matroid constraint is imposed on the $b(v)$ arcs sharing the terminal vertex $v$.
Field extensions, Derivations, and Matroids over Skew Hyperfields
We show that a field extension $K\subseteq L$ in positive characteristic $p$ and elements $x_e\in L$ for $e\in E$ gives rise to a matroid $M^σ$ on ground set $E$ with coefficients in a certain skew hyperfield $L^σ$. This skew hyperfield $L^σ$ is defined in terms of $L$ and its Frobenius action $σ:x\mapsto x^p$. The matroid underlying $M^σ$ describes the algebraic dependencies over $K$ among the $x_e\in L$ , and $M^σ$ itself comprises, for each $m\in \mathbb{Z}^E$, the space of $K$-derivations of $K\left(x_e^{p^{m_e}}: e\in E\right)$.
The theory of matroid representation over hyperfields was developed by Baker and Bowler for commutative hyperfields. We partially extend their theory to skew hyperfields. To prove the duality theorems we need, we use a new axiom scheme in terms of quasi-Plücker coordinates.
Deletable edges in 3-connected graphs and their applications
Published
• View Publication
• BIB
Let $G$ and $H$ be simple 3-connected graphs such that $G$ has an $H$-minor. An edge $e$ in $G$ is called {\it $H$-deletable} if $G\backslash e$ is 3-connected and has an $H$-minor. The main result in this paper establishes that, if $G$ has no $H$-deletable edges, then there exists a sequence of simple 3-connected graphs $G_0, \dots , G_k$ with no $H$-deletable edges such that $G_0\cong H$, $G_k= G$, and for $1 \le i \le k$ one of three possibilities holds: $G_{i-1}= G_i/f$; $G_{i-1}=G_i/f \backslash e$ where $e$ and $f$ are incident to a degree 3 vertex in $G_i$; or $G_{i-1}=G_i-w$ where $w$ is a degree $3$ vertex in $G_i$. Several applications are given including a graph theoretic proof of the matroid theory result known as the Strong Splitter Theorem, a short new proof of Dirac's characterization of 3-connected graphs with no minor isomorphic to the prism graph, and an extension of a result by Halin that bounds the number of edges in a minimally 3-connected graph. Halin proved that if $G$ is a minimally $3$-connected graph on $n\ge 8$ vertices, then $|E(G)|\le 3n-9$ and equality holds if and only if $G\cong K_{3, n-3}$. We give a different proof of Halin's result and extend it by identifying the minimally 3-connected infinite family of graphs with $|E(G)|=3n-10$.
Stirling Numbers in Braid Matroid Kazhdan-Lusztig Polynomials
Published
• View Publication
• BIB
Restricted Whitney numbers of the first kind appear in the combinatorial recursion for the matroid Kazhdan-Lusztig polynomials. In the special case of braid matroids (the matroid associated to the partition lattice, the complete graph, the type A Coxeter arrangement and the symmetric group) these restricted Whitney numbers are Stirling numbers of the first kind. We use this observation to obtain a formula for the coefficients of the Kazhdan-Lusztig polynomials for braid matroids in terms of sums of products of Stirling numbers of the first kind. This results in new identities between Stirling numbers of the first kind and Stirling numbers of the second kind, as well as a non-recursive formula for the braid matroid Kazhdan-Lusztig polynomials.
Zonotopes whose cellular strings are all coherent
Published
• View Publication
• BIB
A cellular string of a polytope is a sequence of faces stacked on top of each other in a given direction. The poset of cellular strings, ordered by refinement, is known to be homotopy equivalent to a sphere. The subposet of coherent cellular strings is the face lattice of the fiber polytope, hence is homeomorphic to a sphere. In some special cases, every cellular string is coherent. Such polytopes are said to be all-coherent. We give a complete classification of zonotopes with the all-coherence property in terms of their oriented matroid structure. Although the face lattice of the fiber polytope in this case is not an oriented matroid invariant, we prove that the all-coherence property is invariant.
On the complex-representable excluded minors for real-representability
Published
• View Publication
• BIB
We show that each real-representable matroid is a minor of a complex-representable excluded minor for real-representability. More generally, for an infinite field $\mathbb{F}_1$ and a field extension $\mathbb{F}_2$, if $\mathbb{F}_1$-representability is not equivalent to $\mathbb{F}_2$-representability, then each $\mathbb{F}_1$-representable matroid is a minor of a $\mathbb{F}_2$-representable excluded minor for $\mathbb{F}_1$-representability.
Generalized Laminar Matroids
Published
• View Publication
• BIB
Nested matroids were introduced by Crapo in 1965 and have appeared frequently in the literature since then. A flat of a matroid $M$ is Hamiltonian if it has a spanning circuit. A matroid $M$ is nested if and only if its Hamiltonian flats form a chain under inclusion; $M$ is laminar if and only if, for every $1$-element independent set $X$, the Hamiltonian flats of $M$ containing $X$ form a chain under inclusion. We generalize these notions to define the classes of $k$-closure-laminar and $k$-laminar matroids. This paper focuses on structural properties of these classes noting that, while the second class is always minor-closed, the first is if and only if $k \le 3$. The main results are excluded-minor characterizations for the classes of 2-laminar and 2-closure-laminar matroids.