Small triangle-free configurations of points and lines (Q2492646): Difference between revisions

A (combinatorial) configuration (\(v_{3}\)) is a partial linear space, with \(v\)~points, three points on each line, and three lines passing through each point. For simplicity we identify lines with the set of points incident with them. A (\(v_{3}\)) is called triangle-free if in any triple of noncollinear points there is a pair of points not joinable by a line. This obviously implies its dual. A geometric realization of a (\(v_{3}\)) is an injective collineation \(\phi\) of (\(v_{3}\)) into the Euclidean plane, i.e., \(\phi\) is a map such that points are collinear if and only if their images are. The image of \(\phi\) is called a geometric (\(v_{3}\)). For triangle-free (\(v_{3}\)) with \(v\leq18 \) we have up to isomorphism exactly one (\(15_{3}\)), one (\(17_{3}\)), and four (\(18_{3}\)). The authors show that they all posses geometric realizations. Indeed, the maps are given explicitly. Similarly for the unique point transitive (\(20_{3}\)) and (\(21_{3}\)). The results are computer-generated.