arXiv++ Combinatorics

In even characteristic, the first subconstituent of an orthogonal graph at a singular point is shown to be the complement of an affine polar graph. This identification yields the full automorphism group as an affine semisimilarity group and provides explicit extensions to the ambient graph. Maximum independent sets are affine cosets of maximal totally singular subspaces, giving the independence and chromatic numbers. In plus type, Delsarte cliques correspond bijectively to ovoids through the base point, leading to a sharp rank threshold. Over $\mathbb{F}_2$, we determine the exact maximum clique number in every dimension, prove that all maximum cliques form a single orbit, and obtain the core of every first subconstituent. A uniform Witt-extension argument gives a short proof of triple transitivity for the binary local graphs.

The complexity of dual basis of a type I optimal normal basis of $\mathbb{F}_{q^n}$ over $\mathbb{F}_{q}$ was determined to be $3n-3$ or $3n-2$ according as $q$ is even or odd, respectively, by Z.-X. Wan and K. Zhou in 2007. We give a new proof to this result by clearly deriving the dual of a type I optimal normal basis with the aid of a lemma on the dual of a polynomial basis.