matroid ↗ reference
2208 papers tagged with this keyword
Weighted Tutte-Grothendieck polynomials of graphs
Published
• View Publication
• BIB
In this paper, we introduce the concept of the weighted (harmonic) chromatic polynomials of graphs and discuss some of its properties. We also present the notion of the weighted (harmonic) Tutte--Grothendieck polynomials of graphs and give a generalization of the recipe theorem between the harmonic Tutte--Grothendieck polynomials graphs and the harmonic Tutte polynomials of matroids. Moreover, we give some constructions of the weighted (harmonic) Tutte--Grothendieck invariants for graphs and the weighted (harmonic) Tutte invariants for matroids. Finally, we give a remark on the categorification of the harmonic chromatic polynomials of graphs and harmonic Tutte polynomials of matroids.
Cluster-permutohedra and submanifolds of flag varieties with torus actions
Published in Int. Math. Res. Notices, rnad076, 2023
• View Publication
• BIB
In this paper we describe a relation between the notion of graphicahedron, introduced by Araujo-Pardo, Del Río-Francos, López-Dudet, Oliveros, and Schulte in 2010, and toric topology of manifolds of sparse isospectral Hermitian matrices. More precisely, we recall the notion of a cluster-permutohedron, a certain finite poset defined for a simple graph $Γ$. This poset is build as a combination of cosets of the symmetric group, and the geometric lattice of the graphical matroid of $Γ$. This poset is similar to the graphicahedron of $Γ$, in particular, 1-skeleta of both posets are isomorphic to Cayley graphs of the symmetric group. We describe the relation between cluster-permutohedron and graphicahedron using Galois connection and the notion of a core of a finite topology. We further prove that the face poset of the natural torus action on the manifold of isospectral $Γ$-shaped Hermitian matrices is isomorphic to the cluster-permutohedron. Using recent results in toric topology, we show that homotopy properties of graphicahedra may serve an obstruction to equivariant formality of isospectral matrix manifolds. We introduce a generalization of a cluster-permutohedron and describe the combinatorial structure of a large family of manifolds with torus actions, including Grassmann manifolds and partial flag manifolds.
Double circuits in bicircular matroids
The first non-trivial case of Hadwiger's conjecture for oriented matroids reads as follows. If $\mathcal{O}$ is an $M(K_4)$-free oriented matroid, then $\mathcal{O}$ admits a NZ $3$-coflow, i.e., it is $3$-colourable in the sense of Hochstättler-Nešetřil. The class of gammoids is a class of $M(K_4)$-free orientable matroids and it is the minimal minor-closed class that contains all transversal matroids. Towards proving the previous statement for the class of gammoids, Goddyn, Hochstättler, and Neudauer conjectured that every gammoid has a positive coline (equivalently, a positive double circuit), which implies that all orientations of gammoids are $3$-colourable. In this brief note we disprove Goddyn, Hochstättler, and Neudauers' conjecture by exhibiting a large class of bicircular matroids that do not contain positive double circuits.
Unlabeled sample compression schemes for oriented matroids
Published
• View Publication
• BIB
A long-standing sample compression conjecture asks to linearly bound the size of the optimal sample compression schemes by the Vapnik-Chervonenkis (VC) dimension of an arbitrary class. In this paper, we explore the rich metric and combinatorial structure of oriented matroids (OMs) to construct proper unlabeled sample compression schemes for the classes of topes of OMs bounded by their VC-dimension. The result extends to the topes of affine OMs, as well as to the topes of the complexes of OMs that possess a corner peeling. The main tool that we use are the solutions of certain oriented matroid programs.
Simplicial chromatic polynomials as Hilbert series of Stanley--Reisner rings
We find families of simplicial complexes where the simplicial chromatic polynomials defined by Cooper--de Silva--Sazdanovic \cite{CdSS} are Hilbert series of Stanley--Reisner rings of auxiliary simplicial complexes. As a result, such generalized chromatic polynomials are determined by $h$-vectors of auxiliary simplicial complexes. In addition to generalizing related results on graphs and matroids, the simplicial complexes used allow us to consider problems that are not necessarily analogues of those considered for graphs. Some examples include supports of cyclotomic polynomials, log concavity properties of a polynomial or some translate of the polynomial, and symmetry relations between a polynomial and its reciprocal polynomial.
If the $h$-vectors involed have sufficiently large entries, the Hilbert series are Hilbert polynomials of some $k$-algebra. As a consequence of connections between $h$-vectors and simplicial chromatic polynomials, we also find simplicial complexes whose $h$-vectors are determined by addition-contraction relations of simplicial complexes analogous to deletion-contraction relations of graphs. The constructions used involve generalizations of relations Euler characteristics of configuration spaces and chromatic polynomials of graphs.
On the Combinatorial Diameters of Parallel and Series Connections
Published
• View Publication
• BIB
The investigation of combinatorial diameters of polyhedra is a classical topic in linear programming due to its connection with the possibility of an efficient pivot rule for the simplex method. We are interested in the diameters of polyhedra formed from the so-called parallel or series connection of oriented matroids: oriented matroids are the natural way to connect representable matroid theory with the combinatorics of linear programming, and these connections are fundamental operations for the construction of more complicated matroids from elementary matroid blocks.
We prove that, for polyhedra whose combinatorial diameter satisfies the Hirsch-conjecture bound regardless of the right-hand sides in a standard-form description, the diameters of their parallel or series connections remain small in the Hirsch-conjecture bound. These results are a substantial step toward devising a diameter bound for all polyhedra defined through totally-unimodular matrices based on Seymour's famous decomposition theorem.
Our proof techniques and results exhibit a number of interesting features. While the parallel connection leads to a bound that adds just a constant, for the series connection one has to linearly take into account the maximal value in a specific coordinate of any vertex. Our proofs also require a careful treatment of non-revisiting edge walks in degenerate polyhedra, as well as the construction of edge walks that may take a `detour' to facets that satisfy the non-revisiting conjecture when the underlying polyhedron may not.
Ordering Circuits of Matroids
Published
• View Publication
• BIB
The cycles of a graph give a natural cyclic ordering to their edge-sets, and these orderings are consistent in that two edges are adjacent in one cycle if and only if they are adjacent in every cycle in which they appear together. An orderable matroid is one whose set of circuits admits such a consistent ordering. In this paper, we consider the question of determining which matroids are orderable. Although we are able to answer this question for non-binary matroids, it remains open for binary matroids. We give examples to provide insight into the potential difficulty of this question in general. We also show that, by requiring that the ordering preserves the three arcs in every theta-graph restriction of a binary matroid $M$, we guarantee that $M$ is orderable if and only if $M$ is graphic.
Matroids in toric topology
In this paper we study general torus actions on manifolds with isolated fixed points from combinatorial point of view. The main object of study is the poset of face submanifolds of such actions. We introduce the notion of a locally geometric poset -- the graded poset locally modelled by geometric lattices, and prove that for any torus action, the poset of its faces is locally geometric. Next we discuss the relations between posets of faces and GKM-theory. In particular, we define the face poset of an abstract GKM-graph and show how to reconstruct the face poset of a manifold from its GKM-graph.
Multitriangulations and tropical Pfaffians
Published in SIAM Journal on Applied Algebra and Geometry, 8(2) (2024), 302-332
• View Publication
• BIB
The $k$-associahedron $Ass_k(n)$ is the simplicial complex of $(k+1)$-crossing-free subgraphs of the complete graph with vertices on a circle. Its facets are called $k$-triangulations.
We explore the connection of $Ass_k(n)$ with the Pfaffian variety $Pf_k(n)\subset {\mathbb K}^{\binom{[n]}2}$ of antisymmetric matrices of rank $\le 2k$.
First, we characterize the Gröbner cone $Grob_k(n)\subset{\mathbb R}^{\binom{[n]}2}$ producing as initial ideal of $I(Pf_k(n))$ the Stanley-Reisner ideal of $Ass_k(n)$ (that is, the monomial ideal generated by $(k+1)$-crossings). This implies that $k$-triangulations are bases in the algebraic matroid of $Pf_k(n)$, a matroid closely related to low-rank completion of antisymmetric matrices.
We then look at the tropicalization of $Pf_k(n)$ and show that $Ass_k(n)$ embeds naturally as the intersection of $\operatorname{trop}(Pf_k(n))$ and $Grob_k(n)$, and is contained in the totally positive part $\operatorname{trop}^+( Pf_k(n))$ of it.
We show that for $k=1$ and for each triangulation $T$ of the $n$-gon, the projection of this embedding of $Ass_k(n)$ to the $n-3$ coordinates corresponding to diagonals in $T$ gives a complete polytopal fan, realizing the associahedron. This fan is linearly isomorphic to the $\mathbf g$-vector fan of the cluster algebra of type $A$, shown to be polytopal by Hohlweg, Pilaud and Stella in (2018).
Canonical binary $Δ$-matroids
Published
• View Publication
• BIB
The handle slide operation, originally defined for ribbon graphs, was extended to delta-matroids by I. Moffatt and E. Mphako-Bandab, who show that, using a delta-matroid analogue of handle slides, every binary delta-matroid in which the empty set is feasible can be written in a canonical form analogous to the canonical form for one-vertex maps on a surface. We provide a canonical form for binary delta-matroids without restriction on the feasibility of the empty set.
Cographic Splitting Of Graphic Matroids With Respect To A Set With Three Elements
Published in Graphs and Combinatorics, 97 (2023)
• View Publication
• BIB
In general, the splitting operation on binary matroids does not preserve the graphicness and cographicness properties of binary matroids. In this paper, we obtain a characterization of the class of graphic matroids whose splitting with respect to a set of three elements gives cographic matroids. We also provide an alternate proof to such characterization when the set contains two elements which was provided by Borse et al.
Exchange distance of basis pairs in split matroids
The basis exchange axiom has been a driving force in the development of matroid theory. However, the axiom gives only a local characterization of the relation of bases, which is a major stumbling block to further progress, and providing a global understanding of the structure of matroid bases is a fundamental goal in matroid optimization.
While studying the structure of symmetric exchanges, Gabow proposed the problem that any pair of bases admits a sequence of symmetric exchanges. A different extension of the exchange axiom was proposed by White, who investigated the equivalence of compatible basis sequences. These conjectures suggest that the family of bases of a matroid possesses much stronger structural properties than we are aware of.
In the present paper, we study the distance of basis pairs of a matroid in terms of symmetric exchanges. In particular, we give a polynomial-time algorithm that determines a shortest possible exchange sequence that transforms a basis pair into another for split matroids, a class that was motivated by the study of matroid polytopes from a tropical geometry point of view. As a corollary, we verify the above mentioned long-standing conjectures for this large class. Being a subclass of split matroids, our result settles the conjectures for paving matroids as well.
First-order logic axiomatization of metric graph theory
Published
• View Publication
• BIB
The main goal of this note is to provide a First-Order Logic with Betweenness (FOLB) axiomatization of the main classes of graphs occurring in Metric Graph Theory, in analogy to Tarski's axiomatization of Euclidean geometry. We provide such an axiomatization for weakly modular graphs and their principal subclasses (median and modular graphs, bridged graphs, Helly graphs, dual polar graphs, etc), basis graphs of matroids and even $Δ$-matroids, partial cubes and their subclasses (ample partial cubes, tope graphs of oriented matroids and complexes of oriented matroids, bipartite Pasch and Peano graphs, cellular and hypercellular partial cubes, almost-median graphs, netlike partial cubes), and Gromov hyperbolic graphs. On the other hand, we show that some classes of graphs (including chordal, planar, Eulerian, and dismantlable graphs), closely related with Metric Graph Theory, but defined in a combinatorial or topological way, do not allow such an axiomatization.
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.