English

Hamming sandwiches

Combinatorics 2023-05-11 v3 Group Theory

Abstract

We describe primitive association schemes X\mathfrak{X} of degree nn such that Aut(X)\mathrm{Aut}(\mathfrak{X}) is imprimitive and Aut(X)exp(n1/8)|\mathrm{Aut}(\mathfrak{X})| \geq \exp(n^{1/8}), contradicting a conjecture of Babai. This and other examples we give are the first known examples of nonschurian primitive coherent configurations (PCC) with more than a quasipolynomial number of automorphisms. Our constructions are "Hamming sandwiches", association schemes sandwiched between the ddth tensor power of the trivial scheme and the dd-dimensional Hamming scheme. We study Hamming sandwiches in general, and exhaustively for d8d \leq 8. We revise Babai's conjecture by suggesting that any PCC with more than a quasipolynomial number of automorphisms must be an association scheme sandwiched between a tensor power of a Johnson scheme and the corresponding full Cameron scheme. If true, it follows that any nonschurian PCC has at most expO(n1/8logn)\exp O(n^{1/8} \log n) automorphisms.

Keywords

Cite

@article{arxiv.2203.03687,
  title  = {Hamming sandwiches},
  author = {Sean Eberhard},
  journal= {arXiv preprint arXiv:2203.03687},
  year   = {2023}
}

Comments

21 pages. Minor correction to Lemma 4.7(2). Final version incorporating referees' comments. To appear in Combinatorica

R2 v1 2026-06-24T10:05:11.651Z