arXiv++ Combinatorics

The lattice of flats $\mathcal L_M$ of a matroid $M$ is combinatorially well-behaved and, when $M$ is realizable, admits a geometric model in the form of a "Schubert variety of hyperplane arrangement". In contrast, the lattice of flats of a polymatroid exhibits many combinatorial pathologies and admits no similar geometric model. We address this situation by defining the lattice $\mathcal L_P$ of "combinatorial flats" of a polymatroid $P$. Combinatorially, $\mathcal L_P$ exhibits good behavior analogous to that of $\mathcal L_M$: it is graded, determines $P$ when $P$ is simple, and is top-heavy. When $P$ is realizable over a field of characteristic 0, we show that $\mathcal L_P$ is modeled by "the Schubert variety of a subspace arrangement". Our work generalizes a number of results of Ardila-Boocher and Huh-Wang on Schubert varieties of hyperplane arrangements; however, the geometry of Schubert varieties of subspace arrangements is noticeably more complicated than that of Schubert varieties of hyperplane arrangements. Many natural questions remain open.

We present various ways of determining generalized weight polynomials of a matroid $M$, and we recall how one can find the generalized weight spectra of a linear code, given these polynomials, for the matroid determined by any generator matrix of the code. A main goal is to give coding theorists different ways to determine these polynomials. We describe how one can find the generalized weight polynomials of any matroid $M$, directly from its lattice of flats, and we also show how one can find them from the Poincare series (in this case polynomials) of the associated Orlik-Solomon algebras of matroids arising as contractions of the flats of $M$. This opens for using information about broken circuits of the matroids to determine generalized weight polynomials. We also recall the well-known connection between the Orlik-Solomon algebra of a matroid, and Whitney numbers obtained by order homology, and use it to show how one can describe weight polynomials in terms of Whitney numbers from order homology of the matroid and its contraction of flats. We recall briefly a well-known relation between the Orlik-Solomon algebra of a matroid $M$, which is representable over the complex numbers, and de Rham homology numbers obtained from complements of intersections of hyperplanes in a hyperplane arrangement corresponding to $M$. We also describe a way to find the generalized weight polynomials of a matroid in terms of polynomials defined in connection with its lattice of cyclic flats. In a simple running example we show how one can calculate the generalized weight polynomials in different ways, including both the methods presented in this paper, and selected methods developed in earlier papers. We also include a less simple example with the projective Reed-Muller code $PR_3(2,2).$

Let $M$ be a simple matroid and let $B(M)$ be the graded Möbius algebra of its lattice of flats. The ordered-basis weights of flats define an inner product for which the adjoints of atom multiplication become ordinary coordinate derivatives under the basis-polynomial realization. From this, we construct a canonical global lowering operator $D_β$ which acts as ordinary differentiation on a canonical ``radial'' copy of a truncated polynomial algebra. Allowing both $D_β$ and the coordinate derivatives to act produces a graded cyclic module with Hilbert series \[ H_{β,M}(q)=\sum_{k=0}^r h_k^β(M)q^k. \] We give examples of matroids with the same Derksen $\mathcal G$-invariant and the same classical apolar Hilbert series but different $H_β$. Hence $H_β$ cannot be the restriction to simple matroids of a valuative matroid invariant. We conjecture that $H_β$ is log-concave and top-heavy in differential degree. For the generalized theta family containing Larson's counterexample to Whitney log-concavity, we compute the first four coefficients and prove the critical log-concavity inequality. Exact computation verifies both conjectures for all $950$ simple matroids on eight elements.

The topological zeta function of a matroid is a rational function as well as a valuative invariant of the matroid, encoding rich combinatorial information. We analyze topological zeta functions of matroids from the vantage point of several matroid operations and operations on lattices of flats. We prove a clean recurrence relation for the Möbius inversion and use it to describe the topological zeta function of the truncation and free extension of a matroid in relation with that of the original matroid. We also characterize the Taylor coefficients of the topological zeta functions for matroids in terms of a matroid invariant, which we call the girth, and generalize an earlier result by Jensen-Kutler-Usatine.

