arXiv++ Combinatorics

Browse math.CO papers from arXiv

matroid ↗ reference

2208 papers tagged with this keyword
1998-10-01 v2
Algebras related to matroids represented in characteristic zero
Published • View Publication • BIB
Let k be a field of characteristic zero. We consider graded subalgebras A of k[x_1,...,x_m]/(x_1^2,...,x_m^2) generated by d linearly independant linear forms. Representations of matroids over k provide a natural description of the structure of these algebras. In return, the numerical properties of the Hilbert function of A yield some information about the Tutte polynomial of the corresponding matroid. Isomorphism classes of these algebras correspond to equivalence classes of hyperplane arrangements under the action of the general linear group.
1998-09-24 v2
Boolean Term Orders and the Root System B_n
Published • View Publication • BIB
A boolean term order is a total order on subsets of [n]={1,...,n} such that \emptyset < alpha for all nonempty alpha contained in [n], and alpha < beta implies alpha \cup gamma < beta \cup gamma for all gamma which do not intersect alpha or beta. Boolean term orders arise in several different areas of mathematics, including Gröbner basis theory for the exterior algebra, and comparative probability. The main result of this paper is that boolean term orders correspond to one element extensions of the oriented matroid M(B_n), where B_n is the root system {e_i:1 \leq i \leq n \} \cup {e_i \pm e_j :1 \leq i < j \leq n}. This establishes boolean term orders in the frame work of the Baues problem. We also define a notion of coherence for a boolean term order, and a flip relation between different term orders. Other results include examples of noncoherent term orders, including an example exhibiting flip deficiency, and enumeration of boolean term orders for small values of n.
1998-07-08
A Matroid Generalization of a Result on Row-Latin Rectangles
Published • View Publication • BIB
Let A be an m \times n matrix in which the entries of each row are all distinct. Drisko showed that, if m \ge 2n-1, then A has a transversal: a set of n distinct entries with no two in the same row or column. We generalize this to matrices with entries in a matroid. For such a matrix A, we show that if each row of A forms an independent set, then we can require the transversal to be independent as well. We determine the complexity of an algorithm based on the proof of this result. Lastly, we observe that m \ge 2n-1 appears to force the existence of not merely one but many transversals. We discuss a number of conjectures related to this observation (some of which involve matroids and some of which do not).
1998-05-27
Orlik-Solomon algebras and Tutte polynomials
Published • View Publication • BIB
The $OS$ algebra $A$ of a matroid $M$ is a graded algebra related to the Whitney homology of the lattice of flats of $M$. In case $M$ is the underlying matroid of a hyperplane arrangement \A in $\C^r$, $A$ is isomorphic to the cohomology algebra of the complement $\C^r\setminus \bigcup \A.$ Few examples are known of pairs of arrangements with non-isomorphic matroids but isomorphic $OS$ algebras. In all known examples, the Tutte polynomials are identical, and the complements are homotopy equivalent but not homeomorphic. We construct, for any given simple matroid $M_0$, a pair of infinite families of matroids $M_n$ and $M'_n$, $n\geq 1$, each containing $M_0$ as a submatroid, in which corresponding pairs have isomorphic $OS$ algebras. If the seed matroid $ M_0$ is connected, then $M_n$ and $M'_n$ have different Tutte polynomials. As a consequence of the construction, we obtain, for any $m$, $m$ different matroids with isomorphic $OS$ algebras. Suppose one is given a pair of central complex hyperplane arrangements $\A_0$ and $\A_1$. Let $§$ denote the arrangement consisting of the hyperplane $\{0\}$ in $\C^1$. We define the parallel connection $P(\A_0,\A_1)$, an arrangement realizing the parallel connection of the underlying matroids, and show that the direct sums $\A_0 \oplus \A_1$ and $§\oplus P(\A_0,\A_1)$ have diffeomorphic complements.
1998-04-01
An independent set axiomatization for symplectic matroids
One of the simplest axiomatizations of a matroid is in terms of independent sets. Curiously, no such independent set axiomatization is known for Gelfand and Serganova's WP-matroids (which are ``Coxeter group analogues'' of matroids). Here we state and prove such an axiomatization in the special case of symplectic matroids. No prior knowledge of WP-matroids is assumed; we believe the paper should be accessible and interesting to anyone with some interest in matroids.
1998-02-09
Zeros of reliability polynomials and f-vectors of matroids
Published • View Publication • BIB
For a finite multigraph G, the reliability function of G is the probability R_G(q) that if each edge of G is deleted independantly with probability q then the remaining edges of G induce a connected spanning subgraph of G; this is a polynomial function of q. In 1992, Brown and Colbourn conjectured that for any connected multigraph G, if the complex number q is such that R_G(q)=0 then |q|<=1. We verify that this conjectured property of R_G(q) holds if G is a series-parallel network. The proof is by an application of the Hermite-Biehler Theorem and development of a theory of higher-order interlacing for polynomials with only real nonpositive zeros. We conclude by establishing some new inequalities which are satisfied by the f-vector of any matroid without coloops, and by discussing some stronger inequalities which would follow (in the cographic case) from the Brown-Colbourn Conjecture, and are hence true for cographic matroids of series-parallel networks.
1998-01-20 v4
Descent algebras, hyperplane arrangements, and shuffling cards
Published • View Publication • BIB
Two notions of riffle shuffling on finite Coxeter groups are given: one using Solomon's descent algebra and another using random walk on chambers of hyperplane arrangements. These coincide for types $A$,$B$,$C$, $H_3$, and rank two groups. Both notions have the same, simple eigenvalues. The hyperplane definition is especially natural and satisfies a positivity property when $W$ is crystallographic and the relevant parameter is a good prime. The hyperplane viewpoint suggests interesting connections with Lie theory and leads to a notion of riffle shuffling for arbitrary real hyperplane arrangements and oriented matroids. Connections with Cellini's descent algebra are given.
1997-12-05
A convolution formula for the Tutte polynomial
Published • View Publication • BIB
We give a convolution formula for the Tutte polynomial T_M (x,y) of a matroid M.