arXiv++ Combinatorics

Given a matroid or flag of matroids we introduce several broad classes of polynomials satisfying Deletion-Contraction identities, and study their singularities. There are three main families of polynomials captured by our approach: matroidal polynomials on a matroid (including matroid basis polynomials, configuration polynomials, Tutte polynomials); flag matroidal polynomials on a flag matroid; and Feynman integrands. The last class includes under general kinematics the inhomogeneous Feynman diagram polynomials which naturally arise in the Lee--Pomeransky form of the Feynman integral attached to a Feynman diagram. Assuming that the primary underlying matroid is connected and of positive rank (and in the flag case, has rank at least two), we show: a) in positive characteristic, homogeneous matroidal polynomials are strongly $F$-regular; b) over an algebraically closed field of characteristic zero, the associated jet schemes of (flag) matroidal polynomials as well as those of Feynman integrands are irreducible. Consequently, all these polynomials have rational singularities (or are smooth).

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.

Motivated by the vast literature of quantum automorphism groups of graphs, we define and study quantum automorphism groups of matroids. A key feature of quantum groups is that there are many quantizations of a classical group, and this phenomenon manifests in the cryptomorphic characterizations of matroids. Our primary goals are to understand, using theoretical and computational techniques, the relationship between these quantum groups and to find when these quantum groups exhibit quantum symmetry. Finally, we prove a matroidal analog of Lovász's theorem characterizing graph isomorphisms in terms of homomorphism counts.

We associate a matroid $M(\widetildeΓ/Γ)$ to a harmonic double cover $π:\widetildeΓ\to Γ$ of metric graphs. The matroid $M(\widetildeΓ/Γ)$ is a geometric interpretation of Zaslavsky's signed graphic matroid. We show that the principalization $\mathrm{Prym}_p(\widetildeΓ/Γ)$ of the tropical Prym variety of the double cover can be reconstructed from $M(\widetildeΓ/Γ)$, equipped with certain additional decorations. We describe the simplification of the matroid $M(\widetildeΓ/Γ)$ and show that the Prym variety does not change under simplification.

The matroidal version of the Merino--Welsh conjecture states that the Tutte polynomial $T_M(x,y)$ of any matroid $M$ without loops and coloops satisfies that $$\max(T_M(2,0),T_M(0,2))\geq T_M(1,1).$$ Equivalently, if the Merino--Welsh conjecture is true for all matroids without loops and coloops, then the following inequalities are also satisfied for all matroids without loops and coloops: $$T_M(2,0)+T_M(0,2)\geq 2T_M(1,1),$$ and $$T_M(2,0)T_M(0,2)\geq T_M(1,1)^2.$$ We show a counter-example for these inequalities.

We introduce the poset of biflats of a matroid $M$, a Lagrangian analog of the lattice of flats of $M$, and study the topology of its order complex, which we call the biflats complex. This work continues the study of the Lagrangian combinatorics of matroids, which was recently initiated by work of Ardila, Denham and Huh. We show the biflats complex contains two distinguished subcomplexes: the conormal complex of $M$ and the simplicial join of the Bergman complexes of $M$ and $M^\perp$, the matroidal dual of $M$. Our main theorems give sequences of elementary collapses of the biflats complex onto the conormal complex and the join of the Bergman complexes of $M$ and $M^\perp$. These collapses give a combinatorial proof that the biflats complex, conormal complex and the join of the Bergman complexes of $M$ and $M^\perp$ are all simple homotopy equivalent. Although simple homotopy equivalent, these complexes have many different combinatorial properties. We collect and prove a list of such properties.

Let $R=K[x_1,\ldots,x_n]$ be a polynomial ring in $n$ variables over a field $K$ and $I$ be a matroidal ideal of degree $d$. Let $\astab(I)$ and $\dstab(I)$ be the smallest integers $l$ and $k$, for which $\Ass(I^l)$ and $\depth(R/I^k)$ stabilize, respectively. In this paper, we show that $\astab(I),\dstab(I)\leq\min\{d,\ell(I)\}$, where $\ell(I)$ is the analytic spread of $I$. Furthermore, by a counterexample we give a negative answer to the conjecture of Herzog and Qureshi \cite{HQ} about stability of matroidal ideals.

