Tightness of the weight-distribution bound for strongly regular polar graphs

Abstract

In this paper we show the tightness of the weight-distribution bound for the positive non-principle eigenvalue of strongly regular (affine) polar graphs and characterise the optimal eigenfunctions. Additionally, we show the tightness of the weight-distribution bound for the negative non-principle eigenvalue of some unitary polar graphs.

1 Introduction

Recently, for a variety of distance-regular graphs, the eigenfunctions having the miminum cardinality of support were studied. These studies were initiated in [18], surveyed in [19] and further extended in [14, 15, 13, 9]. One of the main tools in these studies is the weight-distribution bound, a lower bound for the cardinality of support of an eigenfunction of a distance-regular graph. In particular, the tightness of the weight-distribution bound was shown in [15] for both non-principal eigenvalues of the affine polar graphs $VO^{+}(4,q)$. Recently, in connection with eigenfunctions of symplectic graphs $Sp(4,q)$ whose cardinality of support meets the weight-distribution bound, a new infinite family of divisible design graphs was constructed [9]. Except for the motivation described in [19], the eigenfunctions whose cardinality of support meets the weight-distribution bound are of interest since they give a restriction [13, Corollary 1] on the equitable 2-partitions of the graphs. Motivated by the results on strongly regular polar graphs, we initiate the studies of optimal eigenfunctions in strongly regular (affine) polar graphs.

The main results of the paper are as follows. We first show the tightness of the weight-distribution bound for the positive non-principle eigenvalue of strongly regular (affine) polar graphs and characterise the optimal eigenfunctions.

Theorem 1.

Let $X$ be a strongly regular (affine) polar graph. Then the following statements hold.
(1) Let $C_{0},C_{1}$ be two distinct Delsarte cliques in $X$ such that the size of the intersection of $C_{1}\cap C_{2}$ is maximum possible. Let $T_{0}=C_{0}\setminus C$ and $T_{1}=C_{1}\setminus C$, where $C=C_{0}\cap C_{1}$. Then the function $f:V(X)\mapsto\mathbb{R}$ taking value 1 on the vertices from $T_{0}$, value $-1$ on the vertices from $T_{1}$, and value 0 otherwise is an eigenfunction of $X$ corresponding to the positive non-principal eigenvalue, with the support meeting the weight-distribution bound.
(2) Let $g$ be an eigenfunction of $X$ corresponding to the positive non-principal eigenvalue, with the support meeting the weight-distribution bound. Then $g=cf$ for some eigenfunction $f$ from item (1) and a real number $c$.

Additionally, we show the tightness of the weight-distribution bound for the negative non-principle eigenvalue of some unitary polar graphs.

Proposition 1.

Let $q$ be a prime power, a square. The weight-distribution bound is tight for the negative non-principal eigenvalue $\theta_{2}=-(\sqrt{q}+1)$ of the unitary graph $U(4,q)$.

Except for the optimal eigenfunctions of affine polar graphs $VO^{+}(4,q)$ and symplectic $Sp(4,q)$, constructed, respectively, in [15] and [9], and the optimal eigenfunctions of unitary graphs $U(4,q)$, constructed in Proposition 1, we do not know any examples of the tightness of the weight-distribution bound for the negative non-principle eigenvalue of strongly regular (affine) polar graphs. The following problem is thus of interest.

Problem 1.

What are the eigenfunctions of strongly regular (affine) polar graphs corresponding to the negative non-principal eigenvalue and having the minimum cardinality of support?

The paper is organised as follows. In Section 2, we give preliminary definitions and results. In Section 3, we prove a number of statements that imply Theorem 1. In Section 4, we prove Proposition 1.

2 Preliminaries

In this section we list some preliminary definitions and results.

2.1 Strongly regular graphs

A $k$-regular graph on $v$ vertices is called strongly regular with parameters $(v,k,\lambda,\mu)$ if any two adjacent vertices have $\lambda$ common neigbours and any two distinct non-adjacent vertices have $\mu$ common neighbours. A strongly regular graph $X$ is primitive if both $X$ and its complement are connected.

Lemma 1 ([11, Theorem 5.2.1]).

If $X$ is a primitive strongly regular graph with parameters $(v,k,\lambda,\mu)$, then $X$ has exactly 3 distinct eigenvalues $k,\theta_{1},\theta_{2}$, such that $k>\theta_{1}>0>\theta_{2}$. The eigenvalues $\theta_{1},\theta_{2}$ and their multiplicities can be derived from the parameters of $X$.

A clique $C$ in a graph is called regular if every vertex that is not in $C$ has the same positive number of neighbors in $C$. The following lemma gives an upper bound on the clique number of a strongly regular graph, and shows that a maximum clique is regular if and only if its size agrees with the given upper bound.

Lemma 2 (Delsarte-Hoffman bound, [2, Proposition 1.3.2]).

Suppose that $X$ is a strongly regular graph with parameters $(v,k,\lambda,\mu)$ and smallest eigenvalue $-m$. Let $C$ be a clique in $X$. Then $|C|\leq 1+\frac{k}{m}$, with equality if and only if every vertex that is not in $C$ has the same number of neighbors (namely $\frac{\mu}{m}$) in $C$.

A clique in strongly regular graph whose size meets the Delsarte-Hoffman bound is called a Delsarte clique.

2.2 Weight-distribution bound for strongly regular graphs

Let $\theta$ be an eigenvalue of a graph $X$. A real-valued function on the vertex set of $X$, $f$, is called a $\theta$-eigenfunction of $X$ if it has at least one non-zero value, and for any vertex $\gamma$ in $X$ the condition

$$\theta\cdot f(\gamma)=\sum_{\begin{subarray}{c}\delta\in{X(\gamma)}\end{subarray}}f(\delta)$$ (1)

holds, where $X(\gamma)$ is the set of neighbours of the vertex $\gamma$. Then, the support $f$ is the set of vertices of $X$ on which $f$ takes a non-zero value.

The following lemma gives a lower bound for the number of non-zeroes for an eigenfunction of a strongly regular graph. This bound is presented in [18, Corollary 1] for distance-regular graphs, and we take the case for which the bound applies to strongly regular graphs.

Lemma 3.

Let $X$ be a primitive strongly regular graph with parameters $(v,k,\lambda,\mu)$ and let $\theta$ be a non-principal eigenvalue of $X$. Then a $\theta$-eigenfunction of $X$ has at least

$$1+|\theta|+|\frac{(\theta-\lambda)\theta-k}{\mu}|$$

non-zeroes, which is equal to $2(\theta_{1}+1)$ if $\theta=\theta_{1}$ and is equal to $-2\theta_{2}$ if $\theta=\theta_{2}$.

Lemma 4 follows from [18, Theorem 3, Theorem 4] and the fact that taking the complement of a strongly regular graph preserves the eigenspaces corresponding to the non-principal eigenvalues, which gives a description of the support of an eigenfunction of a strongly regular graph that meets the weight-distribution bound.

Lemma 4.

Let $X$ be a primitive strongly regular graph with eigenvalues $k>\theta_{1}>0>\theta_{2}$. Then the following statements hold.
(1) For a $\theta_{2}$-eigenfunction $f$, if the cardinality of support of $f$ meets the weight-distribution bound, then there exists an induced complete bipartite subgraph in $X$ with parts $T_{0}$ and $T_{1}$ of size $-\theta_{2}$. Moreover, up to multiplication by a constant, $f$ has value 1 on the vertices of $T_{0}$ and value $-1$ on the vertices of $T_{1}$.
(2) For a $\theta_{1}$-eigenfunction $f$, if the cardinality of support of $f$ meets the weight-distribution bound, then there exists an induced pair of isolated cliques $T_{0}$ and $T_{1}$ in $X$ of size $-\overline{\theta_{2}}=-(-1-\theta_{1})=1+\theta_{1}$. Moreover, up to multiplication by a constant, $f$ has value 1 on the vertices of $T_{0}$ and value $-1$ on the vertices of $T_{1}$.

In view of Lemma 4, to show the tightness of the weight-distribution bound for non-principal eigenvalues it suffices to find a certain induced subgraph (a pair of isolated cliques $T_{0}$ and $T_{1}$ or a complete bipartite graph with parts $T_{0}$ and $T_{1}$) and show that each vertex outside of $T_{0}\cup T_{1}$ has the same number of neighbours in $T_{0}$ and $T_{1}$.

