arXiv++ Combinatorics

We study a particular graded ring structure on the set of all loopfree matroids on a fixed labeled ground set, which occurs naturally in tropical geometry. The product is given by matroid intersection and the additive structure is defined by assigning to each matroid the indicator vector of its chains of flats. We show that this ring is generated in corank one, more precisely that any matroid can be written as a linear combination of products of corank one matroids. Moreover, we prove that a basis for the graded part of rank r matroids is given by the set of nested matroids and that the total number of these is a Eulerian number. Derksen's G-invariant then defines a Z-linear map on this ring, which implies for example that the Tutte polynomial is linear on it as well. Finally we show that the ring is the cohomology ring of the toric variety of the permutohedron and thus fulfills Poincaré duality.

Let $s,n \ge 2$ be integers. We give a qualitative structural description of every matroid $M$ that is spanned by a frame matroid of a complete graph and has no $U_{s,2s}$-minor and no rank-$n$ projective geometry minor, showing that every such matroid is `close' to a frame matroid. We also give a similar description of every matroid $M$ with a spanning projective geometry over a field GF$(q)$ as a restriction and with no $U_{s,2s}$-minor and no PG$(n,q')$-minor for any $q' > q$, showing that such an $M$ is `close' to a GF$(q)$-representable matroid.

For a matroid $M$ of rank $r$ on $n$ elements, let $b(M)$ denote the fraction of bases of $M$ among the subsets of the ground set with cardinality $r$. We show that $$Ω(1/n)\leq 1-b(M)\leq O(\log(n)^3/n)\text{ as }n\rightarrow \infty$$ for asymptotically almost all matroids $M$ on $n$ elements. We derive that asymptotically almost all matroids on $n$ elements (1) have a $U_{k,2k}$-minor, whenever $k\leq O(\log(n))$, (2) have girth $\geq Ω(\log(n))$, (3) have Tutte connectivity $\geq Ω(\sqrt{\log(n)})$, and (4) do not arise as the truncation of another matroid. Our argument is based on a refined method for writing compressed descriptions of any given matroid, which allows bounding the number of matroids in a class relative to the number of sparse paving matroids.

Locally repairable codes (LRCs) are error correcting codes used in distributed data storage. Besides a global level, they enable errors to be corrected locally, reducing the need for communication between storage nodes. There is a close connection between almost affine LRCs and matroid theory which can be utilized to construct good LRCs and derive bounds on their performance. A generalized Singleton bound for linear LRCs with parameters $(n,k,d,r,δ)$ was given in [N. Prakash et al., "Optimal Linear Codes with a Local-Error-Correction Property", IEEE Int. Symp. Inf. Theory]. In this paper, a LRC achieving this bound is called perfect. Results on the existence and nonexistence of linear perfect $(n,k,d,r,δ)$-LRCs were given in [W. Song et al., "Optimal locally repairable codes", IEEE J. Sel. Areas Comm.]. Using matroid theory, these existence and nonexistence results were later strengthened in [T. Westerbäck et al., "On the Combinatorics of Locally Repairable Codes", Arxiv: 1501.00153], which also provided a general lower bound on the maximal achievable minimum distance $d_{\rm{max}}(n,k,r,δ)$ that a linear LRC with parameters $(n,k,r,δ)$ can have. This article expands the class of parameters $(n,k,d,r,δ)$ for which there exist perfect linear LRCs and improves the lower bound for $d_{\rm{max}}(n,k,r,δ)$. Further, this bound is proved to be optimal for the class of matroids that is used to derive the existence bounds of linear LRCs.

In this note we provide a higher-dimensional analogue of Tutte's celebrated theorem on colorings and flows of graphs, by showing that the theory of arithmetic Tutte polynomials and quasi-polynomials encompasses invariants defined for CW complexes by Beck-Breuer-Godkin-Martin and Duval-Klivans-Martin. Furthermore, we answer a question by Bajo-Burdick-Chmutov, concerning the modified Tutte-Krushkal-Renhardy polynomials defined by these authors: to this end, we prove that the product of two arithmetic multiplicity functions on a matroid is again an arithmetic multiplicity function.