Inspired by Bruggesser-Mani's line shellings of polytopes, we introduce line shellings for the lattice of flats of a matroid: given a normal complex for a Bergman fan of a matroid induced by a building set, we show that the lexicographic order of the coordinates of its vertices is a shelling order. This gives a new proof of Björner's classical result that the order complex of the lattice of flats of a matroid is shellable, and demonstrates shellability for all nested set complexes for matroids.

We introduce and develop the theory of UMEL-shellable posets. These are posets equipped with an edge-lexicographical labeling satisfying certain uniformity and monotonicity properties. This framework encompasses classical families of combinatorial geometries, including uniform matroids, projective and affine geometries, braid matroids of type A and B, and all Dowling geometries. It also comprises all rank-uniform supersolvable lattices, and therefore also all rank-uniform distributive lattices. Our main result establishes real-rootedness phenomena for the Chow polynomials, the augmented Chow polynomials, and the chain polynomials associated with those posets, thus making simultaneous progress towards conjectures by Ferroni--Schröter, Huh--Stevens, and Athanasiadis--Kalampogia-Evangelinou. In the special case of lattices of flats of matroids, the (augmented) Chow polynomials coincide with the Hilbert--Poincaré series of the Chow ring associated to the smooth and generally noncompact toric varieties of the (augmented) Bergman fan of the matroid, whereas the chain polynomial encodes the Hilbert--Poincaré series of the Stanley--Reisner ring of the Bergman complex of the matroid. Therefore, these real-rootedness results are tightly linked to the study of these algebro-geometric structures in matroid theory.

The problem of finding the minimum rank of a matrix with a given zero-nonzero pattern has been generalized to a class of matroids associated to the pattern. The fundamental lower bound known as the triangle number still holds in this generalized setting. But the matroid minimum rank of a pattern need not match that of its transpose. We associate to each pattern $X$ a lattice $L(X)$. We define the fundamental pattern of a matroid $M$ to be the complement of its hyperplane-point incidence pattern and note that when $X$ is the fundamental pattern of $M$, the lattice of flats of $M$ is $L(X)$. We then prove that, for every pattern $X$, the dual lattice of $L(X)$ is isomorphic to $L(X^T)$. We show that a matroid $M'$ of the same rank as $M$ is an adjoint of $M$ if and only if $M'$ is associated with the transpose of the fundamental pattern of $M$. Our main result ties together the notion of a matroid adjoint with the phenomenon of a gap between the triangle number $k$ and the matroid minimum rank of a pattern. Namely, we show that, if any matroid of rank $k$ associated with a pattern has an adjoint, then there is no such gap for the pattern's transpose. We show that the matroid of minimum rank associated with the fundamental pattern is unique. Using this, we prove that the matrix minimum rank of the fundamental pattern of a matroid over different fields depends on the representability of the matroid over those fields. This allows us to recover and improve upon a construction of Berman et al. We also give a smaller example than any previously known of a pattern with a matroid minimum rank smaller than its matrix minimum rank over every field. Finally, we establish that, for the fundamental pattern, a converse holds to our main result. In particular, a matroid with fundamental pattern $X$ has an adjoint if and only if the matroid minimum rank of $X^T$ is equal to its triangle number.

It is shown that the Whitney function of a representable q-matroid and the collection of all higher weight enumerators of any representing rank-metric code determine each other via a monomial substitution. Moreover, the q-matroid itself and the collection of all higher support enumerators of the code determine each other. Next, it is proven that the Whitney function of a q-matroid and the Whitney function of its projectivization determine each other via a monomial substitution. Finally, q-matroids with isomorphic projectivizations are studied. It is shown that the projectivizations are isomorphic iff the q-matroids admit a dimension-preserving lattice isomorphism between their lattices of flats. Such q-matroids are called weakly isomorphic.

