matroid ↗ reference
2208 papers tagged with this keyword
On the rank functions of $\mathcal{H}$-matroids
Published in Journal of Algebra Combinatorics Discrete Structures and Applications, Vol. 3, No. 1 (2016) 7-11
• View Publication
• BIB
The notion of $\mathcal{H}$-matroids was introduced by U. Faigle and S. Fujishige in 2009 as a general model for matroids and the greedy algorithm. They gave a characterization of $\mathcal{H}$-matroids by the greedy algorithm. In this note, we give a characterization of some $\mathcal{H}$-matroids by rank functions.
Infinite matroid union
We consider the problem of determining whether the union of two infinite matroids is a matroid. We introduce a superclass of the finitary matroids, the nearly finitary matroids, and prove that the union of two nearly finitary matroids is a nearly finitary matroid.
On the other hand, we prove that the union of two arbitrary infinite matroids is not necessarily a matroid. Indeed, we show (under a weak additional assumption) that the nearly finitary matroids are essentially the largest class of matroids for which one can have a union theorem.
We then extend the base packing theorem for finite matroids to finite families of co-finitary matroids. This, in turn, yields a matroidal proof for the tree-packing results for infinite graphs due to Diestel and Tutte.
On the intersection of infinite matroids
Published
• View Publication
• BIB
We show that the infinite matroid intersection conjecture of Nash-Williams implies the infinite Menger theorem proved recently by Aharoni and Berger.
We prove that this conjecture is true whenever one matroid is nearly finitary and the second is the dual of a nearly finitary matroid, where the nearly finitary matroids form a superclass of the finitary matroids.
In particular, this proves the infinite matroid intersection conjecture for finite-cycle matroids of 2-connected, locally finite graphs with only a finite number of vertex-disjoint rays.
On minor-closed classes of matroids with exponential growth rate
Published
• View Publication
• BIB
Let $\cM$ be a minor-closed class of matroids that does not contain arbitrarily long lines. The growth rate function, $h:\bN\rightarrow \bN$ of $\cM$ is given by $$h(n) = \max(|M|\, : \, M\in \cM, simple, rank-$n$).$$ The Growth Rate Theorem shows that there is an integer $c$ such that either: $h(n)\le c\, n$, or ${n+1 \choose 2} \le h(n)\le c\, n^2$, or there is a prime-power $q$ such that $\frac{q^n-1}{q-1} \le h(n) \le c\, q^n$; this separates classes into those of linear density, quadratic density, and base-$q$ exponential density. For classes of base-$q$ exponential density that contain no $(q^2+1)$-point line, we prove that $h(n) =\frac{q^n-1}{q-1}$ for all sufficiently large $n$. We also prove that, for classes of base-$q$ exponential density that contain no $(q^2+q+1)$-point line, there exists $k\in\bN$ such that $h(n) = \frac{q^{n+k}-1}{q-1} - q\frac{q^{2k}-1}{q^2-1}$ for all sufficiently large $n$.
On the relative importance of excluded minors
Published
• View Publication
• BIB
If EE is a set of matroids, then ex(EE) denotes the set of matroids that have no minor isomorphic to a member of EE. If EE' is a subset of EE, we say that EE' is /superfluous/ if ex(EE - EE') - ex(EE) contains only finitely many 3-connected matroids. We characterize the superfluous subsets of six well-known collections of excluded minors.
Profiles of separations: in graphs, matroids and beyond
Published
• View Publication
• BIB
We show that all the tangles in a finite graph or matroid can be distinguished by a single tree-decomposition that is invariant under the automorphisms of the graph or matroid. This comes as a corollary of a similar decomposition theorem for more general combinatorial structures, which has further applications.
These include a new approach to cluster analysis and image segmentation. As another illustration for the abstract theorem, we show that applying it to edge-tangles yields the Gomory-Hu theorem.
On circuits and serial symmetric basis-exchange in matroids
Published in SIAM Journal on Discrete Mathematics. Vol. 27 (3), 1274-1286 (2013)
• View Publication
• BIB
The way circuits, relative to a basis, are affected as a result of exchanging a basis element, is studied. As consequences, it is shown that three consecutive symmetric exchanges exist for any two bases of a matroid, and that a full serial symmetric exchange, of length at most 6, exists for any two bases of a matroid of rank 5. A new characterization of binary matroids, related to basis-exchange, is presented.
Equivariant cohomology and the Varchenko-Gelfand filtration
Published
• View Publication
• BIB
The cohomology of the configuration space of n points in R^3 admits a symmetric group action and has been shown to be isomorphic to the regular representation. One way to prove this is by defining an S^1-action whose fixed point set is the complement of the braid arrangement and using equivariant cohomology to show that the cohomology of the configuration space is the associated graded algebra of the cohomology of the arrangement complement. In this paper, we will extend this result to the setting of affine subspace arrangements coming from real hyperplane arrangements using similar methods. We also provide a presentation of the equivariant cohomology ring and extend some results to the setting of oriented matroids.
Periodic body-and-bar frameworks
Published
• View Publication
• BIB
Abstractions of crystalline materials known as periodic body-and-bar frameworks are made of rigid bodies connected by fixed-length bars and subject to the action of a group of translations. In this paper, we give a Maxwell-Laman characterization for generic minimally rigid periodic body-and-bar frameworks. As a consequence we obtain efficient polynomial time algorithms for their recognition based on matroid partition and pebble games.
On Serial Symmetric Exchanges of Matroid Bases
Published in J. Graph Theory 1002/jgt.21675 (2012)
• View Publication
• BIB
We study some properties of a serial (i.e. one-by-one) symmetric exchange of elements of two disjoint bases of a matroid. We show that any two elements of one base have a serial symmetric exchange with some two elements of the other base. As a result, we obtain that any two disjoint bases in a matroid of rank 4 have a full serial symmetric exchange.
Volumes and Tangent Cones of Matroid Polytopes
De Loera et al. 2009, showed that when the rank is fixed the Ehrhart polynomial of a matroid polytope can be computed in polynomial time when the number of elements varies. A key to proving this is the fact that the number of simplicial cones in any triangulation of a tangent cone is bounded polynomially in the number of elements when the rank is fixed. The authors speculated whether or not the Ehrhart polynomial could be computed in polynomial time in terms of the number of bases, where the number of elements and rank are allowed to vary. We show here that for the uniform matroid of rank $r$ on $n$ elements, the number of simplicial cones in any triangulation of a tangent cone is $n-2 \choose r-1$. Therefore, if the rank is allowed to vary, the number of simplicial cones grows exponentially in $n$. Thus, it is unlikely that a Brion-Lawrence type of approach, such as Barvinok's Algorithm, can compute the Ehrhart polynomial efficiently when the rank varies with the number of elements. To prove this result, we provide a triangulation in which the maximal simplicies are in bijection with the spanning thrackles of the complete bipartite graph $K_{r,n-r}$.
Computing Tropical Linear Spaces
Published in J. Symbolic Comput. 51 (2013), 86-98
• View Publication
• BIB
We define and study the cyclic Bergman fan of a matroid M, which is a simplicial polyhedral fan supported on the tropical linear space T(M) of M and is amenable to computational purposes. It slightly refines the nested set structure on T(M), and its rays are in bijection with flats of M which are either cyclic flats or singletons. We give a fast algorithm for calculating it, making some computational applications of tropical geometry now viable. Our C++ implementation, called TropLi, and a tool for computing vertices of Newton polytopes of A-discriminants, are both available online.
Isomorphism for even cycle matroids - I
A seminal result by Whitney describes when two graphs have the same cycles. We consider the analogous problem for even cycle matroids. A representation of an even cycle matroid is a pair formed by a graph together with a special set of edges of the graph. Such a pair is called a signed graph. We consider the problem of determining the relation between two signed graphs representing the same even cycle matroid. We refer to this problem as the Isomorphism Problem for even cycle matroids. We present two classes of signed graphs and we solve the Isomorphism Problem for these two classes. We conjecture that, up to simple operations, any two signed graphs representing the same even cycle matroid are either in one of these classes, or related by a modification of an operation for graphic matroids, or belonging to a small set of examples.
A deformation of the Orlik-Solomon algebra
Published
• View Publication
• BIB
A deformation of the Orlik-Solomon algebra of a matroid M is defined as a quotient of the free associative algebra over a commutative ring R with 1. It is shown that the given generators form a Groebner basis and that after suitable homogenization the deformation and the Orlik-Solomon have the same Hilbert series as R-algebras. For supersolvable matroids, equivalently fiber type arrangements, there is a quadratic Groebner basis and hence the algebra is Koszul
Tangles, trees, and flowers
Published
• View Publication
• BIB
A tangle of order $k$ in a matroid or graph may be thought of as a "$k$-connected component". For a tangle of order $k$ in a matroid or graph that satisfies a certain robustness condition, we describe a tree decomposition of the matroid or graph that displays, up to a certain natural equivalence, all of the $k$-separations of the matroid or graph that are non-trivial with respect to the tangle.
Combinatorial representations
Published
• View Publication
• BIB
This paper introduces combinatorial representations, which generalise the notion of linear representations of matroids. We show that any family of subsets of the same cardinality has a combinatorial representation via matrices. We then prove that any graph is representable over all alphabets of size larger than some number depending on the graph. We also provide a characterisation of families representable over a given alphabet. Then, we associate a rank function and a rank operator to any representation which help us determine some criteria for the functions used in a representation. While linearly representable matroids can be viewed as having representations via matrices with only one row, we conclude this paper by an investigation of representations via matrices with only two rows.
Rooted-tree Decompositions with Matroid Constraints and the Infinitesimal Rigidity of Frameworks with Boundaries
Published
• View Publication
• BIB
As an extension of a classical tree-partition problem, we consider decompositions of graphs into edge-disjoint (rooted-)trees with an additional matroid constraint. Specifically, suppose we are given a graph $G=(V,E)$, a multiset $R=\{r1,..., r_t\}$ of vertices in $V$, and a matroid ${\cal M}$ on $R$. We prove a necessary and sufficient condition for $G$ to be decomposed into $t$ edge-disjoint subgraphs $G_1=(V_1,T_1),..., G_t=(V_t,T_t)$ such that (i) for each $i$, $G_i$ is a tree with $r_i\in V_i$, and (ii) for each $v\in V$, the multiset $\{r_i\in R\mid v\in V_i\}$ is a base of ${\cal M}$. If ${\cal M}$ is a free matroid, this is a decomposition into $t$ edge-disjoint spanning trees; thus, our result is a proper extension of Nash-Williams' tree-partition theorem.
Such a matroid constraint is motivated by combinatorial rigidity theory. As a direct application of our decomposition theorem, we present characterizations of the infinitesimal rigidity of frameworks with non-generic "boundary", which extend classical Laman's theorem for generic 2-rigidity of bar-joint frameworks and Tay's theorem for generic $d$-rigidity of body-bar frameworks.
Hamming weights and Betti numbers of Stanley-Reisner rings associated to matroids
Published
• View Publication
• BIB
To each linear code over a finite field we associate the matroid of its parity check matrix. We show to what extent one can determine the generalized Hamming weights of the code (or defined for a matroid in general) from various sets of Betti numbers of Stanley-Reisner rings of simplicial complexes associated to the matroid.
The Entropic Discriminant
Published in Advances in Mathematics, 244 (2013) pp. 678-707
• View Publication
• BIB
The entropic discriminant is a non-negative polynomial associated to a matrix. It arises in contexts ranging from statistics and linear programming to singularity theory and algebraic geometry. It describes the complex branch locus of the polar map of a real hyperplane arrangement, and it vanishes when the equations defining the analytic center of a linear program have a complex double root. We study the geometry of the entropic discriminant, and we express its degree in terms of the characteristic polynomial of the underlying matroid. Singularities of reciprocal linear spaces play a key role. In the corank-one case, the entropic discriminant admits a sum of squares representation derived from the discriminant of a characteristic polynomial of a symmetric matrix.
Lexicographic products and the power of non-linear network coding
Published
• View Publication
• BIB
We introduce a technique for establishing and amplifying gaps between parameters of network coding and index coding. The technique uses linear programs to establish separations between combinatorial and coding-theoretic parameters and applies hypergraph lexicographic products to amplify these separations. This entails combining the dual solutions of the lexicographic multiplicands and proving that they are a valid dual of the product. Our result is general enough to apply to a large family of linear programs. This blend of linear programs and lexicographic products gives a recipe for constructing hard instances in which the gap between combinatorial or coding-theoretic parameters is polynomially large. We find polynomial gaps in cases in which the largest previously known gaps were only small constant factors or entirely unknown. Most notably, we show a polynomial separation between linear and non-linear network coding rates. This involves exploiting a connection between matroids and index coding to establish a previously unknown separation between linear and non-linear index coding rates. We also construct index coding problems with a polynomial gap between the broadcast rate and the trivial lower bound for which no gap was previously known.