The M<sub>22</sub> graph, also called the Mesner graph or Witt graph, is the unique strongly regular graph with parameters (77, 16, 0, 4). It is constructed from the Steiner system (3, 6, 22) by representing its 77 blocks as vertices and joining two vertices iff they have no terms in common, or by deleting a vertex and its neighbors from the HigmanâÂÂSims graph.
For any term, the family of blocks that contain that term forms an independent set in this graph, with 21 vertices. In a result analogous to the Erdà ÂsâÂÂKoâÂÂRado theorem (which can be formulated in terms of independent sets in Kneser graphs), these are the unique maximum independent sets in this graph.
It is one of seven known triangle-free strongly regular graphs. Its graph spectrum is (âÂÂ6)<sup>21</sup>2<sup>55</sup>16<sup>1</sup>, and its automorphism group is the Mathieu group M22.