Given odd integers $0<a<b$, I want to know if there exists an $n$ by $n$ real valued square matrix $M$ such that 
$$ M_{ij} = M_{ji} \quad \forall i,j \in \{1,2\dots n\}$$
$$ \sum_{i=1}^n M_{ij} = 0\quad \forall j \in \{1,2\dots n\} $$
$$\operatorname{Tr}(M^a)\operatorname{Tr}(M^b) = \sum_{i=1}^n \lambda_i^a \sum_{i=1}^n\lambda_i^b < 0 $$
for some finite $n$.

If there always exists such an $M$, this would resolve a case which may lead to improving a result of 
[Locally common graphs][1] by Csóka, Hubai, and Lovász. In the paper's language, I am trying to prove that there always exists a balanced graphon $U$ such that $t(C_a,U)t(C_b,U)<0$. Proposition 4.3 proves a similar special case, where the two cycles are connected. Since they ignored the disconnected case, I suspect my problem may be trivial. I am not too familiar with manipulating the trace function, so I'm not sure.

  [1]: https://arxiv.org/abs/1912.02926