Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

[Edit:

There was a bug in my code: I don't need to test isomorphism between the matroid and the representation, I only need to test equality (with the vector matroid), provided I make sure the columns are in the right order.

I would still like to know whether, when we substitute non-zero elements of Fq for the *s in the partial representation, we are guaranteed to get all the projective equivalence classes of representations, and that this is true regardless of which basis we start with.

]

I'm trying to write code to find representations of matroids over Fq, using the method described in Oxley, Matroid Theory (2nd ed), p184-5.

Consider the matroid F7- whose geometric representation consists of the lines 126, 135, 147, 234, 257, 367 (ie the Fano plane with a line removed).

Relative to the basis 123, this has fundamental-circuit incidence matrix (partial representation)

0111
1011
1101

From the cycle matroid of the associated bipartite graph, we see that candidate representations will be of the form

100 0111
010 101*
001 1*0*

where we can substitute independent non-zero elements of Fq for the *s.

If I try candidate substitions for F3, I find that 4 of the possible substitutions give vector matroids that are isomorphic to F7-.

Now, suppose I do the same for the basis 145. I get

100 1111
010 10**
001 1**0

When I try substituting in elements of F3, I find that only 2 of the possible substitutions are isomorphic to F7-.

This is unexpected, because my understanding was that the different valid substitutions are representatives of the different projective equivalence classes of representations (Theorem 6.4.7, Oxley p185)

Have I got a bug in my code, or have I misunderstood?

Could it happen that for some choice of basis, there would be no valid substitutions, even though the matroid is representable using a different choice of basis?

share|improve this question

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.