matroid ↗ reference
2154 papers tagged with this keyword
Representations of matroids and free resolutions for multigraded modules
Published
• View Publication
• BIB
Let K be a field, let R=K[x_1,..., x_m] be a polynomial ring with the standard Z^m-grading (multigrading), let L be a Noetherian multigraded R-module, and let F: E --> G be a finite free multigraded presentation of L over R. Given a choice S of a multihomogeneous basis of E, we construct an explicit canonical finite free multigraded resolution T(F, S) of the R-module L. In the case of monomial ideals our construction recovers the Taylor resolution. A main ingredient of our work is a new linear algebra construction of independent interest, which produces from a representation f over K of a matroid M a canonical finite complex of finite dimensional K-vector spaces T(f) that is a resolution of Ker(f). We also show that the length of T(f) and the dimensions of its components are combinatorial invariants of the matroid M, and are independent of the representation map f.
A unique factorization theorem for matroids
Published
• View Publication
• BIB
We study the combinatorial, algebraic and geometric properties of the free product operation on matroids. After giving cryptomorphic definitions of free product in terms of independent sets, bases, circuits, closure, flats and rank function, we show that free product, which is a noncommutative operation, is associative and respects matroid duality. The free product of matroids $M$ and $N$ is maximal with respect to the weak order among matroids having $M$ as a submatroid, with complementary contraction equal to $N$. Any minor of the free product of $M$ and $N$ is a free product of a repeated truncation of the corresponding minor of $M$ with a repeated Higgs lift of the corresponding minor of $N$. We characterize, in terms of their cyclic flats, matroids that are irreducible with respect to free product, and prove that the factorization of a matroid into a free product of irreducibles is unique up to isomorphism. We use these results to determine, for K a field of characteristic zero, the structure of the minor coalgebra $\cal C$ of a family of matroids $\cal M$ that is closed under formation of minors and free products: namely, $\cal C$ is cofree, cogenerated by the set of irreducible matroids belonging to $\cal M$.
The Free product of Matroids
Published
• View Publication
• BIB
We introduce a noncommutative binary operation on matroids, called free product. We show that this operation respects matroid duality, and has the property that, given only the cardinalities, an ordered pair of matroids may be recovered, up to isomorphism, from its free product. We use these results to give a short proof of Welsh's 1969 conjecture, which provides a progressive lower bound for the number of isomorphism classes of matroids on an n-element set.
A free subalgebra of the algebra of matroids
Published
• View Publication
• BIB
This paper is an initial inquiry into the structure of the Hopf algebra of matroids with restriction-contraction coproduct. Using a family of matroids introduced by Crapo in 1965, we show that the subalgebra generated by a single point and a single loop in the dual of this Hopf algebra is free.
Lower bounds for h-vectors of k-CM, independence and broken circuit complexes
Published
• View Publication
• BIB
We present a number of lower bounds for the h-vectors of k-CM, broken circuit and independence complexes. These lead to bounds on the coefficients of the characteristic and reliability polynomials of matroids. The main techniques are the use of series and parallel constructions on matroids and the short simplicial h-vector for pure complexes.
Remarks on one combinatorial application of the Aleksandrov-Fenchel inequalities
In 1981, Stanley applied the Aleksandrov-Fenchel inequalities to prove a logarithmic concavity theorem for regular matroids. Using ideas from electrical network theory we prove a generalization of this for the wider class of matroids with the ``half-plane property''. Then we explore a nest of inequalities for weighted basis-generating polynomials that are related to these ideas. As a first result from this investigation we find that every matroid of rank three or corank three satisfies a condition only slightly weaker than the conclusion of Stanley's theorem.
The Positive Bergman Complex of an Oriented Matroid
Published
• View Publication
• BIB
We study the positive Bergman complex B+(M) of an oriented matroid M, which is a certain subcomplex of the Bergman complex B(M) of the underlying unoriented matroid. The positive Bergman complex is defined so that given a linear ideal I with associated oriented matroid M_I, the positive tropical variety associated to I is equal to the fan over B+(M_I). Our main result is that a certain "fine" subdivision of B+(M) is a geometric realization of the order complex of the proper part of the Las Vergnas face lattice of M. It follows that B+(M) is homeomorphic to a sphere. For the oriented matroid of the complete graph K_n, we show that the face poset of the "coarse" subdivision of B+(K_n) is dual to the face poset of the associahedron A_{n-2}, and we give a formula for the number of fine cells within a coarse cell.
Subdominant matroid ultrametrics
Published
• View Publication
• BIB
Given a matroid M on the ground set E, the Bergman fan B(M), or space of M-ultrametrics, is a polyhedral complex in R^E which arises in several different areas, such as tropical algebraic geometry, dynamical systems, and phylogenetics. Motivated by the phylogenetic situation, we study the following problem: Given a point w in R^E, we wish to find an M-ultrametric which is closest to it in the l_infty metric.
The solution to this problem follows easily from the existence of the subdominant M-ultrametric: a componentwise maximum M-ultrametric which is componentwise smaller than w. A procedure for computing it is given, which brings together the points of view of matroid theory and tropical geometry.
When the matroid in question is the graphical matroid of the complete graph K_n, the Bergman fan B(K_n) parameterizes the equidistant phylogenetic trees with n leaves. In this case, our results provide a conceptual explanation for Chepoi and Fichet's method for computing the tree that most closely matches measured data.
Two remarks concerning balanced matroids
Published
• View Publication
• BIB
The property of balance (in the sense of Feder and Mihail) is investigated in the context of paving matroids. The following examples are exhibited: (a) a class of ``sparse'' paving matroids that are balanced, but at the same time rich enough combinatorially to permit the encoding of hard counting problems; and (b) a paving matroid that is not balanced. The computational significance of (a) is the following. As a consequence of balance, there is an efficient algorithm for approximating the number of bases of a sparse paving matroid within specified relative error. On the other hand, determining the number of bases exactly is likely to be computationally intractable.
Lattice Path Matroids: Structural Properties
Published in European Journal of Combinatorics, 2006
• View Publication
• BIB
This paper studies structural aspects of lattice path matroids, a class of transversal matroids that is closed under taking minors and duals. Among the basic topics treated are direct sums, duals, minors, circuits, and connected flats. One of the main results is a characterization of lattice path matroids in terms of fundamental flats, which are special connected flats from which one can recover the paths that define the matroid. We examine some aspects related to key topics in the literature of transversal matroids and we determine the connectivity of lattice path matroids. We also introduce notch matroids, a minor-closed, dual-closed subclass of lattice path matroids, and we find their excluded minors.
Rank three matroids are Rayleigh
Published
• View Publication
• BIB
A Rayleigh matroid is one which satisfies a set of inequalities analogous to the Rayleigh monotonicity property of linear resistive electrical networks. We show that every matroid of rank three satisfies these inequalities.
Cyclotomic and simplicial matroids
Published in Israel J. Math. 150 (2005), 229-240
• View Publication
• BIB
Two naturally occurring matroids representable over Q are shown to be dual: the {\it cyclotomic matroid} $μ_n$ represented by the $n^{th}$ roots of unity $1,ζ,ζ^2,...,ζ^{n-1}$ inside the cyclotomic extension $Q(ζ)$, and a direct sum of copies of a certain simplicial matroid, considered originally by Bolker in the context of transportation polytopes. A result of Adin leads to an upper bound for the number of $Q$-bases for $Q(ζ)$ among the $n^{th}$ roots of unity, which is tight if and only if $n$ has at most two odd prime factors. In addition, we study the Tutte polynomial of $μ_n$ in the case that $n$ has two prime factors.
Combinatorics hidden in hyperbolic polynomials and related topics
The main topic of this paper is various "hyperbolic" generalizations of the Edmonds-Rado theorem on the rank of intersection of two matroids. We prove several results in this direction and pose a few questions. We also give generalizations of the Obreschkoff theorem and recent results of J. Borcea and B. Shapiro.
A Note on Space Tiling Zonotopes
In 1908 Voronoi conjectured that every convex polytope which tiles space face-to-face by translations is affinely equivalent to the Dirichlet-Voronoi polytope of some lattice. In 1999 Erdahl proved this conjecture for the special case of zonotopes. A zonotope is a projection of a regular cube under some affine transformation. In 1975 McMullen showed several equivalent conditions for a zonotope to be a space tiling zonotope, i.e. a zonotope which admits a face-to-face tiling of space by translations. Implicitly, he related space tiling zonotopes to a special class of oriented matroids (regular matroids). We will extend his result to give a new proof of Voronoi's conjecture for zonotopes using oriented matroids. This enables us to distinguish between combinatorial and metrical properties and to apply the fact that oriented matroids considered here have an essentially unique realization. Originally, this is a theorem due to Brylawski and Lucas. By using oriented matroid duality we interpret a part of McMullen's arguments as an elegant geometric proof of this theorem in the special case of real numbers.
On the rank of a tropical matrix
Published in In "Discrete and Computational Geometry" (E. Goodman, J. Pach and E. Welzl, eds), MSRI Publications, Cambridge Univ. Press, 2005. ISBN-10: 0521848628
• View Publication
• BIB
This is a foundational paper in tropical linear algebra, which is linear algebra over the min-plus semiring. We introduce and compare three natural definitions of the rank of a matrix, called the Barvinok rank, the Kapranov rank and the tropical rank. We demonstrate how these notions arise naturally in polyhedral and algebraic geometry, and we show that they differ in general. Realizability of matroids plays a crucial role here. Connections to optimization are also discussed.
The Bergman complex of a matroid and phylogenetic trees
Published
• View Publication
• BIB
We study the Bergman complex B(M) of a matroid M: a polyhedral complex which arises in algebraic geometry, but which we describe purely combinatorially. We prove that a natural subdivision of the Bergman complex of M is a geometric realization of the order complex of its lattice of flats. In addition, we show that the Bergman fan B'(K_n) of the graphical matroid of the complete graph K_n is homeomorphic to the space of phylogenetic trees T_n.
A solution to the tennis ball problem
Published
• View Publication
• BIB
We present a complete solution to the so-called tennis ball problem, which is equivalent to counting lattice paths in the plane that use North and East steps and lie between certain boundaries. The solution takes the form of explicit expressions for the corresponding generating functions. Our method is based on the properties of Tutte polynomials of matroids associated to lattice paths. We also show how the same method provides a solution to a wide generalization of the problem.
A common recursion for Laplacians of matroids and shifted simplicial complexes
Published
• View Publication
• BIB
A recursion due to Kook expresses the Laplacian eigenvalues of a matroid M in terms of the eigenvalues of its deletion M-e and contraction M/e by a fixed element e, and an error term. We show that this error term is given simply by the Laplacian eigenvalues of the pair (M-e, M/e). We further show that by suitably generalizing deletion and contraction to arbitrary simplicial complexes, the Laplacian eigenvalues of shifted simplicial complexes satisfy this exact same recursion.
We show that the class of simplicial complexes satisfying this recursion is closed under a wide variety of natural operations, and that several specializations of this recursion reduce to basic recursions for natural invariants.
We also find a simple formula for the Laplacian eigenvalues of an arbitrary pair of shifted complexes in terms of a kind of generalized degree sequence.
Matroids and p-branes
Published in Adv.Theor.Math.Phys. 8 (2004) 177-188
• View Publication
• BIB
A link between matroid theory and $p$-branes is discussed. The Schild type action for $p$-branes and matroid bundle notion provide the two central structures for such a link. We use such a connection to bring the duality concept in matroid theory to $p$-branes physics. Our analysis may be of particular interest in M-theory and in matroid bundle theory.
A note on mixed graphs and matroids
A mixed graph is a graph with some directed edges and some undirected edges. We introduce the notion of mixed matroids as a generalization of mixed graphs. A mixed matroid can be viewed as an oriented matroid in which the signs over a fixed subset of the ground set have been forgotten. We extend to mixed matroids standard definitions from oriented matroids, establish basic properties, and study questions regarding the reorientations of the unsigned elements. In particular we address in the context of mixed matroids the P-connectivity and P-orientability issues which have been recently introduced for mixed graphs.