matroid ↗ reference
2208 papers tagged with this keyword
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.
Rank-width and Well-quasi-ordering of Skew-Symmetric or Symmetric Matrices
Published in Linear Algebra Appl. 436(April 1, 2012)(7), pp. 2008-2036
• View Publication
• BIB
We prove that every infinite sequence of skew-symmetric or symmetric matrices M_1, M_2, ... over a fixed finite field must have a pair M_i, M_j (i<j) such that M_i is isomorphic to a principal submatrix of the Schur complement of a nonsingular principal submatrix in M_j, if those matrices have bounded rank-width. This generalizes three theorems on well-quasi-ordering of graphs or matroids admitting good tree-like decompositions; (1) Robertson and Seymour's theorem for graphs of bounded tree-width, (2) Geelen, Gerards, and Whittle's theorem for matroids representable over a fixed finite field having bounded branch-width, and (3) Oum's theorem for graphs of bounded rank-width with respect to pivot-minors.
Orientations, lattice polytopes, and group arrangements III: Cartesian product arrangements and applications to the Tutte type polynomials of graphs
Published
• View Publication
• BIB
A common generalization for the chromatic polynomial and the flow polynomial of a graph $G$ is the Tutte polynomial $T(G;x,y)$. The combinatorial meaning for the coefficients of $T$ was discovered by Tutte at the beginning of its definition. However, for a long time the combinatorial meaning for the values of $T$ is missing, except for a few values such as $T(G;i,j)$, where $1\leq i,j\leq 2$, until recently for $T(G;1,0)$ and $T(G;0,1)$. In this third one of a series of papers, we introduce product valuations, cartesian product arrangements, and multivariable characteristic polynomials, and apply the theory of product arrangement to the tension-flow group associated with graphs. Three types of tension-flows are studied in details: elliptic, parabolic, and hyperbolic; each type produces a two-variable polynomial for graphs. Weighted polynomials are introduced and their reciprocity laws are obtained. The dual versions for the parabolic case turns out to include Whitney's rank generating polynomial and the Tutte polynomial as special cases. The product arrangement part is of interest for its own right. The application part to graphs can be modified to matroids.
Congruence conditions, parcels, and Tutte polynomials of graphs and matroids
Published
• View Publication
• BIB
Let $G$ be a matrix and $M(G)$ be the matroid defined by linear dependence on the set $E$ of column vectors of $G.$ Roughly speaking, a parcel is a subset of pairs $(f,g)$ of functions defined on $E$ to an Abelian group $A$ satisfying a coboundary condition (that $f-g$ is a flow over $A$ relative to $G$) and a congruence condition (that the size of the supports of $f$ and $g$ satisfy some congruence condition modulo an integer). We prove several theorems of the form: a linear combination of sizes of parcels, with coefficients roots of unity, equals an evaluation of the Tutte polynomial of $M(G)$ at a point $(λ-1,x-1)$ on the complex hyperbola $(λ- 1)(x-1) = |A|.$
Approximating the Tutte polynomial of a binary matroid and other related combinatorial polynomials
Published in JCSS 79(1) (February, 2013) 68-78
• View Publication
• BIB
We consider the problem of approximating certain combinatorial polynomials. First, we consider the problem of approximating the Tutte polynomial of a binary matroid with parameters q>= 2 and gamma. (Relative to the classical (x,y) parameterisation, q=(x-1)(y-1) and gamma=y-1.) A graph is a special case of a binary matroid, so earlier work by the authors shows inapproximability (subject to certain complexity assumptions) for q>2, apart from the trivial case gamma=0. The situation for q=2 is different. Previous results for graphs imply inapproximability in the region -2<=gamma<0, apart from at two "special points" where the polynomial can be computed exactly in polynomial time. For binary matroids, we extend this result by showing (i) there is no FPRAS in the region gamma<-2 unless NP=RP, and (ii) in the region gamma>0, the approximation problem is hard for the complexity class #RHPi_1 under approximation-preserving (AP) reducibility. The latter result indicates a gap in approximation complexity at q=2: whereas an FPRAS is known in the graphical case, there can be none in the binary matroid case, unless there is an FPRAS for all of #RHPi_1. The result also implies that it is computationally difficult to approximate the weight enumerator of a binary linear code, apart from at the special weights at which the problem is exactly solvable in polynomial time. As a consequence, we show that approximating the cycle index polynomial of a permutation group is hard for #RHPi_1 under AP-reducibility, partially resolving a question that we first posed in 1992.
Galois groups of multivariate Tutte polynomials
Published
• View Publication
• BIB
The multivariate Tutte polynomial $\hat Z_M$ of a matroid $M$ is a generalization of the standard two-variable version, obtained by assigning a separate variable $v_e$ to each element $e$ of the ground set $E$. It encodes the full structure of $M$. Let $\bv = \{v_e\}_{e\in E}$, let $K$ be an arbitrary field, and suppose $M$ is connected. We show that $\hat Z_M$ is irreducible over $K(\bv)$, and give three self-contained proofs that the Galois group of $\hat Z_M$ over $K(\bv)$ is the symmetric group of degree $n$, where $n$ is the rank of $M$. An immediate consequence of this result is that the Galois group of the multivariate Tutte polynomial of any matroid is a direct product of symmetric groups. Finally, we conjecture a similar result for the standard Tutte polynomial of a connected matroid.
Toric Ideals of Lattice Path Matroids and Polymatroids
Published
• View Publication
• BIB
We show that the toric ideal of a lattice path polymatroid is generated by quadrics corresponding to symmetric exchanges, and give a monomial order under which these quadrics form a Gröbner basis. We then obtain an analogous result for lattice path matroids.