matroid ↗ reference
2156 papers tagged with this keyword
A duality theorem for the ic-resurgence of edge ideals
Published in European J. Combin. 109 (2023), paper no. 103656, 18 pp
• View Publication
• BIB
The aim of this work is to use linear programming and polyhedral geometry to prove a duality formula for the ic-resurgence of edge ideals. We show that the ic-resurgence of the edge ideal $I$ of a clutter $\mathcal{C}$ and the ic-resurgence of the edge ideal $I^\vee$ of the blocker $\mathcal{C}^\vee$ of $\mathcal{C}$ coincide. If $\mathcal{C}$ is the clutter of bases of certain uniform matroids, we recover a formula for the resurgence of $I$, and if $\mathcal{C}$ is a connected non-bipartite graph with a perfect matching, we show a formula for the Waldschmidt constant of $I^\vee$.
A Lower Bound for the Rank of Matroid Intersection
Matroid is a generalization of many fundamental objects in combinatorial mathematics , and matroid intersection problem is a classical subject in combinatorial optimization . However , only the intersection of two matroids are well understood . The solution of the intersection problem of more than three matroids is proved to be \textbf{NP-hard} . We will give a lower bound estimate on the maximal cardinality of the common independent sets in matroid intersections . We will also study some properties of the intersection of more than two matroids and deduce some analogous results for Edmonds' Min-max theorems for matroids intersection .
Lattice of Integer Flows and the Poset of Strongly Connected Orientations for Regular Matroids
Published
• View Publication
• BIB
A 2010 result of Amini provides a way to extract information about the structure of the graph from the geometry of the Voronoi polytope of the lattice of integer flows (which determines the graph up to two-isomorphism). Specifically, Amini shows that the face poset of the Voronoi polytope is isomorphic to the poset of strongly connected orientations of subgraphs. This answers a question raised by Caporaso and Viviani, and Amini also proves a dual result for integer cuts. In this paper we generalise Amini's result to regular matroids; in this context the theorem for integer cuts becomes a direct consequence of the theorem for integer flows, by making duality explicit as matroid duality.
Lattice path matroids and quotients
Published
• View Publication
• BIB
We characterize the quotients among lattice path matroids (LPMs) in terms of their diagrams. This characterization allows us to show that ordering LPMs by quotients yields a graded poset, whose rank polynomial has the Narayana numbers as coefficients.
Furthermore, we study full lattice path flag matroids and show that -- contrary to arbitrary positroid flag matroids -- they correspond to points in the nonnegative flag variety. At the basis of this result lies an identification of certain intervals of the strong Bruhat order with lattice path flag matroids.
A recent conjecture of Mcalmon, Oh, and Xiang states a characterization of quotients of positroids. We use our results to prove this conjecture in the case of LPMs.
Lattice points in slices of prisms
Published in Can. J. Math.-J. Can. Math. 77 (2025) 1013-1040
• View Publication
• BIB
We conduct a systematic study of the Ehrhart theory of certain slices of rectangular prisms. Our polytopes are generalizations of the hypersimplex and are contained in the larger class of polypositroids introduced by Lam and Postnikov; moreover, they coincide with polymatroids satisfying the strong exchange property up to an affinity. We give a combinatorial formula for all the Ehrhart coefficients in terms of the number of weighted permutations satisfying certain compatibility properties. This result proves that all these polytopes are Ehrhart positive. Additionally, via an extension of a result by Early and Kim, we give a combinatorial interpretation for all the coefficients of the $h^*$-polynomial. All of our results provide a combinatorial understanding of the Hilbert functions and the $h$-vectors of all algebras of Veronese type, a problem that had remained elusive up to this point. A variety of applications are discussed, including expressions for the volumes of these slices of prisms as weighted combinations of Eulerian numbers; some extensions of Laplace's result on the combinatorial interpretation of the volume of the hypersimplex; a multivariate generalization of the flag Eulerian numbers and refinements; and a short proof of the Ehrhart positivity of the independence polytope of all uniform matroids.
Minimal non-orientable matroids in a projective plane
Published in Journal of Combinatorial Theory Series A. 114 (2007), 175-183
• Search Publication
We construct a new family of minimal non-orientable matroids of rank three. Some of these matroids embed in Desarguesian projective planes. This answers a question of Ziegler: for every prime power $q$, find a minimal non-orientable submatroid of the projective plane over the $q$-element field.
Harmonic Conjugation in Harmonic Matroids
Published in Discrete Mathematics. 309 (2009), 2365-2372
• Search Publication
We study a generalization of the concept of harmonic conjugation from projective geometry and full algebraic matroids to a larger class of matroids called \emph{harmonic matroids}. We use harmonic conjugation to construct a projective plane of prime order in harmonic matroids without using the axioms of projective geometry. As a particular case we have a combinatorial construction of a projective plane of prime order in full algebraic matroids.
Lindström's conjecture on a class of algebraically non-representable matroids
Published in European Journal of Combinatorics, 27 (2006), 896-905
• Search Publication
Gordon introduced a class of matroids $M(n)$, for prime $n\ge 2$, such that $M(n)$ is algebraically representable, but only in characteristic $n$. Lindström proved that $M(n)$ for general $n\ge 2$ is not algebraically representable if $n>2$ is an even number, and he conjectured that if $n$ is a composite number it is not algebraically representable. We introduce a new kind of matroid called {\it harmonic matroids}, of which full algebraic matroids are an example. We prove the conjecture in this more general case.
Exterior algebras in matroid theory
Published in manuscripta math. 172, 427-442 (2023)
• View Publication
• BIB
Ordered blueprints are algebraic objects that generalize monoids and ordered semirings, and $\mathbb{F}_1^{\pm}$-algebras are ordered blueprints that have an element $ε$ that acts as $-1$. In this work we introduce an analogue of the exterior algebra for $\mathbb{F}_1^{\pm}$-algebras that provides a new cryptomorphism for matroids. We also show how to recover the usual exterior algebra if the $\mathbb{F}_1^{\pm}$-algebra comes from a ring, and the Giansiracusa Grassmann algebra if the $\mathbb{F}_1^{\pm}$-algebra comes from an idempotent semifield.
A new discrete theory of pseudoconvexity
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Combinatorics (May 3, 2023) dmtcs:9255
• View Publication
• BIB
Recently geometric hypergraphs that can be defined by intersections of pseudohalfplanes with a finite point set were defined in a purely combinatorial way. This led to extensions of earlier results about points and halfplanes to pseudohalfplanes, including polychromatic colorings and discrete Helly-type theorems about pseudohalfplanes.
Here we continue this line of research and introduce the notion of convex sets of such pseudohalfplane hypergraphs. In this context we prove several results corresponding to classical results about convexity, namely Helly's Theorem, Carathéodory's Theorem, Kirchberger's Theorem, Separation Theorem, Radon's Theorem and the Cup-Cap Theorem. These results imply the respective results about pseudoconvex sets in the plane defined using pseudohalfplanes.
It turns out that most of our results can be also proved using oriented matroids and topological affine planes (TAPs) but our approach is different from both of them. Compared to oriented matroids, our theory is based on a linear ordering of the vertex set which makes our definitions and proofs quite different and perhaps more elementary. Compared to TAPs, which are continuous objects, our proofs are purely combinatorial and again quite different in flavor. Altogether, we believe that our new approach can further our understanding of these fundamental convexity results.
Matchings in matroids over abelian groups
Published
• View Publication
• BIB
We formulate and prove matroid analogues of results concerning matchings in groups. A matching in an abelian group $(G,+)$ is a bijection $f:A\to B$ between two finite subsets $A,B$ of $G$ satisfying $a+f(a)\notin A$ for all $a\in A$. A group $G$ has the matching property if for every two finite subsets $A,B \subset G$ of the same size with $0 \notin B$, there exists a matching from $A$ to $B$. In [19] it was proved that an abelian group has the matching property if and only if it is torsion-free or cyclic of prime order. Here we consider a similar question in a matroid setting. We introduce an analogous notion of matching between matroids whose ground sets are subsets of an abelian group $G$, and we obtain criteria for the existence of such matchings. Our tools are classical theorems in matroid theory, group theory and additive number theory.
Equivariant Kazhdan-Lusztig theory of paving matroids
Published
• View Publication
• BIB
We study the way in which equivariant Kazhdan-Lusztig polynomials, equivariant inverse Kazhdan-Lusztig polynomials, and equivariant Z-polynomials of matroids change under the operation of relaxation of a collection of stressed hyperplanes. This allows us to compute these polynomials for arbitrary paving matroids, which we do in a number of examples, including various matroids associated with Steiner systems that admit actions of Mathieu groups.
Hypergraph characterization of split matroids
We provide a combinatorial study of split matroids, a class that was motivated by the study of matroid polytopes from a tropical geometry point of view. A nice feature of split matroids is that they generalize paving matroids, while being closed under duality and taking minors. Furthermore, these matroids proved to be useful in giving exact asymptotic bounds for the dimension of the Dressian, and also implied new results on the rays of the tropical Grassmannians.
In the present paper, we introduce the notion of elementary split matroids, a subclass of split matroids that contains all connected split matroids. We give a hypergraph characterization of elementary split matroids in terms of independent sets, and show that the proposed class is closed not only under duality and taking minors but also truncation. We further show that, in contrast to split matroids, the proposed class can be characterized by a single forbidden minor. As an application, we provide a complete list of binary split matroids.
Proto-exact categories of modules over semirings and hyperrings
Published
• View Publication
• BIB
\emph{Proto-exact categories}, introduced by Dyckerhoff and Kapranov, are a generalization of Quillen exact categories which provide a framework for defining algebraic K-theory and Hall algebras in a \emph{non-additive} setting. This formalism is well-suited to the study of categories whose objects have strong combinatorial flavor.
In this paper, we show that the categories of modules over semirings and hyperrings - algebraic structures which have gained prominence in tropical geometry - carry proto-exact structures.
In the first part, we prove that the category of modules over a semiring is equipped with a proto-exact structure; modules over an idempotent semiring have a strong connection to matroids. We also prove that the category of algebraic lattices $\mathcal{L}$ has a proto-exact structure, and furthermore that the subcategory of $\mathcal{L}$ consisting of finite lattices is equivalent to the category of finite $\mathbb{B}$-modules as proto-exact categories, where $\mathbb{B}$ is the \emph{Boolean semifield}. We also discuss some relations between $\mathcal{L}$ and geometric lattices (simple matroids) from this perspective.
In the second part, we prove that the category of modules over a hyperring has a proto-exact structure. In the case of finite modules over the \emph{Krasner hyperfield} $\mathbb{K}$, a well-known relation between finite $\mathbb{K}$-modules and finite incidence geometries yields a combinatorial interpretation of exact sequences.
Graphs with $G^p$-connected medians
Published
• View Publication
• BIB
The median of a graph $G$ with weighted vertices is the set of all vertices $x$ minimizing the sum of weighted distances from $x$ to the vertices of $G$. For any integer $p\ge 2$, we characterize the graphs in which, with respect to any non-negative weights, median sets always induce connected subgraphs in the $p$th power $G^p$ of $G$. This extends some characterizations of graphs with connected medians (case $p=1$) provided by Bandelt and Chepoi (2002). The characteristic conditions can be tested in polynomial time for any $p$. We also show that several important classes of graphs in metric graph theory, including bridged graphs (and thus chordal graphs), graphs with convex balls, bucolic graphs, and bipartite absolute retracts, have $G^2$-connected medians. Extending the result of Bandelt and Chepoi that basis graphs of matroids are graphs with connected medians, we characterize the isometric subgraphs of Johnson graphs and of halved-cubes with connected medians.
Ehrhart Theory of Paving and Panhandle Matroids
Published
• View Publication
• BIB
We show that the base polytope $P_M$ of any paving matroid $M$ can be systematically obtained from a hypersimplex by slicing off certain subpolytopes, namely base polytopes of lattice path matroids corresponding to panhandle-shaped Ferrers diagrams. We calculate the Ehrhart polynomials of these matroids and consequently write down the Ehrhart polynomial of $P_M$, starting with Katzman's formula for the Ehrhart polynomial of a hypersimplex. The method builds on and generalizes Ferroni's work on sparse paving matroids. Combinatorially, our construction corresponds to constructing a uniform matroid from a paving matroid by iterating the operation of stressed-hyperplane relaxation introduced by Ferroni, Nasr, and Vecchi, which generalizes the standard matroid-theoretic notion of circuit-hyperplane relaxation. We present evidence that panhandle matroids are Ehrhart positive and describe a conjectured combinatorial formula involving chain forests and Eulerian numbers from which Ehrhart positivity of panhandle matroids will follow. As an application of the main result, we calculate the Ehrhart polynomials of matroids associated with Steiner systems and finite projective planes, and show that they depend only on their design-theoretic parameters: for example, while projective planes of the same order need not have isomorphic matroids, their base polytopes must be Ehrhart equivalent.
Short proof of a theorem of Brylawski on the coefficients of the Tutte polynomial
Published
• View Publication
• BIB
In this short note we show that a system $M=(E,r)$ with a ground set $E$ of size $m$ and (rank) function $r: 2^E\to \mathbb{Z}_{\geq 0}$ satisfying $r(S)\leq \min(r(E),|S|)$ for every set $S\subseteq E$, the Tutte polynomial $$T_M(x,y):=\sum_{S\subseteq E}(x-1)^{r(E)-r(S)}(y-1)^{|S|-r(S)},$$ written as $T_M(x,y)=\sum_{i,j}t_{ij}x^iy^j$, satisfies that for any integer $h \geq 0$, we have $$\sum_{i=0}^h\sum_{j=0}^{h-i}\binom{h-i}{j}(-1)^jt_{ij}=(-1)^{m-r}\binom{h-r}{h-m},$$ where $r=r(E)$, and we use the convention that when $h<m$, the binomial coefficient $\binom{h-r}{h-m}$ is interpreted as $0$. This generalizes a theorem of Brylawski on matroid rank functions and $h<m$, and a theorem of Gordon for $h\leq m$ with the same assumptions on the rank function. The proof presented here is significantly shorter than the previous ones. We only use the fact that the Tutte polynomial $T_M(x,y)$ simplifies to $(x-1)^{r(E)}y^{|E|}$ along the hyperbola $(x-1)(y-1)=1$.
Generalized weights of codes over rings and invariants of monomial ideals
Published
• View Publication
• BIB
We develop an algebraic theory of supports for $R$-linear codes of fixed length, where $R$ is a finite commutative unitary ring. A support naturally induces a notion of generalized weights and allows one to associate a monomial ideal to a code. Our main result states that, under suitable assumptions, the generalized weights of a code can be obtained from the graded Betti numbers of its associated monomial ideal. In the case of $\mathbb{F}_q$-linear codes endowed with the Hamming metric, the ideal coincides with the Stanley-Reisner ideal of the matroid associated to the code via its parity-check matrix. In this special setting, we recover the known result that the generalized weights of an $\mathbb{F}_q$-linear code can be obtained from the graded Betti numbers of the ideal of the matroid associated to the code. We also study subcodes and codewords of minimal support in a code, proving that a large class of $R$-linear codes is generated by its codewords of minimal support.
Biclosed sets, quasitrivial semigroups and oriented matroid
Published
• View Publication
• BIB
In this paper, we establish a one-to-one correspondence between the set of biclosed sets in an irreducible root system of type $A_n$ and the set of quasitrivial semigroup structures on a set with $n+1$ elements. Building on this correspondence, we first generalize this bijection to provide a semigroup structural characterization of the biclosed sets in a standard parabolic subset. In particular, this allows us to derive an enumeration result for the elements in a parabolic weak order of type $A$. Secondly, we define an index for an arbitrary subset of the root system of type $A_n$, which quantifies their deviation from from being biclosed, and prove that such an index coincides with the associativity index of the associated quasitrivial magma. Thirdly, we define type $B_n$ quasitrivial semigroups, and prove that they are in bijective with biclosed sets in a type $B_n$ root system. Finally, by identifying certain biclosed sets with total preorders, we present a purely combinatorial proof that a root system of type $A$ possesses an oriented matroid structure.
Matroids and the space of torus-invariant subvarieties of the Grassmannian with given homology class
Published in Journal of Pure and Applied Algebra, 2025
• View Publication
• BIB
Let $\mathbb{G}(d,n)$ be the complex Grassmannian of affine $d$-planes in $n$-space. We study the problem of characterizing the set of algebraic subvarieties of $\mathbb{G}(d,n)$ invariant under the action of the maximal torus $T$ and having given homology class $λ$. We give a complete answer for the case where $λ$ is the class of a $T$-orbit, and partial results for other cases, using techniques inspired by matroid theory. This problem has applications to the computation of the Euler-Chow series for Grassmannians of projective lines: we calculate the series for 3-cycles in $\mathbb{G}(2,4)$ and carry out partial calculations for $\mathbb{G}(2,5)$.