matroid ↗ reference
2156 papers tagged with this keyword
The correlation constant of a field
We study the correlation of edges, vectors or elements to be in a randomly chosen spanning tree or a basis, respectively. Here we follow the guideline of Huh and Wang and introduce as a measure an invariant that is called the correlation constant of a graph, vector configuration, matroid or field. It follows from one of their results that these correlation constants are numbers between $0$ and $2$. Here, we show that the correlation constant of every field is at least $\frac{8}{7}$. In our proof we explicitly construct vector configurations and matroids with positively correlated elements.
Beating the integrality ratio for s-t-tours in graphs
Published
• View Publication
• BIB
Among various variants of the traveling salesman problem, the s-t-path graph TSP has the special feature that we know the exact integrality ratio, 3/2, and an approximation algorithm matching this ratio. In this paper, we go below this threshold: we devise a polynomial-time algorithm for the s-t-path graph TSP with approximation ratio 1.497. Our algorithm can be viewed as a refinement of the 3/2-approximation algorithm by Sebő and Vygen [2014], but we introduce several completely new techniques. These include a new type of ear-decomposition, an enhanced ear induction that reveals a novel connection to matroid union, a stronger lower bound, and a reduction of general instances to instances in which s and t have small distance (which works for general metrics).
Profinite separation systems
Published
• View Publication
• BIB
Separation systems are posets with additional structure that form an abstract setting in which tangle-like clusters in graphs, matroids and other combinatorial structures can be expressed and studied.
This paper offers some basic theory about infinite separation systems and how they relate to the finite separation systems they induce. They can be used to prove tangle-type duality theorems for infinite graphs and matroids, which will be done in future work that will build on this paper.
Semi-inverted linear spaces and an analogue of the broken circuit complex
Published
• View Publication
• BIB
The image of a linear space under inversion of some coordinates is an affine variety whose structure is governed by an underlying hyperplane arrangement. In this paper, we generalize work by Proudfoot and Speyer to show that circuit polynomials form a universal Groebner basis for the ideal of polynomials vanishing on this variety. The proof relies on degenerations to the Stanley-Reisner ideal of a simplicial complex determined by the underlying matroid. If the linear space is real, then the semi-inverted linear space is also an example of a hyperbolic variety, meaning that all of its intersection points with a large family of linear spaces are real.
Matching fields and lattice points of simplices
Published
• View Publication
• BIB
We show that the Chow covectors of a linkage matching field define a bijection between certain degree vectors and lattice points, and we demonstrate how one can recover the linkage matching field from this bijection. This resolves two open questions from Sturmfels and Zelevinsky (1993) on linkage matching fields. For this, we give an explicit construction that associates a bipartite incidence graph of an ordered partition of a common set to each lattice point in a dilated simplex. Given a triangulation of a product of two simplices encoded by a set of spanning trees on a bipartite node set, we similarly prove that the bijection from left to right degree vectors of the trees is enough to recover the triangulation. As additional results, we show a cryptomorphic description of linkage matching fields and characterise the flip graph of a linkage matching field in terms of its prodsimplicial flag complex. Finally, we relate our findings to transversal matroids through the tropical Stiefel map.
Stable set polytopes and their 1-skeleta
We characterize the edges of two classes of $0/1$-polytopes. The first class corresponds to the stable set polytope of a graph $G$ and includes chain polytopes of posets, some instances of matroid independence polytopes, as well as newly-defined polytopes whose vertices correspond to noncrossing set partitions. In analogy with matroid basis polytopes, the second class is obtained by considering the stable sets of maximal cardinality. We investigate how the class of $0/1$-polytopes whose edges satisfy our characterization is situated within the hierarchy of $0/1$-polytopes. This includes the class of matroid polytopes. We also study the diameter of these classes of polytopes and improve slightly on the Hirsch bound.
Sprague-Grundy Function of Matroids and Related Hypergraphs
Published
• View Publication
• BIB
We consider a generalization of the classical game of $NIM$ called hypergraph $NIM$. Given a hypergraph $\cH$ on the ground set $V = \{1, \ldots, n\}$ of $n$ piles of stones, two players alternate in choosing a hyperedge $H \in \cH$ and strictly decreasing all piles $i\in H$. The player who makes the last move is the winner. In this paper we give an explicit formula that describes the Sprague-Grundy function of hypergraph $NIM$ for several classes of hypergraphs. In particular we characterize all $2$-uniform hypergraphs (that is graphs) and all matroids for which the formula works. We show that all self-dual matroids are included in this class.
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.