matroid ↗ reference
2208 papers tagged with this keyword
Modulus for bases of matroids
Published
• View Publication
• BIB
In this work, we explore the application of modulus in matroid theory, specifically, the modulus of the family of bases of matroids. This study not only recovers various concepts in matroid theory, including the strength, fractional arboricity, and principal partitions, but also offers new insights. In the process, we introduce the concept of a Beurling set. Additionally, our study revisits and provides an alternative approach to two of Edmonds's theorems related to the base packing and base covering problems. This is our stepping stone for establishing Fulkerson modulus duality for the family of bases. Finally, we provide a relationship between the base modulus of matroids and their dual matroids, and a complete understanding of the base $p$-modulus across all values of $p$.
A Nearly Finitary Matroid that is not $k$-Nearly Finitary
Published in The Electronic Journal of Combinatorics, Volume 31, Issue 1, P1.32, 2024
• View Publication
• BIB
The class of $k$-nearly finitary matroids for some natural number $k$ is a subclass of the class of nearly finitary matroids. A natural question is whether this inclusion is proper. We answer this question affirmatively by constructing a nearly finitary matroid that is not $k$-nearly finitary for any $k \in \mathbb{N}$.
Projective Geometries and Simple Pointed Matroids as $\mathbb{F}_1$-modules
We describe a fully faithful embedding of projective geometries, given in terms of closure operators, into $\mathbb{F}_1$-modules, in the sense of Connes and Consani. This factors through a faithful functor out of simple pointed matroids. This follows from our construction of a fully faithful embedding of weakly unital, commutative hypermagmas into $\fun$-modules. This embedding is of independent interest as it generalizes the classical Eilenberg-MacLane embedding for commutative monoids and recovers Segal's nerve construction for commutative partial monoids. For this reason, we spend some time elaborating its structure.
Combinatorial flag arrangements
We introduce combinatorial objects named matricubes that provide a generalization of the theory of matroids. As matroids provide a combinatorial axiomatization of hyperplane arrangements, matricubes provide a combinatorial axiomatization of arrangements of initial flags in a vector space. We give cryptomorphic axiomatic systems in terms of rank function, flats, circuits, and independent sets, and formulate a duality concept. We also provide precise links between matricubes, permutation arrays and matroids, and raise several open questions.
Tutte polynomials of matroids as universal valuative invariants
Published
• View Publication
• BIB
We provide a full classification of all families of matroids that are closed under duality and minors, and for which the Tutte polynomial is a universal valuative invariant. There are four inclusion-wise maximal families, two of which are the class of elementary split matroids and the class of graphic Schubert matroids. As a consequence of our framework, we derive new relations among Tutte polynomials of matroids. For example, we show that the Tutte polynomial of every matroid can be expressed uniquely as an integral combination of Tutte polynomials of graphic Schubert matroids.
Angular constraints on planar frameworks
Published
• View Publication
• BIB
Consider a collection of points and the sets of slopes or directions of the lines between pairs of points. It is known that the algebraic matroid on this set of elements is the well studied 2-dimensional rigidity matroid. This article analyzes a construction on top of the set of slopes given by an angle constraint system of incidences and angles. In this setting we provide a matricial rigidity formulation of the problem for colored graphs, an algebro-geometric reformulation, precise necessary conditions and a combinatorial characterization of the generic behaviour for a special case.
Matroids and semirings attached to toric singularity arrangements
Curve singularities are classical objects of study in algebraic geometry. The key player in their combinatorial structure is the {\it value semigroup}, or its compactification, the {\it value semiring}. One natural problem is to explicitly determine the value semirings of distinguished infinite classes of singularities, with a view to understanding their asymptotic properties. In this paper, we establish a matroidal framework for resolving this problem for singularities determined by arrangements of toric branches; and we obtain precise quantitative results in the case of line arrangements. Our results have implications for the topology of Severi varieties of unisingular rational curves in projective space.
Extending matroid classes closed under flats
Published
• View Publication
• BIB
We call a class $\mathcal{M}$ of matroids hereditary if it is closed under flats. We denote by $\mathcal{M}^{ext}$ the class of matroids $M$ that is in $\mathcal{M}$, or has an element $e$ such that $M \backslash e$ is in $\mathcal{M}$. We prove that if $\mathcal{M}$ has finitely many forbidden flats, then so does $\mathcal{M}^{ext} $. Discussing the interplay of graphs and matroids, we note the consequences of this result for graphs.
Paving Matroids: Defining Equations and Associated Varieties
Published
• View Publication
• BIB
We study paving matroids, their realization spaces, and their closures, along with matroid varieties and circuit varieties. Within this context, we introduce three distinct methods for generating polynomials within the associated ideals of these varieties across any dimension. Additionally, we explain the relationship between polynomials constructed using these different methods. We then compute a comprehensive and finite set of defining equations for matroid varieties associated with specific classes of paving matroids. Finally, we focus on the class of paving matroids of rank $3$, known as point-line configurations, which essentially contain simple matroids of rank $3$. Furthermore, we provide a decomposition for the associated circuit variety of point-line configurations, where all points have a degree less than $3$. Lastly, we present several examples applying our results and compare them with the known cases in the literature.
The Real Tropical Geometry of Neural Networks
We consider a binary classifier defined as the sign of a tropical rational function, that is, as the difference of two convex piecewise linear functions. The parameter space of ReLU neural networks is contained as a semialgebraic set inside the parameter space of tropical rational functions. We initiate the study of two different subdivisions of this parameter space: a subdivision into semialgebraic sets, on which the combinatorial type of the decision boundary is fixed, and a subdivision into a polyhedral fan, capturing the combinatorics of the partitions of the dataset. The sublevel sets of the 0/1-loss function arise as subfans of this classification fan, and we show that the level-sets are not necessarily connected. We describe the classification fan i) geometrically, as normal fan of the activation polytope, and ii) combinatorially through a list of properties of associated bipartite graphs, in analogy to covector axioms of oriented matroids and tropical oriented matroids. Our findings extend and refine the connection between neural networks and tropical geometry by observing structures established in real tropical geometry, such as positive tropicalizations of hypersurfaces and tropical semialgebraic sets.
Stembridge codes, permutahedral varieties, and their extensions
It is well known that the Eulerian polynomial is the Hilbert series of the cohomology of the permutahedral variety. Stanley obtained a formula showing that the cohomology carries a permutation representation of $\mathfrak{S}_n$. We answer a question of Stembridge on finding an explicit permutation basis of this cohomology. We observe that the Feichtner-Yuzvinsky basis for the Chow ring of the Boolean matroid is such a permutation basis, and then we construct an $\mathfrak{S}_n$-equivariant bijection between this basis and codes introduced by Stembridge, thereby giving a combinatorial proof of Stanley's formula. We obtain an analogous result for the stellahedral variety. We find a permutation basis of the permutation representation its cohomology carries. This involves the augmented Chow ring of a matroid introduced by Braden, Huh, Matherne, Proudfoot and Wang. Along the way, we obtain a general result on augmented Chow rings (which was also independently obtained by Eur) asserting that augmented Chow rings of matroids are actually Chow rings in the sense of Feichtner and Yuzvinsky. In the last part of the paper, we study enumerative aspects of the permutahedra and the stellohedra related to these permutation bases.
Combinatorics of Essential Sets for Positroids
Published in Journal of Algebra 2024
• View Publication
• BIB
Positroids are a family of matroids introduced by Postnikov in the study of non-negative Grassmannians. Postnikov identified several combinatorial objects in bijections with positroids, among which are bounded affine permutations. On the other hand, the notion of essential sets, introduced for permutations by Fulton, was used by Knutson in the study of the special family of interval rank positroids. We generalize Fulton's essential sets to bounded affine permutations. The bijection of the latter with positroids, allows study of the relationship between them. From the point of view of positroids, essential sets are maximally dependent cyclic interval. We define connected essential sets and prove that they give a facet description of the positroid polytope, as well as equations defining the positroid variety. We define a subset of essential sets, called core, which contains minimal rank conditions to uniquely recover a positroid. We provide an algorithm to retrieve the positroid satisfying the rank conditions in the core or any compatible rank condition on cyclic intervals.
Simplicial complexes with many facets are vertex decomposable
Published in Electron. J. Combin. 31 (2024), no. 4, P4.34
• View Publication
• BIB
Suppose $Δ$ is a pure simplicial complex on $n$ vertices having dimension $d$ and let $c = n-d-1$ be its codimension in the simplex. Terai and Yoshida proved that if the number of facets of $Δ$ is at least $\binom{n}{c}-2c+1$, then $Δ$ is Cohen-Macaulay. We improve this result by showing that these hypotheses imply the stronger condition that $Δ$ is vertex decomposable. We give examples to show that this bound is optimal, and that the conclusion cannot be strengthened to the class of matroids or shifted complexes. We explore an application to Simon's Conjecture and discuss connections to other results from the literature.
Quotients of M-convex sets and M-convex functions
Published
• View Publication
• BIB
We unify the study of quotients of matroids, polymatroids, valuated matroids and strong maps of submodular functions in the framework of Murota's discrete convex analysis. As a main result, we compile a list of ten equivalent characterizations of quotients for M-convex sets, generalizing existing formulations for (poly)matroids and submodular functions. We also initiate the study of quotients of M-convex functions, constructing a hierarchy of four separate characterizations. Our investigations yield new insights into the fundamental operation of induction, as well as the structure of linking sets and linking functions, which are generalizations of linking systems and bimatroids.
Ternary and quaternary positroids
A positroid is an ordered matroid realizable by a real matrix with all nonnegative maximal minors. Postnikov gave a map from ordered matroids to Grassmann necklaces, for which there is a unique positroid in each fiber of the map. Here, we give forbidden minor characterizations of ternary and quaternary positroids. We show that a positroid is ternary if and only if it is near-regular, and that all ternary positroids are formed by direct sums and $2$-sums of binary positroids and positroid ordered whirls. We prove that a positroid is quaternary if and only if it is $U^2_6, U^4_6,$ and $P_6$-free. Under the map from ordered matroids to Grassmann necklaces, we fully characterize the fibers of ternary positroids, referred to as their positroid envelope classes; in particular, the envelope class of a positroid ordered whirl of rank-$r$ contains exactly four matroids.
Homotopy type of shellable $q$-complexes and their homology groups
The theory of shellable simplicial complexes brings together combinatorics, algebra, and topology in a remarkable way. Initially introduced by Alder for $q$-simplicial complexes, recent work of Ghorpade, Pratihar, and Randrianarisoa extends the study of shellability to $q$-matroid complexes and determines singular homology groups for a subclass of these $q$-simplicial complexes. In this paper, we determine the homotopy type of shellable $q$-simplicial complexes. Moreover, we establish the shellability of order complexes from lexicographically shellable $q$-simplicial complexes, that include the $q$-matroid complexes. This results in a comprehensive determination of the homology groups for any lexicographically shellable $q$-complexes.
A direct proof of well-definedness for the polymatroid Tutte polynomial
Published
• View Publication
• BIB
For a polymatroid $P$ over $[n]$, Bernardi, Kálmán and Postnikov [\emph{Adv. Math.} 402 (2022) 108355] introduced the polymatroid Tutte polynomial $\mathscr{T}_{P}$ relying on the order $1<2<\cdots<n$ of $[n]$, which generalizes the classical Tutte polynomial from matroids to polymatroids. They proved the independence of this order by the fact that $\mathscr{T}_{P}$ is equivalent to another polynomial that only depends on $P$. In this paper, similar to the Tutte's original proof of the well-definedness of the Tutte polynomial defined by the summation over all spanning trees using activities depending on the order of edges, we give a direct and elementary proof of the well-definedness of the polymatroid Tutte polynomial.
Convex Geometry of Building Sets
Published
• View Publication
• BIB
Building sets were introduced in the study of wonderful compactifications of hyperplane arrangement complements and were later generalized to finite meet-semilattices. Convex geometries, the duals of antimatroids, offer a robust combinatorial abstraction of convexity. Supersolvable convex geometries and antimatroids appear in the study of poset closure operators, Coxeter groups, and matroid activities. We prove that the building sets on a finite meet-semilattice form a supersolvable convex geometry. As an application, we demonstrate that building sets and nested set complexes respect certain restrictions of finite meet-semilattices unifying and extending results of several authors.
Realizability of matroid quotients
We characterize the realizability of a quotient of matroids, over an infinite field $K$, in terms of the realizability over $K$ of a single matroid associated to it, called the Higgs major. This result extends to realizability of flag matroids. Further, we provide some applications to the relative realizability problem for Bergman fans in tropical geometry.
Rigid Matroid Categories
We consider three forms of composition of matroids, each of which extends the category of bimatroids to a rigid monoidal category. Many well-known constructions are functorial or defined by morphisms in these categories. Motivating examples include: deletion and contraction, 2-sum, series and parallel connections, the Tutte polynomial, gammoids, positroids, matroids representable over an infinite field, M-convex sets, and matroids associated to stable polynomials.