On amply regular locally \(GQ(4,8)\)-graphs (Q1930814): Difference between revisions

Before we state the main results in this paper, we recall some necessary definitions. A graph \(\Gamma\) is called an edge-regular graph with parameters \((v, k,\lambda,\mu)\) if \(\Gamma\) is a regular graph of degree \(k\) on \(v\) vertices in which each edge lies in \(\lambda\) triangles. \(\Gamma\) is called an amply regular graph with parameters \((v,k,\lambda,\mu)\) if \(\Gamma\) is an edge-regular graph with the corresponding parameters and \([a] \cap [b]\) contains \(\mu\) vertices for any two vertices \(a\) and \(b\) separated by a distance of 2 in \(\Gamma\). An amply regular graph is called strongly regular if it has a diameter of 2. The geometry \(G\) of rank 2 is an incidence system with a set of points \(P\) and a set of blocks \(\mathfrak{B}\) that does not have multiple blocks. Each block can be identified with the set of points that are incident to it, and the incidence becomes a usual inclusion. Two points from \(P\) are called collinear if they lie in a common block. The point graph of \(G\) is a graph on the set of points \(P\) in which two points are adjacent if they are distinct and collinear. The block graph is defined in a similar manner. For \(A \in P\), the residue \(G_a\) is defined as a geometry with the set \(P_a\) of points that are collinear to \(a\) and with the set of blocks \(\mathfrak{B} = \{B-\{a\} | a \in B \in \mathfrak{B}\}\). If \(a \in P\), \(b \in \mathfrak{B}\), and \(a \notin B\), then the pair \((a,B)\) is called an antiflag. If any two blocks from \(\mathfrak{B}\) intersect in at most one point, then the set of blocks is called the set of straight lines \(\mathfrak{L}\), while the geometry \((P,\mathfrak{L})\) is called a partial space of straight lines. A partial space of straight lines is of order \((s,t)\) if each straight line contains exactly \(s+1\) points and each point lies exactly on \(t+1\) straight lines. A partial space of straight lines of order \((s,t)\) is called a generalized quadrangle and is denoted by \(GQ(s,t)\) if, for any antiflag \((a,L)\), there is a unique straight line \(M\) containing \(a\) and intersecting \(L\). The classification of locally \(GQ(s,t)\)-graphs is a classical problem and has been solved for small \(s\) (see for example [Discrete Math. Appl. 8, No. 3, 275--290 (1998); translation from Diskretn. Mat. 10, No .2, 72--86 (1998; Zbl 0973.51008)]; [Discrete Math. Appl. 11, No. 4, 401--419 (2001); translation from Diskretn. Mat. 13, No. 3, 91--109 (2001; Zbl 1059.51008)] and the authors with \textit{M. M. Khamgokova} [Dokl. Math. 82, No. 2, 773--776 (2010); translation from Dokl. Akad. Nauk., Ross. Akad. Nauk. 434, No. 5, 583--586 (2010; Zbl 1231.05302)]). In this paper, the authors continued the study of amply regular locally \(GQ(s,t)\)-graphs and as the main result, they proved that { Theorem}. Let \(\Gamma\) be a connected amply regular locally \(GQ(4,8)\)-graph on \(\mathtt{v}\) vertices. Then \(\mathtt{v}\) is even and \(\Gamma\) is a graph of diameter 3 with \(\mu\in \{32,40,44,48\}\).