## Introduction

Spectral graph theory investigates the fundamental relationships between geometric properties of a graph and the eigenvalues of the corresponding linear operator. A general overview is given in [2]. In terms of the largest eigenvalue, the normalized graph Laplacian is particularly interesting as it measures how close a graph is to a bipartite graph. In this paper, we are interested in the reverse question, i.e., how far from a bipartite graph a graph can be. This translates to giving lower bounds on the largest eigenvalue. Several bounds are given in [4]. However, the best known estimate so far is $$\lambda _n \ge \frac{n}{n-1}$$ which is only attained if the graph is a complete graph [2]. Here, $$\lambda _n$$ denotes the largest eigenvalue and n is the number of vertices.

Naturally, the question arises what is the optimal a priori estimate for $$\lambda _n$$ for non-complete graphs. Das and Sun [3] proved that for all non-complete graphs one has

\begin{aligned} \lambda _n \ge \frac{n+1}{n-1}, \end{aligned}

with equality if and only if the complement graph is a single edge or a complete bipartite graph with both parts of size $$\frac{n-1}{2}$$. Here, we offer a new method for proving these results, see the proofs of Theorems 2.1 and 3.1. Furthermore, we use this new method for showing that for a graph with minimum vertex degree $$d_{\min }\le \frac{n-1}{2}$$,

\begin{aligned} \lambda _n\ge 1+\frac{1}{\sqrt{d_{\min }(n-1-d_{\min })}}. \end{aligned}

## Eigenvalue Estimate

A graph $$G=(V,E)$$ consists of a finite non-empty vertex set V and a symmetric edge relation $$E \subset V\times V$$ containing no diagonal elements (vv). We write $$v\sim w$$ for $$(v,w) \in E$$. Let $$G=(V,E)$$ be a graph with n vertices. The vertex degree is denoted by $$d(v):=|N(v)|$$ where $$N(v):=\{w\in V : w\sim v\}$$. We also denote $$N_k(v):= \{w \in V: d(v,w)=k\}$$ where $$d(v,w) := \inf \{n:v=x_0 \sim \cdots \sim x_n =w\}$$ is the combinatorial graph distance. We say G is connected if $$d(v,w)<\infty$$ for all $$v,w \in V$$. We write $$C(V) = \mathbb {R}^V$$ and we denote the positive semidefinite normalized Laplacian by $$L:C(V) \rightarrow C(V)$$; it is given by

\begin{aligned} Lf(x) := \frac{1}{d(x)}\sum _{y\sim x}(f(x)-f(y)). \end{aligned}

We will always assume that $$d(x)\ge 1$$ for all $$x \in V$$ as the Laplacian is not well defined otherwise. The inner product is given by

\begin{aligned} \langle f, g \rangle := \sum _x f(x)g(x)d(x). \end{aligned}

The operator L is self-adjoint w.r.t. this inner product, and the eigenvalues of L are

\begin{aligned} 0=\lambda _1 \le \lambda _2 \le \cdots \le \lambda _n. \end{aligned}

In this paper, we are interested in estimating the largest eigenvalue $$\lambda _n$$ which, by the min-max principle, can be written as

\begin{aligned} \lambda _n = \sup _{f\in C(V) {\setminus } \{0\}}\frac{\langle Lf,f \rangle }{\langle f,f \rangle }. \end{aligned}

It is well known that

\begin{aligned} \frac{n}{n-1} \le \lambda _n \le 2 \end{aligned}

where the first inequality is an equality only for the complete graph, and the latter inequality is an equality only for bipartite graphs. The following theorem was established in [3] and gives the optimal a priori lower bound on $$\lambda _n$$ for all non-complete graphs. In contrast to [3, Theorem 3.1], our proof methods are completely different and allow for an extension of this estimate in terms of the minimal vertex degree, see Sect. 4.

### Theorem 2.1

[3, Theorem 3.1] Let $$G=(V,E)$$ be a non-complete graph with n vertices.

