Abstract
We study the problem of determining the maximum size of a spherical two-distance set with two fixed angles (one acute and one obtuse) in high dimensions. Let \(N_{\alpha ,\beta }(d)\) denote the maximum number of unit vectors in \({\mathbb {R}}^d\) where all pairwise inner products lie in \(\{\alpha ,\beta \}\). For fixed \(-1\le \beta<0\le \alpha <1\), we propose a conjecture for the limit of \(N_{\alpha ,\beta }(d)/d\) as \(d \rightarrow \infty \) in terms of eigenvalue multiplicities of signed graphs. We determine this limit when \(\alpha +2\beta <0\) or \((1-\alpha )/(\alpha -\beta ) \in \{1, \sqrt{2}, \sqrt{3}\}\).
Our work builds on our recent resolution of the problem in the case of \(\alpha = -\beta \) (corresponding to equiangular lines). It is the first determination of \(\lim _{d \rightarrow \infty } N_{\alpha ,\beta }(d)/d\) for any nontrivial fixed values of \(\alpha \) and \(\beta \) outside of the equiangular lines setting.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A set of unit vectors in \({\mathbb {R}}^d\) is a spherical two-distance set if the inner products of distinct vectors only take two values. The problem of determining the maximum size of spherical two-distance sets is a deep and natural problem in discrete geometry. Some of the earliest results in this area date to the seminal work of Delsarte et al. [4]. They prove that a spherical two-distance set in \({\mathbb {R}}^d\) has size at most \(\tfrac{1}{2} d(d+3)\). This bound is close to the truth, as taking the \(\frac{1}{2} d(d+1)\) midpoints on the edges of a regular simplex form a spherical two-distance set in \({\mathbb {R}}^d\). Recently Glazyrin and Yu [6] determined that the maximum size of spherical two-distance sets in \({\mathbb {R}}^d\) is indeed \(\frac{1}{2} d(d+1)\) whenever \(d \ge 7\) and \(d+3\) is not an odd perfect square; see [2, 14, 17] for results in many small dimensions.
Given a set \(A \subset [-1,1)\), a spherical A-code is a set S of unit vectors in \({\mathbb {R}}^d\) where \(\langle x,y\rangle \in A\) for all distinct \(x,y \in S\). We write \(N_A(d)\) the maximum size of a spherical A-code in \({\mathbb {R}}^d\). In this paper, we are primarily interested in the case \(A = \{\alpha , \beta \}\) for fixed \(-1 \le \beta< \alpha < 1\) and large d, in which case we write \(N_{\alpha ,\beta }(d)\) instead of \(N_{\{\alpha ,\beta \}}(d)\).
Let us briefly mention some early developments on this problem. The special case \(\alpha = -\beta \) corresponds to equiangular lines, whose study in the setting of fixed angle in high dimensions began with the work of Lemmens and Seidel [12]. For spherical two-distance sets with fixed angles, Neumaier [15, Corollary 5] showed that \(N_{\alpha ,\beta }(d)\le 2d+1\) unless \((1-\alpha )/(\alpha - \beta )\) is an integer. Furthermore, a result of Larman et al. [11] implies the growth rate \(N_{\alpha ,\beta }(d) = \Theta _{\alpha ,\beta }(d^2)\) for all \(0\le \beta<\alpha <1\) such that \((1-\alpha )/(\alpha - \beta )\) is an integer.Footnote 1 The regime \(-1\le \beta<\alpha <0\) is less interesting, as an easy argument shows that \(N_{[-1,\alpha ]}(d) \le 1 - 1/\alpha \) for all \(\alpha < 0\).
Recently work [1, 3, 9] culminated in a solution [10] to the problem of determining the maximum number of equiangular lines with fixed angles in high dimensions. The papers [1, 3] also address the more general problem of estimating \(N_{[-1,\beta ]\cup \{\alpha _1, \dots , \alpha _k\}}(d)\) for fixed \(\beta< 0< \alpha _1< \cdots < \alpha _k\). In particular, Bukh [3] showed that \(N_{[-1,\beta ]\cup \{\alpha \}}(d) = O_\beta (d)\), in sharp contrast to the quadratic dependence in dimension without angle restrictions. Significant progress was made by Balla et al. [1], whose results in particular imply the bound \(N_{\alpha ,\beta }(d) \le 2(1-\alpha /\beta +o(1))d\). More generally, it was conjectured in [3] and proved in [1, Theorem 1.4] that \(N_{[-1,\beta ]\cup \{\alpha _1, \dots , \alpha _k\}} = O_{k,\beta }(d^k)\), and that there exist choices of \(\alpha _1, \dots , \alpha _k, \beta \) for which this upper bound is tight up to a constant factor. Here subscripts in the asymptotic notation indicate that hidden constants may depend on these parameters.
We focus our attention on the goal of sharpening the above results for spherical two-distance sets and obtaining tight asymptotics for their maximum sizes.
Problem 1.1
Determine, for fixed \(-1\le \beta<0\le \alpha <1\), and large d, the maximum number, denoted \(N_{\alpha ,\beta }(d)\), of unit vectors in \({\mathbb {R}}^d\) whose pairwise inner products lie in \(\{\alpha , \beta \}\). In particular determine the limit of \(N_{\alpha ,\beta }(d)/d\) as \(d \rightarrow \infty \).
We recently solved Problem 1.1 in the case of equiangular lines [10] where \(\beta = -\alpha \). To state the result, we need the following spectral graph quantity, introduced in [9].
Definition 1.2
The spectral radius order, denoted \(k(\lambda )\), of a real number \(\lambda > 0\) is the smallest integer k so that there exists a k-vertex graph G whose spectral radius \(\lambda _1(G)\) is exactly \(\lambda \). Set \(k(\lambda ) = \infty \) if no such graph exists. (When we talk about the spectral radius or eigenvalues of a graph we always refer to its adjacency matrix.)
Theorem 1.3
(Equiangular lines with a fixed angle [10]) Fix \(\alpha \in (0,1)\). Let \(\lambda = (1-\alpha )/(2\alpha )\). For all sufficiently large \(d > d_0(\alpha )\),
Let us recap some key steps in the proof of the upper bound on \(N_{\alpha ,-\alpha }(d)\) in Theorem 1.3. We will build on this framework.
Given a spherical \(\{\pm \alpha \}\)-code S, we consider the associated graph G with vertex set S, where \(x,y \in S\) are adjacent in G if \(\langle x, y \rangle = -\alpha \). We are allowed to replace any \(x \in S\) by \(-x\) without changing the equiangular lines configuration. An argument introduced in [1] reduces the problem to bounded degree graphs.
Theorem 1.4
( [1] and [10, Theorem 2.1]) For every \(\alpha \in (0,1)\), there exists \(\Delta \) depending only on \(\alpha \), such that given any spherical \(\{\pm \alpha \}\)-code S in \({\mathbb {R}}^n\), one can replace some subset of vectors in S by their negations so that the associated graph G (as defined above) has maximum degree at most \(\Delta \).
The problem of bounding the size of S is related to the multiplicity of \((1-\alpha )/(2\alpha )\) as the second largest eigenvalue of the adjacency matrix of G. A crucial contribution of [10] is that every connected bounded degree graph has sublinear second eigenvalue multiplicity. More generally, we have the following. (See Definition 1.8 below for the precise definition of j-th eigenvalue multiplicity.)
Theorem 1.5
( [10, Theorem 2.2]) For every j and \(\Delta \), there is a constant \(C = C(\Delta ,j)\) so that every connected n-vertex graph with maximum degree at most \(\Delta \) has j-th eigenvalue multiplicity at most \(Cn/\log \log n\).
Turning to spherical two-distance sets, given a spherical \(\{\alpha ,\beta \}\)-code S (with \(\beta < 0 \le \alpha \) as always throughout this paper), we define its associated graph G to have vertex set S and where \(x,y \in S\) are adjacent in G if \(\langle x, y \rangle = \beta \). Unlike for equiangular lines, here we are no longer allowed to negate a subset of vectors in a spherical \(\{\alpha ,\beta \}\)-code. Instead, we show that G is very close to a complete p-partite graph. Here p is a specific constant, with the equiangular lines problem corresponding to \(p=2\).
Definition 1.6
A graph G is a \(\Delta \)-modification of another graph H on the same vertex set if the symmetric difference of G and H has maximum degree at most \(\Delta \).
Theorem 1.7
For every \(-1 \le \beta< 0 \le \alpha < 1\), there exists \(\Delta \) depending only on \(\alpha \) and \(\beta \) such that for every spherical \(\{\alpha ,\beta \}\)-code, its associated graph G (as defined above), after removing at most \(\Delta \) vertices, is a \(\Delta \)-modification of a complete p-partite graph, where \(p = {\lfloor }-\alpha /\beta {\rfloor }+1\).
Remark
We allow empty parts in a complete p-partite graph. In particular, a complete t-partite graph is always a complete p-partite graph for \(t \le p\).
It will be helpful to study such graphs using the language of signed graphs.
Definition 1.8
A signed graph is a graph whose edges are each labeled by \(+\) or −. Throughout the paper we decorate variables for signed graphs with the ± superscript. The signed adjacency matrix \(A_{G^\pm }\) of a signed graph \(G^\pm \) on n vertices is the \(n\times n\) matrix whose (i, j)-th entry is 1 if ij is a positive edge, and \(-1\) if ij is a negative edge, and 0 otherwise. We denote the eigenvalues of \(A_{G^\pm }\) by \(\lambda _1(G^\pm ) \ge \lambda _2(G^\pm ) \ge \cdots \ge \lambda _n(G^\pm )\). We write
for the the multiplicity of \(\lambda \) as an eigenvalue of \(G^\pm \). The j-th eigenvalue multiplicity of \(G^\pm \) is defined to be \({{\,\textrm{mult}\,}}(\lambda _j(G^\pm ),G^\pm )\). We use \(\left| G\right| \) and \(\left| G^\pm \right| \) to denote the number of vertices in the graph.
Given a \(\Delta \)-modification G of a complete p-partite graph K, we study the signed graph \(G^\pm \) defined by \(A_{G^\pm } = A_G - A_{K}\). The growth rate of \(N_{\alpha ,\beta }(d)\) is related to the eigenvalue multiplicity of \(G^\pm \). We introduce the following parameter generalizing the spectral radius order \(k(\lambda )\) for signed graphs.
Definition 1.9
A valid p-coloring of a signed graph \(G^\pm \) is a coloring of the vertices using p colors such that the endpoints of every negative edge are colored using distinct colors, and the endpoints of every positive edge are colored using identical colors. (See Fig. 1 for an example.) The chromatic number \(\chi (G^\pm )\) of a signed graph \(G^\pm \) is the smallest p for which \(G^\pm \) has a valid p-coloring. If \(G^\pm \) does not have a valid p-coloring for any p, we write \(\chi (G^\pm ) = \infty \).
Definition 1.10
Given \(\lambda > 0\) and \(p \in {\mathbb {N}}\), define the parameter
We say that \(k_p(\lambda )\) is achievable if it is finite and the infimum can be attained.
In the definition of \(k_p(G^\pm )\), it is enough to consider connected \(G^\pm \), since the eigenvalues of \(G^\pm \) are given by the union of the the eigenvalues of its connected components.
If \(\chi (G^\pm ) \le 2\), then the signed graph \(G^\pm \) and its underlying graph G have the same eigenvalues (including multiplicities), since the signed adjacency matrix of \(G^\pm \) can be obtained by conjugating the adjacency matrix of G by a \(\{\pm 1\}\)-valued diagonal matrix. By the Perron–Frobenius theorem, the top eigenvalue of a connected unsigned graph has multiplicity one. Thus,
However the behavior of \(k_p(\lambda )\) is far more mysterious when \(p \ge 3\). We do not know any general method of estimating or certifying values of \(k_p(\lambda )\). Also, it is not even clear whether the infimum in the definition of \(k_p(\lambda )\) can always be attained whenever \(k_p(\lambda )\) is finite.
Generalizing the construction in [9] relating equiangular lines to \(k(\lambda )\), we can obtain a lower bound on \(\lim _{d\rightarrow \infty }N_{\alpha ,\beta }(d)/d\) (see Proposition 2.2). Our main conjecture, below, says that this lower bound is sharp.
Conjecture 1.11
Fix \(-1\le \beta<0\le \alpha <1\). Set \(\lambda = (1-\alpha )/(\alpha -\beta )\) and \(p = {\lfloor }-\alpha /\beta {\rfloor } + 1\). Then
We see above that the parameters
appear to play important roles in the problem. These two parameters \(\lambda \) and p conjecturally govern the asymptotic behavior of \(N_{\alpha ,\beta }(d)\). Our main theorem below establishes Conjecture 1.11 for \(p \le 2\), as well as for \(\lambda \in \{1, \sqrt{2}, \sqrt{3}\}\). This is the first time that some \(\lim _{d \rightarrow \infty } N_{\alpha ,\beta }(d)/d\) is determined outside of the equiangular lines setting (\(\alpha = -\beta \)).
Theorem 1.12
Fix \(-1\le \beta<0\le \alpha <1\). Set \(\lambda = (1-\alpha )/(\alpha -\beta )\) and \(p = {\lfloor }-\alpha /\beta {\rfloor }+1\).
-
(a)
If \(p \le 2\), then the maximum size \(N_{\alpha ,\beta }(d)\) of a spherical \(\{\alpha , \beta \}\)-code in \({\mathbb {R}}^d\) satisfies
$$\begin{aligned} N_{\alpha ,\beta }(d) = {\left\{ \begin{array}{ll} \displaystyle \frac{k(\lambda ) d}{k(\lambda )-1} + O_{\alpha ,\beta }(1) \qquad &{} \text {if }k(\lambda ) < \infty , \\ d + o(d) &{} \text {otherwise}. \end{array}\right. } \end{aligned}$$ -
(b)
If \(\lambda = 1\) and \(p \ge 2\), then \(k_p(1) = p/(p-1)\) and \(N_{\alpha ,\beta }(d) = pd + O_{\alpha ,\beta }(1)\).
-
(c)
If \(\lambda = \sqrt{3}\) and \(p = 3\), then \(k_3(\sqrt{3}) = 7/3\) and \(N_{\alpha ,\beta }(d) = 7d/4 + O_{\alpha ,\beta }(1)\).
-
(d)
If \(\lambda \in \{\sqrt{2}, \sqrt{3}\}\) and \(p \ge \lambda ^2 + 1\), then \(k_p(\lambda ) = 2\) and \(N_{\alpha ,\beta }(d) = 2d + O_{\alpha ,\beta }(1)\).
Moreover, \(k_p(\lambda )\) is achievable for every \(\lambda \in \{1,\sqrt{2}, \sqrt{3}\}\) and \(p \in {\mathbb {N}}\).
Remark
The conditions on \(\lambda \) and p in Theorem 1.12 can be directly translated to ones on \(\alpha \) and \(\beta \). The condition \(p \le 2\) in (a) amounts to \(\alpha + 2\beta < 0\), which includes the special case \(\alpha = -\beta \) for equiangular lines. The conditions in both (b) and (d) amount to \((\lambda +1)\alpha - \lambda \beta = 1\) and \(\lambda /(\lambda ^2 +\lambda +1) \le \alpha < 1/(\lambda +1)\), where \(\lambda \in \{1,\sqrt{2},\sqrt{3}\}\). For example, \((\alpha , \beta ) = (2/5, -1/5)\) satisfies the last two conditions for \(\lambda = 1\), yielding \(N_{2/5,-1/5}(d) = 3d + O(1)\). It is worth contrasting the last example to the universal equiangular lines bound \(N_{\alpha ,-\alpha }(d) \le 2d + O_\alpha (1)\) for all fixed \(\alpha > 0\) (implied by Theorem 1.3, but proved initially in [1]). Lastly the condition in (c) amounts to \((\sqrt{2}+1)\alpha -\sqrt{2}\beta = 1\) and \(2/(3\sqrt{2}+2)\le \alpha < 3/(4\sqrt{2}+3)\).
We also prove a general upper bound on \(N_{\alpha ,\beta }(d)\), though it is not expected to be tight except for special values (e.g., it implies Theorem 1.12(a)(b)).
Theorem 1.13
Fix \(-1 \le \beta< 0 \le \alpha < 1\). Set \(\lambda = (1-\alpha )/(\alpha -\beta )\) and \(p = {\lfloor }- \alpha / \beta {\rfloor } + 1\) and \(q = \max \{1, p/2\}\). Then
Our proof of Theorem 1.12 indeed confirms Conjecture 1.11 in all the solved cases, namely when \(p \le 2\) or \(\lambda \in \{1,\sqrt{2},\sqrt{3}\}\). We employ a number of different methods for bounding eigenvalue multiplicities in signed graphs in the different parts of Theorem 1.12:
-
For (a) and (b), we apply the sublinear bound on eigenvalue multiplicity of bounded degree unsigned graphs (Theorem 1.5 above; see Sect. 4).
-
For (c), we develop a forbidden induced subgraph framework (see Sect. 5), and we apply a careful third moment and triangle counting argument (see Sect. 6).
-
For (d) we apply an algebraic degree argument (see Sect. 7). Additionally, we confirm Conjecture 1.11 for all algebraic integers \(\lambda \) whose degree equals \(k(\lambda )\) (see the end of Sect. 7).
Remark
After this work is completed, building on our forbidden induced subgraph framework, Jiang and Polyanskii [8] proved Conjecture 1.11 for every \(\lambda < \lambda ^*\), where \(\lambda ^* = \beta ^{1/2} + \beta ^{-1/2} \approx 2.01980\) and \(\beta \) is the unique real root of \(x^3 = x + 1\).
A major obstacle to completely settling Conjecture 1.11 is that bounded degree signed graphs may have linear top eigenvalue multiplicity.
Theorem 1.14
For every \(n \ge 3\), there is a connected signed graph with 6n vertices, maximum degree 5, and chromatic number 3, such that its largest eigenvalue appears with multiplicity n.
The rest of the paper is organized as follows. In Sect. 2, we explain the connection with spherical two-distance sets and the spectral theory of signed graphs, and further proves a lower bound on \(N_{\alpha ,\beta }(d)\). In Sect. 3 we prove the structural result, Theorem 1.7. In Sect. 4 we prove Theorem 1.12(a), Theorem 1.12(b), and Theorem 1.13 using Theorem 1.5. In Sect. 5 we develop a forbidden induced subgraph framework to bound \(N_{\alpha ,\beta }(d)\) from above. In Sect. 6 we prove Theorem 1.12(c) via a third moment argument under the forbidden induced subgraph framework. In Sect. 7 we prove Theorem 1.12(d) via an algebraic argument. In Sect. 8 we give two constructions related to Theorem 1.14.
2 Connection to Spectral Theory of Signed Graphs
The spherical two-distance set problem has the following equivalent spectral graph theoretic formulation. Here \(A \succeq 0\) means that A is positive semidefinite.
Lemma 2.1
Let \(-1\le \beta<\alpha <1\). Set \(\lambda = (1-\alpha )/(\alpha -\beta )\) and \(\mu = \alpha /(\alpha -\beta )\). There exists a spherical \(\{\alpha , \beta \}\)-code of size N in \({\mathbb {R}}^d\) if and only if there exists a graph G on N vertices satisfying
Proof
For a spherical \(\{\alpha , \beta \}\)-code \(\{v_1, \dots , v_N\}\) in \({\mathbb {R}}^d\), let G be the associated graph on vertex set \(\{1, \dots , N\}\), where ij is an edge whenever \(\langle v_i, v_j\rangle = \beta \). The Gram matrix \(M = (\langle v_i, v_j\rangle )_{i,j}\) has 1’s on its diagonal and \(\alpha , \beta \) everywhere else, so it equals \((1-\alpha )I - (\alpha - \beta )A_G + \alpha J\), where I is the identity matrix, J the all-ones matrix, and \(A_G\) the adjacency matrix of G. We have \(M/(\alpha - \beta ) = \lambda I - A_G + \mu J\), where \(\lambda = (1-\alpha )/(\alpha - \beta )\) and \(\mu = \alpha /(\alpha - \beta )\). Since the Gram matrix M is positive semidefinite and has rank at most d, the same holds for \(\lambda I - A_G + \mu J\).
Conversely, for every G, \(\lambda \) and \(\mu \) for which \(\lambda I-A_{G}+\mu J\) is positive semidefinite and has rank d, there exists a corresponding configuration of N unit vectors in \({\mathbb {R}}^d\), with pairwise inner products in \(\{\alpha ,\beta \}\). \(\square \)
We are now ready to establish a lower bound on \(N_{\alpha ,\beta }(d)\) using Lemma 2.1.
Proposition 2.2
Fix \(-1\le \beta<0\le \alpha <1\). Then \(N_{\alpha ,\beta }(d) \ge d\) for every positive integer d. Moreover if \(k_p(\lambda ) < \infty \), where \(\lambda = (1-\alpha )/(\alpha -\beta )\) and \(p = {\lfloor }-\alpha / \beta {\rfloor } + 1\), then
Proof
Let \(\mu = \alpha /(\alpha -\beta )\). Take G to be d-vertex graph with no edges, so that \(A_G = 0\) and \(\lambda I - A_G + \mu J\) is positive semidefinite and has rank at most d. So \(N_{\alpha ,\beta }(d) \ge d\) by Lemma 2.1. In fact, the spherical two-distance set constructed here forms a regular \((d-1)\)-simplex.
Hereafter assume that \(k_p(\lambda ) < \infty \). We first construct, for every signed graph \(G^\pm \) with \(\chi (G^\pm ) \le p\) and \(\lambda _1(G^\pm ) = \lambda \), a spherical \(\{\alpha , \beta \}\)-code of size \(\left| G^\pm \right| \) in dimension \(\left| G^\pm \right| - {{\,\textrm{mult}\,}}(\lambda , G^\pm ) + p\). Let \(V_1, \dots , V_p\) be the color classes of a valid p-coloring. Consider the unsigned graph G obtained from taking the symmetric difference between the underlying graph of \(G^\pm \) and the complete p-partite graph with parts \(V_1, \dots , V_p\). The adjacency matrix of G is related to the signed adjacency matrix of \(G^\pm \) by
where K is the complete p-partite graph with parts \(V_1, \dots , V_p\). Therefore,
We have \(\lambda I - A_{G^\pm } \succeq 0\) since \(\lambda _1(G^\pm ) = \lambda \). We now note that \(\mu J - A_K\) is positive semidefinite. Indeed, for every \(\varvec{x}\in {\mathbb {R}}^{V(G^\pm )}\), we set \(s_i = \sum _{v\in V_i} \varvec{x}_v\) for each \(i \in \{1,\dots , p\}\), and we see
Because \(\sum _{i\ne j}s_is_j \le (p - 1)\sum _i s_i^2\) and \(p \le {1}/({1 - \mu })\), we conclude that
Therefore \(\mu J - A_K \succeq 0\), and so \(\lambda I - A_{G} + \mu J \succeq 0\). We conclude by Lemma 2.1 that there exists a spherical \(\{\alpha , \beta \}\)-code of size \(\left| G^\pm \right| \) in \({\mathbb {R}}^{d}\), where
Now fix an arbitrary \(\varepsilon > 0\). Take a signed graph \(G^\pm _\varepsilon \) such that \({\left| G^\pm _\varepsilon \right| }/{{{\,\textrm{mult}\,}}(\lambda , G^\pm _\varepsilon )} \le k_p(\lambda ) + \varepsilon \), \(\chi (G^\pm _\varepsilon ) \le p\), and \(\lambda _1(G^\pm _\varepsilon ) = \lambda \). For each positive integer \(\ell \), denote by \(\ell G^\pm _\varepsilon \) the disjoint union of \(\ell \) copies of \(G^\pm _\varepsilon \). We have \(\left| \ell G^\pm _\varepsilon \right| = \ell \left| G^\pm _\varepsilon \right| \), \({{\,\textrm{mult}\,}}(\lambda , \ell G^\pm ) = \ell {{\,\textrm{mult}\,}}(\lambda , G^\pm )\), \(\chi (\ell G^\pm _\varepsilon ) = \chi (G^\pm _\varepsilon ) \le p\) and \(\lambda _1(\ell G^\pm _\varepsilon ) = \lambda _1(G^\pm _\varepsilon ) = \lambda \). Thus we can apply the above construction to \(G^\pm = \ell G^\pm _\varepsilon \) to obtain a spherical \(\{\alpha , \beta \}\)-code of size \(\ell \left| G^\pm _\varepsilon \right| \) in dimension \(\ell (\left| G^\pm _\varepsilon \right| - {{\,\textrm{mult}\,}}(\lambda , G^\pm _\varepsilon )) + p\). We conclude that
Finally notice that when \(k_p(\lambda )\) is achievable, we can take \(\varepsilon = 0\) in the above argument. \(\square \)
3 Structure of the Associated Graph
In this section we prove Theorem 1.7, which gives a structure characterization of graphs that can arise from a spherical two-distance set. To that end, we introduce the following notation.
Definition 3.1
Given a graph G, for sets \(Y \subseteq X \subseteq V(G)\), define \(C_X(Y)\) to be the set of vertices in \(V(G) \setminus X\) that are adjacent to all vertices in Y and not adjacent to any vertices in \(X\setminus Y\), and for a set \(X \subseteq V(G)\) and \(\Delta \in {\mathbb {N}}\), define
We now present a series of structural lemmas leading to the proof of Theorem 1.7.
Lemma 3.2
For every \(\lambda >0\) and \(\mu \in (0,1)\), there exist \(\Delta \in {\mathbb {N}}\) and \(L_0 \in {\mathbb {N}}\) such that for every graph G that satisfies \(\lambda I - A_G + \mu J \succeq 0\) the following holds.
-
(a)
Neither of the following is an induced subgraph of G:
-
(a1)
The complete graph \(K_\Delta \);
-
(a2)
The complete \((p+1)\)-partite graph \(K_{\Delta , \dots , \Delta }\), where \(p={\lfloor }1/(1-\mu ){\rfloor }\).
-
(a1)
-
(b)
For every independent set X of size L in G, if \(L \ge L_0\), then
-
(b1)
The maximum degree of \(G[C_{X,\Delta }]\) is less than \(\Delta \), and
-
(b2)
The number of vertices not in \(C_{X,\Delta }\cup C_{X,-\Delta }\) is at most \(L2^L\).
-
(b1)
-
(c)
For every pair of disjoint vertex subsets \(X_1\) and \(X_2\), each of size L, in G, if \(L \ge L_0\) and \(G[X_1 \cup X_2]\) is the complete bipartite graph with parts \(X_1\) and \(X_2\), then
-
(c1)
Every vertex in \(C_{X_1, \Delta } \cap C_{X_2, -\Delta }\) is adjacent to all but at most \(\Delta \) vertices in \(C_{X_1, -\Delta } \cap C_{X_2, \Delta }\), and
-
(c2)
The number of vertices in \(C_{X_1,\Delta }\cap C_{X_2,\Delta }\) is less than \(\Delta \).
-
(c1)
Proof of (a1)
Suppose on the contrary that G contains \(K_\Delta \) as a subgraph. Let \(\varvec{v}\in {\mathbb {R}}^{V(G)}\) be the vector that assigns 1 to vertices in \(K_\Delta \) and 0 otherwise. Then \(\varvec{v}^\intercal (\lambda I - A_G + \mu J) \varvec{v}\) becomes
which would be negative if we had chosen \(\Delta > (1+\lambda )/(1-\mu )\). \(\square \)
Proof of (a2)
Suppose on the contrary that G contains the complete \((p+1)\)-partite graph \(K_{\Delta , \dots , \Delta }\) as an induced subgraph. Again let \(\varvec{v}\in {\mathbb {R}}^{V(G)}\) be the vector that assigns 1 to the vertices in \(K_{\Delta , \dots , \Delta }\) and 0 otherwise. Then \(\varvec{v}^\intercal (\lambda I - A_G + \mu J) \varvec{v}\) becomes
Because \(p > 1/(1-\mu ) - 1 = \mu /(1-\mu )\) or equivalently \(p > \mu (p+1)\), the last factor above would be negative if we had chosen \(\Delta > \lambda /(p-\mu (p+1))\). \(\square \)
Proof of (b1)
Suppose on the contrary that a vertex \(u \in C_{X, \Delta }\) has \(\Delta \) neighbors \(v_1, \dots , v_\Delta \in C_{X, \Delta }\). Let \(\varvec{v}\in {\mathbb {R}}^{V(G)}\) be the vector that assigns L to u, \(\lambda L/\Delta \) to \(v_1, \dots , v_\Delta \), \(-(\lambda +1)\) to the vertices in X, and 0 otherwise. Because \(u, v_1, \dots , v_\Delta \in C_{X, \Delta }\), we have
Using this bound and the fact that \(\varvec{v}^\intercal \varvec{1} = 0\), we obtain that \(\varvec{v}^\intercal (\lambda I - A_G + \mu J) \varvec{v}\) is at most
which would be negative for sufficiently large L if we had chosen \(\Delta > \lambda ^2\). \(\square \)
Proof of (b2)
To show that \(\left| V(G){\setminus } (C_{X,\Delta }\cup C_{X,-\Delta })\right| \le L2^L\), it suffices to prove \(\left| C_X(A)\right| < L\) for every subset A of the independent set X such that \(\left| A\right| > \Delta \) and \(\left| X \setminus A\right| > \Delta \).
Write \(a = \left| A\right| \), \(b = \left| X {\setminus } A\right| \), and \(c = \left| C_X(A)\right| \). For any \(\alpha , \beta , \gamma \in {\mathbb {R}}\), we consider the vector \(\varvec{v}\in {\mathbb {R}}^{V(G)}\) that assigns \(\alpha \) to the vertices in A, \(\beta \) to the vertices in \(X\setminus A\), \(\gamma \) to the vertices in \(C_X(A)\), and 0 otherwise, and we have
In particular, taking \(\beta = -(a\alpha + c\gamma )/(b + \lambda /\mu )\), we obtain that for all \(\alpha , \gamma \in {\mathbb {R}}\),
For this quadratic form in \(\alpha \) and \(\gamma \) to be positive semidefinite, its discriminant must be nonpositive:
which simplifies to
By the assumption that \(a, b > \Delta \), if we had taken \(\Delta \ge \max \{\lambda / \mu , 4\lambda ^2, 2\}\), then \(\lambda < \mu b\) and \(\lambda ^2 < b/4\), hence (1) would imply the following series of inequalities:
\(\square \)
Proof of (c1)
Suppose on the contrary that a vertex \(u \in C_{X_1, \Delta } \cap C_{X_2, -\Delta }\) is not adjacent to \(v_1, \dots , v_\Delta \in C_{X_1, -\Delta } \cap C_{X_2, \Delta }\). Let \(\varvec{v}\in {\mathbb {R}}^{V(G)}\) be the vector that assigns L to v, \(-\lambda L/\Delta \) to \(v_1,\ldots ,v_\Delta \), \(-1\) to the vertices in \(X_1\), \(\lambda \) to the vertices in \(X_2\), and 0 otherwise. Because \(u \in C_{X_1, \Delta } \cap C_{X_2, -\Delta }\) and \(v_1, \dots , v_\Delta \in C_{X_1, -\Delta } \cap C_{X_2, \Delta }\), we have
Using this bound and the fact that \(\varvec{v}^\intercal \varvec{1} = 0\), we obtain that \(\varvec{v}^\intercal (\lambda I - A_G + \mu J) \varvec{v}\) is at most
which would be negative for sufficiently large L if we had chosen \(\Delta > \lambda ^2\). \(\square \)
Proof of (c2)
Suppose on the contrary that \(C_{X_1, \Delta } \cap C_{X_2, \Delta }\) contains \(v_1, \dots , v_\Delta \). Let \(\varvec{v}\in {\mathbb {R}}^{V(G)}\) be the vector that assigns \(2L/\Delta \) to \(v_1, \dots , v_\Delta \), \(-1\) to the vertices in \(X_1 \cup X_2\), and 0 otherwise. Because \(v_1, \dots , v_\Delta \in C_{X_1, \Delta } \cap C_{X_2, \Delta }\), we have
Using this bound and the fact that \(\varvec{v}^\intercal \varvec{1} = 0\), we obtain that \(\varvec{v}^\intercal (\lambda I - A_G + \mu J) \varvec{v}\) is at most
which would be negative for sufficiently large L if we had chosen \(\Delta > 2\lambda \). \(\square \)
Proof of Theorem 1.7
Let \(\lambda = (1-\alpha )/(\alpha -\beta )\) and \(\mu = \alpha /(\alpha -\beta )\) (and so \(p = {\lfloor }-\alpha /\beta +1{\rfloor } = {\lfloor }1/(1-\mu ){\rfloor }\)). As in Lemma 2.1, the associated graph G of the spherical \(\{\alpha ,\beta \}\)-set satisfies \(\lambda I-A_{G}+\mu J \succeq 0\).
Choose \(\Delta \) and \(L_0\) as in Lemma 3.2. We shall prove that G, after removing at most \(pL2^L +\left( {\begin{array}{c}p\\ 2\end{array}}\right) \Delta + R(\Delta , L2^{pL})\) vertices, is a \(p\Delta \)-modification of a complete p-partite graph, where \(L = L_0 + (p + 2)\Delta \) and \(R(\cdot , \cdot )\) is the Ramsey number.
We may assume that \(\left| G\right| \ge R(\Delta , L)\) because otherwise G is vacuously a \(p\Delta \)-modification of a complete p-partite graph after removing all its vertices. By Lemma 3.2(a1) and Ramsey’s theorem, there exists an independent set of size L in G. Choose the maximum \(t \le p\) such that the complete t-partite graph \(K_{L -t\Delta , \dots , L -t\Delta }\) is an induced subgraph of G (note that \(t\ge 1\) since there is an independent set of size L). Let \(X_1, \dots , X_t \subset V(G)\) be the parts of this t-partite graph.
Define for every \(i \in \{1, \dots , t\}\) the vertex subset
By (b1) and (c1) in Lemma 3.2, we see that the \(G[V_1 \cup \dots \cup V_t]\) is a \(t\Delta \)-modification of the complete t-partite graph with parts \(V_1, \dots , V_t\).
We bound \(U:= V(G) \setminus (V_1 \cup \dots \cup V_t)\) as follows. Set
Note that \(U = (\bigcup _i U_i) \cup (\bigcup _{i < j} U_{ij}^-) \cup U^+\). It is enough to bound the cardinalities of \(U_i, U_{ij}, U^+\). Lemma 3.2(b2) says that \(\left| U_i\right| \le L2^L\) for each i. Lemma 3.2(c2) says that \(\left| U_{ij}^-\right| \le \Delta \) for \(i < j\).
Finally, we claim that \(U^+\) does not contain a subset of size \(L 2^{tL}\) that is independent in G. Indeed, suppose on the contrary that \(U^+\) contains an independent set of size \(L 2^{tL}\). Since every vertex in \(U^+\) has at least \(L - (t+1)\Delta \) neighbors in \(X_i\) for each i, by the pigeonhole principle, there exist \(X_1' \subseteq X_1, \dots , X_t' \subseteq X_t\) and \(U' \subseteq U^+\), each of size \(L - (t + 1)\Delta \), such that \(G[X_1' \cup \dots \cup X_t' \cup U']\) is a complete \((t+1)\)-partite graph with parts \(X_1', \dots , X_t'\) and \(U'\), which contradicts our choice of t or Lemma 3.2(a2) in case \(t = p\). This finishes the proof of the claim. In view of Lemma 3.2(a1) and Ramsey’s theorem, we obtain \(\left| U^+\right| < R(\Delta , L2^{tL})\). In total, \(\left| U\right| \le tL2^L + \left( {\begin{array}{c}t\\ 2\end{array}}\right) \Delta + R(\Delta , L2^{tL})\). \(\square \)
4 Graph Eigenvalue Multiplicity Argument
We estimate the eigenvalue multiplicity of a signed graph with bounded maximum degree by that of a (not necessarily connected) graph. Recall Definition 1.2 of the spectral radius order \(k(\lambda )\).
Lemma 4.1
For every \(\lambda > 0\), \(\Delta \in {\mathbb {N}}\), and \(j \in {\mathbb {N}}\), if G is an n-vertex graph with maximum degree at most \(\Delta \) and \(\lambda _j(G) \le \lambda \), then
Proof
Let \(G_1, \dots , G_t\) be the connected components of G numbered such that \(\lambda _1(G_1), \dots , \lambda _1(G_s) > \lambda \) and \(\lambda _1(G_{s+1}), \dots , \lambda _1(G_t) \le \lambda \). Because \(\lambda _j(G) \le \lambda \), we know that \(s < j\). Set \(n_i = \left| G_i\right| \) and \(n = \sum n_i = \left| G\right| \).
For each \(i \le s\), since \(G_i\) is a connected graph with maximum degree at most \(\Delta \) and \(\lambda _j(G_i) \le \lambda \), Theorem 1.5 gives a constant \(C = C(\Delta ,j)\) such that
We break the rest of the proof into two cases.
Case \(k(\lambda ) < \infty \). Set \(N_0 = \exp (\exp (Ck(\lambda )))\). For \(i \le s\), when \(n_i \ge N_0\), we can relax (2) to \({{\,\textrm{mult}\,}}(\lambda ,G_i) \le n_i / k(\lambda )\); when \(n_i < N_0\), clearly \({{\,\textrm{mult}\,}}(\lambda ,G_i) \le n_i < N_0\). To sum up, for \(i \le s\), we always have
For each \(i > s\), when \(\lambda _1(G_i) = \lambda \), because \(G_i\) is connected, we know that \(n_i \ge k(\lambda )\), and so by the Perron–Frobenius theorem, we obtain
when \(\lambda _1(G_i) < \lambda \), clearly (4) holds trivially. We combine (3) and (4) to obtain
Case \(k(\lambda ) = \infty \). For \(i > s\), because \(\lambda _1(G_i) \le \lambda \) and \(k(\lambda ) = \infty \), it must be the case that \(\lambda _1(G_i) < \lambda \), and so \({{\,\textrm{mult}\,}}(\lambda ,G_i) = 0\). Therefore (2) gives
\(\square \)
Next we prove Theorem 1.13, which states that
where \(\lambda = (1-\alpha )/(\alpha -\beta )\) and \(p = {\lfloor }- \alpha / \beta {\rfloor } + 1\) and \(q = \max \{1, p/2\}\).
Proof of Theorem 1.13
In view of Lemma 2.1, consider a graph \(\widetilde{G}\) on \(N_{\alpha ,\beta }(d)\) vertices satisfying
where \(\lambda = (1-\alpha )/(\alpha - \beta )\) and \(\mu = \alpha / (\alpha - \beta )\). By Theorem 1.7 we obtain a constant \(\Delta = \Delta (\alpha ,\beta )\) such that the graph, denoted G, obtained from \(\widetilde{G}\) by removing at most \(\Delta \) vertices is a \(\Delta \)-modification of a complete p-partite graph, denoted K, where \(p = {\lfloor }1/(1-\mu ){\rfloor }\). Define the signed graph \(G^\pm \) by \(A_{G^\pm } = A_G - A_K\). Notice that the maximum degree of \(G^\pm \) is at most \(\Delta \), and \(\chi (G^\pm ) \le p\).
Now the signed adjacency matrix of \(G^\pm \) satisfies
Note that \({{\,\textrm{rank}\,}}(\mu J - A_K) \le p\). From the first condition above, we deduce using the Courant–Fischer theorem that \(\lambda _{p+1}(\lambda I - A_{G^\pm }) \ge 0\) or equivalently \(\lambda _{p+1}(G^\pm ) \le \lambda \). From the second condition above, we deduce using subadditivity of matrix ranks that \({{\,\textrm{rank}\,}}(\lambda I - A_{G^\pm }) \le d + p\) or equivalently
We break the rest of the proof into two cases.
Case \(p = 1\). The signed graph \(G^\pm \) consists of positive edges only. Lemma 4.1 provides the upper bound
Combining with (5), we get
which implies
The desired upper bound on \(N_{\alpha ,\beta }(d)\) follows immediately in view of \(\left| G^\pm \right| \ge N_{\alpha ,\beta }(d) - \Delta \).
Case \(p \ge 2\). Let \(V_1\) and \(V_2\) be the largest parts of the complete p-partite graph K. Let \(G^\pm _{12}\) be the signed subgraph of \(G^\pm \) induced on \(V_1 \cup V_2\), and let \(G_{12}\) be the underlying graph of \(G_{12}^\pm \). Notice that \(\left| G_{12}\right| = \left| V_1\right| + \left| V_2\right| \ge 2\left| G^\pm \right| /p\), and the maximum degree of \(G_{12}\) is at most \(\Delta \), and \(\chi (G^\pm _{12}) \le 2\). Since \(\chi (G^\pm _{12}) \le 2\), the signed graph \(G_{12}^\pm \) is isospectral to its underlying graph \(G_{12}\). It follows from Lemma 4.1 that
By the Cauchy interlacing theorem, we have
Combining (5) and the above two inequalities, we get
which implies
The desired upper bound on \(N_{\alpha ,\beta }(d)\) follows immediately in view of the inequalities \(\left| G_{12}\right| \ge 2\left| G^\pm \right| /p\) and \(\left| G^\pm \right| \ge N_{\alpha ,\beta }(d) - \Delta \). \(\square \)
As a corollary, we obtain the following general lower bound on \(k_p(\lambda )\).
Corollary 4.2
For all \(\lambda > 0\) and \(p \ge 2\),
Proof
Comparing Proposition 2.2 and Theorem 1.13, we get
which implies the desired lower bound. (It is also not hard to prove Corollary 4.2 directly, but we do not do so here.) \(\square \)
Remark
For general \(\lambda \), we do not know any algorithm for computing \(k(\lambda )\) (or even deciding whether \(k(\lambda ) <\infty \)), though deciding whether \(k(\lambda ) < k\) for each integer k is a finite problem as can be done by a brute-force search over all graphs up to a fixed size.
When \(\lambda \in {\mathbb {N}}\), we have \(k(\lambda ) = \lambda + 1\) because the complete graph \(K_{\lambda + 1}\) is the graph on fewest vertices with spectral radius \(\lambda \). In contrast, even for \(\lambda \in {\mathbb {N}}\), computing the exact values of \(k_p(\lambda )\) seems to be very difficult for \(p \ge 3\). For \(\lambda = 2\), Corollary 4.2 implies that \(k_3(2) \ge 9/5\) and \(k_4(2) \ge 3/2\). Note that both the Paley graph of order 9 in Fig. 2 and the Shrikhande graph in Fig. 3 are strongly regular graphs with \(-2\) as their smallest eigenvalue with multiplicity 4 and 9 respectively. Moreover their chromatic numbers are 3 and 4 respectively. The all-negative signed graphs of these two strongly regular graphs would yield \(k_3(2) \le 9/4\) and \(k_4(2) \le 16/9\). We leave the determination of \(k_p(2)\) for \(p \ge 3\) as an open problem.
Theorems 1.12(a) and 1.12(b) follow easily from Theorem 1.13 and Proposition 2.2.
Proof of Theorem 1.12(a)
Because \(p \le 2\), we have \(q = \max \{1, p/2\} = 1\) and \(k_p(\lambda ) = k(\lambda )\). Moreover, if \(k(\lambda ) < \infty \) then \(k(\lambda )\) can be achieved for \(k_p(\lambda )\) by the smallest graph whose spectral radius is exactly \(\lambda \). Thus Theorem 1.13 and Proposition 2.2 give matching bounds on \(N_{\alpha , \beta }(d)\). \(\square \)
Proof of Theorem 1.12(b)
Because \(\lambda = 1\) and \(p \ge 2\), we have \(k(\lambda ) = 2\) and \(q = \max (1, p/2) = p/2\). Thus Theorem 1.13 gives
Corollary 4.2 implies that \(k_p(1) \ge p/(p-1)\). To see that \(p/(p-1)\) can be achieved for \(k_p(1)\), consider the all-negative complete signed graph \(K_p^\pm \) on p vertices. Clearly \(\chi (K_p^\pm ) = p\). Since the smallest eigenvalue of the complete unsigned graph \(K_p\) is \(-1\) with multiplicity \(p-1\), the largest eigenvalue of \(K_p^\pm \) is 1 with multiplicity \(p-1\). Now Proposition 2.2 provides a lower bound that matches (6) up to an additive constant. \(\square \)
5 Forbidden Induced Subgraphs
The next lemma enables us to forbid finitely many induced subgraphs in the signed graph that arises from Theorem 1.7. Here an induced subgraph of a signed graph keeps the original edge signs.
Lemma 5.1
Fix \(\lambda > 0\), \(\mu \in (0,1)\), \(p \in {\mathbb {N}}\), and \(\Delta \in {\mathbb {N}}\). For every signed graph \(H^\pm \) with \(\lambda _1(H^\pm ) > \lambda \), there exists \(n_0 \in {\mathbb {N}}\) such that for every \(t \le p\) and every graph G that is a \(\Delta \)-modification of a complete t-partite graph K, if \(\lambda I - A_G + \mu J \succeq 0\), and the size of each part of K is at least \(n_0\), then \(H^\pm \) cannot be an induced subgraph of the signed graph \(G^\pm \) defined by \(A_{G^\pm } = A_G - A_K\).
Proof
Suppose that G is a \(\Delta \)-modification of a complete t-partite graph K with parts \(\widetilde{V}_1, \dots , \widetilde{V}_t\), and suppose that the size of each part of K is at least \(n_0\). Assume for the sake of contradiction that \(H^\pm \) with \(\lambda _1(H^\pm ) > \lambda \) is an induced subgraph of \(G^\pm \). Take \(n_0 = (\left| H^\pm \right| + pm)\Delta \), where \(m = {\lfloor }\lambda \left| H^\pm \right| /(\lambda _1(H^\pm ) - \lambda ){\rfloor } + 1\). We can greedily find \(V_1 \subseteq \widetilde{V}_1, \dots , V_t\subseteq \widetilde{V}_t\) such that
-
(1)
each \(V_i\) is disjoint from \(V(H^\pm )\) and has size m,
-
(2)
G induces a complete t-partite graph with parts \(V_1, \dots , V_t\),
-
(3)
for every vertex v of \(H^\pm \), if \(v \in \widetilde{V}_i\), then, in G, the vertex v is adjacent to every vertex in \(V_j\) for \(j \ne i\), and is not adjacent to any vertex in \(V_i\).
Let \(\varvec{x} \in {\mathbb {R}}^{V(H^\pm )}\) be a top eigenvector of \(H^\pm \), and set
Note that \(s_i^2 \le \left| V(H^\pm ) \cap \widetilde{V}_i\right| \varvec{x}^\intercal \varvec{x}\) for each i, which implies that
Consider the vector \(\varvec{v} \in {\mathbb {R}}^{V(G)}\) extending \(\varvec{x}\) that in addition assigns \(-s_i/m\) to each vertex in \(V_i\) for \(i \in \{1, \dots , t\}\). Since \(\varvec{v}\) is chosen so that \(\sum _{u \in \widetilde{V}_i}\varvec{v}_u = 0\) for each \(i\in \{1,\dots ,t\}\), we have \(J\varvec{v}=0\) and \(A_K\varvec{v}=0\). Now we can simplify the quadratic form as follows:
Next, since no vertex in \(H^\pm \) is adjacent to \(V_1\cup \cdots \cup V_t\) in \(G^\pm \), we have
which is negative because \(m > \lambda \left| H^\pm \right| /(\lambda _1(H^\pm ) - \lambda )\). This contradicts \(\lambda I-A_G+\mu J \succeq 0\). \(\square \)
Lemma 5.1 leads us to bound eigenvalue multiplicities in a restricted class of signed graphs obtained by forbidding certain induced subgraphs.
Definition 5.2
Given a family \({\mathcal {H}}\) of signed graphs, let \(M_{p, {\mathcal {H}}}(\lambda , N)\) be the maximum possible value of \({{\,\textrm{mult}\,}}(\lambda , G^\pm )\) over all signed graphs \(G^\pm \) on at most N vertices that do not contain any member of \({\mathcal {H}}\) as an induced subgraph and satisfy \(\chi (G^\pm ) \le p\) and \(\lambda _{p+1}(G^\pm ) \le \lambda \).
In our application, we will only be allowed to forbid a finite \({\mathcal {H}}\) such that \(\lambda _1(H^\pm ) > \lambda \) for all \(H^\pm \in {\mathcal {H}}\).
Remark
We could choose \({\mathcal {H}}\) properly so that every signed graph \(G^\pm \) considered in Definition 5.2 of \(M_{p, {\mathcal {H}}}(\lambda , N)\) has its maximum degree bounded by a constant depending only on p and \(\lambda \). In fact, set \(D = {\lfloor }\lambda ^2{\rfloor }\), and suppose that \({\mathcal {H}}\) includes all the signed graphs \(H^\pm \) on \(D+2\) vertices with \(\chi (H^\pm ) \le 2\) such that the underlying graph of \(H^\pm \) contains the star \(K_{1,D+1}\). One can then show that for every graph \(G^\pm \) that does not contain any member of \({\mathcal {H}}\) as an induced subgraph, the maximum degree of \(G^\pm \) is at most \(\chi (G^\pm )D\).
The next statement relates the maximum size of a spherical two-distance set with the above eigenvalue multiplicity quantity.
Theorem 5.3
Fix \(-1 \le \beta< 0 \le \alpha < 1\). Set \(\lambda = (1-\alpha )/(\alpha -\beta )\) and \(p = {\lfloor }-\alpha /\beta {\rfloor }+1\). Let \({\mathcal {H}}\) be a finite family of signed graphs with \(\lambda _1(H^\pm ) >\lambda \) for each \(H^\pm \in {\mathcal {H}}\). Then
Proof
In view of Lemma 2.1, consider a graph \(\widetilde{G}\) on \(N_{\alpha ,\beta }(d)\) vertices satisfying
where \(\lambda = (1-\alpha )/(\alpha - \beta )\) and \(\mu = \alpha /(\alpha -\beta )\). By Lemma 3.2 we obtain a constant \(\Delta = \Delta (\alpha , \beta )\) such that \(\widetilde{G}\), after removing at most \(\Delta \) vertices, is a \(\Delta \)-modification of a complete p-partite graph, where \(p = {\lfloor }1/(1-\mu ){\rfloor }\).
Let \(n_0 = n_0(\alpha , \beta , {\mathcal {H}})\) be the maximum \(n_0\) given by Lemma 5.1 when it is applied to each member of \({\mathcal {H}}\) respectively with the parameters \(\lambda \), \(\mu \), p, and \(\Delta \). After removing at most \(\Delta \) vertices from \(\widetilde{G}\), we can further remove at most \(pn_0\) vertices from \(\widetilde{G}\) to obtain a graph, denoted G, that is a \(\Delta \)-modification of a t-partite graph, denoted K, with each part of size at least \(n_0\), for some \(t \le p\). Define the signed graph \(G^\pm \) by \(A_{G^\pm } = A_G - A_K\). Since \(\lambda I - A_G + \mu J \succeq 0\), by our choice of \(n_0\), we know that the signed graph \(G^\pm \) does not contain any member of \({\mathcal {H}}\) as an induced subgraph. Notice that \(\chi (G^\pm ) \le t \le p\).
Now the signed adjacency matrix of \(G^\pm \) satisfies
Note that \({{\,\textrm{rank}\,}}(\mu J - A_K) \le t \le p\). From (8a) we deduce using the Courant–Fischer theorem that \(\lambda _{p+1}(\lambda I - A_{G^\pm }) \ge 0\) or equivalently \(\lambda _{p+1}(G^\pm ) \le \lambda \). Recall that \(G^\pm \) has at most \(N_{\alpha ,\beta }(d)\) vertices, \(G^\pm \) does not contain any member of \({\mathcal {H}}\) as an induced subgraph, and \(\chi (G^\pm ) \le p\). According to Definition 5.2,
From (8b) we deduce using subadditivity of matrix ranks that \({{\,\textrm{rank}\,}}(\lambda I - A_{G^\pm }) \le d + p\) or equivalently
Combining with \(\left| G^\pm \right| \ge N_{\alpha ,\beta }(d) - \Delta - pn_0\), we get
\(\square \)
For each value of \(\lambda \) and p, if we could prove the following upper bound on the eigenvalue multiplicity, then it would imply Conjecture 1.11 via Theorem 5.3.
Conjecture 5.4
For every \(\lambda > 0\) and \(p \in {\mathbb {N}}\), there exists a finite family \({\mathcal {H}}\) of signed graphs with \(\lambda _1(H^\pm ) >\lambda \) for each \(H^\pm \in {\mathcal {H}}\) such that
We include the short deduction below that for each \(\lambda > 0\) and \(p \in {\mathbb {N}}\), Conjecture 5.4 implies Conjecture 1.11. Though, for deducing Theorem 1.12(c) in the next section, we will prove each bound directly without resorting to Conjecture 5.4, in order to give a slightly better error term of \(O_{\alpha ,\beta }(1)\) instead of o(d).
Proof that Conjecture 5.4implies Conjecture 1.11for each \(\pmb \lambda > 0\) and \({{\varvec{\mathsf{{ p}}}}\in {\mathbb {N}}}\) Choose \({\mathcal {H}}\) as in Conjecture 5.4. In the case when \(k_p(\lambda ) < \infty \), by Theorem 5.3, we have
Therefore
which matches the lower bound in Proposition 2.2. The case of \(k_p(\lambda ) = \infty \) is similar. \(\square \)
6 Third Moment Argument
For \(\lambda = \sqrt{3}\) and \(p = 3\), we give a tight upper bound (verifying Conjecture 5.4) on \({{\,\textrm{mult}\,}}(\lambda , G^\pm )\) for those signed graphs \(G^\pm \) in Theorem 5.3, which implies a tight upper bound on the corresponding \(N_{\alpha ,\beta }(d)\).
Theorem 6.1
There exists a finite family \({\mathcal {H}}\) of signed graphs with \(\lambda _1(H^\pm )> \sqrt{3}\) for each \(H^\pm \in {\mathcal {H}}\) such that
Proof
Let \({\mathcal {H}}\) be the family of all the signed graphs \(H^\pm \) on at most 5 vertices with \(\lambda _1(H^\pm ) > \sqrt{3}\). For the sake of contradiction, assume that \(G^\pm \) is a signed graph with the minimum number of vertices such that \(\chi (G^\pm ) \le 3\), no member of \({\mathcal {H}}\) is an induced subgraph of \(G^\pm \), and \({{\,\textrm{mult}\,}}(\sqrt{3}, G^\pm ) > 3\left| G^\pm \right| /7\). By our choice of \({\mathcal {H}}\), every subgraph of \(G^\pm \) induced by at most 5 vertices has largest eigenvalue at most \(\sqrt{3}\). Note that \(G^\pm \) is connected by its minimality. Let \(V(G^\pm ) = V_1 \sqcup V_2 \sqcup V_3\) be a valid 3-coloring of \(G^\pm \) allowing some \(V_i\)’s to be empty, and let G be the underlying graph of \(G^\pm \). The next four claims reveal the local structure of \(G^\pm \).
Claim 1
The edges of every triangle in G are all negative in \(G^\pm \).
Proof of Claim 1
Since \(\chi (G^\pm )\) is finite, every signed triangle in \(G^\pm \), other than the all negative one, contains 0 or 2 negative edges. In either case, the chromatic number of the signed triangle is 2, hence its largest eigenvalue equals \(\lambda _1(K_3) = 2\). However, every induced triangle of \(G^\pm \) has largest eigenvalue at most \(\sqrt{3}\). \(\square \)
Claim 2
If G induces a star on \(\{v_0, v_1, v_2, v_3\}\) centered at \(v_0\), then \(v_1, v_2, v_3\) are the only neighbors of \(v_0\) in G, and moreover for every \(w \ne v_0\) that is adjacent to at least one of \(v_1, v_2, v_3\), exactly two of \(v_1, v_2,v_3\) are adjacent to w in G.
Proof of Claim 2
Let \(w \in V(G) \setminus \{v_0, v_1, v_2, v_3\}\) be a vertex that is adjacent to at least one of \(v_0, v_1, v_2, v_3\), and consider the vector \(\varvec{v} \in {\mathbb {R}}^{W}\), where \(W = \{v_0,v_1,v_2,v_3,w\}\), that assigns \(\sqrt{3}\) to \(v_0\), \(\sigma (v_0v_i)\) to \(v_i\) for \(i \in \{1,2,3\}\), \(\varepsilon \) to w, where \(\sigma :E(G) \rightarrow \{\pm 1\}\) is the signing of \(G^\pm \) and \(\varepsilon \in {\mathbb {R}}\). According to our choice of \(\varvec{v}\), we have
By the Courant–Fischer theorem, we also have
For the last inequality to hold for all \(\varepsilon \in {\mathbb {R}}\), we must have
which implies that \(v_0w \not \in E(G)\), and exactly two of \(v_1, v_2,v_3\) are adjacent to w in G. \(\square \)
Claim 3
The maximum degree of G is at most 4.
Proof of Claim 3
Suppose on the contrary that \(v_0\) is adjacent to at least 5 vertices in G. Without loss of generality we may assume that \(v_0 \in V_1\), and by the pigeonhole principle that 3 neighbors, say \(v_1, v_2, v_3\), of \(v_0\) are in \(V_1 \cup V_2\). As \(\chi (H^\pm ) \le 2\), where \(H^\pm := G^\pm [\{v_0, v_1, v_2, v_3\}]\), by Claim 1, \(H^\pm \) contains no triangles. Thus G induces a star on \(\{v_0,v_1,v_2,v_3\}\) centered at \(v_0\), and so by Claim 2, \(v_0\) has no neighbors other than \(v_1, v_2, v_3\) in G, which leads to a contradiction. \(\square \)
Claim 4
The underlying graph G contains an induced star \(K_{1,3}\).
Proof of Claim 4
Suppose on the contrary that G does not contain any induced \(K_{1,3}\). For every \(v \in V(G)\), the subgraph of G induced by the neighbors of v contains no independent set of size 3, in particular, this induced subgraph contains at most 2 connected components, hence it contains at least \(d_v - 2\) edges, where \(d_v\) is the degree of v in G. In other words, every \(v \in V(G)\) is contained in at least \(d_v - 2\) triangles.
Recall from Claim 2 that every triangle in G has all its edges negatively signed. Let \(\lambda _1, \lambda _2, \dots , \lambda _n\) be the eigenvalues of \(G^\pm \), where \(n = \left| G^\pm \right| \), and let t be the total number of triangles in G. Thus we have
Note that
Thus we have
Since the characteristic polynomial of \(A_{G^\pm }\) is a polynomial with integer coefficients, we obtain \({{\,\textrm{mult}\,}}(-\sqrt{3}, G^\pm ) = {{\,\textrm{mult}\,}}(\sqrt{3}, G^\pm )\), which is more than 3n/7. For other eigenvalues \(\lambda _i\), by Claim 3, we know that \(\lambda _i \ge -4\), and so
Therefore
which is a contradiction. \(\square \)
The following claim imposes restriction on \(G^\pm \) with small number of vertices.
Claim 5
The number n of vertices in G is either 6 or at least 8. Moreover, if \(n \in \{6,8\}\) then G is a 3-regular graph, and the signed adjacency matrix of \(G^\pm \) satisfies \(A_{G^\pm }^2 = 3I\).
Proof
Claim 4 shows that \(n \ge 4\), and moreover when \(n = 4\), G is precisely \(K_{1,3}\), in which case \({{\,\textrm{mult}\,}}(\sqrt{3}, G^\pm ) = {{\,\textrm{mult}\,}}(\sqrt{3}, G) = 1 \le 3n/7\). Thus \(n \ge 5\). Because \({{\,\textrm{mult}\,}}(-\sqrt{3}, G^\pm ) = {{\,\textrm{mult}\,}}(\sqrt{3}, G^\pm ) > 3n/7\), we obtain
which rules out \(n=5\) and \(n=7\). Therefore \(n = 6\) or \(n \ge 8\). Suppose that \(n \in \{6,8\}\). Note that equality must hold for (9). Thus \({{\,\textrm{mult}\,}}(-\sqrt{3}, G^\pm ) = {{\,\textrm{mult}\,}}(\sqrt{3}, G^\pm ) = n/2\), which implies that \({{\,\textrm{mult}\,}}(3, A_{G^\pm }^2) = n\). Hence \(A_{G^\pm }^2 = 3I\), which in particular implies that G is a 3-regular graph. \(\square \)
Suppose G induces a star on \(\{v_0, v_1, v_2, v_3\}\) centered at \(v_0\). Let \(L_i\) be the set of vertices at distance i from \(v_0\) in G. From Claim 2, we know that \(L_1 = \{v_1, v_2, v_3\}\), and moreover every \(w \in L_2\) is adjacent to exactly two among \(v_1, v_2, v_3\). Because \(\left| G\right| \ge 6\), it must be the case that \(L_2 \ne \varnothing \). We break the rest of the proof into two cases.
Case \(\left| L_2\right| = 1\). Suppose \(L_2 = \{w\}\). By Claim 2, without loss of generality, w is adjacent to \(v_1\) and \(v_2\). Because \(\left| G\right| \ge 6\), it must be the case that \(L_3 \ne \varnothing \). Take any \(w' \in L_3\). Note that G induces a star on \(\{w, v_1, v_2, w'\}\) centered at w. By Claim 2, \(L_3 = \{w'\}\) and \(L_4 = \varnothing \), which implies \(\left| G\right| = 6\). By Claim 5, G is a 3-regular graph, which is a contradiction.
Case \(\left| L_2\right| \ge 2\). For every two \(w_1, w_2 \in L_2\), we claim that they do not have the same pairs of neighbors in \(L_1\). Indeed, suppose on the contrary that both \(w_1\) and \(w_2\) are, without loss of generality, adjacent to \(v_1\) and \(v_2\) in \(L_1\). Since \(v_2\) is adjacent to \(v_0, w_1, w_2\), by Claim 2, G does not induce a star on \(\{v_0, v_1, w_1, w_2\}\) centered at \(v_1\), and so \(w_1w_2 \in E(G)\). Now we have two triangles \(w_1w_2v_1\) and \(w_1w_2v_2\), which by Claim 1 all have negative edges. Thus \(v_1\) and \(v_2\) are in the same part of the valid 3-coloring. Let \(H^\pm := G^\pm [v_0,v_1,v_2,w_1]\). Then \(\chi (H^\pm ) \le 2\) and \(H^\pm \) is a signed 4-cycle. Thus \(\lambda _1(H^\pm ) = \lambda _1(C_4) = 2\), where \(C_4\) denotes the 4-cycle, contradicting \(\lambda _1(H^\pm ) \le \sqrt{3}\).
Assume for a moment that \(\left| G\right| = 6\). In this subcase, \(\left| L_2\right| = 2\) and \(L_3 = \varnothing \), and so the degree of every vertex in \(L_2\) is 2. By Claim 5, G is a 3-regular graph, which is a contradiction. Hereafter \(\left| G\right| \ge 8\).
Because no two vertices in \(L_2\) have the same pairs of neighbors in \(L_1\), \(\left| L_2\right| \le \left( {\begin{array}{c}3\\ 2\end{array}}\right) = 3\). Because \(\left| G\right| \ge 8\), it must be the case that \(L_3 \ne \varnothing \). Take \(w_1 \in L_2\) and \(w' \in L_3\) such that \(w_1w' \in E(G)\). Without loss of generality, suppose that \(w_1\) is adjacent to \(v_1\) and \(v_2\). Since G induces a star on \(\{v_1, v_2, w_1, w'\}\) centered at \(w_1\), by Claim 2, \(w'\) is the only neighbor of \(w_1\) in \(L_3\), and \(w'\) has no neighbor in \(L_4\). Now take an arbitrary vertex \(w_2 \in L_2 {\setminus } \{w_1\}\). Since \(w_1\) and \(w_2\) do not have the same pairs of neighbors in \(L_1\), the vertex \(w_2\) is adjacent to only one of \(v_1\) and \(v_2\), and so \(w_2w' \in E(G)\) by Claim 2. We can apply the previous argument to \(w_2\) in place of \(w_1\), and conclude that \(w'\) is the only neighbor of \(w_2\) in \(L_3\). Since \(w_2 \in L_1 {\setminus } \{w_1\}\) was chosen arbitrarily, we know that \(L_3 = \{w'\}\) and \(L_4 = \varnothing \), which implies \(\left| L_2\right| = 3\) and \(\left| G\right| = 8\).
Since G is a 3-regular graph by Claim 5, it is easy to see that G must be the cubical graph. In view of Claim 5, \(G^\pm \) is a signed cube that satisfies \(A_{G^\pm }^2 = 3I\), which means that every square of \(G^\pm \) contains odd number of negative edges. Because \(\chi (G^\pm ) \le 3\), \(G^\pm \) has no cycle with exactly one negative edge, and in particular every square of \(G^\pm \) contains exactly one positive edge. At this point, it is not hard to deduce that \(G^\pm \) is exactly \(H_3^\pm \) in Fig. 4. However \(\chi (H_3^\pm ) = 4\), which is a contradiction. \(\square \)
Proof of Theorem 1.12(c)
which implies
Comparing with Proposition 2.2, we get
which implies that \(k_3(\sqrt{3}) \ge 7/3\). One can check that the signed graph \(H_3^\pm \) in Fig. 4 satisfies
and so \({{\,\textrm{mult}\,}}(\sqrt{3}, H_3^\pm ) = {{\,\textrm{mult}\,}}(-\sqrt{3}, H_3^\pm ) = 4\). By the Cauchy interlacing theorem, the signed graph \({\hat{H}}_3^\pm \) in Fig. 5, which is an induced subgraph of \(H_3^\pm \) on 7 vertices, satisfies \({{\,\textrm{mult}\,}}(\sqrt{3}, {\hat{H}}_3^\pm ) = {{\,\textrm{mult}\,}}(-\sqrt{3}, {\hat{H}}_3^\pm ) = 3\). Moreover \(\chi ({\hat{H}}_3^\pm ) = 3\). Therefore 7/3 can be achieved for \(k_3(\sqrt{3})\) by \({\hat{H}}_3^\pm \). Now \(k_3(\sqrt{3}) = 7/3\), and Proposition 2.2 provides a lower bound that matches (10) up to an additive constant. \(\square \)
7 Algebraic Degree Argument
We use the following simple observation to derive the asymptotic formula of \(N_{\alpha ,\beta }(d)\) in the \(k_p(\lambda ) = \deg (\lambda )\) case, where \(\deg (\lambda )\) denotes the algebraic degree of \(\lambda \). In particular, the results in this section confirm Conjecture 1.11 when \(\lambda \in \{\sqrt{2}, \sqrt{3}\}\) and \(p \ge \lambda ^2 + 1\).
Proposition 7.1
For every algebraic integer \(\lambda > 0\) and every signed graph \(G^\pm \),
In particular, \(k_p(\lambda ) \ge \deg (\lambda )\) for all \(p \in {\mathbb {N}}\).
Proof
If \(\lambda \) is an eigenvalue of a signed graph \(G^\pm \) then each of its conjugates must also appear with equal multiplicity as eigenvalues of \(G^\pm \). Hence \({{\,\textrm{mult}\,}}(\lambda , G^\pm )\deg (\lambda ) \le \left| G^\pm \right| \). \(\square \)
Proposition 7.2
For \(-1 \le \beta< 0 \le \alpha < 1\), set \(\lambda = (1-\alpha )/(\alpha -\beta )\) and \(p = {\lfloor }-\alpha /\beta {\rfloor }+1\). If \(\lambda \) is an algebraic integer of degree at least 2, then
If in addition \(k_p(\lambda ) = \deg (\lambda )\) and is achievable, then
Proof
By Lemma 2.1, we see that if G is the graph associated to a spherical \(\{\alpha ,\beta \}\)-code of size N in \({\mathbb {R}}^d\), then, setting \(\mu = \alpha /(\alpha - \beta )\) as in Lemma 2.1, we have
where the final step applies Proposition 7.1. This yields the first claim. If in addition \(k_p(\lambda ) = \deg (\lambda )\) and is achievable, then Proposition 2.2 gives a matching lower bound. \(\square \)
Let us consider the case when \(\lambda \) is an algebraic integer of degree 2. Furthermore suppose that \(k_p(\lambda ) = 2\) and can be achieved by a signed graph \(G^\pm \). Note that both \(\lambda \) and its conjugate element \(\lambda '\) must have multiplicity \(\left| G^\pm \right| /2\) as the eigenvalues of \(G^\pm \). Because the trace of \(A_{G^\pm }\) is 0, we know that \(\lambda + \lambda ' = 0\). Therefore \(\lambda = \sqrt{n}\) for some \(n \in {\mathbb {N}}\) and \(A_{G^\pm }^2 = nI\). It is natural to consider a signed n-dimensional hypercube \(H^\pm _n\) used by Huang’s recent spectacular proof of the sensitivity conjecture [7, Lemma 2.2], in which every square of \(H^\pm _n\) contains 1 or 3 positive edges.
Proof of Theorem 1.12(d)
For \(\lambda \in \{\sqrt{2},\sqrt{3}\}\) and \(p \ge \lambda ^2+1\), from Proposition 7.1 we know \(k_p(\lambda ) \ge 2\). In view of Proposition 7.2 it suffices to prove that 2 can be achieved for \(k_p(\lambda )\). Consider the signed square \(H_2^\pm \) in Fig. 6 and the signed cube \(H_3^\pm \) in Fig. 4. In either signed graph, every square contains one positive edge and three negative edges. As a consequence
which implies that the largest eigenvalue of \(H_n^\pm \) is \(\sqrt{n}\) with multiplicity \(2^{n-1}\). It is easy to check that \(\chi (H_2^\pm ) = 3\) and \(\chi (H_3^\pm ) = 4\). Thus \(k_p(\sqrt{2}) = 2\) for \(p \ge 3\), \(k_p(\sqrt{3}) = 2\) for \(p \ge 4\), and all of them are achievable. \(\square \)
Remark
The constructions \(H_2^\pm \) and \(H_3^\pm \) in Figs. 4 and 6 do not generalize for \(\lambda = \sqrt{n}\) with \(n \ge 5\) due to the additional constraint on the chromatic number. Suppose that \(H^\pm \) is a signed n-dimensional hypercube such that \(A_{H^\pm }^2 = nI\) and \(\chi (H^\pm ) < \infty \). Because \(A_{H^\pm }^2 = nI\), every square of \(H^\pm \) contains odd number of negative edges. Because \(\chi (H^\pm ) < \infty \), \(H^\pm \) has no cycle with exactly one negative edge, and in particular every square of \(H^\pm \) contains exactly one positive edge. Unfortunately, this puts a great restriction on n. On the one hand, because every positive edge is contained in \(n-1\) squares, and each of the \(2^{n-2}\left( {\begin{array}{c}n\\ 2\end{array}}\right) \) squares in \(H^\pm \) contains a positive edge, the number of positive edges is at least \(2^{n-2}\left( {\begin{array}{c}n\\ 2\end{array}}\right) /(n-1) = n2^{n-3}\). On the other hand, because the positive edges form a matching, there are at most \(2^{n-1}\) of them. Therefore \(n2^{n-3} \le 2^{n-1}\) and so \(n \le 4\). In fact, in addition to \(H_2^\pm \) and \(H_3^\pm \), the signed 4-dimensional hypercube \(H_4^\pm \) in Fig. 7 satisfies \(A_{H_4^\pm }^2 = 4I\) and \(\chi (H_4^\pm ) = 4\).
When \(k(\lambda ) = \deg (\lambda )\), the next result determines \(k_p(\lambda )\) for all \(p \in {\mathbb {N}}\). One can then derive the corresponding \(N_{\alpha ,\beta }(d)\) from Proposition 7.2. Note that \(k(\lambda ) = \deg (\lambda )\) if and only if there exists a graph with spectral radius \(\lambda \) whose characteristic polynomial is irreducible. A result of Mowshowitz [13] states that such a graph must be asymmetricFootnote 2. Asymmetric graphs have at least 6 vertices. There are 8 such graphs on 6 vertices [5]. Among these 8 asymmetric graphs on 6 vertices, exactly 7 of them have irreducible characteristic polynomials,Footnote 3 hence their spectral radii satisfy \(k(\lambda ) = \deg (\lambda )\).
Proposition 7.3
If \(\lambda \) is an algebraic integer and \(k(\lambda ) = \deg (\lambda )\), then \(k_p(\lambda ) = \deg (\lambda )\) and is achievable for all \(p \in {\mathbb {N}}\).
Proof
Clearly \(k_p(\lambda ) \le k_1(\lambda ) = k(\lambda )\). Together with Proposition 7.1, we know that \(\deg (\lambda ) \le k_p(\lambda ) \le k(\lambda )\). Thus if \(k(\lambda ) = \deg (\lambda )\), then \(\deg (\lambda ) = k_p(\lambda ) = k(\lambda )\), and furthermore \(k(\lambda )\) can be achieved for \(k_p(\lambda )\) by the smallest graph whose spectral radius is exactly \(\lambda \). \(\square \)
Corollary 7.4
For \(-1 \le \beta< 0 \le \alpha < 1\), set \(\lambda = (1-\alpha )/(\alpha -\beta )\) and \(p = {\lfloor }-\alpha /\beta {\rfloor }+1\). If \(\lambda \) is an algebraic integer and \(k(\lambda ) = \deg (\lambda )\), then
\(\square \)
8 Signed Graphs with Large Eigenvalue Multiplicities
In contrast to Theorem 1.5, there exist connected signed graphs with bounded maximum degree and chromatic number and linear largest eigenvalue multiplicity. In this section, we show two such constructions. These constructions illustrate an important obstacle to proving Conjecture 1.11 following the current framework introduced in [10].
Example 8.1
Let \(n \ge 3\). Let \(G_n^\pm \) be the signed graph consisting of (see Fig. 8 for an illustration of \(G_6^\pm \))
-
(1)
a positive n-cycle on \(v_1, v_2, \dots , v_n\),
-
(2)
n copies of a signed \(K_5\) with 3 positive edges forming a \(K_3\), and
-
(3)
for each \(i \in \{1, \dots , n\}\), a positive edge connecting \(v_i\) and \(u_i^+\), a negative edge connecting \(v_i\) and \(u_i^-\), where \(u_i^+\) and \(u_i^-\) are the two vertices outside the positive \(K_3\) in the i-th copy of \(K_5\).
So \(G_n^\pm \) is a signed graph on 6n vertices of maximum degree 5 and chromatic number 3. However the multiplicity of its largest eigenvalue is linear in \(\left| G_n^\pm \right| \). Theorem 1.14 is an immediate consequence of the following result.
Proposition 8.2
The largest eigenvalue of \(G_n^\pm \) is \((\sqrt{33} + 1)/2\) with multiplicity n.
Proof
We denote by \(K_5^\pm \) the signed \(K_5\) with 3 positive edges forming a \(K_3\), and we compute the spectrum of \(K_5^\pm \) to be \((1 - \sqrt{33})/2, -1, -1, 1, (1 + \sqrt{33})/2\). Because the largest eigenvalue \((\sqrt{33} + 1)/2\) is simple, by symmetry the corresponding eigenvector assigns the same value to \(u_i^+\) and \(u_i^-\). For the i-th copy of \(K_5^\pm \) in \(G_n^\pm \), we can extend its top eigenvector to a vector \(\varvec{x_i}\) on \(V(G_n^\pm )\) by padding zeros. Since.
where A denotes the signed adjacency matrix of \(G^\pm _n\), the vector \(\varvec{x_i}\) is also an eigenvector of \(G^\pm _n\) associated with the eigenvalue \((\sqrt{33} + 1)/2\).
For every vector \(\varvec{x} \in {\mathbb {R}}^{V(G^\pm _n)}\) that is perpendicular to all \(\varvec{x_i}\), \(1 \le i \le n\), we claim that \(\varvec{x}^\intercal A\varvec{x} \le 3\varvec{x}^\intercal \varvec{x}\), and so all the eigenvalues other than the ones corresponding to \(\varvec{x_1}, \dots , \varvec{x_n}\) are at most 3. Take such a vector \(\varvec{x}\), and set \(U = \{u_1^+, u_1^-,\dots , u_n^+,u_n^-\}\) and \(V = \{v_1, \dots , v_n\}\). We take the orthogonal decomposition \(\varvec{x} = \varvec{y} + \varvec{z}\) such that \(\varvec{y}\) and \(\varvec{z}\) are supported respectively on \(V(G^\pm _n) {\setminus } V\) and \(U \cup V\). In particular, for every \(i \in \{1, \dots , n\}\),
One can check that \(\varvec{y}^\intercal A\varvec{z} = 0\). We can simplify
Since \(\varvec{x}\) and \(\varvec{z}\) are both orthogonal to each \(\varvec{x_i}\), so is \(\varvec{y} = \varvec{x}-\varvec{z}\). By the Courant–Fischer theorem, we obtain \(\varvec{y}^\intercal A\varvec{y} \le \lambda _2(K_5^\pm )\varvec{y}^\intercal \varvec{y} = \varvec{y}^\intercal \varvec{y}\). As \(\varvec{z}\) is supported on \(U \cup V\), we bound \(\varvec{z}^\intercal A\varvec{z}\) by bounding the spectral radius of \(G_n^\pm [U \cup V]\). Since the chromatic number of \(G_n^\pm [U \cup V]\) is 2, the induced signed subgraph shares the same spectral radius with its underlying graph, denoted H, on \(U \cup V\). Notice that the vector that assigns 1 to U and 2 to V is an eigenvector of H with positive components associated with the eigenvalue 3. By the Perron–Frobenius theorem, the spectral radius of H is 3. Thus \(\varvec{z}^\intercal A\varvec{z} \le 3\varvec{z}^\intercal \varvec{z}\). Recall that \(\varvec{x} = \varvec{y} + \varvec{z}\) is an orthogonal decomposition. Thus
\(\square \)
Even if we restrict the signed graph \(G^\pm \) to be all-negative, its largest eigenvalue multiplicity could still be linear in \(\left| G^\pm \right| \). It suffices to construct the underlying graph G with bounded maximum degree whose smallest eigenvalue multiplicity is linear in \(\left| G\right| \).
Example 8.3
Let \(n \ge 3\). Let \(H_n\) be the (unsigned) graph consisting of (see Fig. 9 for an illustration of \(H_6\))
-
(1)
an n-cycle on \(v_1, v_2, \dots , v_n\),
-
(2)
n copies of \(K_{3,3}\), and
-
(3)
for each \(i \in \{1, \dots , n\}\), two edges connecting \(v_i\) to \(u_i^1\) and \(u_i^2\), where \(u_i^1\) and \(u_i^2\) are two adjacent vertices in the i-th copy of \(K_{3,3}\).
So \(H_n\) is a graph on 7n vertices of maximum degree 4. Moreover, since the chromatic number of \(H_n\) is 3, the corresponding all-negative signed graph has the same chromatic number.
Proposition 8.4
The smallest eigenvalue of \(H_n\) is \(-3\) with multiplicity n.
Proof
We compute the spectrum of \(K_{3,3}\) to be \(3, 0, 0, 0, 0, -3\). For the i-th copy of \(K_{3,3}\), we can extend the eigenvector associated with its smallest eigenvalue \(-3\) to an eigenvector \(\varvec{x_i}\) on \(V(H_n)\) by padding zeros. To prove that all the eigenvalues other than the ones corresponding to \(\varvec{x_1}, \dots , \varvec{x_n}\) are at least \(-(1+\sqrt{3})\), it suffices to show that \(\varvec{x}^\intercal A\varvec{x} \ge -(1+\sqrt{3})\varvec{x}^\intercal \varvec{x}\) for every vector \(\varvec{x} \in {\mathbb {R}}^{V(G^\pm _n)}\) that is perpendicular to all \(\varvec{x_i}\), \(1 \le i \le n\). Take such a vector \(\varvec{x}\) and take the orthogonal decomposition \(\varvec{x} = \varvec{y} + \varvec{z}\) such that \(\varvec{y}\) and \(\varvec{z}\) are supported respectively on \(V(H_n){\setminus } V\) and V, where \(V = \{v_1, \dots , v_n\}\). Because \(\varvec{x}\) and \(\varvec{z}\) are orthogonal to each \(\varvec{x_i}\), so is \(\varvec{y} = \varvec{x} - \varvec{z}\). By the Courant–Fischer theorem, we obtain \(\varvec{y}^\intercal A\varvec{y} \ge \lambda _5(K_{3,3})\varvec{y}^\intercal \varvec{y} = 0\). We can simplify
where A denotes the adjacency matrix of \(H_n\). Let \({\bar{H}}\) be the connected graph consisting of the n-cycle on \(v_1, \dots , v_n\) and two edges connecting \(v_i\) to \(u_i^1\) and \(u_i^2\) for each \(i \in \{1, \dots , n\}\). Let \({\bar{\varvec{x}}}\) be the restriction of \(\varvec{x}\) on \(V({\bar{H}})\). Then the right hand side of (11) is equal to \({\bar{\varvec{x}}}^\intercal {\bar{A}}{\bar{\varvec{x}}}\), where \({\bar{A}}\) denotes the adjacency matrix of \({\bar{H}}\). Notice that the vector that assigns \(1+\sqrt{3}\) to \(v_i\) and 1 to both \(u_i^1\) and \(u_i^2\) for every \(i \in \{1,\dots , n\}\) is an eigenvector of \({\bar{H}}_n\) with positive components associated with the eigenvalue \(1+\sqrt{3}\). By the Perron–Frobenius theorem, the spectral radius of \({\bar{H}}\) is \(1+\sqrt{3}\). Thus
\(\square \)
Notes
Using Wilson’s deep result [16] on the existence of balanced incomplete block designs, Larman et al. [11, Theorem 3] constructed a spherical \(\{0,1/(\lambda +1)\}\)-code \(C_{\lambda }(d)\) of size \(\Theta _\lambda (d^2)\) in \({\mathbb {R}}^d\) for any positive integer \(\lambda \), from which one constructs a spherical \(\{\alpha , \beta \}\)-code \(\{\sqrt{1-\beta }(\varvec{v}, \sqrt{\beta /(1-\beta )}):\varvec{v} \in C_{\lambda }(d)\}\) of size \(\Theta _\lambda (d^2)\) in \({\mathbb {R}}^{d+1}\) for every \(0 \le \beta < \alpha \) with \(\lambda = (1-\alpha )/(\alpha -\beta )\) a positive integer.
An asymmetric graph is a graph for which there are no automorphisms other than the trivial one.
It was asserted in [9, Sect. 4] that all 8 asymmetric graphs on 6 vertices have irreducible characteristic polynomials. However the characteristic polynomial of the asymmetric graph
is \(x(x^5 - 8x^3 - 6x^2 + 8x + 6)\).
References
Balla, I., Dräxler, F., Keevash, P., Sudakov, B.: Equiangular lines and spherical codes in Euclidean space. Invent. Math. 211, 179–212 (2018)
Barg, A., Wei-Hsuan, Y.: New bounds for spherical two-distance sets. Exp. Math. 22, 187–194 (2013)
Bukh, B.: Bounds on equiangular lines and on related spherical codes. SIAM J. Discret. Math. 30, 549–554 (2016)
Delsarte, P., Goethals, J.M., Seidel, J.J.: Spherical codes and designs. Geom. Dedicata 6, 363–388 (1977)
Erdős, P., Rényi, A.: Asymmetric graphs. Acta Math. Acad. Sci. Hung. 14, 295–315 (1963)
Glazyrin, A., Wei-Hsuan, Y.: Upper bounds for \(s\)-distance sets and equiangular lines. Adv. Math. 330, 810–833 (2018)
Huang, H.: Induced subgraphs of hypercubes and a proof of the sensitivity conjecture. Ann. Math. 190, 949–955 (2019)
Jiang, Z., Polyanskii, A.: Forbidden induced subgraphs for graphs and signed graphs with eigenvalues bounded from below (2021). arXiv:2111.10366
Jiang, Z., Polyanskii, A.: Forbidden subgraphs for graphs of bounded spectral radius, with applications to equiangular lines. Israel J. Math. 236, 393–421 (2020)
Jiang, Z., Tidor, J., Yao, Y., Zhang, S., Zhao, Y.: Equiangular lines with a fixed angle. Ann. Math. 194, 729–743 (2021)
Larman, D.G., Rogers, C.A., Seidel, J.J.: On two-distance sets in Euclidean space. Bull. Lond. Math. Soc. 9, 261–267 (1977)
Lemmens, P.W.H., Seidel, J.J.: Equiangular lines. J. Algebra 24, 494–512 (1973)
Mowshowitz, A.: Graphs, groups and matrices. In: Proceedings of the Twenty-Fifth Summer Meeting of the Canadian Mathematical Congress (Lakehead Univ., Thunder Bay, Ont., 1971), pp. 509–522 (1971)
Musin, O.R.: Spherical two-distance sets. J. Combin. Theory Ser. A 116, 988–995 (2009)
Neumaier, A.: Distance matrices, dimension, and conference graphs, Nederl. Akad. Wetensch. Indag. Math. 43, 385–391 (1981)
Wilson, R.M.: An existence theory for pairwise balanced designs. III. Proof of the existence conjectures. J. Combin. Theory Ser. A 18, 71–79 (1975)
Wei-Hsuan, Y.: New bounds for equiangular lines and spherical two-distance sets. SIAM J. Discret. Math. 31, 908–917 (2017)
Acknowledgements
We thank Noga Alon and Colin Defant for discussions and ideas related to the constructions in Sect. 8. We also thank the anonymous referee for detailed suggestions that significantly improved the exposition of the paper.
Funding
Open Access funding provided by the MIT Libraries. Jiang was supported by an AMS Simons Travel Grant and NSF Award DMS 2127650. Tidor was supported by the NSF Graduate Research Fellowship Program DGE-1745302. Yao and Zhang were supported by MIT UROP. Zhao was supported by NSF Award DMS-1764176, the MIT Solomon Buchsbaum Fund, and a Sloan Research Fellowship.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Jiang, Z., Tidor, J., Yao, Y. et al. Spherical Two-Distance Sets and Eigenvalues of Signed Graphs. Combinatorica 43, 203–232 (2023). https://doi.org/10.1007/s00493-023-00002-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00493-023-00002-1