Starting from any finite simple graph, one can build a reflexive polytope known as a symmetric edge polytope. The first goal of this paper is to show that symmetric edge polytopes are intrinsically matroidal objects: more precisely, we prove that two symmetric edge polytopes are unimodularly equivalent precisely when they share the same graphical matroid. The second goal is to show that one can construct a generalized symmetric edge polytope starting from every regular matroid. Just like in the usual case, we are able to find combinatorial ways to describe the facets and an explicit regular unimodular triangulation of any such polytope. Finally, we show that the Ehrhart theory of the polar of a given generalized symmetric edge polytope is tightly linked to the structure of the lattice of flows of the dual regular matroid.

We introduce the notion of lattice path matroidal subdivisions, or LPM subdivisions for short, and show that these subdivisions are regular and hence the weight vectors for them lie in the Dressian. This leads us to explore the structure of the set of these weights inside the Dressian and owing to the fact that Lattice path matroids are positroids, we move to the positive Dressian which in turn is equal to the positive tropical Grassmannian, an object of immense interest currently in Physics. This is related to the amplituhedron and positive configuration space, which we describe here and wish to explore these connections further.

Matroidal entropy functions are entropy functions in the form $\mathbf{h} = \log v \cdot \mathbf{r}_M$ , where $v \ge 2$ is an integer and $\mathbf{r}_M$ is the rank function of a matroid $M$. They can be applied into capacity characterization and code construction of information theory problems such as network coding, secret sharing, index coding and locally repairable code. In this paper, by constructing the variable strength arrays of some matroid operations, we characterized matroidal entropy functions induced by regular matroids and some matroids with the same p-characteristic set as uniform matroid $U_{2,4}$.

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.

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.

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.

We present extensions of the Colorful Helly Theorem for $d$-collapsible and $d$-Leray complexes, providing a common generalization to the matroidal versions of the theorem due to Kalai and Meshulam, the ``very colorful" Helly theorem introduced by Arocha, Bárány, Bracho, Fabila and Montejano, and the ``semi-intersecting" colorful Helly theorem proved by Montejano and Karasev. As an application, we obtain the following extension of Tverberg's Theorem: Let $A$ be a finite set of points in $\mathbb{R}^d$ with $|A|>(r-1)(d+1)$. Then, there exist a partition $A_1,\ldots,A_r$ of $A$ and a subset $B\subset A$ of size $(r-1)(d+1)$, such that $\cap_{i=1}^r \text{conv}( (B\cup\{p\})\cap A_i)\neq\emptyset$ for all $p\in A\setminus B$. That is, we obtain a partition of $A$ into $r$ parts that remains a Tverberg partition even after removing all but one arbitrary point from $A\setminus B$.

We define two families of determinantal random spanning subgraphs of a finite connected graph, one supported by acyclic spanning subgraphs (spanning forests) with fixed number of connected components, the other by connected spanning subgraphs with fixed number of independent cycles. Each family generalizes the uniform spanning tree and the generating functions of these probability measures generalize the classical Kirchhoff and Symanzik polynomials. We call Symanzik spanning forests the elements of the acyclic spanning subgraphs family, and single out a particular determinantal mixture of these, having as kernel a normalized Laplacian on $1$-forms, which we call the Laplacian spanning forest. Our proofs rely on a set of integral and real or complex (which we call geometric) multilinear identies involving cycles, coboundaries, and forests on graphs. We prove these identities using classical pieces of the algebraic topology of graphs and the exterior calculus applied to finite determinantal point processes, both of which we treat in a self-contained way. We emphasize the matroidal nature of our constructions, thereby showing how the above two families of random spanning subgraphs are dual to one another, as well as possible generalisations.

