The Two-Point Fano and Ideal Binary Clutters

摘要

Let F be a binary clutter. We prove that if F is non-ideal, then either F or its blocker b(F) has one of L-7;O-5;LC7 as a minor. L-7 is the non-ideal clutter of the lines of the Fano plane, O-5 is the non-ideal clutter of odd circuits of the complete graph K-5, and the two-point Fano LC7 is the ideal clutter whose sets are the lines, and their complements, of the Fano plane that contain exactly one of two fixed points. In fact, we prove the following stronger statement: if F is a minimally non-ideal binary clutter different from L-7;O-5; b(O-5), then through every element, either F or b(F) has a two-point Fano minor.