A new feasibility condition for the AT4 family (Q2699656): Difference between revisions

Summary: Let \(\Gamma\) be an antipodal distance-regular graph with diameter \(4\) and eigenvalues \(\theta_0>\theta_1>\theta_2>\theta_3>\theta_4\). Then \(\Gamma\) is tight in the sense of \textit{A. Jurišić} et al. [J. Algebr. Comb. 12, No. 2, 163--197 (2000; Zbl 0959.05121)] whenever \(\Gamma\) is locally strongly regular with nontrivial eigenvalues \(p:=\theta_2\) and \(-q:=\theta_3\). Assume that \(\Gamma\) is tight. Then the intersection numbers of \(\Gamma\) are expressed in terms of \(p, q\), and \(r\), where \(r\) is the size of the antipodal classes of \(\Gamma \). We denote \(\Gamma\) by \(\text{AT4}(p,q,r)\) and call this an antipodal tight graph of diameter \(4\) with parameters \(p,q,r\). In this paper, we give a new feasibility condition for the \(\text{AT4}(p,q,r)\) family. We determine a necessary and sufficient condition for the second subconstituent of \(\text{AT4}(p,q,2)\) to be an antipodal tight graph. Using this condition, we prove that there does not exist \(\text{AT4}(q^3-2q,q,2)\) for \(q\equiv3 (\text{mod}~4)\). We discuss the \(\text{AT4}(p,q,r)\) graphs with \(r=(p+q^3)(p+q)^{-1}\).