# The sum of the two largest eigenvalues (Solved)

**Problem**Let be a graph on vertices and let be the eigenvalues of . Is ?

This property does hold for all regular graphs . If is -regular, then . Further, if we let denote the complement of and let denote its eigenvalues, then (the second inequality here follows from the observation that is -regular).

## Bibliography

Open Problems in Spectral Graph Theory (a list maintained by Dragan Stevanović).

* indicates original appearance(s) of problem.

### Is this really solved?

I'm confused how the paper's result (which you have posted) solves this question. I didn't read the paper, but the abstract only gave a looser bound that the sum of the first two eigenvalues is <= 2/sqrt(3) * n (and not just n).

### a negative solution

The paper shows that the sum of the first two eigenvalues exceeds 1.125n - 25, so exceeds n when n is sufficiently large. Thus Nikiforov has given a negative solution to the problem. (Note: I have not checked the claims of the paper thoroughly.)

### Is this really solved?

Yes. Nikiforov's inequality says that for all n >= 21 the maximum of the sum of the two largest eigenvalues of a graph on n vertices is at least f(n):=n(29+sqrt(329))/42-25. Notice that for n >= 204, f(n)-n is positive. Thus, for all n >= 204 there is a graph with n vertices and with the sum of the two largest eigenvalues greater than n.

Take a look at http://garyedavis.wordpress.com/ for an example and 3D picture of a graph on 40 vertices, with 770 edges for which the sum of the two largest eigenvalues is > 40.

I don't know if anyone knows the least n for which there is a graph with n vetices such that the sum of the two largest eigenvalues is greater than n.

Regards,

Gary Davis

## Solved!

About 5 months ago, I was shown a counterexample to this conjecture by Bojan Mohar (I believe in joint work with two of his grad. students - Javad Ebrahimi and Azhvan Sheikh). However, thanks to Gordon Royle, I have just learned that this problem was resolved earlier by Vladimir Nikiforov. See Linear combinations of graph eigenvalues.