arXiv++ Combinatorics

The motivation of this work is to extend the techniques of higher order random walks on simplicial complexes to analyze mixing times of Markov chains for combinatorial problems. Our main result is a sharp upper bound on the second eigenvalue of the down-up walk on a pure simplicial complex, in terms of the second eigenvalues of its links. We show some applications of this result in analyzing mixing times of Markov chains, including sampling independent sets of a graph and sampling common independent sets of two partition matroids.

We prove that if $ M $ and $ N $ are finitary matroids on a common countable edge set $ E $ then they admit a common independent set $I $ such that there is a bipartition $ E=E_{M}\cup E_{N} $ for which $ I\cap E_M $ spans $ E_M $ in $ M $ and $ I\cap E_N $ spans $ E_N $ in $ N $. It answers positively the Matroid Intersection Conjecture of Nash-Williams in the countable case.

In recent work of Cachazo, Guevara, Mizera and the author, a generalization of the biadjoint scattering amplitude $m^{(k)}(\mathbb{I}_n,\mathbb{I}_n)$ was introduced as an integral over the moduli space of $n$ points in $\mathbb{CP}^{k-1}$, with value a sum of certain rational functions on the kinematic space $\mathcal{K}_{k,n}$. It was shown there for $m^{(3)}(\mathbb{I}_6,\mathbb{I}_6)$ and later by Cachazo and Rojas that collections of poles appearing in $m^{(3)}(\mathbb{I}_7,\mathbb{I}_7)$ are compatible exactly when they are dual to collections of rays which generate the maximal faces of a polyhedral complex known as the (nonnegative) tropical Grassmannian. In this note, we derive a remarkable planar basis for the space of generalized kinematic invariants which coincides in the case $k=2$ with usual standard planar multi-particle basis for the kinematic space. We implement in Mathematica the action on formal linear combinations of planar matroid subdivisions of a boundary operator which, together with the planar basis, determines compatibility for any given poles appearing in the expansion of $m^{(k)}(\mathbb{I}_n,\mathbb{I}_n)$, by computing a certain combinatorial non-crossing condition on the second hypersimplicial faces $Δ_{2,n-(k-2)}$ of $Δ_{k,n}$. The algorithms are implemented in an accompanying Mathematica notebook and are evaluated on existing tables of rays, in the form of tropical Plucker vectors, to tabulate the finest planar subdivisions of $Δ_{3,8},Δ_{3,9}$ and $ Δ_{4,8}$, or equivalently the set of maximal cones for the corresponding nonnegative tropical Grassmannians.

A matroid is a machine capturing linearity of mathematical objects and producing combinatorial structures. Matroid structure arises everywhere since linearity is a ubiquitous concept. One natural way to obtain matroids is by considering hyperplane arrangements, which give rise to convex polytopes called matroid polytopes. Much research has been conducted on these three areas: matroids, matroid polytopes, and hyperplane arrangements. However, substantial gaps in our knowledge remain, and the correspondence diagram between those areas needs to be more extensive. For instance, currently, there is no matroid counterpart of a matroid subdivision, and only some matroid subdivisions are associated with stable hyperplane arrangements. Moreover, we need a deeper understanding of the face structure of a matroid polytope and how to glue or subdivide base polytopes; the latter requires overcoming Mnev's universality theorem. Another interesting question is whether the birational geometry of hyperplane arrangements can be implemented over matroids. In this paper, we develop a theory that integrates the three areas into a trinity relationship and provide solutions to the aforementioned questions while answering as many as possible.

Bárány's colorful generalization of Carathéodory's Theorem combines geometrical and combinatorial constraints. Kalai-Meshulam (2005) and Holmsen (2016) generalized Bárány's theorem by replacing color classes with matroid constraints. In this note, we obtain corresponding results in tropical convexity, generalizing the tropical colorful Carathéodory Theorem of Gaubert-Meunier (2010). Our proof is inspired by geometric arguments and is reminiscent of matroid intersection. In particular, we show that the topological approach fails in this setting. We also discuss tropical colorful linear programming and show that it is NP-complete. We end with thoughts and questions on generalizations to polymatroids, anti-matroids as well as examples and matroid simplicial depth.

We introduce the notion of sum-matroids and show its association with sum-rank metric codes. As a consequence, some results for sum-rank metric codes by Martínez-Peñas are generalized for sum-matroids. The sum-matroids generalize the notions of matroids and $q$-matroids. We define the generalized weights for sum-matroids and prove a Wei-type duality theorem which generalizes the analogous cases for matroids and q-matroids.

The Catalan numbers form a sequence that counts over 200 combinatorial objects. A remarkable property of the Catalan numbers, which extends to these objects, is its recursive definition; that is, we can determine the $n^{th}$ object from previous ones. Matroids are combinatorial objects that generalize the notion of linear independence and have connections with other fields of mathematics. A family of matroids, called unit interval positroids (UIP), are Catalan objects induced by the antiadjacency matrices of unit interval orders. Associated to each UIP is the set of externally ordered bases, which due to Las Vergnas, produces a lattice after adjoining a bottom element. We study the poset of externally ordered UIP bases and the implied Catalan-induced recursion. Explicitly, we describe an algorithm for constructing the lattice of a rank $n$ UIP from the lattice of lower ranks. Using their inherent combinatorial structure, we define a simple formula to enumerate the bases for a given UIP.