Huh-Stevens and Ferroni-Schröter independently conjectured that Hilbert-Poincaré series of Chow rings of geometric lattices have only real zeros. Ferroni, Matherne and the second author extended this conjecture to Chow polynomials of Cohen-Macaulay poset. In this paper we address the above conjectures by providing new defining relations and properties of Chow functions of posets and matrices. These are used, in conjunction with new techniques on interlacing sequences of polynomials, to prove that Chow polynomials of totally nonnegative matrices have only real zeros, which, in turn, proves the above conjectures for a class of posets that contains projective and affine geometries, face lattices of cubical polytopes, partition lattices and Dowling lattices, perfect matroid designs, and lattices of flats of paving matroids. We also study Chow polynomials of Toeplitz matrices in greater detail, and show how these are related the combinatorics of binomial and Sheffer posets, as well as to a family of generalized Eulerian polynomials with coefficients in the ring of symmetric polynomials that have been studied by e.g. Stanley, Brenti, Stembridge and Shareshian-Wachs.

We study nested complexes of building sets on the Las Vergnas face lattices of oriented matroids. Such a nested complex is the face lattice of an oriented matroid, obtained by iterated stellar subdivisions of the positive tope. If the oriented matroid is realizable, the nested complex is isomorphic to the boundary complex of a polytope. We turn this into an explicit and combinatorially meaningful polytopal realization. We prove that the facial nested complex can be embedded as the acyclic subcomplex of the nested complex of a well-chosen boolean building set. In the realizable case, we show that this acyclic subcomplex can be geometrically selected as the section of a nestohedron by the evaluation space of the vector configuration, which we call acyclonestohedron. Our framework generalizes the poset associahedra recently introduced by P. Galashin, from order polytopes to any polytope. Poset associahedra are the graphical acyclonestohedra, and our approach recovers as particular cases the main results of P. Galashin and answers some of his open questions. Besides poset associahedra, our framework unifies various other existing families of nested-like polytopes, such as the simple polytope nestohedra, the hyperoctahedral nestohedra, the design graph associahedra and the permutopermutohedra, to which our palette of results can be directly applied. The core of our construction is the embedding of the facial nested complex inside a boolean nested complex. More generally, we provide conditions that guarantee an embedding between nested complexes over two lattices. For instance, any atomic nested complex has a canonical embedding inside a boolean nested complex. As another application, we embed nested complexes over lattices of faces into nested complexes over lattices of flats, recovering as a particular case, the embedding of the positive Bergman complex into the Bergman complex.

We prove that a finite graded simplicial poset with a top element added has real-rooted Chow and augmented Chow polynomials whenever it has a positive $h$-vector. This class of posets include Cohen-Macaulay simplicial posets and in particular lattices of flats of uniform matroids.

Athanasiadis and Kalampogia-Evangelinou recently conjectured that the chain polynomial of any geometric lattice has only real zeros. We verify this conjecture for families of geometric lattices including perfect matroid designs, Dowling lattices, and for a class of geometric lattices that contains all lattices of flats of paving matroids. We also investigate how the conjecture behaves with respect to certain operations such as direct products, ordinal sums and single-element extensions.

If $M$ is a matroid, then a simple matroid $M'$ with the same rank as $M$ is an adjoint of $M$ if there is an inclusion-reversing embedding $φ$ of the lattice of flats of $M$ into the lattice of flats of $M'$ such that $φ$ maps the hyperplanes of $M$ bijectively onto the points of $M'$. In this note, we provide a proof that the class of matroids with an adjoint is minor-closed.

The graded Möbius algebra of a matroid is a commutative graded algebra which encodes the combinatorics of the lattice of flats of the matroid. As a special subalgebra of the augmented Chow ring of the matroid, it plays an important role in the recent proof of the Dowling-Wilson Top Heavy Conjecture. Recently, Mastroeni and McCullough proved that the Chow ring and the augmented Chow ring of a matroid are Koszul. We study when graded Möbius algebras are Koszul. We characterize the Koszul graded Möbius algebras of cycle matroids of graphs in terms of properties of the graphs. Our results yield a new characterization of strongly chordal graphs via edge orderings.

