An Erdős-Ko-Rado theorem for regular intersecting families of octads (Q1821104)

A regular intersecting family F in the Witt system S(5,8,24) is a collection of pairwise non-disjoint octads forming a 1-design. It is proved that \(| F| \leq 69\) with equality if and only if F is a quasi-symmetric 2-(24,8,7) designs. The non-existence of such a quasi- symmetric design is then proved by techniques from coding theory.