Is there an efficient algorithm to check the simultaneous feasibility of linear and eigenvalue constraints? For example, given $ \lambda_1 \ge \lambda_2 \ge 0$, is the following problem efficiently solvable : Are there $a_{ij} \ge 0$ such that
(i) $\sum_{i,j} a_{ij}=1$ such that $a_{ij} = a_{ji}$.
(ii) Largest eigenvalue of the matrix $A = [a_{ij}] = \lambda_1 $
(iii) All other eigenvalues of $A$ are upper bounded by $\lambda_2$ in magnitude.
It is okay if constraints (ii) and (iii) are satisfied with $\epsilon$ error.