Symmetric graphs with complete quotients

TL;DR

This paper investigates symmetric graphs with complete quotient graphs, extending previous results from the case t=1 to t>1, and classifies possible structures under certain transitivity and size conditions.

Contribution

It generalizes classification results of symmetric graphs with complete quotients from t=1 to t>1, providing explicit classifications under 2-transitivity and size constraints.

Findings

If the group on a part is 2-transitive and blocks are smaller than the part, then either v < b or the structure is explicitly known.

The paper extends classification methods to cases where t > 1, broadening understanding of symmetric graphs with complete quotients.

Conditions for the structure of graphs, groups, and partitions are established, leading to explicit classifications.

Abstract

Let $\Gamma$ be a $G$-symmetric graph with vertex set $V$. We suppose that $V$ admits a $G$-partition $\mathcal{B} = \{ B_0, ... , B_b \}$, with parts of size $v$, and that the quotient graph induced on $\mathcal B$ is a complete graph of order $b+1$. Then, for each pair of distinct suffices $i, j$, the graph induced on the union $B_i\cup B_j$ is bipartite with each vertex of valency $0$ or $t$ (a constant). When $t=1$, it was shown earlier how a flag-transitive $1$-design $D(B_i)$ induced on a part $B_i$ can sometimes be used to classify possible triples $(\Gamma, G, \mathcal B)$. Here we extend these ideas to $t > 1$ and prove that, if the group induced by $G$ on a part $B_i$ is $2$-transitive and the "blocks" of $D(B_i)$ have size less than $v$, then either (i) $v < b$, or (ii) the triple $(\Gamma, G, \mathcal B)$ is known explicitly.