matroid ↗ reference
2208 papers tagged with this keyword
On the representability of totally unimodular matrices on bidirected graphs
Published in Discrete Mathematics, Volume 309, Issue 16, 28 August 2009, Pages 5024-5042
• View Publication
• BIB
Seymour's famous decomposition theorem for regular matroids states that any totally unimodular (TU) matrix can be constructed through a series of composition operations called $k$-sums starting from network matrices and their transposes and two compact representation matrices $B_{1}, B_{2}$ of a certain ten element matroid. Given that $B_{1}, B_{2}$ are binet matrices we examine the $k$-sums of network and binet matrices. It is shown that the $k$-sum of a network and a binet matrix is a binet matrix, but binet matrices are not closed under this operation for $k=2,3$. A new class of matrices is introduced the so called {\em tour matrices}, which generalises network, binet and totally unimodular matrices. For any such matrix there exists a bidirected graph such that the columns represent a collection of closed tours in the graph. It is shown that tour matrices are closed under $k$-sums, as well as under pivoting and other elementary operations on its rows and columns. Given the constructive proofs of the above results regarding the $k$-sum operation and existing recognition algorithms for network and binet matrices, an algorithm is presented which constructs a bidirected graph for any TU matrix.
Equivariant classes of matrix matroid varieties
Consider an integer associated with every subset of the set of columns of an $n\times k$ matrix. The collection of those matrices for which the rank of a union of columns is the predescribed integer for every subset, will be denoted by $X_C$. We study the equivariant cohomology class represented by the Zariski closure $Y_C$ of this set. We show that the coefficients of this class are solutions to problems in enumerative geometry, which are natural generalization of the linear Gromov-Witten invariants of projective spaces. We also show how to calculate these classes and present their basic properties.
Pattern Recognition on Oriented Matroids: Three-Tope Committees
A three-tope committee K* for a simple oriented matroid M is a 3-subset of its maximal covectors such that every positive halfspace of M contains at least two topes from K*. We consider three-tope committees as the vertex sets of triangles in graphs associated with the topes and enumerate them making use of the properties of the poset of convex subsets of the ground set of M.
Interval greedoids and families of local maximum stable sets of graphs
A maximum stable set in a graph G is a stable set of maximum cardinality. S is a local maximum stable set of G, if S is a maximum stable set of the subgraph induced by its closed neighborhood.
Nemhauser and Trotter Jr. proved in 1975 that any local maximum stable set is a subset of a maximum stable set of G. In 2002 we showed that the family of all local maximum stable sets of a forest forms a greedoid on its vertex set. The cases where G is bipartite, triangle-free, well-covered, while the family of all local maximum stable sets is a greedoid, were analyzed in 2004, 2007, and 2008, respectively.
In this paper we demonstrate that if the family of all local maximum stable sets of the graph satisfies the accessibility property, then it is an interval greedoid. We also characterize those graphs whose families of local maximum stable sets are either antimatroids or matroids.
Matroid polytopes and their volumes
Published in Discrete and Computational Geometry 43-4 (2010) 841-854
• View Publication
• BIB
We express the matroid polytope $P_M$ of a matroid $M$ as a signed Minkowski sum of simplices, and obtain a formula for the volume of $P_M$. This gives a combinatorial expression for the degree of an arbitrary torus orbit closure in the Grassmannian $Gr_{k,n}$. We then derive analogous results for the independent set polytope and the associated flag matroid polytope of $M$. Our proofs are based on a natural extension of Postnikov's theory of generalized permutohedra.
Tropical Convex Hull Computations
Published
• View Publication
• BIB
This is a survey on tropical polytopes from the combinatorial point of view and with a focus on algorithms. Tropical convexity is interesting because it relates a number of combinatorial concepts including ordinary convexity, monomial ideals, subdivisions of products of simplices, matroid theory, finite metric spaces, and the tropical Grassmannians. The relationship between these topics is explained via one running example throughout the whole paper. The final section explains how the new version 2.9.4 of the software system polymake can be used to compute with tropical polytopes.
When do two planted graphs have the same cotransversal matroid?
Cotransversal matroids are a family of matroids that arise from planted graphs. We prove that two planted graphs give the same cotransversal matroid if and only if they can be obtained from each other by a series of local moves.
Testing Linear-Invariant Non-Linear Properties
Published
• View Publication
• BIB
We consider the task of testing properties of Boolean functions that are invariant under linear transformations of the Boolean cube. Previous work in property testing, including the linearity test and the test for Reed-Muller codes, has mostly focused on such tasks for linear properties. The one exception is a test due to Green for "triangle freeness": a function $f:\cube^{n}\to\cube$ satisfies this property if $f(x),f(y),f(x+y)$ do not all equal 1, for any pair $x,y\in\cube^{n}$.
Here we extend this test to a more systematic study of testing for linear-invariant non-linear properties. We consider properties that are described by a single forbidden pattern (and its linear transformations), i.e., a property is given by $k$ points $v_{1},...,v_{k}\in\cube^{k}$ and $f:\cube^{n}\to\cube$ satisfies the property that if for all linear maps $L:\cube^{k}\to\cube^{n}$ it is the case that $f(L(v_{1})),...,f(L(v_{k}))$ do not all equal 1. We show that this property is testable if the underlying matroid specified by $v_{1},...,v_{k}$ is a graphic matroid. This extends Green's result to an infinite class of new properties.
Our techniques extend those of Green and in particular we establish a link between the notion of "1-complexity linear systems" of Green and Tao, and graphic matroids, to derive the results.
Edge-Graph Diameter Bounds for Convex Polytopes with Few Facets
Published
• View Publication
• BIB
We show that the edge graph of a 6-dimensional polytope with 12 facets has diameter at most 6, thus verifying the d-step conjecture of Klee and Walkup in the case of d=6. This implies that for all pairs (d,n) with n-d \leq 6 the diameter of the edge graph of a d-polytope with n facets is bounded by 6, which proves the Hirsch conjecture for all n-d \leq 6. We show this result by showing this bound for a more general structure -- so-called matroid polytopes -- by reduction to a small number of satisfiability problems.
Least Squares Methods for Equidistant Tree Reconstruction
UPGMA is a heuristic method identifying the least squares equidistant phylogenetic tree given empirical distance data among $n$ taxa. We study this classic algorithm using the geometry of the space of all equidistant trees with $n$ leaves, also known as the Bergman complex of the graphical matroid for the complete graph $K_n$. We show that UPGMA performs an orthogonal projection of the data onto a maximal cell of the Bergman complex. We also show that the equidistant tree with the least (Euclidean) distance from the data is obtained from such an orthogonal projection, but not necessarily given by UPGMA. Using this geometric information we give an extension of the UPGMA algorithm. We also present a branch and bound method for finding the best equidistant tree. Finally, we prove that there are distance data among $n$ taxa which project to at least $(n-1)!$ equidistant trees.
How to Draw Tropical Planes
Published in Electronic Journal of Combinatorics, 16 (2009), no. 2
• View Publication
• BIB
The tropical Grassmannian parameterizes tropicalizations of linear spaces, while the Dressian parameterizes all planes in $\TP^{n-1}$. We study these parameter spaces and we compute them explicitly for $n \leq 7$. Planes are identified with matroid subdivisions and with arrangements of trees. These representations are used to draw pictures.
Nonlinear optimization for matroid intersection and extensions
We address optimization of nonlinear functions of the form $f(Wx)$, where $f:\R^d\to \R$ is a nonlinear function, $W$ is a $d\times n$ matrix, and feasible $x$ are in some large finite set $F$ of integer points in $\R^n$. One motivation is multi-objective discrete optimization, where $f$ trades off the linear functions given by the rows of $W$. Another motivation is to extend known results about polynomial-time linear optimization over discrete structures to nonlinear optimization. We assume that the convex hull of $F$ is well-described by linear inequalities. For example, the set of characteristic vectors of common bases of a pair of matroids on a common ground set. When $F$ is well described, $f$ is convex (or even quasiconvex), and $W$ has a fixed number of rows and is unary encoded or with entries in a fixed set, we give an efficient deterministic algorithm for maximization. When $F$ is well described, $f$ is a norm, and binary-encoded $W$ is nonnegative, we give an efficient deterministic constant-approximation algorithm for maximization. When $F$ is well described, $f$ is ``ray concave'' and non-decreasing, and $W$ has a fixed number of rows and is unary encoded or with entries in a fixed set, we give an efficient deterministic constant-approximation algorithm for minimization. When $F$ is the set of characteristic vectors of common bases of a pair of vectorial matroids on a common ground set, $f$ is arbitrary, and $W$ has a fixed number of rows and is unary encoded, we give an efficient randomized algorithm for optimization.
Confinement of matroid representations to subsets of partial fields
Published in Journal of Combinatorial Theory, Series B, vol. 100, Issue 6, pp. 510-545, 2010
• View Publication
• BIB
Let M be a matroid representable over a (partial) field P and B a matrix representable over a sub-partial field P' of P. We say that B confines M to P' if, whenever a P-representation matrix A of M has a submatrix B, A is a scaled P'-matrix. We show that, under some conditions on the partial fields, on M, and on B, verifying whether B confines M to P' amounts to a finite check. A corollary of this result is Whittle's Stabilizer Theorem.
A combination of the Confinement Theorem and the Lift Theorem from arXiv:0804.3263 leads to a short proof of Whittle's characterization of the matroids representable over GF(3) and other fields.
We also use a combination of the Confinement Theorem and the Lift Theorem to prove a characterization, in terms of representability over partial fields, of the 3-connected matroids that have k inequivalent representations over GF(5), for k = 1, ..., 6.
Additionally we give, for a fixed matroid M, an algebraic construction of a partial field P_M and a representation A over P_M such that every representation of M over a partial field P is equal to f(A) for some homomorphism f:P_M->P. Using the Confinement Theorem we prove an algebraic analog of the theory of free expansions by Geelen et al.
Zero-free regions for multivariate Tutte polynomials (alias Potts-model partition functions) of graphs and matroids
Published in J. Combin. Theory B 99, 869--903 (2009)
• View Publication
• BIB
The chromatic polynomial P_G(q) of a loopless graph G is known to be nonzero (with explicitly known sign) on the intervals (-\infty,0), (0,1) and (1,32/27]. Analogous theorems hold for the flow polynomial of bridgeless graphs and for the characteristic polynomial of loopless matroids. Here we exhibit all these results as special cases of more general theorems on real zero-free regions of the multivariate Tutte polynomial Z_G(q,v). The proofs are quite simple, and employ deletion-contraction together with parallel and series reduction. In particular, they shed light on the origin of the curious number 32/27.
An algorithm for weighted fractional matroid matching
Published in JCTB 103 (2013), 509-520
• View Publication
• BIB
Let M be a matroid on ground set E. A subset l of E is called a `line' when its rank equals 1 or 2. Given a set L of lines, a `fractional matching' in (M,L) is a nonnegative vector x indexed by the lines in L, that satisfies a system of linear constraints, one for each flat of M. Fractional matchings were introduced by Vande Vate, who showed that the set of fractional matchings is a half-integer relaxation of the matroid matching polytope.
It was shown by Chang et al. that a maximum size fractional matching can be found in polynomial time. In this paper we give a polynomial time algorithm to find for any given weights on the lines in L, a maximum weight fractional matching.
Lifts of matroid representations over partial fields
Published in Journal of Combinatorial Theory, Series B, vol. 100, Issue 1, pp. 36-67, 2010
• View Publication
• BIB
There exist several theorems which state that when a matroid is representable over distinct fields F_1,...,F_k, it is also representable over other fields. We prove a theorem, the Lift Theorem, that implies many of these results.
First, parts of Whittle's characterization of representations of ternary matroids follow from our theorem. Second, we prove the following theorem by Vertigan: if a matroid is representable over both GF(4) and GF(5), then it is representable over the real numbers by a matrix such that the absolute value of the determinant of every nonsingular square submatrix is a power of the golden ratio. Third, we give a characterization of the 3-connected matroids having at least two inequivalent representations over GF(5). We show that these are representable over the complex numbers.
Additionally we provide an algebraic construction that, for any set of fields F_1,...,F_k, gives the best possible result that can be proven using the Lift Theorem.
Contraction and restriction of positroids in terms of decorated permutations
A positroid is a matroid defined by Postnikov to study the cells in the non-negative part of the Grassmannian. They are in bijection with decorated permutations. We show a way to explain contraction and restriction of positroids in terms of decorated permutations.
Positroids and Schubert matroids
Published
• View Publication
• BIB
Postnikov gave a combinatorial description of the cells in a totally-nonnegative Grassmannian. These cells correspond to a special class of matroids called positroid. We prove his conjecture that a positroid is exactly an intersection of permuted Schubert matroids. This leads to a nice combinatorial description of positroids that is easily computable.
Homological properties of Orlik-Solomon algebras
Published in Manuscripta Math. 129 (2009), no. 2, 181-210
• View Publication
• BIB
The Orlik-Solomon algebra of a matroid can be considered as a quotient ring over the exterior algebra E. At first we study homological properties of E-modules as e.g. complexity, depth and regularity. In particular, we consider modules with linear injective resolutions. We apply our results to Orlik-Solomon algebras of matroids and give formulas for the complexity, depth and regularity of such rings in terms of invariants of the matroid. Moreover, we characterize those matroids whose Orlik-Solomon ideal has a linear projective resolution and compute in these cases the Betti numbers of the ideal.
On contracting hyperplane elements from a 3-connected matroid
Published
• View Publication
• BIB
Let $\tilde{K}_{3,n}$, $n\geq 3$, be the simple graph obtained from $K_{3,n}$ by adding three edges to a vertex part of size three. We prove that if $H$ is a hyperplane of a 3-connected matroid $M$ and $M \not\cong M^*(\tilde{K}_{3,n})$, then there is an element $x$ in $H$ such that the simple matroid associated with $M/x$ is 3-connected.