Let be the subgraph of the Grassmann graph on the -dimensional subspaces of induced by the -ary simplex codes of dimension . The cases are elementary, while Kwiatkowski and Pankov determined the complete distance relation for and, in particular, proved that . We prove that Consequently the diameter of is completely determined for all : it is for , for , and for . The main ingredient is a bridge lemma based on a theorem of Marshall Hall on finite abelian groups; it yields the uniform upper bound . For the lower bound follows from a counting argument. The remaining cases are treated by short moment calculations; for we also give an independent product proof.

生成讲解博客的中文版本

生成AI智能校验的中文版本