Double circuits were introduced by Lovász in 1980 as a fundamental tool in his derivation of a min-max formula for the size of a maximum matching in linear matroids. This formula was extended to all matroids satisfying the so-called `double circuit property' by Dress and Lovász in 1987. We extend these notions to $k$-fold circuits for all natural numbers $k$ and show, in particular that several families of matroids which are known to satisfy the double circuit property, satisfy the $k$-fold circuit property for all natural numbers $k$. These families include all pseudomodular matroids (such as full linear, algebraic and transversal matroids) and certain families of count matroids. These results suggest that the $k$-fold circuit property can be used as a measure of how close the lattice of flats of a matroid is to being a modular lattice.

This paper is a continuation of my paper "Lattices of flats for symplectic matroids". We explore geometric constructions originating from the lattice of flats of ranked symplectic matroids. We observe that a ranked symplectic matroid always sits between two ordinary matroids and use this fact to prove that it has many of the same properties of ordinary matroids. We compute the dimension of its order complex using its Möbius function, We show that its matroid polytope is geometrically defined using its flats and connected to its Bergman fan. We finish by highlighting differences between its toric variety and the toric variety of an ordinary matroid, and give a partial proof of Mason's conjecture for ranked symplectic matroids.

The goal of this paper is to introduce a construction of a vector bundle on a tropical variety. When the base is a tropical toric variety these tropicalize toric vector bundles, and are described by the data of a valuated matroid and some flats in the lattice of flats of the underlying matroid. The fibers are tropical linear spaces. We define global sections for tropical toric vector bundles, stability, and Jordan-Hölder and Harder-Narasimhan filtrations. Many of these require additional modularity assumptions on the defining matroid.

Given a symmetric monoidal category $C$ with product $\sqcup$, where the neutral element for the product is an initial object, we consider the poset of $\sqcup$-complemented subobjects of a given object $X$. When this poset has finite height, we define decompositions and partial decompositions of $X$ which are coherent with $\sqcup$, and order them by refinement. From these posets, we define complexes of frames and partial bases, augmented Bergman complexes and related ordered versions. We propose a unified approach to the study of their combinatorics and homotopy type, establishing various properties and relations between them. Via explicit homotopy formulas, we will be able to transfer structural properties, such as Cohen-Macaulayness. In well-studied scenarios, the poset of $\sqcup$-complemented subobjects specializes to the poset of free factors of a free group, the subspace poset of a vector space, the poset of non-degenerate subspaces of a vector space with a non-degenerate form, and the lattice of flats of a matroid. The decomposition and partial decomposition posets, the complex of frames and partial bases together with the ordered versions, either coincide with well-known structures, generalize them, or yield new interesting objects. In these particular cases, we provide new results along with open questions and conjectures.

In this sequel to "Foundations of matroids - Part 1", we establish several presentations of the foundation of a matroid in terms of small building blocks. For example, we show that the foundation of a matroid M is the colimit of the foundations of all embedded minors of M isomorphic to one of the matroids $U^2_4$, $U^2_5$, $U^3_5$, $C_5$, $C_5^\ast$, $U^2_4\oplus U^1_2$, $F_7$, $F_7^\ast$, and we show that this list is minimal. We establish similar minimal lists of building blocks for the classes of 2-connected and 3-connected matroids. We also establish a presentation for the foundation of a matroid in terms of its lattice of flats. Each of these presentations provides a useful method to compute the foundation of certain matroids, as we illustrate with a number of concrete examples. Combining these techniques with other results in the literature, we are able to compute the foundations of several interesting classes of matroids, including whirls, rank-2 uniform matroids, and projective geometries. In an appendix, we catalogue various 'small' pastures which occur as foundations of matroids, most of which were found with the assistance of a computer, and we discuss some of their interesting properties.

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.