Mark S. MacLean

On bipartite distance-regular graphs with exactly two irreducible T-modules with endpoint 2

Let $Γ$ denote a bipartite distance-regular graph with diameter $D \ge 4$ and valency $k \ge 3$. Let $X$ denote the vertex set of $Γ$, and let $A$ denote the adjacency matrix of $Γ$. For $x \in X$ let $T=T(x)$ denote the subalgebra of Mat$_X(\mathbb{C}$ generated by $A, E*_0, E*s_1, \ldots, E*_D$, where for $0 \le i \le D$, $E*_i$ represents the projection onto the $i$th subconstituent of $Γ$ with respect to $x$. We refer to $T$ as the {\em Terwilliger algebra} of $Γ$ with respect to $x$. An irreducible $T$-module $W$ is said to be {\em thin} whenever dim $E*_i W \le 1$ for $0 \le i \le D$. By the {\em endpoint} of $W$ we mean min$\{i | E*_iW \ne 0\}$. For $0 \le i \le D$, let $Γ_i(z)$ denote the set of vertices in $X$ that are distance $i$ from vertex $z$. Define a parameter $Δ_2$ in terms of the intersection numbers by $Δ_2 = (k-2)(c_3-1)-(c_2-1)p^2_{22}$. In this paper we prove the following are equivalent: (i) $Δ_2>0$ and for $2 \le i \le D - 2$ there exist complex scalars $α_i, β_i$ with the following property: for all $x, y, z \in X$ such that $\partial(x, y) = 2, \: \partial(x, z) = i, \: \partial(y, z) = i$ we have $α_i + β_i |Γ_1(x) \cap Γ_1(y) \cap Γ_{i-1}(z)| = |Γ_{i-1}(x) \cap Γ_{i-1}(y) \cap Γ_1(z)|;$ (ii) For all $x \in X$ there exist up to isomorphism exactly two irreducible modules for the Terwilliger algebra $T(x)$ with endpoint two, and these modules are thin.