2.3 Polar spaces

In this section, we will introduce polar spaces and present some basic results, most of which can be found in [8]. For further reference, see [6, 7, 20, 21].

Let $d$ be a positive integer, $q$ be a prime power, and $V=\mathbb{F}^{d}_{q}$. The Desarguesian projective space $\mathsf{PG}_{d-1}(q)$ is the point-line geometry with point set consisting of the 1-dimensional subspaces of $V$, line set consisting of the 2-dimensional subspaces of $V$, and incidence defined by containment.

Let $n$ be a positive integer. A (Veldkamp-Tits) polar space of rank $n$ is a pair $\Pi=(\mathcal{P},\Sigma)$, where the elements of $\mathcal{P}$ are called the points of $\Pi$, the elements of $\Sigma$ is a set of subsets of $\mathcal{P}$ called singular subspaces of $\Pi$, and the following hold:

1. For all $L\in\Sigma$, the points and singular subspaces contained in $L$ form a projective space of dimension $d\in\{-1,0,\dots,n-1\}$. We will call $d$ the dimension of $L$, and denote it by $\dim(L)$.

2. For all $L,M\in\Sigma$, $L\cap M\in\Sigma$.

3. For all $L\in\Sigma$ such that $\dim(L)=n-1$ and point $p\in\mathcal{P}\setminus L$, there exists a unique singular subspace $M\in\Sigma$ such that $p\in M$ and $\dim(M\cap L)=n-2$. In this case, $L\cap M$ consists of the points of $L$ which are contained together with $p$ in some singular subspace of dimension $1$.

4. There exists $L,M\in\Sigma$ such that $L\cap M=\emptyset$ and $\dim(L)=\dim(M)=n-1$.

Lemma 5.

Let $\Pi=(\mathcal{P},\Sigma)$ be a polar space of rank $n$. Then:

1. All maximal singular subspaces have dimension $n-1$;

2. Any set $X$ of pairwise collinear points is contained in a maximal singular subspace;

3. For any singular subspace $L$, there are maximal singular subspaces $M_{1},M_{2}$, such that $L=M_{1}\cap M_{2}$.

Proof.

See the proof of [7, Theorem 7.7(a)], [8, Theorem 7.3], and [8, Theorem 7.12] repsectively. ∎

For sets $X_{i}$ such that the union consists of pairwise collinear points, denote by $\left[X_{1},X_{2}\dots\right]$ the smallest singular subspace containing the points of the union of the sets $X_{i}$.

Let $d$ be a positive integer and $q$ be a prime power. A polar space $\Pi=(\mathcal{P},\Sigma)$ is an embedded polar space if $\mathcal{P}\subseteq\mathsf{PG}_{d-1}(q)$ for some positive integer $d$. The order of an embedded polar space $\Pi$ of rank $n$ is the pair $(q,t)$, where $t+1$ is this number of maximal singular subspaces which contain a given singular subspace of dimension $n-2$. A proof that $t$ is well-defined and positive can be found in [5, Section 2.2.5].

The embedded polar spaces of rank $n\geqslant 2$ have been fully classified. In Table 1 we list the embedded polar spaces of rank $n\geqslant 2$. For each polar space, the table contains the notation for the space, the dimension of the ambient vector space, and the order of the space. The last column contains a classical parameter $e$ for each of these spaces, which will be used later in counting arguments.

Name	Notation	dim(V)	Order	$e$
Symplectic	$\mathsf{Sp}_{2n}(q)$	$2n$	$(q,q)$	1
Hyperbolic orthogonal	$\mathsf{O}^{+}_{2n}(q)$	$2n$	$(q,1)$	0
Parabolic orthogonal	$\mathsf{O}_{2n+1}(q)$	$2n+1$	$(q,q)$	1
Elliptic orthogonal	$\mathsf{O}^{-}_{2n+2}(q)$	$2n+2$	$(q,q^{2})$	2
Small unitary	$\mathsf{U}_{2n}(\sqrt{q})$	$2n$	$(q,q^{1/2})$	1/2
Large unitary	$\mathsf{U}_{2n+1}(\sqrt{q})$	$2n+1$	$(q,q^{3/2})$	3/2

Figure. 1: Details of the embedded polar spaces of rank $n$.

In particular, we will be interested in the spaces $\mathsf{O}^{+}_{d}(q)$ and $\mathsf{O}^{-}_{d}(q)$. Let $V$ be a vector space over $\mathbb{F}_{q}$ of dimension $2m$, for positive integer $m$. Further, let $Q$ be a nondegenerate quadratic form on $V$ of type $\epsilon\in\{+1,-1\}$ (i.e. hyperbolic and elliptic respectively). In the remaining, we will identify $\epsilon$ with its sign when it is convenient for notational purposes.

The polar space $\mathsf{O}^{\epsilon}_{d}(q)$ has singular subspaces consisting of subspaces $W\subseteq V$ such that $Q(w)=0$ for all $w\in W$, and points consisting of the 0-dimensional singular subspaces.

2.4 Polar and affine polar graphs

Let $\Pi=(\mathcal{P},\Sigma)$ be a polar space of rank $n$. The collinearity graph of $\Pi$, $\Gamma(\Pi)$, is the graph with vertex-set $\mathcal{P}$, and for which distinct vertices $x,y$ are adjacent if and only if $x,y\in L$ for some $L\in\Sigma$.

Lemma 6.

Let $\Pi$ be an embedded polar space of rank n and order $(q,t)$. Then $\Gamma(\Pi)$ is strongly regular with eigenvalues $\theta_{1}=q^{n-1}-1$ and $\theta_{2}=-tq^{n-2}-1$.

Furthermore, a clique in $\Gamma(\Pi)$ with order meeting the Delsarte-Hoffman bound has $(q^{n}-1)/(q-1)$ vertices and is regular with nexus $(q^{n-1}-1)/(q-1)$.

Proof.

The strongly regular graph parameters of $\Gamma(\Pi)$ are derived in [5, Theorem 2.2.12]. The rest follows from Lemmas 1 and 2. ∎

Let $V$ be a vector space over $\mathbb{F}_{q}$ of dimension $2m$, for positive integer $m$. Further, let $Q$ be a nondegenerate quadratic form on $V$ of type $\epsilon\in\{+1,-1\}$. The polarisation of $Q$, $B$, is the bilinear form such that $B(x,y)=Q(x+y)-Q(x)-Q(y)$ for all $x,y\in V$.

The affine polar graph ${VO}^{\epsilon}_{2m}(q)$ is the graph with vertex-set the elements of $V$, and for which distinct vertices $x,y$ are adjacent if and only if $Q(x-y)=0$.

Lemma 7.

Let $V$ be a vector space over $\mathbb{F}_{q}$ of dimension $d=2m-\epsilon+1$, for positive integer $m$. Further, let $Q$ be a nondegenerate quadratic form on $V$ of type $\epsilon\in\{+1,-1\}$. Then the affine polar graph ${VO}^{\epsilon}_{2m}(q)$ is strongly regular with eigenvalues $\theta_{1}=\epsilon(q-1)q^{m-1}-1$ and $\theta_{2}=-\epsilon q^{m-1}-1.$

Furthermore, a clique in ${VO}^{\epsilon}_{2m}(q)$ with order meeting the Delsarte-Hoffman bound has $1+(q^{m}-\epsilon)(q^{m-1}+\epsilon)/(\epsilon q^{m-1}+1)$ vertices and is regular with nexus $q^{m-1}(q^{m-1}+\epsilon)/(\epsilon q^{m-1}+1).$

3 Characterisation of optimal $\theta_{1}$-eigenfunctions

In this section we will characterise the optimal eigenfunctions for the positive non-principal eigenvalue $\theta_{1}$ of each graph defined in Sections 2. The constructions and proofs in Sections 3.1 and 3.2.1 are closely related, while the construction in Section 3.2.2 is slightly different, but both constructions use maximal singular subspaces as there basis. We will use the properties of polar spaces to count exactly how many such eignefunctions these graphs have.

3.1 The $\theta_{1}$-eigenfunctions in polar graphs

In this section, we will characterise the optimal $\theta_{1}$-eigenfunctions of the polar graphs. We start by defining some notation for certain subsets of the singular subspaces of a given polar space, which we will find useful.

Let $\Pi=(\mathcal{P},\Sigma)$ be a polar space. For any $L\in\Sigma$, we define