We consider the relationship between a matroidal analogue of the degree $a$ Cayley-Bacharach property (finite sets of points failing to impose independent conditions on degree $a$ hypersurfaces) and geometric properties of matroids. If the matroid polytopes in question are nestohedra, we show that the minimal degree matroidal Cayley-Bacharach property denoted $MCB(a)$ is determined by the structure of the building sets used to construct them. This analysis also applies for other degrees $a$. Also, it does not seem to affect the combinatorial equivalence class of the matroid polytope. However, there are close connections to minimal nontrivial degrees $a$ and the geometry of the matroids in question for paving matroids (which are conjecturally generic among matroids of a given rank) and matroids constructed out of supersolvable hyperplane arrangements. The case of paving matroids is still related to with properties of building sets since it is closely connected to (Hilbert series of) Chow rings of matroids, which are combinatorial models of the cohomology of wonderful compactifications. Finally, our analysis of supersolvable line and hyperplane arrangements give a family of matroids which are natrually related to independence conditions imposed by points one plane curves or can be analyzed recursively.

We prove that the initial degenerations of the flag variety admit closed immersions into finite inverse limits of flag matroid strata, where the diagrams are derived from matroidal subdivisions of a suitable flag matroid polytope. As an application, we prove that the initial degenerations of $\operatorname{F\ell}^{\circ}(n)$ -- the open subvariety of the complete flag variety $\operatorname{F\ell}(n)$ consisting of flags in general position -- are smooth and irreducible when $n\leq 4$. We also study the Chow quotient of $\operatorname{F\ell}(n)$ by the diagonal torus of $\operatorname{PGL}(n)$, and show that, for $n=4$, this is a log crepant resolution of its log canonical model.

Let $M$ be a matroid satisfying a matroidal analogue of the Cayley-Bacharach condition. Given a number $k \ge 2$, we show that there is no nontrivial bound on ranks of a $k$-tuple of flats covering the underlying set of $M$. This addresses a question of Levinson-Ullery motivated by earlier results which show that bounding the number of points satisfying the Cayley-Bacharach condition forces them to lie on low-dimensional linear subspaces. We also explore the general question what matroids satisfy the matroidal Cayley-Bacharach condition of a given degree and its relation to the geometry of generalized permutohedra and graphic matroids.

This paper is concerned with the relationship between the discrete and the continuous decreasing minimization problem on base-polyhedra. The continuous version (under the name of lexicographically optimal base of a polymatroid) was solved by Fujishige in 1980, with subsequent elaborations described in his book (1991). The discrete counterpart of the dec-min problem (concerning M-convex sets) was settled only recently by the present authors, with a strongly polynomial algorithm to compute not only a single decreasing minimal element but also the matroidal structure of all decreasing minimal elements and the dual object called the canonical partition. The objective of this paper is to offer a complete picture on the relationship between the continuous and discrete dec-min problems on base-polyhedra by establishing novel technical results and integrating known results. In particular, we derive proximity results, asserting the geometric closeness of the decreasingly minimal elements in the continuous and discrete cases, by revealing the relation between the principal partition and the canonical partition. We also describe decomposition-type algorithms for the discrete case following the approach of Fujishige and Groenevelt.

Let $K$ be a field and $R=K[x_1,\ldots, x_n]$ be the polynomial ring in $n$ variables over a field $K$. Let $Δ$ be a simplicial complex on $n$ vertices and $I=I_Δ$ be its Stanley-Reisner ideal. In this paper, we show that if $I$ is a matroidal ideal then the following conditions are equivalent: $(i)$ $Δ$ is sequentially Cohen-Macaulay; $(ii)$ $Δ$ is shellable; $(iii)$ $Δ$ is vertex decomposable. Also, if $I$ is a minimally generated by $u_1,\ldots,u_s$ such that $s\leq 3$ or ${\rm supp}(u_i)\cup {\rm supp}(u_j)=\{x_1,\ldots,x_n\}$ for all $i\neq j$, then $Δ$ is vertex decomposable. Furthermore, we prove that if $I$ is a monomial ideal of degree $2$ then $I$ is weakly polymatroidal if and only if $I$ has linear quotients if and only if $I$ is vertex splittable.