Correlation bounds for fields and matroids

Let $G$ be a finite connected graph, and let $T$ be a spanning tree of $G$ chosen uniformly at random. The work of Kirchhoff on electrical networks can be used to show that the events $e_1 \in T$ and $e_2 \in T$ are negatively correlated for any distinct edges $e_1$ and $e_2$. What can be said for such events when the underlying matroid is not necessarily graphic? We use Hodge theory for matroids to bound the correlation between the events $e \in B$, where $B$ is a randomly chosen basis of a matroid. As an application, we prove Mason's conjecture that the number of $k$-element independent sets of a matroid forms an ultra-log-concave sequence in $k$.Comment: 16 pages. Supersedes arXiv:1804.0307

A Method to construct all the Paving Matroids over a Finite Set

We give a characterization of a matroid to be paving, through its set of hyperplanes and give an algorithm to construct all of them.Comment: arXiv admin note: text overlap with arXiv:1502.0180

On the structure of the h-vector of a paving matroid.

We give two proofs that the h-vector of any paving matroid is a pure 0-sequence, thus answering in the affirmative a conjecture made by Stanley, for this particular class of matroids. We also investigate the problem of obtaining good lower bounds for the number of bases of a paving matroid given its rank and number of elements.The first author was supported by Conacyt of México Proyect8397

On the number of matroids

We consider the problem of determining $m_n$, the number of matroids on $n$ elements. The best known lower bound on $m_n$ is due to Knuth (1974) who showed that $\log \log m_n$ is at least $n-3/2\log n-1$. On the other hand, Piff (1973) showed that $\log\log m_n\leq 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 m_n$ 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.Comment: Final version, 17 page