matroid ↗ reference
2154 papers tagged with this keyword
Zeros of Chromatic and Flow Polynomials of Graphs
Published
• View Publication
• BIB
We survey results and conjectures concerning the zero distribution of chromatic and flow polynomials of graphs, and characteristic polynomials of matroids.
Determinantal probability measures
Published in Publ. Math. Inst. HauteÉtudes Sci. 98 (2003), 167-212.
• View Publication
• BIB
Determinantal point processes have arisen in diverse settings in recent years and have been investigated intensively. We study basic combinatorial and probabilistic aspects in the discrete case. Our main results concern relationships with matroids, stochastic domination, negative association, completeness for infinite matroids, tail triviality, and a method for extension of results from orthogonal projections to positive contractions. We also present several new avenues for further investigation, involving Hilbert spaces, combinatorics, homology, and group representations, among other areas.
A note on Tutte polynomials and Orlik-Solomon algebras
Published
• View Publication
• BIB
Let A be a (central) arrangement of hyperplanes in a finite dimension complex vector space V. Let M(A) be the dependence matroid determined by A. The Orlik-Solomon algebra OS(M) of a matroid M is the exterior algebra on the points modulo the ideal generated by circuit boundaries. The algebra OS(M) is isomorphic to the cohomology algebra of the complement in V of the union of the hyperplanes of A. The Tutte polynomial T(x,y) of M is a powerful invariant of the matroid M. When M(A) is a rank three matroid and A is the complexification of a real arrangement, we prove that OS(M) determines T(x,y). This result solves partially a conjecure of M. Falk.
Toric Hyperkahler Varieties
Published
• View Publication
• BIB
Extending work of Bielawski-Dancer and Konno, we develop a theory of toric hyperkahler varieties, which involves toric geometry, matroid theory and convex polyhedra. The framework is a detailed study of semi-projective toric varieties, meaning GIT quotients of affine spaces by torus actions, and specifically, of Lawrence toric varieties, meaning GIT quotients of even-dimensional affine spaces by symplectic torus actions. A toric hyperkahler variety is a complete intersection in a Lawrence toric variety. Both varieties are non-compact, and they share the same cohomology ring, namely, the Stanley-Reisner ring of a matroid modulo a linear system of parameters. Familiar applications of toric geometry to combinatorics, including the Hard Lefschetz Theorem and the volume polynomials of Khovanskii-Pukhlikov, are extended to the hyperkahler setting. When the matroid is graphic, our construction gives the toric quiver varieties, in the sense of Nakajima.
Representation of matroids
In this paper we give a necessary and sufficient criterion for representability of a matroid over an algebraic closed field. This leads to an algorithm, based on an extension of Groebner Bases, in order to decide if a given matroid is representable over such a field.
Alexander duality in subdivisions of Lawrence polytopes
Published in Adv. Geom. 3 (2003), no. 2, 177-189
• View Publication
• BIB
The class of simplicial complexes representing triangulations and subdivisions of Lawrence polytopes is closed under Alexander duality.
This gives a new geometric model for oriented matroid duality.
Homogeneous multivariate polynomials with the half-plane property
Published in Adv. Appl. Math. 32, 88-187 (2004)
• View Publication
• BIB
A polynomial P in n complex variables is said to have the "half-plane property" (or Hurwitz property) if it is nonvanishing whenever all the variables lie in the open right half-plane. Such polynomials arise in combinatorics, reliability theory, electrical circuit theory and statistical mechanics. A particularly important case is when the polynomial is homogeneous and multiaffine: then it is the (weighted) generating polynomial of an r-uniform set system. We prove that the support (set of nonzero coefficients) of a homogeneous multiaffine polynomial with the half-plane property is necessarily the set of bases of a matroid. Conversely, we ask: For which matroids M does the basis generating polynomial P_{B(M)} have the half-plane property? Not all matroids have the half-plane property, but we find large classes that do: all sixth-root-of-unity matroids, and a subclass of transversal (or cotransversal) matroids that we call "nice". Furthermore, the class of matroids with the half-plane property is closed under minors, duality, direct sums, 2-sums, series and parallel connection, full-rank matroid union, and some special cases of principal truncation, principal extension, principal cotruncation and principal coextension. Our positive results depend on two distinct (and apparently unrelated) methods for constructing polynomials with the half-plane property: a determinant construction (exploiting "energy" arguments), and a permanent construction (exploiting the Heilmann-Lieb theorem on matching polynomials). We conclude with a list of open questions.
Projections, shellings and duality
Projection maps which appear in the theory of buildings and oriented matroids are closely related to the notion of shellability. This was first observed by Bj{ö}rner. In this paper, we give an axiomatic treatment of either concept and show their equivalence. We also axiomatize duality in this setting. As applications of these ideas, we prove a duality theorem on buildings and give a geometric interpretation of the flag $h$ vector. The former may be regarded as a $q$-analogue of the Dehn-Sommerville equations. We also briefly discuss the connection with the random walks introduced by Bidigare, Hanlon and Rockmore.
Quadratic Orlik-Solomon algebras of graphic matroids
Published
• View Publication
• BIB
In this note we introduce a sufficient condition for the Orlik-Solomon algebra associated to a matroid M to be l-adic and we prove that this condition is necessary when M is binary (in particular graphic). Moreover, this result cannot be extended to the class of all matroids.
Groebner and diagonal bases in Orlik-Solomon type algebras
The Orlik-Solomon algebra of a matroid M is the quotient of the exterior algebra on the points by the ideal I(M) generated by the boundaries of the circuits of the matroid. There is an isomorphism between the Orlik-Solomon algebra of a complex matroid and the cohomology of the complement of a complex arrangement of hyperplanes. In this article a generalization of the Orlik-Solomon algebras, called X-algebras, are considered. These new algebras include, apart from the Orlik-Solomon algebras, the Orlik-Solomon-Terao algebra of a set of vectors and the Cordovil algebra of an oriented matroid. To encode an important property of the "no broken circuit bases" of the Orlik-Solomon-Terao algebras, Andras Szenes has introduced a particular type of bases, the so called "diagonal bases". This notion extends naturally to X-algebras. We give a survey of the results obtained by the authors concerning the construction of Groebner bases of I(M) and diagonal bases of Orlik-Solomon type algebras and we present the combinatorial analogue of an ``iterative residue formula'' introduced by Szenes.
Computing the Face Lattice of a Polytope from its Vertex-Facet Incidences
Published
• View Publication
• BIB
We give an algorithm that constructs the Hasse diagram of the face lattice of a convex polytope P from its vertex-facet incidences in time O(min{n,m}*a*f), where n is the number of vertices, m is the number of facets, a is the number of vertex-facet incidences, and f is the total number of faces of P. This improves results of Fukuda and Rosta (1994), who described an algorithm for enumerating all faces of a d-polytope in O(min{n,m}*d*f^2) steps. For simple or simplicial d-polytopes our algorithm can be specialized to run in time O(d*a*f). Furthermore, applications of the algorithm to other atomic lattices are discussed, e.g., to face lattices of oriented matroids.
Matroids, motives and conjecture of Kontsevich
Published
• View Publication
• BIB
Let G be a finite connected graph. The Kirchhoff polynomial of G is a certain homogeneous polynomial whose degree is equal to the first betti number of G. These polynomials appear in the study of electrical circuits and in the evaluation of Feynman amplitudes. Motivated by work of D. Kreimer and D. J. Broadhurst associating multiple zeta values to certain Feynman integrals, Kontsevich conjectured that the number of zeros of a Kirchhoff polynomial over the field with q elements is always a polynomial function of q. We show that this conjecture is false by relating the schemes defined by Kirchhoff polynomials to the representation spaces of matroids. Moreover, using Mnev's universality theorem, we show that these schemes essentially generate all arithmetic of schemes of finite type over the integers.
Oriented Lagrangian Orthogonal Matroid Representations
Published
• View Publication
• BIB
In this paper we extend the theory of oriented matroids to Lagrangian orthogonal matroids and their representations, and give a completely natural transformation from a representation of a classical oriented matroid to a representation of the same oriented matroid considered as a Lagrangian orthogonal matroid. Classical concepts of orientation and this extension may both be thought of as stratifications of thin Schubert cells into unions of connected components.
Lagrangian Matroids associated with Maps on Orientable Surfaces
The aim of the paper is to clarify the nature of combinatorial structures associated with maps on closed compact surfaces. We prove that maps give rise to Lagrangian matroids representable in a setting provided by cohomology of the surface with punctured points. Our proof is very elementary.
We further observe that the greedy algorithm has a natural interpretation in this setting, as a `peeling' procedure which cuts the (connected) surface into a closed ring-shaped peel, and that this procedure is local.
Oriented Lagrangian Matroids
Published
• View Publication
• BIB
In this paper we present a definition of oriented Lagrangian symplectic matroids and their representations. Classical concepts of orientation and this extension may both be thought of as stratifications of thin Schubert cells into unions of connected components. The definitions are made first in terms of a combinatorial axiomatisation, and then again in terms of elementary geometric properties of the Coxeter matroid polytope. We also generalise the concept of rank and signature of a quadratic form to symplectic Lagrangian matroids in a surprisingly natural way.
The critical group of a directed graph
The critical group K(G) of a directed graph G=(V,E) is the cokernel of the transpose of the Laplacian matrix of G acting on the integer lattice Z^V. For undirected graphs G, this has been considered by Bacher, de la Harpe, and Nagnibeda, and by Biggs. We prove several things, among which are: K(G/p) is a subgroup of K(G) when p is an equitable partition and G is strongly connected; for undirected graphs, the torsion subgroup of K(G) depends only on the graphic matroid of G; and, the `dollar game' of Biggs can be generalized to give a combinatorial interpretation for the elements of K(G), when G is strongly connected.
Annihilators of Ideals of Exterior Algebras
The Orlik-Solomon algebra A of a matroid is isomorphic to the quotient of an exterior algebra E by a defining ideal I. We find an explicit presentation of the annihilator ideal of I or, equivalently, the E-module dual to A. As an application of that we provide a necessary, combinatorial condition for the algebra A to be quadratic. We show that this is stronger than matroid being line-closed thereby resolving (negatively) a conjecture by Falk. We also show that our condition is not sufficient for the quadraticity.
Line-closed matroids, quadratic algebras, and formal arrangements
Published
• View Publication
• BIB
Let $G$ be a matroid on ground set \A. The Orlik-Solomon algebra $A(G)$ is the quotient of the exterior algebra \E on \A by the ideal \I generated by circuit boundaries. The quadratic closure $\bar{A}(G)$ of $A(G)$ is the quotient of \E by the ideal generated by the degree-two component of \I. We introduce the notion of \nbb set in $G$, determined by a linear order on \A, and show that the corresponding monomials are linearly independent in the quadratic closure $\bar{A}(G)$. As a consequence, $A(G)$ is a quadratic algebra only if $G$ is line-closed. An example of S.~Yuzvinsky proves the converse false. These results generalize to the degree $r$ closure of $\A(G)$.
The motivation for studying line-closed matroids grew out of the study of formal arrangements. This is a geometric condition necessary for \A to be free and for the complement $M$ of \A to be a $K(π,1)$ space. Formality of \A is also necessary for $A(G)$ to be a quadratic algebra. We clarify the relationship between formality, line-closure, and other matroidal conditions related to formality. We give examples to show that line-closure of $G$ is not necessary or sufficient for $M$ to be a $K(π,1)$, or for \A to be free.
Syzygies of Oriented Matroids
Published
• View Publication
• BIB
We construct minimal cellular resolutions of squarefree monomial ideals arising from hyperplane arrangements, matroids and oriented matroids. These are Stanley-Reisner ideals of complexes of independent sets, and of triangulations of Lawrence matroid polytopes. Our resolution provides a cellular realization of Stanley's formula for their Betti numbers. For unimodular matroids our resolutions are related to hyperplane arrangements on tori, and we recover the resolutions constructed by Bayer, Popescu and Sturmfels. We resolve the combinatorial problems posed in their paper by computing Mobius invariants of graphic and cographic arrangements in terms of Hermite polynomials.
Combinatorial and algebraic structure in Orlik-Solomon algebras
Published
• View Publication
• BIB
The Orlik-Solomon algebra ${\cal A}(G)$ of a matroid $G$ is the free exterior algebra on the points, modulo the ideal generated by the circuit boundaries. On one hand, this algebra is a homotopy invariant of the complement of any complex hyperplane arrangement realizing $G$. On the other hand, some features of the matroid $G$ are reflected in the algebraic structure of ${\cal A}(G)$.
In this mostly expository article, we describe recent developments in the construction of algebraic invariants of ${\cal A}(G)$. We develop a categorical framework for the statement and proof of recently discovered isomorphism theorems which suggests a possible setting for classification theorems. Several specific open problems are formulated.