matroid ↗ reference
2208 papers tagged with this keyword
The Sylvester-Gallai Theorem, colourings and algebra
Published in Discrete Mathematics 309 (2009), 385--399
• View Publication
• BIB
Our point of departure is the following simple common generalisation of the Sylvester-Gallai theorem and the Motzkin-Rabin theorem:
Let S be a finite set of points in the plane, with each point coloured red or blue or with both colours. Suppose that for any two distinct points A,B in S sharing a colour there is a third point C in S, of the other colour, collinear with A and B. Then all the points in S are collinear.
We define a chromatic geometry to be a simple matroid for which each point is coloured red or blue or with both colours, such that for any two distinct points A,B in S sharing a colour there is a third point C in S, of the other colour, collinear with A and B. This is a common generalisation of proper finite linear spaces and properly two-coloured finite linear spaces, with many known properties of both generalising as well. One such property is Kelly's complex Sylvester-Gallai theorem. We also consider embeddings of chromatic geometries in Desarguesian projective spaces. We prove a lower bound of 51 for the number of points in a 3-dimensional chromatic geometry in projective space over the quaternions. Finally, we suggest an elementary approach to the corollary of an inequality of Hirzebruch used by Kelly in his proof of the complex Sylvester-Gallai theorem.
Ported Tutte Functions of Extensors and Oriented Matroids
The Tutte equations are ported (or set-pointed) when the equations F(N) = g_e F(N/e) + r_e F(N\e) are omitted for elements e in a distinguished set called ports. Solutions F can distinguish different orientations of the same matroid. A ported extensor with ground set is a decomposible element in the exterior algebra over a vector space with a given basis, called the ground set, containing a distinguished subset called ports. These can represent ported matroids and have analogous dualization, deletion and contraction operations. A ported extensor function is defined using dualization, port element renaming, exterior multiplication, and contraction of non-ports. We prove that this function satisfies a sign-corrected variant of the Tutte equations over exterior algebra. For non-ported unimodular, i.e., regular matroids, our function reduces to the basis generating function and for graphs the Laplacian (or Kirchhoff) determinant. In general, the function value, as an extensor, signifies the space of solutions to Kirchhoff's and Ohm's electricity equations after projection to the variables associated to the ports. Combinatorial interpretation of various determinants (the Plucker coordinates) generalize the matrix tree theorem and forest enumeration expressions for electrical resistance. The corank-nullity polynomial, basis expansions with activities, and a geometric lattice expansion generalize to ported Tutte functions of oriented matroids. The ported Tutte functions are parametrized, which raises the problem of how to generalize known characterizations of parameterized non-ported Tutte functions.
Polynomials with the half-plane property and matroid theory
Published in Adv. Math. 216 (2007), no. 1, 302--320
• View Publication
• BIB
A polynomial f is said to have the half-plane property if there is an open half-plane H, whose boundary contains the origin, such that f is non-zero whenever all the variables are in H. This paper answers several open questions regarding multivariate polynomials with the half-plane property and matroid theory.
* We prove that the support of a multivariate polynomial with the half-plane property is a jump system. This answers an open question posed by Choe, Oxley, Sokal and Wagner and generalizes their recent result claiming that the same is true whenever the polynomial is also homogeneous.
* We characterize multivariate multi-affine polynomial with real coefficients that have the half-plane property (with respect to the upper half-plane) in terms of inequalities. This is used to answer two open questions posed by Choe and Wagner regarding strongly Rayleigh matroids.
* We prove that the Fano matroid is not the support of a polynomial with the half-plane property. This is the first instance of a matroid which does not appear as the support of a polynomial with the half-plane property and answers a question posed by Choe et al.
We also discuss further directions and open problems.
Transversal and cotransversal matroids via the Lindstrom lemma
Published
• View Publication
• BIB
It is known that the duals of transversal matroids are precisely the strict gammoids. The purpose of this short note is to show how the Lindstrom-Gessel-Viennot lemma gives a simple proof of this result.
Flag arrangements and triangulations of products of simplices
Published
• View Publication
• BIB
We investigate the line arrangement that results from intersecting d complete flags in C^n. We give a combinatorial description of the matroid T_{n,d} that keeps track of the linear dependence relations among these lines. We prove that the bases of the matroid T_{n,3} characterize the triangles with holes which can be tiled with unit rhombi. More generally, we provide evidence for a conjectural connection between the matroid T_{n,d}, the triangulations of the product of simplices Delta_{n-1} x Δ_{d-1}, and the arrangements of d tropical hyperplanes in tropical (n-1)-space. Our work provides a simple and effective criterion to ensure the vanishing of many Schubert structure constants in the flag manifold, and a new perspective on Billey and Vakil's method for computing the non-vanishing ones.
Derivation modules of orthogonal duals of hyperplane arrangements
Published in Journal of Algebraic Combinatorics, 24, (2006), 253-262
• View Publication
• BIB
Let A be an n by d matrix having full rank n. An orthogonal dual A^{\perp} of A is a (d-n) by d matrix of rank (d-n) such that every row of A^{\perp} is orthogonal (under the usual dot product) to every row of A. We define the orthogonal dual for arrangements by identifying an essential (central) arrangement of d hyperplanes in n-dimensional space with the n by d matrix of coefficients of the homogeneous linear forms for which the hyperplanes are kernels. If n is at least 5, we show that if the matroid (or the intersection lattice) of an n-dimensional essential arrangement A contains a modular copoint whose complement spans, then the derivation module of the orthogonally dual arrangement \A^{\perp} has projective dimension at least [n(n+2)/4] - 3,([ ] denotes ceiling).
A matroid invariant via the K-theory of the Grassmannian
Published
• View Publication
• BIB
Let G(d,n) denote the Grassmannian of d-planes in C^n and let T be the torus (C^*)^n/diag(C^*) which acts on G(d,n). Let x be a point of G(d,n) and let \bar{Tx} be the closure of the T-orbit through x. Then the class of the structure sheaf of \bar{Tx} in the K-theory of G(d,n) depends only on which Plücker coordinates of x are nonzero -- combinatorial data known as the matroid of x. In this paper, we will define a certain map of additive groups from the K-theory of G(d,n) to Z[t]. Letting g_x(t) denote the image of (-1)^{n-dim Tx} [ O_{\bar{Tx}}], g_x behaves nicely under the standard constructions of matroid theory. Specifically, g_{x_1 \oplus x_2}(t)=g_{x_1}(t) g_{x_2}(t), g_{x_1 +_2 x_2}(t)=g_{x_1}(t) g_{x_2}(t)/t, g_x(t) = g_{x^{\perp}}(t) and g_x is unaltered by series and parallel extensions. Furthermore, the coefficients of g_x are nonnegative. The existence of this map implies bounds on (essentially equivalently) the complexity of Kapranov's Lie complexes, Hacking, Keel and Tevelev's very stable pairs and the author's tropical linear spaces when they are realizable in characteristic zero. Namely, in characteristic zero, a Lie complex or the underlying d-1 dimensional scheme of a very stable pair can have at most (n-i-1)! / (d-i)!(n-d-i)!(i-1)! strata of dimensions n-i and d-i respectively and a tropical linear space realizable in characteristic zero can have at most this many i-dimensional bounded faces.
Negatively correlated random variables and Mason's conjecture
Published
• View Publication
• BIB
Mason's Conjecture asserts that for an $m$--element rank $r$ matroid $\M$ the sequence $(I_k/\binom{m}{k}: 0\leq k\leq r)$ is logarithmically concave, in which $I_k$ is the number of independent $k$--sets of $\M$. A related conjecture in probability theory implies these inequalities provided that the set of independent sets of $\M$ satisfies a strong negative correlation property we call the \emph{Rayleigh condition}. This condition is known to hold for the set of bases of a regular matroid. We show that if $ω$ is a weight function on a set system $\Q$ that satisfies the Rayleigh condition then $\Q$ is a convex delta--matroid and $ω$ is logarithmically submodular. Thus, the hypothesis of the probabilistic conjecture leads inevitably to matroid theory. We also show that two--sums of matroids preserve the Rayleigh condition in four distinct senses, and hence that the Potts model of an iterated two--sum of uniform matroids satisfies the Rayleigh condition. Numerous conjectures and auxiliary results are included.
Rees cones and monomial rings of matroids
Published in Linear Algebra Appl. 428 (2008), 2933-2940
• View Publication
• BIB
Using linear algebra methods we study certain algebraic properties of monomial rings and matroids. Let I be a monomial ideal in a polynomial ring over an arbitrary field. If the Rees cone of I is quasi-ideal, we express the normalization of the Rees algebra of I in terms of an Ehrhart ring. We introduce the basis Rees cone of a matroid (or a polymatroid) and study their facets. Some applications to Rees algebras are presented. It is shown that the basis monomial ideal of a matroid (or a polymatroid) is normal.
g-elements, finite buildings and higher Cohen-Macaulay connectivity
Published
• View Publication
• BIB
The main result is a proof that the g-vector of a simplicial complex with a convex ear decomposition is an M-vector. This is a generalization of similar results for matroid complexes. We also show that a finite building has a convex ear decomposition. This leads to connections between higher Cohen-Macaulay connectivity and increasing h-vectors.
Matroids and Geometric Invariant Theory of torus actions on flag spaces
Published
• View Publication
• BIB
We apply a theorem of Gel'fand, Goresky, MacPherson, and Serganova about matroid polytopes to study semistability of partial flags relative to a T-linearized ample line bundle of a flag space F = SL(n)/P where T is a maximal torus in SL(n) and P is a parabolic subgroup containing T. We find that the semistable points are all detected by invariant sections of degree one regardless of the line bundle or linearization thereof, provided there exists at least one nonzero invariant section of degree one. In this case the degree one sections are sufficient to give a well defined map from the G.I.T. quotient F//T to projective space.
Additionally, we show that the closure of any T-orbit in SL(n)/P is a projectively normal toric variety for any projective embedding of SL(n)/P.
The toric ideal of a graphic matroid is generated by quadrics
Published
• View Publication
• BIB
Describing minimal generating sets of toric ideals is a well-studied and difficult problem. Neil White conjectured in 1980 that the toric ideal associated to a matroid is generated by quadrics corresponding to single element symmetric exchanges. We give a combinatorial proof of White's conjecture for graphic matroids.
Primitive elements in the matroid-minor Hopf algebra
Published
• View Publication
• BIB
We introduce the matroid-minor coalgebra C, which has labeled matroids as distinguished basis, and coproduct given by splitting a matroid into a submatroid and complementary contraction all possible ways. We introduce two new bases for C; the first of these is is related to the distinguished basis by Mobius inversion over the rank-preserving weak order on matroids, the second by Mobius inversion over the suborder excluding matroids that are irreducible with respect to the free product operation. We show that the subset of each of these bases corresponding to the set of irreducible matroids is a basis for the subspace of primitive elements of C. Projecting C onto the matroid-minor Hopf algebra H, we obtain bases for the subspace of primitive elements of H.
Reduced chromatic graph cohomology
In this paper we give a new characterization of the h-vector of the chromatic polynomial of a graph. We introduce reduced chromatic cohomology of a graph and show that h_i are its Betti numbers. We then discuss various combinatorial properties of these cohomologies. In particular we prove that these cohomologies depend only on the matroid type of the graph and describe their relationship to the regular chromatic cohomologies.
Every non-Euclidean oriented matroid admits a biquadratic final polynomial
Published
• View Publication
• BIB
Richter-Gebert proved that every non-Euclidean uniform oriented matroid admits a biquadratic final polynomial. We extend this result to the non-uniform case.
An Orlik-Solomon type algebra for matroids with a fixed linear class of circuits
A family C of circuits of a matroid M is a linear class if, given a modular pair of circuits in C}, any circuit contained in the union of the pair is also in C. The pair (M,C) can be seen as a matroidal generalization of a biased graph. We introduce and study an Orlik-Solomon type algebra determined by (M,C). If C is the set of all circuits of M this algebra is the Orlik-Solomon algebra of M.
Bergman Complexes, Coxeter Arrangements, and Graph Associahedra
Tropical varieties play an important role in algebraic geometry. The Bergman complex B(M) and the positive Bergman complex B+(M) of an oriented matroid M generalize to matroids the notions of the tropical variety and positive tropical variety associated to a linear ideal. Our main result is that if A is a Coxeter arrangement of type Phi with corresponding oriented matroid M_Phi, then B+(M_Phi) is dual to the graph associahedron of type Phi, and B(M_Phi) equals the nested set complex of A. In addition, we prove that for any orientable matroid M, one can find |mu(M)| different reorientations of M such that the corresponding positive Bergman complexes cover B(M), where mu(M) denotes the Mobius function of the lattice of flats of M.
Las Vergnas Cube Conjecture and reconstruction properties of the cube matroid
Las Vergnas Cube Conjecture states that the cube matroid has exactly one class of orientations. We prove that this conjecture is equivalent to saying that the oriented matroid of the affine dependencies of the n-cube can be reconstructed from the underlying matroid and one of the following partial lists of signed circuits or cocircuits: A) the signed circuits of rank 3, or B) the positive signed cocircuits.
A Relative Laplacian spectral recursion
Published
• View Publication
• BIB
The Laplacian spectral recursion, satisfied by matroid complexes and shifted complexes, expresses the eigenvalues of the combinatorial Laplacian of a simplicial complex in terms of its deletion and contraction with respect to vertex e, and the relative simplicial pair of the deletion modulo the contraction. We generalize this recursion to relative simplicial pairs, which we interpret as intervals in the Boolean algebra. The deletion modulo contraction term is replaced by the result of removing from the interval all pairs of faces in the interval that differ only by vertex e.
We show that shifted pairs and some matroid pairs satisfy this recursion. We also show that the class of intervals satisfying this recursion is closed under a wide variety of operations, including duality and taking skeleta.
The non-vanishing cohomology of Orlik-Solomon algebras
Published
• View Publication
• BIB
The cohomology on the complement of hyperplanes with the coefficients in the rank one local system associated to a generic weight vanishes except in the highest dimension. In this paper, we construct matroids or arrangements and its weights with non-vanishing cohomology of Orlik-Solomon algebras, using decomposable relations arising from Latin hypercubes.