On the number of matroids (original) (raw)
Abstract:We consider the problem of determining mnm_nmn, the number of matroids on nnn elements. The best known lower bound on mnm_nmn is due to Knuth (1974) who showed that loglogmn\log \log m_nloglogmn is at least n−3/2logn−1n-3/2\log n-1n−3/2logn−1. On the other hand, Piff (1973) showed that loglogmnleqn−logn+loglogn+O(1)\log\log m_n\leq n-\log n+\log\log n +O(1)loglogmnleqn−logn+loglogn+O(1), and it has been conjectured since that the right answer is perhaps closer to Knuth's bound.
We show that this is indeed the case, and prove an upper bound on loglogmn\log\log m_nloglogmn that is within an additive 1+o(1)1+o(1)1+o(1) term of Knuth's lower bound. Our proof is based on using some structural properties of non-bases in a matroid together with some properties of independent sets in the Johnson graph to give a compressed representation of matroids.
Submission history
From: Rudi Pendavingh [view email]
[v1] Wed, 27 Jun 2012 14:09:16 UTC (14 KB)
[v2] Fri, 29 Jun 2012 07:12:36 UTC (14 KB)
[v3] Thu, 6 Sep 2012 17🔞52 UTC (19 KB)
[v4] Tue, 25 Sep 2012 15:50:42 UTC (21 KB)
[v5] Tue, 24 Sep 2013 12:11:17 UTC (22 KB)