matroid ↗ reference
2154 papers tagged with this keyword
Pattern Recognition on Oriented Matroids: Topes and Critical Committees
Let the sign components of the maximal covectors of a simple oriented matroid M be represented by the real numbers -1 and 1. Consider the vertex set V(R) of a symmetric cycle R of adjacent topes in the tope graph of M as a subposet of the tope poset of M. If B is the bottom element of the tope poset then B is equal to the unweighted sum of the members of the set min V(R) of minimal elements of the subposet V(R); if B is the positive tope then the set min V(R) is a critical tope committee for the acyclic oriented matroid M.
Infinite matroids in graphs
Published
• View Publication
• BIB
It has recently been shown that infinite matroids can be axiomatized in a way that is very similar to finite matroids and permits duality. This was previously thought impossible, since finitary infinite matroids must have non-finitary duals. In this paper we illustrate the new theory by exhibiting its implications for the cycle and bond matroids of infinite graphs. We also describe their algebraic cycle matroids, those whose circuits are the finite cycles and double rays, and determine their duals. Finally, we give a sufficient condition for a matroid to be representable in a sense adapted to infinite matroids. Which graphic matroids are representable in this sense remains an open question.
On the heterochromatic number of hypergraphs associated to geometric graphs and to matroids
Published in Graphs Combin 29(5) (2013), 1517-1522
• View Publication
• BIB
The heterochromatic number hc(H) of a non-empty hypergraph H is the smallest integer k such that for every colouring of the vertices of H with exactly k colours, there is a hyperedge of H all of whose vertices have different colours. We denote by nu(H) the number of vertices of H and by tau(H) the size of the smallest set containing at least two vertices of each hyperedge of H. For a complete geometric graph G with n > 2 vertices let H = H(G) be the hypergraph whose vertices are the edges of G and whose hyperedges are the edge sets of plane spanning trees of G. We prove that if G has at most one interior vertex, then hc(H) = nu(H) - tau(H) + 2. We also show that hc(H) = nu(H) - tau(H) + 2 whenever H is a hypergraph with vertex set and hyperedge set given by the ground set and the bases of a matroid, respectively.
Hierarchical zonotopal power ideals
Published in European Journal of Combinatorics 33 (2012), no. 6, 1120-1141
• View Publication
• BIB
Zonotopal algebra deals with ideals and vector spaces of polynomials that are related to several combinatorial and geometric structures defined by a finite sequence of vectors. Given such a sequence X, an integer k>=-1 and an upper set in the lattice of flats of the matroid defined by X, we define and study the associated hierarchical zonotopal power ideal. This ideal is generated by powers of linear forms. Its Hilbert series depends only on the matroid structure of X. Via the Tutte polynomial, it is related to various other matroid invariants, e.g. the shelling polynomial and the characteristic polynomial.
This work unifies and generalizes results by Ardila-Postnikov on power ideals and by Holtz-Ron and Holtz-Ron-Xu on (hierarchical) zonotopal algebra. We also generalize a result on zonotopal Cox modules that were introduced by Sturmfels-Xu.
Sparse paving matroids, basis-exchange properties, and cyclic flats
We provide evidence for five long-standing, basis-exchange conjectures for matroids by proving them for the enormous class of sparse paving matroids. We also explore the role that these matroids may play in the following problem: as a function of the size of the ground set, what is the greatest number of cyclic flats that a matroid can have?
A polynomial-time algorithm for estimating the partition function of the ferromagnetic Ising model on a regular matroid
Published in SICOMP 42(3) 1132-1157 (2013)
• View Publication
• BIB
We investigate the computational difficulty of approximating the partition function of the ferromagnetic Ising model on a regular matroid. Jerrum and Sinclair have shown that there is a fully polynomial randomised approximation scheme (FPRAS) for the class of graphic matroids. On the other hand, the authors have previously shown, subject to a complexity-theoretic assumption, that there is no FPRAS for the class of binary matroids, which is a proper superset of the class of graphic matroids. In order to map out the region where approximation is feasible, we focus on the class of regular matroids, an important class of matroids which properly includes the class of graphic matroids, and is properly included in the class of binary matroids. Using Seymour's decomposition theorem, we give an FPRAS for the class of regular matroids.
Generic Rigidity Matroids with Dilworth Truncations
Published
• View Publication
• BIB
We prove that the linear matroid that defines generic rigidity of $d$-dimensional body-rod-bar frameworks (i.e., structures consisting of disjoint bodies and rods mutually linked by bars) can be obtained from the union of ${d+1 \choose 2}$ graphic matroids by applying variants of Dilworth truncation $n_r$ times, where $n_r$ denotes the number of rods. This leads to an alternative proof of Tay's combinatorial characterizations of generic rigidity of rod-bar frameworks and that of identified body-hinge frameworks.
Interlace Polynomials for Multimatroids and Delta-Matroids
Published
• View Publication
• BIB
We provide a unified framework in which the interlace polynomial and several related graph polynomials are defined more generally for multimatroids and delta-matroids. Using combinatorial properties of multimatroids rather than graph-theoretical arguments, we find that various known results about these polynomials, including their recursive relations, are both more efficiently and more generally obtained. In addition, we obtain several interrelationships and results for polynomials on multimatroids and delta-matroids that correspond to new interrelationships and results for the corresponding graphs polynomials. As a tool we prove the equivalence of tight 3-matroids and delta-matroids closed under the operations of twist and loop complementation, called vf-safe delta-matroids. This result is of independent interest and related to the equivalence between tight 2-matroids and even delta-matroids observed by Bouchet.
Nullity and Loop Complementation for Delta-Matroids
Published in SIAM Journal on Discrete Mathematics, v. 27, 492-506, 2013
• View Publication
• BIB
We show that the symmetric difference distance measure for set systems, and more specifically for delta-matroids, corresponds to the notion of nullity for symmetric and skew-symmetric matrices. In particular, as graphs (i.e., symmetric matrices over GF(2)) may be seen as a special class of delta-matroids, this distance measure generalizes the notion of nullity in this case. We characterize delta-matroids in terms of equicardinality of minimal sets with respect to inclusion (in addition we obtain similar characterizations for matroids). In this way, we find that, e.g., the delta-matroids obtained after loop complementation and after pivot on a single element together with the original delta-matroid fulfill the property that two of them have equal "null space" while the third has a larger dimension.
A tropical intersection product in matroidal fans
Published
• View Publication
• BIB
We construct an intersection product on tropical cycles contained in the Bergman fan of a matroid. To do this we first establish a connection between the operations of deletion and restriction in matroid theory and tropical modifications as defined by Mikhalkin. This product generalises the product of Allermann and Rau, and Allermann and also provides an alternative procedure for intersecting cycles which is not based on intersecting with Cartier divisors. Also, we simplify the definition in the case of one dimensional fan cycles in two dimensional matroidal fans and given an application of the intersection product to realisability questions in tropical geometry.
Pattern Recognition on Oriented Matroids: K*-Vectors and Reorientations
The components of K*-vectors associated to a simple oriented matroid M are the numbers of general or special tope committees for M. Using the principle of inclusion-exclusion, we determine how the reorientations of M on one-element subsets of its ground set affect K*-vectors.
Partitions of groups and matroids into independent subsets
Published in Algebra Discrete Math. 10:1 (2010), 1-7
• Search Publication
Can the real line with removed zero be covered by countably many linearly (algebraically) independent subsets over the field of rationals? We use a matroid approach to show that an answer is "Yes" under the Continuum Hypothesis, and "No" under its negation.
Non-Generic Tropical Hyperplane Arrangements and the Secondary polytope of $Δ_{n-1} \times Δ_{d-1}$
Ardila and Develin's paper on tropical oriented hyperplane arrangements and tropical oriented matroids defines tropical oriented matroids and conjectures a bijection between them and triangulations of products of simplices $Δ_{n-1} \times Δ_{d-1}$. Oh and Yoo recently confirmed this conjecture; however, neither group addressed the case of hyperplanes that are not in generic position. These non-generic arrangements do not correspond to tropical oriented matroids, but they encode information about subdivisions of $Δ_{n-1} \times Δ_{d-1}$. This note considers the non-generic case and presents some preliminary results in the area.
Triangulations of $Δ_{n-1} \times Δ_{d-1}$ and Tropical Oriented Matroids
Published
• View Publication
• BIB
Develin and Sturmfels showed that regular triangulations of $Δ_{n-1} \times Δ_{d-1}$ can be thought as tropical polytopes. Tropical oriented matroids were defined by Ardila and Develin, and were conjectured to be in bijection with all subdivisions of $Δ_{n-1} \times Δ_{d-1}$. In this paper, we show that any triangulation of $Δ_{n-1} \times Δ_{d-1}$ encodes a tropical oriented matroid. We also suggest a new class of combinatorial objects that may describe all subdivisions of a bigger class of polytopes.
Characterizations of transversal and fundamental transversal matroids
Published in The Electronic Journal of Combinatorics, 2011
• View Publication
• BIB
A result of Mason, as refined by Ingleton, characterizes transversal matroids as the matroids that satisfy a set of inequalities that relate the ranks of intersections and unions of nonempty sets of cyclic flats. We prove counterparts, for fundamental transversal matroids, of this and other characterizations of transversal matroids. In particular, we show that fundamental transversal matroids are precisely the matroids that yield equality in Mason's inequalities and we deduce a characterization of fundamental transversal matroids due to Brylawski from this simpler characterization.
Pattern Recognition on Oriented Matroids: Halfspaces, Convex Sets and Tope Committees
The principle of inclusion-exclusion is applied to subsets of maximal covectors contained in halfspaces of a simple oriented matroid and to convex subsets of its ground set for enumerating tope committees.
Sums of squares and negative correlation for spanning forests of series parallel graphs
We provide new evidence that spanning forests of graphs satisfy the same negative correlation properties as spanning trees, derived from Lord Rayleigh's monotonicity property for electrical networks. The main result of this paper is that the Rayleigh difference for the spanning forest generating polynomial of a series parallel graph can be expressed as a certain positive sum of monomials times squares of polynomials. We also show that every regular matroid is independent-set-Rayleigh if and only if every basis-Rayleigh binary matroid is also independent-set-Rayleigh.
On Universal Cycles for new Classes of Combinatorial Structures
Published
• View Publication
• BIB
A universal cycle (u-cycle) is a compact listing of a collection of combinatorial objects. In this paper, we use natural encodings of these objects to show the existence of u-cycles for collections of subsets, matroids, restricted multisets, chains of subsets, multichains, and lattice paths. For subsets, we show that a u-cycle exists for the $k$-subsets of an $n$-set if we let $k$ vary in a non zero length interval. We use this result to construct a "covering" of length $(1+o(1))$$n \choose k$ for all subsets of $[n]$ of size exactly $k$ with a specific formula for the $o(1)$ term. We also show that u-cycles exist for all $n$-length words over some alphabet $Σ,$ which contain all characters from $R \subset Σ.$ Using this result we provide u-cycles for encodings of Sperner families of size 2 and proper chains of subsets.
On the structure of the h-vector of a paving matroid
We give two proofs that the $h$-vector of any paving matroid is a pure O-sequence, thus answering in the affirmative a conjecture made by R. Stanley, for this particular class of matroids. We also investigate the problem of obtaining good lower bounds for the number of bases of a paving matroid given its rank and number of elements.
Noether normalizations, reductions of ideals, and matroids
Published in Proc. Amer. Math. Soc. 139 (2011), no. 8, 2671-2680
• View Publication
• BIB
We show that given a finitely generated standard-graded algebra of dimension $d$ over an infinite field, its graded Noether normalizations obey a certain kind of `generic exchange', allowing one to pass between any two of them in at most $d$ steps. We prove analogous generic exchange theorems for minimal reductions of an ideal, minimal complete reductions of a set of ideals, and minimal complete reductions of multigraded $k$-algebras. Finally, we unify all these results into a common axiomatic framework by introducing a new topological-combinatorial structure we call a generic matroid, which is a common generalization of a topological space and a matroid.