Is there a nice way to partition the edges of the complete $5$-uniform hypergraph on $11$ vertices into $7$ copies of the Steiner system $S(4,5,11)$? If this is obvious or elementary, I apologize in advance.
$\begingroup$
$\endgroup$
1
-
3$\begingroup$ By conjugating by random elements of $S_{11}$, it is easy to find pairs of disjoint Steiner systems $S(4,5,11)$, but I failed to find any triples of mutually disjoint systems, so the answer might be no. Of course that does not rule out the possibility of there being some clever way of doing the construction which you would not find using a random search. $\endgroup$– Derek HoltJun 8, 2014 at 16:57
Add a comment
|
2 Answers
$\begingroup$
$\endgroup$
Unfortunately, no. It is known that the maximum number of mutually disjoint $S(4,5,11)$s on the same point set is $2$. Any such pair are always isomorphic. So, you can't find $7$ disjoint copies of an $S(4,5,11)$ in the complete $5$-uniform hypergraph on $11$ vertices (or partition it into copies); you can find only two of them at most.
- E. S. Kramer, D. M. Mesner, Intersections among Steiner systems, J. Combin. Theory, Ser. A, 16 (1974), 273–285, https://doi.org/10.1016/0097-3165(74)90054-5
answered Jun 8, 2014 at 18:15
$\begingroup$
$\endgroup$
This is not an answer, but a list containing the 66 blocks, as I've spent ages trying to find it online, without any success. I hope this will be useful in the future for people who look for it (like myself after I lose my list):
[7, 8, 9, 10, 11],
[1, 2, 3, 4, 7],
[1, 2, 5, 6, 7],
[3, 4, 5, 6, 7],
[1, 2, 3, 5, 8],
[1, 3, 4, 6, 8],
[2, 4, 5, 6, 8],
[1, 2, 4, 6, 9],
[1, 3, 4, 5, 9],
[2, 3, 5, 6, 9],
[1, 2, 4, 5, 10],
[1, 3, 5, 6, 10],
[2, 3, 4, 6, 10],
[1, 2, 3, 6, 11],
[1, 4, 5, 6, 11],
[2, 3, 4, 5, 11],
[1, 4, 5, 8, 9],
[2, 3, 6, 7, 8],
[2, 4, 5, 7, 9],
[1, 3, 6, 7, 9],
[1, 4, 6, 7, 10],
[2, 3, 5, 7, 10],
[1, 3, 5, 7, 11],
[2, 4, 6, 7, 11],
[1, 5, 6, 8, 9],
[2, 3, 4, 8, 9],
[3, 4, 5, 8, 10],
[2, 4, 6, 8, 10],
[3, 5, 6, 8, 11],
[1, 2, 4, 8, 11],
[1, 2, 3, 9, 10],
[4, 5, 6, 9, 10],
[1, 2, 5, 9, 11],
[3, 4, 6, 9, 11],
[1, 3, 4, 10, 11],
[2, 5, 6, 10, 11],
[7, 8, 9, 1, 2],
[3, 5, 7, 8, 9],
[4, 6, 7, 8, 9],
[1, 3, 7, 8, 10],
[2, 4, 7, 8, 10],
[5, 6, 7, 8, 10],
[1, 6, 7, 8, 11],
[2, 5, 7, 8, 11],
[3, 4, 7, 8, 11],
[1, 5, 7, 9, 10],
[2, 6, 7, 9, 10],
[3, 4, 7, 9, 10],
[1, 4, 7, 9, 11],
[2, 3, 7, 9, 11],
[5, 6, 7, 9, 11],
[1, 2, 7, 10, 11],
[3, 6, 7, 10, 11],
[4, 5, 7, 10, 11],
[1, 3, 8, 9, 11],
[2, 6, 8, 9, 11],
[4, 5, 8, 9, 11],
[1, 5, 8, 10, 11],
[2, 3, 8, 10, 11],
[4, 6, 8, 10, 11],
[1, 6, 9, 10, 11],
[2, 4, 9, 10, 11],
[3, 5, 9, 10, 11]
