matroid ↗ reference
2208 papers tagged with this keyword
The smallest $I_5$-free and triangle-free binary matroids
We determine the smallest simple triangle-free binary matroids that have no five-element independent flat. This solves a special case of a conjecture of Nelson and Norin.
Patchworking Oriented Matroids
Published
• View Publication
• BIB
In a previous work, we gave a construction of (not necessarily realizable) oriented matroids from a triangulation of a product of two simplices. In this follow-up paper, we use a variant of Viro's patchworking to derive a topological representation of the oriented matroid directly from the polyhedral structure of the triangulation, hence finding a combinatorial manifestation of patchworking besides tropical algebraic geometry. We achieve this by rephrasing the patchworking procedure as a controlled cell merging process, guided by the structure of tropical oriented matroids. A key insight is a new promising technique to show that the final cell complex is regular.
Valuations and the Hopf Monoid of Generalized Permutahedra
Published
• View Publication
• BIB
The goal of this paper is to show that valuation theory and Hopf theory are compatible on the class of generalized permutahedra. We prove that the Hopf structure $\mathbf{GP}^+$ on these polyhedra descends, modulo the inclusion-exclusion relations, to an indicator Hopf monoid $\mathbb{I}(\mathbf{GP}^+)$ of generalized permutahedra that is isomorphic to the Hopf monoid of weighted ordered set partitions. This quotient Hopf monoid $\mathbb{I}(\mathbf{GP}^+)$ is cofree. It is the terminal object in the category of Hopf monoids with polynomial characters; this partially explains the ubiquity of generalized permutahedra in the theory of Hopf monoids.
This Hopf theoretic framework offers a simple, unified explanation for many new and old valuations on generalized permutahedra and their subfamilies. Examples include, for matroids: the Chern-Schwartz-MacPherson cycles, Eur's volume polynomial, the Kazhdan-Lusztig polynomial, the motivic zeta function, and the Derksen-Fink invariant; for posets: the order polynomial, Poincaré polynomial, and poset Tutte polynomial; for generalized permutahedra: the universal Tutte character and the corresponding class in the Chow ring of the permutahedral variety.
We obtain several algebraic and combinatorial corollaries; for example: the existence of the valuative character group of $\mathbf{GP}^+$, and the indecomposability of a nestohedron into smaller nestohedra.
Reconstructibility of matroid polytopes
Published in SIAM Journal on Discrete Mathematics 36 (2022), 490-508
• View Publication
• BIB
We specify what is meant for a polytope to be reconstructible from its graph or dual graph. And we introduce the problem of class reconstructibility, i.e., the face lattice of the polytope can be determined from the (dual) graph within a given class. We provide examples of cubical polytopes that are not reconstructible from their dual graphs. Furthermore, we show that matroid (base) polytopes are not reconstructible from their graphs and not class reconstructible from their dual graphs; our counterexamples include hypersimplices. Additionally, we prove that matroid polytopes are class reconstructible from their graphs, and we present a $O(n^3)$ algorithm that computes the vertices of a matroid polytope from its $n$-vertex graph. Moreover, our proof includes a characterisation of all matroids with isomorphic basis exchange graphs.
Even Circuits in Oriented Matroids
Published
• View Publication
• BIB
In this paper we generalise the even directed cycle problem, which asks whether a given digraph contains a directed cycle of even length, to orientations of regular matroids. We define non-even oriented matroids generalising non-even digraphs, which played a central role in resolving the computational complexity of the even dicycle problem. Then we show that the problem of detecting an even directed circuit in a regular matroid is polynomially equivalent to the recognition of non-even oriented matroids. Our main result is a precise characterisation of the class of non-even oriented bond matroids in terms of forbidden minors, which complements an existing characterisation of non-even oriented graphic matroids by Seymour and Thomassen.
Polypositroids
Published
• View Publication
• BIB
We initiate the study of a class of polytopes, which we coin polypositroids, defined to be those polytopes that are simultaneously generalized permutohedra (or polymatroids) and alcoved polytopes. Whereas positroids are the matroids arising from the totally nonnegative Grassmannian, polypositroids are "positive" polymatroids. We parametrize polypositroids using Coxeter necklaces and balanced graphs, and describe the cone of polypositroids by extremal rays and facet inequalities. We introduce a notion of (W,c)-polypositroid for a finite Weyl group W and a choice of Coxeter element c. We connect the theory of (W,c)-polypositroids to cluster algebras of finite type and to generalized associahedra. We discuss membranes, which are certain triangulated 2-dimensional surfaces inside polypositroids. Membranes extend the notion of plabic graphs from positroids to polypositroids.
Singular Hodge theory for combinatorial geometries
We introduce the intersection cohomology module of a matroid and prove that it satisfies Poincaré duality, the hard Lefschetz theorem, and the Hodge-Riemann relations. As applications, we obtain proofs of Dowling and Wilson's Top-Heavy conjecture and the nonnegativity of the coefficients of Kazhdan-Lusztig polynomials for all matroids.
Elastic elements in 3-connected matroids
Published
• View Publication
• BIB
It follows by Bixby's Lemma that if $e$ is an element of a $3$-connected matroid $M$, then either ${\rm co}(M\delete e)$, the cosimplification of $M\delete e$, or ${\rm si}(M/e)$, the simplification of $M/e$, is $3$-connected. A natural question to ask is whether $M$ has an element $e$ such that both ${\rm co}(M\delete e)$ and ${\rm si}(M/e)$ are $3$-connected. Calling such an element "elastic", in this paper we show that if $|E(M)|\ge 4$, then $M$ has at least four elastic elements provided $M$ has no $4$-element fans and, up to duality, $M$ has no $3$-separating set $S$ that is the disjoint union of a rank-$2$ subset and a corank-$2$ subset of $E(M)$ such that $M|S$ is isomorphic to a member or a single-element deletion of a member of a certain family of matroids.
Varieties of Tropical Ideals are Balanced
Published
• View Publication
• BIB
Tropical ideals, introduced in arXiv:1609.03838, define subschemes of tropical toric varieties. We prove that the top-dimensional parts of their varieties are balanced polyhedral complexes of the same dimension as the ideal. This means that every subscheme of a tropical toric variety defined by a tropical ideal has an associated class in the Chow ring of the toric variety. A key tool in the proof is that specialization of variables in a tropical ideal yields another tropical ideal; this plays the role of hyperplane sections in the theory. We also show that elimination theory (projection of varieties) works for tropical ideals as in the classical case. The matroid condition that defines tropical ideals is crucial for these results.
Congruence Normality of Simplicial Hyperplane Arrangements via Oriented Matroids
Published
• View Publication
• BIB
A catalogue of simplicial hyperplane arrangements was first given by Grünbaum in 1971. These arrangements naturally generalize finite Coxeter arrangements and the weak order through the poset of regions. For simplicial arrangements, posets of regions are in fact lattices. We update Grünbaum's catalogue, providing normals and invariants for all known sporadic simplicial arrangements with up to 37 lines. The weak order is known to be congruence normal, and congruence normality for simplicial arrangements can be determined using polyhedral cones called shards.
In this article, we provide additional structure to the catalogue of simplicial hyperplane arrangements by determining which arrangements always/sometimes/never lead to congruence normal lattices of regions. To this end, we use oriented matroids to recast shards as covectors to determine congruence normality of large hyperplane arrangements. As a consequence of this approach we derive in particular which lattices of regions of sporadic simplicial arrangements of rank 3 are always congruence normal. We also show that lattices of regions from finite Weyl groupoids of any rank are congruence normal.
On the Rank Functions of Powerful Sets
A set $S\subseteq 2^E$ of subsets of a finite set $E$ is \emph{powerful} if, for all $X\subseteq E$, the number of subsets of $X$ in $S$ is a power of 2. Each powerful set is associated with a non-negative integer valued function, which we call the rank function. Powerful sets were introduced by Farr and Wang as a generalisation of binary matroids, as the cocircuit space of a binary matroid gives a powerful set with the corresponding matroid rank function.
In this paper we investigate how structural properties of a powerful set can be characterised in terms of its rank function. Powerful sets have four types of degenerate elements, including loops and coloops. We show that certain evaluations of the rank function of a powerful set determine the degenerate elements. We introduce powerful multisets and prove some fundamental results on them. We show that a powerful set corresponds to a binary matroid if and only if its rank function is subcardinal. This paper answers the two conjectures made by Farr and Wang in the affirmative.
A Cantor-Bernstein theorem for infinite matroids
We give a common matroidal generalisation of `A Cantor-Bernstein theorem for paths in graphs' by Diestel and Thomassen and `A Cantor-Bernstein-type theorem for spanning trees in infinite graphs' by ourselves.
Intersection of a partitional and a general infinite matroid
Let $ E $ be a possibly infinite set and let $ M $ and $ N $ be matroids defined on $ E $. We say that the pair $ \{ M,N \} $ has the Intersection property if $ M $ and $ N $ share an independent set $ I $ admitting a bipartition $ I_M\sqcup I_N $ such that $ \mathsf{span}_M(I_M)\cup \mathsf{span}_N(I_N)=E $. The Matroid Intersection Conjecture of Nash-Williams says that every matroid pair has the Intersection property.
The conjecture is known and easy to prove in the case when one of the matroids is uniform and it was shown by Bowler and Carmesin that the conjecture is implied by its special case where one of the matroids is a direct sum of uniform matroids, i.e., is a partitional matroid. We show that if $ M $ is an arbitrary matroid and $ N $ is the direct sum of finitely many uniform matroids, then $ \{ M, N \} $ has the Intersection property.
Equivariant incidence algebras and equivariant Kazhdan-Lusztig-Stanley theory
Published
• View Publication
• BIB
We establish a formalism for working with incidence algebras of posets with symmetries, and we develop equivariant Kazhdan-Lusztig-Stanley theory within this formalism. This gives a new way of thinking about the equivariant Kazhdan-Lusztig polynomial and equivariant Z-polynomial of a matroid.
Information Hiding Using Matroid Theory
Published
• View Publication
• BIB
Inspired by problems in Private Information Retrieval, we consider the setting where two users need to establish a communication protocol to transmit a secret without revealing it to external observers. This is a question of how large a linear code can be, when it is required to agree with a prescribed code on a collection of coordinate sets. We show how the efficiency of such a protocol is determined by the derived matroid of the underlying linear communication code. Furthermore, we provide several sufficient combinatorial conditions for when no secret transmission is possible.
Matroids that classify forests
Published in Algebra and Discrete Mathematics 33 (2022), 128-150
• View Publication
• BIB
Elementary arguments show that a tree or forest is determined (up to isomorphism) by binary matroids defined using the adjacency matrix.
Rank axiom of modular supermatroids: A connection with directional DR submodular functions
Published
• View Publication
• BIB
A matroid has been one of the most important combinatorial structures since it was introduced by Whitney as an abstraction of linear independence. As an important property of a matroid, it can be characterized by several different (but equivalent) axioms, such as the augmentation, the base exchange, or the rank axiom.
A supermatroid is a generalization of a matroid defined on lattices. Here, the central question is whether a supermatroid can be characterized by several equivalent axioms similar to a matroid. Barnabei, Nicoletti, and Pezzoli characterized supermatroids on distributive lattices, and Fujishige, Koshevoy, and Sano generalized the results for cg-matroids (supermatroids on lower locally distributive lattices).
In this study, we focus on modular lattices, which are an important superclass of distributive lattices, and provide equivalent characterizations of supermatroids on modular lattices. We characterize supermatroids on modular lattices using the rank axiom in which the rank function is a directional DR-submodular function, which is a generalization of a submodular function introduced by the authors. Using a characterization based on rank functions, we further prove the strong exchange property of a supermatroid, which has application in optimization.
We also reveal the relation between the axioms of a supermatroid on lower semimodular lattices, which is a common superclass of a lower locally distributive lattice and a modular lattice.
Rota's Basis Conjecture holds asymptotically
Published
• View Publication
• BIB
Rota's Basis Conjecture is a well known problem from matroid theory, that states that for any collection of $n$ bases in a rank $n$ matroid, it is possible to decompose all the elements into $n$ disjoint rainbow bases. Here an asymptotic version of this is proved. We show that it is possible to find $n-o(n)$ disjoint rainbow independent sets of size $n-o(n)$.
A Whitney type theorem for surfaces: characterising graphs with locally planar embeddings
Published
• View Publication
• BIB
We prove that for any parameter r an r-locally 2-connected graph G embeds r-locally planarly in a surface if and only if a certain matroid associated to the graph G is co-graphic.
This extends Whitney's abstract planar duality theorem from 1932.
On the Activities and Partitions of the Vertex Subsets of Graphs
Published
• View Publication
• BIB
Crapo introduced a construction of interval partitions of the Boolean lattice for sets equipped with matroid structure. This construction, in the context of graphic matroids, is related to the notion of edge activities introduced by Tutte. This implies that each spanning subgraph of a connected graph can be constructed from edges of exactly one spanning tree by deleting a unique subset of internally active edges and adding a unique subset of externally active edges. Since the family of vertex independent sets does not give rise to a matroid structure we can not apply Crapo's construction on the vertex set when using the family of independent sets as generating sets. In this paper, we introduce the concept of vertex activities to tackle the problem of generating interval partitions of the Boolean lattice of the vertex set. We show how to generate a cover, present some properties related to vertex activities of some special maximal independent sets and consider some special graphs. Finally, we will show that level labellings in pruned graphs always generate a partition.