The isotropic matroid $M[IAS(G)]$ of a graph $G$ is a binary matroid, which is equivalent to the isotropic system introduced by Bouchet. In this paper we discuss four notions of connectivity related to isotropic matroids and isotropic systems. We show that the isotropic system connectivity defined by Bouchet is equivalent to vertical connectivity of $M[IAS(G)]$, and if $G$ has at least four vertices, then $M[IAS(G)]$ is vertically 5-connected if and only if $G$ is prime (in the sense of Cunningham's split decomposition). We also show that $M[IAS(G)]$ is $3$-connected if and only if $G$ is connected and has neither a pendant vertex nor a pair of twin vertices. Our most interesting theorem is that if $G$ has $n\geq7$ vertices then $M[IAS(G)]$ is not vertically $n$-connected. This abstract-seeming result is equivalent to the more concrete assertion that $G$ is locally equivalent to a graph with a vertex of degree $<\frac{n-1}{2}$.

In this note we generalize the convolution formula for the Tutte polynomial of Kook-Reiner-Stanton and Etienne-Las Vergnas to a more general setting that includes both arithmetic matroids and delta-matroids. As corollaries, we obtain new proofs of two positivity results for pseudo-arithmetic matroids and a combinatorial interpretation of the arithmetic Tutte polynomial at infinitely many points in terms of arithmetic flows and colorings. We also exhibit connections with a decomposition of Dahmen-Micchelli spaces and lattice point counting in zonotopes.

Provided n points in an (n-1)-dimensional affine space, and one ordering of the points for each coordinate, we address the problem of testing whether these orderings determine if the points are the vertices of a simplex (i.e. are affinely independent), regardless of the real values of the coordinates. We also attempt to determine the orientation of this simplex. In other words, given a matrix whose columns correspond to affine points, we want to know when the sign (or the non-nullity) of its determinant is implied by orderings given to each row for the values of the row. We completely solve the problem in dimensions 2 and 3. We provide a direct combinatorial characterization, along with a formal calculus method. It can also be viewed as a decision algorithm, and is based on testing the existence of a suitable inductive cofactor expansion of the determinant. We conjecture that our method generalizes in higher dimensions. This work aims to be part of a study on how oriented matroids encode shapes of 3-dimensional landmark-based objects. Specifically, applications include the analysis of anatomical data for physical anthropology and clinical research.

The mutually enriching relationship between graphs and matroids has motivated discoveries in both fields. In this paper, we exploit the similar relationship between embedded graphs and delta-matroids. There are well-known connections between geometric duals of plane graphs and duals of matroids. We obtain analogous connections for various types of duality in the literature for graphs in surfaces of higher genus and delta-matroids. Using this interplay, we establish a rough structure theorem for delta-matroids that are twists of matroids, we translate Petrie duality on ribbon graphs to loop complementation on delta-matroids, and we prove that ribbon graph polynomials, such as the Penrose polynomial, the characteristic polynomial, and the transition polynomial, are in fact delta-matroidal. We also express the Penrose polynomial as a sum of characteristic polynomials.

In $1980$ White conjectured that every element of the toric ideal of a matroid is generated by quadratic binomials corresponding to symmetric exchanges. We prove White's conjecture for high degrees with respect to the rank. This extends our result arXiv:1302.5236 confirming White's conjecture `up to saturation'. Furthermore, we study degrees of Gröbner bases and Betti tables of the toric ideals of matroids of a fixed rank.

Vassiliev (finite type) invariants of knots can be described in terms of weight systems. These are functions on chord diagrams satisfying so-called 4-term relations. In the study of the sl2 weight system, it was shown that its value on a chord diagram depends on the intersection graph of the diagram rather than on the diagram itself. Moreover, it was shown that the value of this weight system on an intersection graph depends on the cy- cle matroid of the graph rather than on the graph itself. This result arose the question whether there is a natural way to introduce a 4-term relation on the space spanned by matroids, similar to the one for graphs. It happened however that the answer is negative: there are graphs having isomorphic cycle matroids such that applying the "second Vassiliev move" to a pair of corresponding vertices a;b of the graphs we obtain two graphs with nonisomorphic matroids. The goal of the present paper is to show that the situation is different for binary delta-matroids: one can define both the first and the second Vassiliev moves for binary delta-matroids and introduce a 4-term relation for them in such a way that the mapping taking a chord diagram to its delta-matroid respects the corresponding 4-term relations. Moreover, this mapping admits a natural extension to chord diagrams on several circles, which correspond to singular links. Delta-matroids were introduced by A. Bouchet for the purpose of studying embedded graphs, whence their relationship with (multiloop) chord diagrams is by no means unexpected. Some evidence for the existence of such a relationship can be found, for example, the Tutte polynomial for embedded graphs has been introduced. It was shown that this polynomial depends on the delta-matroid of the embedded graph rather than the graph itself and satises the Vassilev 4-term relation.

It is known that there exist hyperplane arrangements with same underlying matroid that admit non-homotopy equivalent complement manifolds. In this work we show that, in any rank, complex central hyperplane arrangements with up to 7 hyperplanes and same underlying matroid are isotopic. In particular, the diffeomorphism type of the complement manifold and the Milnor fiber and fibration of these arrangements are combinatorially determined, i.e., they depend uniquely on the underlying matroid. To do this, we associate to every such matroid a topological space, that we call the reduced realization space; its connectedness, showed by means of symbolic computation, implies the desired result.

We generalize the notion of the toggle group, as defined in [P. Cameron-D. Fon-der-Flaass '95] and further explored in [J. Striker-N. Williams '12], from the set of order ideals of a poset to any family of subsets of a finite set. We prove structure theorems for certain finite generalized toggle groups, similar to the theorem of Cameron and Fon-der-Flaass in the case of order ideals. We apply these theorems and find other results on generalized toggle groups in the following settings: chains, antichains, and interval-closed sets of a poset; independent sets, vertex covers, acyclic subgraphs, and spanning subgraphs of a graph; matroids and convex geometries. We generalize rowmotion, an action studied on order ideals in [P. Cameron-D. Fon-der-Flaass '95] and [J. Striker-N. Williams '12], to a map we call cover-closure on closed sets of a closure operator. We show that cover-closure is bijective if and only if the set of closed sets is isomorphic to the set of order ideals of a poset, which implies rowmotion is the only bijective cover-closure map.

We prove that there is no polynomial $p(\cdot)$ with the property that a matroid $M$ can be determined to be either a lifted-graphic or frame matroid using at most $p(|M|)$ rank evaluations. This resolves two conjectures of Geelen, Gerards and Whittle (Quasi-graphic matroids, arXiv:1512.03005v1).

We present an algebraic framework which simultaneously generalizes the notion of linear subspaces, matroids, valuated matroids, and oriented matroids. We call the resulting objects matroids over hyperfields. In fact, there are (at least) two natural notions of matroid in this context, which we call weak and strong matroids. We give "cryptomorphic" axiom systems for such matroids in terms of circuits, Grassmann-Plucker functions, and dual pairs, and establish some basic duality theorems. We also show that if F is a doubly distributive hyperfield then the notions of weak and strong matroid over F coincide.

Let $k,d,λ\geqslant 1$ be integers with $d\geqslant λ$ and let $X$ be a finite set of points in $\mathbb{R}^{d}$. A $(d-λ)$-plane $L$ transversal to the convex hulls of all $k$-sets of $X$ is called Kneser transversal. If in addition $L$ contains $(d-λ)+1$ points of $X$, then $L$ is called complete Kneser transversal.In this paper, we present various results on the existence of (complete) Kneser transversals for $λ=2,3$. In order to do this, we introduce the notions of stability and instability for (complete) Kneser transversals. We first give a stability result for collections of $d+2(k-λ)$ points in $\mathbb{R}^d$ with $k-λ\geqslant 2$ and $λ=2,3$. We then present a description of Kneser transversals $L$ of collections of $d+2(k-λ)$ points in $\mathbb{R}^d$ with $k-λ\geqslant 2$ for $λ=2,3$. We show that either $L$ is a complete Kneser transversal or it contains $d-2(λ-1)$ points and the remaining $2(k-1)$ points of $X$ are matched in $k-1$ pairs in such a way that $L$ intersects the corresponding closed segments determined by them. The latter leads to new upper and lower bounds (in the case when $λ=2$ and $3$) for $m(k,d,λ)$ defined as the maximum positive integer $n$ such that every set of $n$ points (not necessarily in general position) in $\mathbb{R}^{d}$ admit a Kneser transversal.Finally, by using oriented matroid machinery, we present some computational results (closely related to the stability and unstability notions). We determine the existence of (complete) Kneser transversals for each of the $246$ different order types of configurations of $7$ points in $\mathbb{R}^3$.

We introduce and study a family of polytopes which can be seen as a generalization of the permutahedron of type $B_d$. We highlight connections with the largest possible diameter of the convex hull of a set of points in dimension $d$ whose coordinates are integers between $0$ and $k$, and with the computational complexity of multicriteria matroid optimization.

It has been conjectured that asymptotically almost all matroids are sparse paving, i.e. that $s(n) \sim m(n)$, where $m(n)$ denotes the number of matroids on a fixed groundset of size $n$, and $s(n)$ the number of sparse paving matroids. In an earlier paper, we showed that $\log s(n) \sim \log m(n)$. The bounds that we used for that result were dominated by matroids of rank $r\approx n/2$. In this paper we consider the relation between the number of sparse paving matroids $s(n,r)$ and the number of matroids $m(n,r)$ on a fixed groundset of size $n$ of fixed rank $r$. In particular, we show that $\log s(n,r) \sim \log m(n,r)$ whenever $r\ge 3$, by giving asymptotically matching upper and lower bounds. Our upper bound on $m(n,r)$ relies heavily on the theory of matroid erections as developed by Crapo and Knuth, which we use to encode any matroid as a stack of paving matroids. Our best result is obtained by relating to this stack of paving matroids an antichain that completely determines the matroid. We also obtain that the collection of essential flats and their ranks gives a concise description of matroids.

The generalized Lax conjecture asserts that each hyperbolicity cone is a linear slice of the cone of positive semidefinite matrices. Hyperbolic polynomials give rise to a class of (hyperbolic) matroids which properly contains the class of matroids representable over the complex numbers. This connection was used by the second author to construct counterexamples to algebraic (stronger) versions of the generalized Lax conjecture by considering a non-representable hyperbolic matroid. The Vámos matroid and a generalization of it are, prior to this work, the only known instances of non-representable hyperbolic matroids. We prove that the Non-Pappus and Non-Desargues matroids are non-representable hyperbolic matroids by exploiting a connection between Euclidean Jordan algebras and projective geometries. We further identify a large class of hyperbolic matroids which contains the Vámos matroid and the generalized Vámos matroids recently studied by Burton, Vinzant and Youm. This proves a conjecture of Burton et al. We also prove that many of the matroids considered here are non-representable. The proof of hyperbolicity for the matroids in the class depends on proving nonnegativity of certain symmetric polynomials. In particular we generalize and strengthen several inequalities in the literature, such as the Laguerre-Turán inequality and Jensen's inequality. Finally we explore consequences to algebraic versions of the generalized Lax conjecture.

An affine oriented matroid is a combinatorial abstraction of an affine hyperplane arrangement. From it, Novik, Postnikov and Sturmfels constructed a squarefree monomial ideal in a polynomial ring, called an oriented matroid ideal, and got beautiful results. Developing their theory, we will show the following. (1) If an oriented matroid ideal is Cohen-Macaulay, then the bounded complex (a regular CW complex associated with it) of the corresponding affine oriented matroid is a contractible homology manifold with boundary. This is closely related to Dong's theorem, which used to be "Zaslavsky's conjecture". (2) We characterize the affine oriented matroid whose corresponding ideal is Cohen-Macaulay. (3) In the Cohen-Macaulay case, we give a description of the canonical module of the residue class ring by an oriented matroid ideal.