# A matroid / geometry problem and conjecture

Rather than let this blog die off due to lack of posts, I thought I’d write about a small but annoying problem that I’ve been thinking about recently, but without success, and a natural conjecture that has arisen from it.

[* Note*: On some browsers there appears to be a sizing problem with the images WordPress uses for LaTeX formulas, and they appear ten times the right size. If this happens, reloading the webpage seems to fix it]

The problem arose in the context of binary matroids, but because a binary matroid is really just a set of points in a binary vector space, it can be phrased entirely as a linear algebra problem.

So let be a set of non-zero vectors in the vector space such that spans and, for reasons to be clarified later, no vector in is independent of the others. In matroid terminology, this just says that is a simple binary matroid of rank with no coloops.

Then define a ** basis** of to be a linearly independent subset of of rank (in other words, just a basis of and a

**of to be a**

*circuit**minimally dependent*set of vectors, i.e. a set of vectors that is linearly dependent but any proper subset of which is linearly independent.

As an example, take (a.k.a the Fano plane) — this means to take *all* the non-zero vectors in . This has 28 bases (7 choices for a first vector , 6 for a second vector and then 4 for the third vector which cannot be , or , then all divided by 6 because this counts each basis times). It has 7 circuits of size 3 (each being of the form , , ) and 7 circuits of size 4, being the complements of the circuits of size 3, for a total of 14 circuits.

Letting , denote the numbers of bases and circuits of respectively, the question is about the ratio of these two numbers. More precisely,

Determine a lower bound, in terms of the rank , for the ratio ?

Many years ago, James Oxley (the author of Matroid Theory, the definitive reference tome on matroid theory) proved that

but the proof is rather fiddly and the constant is an artefact of the proof, rather than significant. In the paper, James mentioned that the referee had suggested that perhaps

was the proper bound. In one sense this would be best possible because, as described above, the Fano plane has , and and so meets the bound.

We can easily determine by computer the exact possibilities for small rank — there are only 1372 pairwise inequivalent subsets of of rank at most 5 (here “pairwise inequivalent” means that no element of the group maps one to the other). Using the inbuilt commands of the new sage-matroids package it is only a few commands to compute the numbers of bases and circuits and then plot the resulting ratios.

The plot shows the ratio of against the size of the subset, with red for the ones of rank 4 and blue for the ones of rank 5. The pattern is clear – the *lowest* ratio is obtained when every possible vector is included in the set — in other words, when , the full projective geometry of rank . Therefore I propose the following conjecture:

If is a simple binary matroid of rank with no coloops then

with equality if and only if .

What about rank 6? Well, there are about 480 million binary matroids of rank 6 and the computation of the bases and circuits is sufficiently time consuming that it can’t just be done in an idle moment. So the data for rank 6 will have to wait.

The numbers of bases and circuits for is known, and if we define by then as . Thus every statement of the form for any *fixed* (necessarily ) is weaker than this conjecture.

So, how to prove such a conjecture? Ideally it would be the case that adding an element to the set reduced the ratio, and that does indeed seem to be the case as long as the matroid reaches a certain critical size. But how to identify this critical size and deal with the smaller cases remains unclear to me, though any ideas would be more than welcomed!