Flag matroids are a rich family of Coxeter matroids that can be characterized using pairs of matroids that form a quotient. We consider a class of matroids called positroids, introduced by Postnikov, and utilize their combinatorial representations to explore characterizations of flag positroids. Given a uniform positroid, we give a purely combinatorial characterization of a family of positroids that form quotients with it. We state this in terms of their associated decorated permutations. In proving our characterization we also fully describe the circuits of this family.

For a natural number $c$, a $c$-arrangement is an arrangement of dimension $c$ subspaces satisfying the following condition: the sum of any subset of the subspaces has dimension a multiple of $c$. Matroids arising as normalized rank functions of $c$-arrangements are also known as multilinear matroids. We prove that it is algorithmically undecidable whether there exists a $c$ such that a given matroid has a $c$-arrangement representation, or equivalently whether the matroid is multilinear. It follows that certain network coding problems are also undecidable. In the proof, we introduce a generalized Dowling geometry to encode an instance of the uniform word problem for finite groups in matroids of rank three. The $c$-arrangement condition gives rise to some difficulties and their resolution is the main part of the paper.

A matroid is Gorenstein if its toric variety is. Hibi, Lasoń, Matsuda, Michałek, and Vodička provided a full graph-theoretic classification of Gorenstein matroids associated to simple graphs. We extend this classification to multigraphs.

A clutter is \emph{$k$-wise intersecting} if every $k$ members have a common element, yet no element belongs to all members. We conjecture that, for some integer $k\geq 4$, every $k$-wise intersecting clutter is non-ideal. As evidence for our conjecture, we prove it for $k=4$ for the class of binary clutters. Two key ingredients for our proof are Jaeger's $8$-flow theorem for graphs, and Seymour's characterization of the binary matroids with the sums of circuits property. As further evidence for our conjecture, we also note that it follows from an unpublished conjecture of Seymour from 1975. We also discuss connections to the chromatic number of a clutter, projective geometries over the two-element field, uniform cycle covers in graphs, and quarter-integral packings of value two in ideal clutters.

Spanning trees are a representative example of linear matroid bases that are efficiently countable. Perfect matchings of Pfaffian bipartite graphs are a countable example of common bases of two matrices. Generalizing these two examples, Webb (2004) introduced the notion of Pfaffian pairs as a pair of matrices for which counting of their common bases is tractable via the Cauchy-Binet formula. This paper studies counting on linear matroid problems extending Webb's work. We first introduce "Pfaffian parities" as an extension of Pfaffian pairs to the linear matroid parity problem, which is a common generalization of the linear matroid intersection problem and the matching problem. We enumerate combinatorial examples of Pfaffian pairs and parities. The variety of the examples illustrates that Pfaffian pairs and parities serve as a unified framework of efficiently countable discrete structures. Based on this framework, we derive celebrated counting theorems, such as Kirchhoff's matrix-tree theorem, Tutte's directed matrix-tree theorem, the Pfaffian matrix-tree theorem, and the Lindström-Gessel-Viennot lemma. Our study then turns to algorithmic aspects. We observe that the fastest randomized algorithms for the linear matroid intersection and parity problems by Harvey (2009) and Cheung-Lau-Leung (2014) can be derandomized for Pfaffian pairs and parities. We further present polynomial-time algorithms to count the number of minimum-weight solutions on weighted Pfaffian pairs and parities. Our algorithms make use of Frank's weight splitting lemma for the weighted matroid intersection problem and the algebraic optimality criterion of the weighted linear matroid parity problem given by Iwata-Kobayashi (2017).

If a pure simplicial complex is partitionable, then its $h$-vector has a combinatorial interpretation in terms of any partitioning of the complex. Given a non-partitionable complex $Δ$, we construct a complex $Γ\supseteq Δ$ of the same dimension such that both $Γ$ and the relative complex $(Γ,Δ)$ are partitionable. This allows us to rewrite the $h$-vector of any pure simplicial complex as the difference of two $h$-vectors of partitionable complexes, giving an analogous interpretation of the $h$-vector of a non-partitionable complex. By contrast, for a given complex $Δ$ it is not always possible to find a complex $Γ$ such that both $Γ$ and $(Γ,Δ)$ are Cohen-Macaulay. We characterize when this is possible, and we show that the construction of such a $Γ$ in this case is remarkably straightforward. We end with a note on a similar notion for shellability and a connection to Simon's conjecture on extendable shellability for uniform matroids.