$$\Sigma_{L}=\left\{M\in\Sigma:L\subsetneq M,\dim(M)=n-1\right\}.$$

Note that $\Sigma_{L}$ is a set of maximal singular subspaces of $\Pi$. If $\Pi$ is an embedded polar space with order $(q,t)$, then for any $L\in\Sigma$ such that $\dim(L)=n-2$, we have $|\Sigma_{L}|=t+1\geq 2$. For each $L\in\Sigma$, we define

$$\Delta_{L}=\left\{\{M\setminus L,N\setminus L\}:M,N\in\Sigma_{L},M\neq N\right\}.$$

We show that when $\dim(L)=n-2$, each element of $\Delta_{L}$ define an optimal $\theta_{1}$-eigenfunction.

Lemma 8.

Let $\Pi=(\mathcal{P},\Sigma)$ be an embedded polar space of rank $n$ and order $(q,t)$, $L$ be a singular subspace of $\Pi$ of dimension $n-2$, and $M,N\in\Sigma_{L}$ be distinct. Then:

1. for any $x,y\in M\setminus L$, $x$ and $y$ are collinear;

2. for any $x\in M\setminus L,y\in N\setminus L$, $x$ and $y$ are not collinear;

3. the function $f:\mathcal{P}\to\mathbb{R}$, such that

   $$f(z)=\left\{\begin{array}[]{cc}1,&z\in M\setminus L;\\ -1,&z\in N\setminus L;\\ 0,&\text{otherwise}.\end{array}\right.$$

   is a $\theta_{1}$-eigenfuction of $\Gamma(\Pi)$.

Proof.

1. This follows immediately from Axiom (I) and $x,y\in M$.

2. Suppose otherwise. Then as $\left[y,L\right]=N$ and $x\notin N$, we have a chain of singular subspaces $L\subsetneq\left[y,L\right]\subsetneq\left[x,y,L\right]$. By Lemma 5 1, this contradicts maximality of $N$.

3. First note that $\theta_{1}=q^{n-1}-1=|M\setminus L|-1=|N\setminus L|-1$. As all elements contained in a singular subspace are collinear, condition (1) is satisfied for $z\in L$. By parts 1 and 2, we see that the condition (1) is satisfied for $z\in(M\cup N)\setminus L$.

Consider $z\notin(M\cup N)$. Note that as $M,N$ have dimension $n-1$, they contain $(q^{n}-1)/(q-1)$ points. Therefore $M$ and $N$ are regular cliques in $\Gamma(\Pi)$ by Axiom (I) and Lemma 6. In particular, $z$ is adjacent to the same number of vertices in $M\setminus L$ and $N\setminus L$, and thus condition (1) is satisfied for $z$. The result follows.

∎

Next, we show that any pair of isolated cliques of the sizes given in the above example must come from an element of $\Delta_{L}$ for some singular subspace $L$ of dimension $n-2$.

Proposition 2.

Let $\Pi=(\mathcal{P},\Sigma)$ be an embedded polar space of rank $n\geqslant 2$ with order $(q,t)$. Then $T=\{T_{0},T_{1}\}$ is a pair of isolated cliques of size $\theta_{1}+1$ in $\Gamma(\Pi)$ if and only if $T\in\Delta_{L}$ for some $L\in\Sigma$ with $\dim(L)=n-2$.

Proof.

($\implies$) Suppose $T=\{T_{0},T_{1}\}$ is a pair of isolated cliques of size $\theta_{1}+1$ in $\Gamma(\Pi)$. Then we know $|T_{0}|=|T_{1}|=\theta_{1}+1=q^{n-1}$ by Lemma 6. As this is larger than the size of a singular subspace of dimension $n-2$, Lemma 5 2 implies that $M_{i}=\left[T_{i}\right]$ is the unique maximal clique containing $T_{i}$.

Consider $p\in T_{0}$. Note that $M_{0}\neq M_{1}$ and $p\notin M_{1}$ because $T_{0}$ and $T_{1}$ are isolated. By Axiom (III), there is a unique singular subspace $N_{1}$ such that $p\in N_{1}$ and $N_{1}\cap M_{1}$ has dimension $n-2$. But $|M_{1}\setminus T_{1}|=(q^{n-1}-1)/(q-1)$, which is the size of $N_{1}\cap M_{1}$. As $T_{0}$ and $T_{1}$ are isolated, $N_{1}\cap M_{1}\subseteq M_{1}\setminus T_{1}$, and by pigeonhole principle we have equality.

As this holds for all $p\in T_{0}$, we see that $T_{0}\cup M_{1}\setminus T_{1}$ is a maximal singular subspace. But by uniqueness of $M_{0}$, we have $M_{0}=T_{0}\cup(M_{1}\setminus T_{1})$, and $M_{0}\cap M_{1}=M_{0}\setminus T_{0}=M_{1}\setminus T_{1}$. Also, $L=M_{0}\cap M_{1}$ is a singular subspace of size $|M_{0}\setminus T_{0}|=(q^{n-1}-1)/(q-1)$, showing that $\dim(L)=n-2$. We have shown that $T=\{M_{0}\setminus L,M_{1}\setminus L\}$, and $T\in\Delta_{L}$.

($\impliedby$) Let $T=\{M_{0}\setminus L,M_{1}\setminus L\}\in\Delta_{L}$ for singular subspace $L$ of dimension $n-2$, and let $T_{0}=M_{0}\setminus L,T_{1}=M_{1}\setminus L$. By Lemma 8, the sets $T_{0}$ and $T_{1}$ are isolated cliques. By Axiom (I) we have $|M_{i}|=(q^{n}-1)/(q-1),|L|=(q^{n-1}-1)/(q-1)$, and $|M_{i}\setminus L|=q^{n-1}=\theta_{1}+1$. ∎

The two results above gives a characterisation of optimal $\theta_{1}$-eigenfunctions of a polar graph: they are the difference of indicator functions $1_{A}-1_{B}$, where $A,B\in\Delta_{L}$ for some $(n-2)$-dimensional singular subspace. Now we give count the number of such distinct functions by calculating the size of the sets $\Delta_{L}$ and their intersections.

Lemma 9.

Let $\Pi=(\mathcal{P},\Sigma)$ be an embedded polar space of rank $n\geqslant 2$ and order $(q,t)$. Further let $L_{0},L_{1}\in\Sigma$ be distinct, with $\dim(L_{0})=\dim(L_{1})=n-2$. Then:

1. $|\Sigma_{L_{0}}\cap\Sigma_{L_{1}}|\leqslant 1$;

2. $\Delta_{L_{0}}\cap\Delta_{L_{1}}=\emptyset$;

3. $|\Delta_{L_{0}}|=\binom{t+1}{2}$.

Proof.

1. Suppose $M,N\in\Sigma_{L_{0}}\cap\Sigma_{L_{1}}$. Then $M\cap N$ is a singular subspace by Axiom (II), of dimension at most $n-2$, contradicting the assumption $L_{0}\cup L_{1}\subseteq M\cap N$.

2. Suppose there are distinct $M_{0},N_{0}\in\Sigma_{L_{0}}$ and distinct $M_{1},N_{1}\in\Sigma_{L_{1}}$ such that $\{M_{0}\setminus L_{0},N_{0}\setminus L_{0}\}=\{M_{1}\setminus L_{1},N_{1}\setminus L_{1}\}$. Without loss of generality, assume $M_{0}\setminus L_{0}=M_{1}\setminus L_{1}$ and $N_{0}\setminus L_{0}=N_{1}\setminus L_{1}$.

Note that $M_{0}\setminus L_{0}$ is a set of collinear points, and $|M_{0}\setminus L_{0}|=q^{n-1}$ is larger than a projective space of dimension $n-2$. Therefore, $\left[M_{0}\setminus L_{0}\right]$ is the unique maximal singular subspace containing $M_{0}\setminus L_{0}$ by Lemma 5 2. Also, $M_{0}$ and $M_{1}$ are maximal singular subspaces containing $M_{0}\setminus L_{0}$, so $M_{0}=M_{1}$. Similarly, we can see that $N_{0}=N_{1}$. But this means $M_{0},N_{0}\in\Sigma_{L_{0}}\cap\Sigma_{L_{1}}$, contradicting part 1.

3. From the proof of part 2, we see that any elemnt of $\Delta_{L_{0}}$ is defined by a unique pair of elements of $\Sigma_{L_{0}}$. The result follows by noting that $|\Sigma_{L_{0}}|=t+1$ by definition. ∎

Now that we know that the sets $\Delta_{L}$ are disjoint, we can use well-known results involving the counting of singular subspaces of polar spaces to count how many optimal $\theta_{1}$-eigenfunctions a polar graph has. Here the classical parameter $e$ from Table 1 appears.

Corollary 1.

Let $\Pi=(\mathcal{P},\Sigma)$ be an embedded polar space of rank $n\geqslant 2$ found in Table 1, with order $(q,t)$ and parameter $e$. Then there are exactly

$$\binom{t+1}{2}\left(\frac{q^{n}-1}{q-1}\right)\prod_{i=0}^{n-2}\left(q^{n+e-i-1}+1\right)$$

pairs $\{T_{0},T_{1}\}$ of isolated cliques of size $\theta_{1}+1$

Proof.

Let $N$ be the number of such pairs of isolated cliques. By Proposition 2, these pairs are exactly the elements of $\Delta_{L}$ for some singular subspace of $\Pi$ with $\dim(L)=n-2$. By Lemma 9 parts 2 and 3, we have $\delta=|\Delta_{L}|=t(t+1)/2$ for all such $L$ and $N/\delta$ is the number of singular subspaces of $\Pi$ of dimension $n-2$. The result follows by [2, Lemma 9.4.1]. ∎

3.2 The affine polar graphs

In this section we characterise and count the optimal $\theta_{1}$-eigenfunctions for the affine polar graphs. To do this, we introduce notation which will help to transfer our knowledge of the associated polar spaces to the ambient vector space.

Let $V$ be a vector space over $\mathbb{F}_{q}$ of dimension $2m$, $m\geqslant 1$, and $Q$ be the nondegenerate quadratic form on $V$ of type $\epsilon\in\{+1,-1\}$. The quadric $\mathcal{Q}(V)$ is the set $\mathcal{Q}(V)=\{v\in V:Q(v)=0\}$. The affine polar graphs ${VO}^{\epsilon}_{2m}(q)$ are closely related to the orthogonal polar graphs $\mathsf{O}^{\epsilon}_{2m}(q)$. For any subset of points $P$ of $\mathsf{O}^{\epsilon}_{2m}(q)$, we define

$$\text{Aff}(P)=\{v\in V:v\in p\text{ for some }p\in P\},\text{ and}$$

$$\text{Aff}^{*}(P)=\text{Aff}(P)\setminus\{0\}.$$

Note that $\text{Aff}(P)\subseteq\mathcal{Q}(V)$ for any set of points $P$, and $\text{Aff}(P)$ consists of the elements of a vector space if and only if $P$ is the points of a projective space.

For any subset $U\subseteq V$, we define

$$\text{Proj}(U)=\{\langle v\rangle:v\in U,v\neq 0\}.$$

Note that $\text{Proj}(U)$ is a set of points of $\mathsf{O}^{\epsilon}_{2m}(q)$ if and only if $U\subseteq\mathcal{Q}(V)$.

For a singular subspace $L$ of $\mathsf{O}^{\epsilon}_{2m}(q)$, we define

$$V\Delta_{L}=\left\{\{\text{Aff}^{*}(M\setminus L),\text{Aff}^{*}(N\setminus L)\}:M,N\in\Sigma_{L},M\neq N\right\}.$$

Now we start to investigate the structure of the affine polar graphs and their cliques.

Lemma 10.

Let $V$ be a vector space over $\mathbb{F}_{q}$ of dimension $2m$, $m\geqslant 1$, and $Q$ be the nondegenerate quadratic form on $V$ of type $\epsilon\in\{+1,-1\}$. We have:

1. for all $u,v,w\in V$, $u$ and $w$ are adjacent in ${VO}^{\epsilon}_{2m}(q)$ if and only if $v+u$ is adjacent to $v+w$ (i.e. the function $\phi_{v}:V\to V,\phi_{v}(u)=v+u$ is an automorphism of ${VO}^{\epsilon}_{2m}(q)$).

2. For a singular subspace $L$ of $\mathsf{O}^{\epsilon}_{2m}(q)$, $v+\text{Aff}(L)$ is a clique in ${VO}^{\epsilon}_{2m}(q)$.

Proof.

1. Vertices $u,w$ are adjacent if and only if $Q(u-w)=0$. Then we have $Q((u+v)-(w+v))=Q(u-w)=0$.

2. We may assume $v=0$ by part 1. Let $u,w\in\text{Aff}(L)$ be distinct. If $u=0$, as $\text{Aff}(L)\subseteq\mathcal{Q}(V)$ we have $Q(w-u)=Q(w)=0$.

Now assume $u,w\in\text{Aff}(L)$ are distinct and nonzero. Then $p=\langle u\rangle,r=\langle w\rangle$ are points in $L$, and are collinear in $\mathsf{O}^{\epsilon}_{2m}(q)$ as $L$ is a singular subspace. This means $Q$ is identically zero on the vector space $\langle u,w\rangle$. In particular, $Q(u-w)=0$. ∎

The next Lemma gives a characterisation of maximal cliques in the affine polar graphs, which will be useful later.

Lemma 11.

Let $V$ be a vector space over $\mathbb{F}_{q}$ of dimension $2m$, $m\geqslant 1$, and $Q$ be the nondegenerate quadratic form on $V$ of type $\epsilon\in\{+1,-1\}$. For distinct cliques $C$ and $D$ in ${VO}^{\epsilon}_{2m}(q)$, we have;

1. $v+C$ is a clique for all $v\in V$;

2. for all $v\in C$, there is a (maximal) singular subspace $L$ of $\mathsf{O}^{\epsilon}_{2m}(q)$ such that $C\subseteq v+\text{Aff}(L)$;

3. if $C$ is maximal, there exists a unique maximal singular subspace $L$ of $\mathsf{O}^{\epsilon}_{2m}(q)$ such that $C=v+\text{Aff}(L)$ for all $v\in C$;

4. if $C$ and $D$ are maximal cliques, either $C\cap D=\emptyset$ or there are maximal singular subspaces $M,N$ of $\mathsf{O}^{\epsilon}_{2m}(q)$ such that $C=v+\text{Aff}(M),D=v+\text{Aff}(N)$ and $C\cap D=v+\text{Aff}(M\cap N)$ for all $v\in C\cap D$.

Proof.

1. This follows immediately from Lemma 10 1.

2. Let $B$ be the polarisation of $Q$. By definition of adjacency in ${VO}^{\epsilon}_{2m}(q)$, $v+C$ is a clique for all vectors $v\in V$. Let $v\in C$, and consider the clique $D=-v+C$. Then $0\in D$, so for all non-zero vectors $u,w\in D$ we must have $0=Q(u)=Q(w)=Q(w-u)$, which implies $B(u,w)=0$. But then for all $\alpha,\beta\in\mathbb{F}_{q}$, we have $Q(\alpha u+\mu w)=B(\alpha u,\beta w)+Q(\alpha u)+Q(\beta w)=\alpha\beta B(u,w)+\alpha^{2}Q(u)+\beta^{2}Q(w)=0$.

We have proven that for all $u,w\in D$, $\langle u,w\rangle\subseteq\mathcal{Q}(V)$. Therefore, $\text{Proj}(D)$ is a set of pairwise collinear points of $\mathsf{O}^{\epsilon}_{2m}(q)$, which is contained in some (maximal) singular subspace $L$ of $\mathsf{O}^{\epsilon}_{2m}(q)$ by Lemma 5 2. By observing $D\subseteq\text{Aff}(\text{Proj}(D))\subseteq\text{Aff}(L)$, we see that $C\subseteq v+\text{Aff}(L)$.

3. By Lemma 10 and parts 1 and 2, it follows that for any $v\in C$, $C=v+\text{Aff}(L)$, where $L$ is a maximal singular subspaces. Suppose we have $u,w\in C$ and maximal singular subspaces $L_{u},L_{w}$ such that $C=u+\text{Aff}(L_{u})=w+\text{Aff}(L_{w})$. As $\text{Aff}(L_{u})$ and $\text{Aff}(L_{w})$ are the elements of vector spaces of equal dimension, this forces $\text{Aff}(L_{u})=\text{Aff}(L_{w})$ and $L_{u}=L_{w}$.

4. Suppose $v\in C\cap D$. By part 3 there exist unique maximal singular subspaces $M,N$ of $\mathsf{O}^{\epsilon}_{2m}(q)$ such that $C=v+\text{Aff}(M),D=v+\text{Aff}(N)$. The result follows after observing $(-v+C)\cap(-v+D)=-v+(C\cap D)$ and $\text{Aff}(M)\cap\text{Aff}(N)=\text{Aff}(M\cap N)$. ∎

3.2.1 The $\theta_{1}$ eigenfunctions of the hyperbolic affine polar graphs

In this section we consider the affine polar graphs corresponding to a quadratic form of type $+1$ (the hyperbolic case). For these graphs, we will show that the optimal $\theta_{1}$-eigenfunctions come from translations of the isolated cliques we have seen in Section 3.1.

We begin by showing that any translation of the isolated cliques we have studied in the polar graph $\Gamma(\mathsf{O}^{+}_{2m}(q))$ define an optimal $\theta_{1}$-eigenfunction in ${VO}^{+}_{2m}(q)$.

Lemma 12.

Let $V$ be a vector space over $\mathbb{F}_{q}$ of dimension $2m$, $m\geqslant 1$, and $Q$ be the nondegenerate quadratic form on $V$ of type $+1$. Further, let $v\in V$, $L$ be a singular subspace of $\mathsf{O}^{+}_{2m}(q)$ of dimension $(m-2)$, and $M,N\in\Sigma_{L}$ be distinct. Then in the graph ${VO}^{+}_{2m}(q)$:

1. for all distinct $x,y\in v+\text{Aff}^{*}(M\setminus L)$, $x$ and $y$ are adjacent;

2. for all $x\in v+\text{Aff}^{*}(M\setminus L),y\in v+\text{Aff}^{*}(N\setminus L)$, $x$ and $y$ are not adjacent;

3. the function $f:\mathcal{P}\to\mathbb{R}$, such that

   $$f(z)=\left\{\begin{array}[]{cc}1,&z\in v+\text{Aff}^{*}(M\setminus L);\\ -1,&z\in v+\text{Aff}^{*}(N\setminus L);\\ 0,&\text{otherwise}.\end{array}\right.$$

   satisfies condition (1) for $\theta_{1}=q^{m}-q^{m-1}-1$.

Proof.

As being a adjacent, nonadjacent, and satisfying condition (1) is invariant under the action of an automorphism, we can assume $v=0$. Parts 1 and 2 follow from Lemma 8 1 and 2 respectively.

3. Note that $\text{Aff}(L)\cup\text{Aff}^{*}(M\setminus L)\cup\text{Aff}^{*}(N\setminus L)=\text{Aff}(M)\cup\text{Aff}(N)=\text{Aff}(M\cup N)$. Therefore $|\text{Aff}^{*}(M\setminus L)|=|\text{Aff}^{*}(N\setminus L)|=q^{m}-q^{m-1}=\theta_{1}+1$. For $z\in\text{Aff}(L)$ and $z\in\text{Aff}^{*}(M\setminus L)\cup\text{Aff}^{*}(N\setminus L)$ can be verified using parts 1 and 2.

Let $z\notin\text{Aff}(M\cup N)$ and $z$ have exactly the neighbours $M_{z}$ in $\text{Aff}^{*}(M\setminus L)$, $N_{z}$ in $\text{Aff}^{*}(M\setminus L)$ and $L_{z}$ in $\text{Aff}(L)$. By Lemmas 2 and 7, $\text{Aff}(M)$ and $\text{Aff}(N)$ are cliques with nexus $q^{m-1}$. Using the fact that $\text{Aff}(M)\cap\text{Aff}(N)=\text{Aff}(L)$ and the above, we have $q^{m-1}=|M_{z}|+|L_{z}|=|N_{z}|+|L_{z}|$, showing that $|M_{z}|=|N_{z}|$. This shows that $f$ satisfies condition (1) for $\theta_{1}$. ∎

Now we characterise the isolated cliques of the sizes we are interested in, which uses the characterisation in Proposition 2 for polar graphs.

Proposition 3.

Let $V$ be a vector space over $\mathbb{F}_{q}$ of dimension $2m$, $m\geqslant 1$, and $Q$ be the nondegenerate quadratic form on $V$ of type $+1$. For isolated cliques $T_{0},T_{1}$ of size $\theta_{1}+1$ in ${VO}^{+}_{2m}(q)$, we have cliques $C_{0},C_{1}$ and maximal singular subspaces $M_{0},M_{1}$ of $\mathsf{O}^{+}_{2m}(q)$ such that;

1. $C_{i}$ are maximal cliques, $C_{i}=v_{i}+\text{Aff}(M_{i})$ for all $v_{i}\in C_{i}$;

2. $|C_{0}\cap C_{1}|=q^{m-1}$ and there exists a singular subspaces $L$ of $\mathsf{O}^{+}_{2m}(q)$ of dimension $(n-2)$ such that $\{T_{0},T_{1}\}\in v+V\Delta_{L}$ for all $v\in C_{0}\cap C_{1}$.

Proof.

Let $D_{i}$ be maximal cliques containing $T_{i}$. By Lemma 11 4, $|D_{i}|=q^{m}$, and by Lemmas 2 and 7, $D_{i}$ have nexus $q^{m-1}$.

Suppose $D_{0}\cap D_{1}=\emptyset$. For $u\in T_{0}$, as $T_{0},T_{1}$ are isolated and $|D_{1}\setminus T_{1}|=q^{m-1}$, $u$ must be adjacent to all vertices in $D_{1}\setminus T_{1}$. This shows that each $w\in D_{1}\setminus T_{1}$ is adjacent to every element in $T_{0}$. Therefore $D_{0}$ has nexus at least $|T_{0}|=q^{m}-q^{m-1}\geqslant q^{m-1}$. Therefore $q=2$ and $(D_{0}\setminus T_{0})\cup T_{0},(D_{0}\setminus T_{0})\cup T_{1}$ are both maximal cliques containing $T_{0},T_{1}$ respectively.

Therefore we can take maximal cliques $C_{i}$ which contain $T_{i}$ and $C_{0}\cap C_{1}\neq\emptyset$. Let $v\in C_{0}\cap C_{1}$ and consider $S_{0}=\text{Proj}(-v+T_{0}),S_{1}=\text{Proj}(-v+T_{1})$ and $S=\{S_{0},S_{1}\}$. Then $S_{0},S_{1}$ are isolated cliques of $\Gamma(\mathsf{O}^{+}_{2m}(q))$, and as $v\notin T_{i}$, we have $|S_{i}|\geqslant(q^{m}-q^{m-1})/(q-1)=q^{m-1}$. By Proposition 2, any pair of subsets $R_{0}\subseteq S_{0},R_{1}\subseteq S_{1}$ such that $|R_{0}|=|R_{1}|=q^{m-1}$ must be contained in unique maximal singular subspaces $M_{0},M_{1}$ such that $L=M_{0}\cap M_{1}$ has dimension $m-2$. But this means $M_{0},M_{1}$ is the unique maximal containing $S_{0},S_{1}$ respectively. Then $|S_{i}|\leqslant|M_{i}\setminus L|=q^{m-1}$, proving that $|S_{i}|=q^{m-1}$, $S_{i}=M_{i}\setminus L$, and $S_{i}$ consists of the nonzero scalar multiples of $q^{m-1}$ independent vectors, i.e. $-v+T_{i}=\text{Aff}^{*}(S_{i})$. Therefore, $\{S_{0},S_{1}\}\in\Delta_{L}$ and $\{T_{0},T_{1}\}\in v+V\Delta_{L}$. ∎

This finishes the characterisation of optimal $\theta_{1}$-eigenfunctions in hyperbolic affine polar graphs as those coming from translations of those coming from the hyperbolic polar space. Next we find when the translations of the sets $\Delta_{L}$ can intersect.

Lemma 13.

Let $V$ be a vector space over $\mathbb{F}_{q}$ of dimension $2m$, $m\geqslant 1$, and $Q$ be the nondegenerate quadratic form on $V$ of type $+1$. Further let $u,w\in V$ and $L_{0},L_{1}$ be $(m-2)$-dimensional singular subspaces of $\mathsf{O}^{+}_{2m}(q)$. Then $(u+V\Delta_{L_{0}})\cap(w+V\Delta_{L_{1}})=\emptyset$ or $(u+V\Delta_{L_{0}})=(w+V\Delta_{L_{1}})$, with equality if and only if $L_{0}=L_{1}$ and $u-w\in\text{Aff}(L_{0})$.

Proof.

Suppose $(u+V\Delta_{L_{0}})\cap(w+V\Delta_{L_{1}})\neq\emptyset$, so we have $M_{i},N_{i}\in\Sigma_{L_{i}}$ such that $\text{Aff}^{*}(M_{1}\setminus L_{1})=u-w+\text{Aff}^{*}(M_{0}\setminus L_{0})$ and $\text{Aff}^{*}(N_{1}\setminus L_{1})=u-w+\text{Aff}^{*}(N_{0}\setminus L_{0})$. As $|\text{Aff}^{*}(M_{i}\setminus L_{i})|=|\text{Aff}^{*}(N_{i}\setminus L_{i})|=q^{m}-q^{m-1}$, we have $|M_{i}\setminus L_{i}|=|N_{i}\setminus L_{i}|=q^{m-1}$. Therefore, these sets are larger than an $(m-2)$-dimensional singular subspace, and so by Axiom II and Lemma 5 2, $M_{i}\setminus L_{i},N_{i}\setminus L_{i}$ are contained in a unique maximal singular subspaces $M_{i},N_{i}$ respectively. Then $\text{Aff}(M_{i}),\text{Aff}(N_{i})$ are unique maximal cliques containing $\text{Aff}^{*}(M_{i}\setminus L_{i}),\text{Aff}^{*}(N_{i}\setminus L_{i})$ respectively. This forces $\text{Aff}(M_{1})=u-w+\text{Aff}(M_{0})$ and $\text{Aff}(N_{1})=u-w+\text{Aff}(N_{0})$. But $\text{Aff}(M_{i}),\text{Aff}(N_{i})$ are vector spaces, so we must have $\text{Aff}(M_{1})=\text{Aff}(M_{0}),\text{Aff}(N_{1})=\text{Aff}(N_{0})$, $w-u\in\text{Aff}(M_{0})\cap\text{Aff}(N_{0})=\text{Aff}(L_{0})=\text{Aff}(L_{1})$ and $L_{1}=L_{0}$.

Now suppose $L_{0}=L_{1}$ and $u-w\in\text{Aff}(L_{0})$. Then for all $M,N\in\Sigma_{L_{0}}$, $u-w\in\text{Aff}(L_{0})=\text{Aff}(M)\cap\text{Aff}(N)$, so $u-w+\text{Aff}(L_{0})=\text{Aff}(L_{0})$ and $u-w+\text{Aff}^{*}(M\setminus L_{0})=\text{Aff}(M\setminus L_{0}),u-w+\text{Aff}^{*}(N\setminus L_{0})=\text{Aff}^{*}(N\setminus L_{0})$. This shows that $u-w+V\Delta_{L_{0}}=V\Delta_{L_{0}}$, so we have $u+V\Delta_{L_{0}}=w+V\Delta_{L_{0}}$. ∎

Now we can count the number of optimal $\theta_{1}$-eignefunctions of the hyperbolic affine polar graphs.

Corollary 2.

Let $V$ be a vector space over $\mathbb{F}_{q}$ of dimension $2m$, $m\geqslant 1$, and $Q$ be the nondegenerate quadratic form on $V$ of type $+1$. Then there are exactly

$$q^{m+1}\left(\frac{q^{2m}-1}{q-1}\right)\prod_{i=0}^{m-1}\left(q^{m-i-1}+1\right)$$

pairs $\{T_{0},T_{1}\}$ of isolated cliques of size $\theta_{1}+1$

Proof.

Let $N$ be the number such isolated cliques. By Proposition 3, these isolated cliques are exactly the elements of the sets $v+V\Delta_{L}$ for some singular subspace of $\Pi$ with $\dim(L)=n-2$. By Lemma 13, for coset representatives $v_{i}$ of $\text{Aff}(L)$, with $i\in\{0,1,\dots,q^{m+1}-1\}$, we have a disjoint union of sets

$$SV\Delta_{L}=\bigcup_{i=0}^{q^{m+1}-1}(v_{i}+V\Delta_{L}).$$

Also by Corollary 13, $SV\Delta_{L}$ are disjoint as $L$ varies. As $\delta=|V\Delta_{L}|=|\Delta_{L}|=1(1+1)/2=1$ for all such $L$, we see that $N/(\delta q^{m+1})$ is the number of singular subspaces of $\mathsf{O}^{+}_{2m}(q)$ of dimension $m-2$. The result follows by [2, Lemma 9.4.1]. ∎

3.2.2 The $\theta_{1}$-eigenfunctions of elliptic affine polar graphs

In this section we consider the affine polar graphs corresponding to a quadratic form of type $-1$ (the elliptic case). For this case, we will need some extra notation and basic results on quadratic forms. Note that the rank of $\mathsf{O}^{-}_{2m}(q)$ is $m-1$, so maximal singular subspaces have dimension $m-2$.

Let $V$ be a vector space over $\mathbb{F}_{q}$ of dimension $2m$, $m\geqslant 1$, and $Q$ be the nondegenerate quadratic form on $V$ of type $-1$. Further let $B$ be the polarisation of $Q$, and for any $S\subseteq V$, define

$$S^{\perp}=\{u\in V:B(u,s)=0\text{ for all }s\in S\}.$$

Lemma 14.

Let $V$ be a vector space over $\mathbb{F}_{q}$ of dimension $2m$, $m\geqslant 1$, and $Q$ be the nondegenerate quadratic form on $V$ of type $\epsilon$. For any subspace $U\subseteq V$ we have;

1. $U^{/perp}$ is a subapces, and $\dim(U^{\perp})=\dim(V)-\dim(U)$;

2. $U=U^{\perp\perp}$;

If $U\subseteq\mathcal{Q}(V)$, we have

1. $U\subseteq U^{\perp}$;

2. if $U$ is maximal in $\mathcal{Q}(V)$, $Q(t)\neq 0$ for all $t\in U^{\perp}\setminus U$.

Proof.

1. See [1, Lemma 3.1].

2. See [1, Theorem 3.4]

3. See [1, Lemma 3.19]

4. Otherwise $U\subsetneq\langle t,U\rangle\subseteq\mathcal{Q}(V)$, conradicting maximality of $U$. ∎

In the previous sections, the fact that a maximal clique is regular was used to show our constructions defined a $\theta_{1}$-eigenfunction. However, this is not true in the elliptic affine polar graphs, and we have to study adjacency of vertices from outside of a maxmimal clique in more detail.

Lemma 15.

Let $V$ be a vector space over $\mathbb{F}_{q}$ of dimension $2m$, $m\geqslant 1$, and $Q$ be the nondegenerate quadratic form on $V$ of type $-1$. Further let $v\in V$ and $M$ be a maximal singular subspace of $\mathsf{O}^{-}_{2m}(q)$. Then for any $z\in V\setminus(v+\text{Aff}(M))$, the neighbours $V_{z}$ of $z$ in the graph ${VO}^{-}_{2m}(q)$ are such that

$$|V_{z}\cap(v+\text{Aff}(M))|=\left\{\begin{array}[]{cc}q^{m-1}-1&z\in v+\text{Aff}(M)\\ q^{m-2},&z\notin(v+\text{Aff}(M)^{\perp});\\ 0&z\in(v+\text{Aff}(M)^{\perp}\setminus\text{Aff}(M))\end{array}\right.$$

Proof.

As being a adjacent and nonadjacent is invariant under the action of an automorphism, we can assume $v=0$. By Lemma 11 3, $\text{Aff}(M)$ is a maximal clique. For the remainder of the proof, we let $U=\text{Aff}(M)$.

Suppose $z\in U^{\perp}\setminus U$. For any $u\in U$, $Q(z-u)=B(z,u)+Q(z)+Q(u)=Q(z)$ as $z\in U^{\perp}$ and $u\in\mathcal{Q}(V)$. By Lemma 14 4, $Q(z)\neq 0$ and $u$ is not adjacent to $z$. Therefore, $|V_{z}\cap U|=0$.

Suppose $z\notin U^{\perp}$. Then there exists $u\in U$ such that $B(z,u)\neq 0$. The function $b_{z}:V\to\mathbb{F_{q}}$ defined by $b_{z}(v)=B(z,v)$ is a linear function with rank 1, and therefore $\dim(\ker(b_{z}))=\dim(V)-1=2m-1$. Then we see that

$$\dim(U\cap\ker(b_{z})) =\dim(U)+\dim(\ker(b_{z}))-\dim(U+\ker(b_{z}))$$

$$=3m-2-\dim(U+\ker(b_{z}))\geqslant m-2.$$

But $\dim(U)=m-1$ and $u\in U\setminus\ker(b_{z})$, so $\dim(U\cap\ker(b_{z}))\leqslant m-2$, and we have shown $\dim(U\cap\ker(b_{z}))=m-2$. Then we have $w\in U$ such that $Q(z-w)=0$ if and only if $0=b_{z}(w)+Q(z)+Q(w)=b_{z}(w)+Q(z)$, or $b_{z}(w)=-Q(z)$. But for any $x\in U$ such that $b_{z}(x)=-Q(z)$ (which exist because $b_{z}$ is nonzero on $U$), we have equality of sets $\{y\in U:b_{z}(y)=-Q(z)\}=x+\ker(b_{z})$, and has size $|\ker(b_{z})|=q^{m-2}$. ∎

The above result gives a 3 distinct cases for the intersection of a neighbourhood of a vertex outside lying outside of a maximal clique with this clique. We will use this to construct optimal $\theta_{1}$-eigenfunctions.

Lemma 16.

Let $V$ be a vector space over $\mathbb{F}_{q}$ of dimension $2m$, $m\geqslant 1$, and $Q$ be the nondegenerate quadratic form on $V$ of type $-1$. Further, let $v\in V$, $M$ be a maximal singular subspace of $\mathsf{O}^{-}_{2m}(q)$ and $t\in\text{Aff}(M)^{\perp}\setminus\text{Aff}(M)$. Then in the graph ${VO}^{-}_{2m}(q)$:

1. for all distinct $x,y\in v+\text{Aff}(M)$ or $x,y\in t+v+\text{Aff}(M)$, $x$ and $y$ are adjacent;

2. for all $x\in v+\text{Aff}(M),y\in t+v+\text{Aff}(M)$, $x$ and $y$ are not adjacent;

3. the function $f:\mathcal{P}\to\mathbb{R}$, such that

   $$f(z)=\left\{\begin{array}[]{cc}1,&z\in v+\text{Aff}(M);\\ -1,&z\in t+v+\text{Aff}(M);\\ 0,&\text{otherwise}.\end{array}\right.$$

   satisfies condition (1) for $\theta_{1}=q^{m-1}-1$.

Proof.

As being a adjacent, nonadjacent, and satisfying condition (1) is invariant under the action of an automorphism, we can assume $v=0$. Throughout, we let $U=\text{Aff}(M)$.

1. This follows from Axiom (I).

2. By Lemma 11 3, $U$ is a maximal subspace in $\mathcal{Q}(V)$. Then for all $u,w\in U$, $Q(u-(t+w))=Q((u-w)-t)=B(u-w,t)+Q(u-w)+Q(t)=Q(t)$, as $t\in U^{\perp}$ and $u-w\in U\subseteq\mathcal{Q}(V)$. But $Q(t)\neq 0$ by Lemma 14 4.

3. We have three cases for $z\in V$. The cases $z\in U$ and $z\in t+U$ can be verified using parts 1 and 2. The cases $z\in U^{\perp}\setminus((t+U)\cup U)$ and $z\notin U^{\perp}$ follows from Lemma 15, after noting that $t+U^{\perp}=U^{\perp}$. ∎

Now we show that any pair of isolated cliques of the sizes we are interested in come from the above construction.

Proposition 4.

Let $V$ be a vector space over $\mathbb{F}_{q}$ of dimension $2m$, $m\geqslant 1$, and $Q$ be the nondegenerate quadratic form on $V$ of type $-1$. For isolated cliques $T_{0},T_{1}$ of size $\theta_{1}+1$ in ${VO}^{-}_{2m}(q)$, there is a maximal singular subspace $M$ of $\mathsf{O}^{-}_{2m}(q)$, $v\in V$ and $t\in\text{Aff}(M)^{\perp}\setminus\text{Aff}(M)$ such that $T_{0}=v+\text{Aff}(M),T_{1}=t+v+\text{Aff}(M)$.

Proof.

By Lemma 11 3, $T_{0}=v+\text{Aff}(M)$ for some maximal singular subspace $M$. As being a adjacent and nonadjacent is invariant under the action of an automorphism, we can assume $v=0$. Throughout, we let $T_{0}=U=\text{Aff}(M)$.

By Lemma 11 3 we also have $t\in V$ and maximal singular subspace $N$ such that $T_{1}=t+\text{Aff}(N)$, and by Lemma 15, $T_{1}\subseteq U^{\perp}$. In particular, $t\in U^{\perp}$ and $\text{Aff}(N)\subseteq U^{\perp}\cap\mathcal{Q}(V)$. But by Lemma 14 4, $U^{\perp}\cap\mathcal{Q}(V)=U$, so $U=\text{Aff}(N)$ and $M=N$. As $T_{0},T_{1}$ are distinct, $t\in U^{\perp}\setminus U$. ∎

Finally, we count the number of such pairs of isolated cliques.

Corollary 3.

Let $V$ be a vector space over $\mathbb{F}_{q}$ of dimension $2m$, $m\geqslant 1$, and $Q$ be the nondegenerate quadratic form on $V$ of type $-1$. Then there are exactly

$$q^{m-1}\binom{q^{m+1}}{2}\prod_{i=0}^{m-2}\left(q^{m-i}+1\right)$$

pairs $\{T_{0},T_{1}\}$ of isolated cliques of size $\theta_{1}+1$

Proof.

For any such pair of isolated cliques $\{T_{0},T_{1}\}$, there is a unique maximal singular subspace $M$ such that $T_{0}-T_{1}=t+\text{Aff}(M)$, where $t\in\text{Aff}(M)^{\perp}$. Therefore, any such pair corresponds to choosing two elements of the same coset of $\text{Aff}(M)^{\perp}$. There are $q^{m-1}$ such cosets, and for each of these there are $\binom{q^{m+1}}{2}$ choices of pairs of elements in the coset. The result follows from the number of maximal singular subspaces in [2, Lemma 9.4.1]. ∎

4 Tightness of WDB for the negative non-principal eigenvalue $\theta_{2}$ of unitary graphs $U(4,q)$

In this section we prove Proposition 1.

Let $Q:=\{\delta\in\mathbb{F}_{q}^{*}\mid\delta^{\sqrt{q}+1}=1\}$. Note that for any $\gamma\in Q$, we have $\gamma^{\sqrt{q}}=1/\gamma$.

By definition, for arbitrary non-zero isotropic vectors $v=(v_{1},v_{2},v_{3},v_{4})$ and $u=(u_{1},u_{2},u_{3},u_{4})$, the vertices $[v]$ and $[u]$ are adjacent in $U(4,q)$ if and only if

$$v_{1}u_{1}^{\sqrt{q}}+v_{2}u_{2}^{\sqrt{q}}+v_{3}u_{3}^{\sqrt{q}}+v_{4}u_{4}^{\sqrt{q}}=0.$$

Consider the following two cases.

Case 1: $q$ is even.

Consider the following two subsets of points

$$T_{0}:=\{[(1,\gamma,0,0)]\mid\gamma\in Q\},$$ (2)

$$T_{1}:=\{[(0,0,1,\gamma)]\mid\gamma\in Q\}.$$ (3)

of the skew projective lines

$$L_{0}:=\{[(1,\delta,0,0)]\mid\delta\in\mathbb{F}_{q}\}\cup\{[(0,1,0,0)]\},$$

$$L_{1}:=\{[(0,0,1,\delta)]\mid\delta\in\mathbb{F}_{q}\}\cup\{[(0,0,0,1)]\},$$

respectively, in $PG(3,q)$. Note that the points from $T_{0}\cup T_{1}$ are the only isotropic points from $L_{0}\cup L_{1}$. We also equivalently have

$$T_{0}:=\{[(\gamma,1,0,0)]\mid\gamma\in Q\},$$ (4)

$$T_{1}:=\{[(0,0,\gamma,1)]\mid\gamma\in Q\}.$$ (5)

Note that $|T_{0}|=|T_{1}|=\sqrt{q}+1$. Moreover, $T_{0}\cup T_{1}$ induces a complete bipartite subgraph in $U(4,q)$ with parts $T_{0}$ and $T_{1}$.

We show that every vertex $u$ of $U(4,q)$ that does not belong to $T_{0}\cup T_{1}$ has at most one neighbour in $T_{0}$ and at most one neighbour in $T_{1}$. Moreover, we show that every vertex $u$ of $U(4,q)$ that does not belong to $T_{0}\cup T_{1}$ has one neighbour in $T_{0}$ if and only if $u$ has one neighbour in $T_{1}$. Consider a vertex $u=[(u_{1},u_{2},u_{3},u_{4})]\notin T_{0}\cup T_{1}$. The property $u\notin T_{0}$ implies $u_{3}\neq 0$ or $u_{4}\neq 0$. The property $u\notin T_{1}$ implies $u_{1}\neq 0$ or $u_{2}\neq 0$. We also note that, for any distinct $i,j\in\{1,2,3,4\}$, the property $u_{i}^{\sqrt{q}+1}=u_{j}^{\sqrt{q}+1}$ implies $u_{k}^{\sqrt{q}+1}=u_{\ell}^{\sqrt{q}+1}$, where $\{k,\ell\}=\{1,2,3,4\}\setminus\{i,j\}$. Indeed, it follows from the fact that $u$ is isotropic, that is, from the condition

$$u_{1}^{\sqrt{q}+1}+u_{2}^{\sqrt{q}+1}+u_{3}^{\sqrt{q}+1}+u_{4}^{\sqrt{q}+1}=0.$$ (6)

Consider the following four cases.

Case 1.1: $u_{1}\neq 0$ and $u_{3}\neq 0$. It is convenient to use expressions (2) and (3) here. The vertex $u$ is adjacent to $[(1,\gamma,0,0)]$ if and only if

$$u_{1}+u_{2}\gamma^{\sqrt{q}}=0,$$

or, equivalently,

$$\gamma=u_{2}/u_{1}.$$

Thus, the vertex $u$ has at most one neighbour in $T_{0}$. It has exactly one neighbour, namely, $[(1,u_{2}/u_{1},0,0)]$ if and only if $u_{2}/u_{1}\in Q$, that is, if and only if

$$u_{1}^{\sqrt{q}+1}=u_{2}^{\sqrt{q}+1}.$$ (7)

In view of condition (6), condition (7) is equivalent to the following condition:

$$u_{3}^{\sqrt{q}+1}=u_{4}^{\sqrt{q}+1}.$$ (8)

The vertex $u$ is adjacent to $[(0,0,1,\gamma)]$ if and only if

$$u_{3}+u_{4}\gamma^{\sqrt{q}}=0,$$

or, equivalently,

$$\gamma=u_{4}/u_{3}.$$

Thus, the vertex $u$ has at most one neighbour in $T_{1}$. It has exactly one neighbour, namely, $[(0,0,1,u_{4}/u_{3})]$ if and only if $u_{4}/u_{3}\in Q$, that is, if and only if condition 8 holds.

Case 1.2: $u_{1}\neq 0$ and $u_{4}\neq 0$. It is convenient to use expressions (2) and (5) here. The proof is analogous to Case 1.1.

Case 1.3: $u_{2}\neq 0$ and $u_{3}\neq 0$. It is convenient to use expressions (4) and (3) here. The proof is analogous to Case 1.1.

Case 1.4: $u_{2}\neq 0$ and $u_{4}\neq 0$. It is convenient to use expressions (4) and (5) here. The proof is analogous to Case 1.1.

Case 2: $q$ is odd.

Let $\beta$ be a primitive element in $\mathbb{F}_{q}$ and let $\varepsilon=\beta^{\frac{\sqrt{q}-1}{2}}$. Note that $\varepsilon^{\sqrt{q}+1}=-1$ and $\varepsilon^{\sqrt{q}}=-1/\varepsilon$.

Consider the following two subsets of points

$$T_{0}:=\{[(1,\varepsilon\gamma,0,0)]\mid\gamma\in Q\},$$ (9)

$$T_{1}:=\{[(0,0,1,\varepsilon\gamma)]\mid\gamma\in Q\}.$$ (10)

of the skew projective lines

$$L_{0}:=\{[(1,\delta,0,0)]\mid\delta\in\mathbb{F}_{q}\}\cup\{[(0,1,0,0)]\},,$$

$$L_{1}:=\{[(0,0,1,\delta)]\mid\delta\in\mathbb{F}_{q}\}\cup\{[(0,0,0,1)]\},$$

respectively, in $PG(3,q)$. Note that the points from $T_{0}\cup T_{1}$ are the only isotropic points from $L_{0}\cup L_{1}$. We also equivalently have

$$T_{0}=\{[(\varepsilon\gamma,1,0,0)]\mid\gamma\in Q\},$$ (11)

$$T_{1}=\{[(0,0,\varepsilon\gamma,1)]\mid\gamma\in Q\}.$$ (12)

Note that $|T_{0}|=|T_{1}|=\sqrt{q}+1$. Moreover, $T_{0}\cup T_{1}$ induces a complete bipartite subgraph in $U(4,q)$ with parts $T_{0}$ and $T_{1}$.

We show that every vertex $u$ of $U(4,q)$ that does not belong to $T_{0}\cup T_{1}$ has exactly one neighbour in $T_{0}$ and exactly one neighbour in $T_{1}$. Consider a vertex $u=[(u_{1},u_{2},u_{3},u_{4})]\notin T_{0}\cup T_{1}$. The property $u\notin T_{0}$ implies $u_{3}\neq 0$ or $u_{4}\neq 0$. The property $u\notin T_{1}$ implies $u_{1}\neq 0$ or $u_{2}\neq 0$. We also note that, for any distinct $i,j\in\{1,2,3,4\}$, the property $u_{i}^{\sqrt{q}+1}=-u_{j}^{\sqrt{q}+1}$ implies $u_{k}^{\sqrt{q}+1}=-u_{\ell}^{\sqrt{q}+1}$, where $\{k,\ell\}=\{1,2,3,4\}\setminus\{i,j\}$. Indeed, it follows from the fact that $u$ is isotropic, that is, from condition (6).

Consider the following four cases.

Case 2.1: $u_{1}\neq 0$ and $u_{3}\neq 0$. It is convenient to use expressions (9) and (10) here. The vertex $u$ is adjacent to $[(1,\varepsilon\gamma,0,0)]$ if and only if

$$u_{1}+u_{2}(\varepsilon\gamma)^{\sqrt{q}}=0,$$

or, equivalently,

$$\varepsilon\gamma=u_{2}/u_{1}.$$

Thus, the vertex $u$ has at most one neighbour in $T_{0}$. It has exactly one neighbour, namely, $[(1,u_{2}/u_{1},0,0)]$ if and only if $u_{2}/u_{1}\in\varepsilon Q$, that is, if and only if

$$u_{1}^{\sqrt{q}+1}=-u_{2}^{\sqrt{q}+1}.$$ (13)

In view of condition (6), condition (13) is equivalent to the following condition:

$$u_{3}^{\sqrt{q}+1}=-u_{4}^{\sqrt{q}+1}.$$ (14)

The vertex $u$ is adjacent to $[(0,0,1,\varepsilon\gamma)]$ if and only if

$$u_{3}+u_{4}(\varepsilon\gamma)^{\sqrt{q}}=0,$$

or, equivalently,

$$\varepsilon\gamma=u_{4}/u_{3}.$$

Thus, the vertex $u$ has at most one neighbour in $T_{1}$. It has exactly one neighbour, namely, $[(0,0,1,u_{4}/u_{3})]$ if and only if $u_{4}/u_{3}\in\varepsilon Q$, that is, if and only if condition 14 holds.

Case 2.2: $u_{1}\neq 0$ and $u_{4}\neq 0$. It is convenient to use expressions (9) and (12) here. The proof is analogous to Case 2.1.

Case 2.3: $u_{2}\neq 0$ and $u_{3}\neq 0$. It is convenient to use expressions (11) and (10) here. The proof is analogous to Case 2.1.

Case 2.4: $u_{2}\neq 0$ and $u_{4}\neq 0$. It is convenient to use expressions (11) and (12) here. The proof is analogous to Case 2.1.