  For two real symmetric matrices, their eigenvalue configuration is the
arrangement of their eigenvalues on the real line. We study the problem of
determining a quantifier-free necessary and sufficient condition for two real
symmetric matrices to realize a given eigenvalue configuration as a
generalization of Descartes' rule of signs. We exploit the combinatorial
properties of our definition for eigenvalue configuration to reduce a
two-polynomial root counting problem into several single-polynomial root
counting problems of symmetric polynomials. We then leverage the fundamental
theorem of symmetric polynomials to derive a final quantifier-free necessary
and sufficient condition for two real symmetric matrices to realize a given
eigenvalue configuration.
