Does the symmetric part of $M$ determine the spectrum of $DM,$ where $D$ is diagonal?

Question

Update: I've now posted this question, which, if answered with a proof, would prove the question in this post.

---

Let $M,D\in\mathcal{M}_n(\mathbb{R}),$ where $D$ is diagonal and positive definite, and let $\mathcal{A}_-$ be the set of all matrices whose eigenvalues all have negative real part.

As you probably know, $M$ can be written as the sum of a symmetric and an anti-symmetric part, i.e., $M=M_S+M_A=\frac{1}{2}(M+M^T)+\frac{1}{2}(M-M^T).$

I'd like to show that if $M_S$ is negative definite (ND), then $H=DM\in\mathcal{A}_-.$

Simulations support it, but I don't know how to prove it.

---

For what it is worth, I can prove that

1. $DM_S$ has all real eigenvalues and is in $\mathcal{A}_-$ iff $M_S$ is ND,
2. $DM_A$ is on the boundary of $\mathcal{A}_-$ (all its eigenvalues have zero real part), and
3. $M\in\mathcal{A}_-$ if $M_S$ is ND.

(Just an observation: 1. and 2. gives that $\mathrm{tr}(H)=\mathrm{tr}(DM_S),$ which is negative if $M_S$ is ND.)

Ideas that don't work:

1. If $DM_S$ and $DM_A$ commuted, their eigenvalues would sum to produce the new set of eigenvalues, but unfortunately they don't.
2. This question somewhat builds upon my previous question, that shows that if we can prove that the symmetric part $H_S$ of $H$ is ND, then we have the desired $H\in\mathcal{A}_-.$ However, I've found counter-examples of $H_S$ being ND when $M_S$ is ND, so this cannot be the way.
3. $M\in\mathcal{A}_-$ is not sufficient for $H\in\mathcal{A}_-$ (I've again found counter-examples).
4. If $x^THx<0$ for all nonzero $x\in\mathbb{R}^n,$ then $H\in\mathcal{A}_-,$ but unfortunately it doesn't go the other way, and I've yet again found counter-examples (i.e., I've found $H\in\mathcal{A}_-$ with a ND $M_S$ where $x^THx>0$).

I feel like this should be relatively straight-forward with the above puzzle pieces, but I'm not seeing how to put them together at the moment, so any help would be much appreciated.

Answer 1

$DM$ is similar to $D^{1/2}MD^{1/2}$. If $v$ is a unit eigenvector for an eigenvalue $\lambda$ of $D^{1/2}MD^{1/2}$, then $\Re(\lambda)=\frac12(\lambda+\lambda^\ast)=\frac12v^\ast D^{1/2}(M+M^\ast)D^{1/2}v=v^\ast D^{1/2}M_SD^{1/2}v<0$.