On the number of matroids
Nikhil Bansal, Rudi Pendavingh, Jorn G. van der Pol
Abstract
Nikhil Bansal, Rudi Pendavingh, Jorn G. van der Pol
Abstract
We consider the problem of determining mn, the number of matroids on n elements. The best known lower bound on mn is due to Knuth (1974) who showed that log log mn is at least . On the other hand, Piff (1973) showed that log log mn ≤ n − log n + log log n + 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 log log mn that is within an additive 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.
OpenAlex reports 7 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
We consider the problem of determining mn, the number of matroids on n elements. The best known lower bound on mn is due to Knuth (1974) who showed that log log mn is at least . On the other hand, Piff (1973) showed that log log mn ≤ n − log n + log log n + 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 log log mn that is within an additive 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.
Key concepts: Matroid, Combinatorics, Upper and lower bounds, Binary logarithm, Mathematics, Log-log plot, Graph, Discrete mathematics