Then,

\begin{aligned} \lambda _n \ge \frac{n+1}{n-1}. \end{aligned}

### Proof

We first assume that G is connected. Since G is not complete, there exists a vertex v with $$d(v) \le n-2$$. As the graph is connected, we have $$N_2(v) \ne \emptyset$$. Let $$w \in N_2(v)$$. Then, $$d(w) \le n-2$$ as v and w are not adjacent. Moreover, $$N(v) \cap N(w) \ne \emptyset$$.

We write $$A:=|N(v) \cap N(w)|$$. We aim to find a function f with $$\langle f,Lf \rangle \ge \frac{n+1}{n-1} \langle f,f\rangle$$. To do so, it is convenient to choose f in such a way that $$Lf = \frac{n+1}{n-1} f$$ in v and w. Particularly, let $$f:V\rightarrow \mathbb {R}$$ be given by

\begin{aligned} f(x) := {\left\{ \begin{array}{ll} -1&{}\quad :~x \in N(v) \cap N(w),\\ \frac{n-1}{2} \frac{A}{d(v)}&{}\quad :~x=v,\\ \frac{n-1}{2} \frac{A}{d(w)}&{}\quad :~x=w,\\ 0&{}\quad :~\text{ otherwise. } \end{array}\right. } \end{aligned}

We observe

\begin{aligned} d(v) Lf(v)= d(v) f(v) + A = \frac{n+1}{2} A \end{aligned}

and thus, $$Lf(v)=\frac{n+1}{n-1} f(v)$$. Similarly, $$Lf(w)=\frac{n+1}{n-1} f(w)$$. We now claim that $$-Lf(x) \ge \frac{n+1}{n-1}$$ for all $$x \in N(v) \cap N(w)$$. We observe $$A \ge 1 \vee (d(v)+d(w)+2-n)$$ where $$\vee$$ denotes the maximum, and we calculate

\begin{aligned} -Lf(x)&= \frac{d(x) - |N(x)\cap N(v) \cap N(w)| + f(v) + f(w)}{d(x)}\nonumber \\&\ge 1 + \frac{1-A +f(v)+f(w)}{d(x)}. \end{aligned}
(2.1)

As $$f(v) + f(w) \ge A$$, we can use $$d(x)\le n-1$$ and continue

\begin{aligned} \frac{1-A +f(v)+f(w)}{d(x)}&\ge \frac{1-A}{n-1} + \frac{A}{2d(v)} + \frac{A}{2d(w)} \\&= \frac{1}{n-1} + A \left( \frac{1}{2d(v)} + \frac{1}{2d(w)}- \frac{1}{n-1} \right) . \nonumber \end{aligned}
(2.2)

Since $$d(v) \le n-2$$ and $$d(w) \le n-2$$, we see that the term in brackets is positive, and thus,

\begin{aligned}&A \left( \frac{1}{2d(v)} + \frac{1}{2d(w)}- \frac{1}{n-1} \right) \nonumber \\&\quad \ge \left[ 1\vee (d(v)+d(w)+2-n) \right] \left( \frac{1}{2d(v)} + \frac{1}{2d(w)}- \frac{1}{n-1} \right) . \end{aligned}
(2.3)

We write $$D:=(d(v)+d(w))/2$$, and by the harmonic-arithmetic mean estimate, we have $$\frac{1}{2d(v)} + \frac{1}{2d(w)} \ge \frac{1}{D}$$ and thus,

\begin{aligned} A \left( \frac{1}{2d(v)} + \frac{1}{2d(w)}- \frac{1}{n-1} \right) \ge \left[ 1\vee (2D+2-n)\right] \left( \frac{1}{D} - \frac{1}{n-1} \right) . \end{aligned}
(2.4)

We aim to show that the latter term is at least $$\frac{1}{n-1}$$ which, by multiplying with $$D(n-1)$$ and subtracting D, is equivalent to

\begin{aligned} \left[ 1\vee (2D+2-n) \right] (n-1-D) -D\ge 0. \end{aligned}
(2.5)

If $$D \le \frac{n-1}{2}$$, then the maximum equals 1 and the inequality follows immediately. If $$D \ge \frac{n-1}{2}$$, then we can discard the “$$1\vee$$”, and so the left-hand side becomes a concave quadratic polynomial in D with its zero points in $$D=n-2$$ and $$D=\frac{n-1}{2}$$. Thus, the inequality (2.5) holds true for all D between the zero points. Moreover by assumption, D has to be between the zero points which proves the claim that $$-Lf(x) \ge \frac{n+1}{n-1}$$ for all $$x \in N(v)\cap N(w)$$. Particularly, this shows that $$fLf\ge \frac{n+1}{n-1}f^2$$. Integrating proves the claim of the theorem for all connected graphs.

For non-connected graphs, the smallest connected component has at most $$\frac{n}{2}$$ vertices. By the standard estimate $$\lambda _n \ge \frac{n}{n-1}$$ applied to the smallest connected component, and the fact that the right-hand side of the estimate is a decreasing function of n, we get

\begin{aligned} \lambda _n \ge \frac{n/2}{n/2 - 1} = \frac{n}{n-2} > \frac{n+1}{n-1} \end{aligned}

which proves the theorem for non-connected graphs. $$\square$$

### Remark 2.2

Das and Sun’s proof method of Theorem 2.1 follows two main steps:

1. 1.

They consider the cases when the path $$P_4$$, the cycle $$C_4$$ and the star graph $$S_4$$ are induced subgraphs of G. For each of these three cases, they find appropriate functions on the vertex set showing that $$\lambda _n>\frac{n+1}{n-1}$$.

2. 2.

They use a characterization of $$\{P_4,C_4,S_4\}$$-free graphs given in [5], and they study the entire spectrum of such graphs, in order to prove the claim.

The last step, in particular, also includes the characterization of the extremal graphs that we shall prove in Theorem 3.1.

## Rigidity

We now prove that Theorem 2.1 gives the optimal bound, and we characterize equality in the eigenvalue estimate which can be attained only for two different graphs (Fig. 1). One of the graphs is the complete graph with only one edge removed. The other graph is surprisingly significantly different. It can be seen as two copies of a complete graph which are joined by a single vertex. Again, our proof methods differ widely from [3].

### Theorem 3.1

[3, Theorem 3.1] Let $$G=(V,E)$$ be a graph with n vertices. T.f.a.e.:

1. (i)

$$\lambda _n=\frac{n+1}{n-1}$$,

2. (ii)

The complement graph of G, after removing isolated vertices, is a single edge or a complete bipartite graph with both parts of size $$\frac{n-1}{2}$$.

### Proof

We first prove $$\hbox {(i)}\Rightarrow \hbox {(ii)}$$. We first note that G is non-complete but connected by the proof of Theorem 2.1. Thus, all inequalities in the proof of Theorem 2.1 must be equalities. Let $$v \not \sim w$$ with $$N(v) \cap N(w) \ne \emptyset$$. By equality in (2.1), all vertices within $$N(v) \cap N(w)$$ must be adjacent. By equality in (2.2), all vertices of $$N(v) \cap N(w)$$ must have degree $$n-1$$. By equality in (2.3), we obtain

\begin{aligned} |N(v)\cap N(w)| = (d(v)+d(w)+2-n) \vee 1. \end{aligned}

By equality in (2.4), we obtain $$d(v)=d(w)=D$$. Finally, by equality in (2.5), we see that

\begin{aligned} D \in \left\{ \frac{n-1}{2}, n-2 \right\} . \end{aligned}

We first show that if $$D=n-2$$, then the complement graph is a single edge. If $$d(v)=d(w)=D=n-2$$, then we get $$|N(v)\cap N(w)| = n-2$$. Since all vertices within $$N(v)\cap N(w)$$ are adjacent, we see that the only missing edge is the one from v to w which shows that the complement graph is a single edge.

Now we assume $$D=\frac{n-1}{2}$$. Then, $$A=|N(v) \cap N(w)| = 1$$, and we can write $$N(v) \cap N(w) = \{x\}$$. We recall that $$d(x)=n-1$$. We now specify the parts of the bipartite graph which we want to be the complement graph. One part is

\begin{aligned} P_v := \{v\} \cup N(v){\setminus } \{x\} \end{aligned}

and similarly, $$P_w := \{w\} \cup N(w){\setminus } \{x\}$$. Let $$\widetilde{v} \in P_v$$ and $$\widetilde{w} \in P_w$$. Then $$d(v,\widetilde{w}) = d(w,\widetilde{v}) = 2$$ as x is adjacent to every other vertex. By applying the above arguments to the pair $$(v,\widetilde{w})$$, we see that $$N(v) \cap N(\widetilde{w}) = \{x\}$$. Particularly, $$\widetilde{v} \not \sim \widetilde{w}$$. Moreover, we have $$d(\widetilde{w}) =d(v)= \frac{n-1}{2}$$ and similarly, $$d(\widetilde{v}) = \frac{n-1}{2}$$. By a counting argument, this shows that every $$\widetilde{v} \in P_v$$ is adjacent to every vertex not belonging to $$P_w$$. An analogous statements holds for all $$\widetilde{w} \in P_w$$. Putting everything together, we see that the complement graph of G is precisely the complete bipartite graph with the parts $$P_v$$ and $$P_w$$. This finishes the case distinction, and thus, the proof of the implication $$\hbox {(i)}\Rightarrow \hbox {(ii)}$$ is complete.

We finally prove $$\hbox {(ii)}\Rightarrow \hbox {(i)}$$. We start with the case that the complement graph is the complete bipartite graph. Let the parts be P and Q. Then, $$\phi := 1_P - 1_Q$$ is eigenfunction to the eigenvalue $$\frac{2}{n-1}$$ and every function orthogonal to $$\phi$$ and 1 is eigenfunction to the eigenvalue $$\frac{n+1}{n-1}$$.

We end with the case that the complement graph is a single edge (vw). Then, $$\phi =1_v - 1_w$$ is eigenfunction to eigenvalue 1, and $$\psi = -2 + (n+1)(1_v + 1_w)$$ is eigenfunction to eigenvalue $$\frac{n+1}{n-1}$$. Every function orthogonal to $$\phi ,\psi$$ and 1 is eigenfunction to the eigenvalue $$\frac{n}{n+1}$$.

This finishes the proof of $$\hbox {(ii)}\Rightarrow \hbox {(i)}$$, and thus, the proof of the theorem is complete. $$\square$$

### Remark 3.2

In the second equality case in Theorem 3.1, for $$n>3$$, the eigenvalue $$\lambda _n$$ has multiplicity larger than 1. With the notation of the proof of that theorem, we can take any vertex $$v'\in P_v$$ and any vertex $$w'\in P_w$$ and a function that is 1 at $$v'$$ and $$w'$$, $$-1$$ at their single joint neighbor z, and 0 everywhere else. For $$n=5$$, that is when we have two triangles sharing a single vertex z. We can also take a function that is 0 at z and assume the values $$\pm 1$$ on the two other vertices of each of the two triangles, to produce other eigenfunctions with eigenvalue $$\frac{3}{2}$$.

### Remark 3.3

It is known that while the eigenvalues of the non-normalized graph Laplacian decrease or stay the same when an edge is removed, the same does not hold for the normalized Laplacian [1, Remark 9]. The eigenvalues of L may in fact increase when an edge is removed, and in this case [1, Theorem 8] gives an upper bound to the increase. This is easy to see, for instance, by the fact that $$\lambda _n\ge \frac{n}{n-1}$$ for every graph, with equality if and only if the graph is complete. Looking at this inequality, however, one may wonder whether the opposite is true for $$\lambda _n$$, i.e., whether the largest eigenvalue of L increases or stays the same when an edge is removed. The answer is no: Theorems 2.1 and 3.1 offer an example that proves this. In particular, let G be a graph given by two copies of a complete graph which are joined by a single vertex. By Theorem 3.1, its largest eigenvalue is $$\frac{n+1}{n-1}$$. By Theorem 2.1 and Theorem 3.1, any graph given by G with the addition of one edge has largest eigenvalue strictly greater than $$\frac{n+1}{n-1}$$. Therefore, $$\lambda _n$$ may as well decrease when an edge is removed.

## Lower Bound Using the Minimum Degree

We now use the same method as that in the proof of Theorem 2.1 in order to give a new lower bound to the largest eigenvalue in terms of the minimum vertex degree, provided this is at most $$\frac{n-1}{2}$$. To the best of our knowledge, this is the first known lower bound to $$\lambda _n$$ in terms of the minimum degree. Li, Guo and Shiu [4] proved a bound in terms of the maximum degree. Namely, they have shown that for a graph with n vertices and m edges

\begin{aligned} \lambda _n\ge \frac{2m}{2m-\Delta }, \end{aligned}

where $$\Delta$$ is the maximum vertex degree.

### Theorem 4.1

Let $$G=(V,E)$$ be a graph with n vertices and let $$d_{\min }$$ be the minimum vertex degree of G. If $$d_{\min }\le \frac{n-1}{2}$$, then

\begin{aligned} \lambda _n\ge 1+\frac{1}{\sqrt{d_{\min }(n-1-d_{\min })}}. \end{aligned}

### Proof

Let

\begin{aligned} \psi :=\psi (n,d_{\min }):=1+\frac{1}{\sqrt{d_{\min }(n-1-d_{\min })}}\quad \text {and}\quad \eta :=\frac{1}{\psi -1}. \end{aligned}

We proceed similarly to the proof of Theorem 2.1. We first assume that G is connected. Let v be a vertex of minimum degree, i.e., such that $$d(v)=d_{\min }$$. As the graph is connected, we have $$N_2(v) \ne \emptyset$$. Let $$w \in N_2(v)$$. Then, $$d(w) \le n-2$$ as v and w are not adjacent. Moreover, $$N(v) \cap N(w) \ne \emptyset$$.

We write $$A:=|N(v) \cap N(w)|$$. We aim to find a function f with $$\langle f,Lf \rangle \ge \psi \langle f,f\rangle$$. To do so, it is convenient to choose f in such a way that $$Lf = \psi f$$ in v and w. Particularly, let $$f:V\rightarrow \mathbb {R}$$ be given by

\begin{aligned} f(x) := {\left\{ \begin{array}{ll} -1 &{} :~x \in N(v) \cap N(w),\\ \eta \cdot \frac{A}{d(v)} &{}:~ x=v,\\ \eta \cdot \frac{A}{d(w)} &{}:~ x=w,\\ 0&{}:~\text{ otherwise. } \end{array}\right. } \end{aligned}

We observe

\begin{aligned} Lf(v)= (\eta +1)\cdot \frac{A}{d(v)}=\frac{\eta +1}{\eta }\cdot f(v)=\psi f(v) \end{aligned}

and similarly, $$Lf(w)=\psi f(w)$$. We now claim that $$-Lf(x) \ge \psi$$ for all $$x \in N(v) \cap N(w)$$. We observe $$A \ge 1 \vee (d(v)+d(w)+2-n)$$ and we calculate

\begin{aligned} -Lf(x)&= \frac{d(x) - |N(x)\cap N(v) \cap N(w)| + f(v) + f(w)}{d(x)}\nonumber \\&\ge 1 + \frac{1-A +f(v)+f(w)}{d(x)}. \end{aligned}
(4.1)

In order to proceed, we will use the following lemma which will be proven later independently. $$\square$$

### Lemma 4.2

We have

\begin{aligned} \frac{\eta }{n-1}\cdot \left[ 1\vee (d(v)+d(w)+2-n) \right] \left( \frac{1}{d(v)}+\frac{1}{d(w)}-\frac{1}{\eta }\right) \ge \frac{1}{\eta }-\frac{1}{n-1}. \end{aligned}

Applying the lemma and using $$A \ge 1 \vee (d(v)+d(w)+2-n)$$ give

\begin{aligned} 0<\frac{1}{\eta }-\frac{1}{n-1}&\le \frac{\eta }{n-1}\cdot \left[ 1\vee (d(v)+d(w)+2-n) \right] \left( \frac{1}{d(v)}+\frac{1}{d(w)}-\frac{1}{\eta }\right) \\&\le \frac{\eta A}{n-1}\cdot \left( \frac{1}{d(v)}+\frac{1}{d(w)}-\frac{1}{\eta }\right) . \end{aligned}

Moving $$\frac{1}{n-1}$$ to the right-hand side and using $$d(x) \le n-1$$ give

\begin{aligned} 0<\frac{1}{\eta }&\le \frac{1}{n-1} + \frac{\eta A}{n-1}\cdot \left( \frac{1}{d(v)}+\frac{1}{d(w)}-\frac{1}{\eta }\right) \\&\le \frac{1}{d(x)} + \frac{\eta A}{d(x)}\cdot \left( \frac{1}{d(v)}+\frac{1}{d(w)}-\frac{1}{\eta }\right) \\&=\frac{1-A +f(v)+f(w)}{d(x)}\\&\le -Lf(x)-1, \end{aligned}

where we used (4.1) in the last estimate. Thus, $$-Lf(x) \ge 1+\frac{1}{\eta } = \psi$$ for all $$x \in N(v) \cap N(w)$$. Integrating gives $$\langle Lf, f \rangle \ge \psi \langle f, f \rangle$$ which proves the theorem for all connected graphs. For non-connected graph, we apply the theorem for the connected component containing v and use that $$\psi$$ is decreasing in n. The proof of the theorem is now complete up to the proof of the lemma. $$\square$$

### Proof of the Lemma

We consider two cases.

1. 1.

Case 1 $$d(v)+d(w)\le n-1$$. Then,

\begin{aligned} 1\vee (d(v)+d(w)+2-n)=1 \end{aligned}

and

\begin{aligned} \frac{1}{d(w)}\ge \frac{1}{n-1-d(v)}. \end{aligned}

Therefore,

\begin{aligned} \frac{\eta }{n-1}\cdot \left( \frac{1}{d(v)}+\frac{1}{d(w)}-\frac{1}{\eta }\right) \ge \frac{\eta }{n-1}\cdot \left( \frac{1}{d(v)}+\frac{1}{n-1-d(v)}-\frac{1}{\eta }\right) . \end{aligned}

Now, we have that

\begin{aligned}&\frac{\eta }{n-1}\cdot \left( \frac{1}{d(v)}+\frac{1}{n-1-d(v)}-\frac{1}{\eta }\right) \ge \frac{1}{\eta }-\frac{1}{n-1}\\&\iff \\&\frac{\eta }{n-1}\cdot \left( \frac{1}{d(v)}+\frac{1}{n-1-d(v)}\right) \ge \frac{1}{\eta }\\&\iff \\&\frac{1}{n-1}\cdot \left( \frac{1}{d(v)}+\frac{1}{n-1-d(v)}\right) \ge \frac{1}{\eta ^2}. \end{aligned}

This is true by definition of $$\eta$$ and it is actually an equality.

2. 2.

Case 2 $$d(v)+d(w)>n-1$$. Then,

\begin{aligned} 1\vee (d(v)+d(w)+2-n)=d(v)+d(w)+2-n\ge 2. \end{aligned}

Therefore, it suffices to prove that

\begin{aligned} \frac{2\eta }{n-1}\cdot \left( \frac{1}{d(v)}+\frac{1}{d(w)}-\frac{1}{\eta }\right) \ge \frac{1}{\eta }-\frac{1}{n-1}, \end{aligned}

i.e.,

\begin{aligned} \frac{2\eta }{n-1}\cdot \left( \frac{1}{d(v)}+\frac{1}{d(w)}\right) \ge \frac{1}{\eta }+\frac{1}{n-1}, \end{aligned}

which can be re-written as

\begin{aligned} \frac{2}{n-1}\cdot \left( \frac{1}{d(v)}+\frac{1}{d(w)}\right) -\frac{1}{\eta ^2}\ge \frac{1}{(n-1)\eta }. \end{aligned}

In order to prove it, we use the fact that

\begin{aligned} \frac{1}{\eta ^2}=\frac{1}{n-1}\cdot \left( \frac{1}{d(v)}+\frac{1}{n-1-d(v)}\right) . \end{aligned}

This implies that

\begin{aligned}&\frac{2}{n-1}\cdot \left( \frac{1}{d(v)}+\frac{1}{d(w)}\right) -\frac{1}{\eta ^2}\\&\quad \ge \frac{2}{n-1}\cdot \left( \frac{1}{d(v)}+\frac{1}{n-1}\right) -\frac{1}{n-1}\cdot \left( \frac{1}{d(v)}+\frac{1}{n-1-d(v)}\right) \\&\quad =\frac{1}{n-1}\cdot \left( \frac{1}{d(v)}+\frac{2}{n-1}-\frac{1}{n-1-d(v)}\right) \\&\quad =\frac{1}{n-1}\cdot \left( \frac{(n-1)(n-1-d(v))+2d(v)(n-1-d(v))-d(v)(n-1)}{d(v)(n-1)(n-1-d(v))}\right) \\&\quad =\frac{(n-1)^2-d(v)(n-1)+2d(v)(n-1)-2d(v)^2-d(v)(n-1)}{d(v)(n-1)^2(n-1-d(v))}\\&\quad =\frac{(n-1)^2-2d(v)^2}{d(v)(n-1)^2(n-1-d(v))}. \end{aligned}

Therefore, the inequality that we want to prove becomes

\begin{aligned}&\frac{(n-1)^2-2d(v)^2}{d(v)(n-1)^2(n-1-d(v))}\ge \frac{1}{(n-1)\eta }\\&\iff \\&\frac{(n-1)^2-2d(v)^2}{d(v)(n-1)(n-1-d(v))}\ge \frac{1}{\eta } = \frac{1}{\sqrt{d(v)(n-1-d(v))}}\\&\iff \\&(n-1)^2-2d(v)^2\ge (n-1)\sqrt{(n-1-d(v))\cdot d(v)}. \end{aligned}

Now, since we are assuming $$d(v)\le \frac{n-1}{2}$$,

\begin{aligned} (n-1)^2-2d(v)^2\ge \frac{(n-1)^2}{2}. \end{aligned}

Also, by applying $$\sqrt{ab}\le \frac{a+b}{2}$$,

\begin{aligned} (n-1)\sqrt{(n-1-d(v))\cdot d(v)}\le (n-1)\frac{n-1}{2}=\frac{(n-1)^2}{2}. \end{aligned}

Therefore,

\begin{aligned} (n-1)^2-2d(v)^2\ge (n-1)\sqrt{(n-1-d(v))\cdot d(v)}. \end{aligned}

Thus, the proof of the lemma is complete. $$\square$$

### Remark 4.3

In the particular case of $$d_{\min }=\frac{n-1}{2}$$, Theorem 4.1 tells us that

\begin{aligned} \lambda _n\ge \frac{n+1}{n-1}. \end{aligned}

By the second part of Theorem 3.1, we know that this inequality is sharp.