matroid ↗ reference
2208 papers tagged with this keyword
The Geometry of Gaussoids
Published in Foundations of Computational Mathematics 19 (2019), pp. 775-812
• View Publication
• BIB
A gaussoid is a combinatorial structure that encodes independence in probability and statistics, just like matroids encode independence in linear algebra. The gaussoid axioms of Lnenicka and Matús are equivalent to compatibility with certain quadratic relations among principal and almost-principal minors of a symmetric matrix. We develop the geometric theory of gaussoids, based on the Lagrangian Grassmannian and its symmetries. We introduce oriented gaussoids and valuated gaussoids, thus connecting to real and tropical geometry. We classify small realizable and non-realizable gaussoids. Positive gaussoids are as nice as positroids: they are all realizable via graphical models.
Matroids and Canonical Forms: Theory and Applications
This thesis proposes a combinatorial generalization of a nilpotent operator on a vector space. The resulting object is highly natural, with basic connections to a variety of fields in pure mathematics, engineering, and the sciences. For the purpose of exposition we focus the discussion of applications on homological algebra and computation, with additional remarks in lattice theory, linear algebra, and abelian categories. For motivation, we recall that the methods of algebraic topology have driven remarkable progress in the qualitative study of large, noisy bodies of data over the past 15 years. A primary tool in Topological Data Analysis [TDA] is the homological persistence module, which leverages categorical structure to compare algebraic shape descriptors across multiple scales of measurement. Our principle application to computation is a novel algorithm to calculate persistent homology which, in certain cases, improves the state of the art by several orders of magnitude. Included are novel results in discrete, spectral, and algebraic Morse theory, and on the strong maps of matroid theory. The defining theme throughout is interplay between the combinatorial theory matroids and the algebraic theory of categories. The nature of these interactions is remarkably simple, but their consequences in homological algebra, quiver theory, and combinatorial optimization represent new and widely open fields for interaction between the disciplines.
On the Dowling and Rhodes lattices and wreath products
Published
• View Publication
• BIB
Dowling and Rhodes defined different lattices on the set of triples (Subset, Partition, Cross Section) over a fixed finite group G. Although the Rhodes lattice is not a geometric lattice, it defines a matroid in the sense of the theory of Boolean representable simplicial complexes. This turns out to be the direct sum of a complete matroid with a lift matroid of the complete biased graph over G. As is well known, the Dowling lattice defines the frame matroid over a similar biased graph. This gives a new perspective on both matroids and also an application of matroid theory to the theory of finite semigroups. We also make progress on an important question for these classical matroids: what are the minimal Boolean representations and the minimum degree of a Boolean matrix representation?
Oriented Matroid Structures From Realized Root Systems
Published
• View Publication
• BIB
This paper investigates the question of uniqueness of the reduced oriented matroid structure arising from root systems of a Coxeter group in real vector spaces. We settle the question for finite Coxeter groups, irreducible affine Weyl groups and all rank three Coxeter groups. In these cases, the oriented matroid structure is unique unless $W$ is of type $\widetilde{A}_n, n\geq 3$, in which case there are three possibilities.
Stability and exact Turan numbers for matroids
Published
• View Publication
• BIB
We consider the Turán-type problem of bounding the size of a set $M \subseteq \mathbb{F}_2^n$ that does not contain a linear copy of a given fixed set $N \subseteq \mathbb{F}_2^k$, where $n$ is large compared to $k$. An Erdős-Stone type theorem [5] in this setting gives a bound that is tight up to a $o(2^n)$ error term; our first main result gives a stability version of this theorem, showing that such an $M$ that is close in size to the upper bound in [5] is close in edit distance to the obvious extremal example. Our second result shows that the error term in [5] is exactly controlled by the solution to one of a class of `sparse' extremal problems, and in many cases eliminates the error term completely to give a sharp upper bound on $|M|$.
Covering vectors by spaces: Regular matroids
Published
• View Publication
• BIB
Seymour's decomposition theorem for regular matroids is a fundamental result with a number of combinatorial and algorithmic applications. In this work we demonstrate how this theorem can be used in the design of parameterized algorithms on regular matroids. We consider the problem of covering a set of vectors of a given finite dimensional linear space (vector space) by a subspace generated by a set of vectors of minimum size. Specifically, in the Space Cover problem, we are given a matrix M and a subset of its columns T; the task is to find a minimum set F of columns of M disjoint with T such that that the linear span of F contains all vectors of T. For graphic matroids this problem is essentially Stainer Forest and for cographic matroids this is a generalization of Multiway Cut. Our main result is the algorithm with running time 2^{O(k)}||M|| ^{O(1)} solving Space Cover in the case when M is a totally unimodular matrix over rationals, where k is the size of F. In other words, we show that on regular matroids the problem is fixed-parameter tractable parameterized by the rank of the covering subspace.
Doubly exponentially many Ingleton matroids
Published
• View Publication
• BIB
A matroid is Ingleton if all quadruples of subsets of its ground set satisfy Ingleton's inequality. In particular, representable matroids are Ingleton. We show that the number of Ingleton matroids on ground set $[n]$ is doubly exponential in $n$; it follows that almost all Ingleton matroids are non-representable.
Tutte polynomials of hyperplane arrangements and the finite field method
Published
• View Publication
• BIB
The Tutte polynomial is a fundamental invariant associated to a graph, matroid, vector arrangement, or hyperplane arrangement. This short survey focuses on some of the most important results on Tutte polynomials of hyperplane arrangements. We show that many enumerative, algebraic, geometric, and topological invariants of a hyperplane arrangement can be expressed in terms of its Tutte polynomial. We also show that, even if one is only interested in computing the Tutte polynomial of a graph or a matroid, the theory of hyperplane arrangements provides a powerful finite field method for this computation.
Combinatorics of Toric Arrangements
Published in Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. 30 (2019), 317-349
• View Publication
• BIB
In this paper we build an Orlik-Solomon model for the canonical gradation of the cohomology algebra with integer coefficients of the complement of a toric arrangement. We give some results on the uniqueness of the representation of arithmetic matroids, in order to discuss how the Orlik-Solomon model depends on the poset of layers. The analysis of discriminantal toric arrangements permits us to isolate certain conditions under which two toric arrangements have diffeomorphic complements. We also give combinatorial conditions determining whether the cohomology algebra is generated in degree one.
An improved algorithm for recognizing matroids
Let $M$ be a matroid defined on a finite set $E$ and $L\subset E$. $L$ is locked in $M$ if $M|L$ and $M^*|(E\backslash L)$ are 2-connected, and $min\{r(L), r^*(E\backslash L)\} \geq 2$. Locked subsets characterize nontrivial facets of the bases polytope. In this paper, we give a new axiom system for matroids based on locked subsets. We deduce an algorithm for recognizing matroids improving the running time complexity of the best known till today. This algorithm induces a polynomial time algorithm for recognizing uniform matroids. This latter problem is intractable if we use an independence oracle.
Hyperfield Grassmannians
Published in Advances in Mathematics, 341 (2019), 336-366
• View Publication
• BIB
In a recent paper Baker and Bowler introduced matroids over hyperfields, offering a common generalization of matroids, oriented matroids, and linear subspaces of based vector spaces. This paper introduces the notion of a topological hyperfield and explores the generalization of Grassmannians and realization spaces to this context, particularly in relating the (hyper)fields R and C to hyperfields arising in matroid theory and in tropical geometry.
Hopf monoids and generalized permutahedra
Published
• View Publication
• BIB
Generalized permutahedra are a family of polytopes with a rich combinatorial structure and strong connections to optimization. We prove that they are the universal family of polyhedra with a certain Hopf algebraic structure. Their antipode is remarkably simple: the antipode of a polytope is the alternating sum of its faces. Our construction provides a unifying framework to organize numerous combinatorial structures, including graphs, matroids, posets, set partitions, linear graphs, hypergraphs, simplicial complexes, building sets, and simple graphs. We highlight three applications:
1. We obtain uniform proofs of numerous old and new results about the Hopf algebraic and combinatorial structures of these families. In particular, we give the optimal formula for the antipode of graphs, posets, matroids, hypergraphs, and building sets, and we answer questions of Humpert--Martin and Rota.
2. We show that the reciprocity theorems of Stanley and Billera--Jia--Reiner on chromatic polynomials of graphs, order polynomials of posets, and BJR-polynomials of matroids are instances of the same reciprocity theorem for generalized permutahedra.
3. We explain why the formulas for the multiplicative and compositional inverses of power series are governed by the face structure of permutahedra and associahedra, respectively, answering a question of Loday.
Along the way, we offer a combinatorial user's guide to Hopf monoids.
Matroids over partial hyperstructures
Published
• View Publication
• BIB
We present an algebraic framework which simultaneously generalizes the notion of linear subspaces, matroids, valuated matroids, oriented matroids, and regular matroids. To do this, we first introduce algebraic objects called tracts which generalize both hyperfields in the sense of Krasner and partial fields in the sense of Semple and Whittle. We then define matroids over tracts; in fact, there are (at least) two natural notions of matroid in this general context, which we call weak and strong matroids. We give "cryptomorphic" axiom systems for such matroids in terms of circuits, Grassmann-Plücker functions, and dual pairs, and establish some basic duality results. We then explore sufficient criteria for the notions of weak and strong matroids to coincide. For example, if $F$ is a particularly nice kind of tract called a doubly distributive partial hyperfield, we show that the notions of weak and strong $F$-matroids coincide. We also give examples of tracts $F$ and weak $F$-matroids which are not strong. Our theory of matroids over tracts is closely related to, but more general than, "matroids over fuzzy rings" in the sense of Dress and Dress-Wenzel.
Bounds on Binary Locally Repairable Codes Tolerating Multiple Erasures
Recently, locally repairable codes has gained significant interest for their potential applications in distributed storage systems. However, most constructions in existence are over fields with size that grows with the number of servers, which makes the systems computationally expensive and difficult to maintain. Here, we study linear locally repairable codes over the binary field, tolerating multiple local erasures. We derive bounds on the minimum distance on such codes, and give examples of LRCs achieving these bounds. Our main technical tools come from matroid theory, and as a byproduct of our proofs, we show that the lattice of cyclic flats of a simple binary matroid is atomic.
Embedding simply connected 2-complexes in 3-space -- III. Constraint minors
We characterise the following property by six obstructions: given a graphic matroid $M$ and a set $X$ of its elements, when is $M$ the cycle matroid of a graph $G$ such that $X$ is a connected edge set in $G$?
Embedding simply connected 2-complexes in 3-space -- IV. Dual matroids
We introduce dual matroids of 2-dimensional simplicial complexes. Under certain necessary conditions, duals matroids are used to characterise embeddability in 3-space in a way analogous to Whitney's planarity criterion.
We further use dual matroids to extend a 3-dimensional analogue of Kuratowski's theorem to the class of 2-dimensional simplicial complexes obtained from simply connected ones by identifying vertices or edges.
Stanley-Reisner rings for quasi-arithmetic matroids
In this note we define a Stanley-Reisner ring for quasi-arithmetic matroids and more general structures. To this end, we define two types of CW complexes associated with a quasi-arithmetic matroid that generalize independence complexes of matroids. Then we use Stanley's construction of Stanley-Reisner rings for simplicial posets.
The rank function of a positroid and non-crossing partitions
Published
• View Publication
• BIB
A positroid is a special case of a realizable matroid, that arose from the study of totally nonnegative part of the Grassmannian by Postnikov. Postnikov demonstrated that positroids are in bijection with certain interesting classes of combinatorial objects, such as Grassmann necklaces and decorated permutations. The bases of a positroid can be described directly in terms of the Grassmann necklace and decorated permutation. In this paper, we show that the rank of an arbitrary set in a positroid can be computed directly from the associated decorated permutation using non-crossing partitions.
Improved bounds for Rota's Basis Conjecture
Published
• View Publication
• BIB
We prove that, if $B_1, \dots, B_n$ are disjoint bases of a rank-$n$ matroid, then there are at least $\lfloor{\frac{n}{6 \lceil{\log n}\rceil}}\rfloor$ disjoint transversals of $(B_1, \dots, B_n)$ that are also bases.
Some heterochromatic theorems for matroids
Published
• View Publication
• BIB
The anti-Ramsey number of Erdös, Simonovits and Sós from 1973 has become a classic invariant in Graph Theory. To study this invariant in Matroid Theory, we use a related invariant introduce by Arocha, Bracho and Neumann-Lara. The heterochromatic number $hc(H)$ of a non-empty hypergraph $H$ is the smallest integer $k$ such that for every colouring of the vertices of $H$ with exactly $k$ colours, there is a totally multicoloured hyperedge of $H$. Given a rank-$r$ matroid $M$, there are several hypergraphs associated to the matroid that we can consider. One is $C(M) $, the hypergraph where the points are the elements of the matroid and the hyperedges are the circuits of $M$. The other one is $B(M)$, where here the points are the elements and the hyperedges are the bases of the matroid. We prove that $hc(C(M))$ equals $r+1$ when $M$ is not the free matroid $U_{n,n}$, and that if $M$ is a paving matroid, then $hc(B(M))$ equals $r$. Then we explore the case when the hypergraph has the Hamiltonian circuits of the matroid as hyperedges, if any, for a class of paving matroids. We also extend the trivial observation of Erdös, Simonovits and Sós for the anti-Ramsey number for 3-cycles to 3-circuits in projective geometries over finite fields.