arXiv++ Combinatorics

The Berger-Charpin conjecture predicts that the permutation automorphism group of a cyclic code is generally the $q$-affine group, which is generated by the shift and the Frobenius multiplier on the index set. The word {\em generally} is not made precise in the literature, and the goal of this series of papers is to study when the Berger-Charpin conjecture or its variants hold. In this first part, we establish a natural connection between the theory of cyclic codes and the theory of cyclotomic association schemes (equivalently, Schur rings over cyclic groups). Using it, we show that the $q$-affine group is not the correct group to expect for certain code lengths. We characterize these lengths by an arithmetic condition, and show that they have density zero.

We extend Kantor's classification of 2-transitive symmetric designs (1985) to a classification of locally 2-homogeneous designs.

Let $\mathcal{D}$ be a block design admitting a locally transitive automorphism group $G$. We say $\mathcal{D}$ is $G$-point-locally dihedral if the induced local action $G_x^{\mathcal{D}(x)}$ is dihedral for each point $x$, and say $\mathcal{D}$ is $G$-block-locally dihedral if the induced local action $G_B^B$ is dihedral for each block $B$. The design $\mathcal{D}$ is called $G$-locally dihedral if both conditions hold. We give a classification of primitive permutation groups with dihedral point stabilizers, and apply it to classify point-locally dihedral block designs. For symmetric designs with a dihedral local action, we show that $G_x$ and $G_B$ are conjugate in $G$. Moreover, both local actions are faithful, and $G$ acts imprimitively on both points and blocks.

A locally primitive 2-design is a 2-design admitting an automorphism group $G$ with primitive local actions. It is proved that $G$ is point-primitive, and either $G$ is an almost simple group, or $G$ acting on the points is an affine group.