Motivated by Gröbner basis theory for finite point configurations, we define and study the class of "standard complexes" associated to a matroid. Standard complexes are certain subcomplexes of the independence complex that are invariant under matroid duality. For the lexicographic term order, the standard complexes satisfy a deletion-contraction-type recurrence. We explicitly determine the lexicographic standard complexes for lattice path matroids using classical bijective combinatorics.

In the list coloring problem for two matroids, we are given matroids $M_1=(S,{\cal I}_1)$ and $M_2=(S,{\cal I}_2)$ on the same ground set $S$, and the goal is to determine the smallest number $k$ such that given arbitrary lists $L_s$ of $k$ colors for $s\in S$, it is possible to choose a color from each list so that every monochromatic set is independent in both $M_1$ and $M_2$. When both $M_1$ and $M_2$ are partition matroids, Galvin's list coloring theorem for bipartite graphs gives the answer. One of the main open questions is to decide if there exists a constant $c$ such that if the coloring number is $k$ (i.e., the ground set can be partitioned into $k$ common independent sets), then the list coloring number is at most $c\cdot k$. We consider matroid classes that appear naturally in combinatorial optimization problems, namely graphic matroids, paving matroids and gammoids. We show that if both matroids are from these fundamental classes, then the list coloring number is at most twice the coloring number. The proof is based on a new approach that reduces a matroid to a partition matroid without increasing its coloring number too much, and might be of independent combinatorial interest. In particular, we show that if $M=(S,{\cal I})$ is a matroid in which $S$ can be partitioned into $k$ independent sets, then there exists a partition matroid $N=(S,{\cal J})$ with ${\cal J}\subseteq{\cal I}$ in which $S$ can be partitioned into (A) $k$ independent sets if $M$ is a transversal matroid, (B) $2k-1$ independent sets if $M$ is a graphic matroid, (C) $\lceil kr/(r-1)\rceil$ independent sets if $M$ is a paving matroid of rank $r$, and (D) $2k-2$ independent sets if $M$ is a gammoid. We extend our results by showing that the existence of a matroid $N$ with $χ(N)\leq 2χ(M)$ implies the existence of a matroid $N'$ with $χ(N')\leq 2χ(M')$ for every truncation $M'$ of $M$.

We consider the Ehrhart polynomial of hypersimplices. It is proved that these polynomials have positive coefficients and we give a combinatorial formula for each of them. This settles a problem posed by Stanley and also proves that uniform matroids are Ehrhart positive, an important and yet unsolved particular case of a conjecture posed by De Loera et al. To this end, we introduce a new family of numbers that we call weighted Lah numbers and study some of their properties.

Let $ρ$ be a non-negative integer. A $ρ$-removed uniform matroid is a matroid obtained from a uniform matroid by removing a collection of $ρ$ disjoint bases. We present a combinatorial formula for Kazhdan-Lusztig polynomials of $ρ$-removed uniform matroids, using skew Young Tableaux. Even for uniform matroids, our formula is new, gives manifestly positive integer coefficients, and is more manageable than known formulas.

Given a homogeneous ideal $I$ in a polynomial ring over a field, one may record, for each degree $d$ and for each polynomial $f\in I_d$, the set of monomials in $f$ with nonzero coefficients. These data collectively form the tropicalization of $I$. Tropicalizing ideals induces a "matroid stratification" on any (multigraded) Hilbert scheme. Very little is known about the structure of these stratifications. In this paper, we explore many examples of matroid strata, including some with interesting combinatorial structure, and give a convenient way of visualizing them. We show that the matroid stratification in the Hilbert scheme of points $(\mathbb{P}^1)^{[k]}$ is generated by all Schur polynomials in $k$ variables. We end with an application to the $T$-graph problem of $(\mathbb{A}^2)^{[n]}$; classifying this graph is a longstanding open problem, and we establish the existence of an infinite class of edges.

A conjecture of Graver from 1991 states that the generic $3$-dimensional rigidity matroid is the unique maximal abstract $3$-rigidity matroid with respect to the weak order on matroids. Based on a close similarity between the generic $d$-dimensional rigidity matroid and the generic $C_{d-2}^{d-1}$-cofactor matroid from approximation theory, Whiteley made an analogous conjecture in 1996 that the generic $C_{d-2}^{d-1}$-cofactor matroid is the unique maximal abstract $d$-rigidity matroid for all $d\geq 2$. We verify the case $d=3$ of Whiteley's conjecture in this paper. A key step in our proof is to verify a second conjecture of Whiteley that the `double V-replacement operation' preserves independence in the generic $C_2^1$-cofactor matroid.

We showed in the first paper of this series that the generic $C_2^1$-cofactor matroid is the unique maximal abstract $3$-rigidity matroid. In this paper we obtain a combinatorial characterization of independence in this matroid. This solves the cofactor counterpart of the combinatorial characterization problem for the rigidity of generic 3-dimensional bar-joint frameworks. We use our characterization to verify that the counterparts of conjectures of Dress (on the rank function) and Lovász and Yemini (which suggested a sufficient connectivity condition for rigidity) hold for this matroid.