matroid ↗ reference
2156 papers tagged with this keyword
Vertex-shellings of Euclidean Oriented Matroids
A Euclidean oriented matroid program yields a partial ordering of the cocircuits of its cocircuit graph. We show that every linear extension of that ordering yields a topological sweep and induces a recursive atom-ordering (a shelling of the cocircuits) of the tope cell of the feasible region. We extend that sweep and obtain also a vertex-shelling of the whole oriented matroid and finally describe some connections to the notion of stackable zontopal tilings and to a counterexample of a conjecture of A. Mandel.
A framework unifying some bijections for graphs and its connection to Lawrence polytopes
Let $G$ be a connected graph. The Jacobian group (also known as the Picard group or sandpile group) of $G$ is a finite abelian group whose cardinality equals the number of spanning trees of $G$. The Jacobian group admits a canonical simply transitive action on the set $\mathcal{R}(G)$ of cycle-cocycle reversal classes of orientations of $G$. Hence one can construct combinatorial bijections between spanning trees of $G$ and $\mathcal{R}(G)$ to build connections between spanning trees and the Jacobian group. The BBY bijections and the Bernardi bijections are two important examples. In this paper, we construct a new family of such bijections that includes both. Our bijections depend on a pair of atlases (different from the ones in manifold theory) that abstract and generalize certain common features of the two known bijections. The definitions of these atlases are derived from triangulations and dissections of the Lawrence polytopes associated to $G$. The acyclic cycle signatures and cocycle signatures used to define the BBY bijections correspond to regular triangulations. Our bijections can extend to subgraph-orientation correspondences. Most of our results hold for regular matroids. We present our work in the language of fourientations, which are a generalization of orientations.
A binary-matroid analogue of a graph connectivity result of Jamison and Mulder
Let $G$ be a graph such that, whenever two vertices $x$ and $y$ of $G$ are joined by three internally disjoint paths, $x$ and $y$ are adjacent. Jamison and Mulder determined that the set of such graphs coincides with the set of graphs that can be built from cycles and complete graphs via 1-sums and parallel connections. This paper proves an analogous result for binary matroids.
Extreme coefficients of multiplicity Tutte polynomials
The multiplicity Tutte polynomial, which includes the arithmetic Tutte polynomial, is a generalization of the classical Tutte polynomial of matroids. In this paper, we obtain an expression of the general coefficient and the expressions of six extreme coefficients of multiplicity Tutte polynomials. In particular, an expression of the general coefficient and the expressions of corresponding extreme coefficients of classical Tutte polynomial of matroids are deduced.
A characterization of positroids, with applications to amalgams and excluded minors
Published in European Journal of Combinatorics, 2024
• View Publication
• BIB
A matroid of rank $r$ on $n$ elements is a positroid if it has a representation by an $r$ by $n$ matrix over $\mathbb{R}$, each $r$ by $r$ submatrix of which has nonnegative determinant. Earlier characterizations of connected positroids and results about direct sums of positroids involve connected flats and non-crossing partitions. We prove another characterization of positroids of a similar flavor and give some applications of the characterization. We show that if $M$ and $N$ are positroids and $E(M)\cap E(N)$ is an independent set and a set of clones in both $M$ and $N$, then the free amalgam of $M$ and $N$ is a positroid, and we prove a second result of that type. Also, we identify several multi-parameter infinite families of excluded minors for the class of positroids.
Representative set statements for delta-matroids and the Mader delta-matroid
We present representative sets-style statements for linear delta-matroids, which are set systems that generalize matroids, with important connections to matching theory and graph embeddings. Furthermore, our proof uses a new approach of sieving polynomial families, which generalizes the linear algebra approach of the representative sets lemma to a setting of bounded-degree polynomials. The representative sets statements for linear delta-matroids then follow by analyzing the Pfaffian of the skew-symmetric matrix representing the delta-matroid. Applying the same framework to the determinant instead of the Pfaffian recovers the representative sets lemma for linear matroids. Altogether, this significantly extends the toolbox available for kernelization.
As an application, we show an exact sparsification result for Mader networks: Let $G=(V,E)$ be a graph and $\mathcal{T}$ a partition of a set of terminals $T \subseteq V(G)$, $|T|=k$. A $\mathcal{T}$-path in $G$ is a path with endpoints in distinct parts of $\mathcal{T}$ and internal vertices disjoint from $T$. In polynomial time, we can derive a graph $G'=(V',E')$ with $T \subseteq V(G')$, such that for every subset $S \subseteq T$ there is a packing of $\mathcal{T}$-paths with endpoints $S$ in $G$ if and only if there is one in $G'$, and $|V(G')|=O(k^3)$. This generalizes the (undirected version of the) cut-covering lemma, which corresponds to the case that $\mathcal{T}$ contains only two blocks.
To prove the Mader network sparsification result, we furthermore define the class of Mader delta-matroids, and show that they have linear representations. This should be of independent interest.
From coordinate subspaces over finite fields to ideal multipartite uniform clutters
Take a prime power $q$, an integer $n\geq 2$, and a coordinate subspace $S\subseteq GF(q)^n$ over the Galois field $GF(q)$. One can associate with $S$ an $n$-partite $n$-uniform clutter $\mathcal{C}$, where every part has size $q$ and there is a bijection between the vectors in $S$ and the members of $\mathcal{C}$.
In this paper, we determine when the clutter $\mathcal{C}$ is ideal, a property developed in connection to Packing and Covering problems in the areas of Integer Programming and Combinatorial Optimization. Interestingly, the characterization differs depending on whether $q$ is $2,4$, a higher power of $2$, or otherwise. Each characterization uses crucially that idealness is a minor-closed property: first the list of excluded minors is identified, and only then is the global structure determined. A key insight is that idealness of $\mathcal{C}$ depends solely on the underlying matroid of $S$.
Our theorems also extend from idealness to the stronger max-flow min-cut property. As a consequence, we prove the Replication and $τ=2$ Conjectures for this class of clutters.
Pathwidth vs cocircumference
Published in SIAM Journal on Discrete Mathematics, 38/1:857-866, 2024
• View Publication
• BIB
The {\em circumference} of a graph $G$ with at least one cycle is the length of a longest cycle in $G$. A classic result of Birmelé (2003) states that the treewidth of $G$ is at most its circumference minus $1$. In case $G$ is $2$-connected, this upper bound also holds for the pathwidth of $G$; in fact, even the treedepth of $G$ is upper bounded by its circumference (Briański, Joret, Majewski, Micek, Seweryn, Sharma; 2023). In this paper, we study whether similar bounds hold when replacing the circumference of $G$ by its {\em cocircumference}, defined as the largest size of a {\em bond} in $G$, an inclusion-wise minimal set of edges $F$ such that $G-F$ has more components than $G$. In matroidal terms, the cocircumference of $G$ is the circumference of the bond matroid of $G$.
Our first result is the following `dual' version of Birmelé's theorem: The treewidth of a graph $G$ is at most its cocircumference. Our second and main result is an upper bound of $3k-2$ on the pathwidth of a $2$-connected graph $G$ with cocircumference $k$. Contrary to circumference, no such bound holds for the treedepth of $G$. Our two upper bounds are best possible up to a constant factor.
On $k$-neighborly reorientations of oriented matroids
We study the existence and the number of $k$-neighborly reorientations of an oriented matroid. This leads to $k$-variants of McMullen's problem and Roudneff's conjecture, the case $k=1$ being the original statements on complete cells in arrangements. Adding to results of Larman and García-Colín, we provide new bounds on the $k$-McMullen's problem and prove the conjecture for several ranks and $k$ by computer. Further, we show that $k$-Roudneff's conjecture for fixed rank and $k$ reduces to a finite case analyse. As a consequence we prove the conjecture for odd rank $r$ and $k=\frac{r-1}{2}$ as well as for rank $6$ and $k=2$ with the aid of the computer.
Matroidal Mixed Eulerian Numbers
We make a systematic study of matroidal mixed Eulerian numbers which are certain intersection numbers in the matroid Chow ring generalizing the mixed Eulerian numbers introduced by Postnikov. These numbers are shown to be valuative and obey a log-concavity relation. We establish recursion formulas and use them to relate matroidal mixed Eulerian numbers to the characteristic and Tutte polynomials, reproving results of Huh-Katz and Berget-Spink-Tseng. Generalizing Postnikov, we show that these numbers are equal to certain weighted counts of binary trees. Lastly, we study these numbers for perfect matroid designs, proving that they generalize the remixed Eulerian numbers of Nadeau-Tewari.
On composition and decomposition operations for vector spaces, graphs and matroids
In this paper, we study the ideas of composition and decomposition in the context of vector spaces, graphs and matroids. For vector spaces $\V_{AB},$ treated as collection of row vectors, with specified column set $A\uplus B,$ we define $\V_{SP}\lrarv \V_{PQ}, S\cap Q= \emptyset, $ to be the collection of all vectors $(f_S,f_Q)$ such that $(f_S,f_P)\in \V_{SP}, (f_P,f_Q)\in \V_{PQ}$. An analogous operation $\G_{SP}\lrarg \G_{PQ}\equivd \G_{PQ}$ can be defined in relation to graphs $\G_{SP}, \G_{PQ},$ on edge sets $S\uplus P, P\uplus Q,$ respectively in terms of an overlapping subgraph $\G_P$ which gets deleted in the right side graph (see for instance the notion of $k-sum$ \cite{oxley}). For matroids we define the `linking' $\M_{SP}\lrarm \M_{PQ} \equivd (\M_{SP}\vee \M_{PQ})\times (S\uplus Q)$, denoting the contraction operation by '$\times$'. In each case, we examine how to minimize the size of the `overlap' set $P,$ without affecting the right side entity. In the case of vector spaces, there is a polynomial time algorithm for achieving the minimum, which we present. Similar ideas work for graphs and for matroids under appropriate conditions.
Next we consider the problem of decomposition. Here, in the case of vector spaces, the problem is to decompose $\V_{SQ}$ as $\V_{SP}\lrarv \V_{PQ},$ with minimum size $P.$ We give a polynomial time algorithm for this purpose. In the case of graphs and matroids we give a solution to this problem under certain restrictions.
$h$-vector inequalities under weak maps
We study the behavior of $h$-vectors associated to matroid complexes under weak maps, or inclusions of matroid polytopes. Specifically, we show that the $h$-vector of the order complex of the lattice of flats of a matroid is component-wise non-increasing under a weak map. This result extends to the flag $h$-vector. We note that the analogous result also holds for independence complexes and rank-preserving weak maps.
Finite matchability under the matroidal Hall's condition
Aharoni and Ziv conjectured that if $ M $ and $ N $ are finitary matroids on $ E $, then a certain ``Hall-like'' condition is sufficient to guarantee the existence of an $ M $-independent spanning set of $ N $. We show that their condition ensures that every finite subset of $ E $ is $ N $-spanned by an $ M $-independent set.
Amalgamation of real zero polynomials
With this article, we hope to launch the investigation of what we call the real zero amalgamation problem. Whenever a polynomial arises from another polynomial by substituting zero for some of its variables, we call the second polynomial an extension of the first one. The real zero amalgamation problem asks when two (multivariate real) polynomials have a common extension (called amalgam) that is a real zero polynomial. We show that the obvious necessary conditions are not sufficient. Our counterexample is derived in several steps from a counterexample to amalgamation of matroids by Poljak and Turzík. On the positive side, we show that even a degree-preserving amalgamation is possible in three very special cases with three completely different techniques. Finally, we conjecture that amalgamation is always possible in the case of two shared variables. The analogue in matroid theory is true by another work of Poljak and Turzík. This would imply a very weak form of the Generalized Lax Conjecture.
Infinite matroids in tropical differential algebra
We consider a finite-dimensional vector space $W\subset K^E$ over an arbitrary field $K$ and an arbitrary set $E$. We show that the set $C(W)\subset 2^E$ consisting of the minimal supports of $W$ are the circuits of a matroid on $E$. In particular, we show that this matroid is cofinitary (hence, tame). When the cardinality of $K$ is large enough (with respect to the cardinality of $E$), then the set $trop(W)\subset 2^E$ consisting of all the supports of $W$ is a matroid itself.
Afterwards we apply these results to tropical differential algebraic geometry and study the set of supports $trop(Sol(Σ))\subset (2^{\mathbb{N}^{m}})^n$ of spaces of formal power series solutions $\text{Sol}(Σ)$ of systems of linear differential equations $Σ$ in differential variables $x_1,\ldots,x_n$ having coefficients in the ring ${K}[\![t_1,\ldots,t_m]\!]$. If $Σ$ is of differential type zero, then the set $C(Sol(Σ))\subset (2^{\mathbb{N}^{m}})^n$ of minimal supports defines a matroid on $E=[n]\times\mathbb{N}^{m}$, and if the cardinality of $K$ is large enough, then the set of supports $φ\circ trop(Sol(Σ))$ itself is a matroid on $E$ as well. By applying the fundamental theorem of tropical differential algebraic geometry (fttdag), we give a necessary condition under which the set of solutions $Sol(U)$ of a system $U$ of tropical linear differential equations to be a matroid.
We also give a counterexample to the fttdag for systems $Σ$ of linear differential equations over countable fields. In this case, the set $φ\circ trop(Sol(Σ))$ may not form a matroid.
On Optimization and Counting of Non-Broken Bases of Matroids
Given a matroid $M=(E,{\cal I})$, and a total ordering over the elements $E$, a broken circuit is a circuit where the smallest element is removed and an NBC independent set is an independent set in ${\cal I}$ with no broken circuit. The set of NBC independent sets of any matroid $M$ define a simplicial complex called the broken circuit complex which has been the subject of intense study in combinatorics. Recently, Adiprasito, Huh and Katz showed that the face of numbers of any broken circuit complex form a log-concave sequence, proving a long-standing conjecture of Rota.
We study counting and optimization problems on NBC bases of a generic matroid. We find several fundamental differences with the independent set complex: for example, we show that it is NP-hard to find the max-weight NBC base of a matroid or that the convex hull of NBC bases of a matroid has edges of arbitrary large length. We also give evidence that the natural down-up walk on the space of NBC bases of a matroid may not mix rapidly by showing that for some family of matroids it is NP-hard to count the number of NBC bases after certain conditionings.
Chain Tutte polynomials
The Tutte polynomial and Derksen's $\mathcal{G}$-invariant are the universal deletion-contraction and valuative matroid and polymatroid invariants, respectively. There are only a handful of well known invariants (like the matroid Kazhdan-Lusztig polynomials) between (in terms of fineness) the Tutte polynomial and Derksen's $\mathcal{G}$-invariant. The aim of this study is to define a spectrum of generalized Tutte polynomials to fill the gap between the Tutte polynomial and Derksen's $\mathcal{G}$-invariant. These polynomials are built by taking repeated convolution products of universal Tutte characters studied by Dupont, Fink, and Moci and using the framework of Ardila and Sanchez for studying valuative invariants. We develop foundational aspects of these polynomials by showing they are valuative on generalized permutahedra and present a generalized deletion-contraction formula. We apply these results on chain Tutte polynomials to obtain formulas for the Möbius polynomial, the opposite characteristic polynomial, a generalized Möbius polynomial, Ford's expected codimension of a matroid variety, and Derksen's $\mathcal{G}$-invariant.
Serial Exchanges in Random Bases
It was conjectured by Kotlar and Ziv that for any two bases $B_1$ and $B_2$ in a matroid $M$ and any subset $X \subset B_1$, there is a subset $Y$ and orderings $x_1 \prec x_2 \prec \cdots \prec x_k$ and $y_1 \prec y_2 \prec \cdots \prec y_k$ of $X$ and $Y$, respectively, such that for $i = 1, \dots ,k$, $B_1 - \{ x_1, \dots ,x_i\} + \{y_1, \dots ,y_k \}$ and $B_2 - \{ y_1, \dots ,y_i\} + \{x_1, \dots ,x_k \}$ are bases; that is, $X$ is serially exchangeable with $Y$. Let $M$ be a rank-$n$ matroid which is representable over $\mathbb{F}_q.$ We show that for $q>2,$ if bases $B_1$ and $B_2$ are chosen randomly amongst all bases of $M$, and if a subset $X$ of size $k \le \ln(n)$ is chosen randomly in $B_1$, then with probability tending to one as $n \rightarrow \infty$, there exists a subset $Y\subset B_2$ such that $X$ is serially exchangeable with $Y.$
Hardness of Finding Combinatorial Shortest Paths on Graph Associahedra
We prove that the computation of a combinatorial shortest path between two vertices of a graph associahedron, introduced by Carr and Devadoss, is NP-hard. This resolves an open problem raised by Cardinal. A graph associahedron is a generalization of the well-known associahedron. The associahedron is obtained as the graph associahedron of a path. It is a tantalizing and important open problem in theoretical computer science whether the computation of a combinatorial shortest path between two vertices of the associahedron can be done in polynomial time, which is identical to the computation of the flip distance between two triangulations of a convex polygon, and the rotation distance between two rooted binary trees. Our result shows that a certain generalized approach to tackling this open problem is not promising. As a corollary of our theorem, we prove that the computation of a combinatorial shortest path between two vertices of a polymatroid base polytope cannot be done in polynomial time unless P = NP. Since a combinatorial shortest path on the matroid base polytope can be computed in polynomial time, our result reveals an unexpected contrast between matroids and polymatroids.
Lorentzian polynomials on cones
Published
• View Publication
• BIB
Inspired by the theory of hyperbolic polynomials and Hodge theory, we develop the theory of Lorentzian polynomials on cones. This notion captures the Hodge-Riemann relations of degree zero and one. Motivated by fundamental properties of volume polynomials of Chow rings of simplicial fans, we define a class of multivariate polynomials which we call hereditary polynomials. We give a complete and easily checkable characterization of hereditary Lorentzian polynomials. This characterization is used to give elementary and simple proofs of the Heron-Rota-Welsh conjecture for the characteristic polynomial of a matroid, and the Alexandrov-Fenchel inequalities for convex bodies.
We then characterize Chow rings of simplicial fans which satisfy the Hodge-Riemann relations of degree zero and one, and we prove that this property only depends on the support of the fan.
Several different characterizations of Lorentzian polynomials on cones are provided.