Enumerating matroids of fixed rank (Q510313): Difference between revisions

Summary: 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\geq 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 \textit{H. H. Crapo} [in: Proceedings of the second Chapel Hill Conference on combinatorial mathematics and its applications. Held at the University of North Carolina at Chapel Hill, May, 1970. Chapel Hill, N. C.: University of North Carolina. 74--99 (1970; Zbl 0268.05015)] and \textit{D. Knuth} [Discrete Math. 12, 341--358 (1975; Zbl 0314.05012)], 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.