Inverse Problems in the Theory of Distance-Regular Graphs: Dual 2-Designs
I. N. Belousovab,
A. A. Makhnevab a Institute of Mathematics and Mechanics, Ural Branch of the Russian Academy of Sciences, Ekaterinburg
b Ural Federal University named after the First President of Russia B. N. Yeltsin, Ekaterinburg
Abstract:
Let
$\Gamma$ be a distance-regular graph of diameter 3 with a strongly regular graph
$\Gamma_3$. Finding the parameters of
$\Gamma_3$ from the intersection array of
$\Gamma$ is a direct problem, and finding the intersection array of
$\Gamma$ from the parameters of
$\Gamma_3$ is its inverse. The direct and inverse problems were solved by A.A. Makhnev and M.S. Nirova: if a graph
$\Gamma$ with intersection array
$\{k,b_1,b_2;1,c_2,c_3\}$ has eigenvalue
$\theta_2=-1$, then the graph complementary to
$\Gamma_3$ is pseudo-geometric for
$pG_{c_3}(k,b_1/c_2)$. Conversely, if
$\Gamma_3$ is a pseudo-geometric graph for
$pG_{\alpha}(k,t)$, then
$\Gamma$ has intersection array
$\{k,c_2t,k-\alpha+1;1,c_2,\alpha\}$, where
$k-\alpha+1\le c_2t<k$ and
$1\le c_2\le \alpha$. Distance-regular graphs
$\Gamma$ of diameter 3 such that the graph
$\Gamma_3$ (
$\bar \Gamma_3$) is pseudogeometric for a net or a generalized quadrangle were studied earlier. In this paper, we study intersection arrays of distance-regular graphs
$\Gamma$ of diameter 3 such that the graph
$\Gamma_3$ (
$\bar \Gamma_3$) is pseudogeometric for a dual 2-design
$pG_{t+1}(l,t)$. New infinite families of feasible intersection arrays are found:
$\{m(m^2-1),m^2(m-1),m^2;1,1,(m^2-1)(m-1)\}$,
$\{m(m+1),(m+2)(m-1),m+2;1,1,m^2-1\}$, and
$\{2m(m-1),(2m-1)(m-1),2m-1;1,1,2(m-1)^2\}$, where
$m\equiv\pm 1$ (mod 3). The known families of Steiner 2‑designs are unitals, designs corresponding to projective planes of even order containing a hyperoval, designs of points and lines of projective spaces
$PG(n,q)$, and designs of points and lines of affine spaces
$AG(n,q)$. We find feasible intersection arrays of a distance-regular graph
$\Gamma$ of diameter 3 such that the graph
$\Gamma_3$ (
$\bar \Gamma_3$) is pseudogeometric for one of the known Steiner 2-designs.
Keywords:
distance-regular graph, dual 2-design.
UDC:
519.17
MSC: 05C25 Received: 01.08.2019
Revised: 08.11.2019
Accepted: 25.11.2019
DOI:
10.21538/0134-4889-2019-25-4-44-51