3
$\begingroup$

I am trying to produce an example of a (necessarily non-normal) matrix that has only eigenvalues with positive real part, but whose numerical range contains elements with strictly negative real part. Of course, I could take the standard counterexample $$ B=\begin{pmatrix}0 & 1\\ 0 & 0\end{pmatrix} $$ and simply change its sign.

However, for some reason I need a matrix whose columns (but not rows!) sum up to 0 - indeed, I am looking for a Kirchhoff matrix of a graph, in the jargon of Tutte - and I am having some difficulty finding a matrix with this property. Is there any theorem that forbids such a behaviour? I am aware of results on the numerical range of doubly stochastic matrices, but nothing about simply stochastic matrices or matrices of the form I am considering.

$\endgroup$

1 Answer 1

3
$\begingroup$

Let $$A=\pmatrix{1&-1/2\cr-1&1/2\cr}$$ The column sums are zero and the eigenvalues are zero and $3/2$. $$A+A^t=\pmatrix{2&-3/2\cr-3/2&1\cr}$$ which has determinant less than zero, so is not positive semidefinite. Wikipedia says the numerical range of $A$ is a closed subset of the right-half plane if and only if $A+A^t$ is positive semidefinite.

As it seems to be desired in adition that all entries be taken from $\{-1,0,1\}$, let $$A=\pmatrix{1&-1&-1\cr-1&1&0\cr0&0&1\cr}$$ All entries are appropriate, eigenvalues are $0,1,2$. $$A+A^t=\pmatrix{2&-2&-1\cr-2&2&0\cr-1&0&2\cr}$$ which has the negative eigenvalue $2-\sqrt5$.

$\endgroup$
2
  • $\begingroup$ I have tried so far to modify your counterexample to get a matrix whose entries are only 0/1/-1, but so far without success. But your counterexample is already useful, thanks. $\endgroup$ Jul 30, 2013 at 5:01
  • $\begingroup$ update: thanks for your new version. both your matrices are perfect. additionally, i was able to reproduce the same phenomenon with the matrix $A=\begin{pmatrix}2 & 0 & -1\\ -2 & 1 & 0\\ 0 & -1 & 1\end{pmatrix}$: eigenvalues $0,2\pm i$ but negative value of $(Ax|x)$ for $x=(4,6,5)$. this matrix does not have a 0,1,-1 pattern, but it has the advantage that it is the kirchhoff matrix of a simple graph. but it is just a matter of taste. $\endgroup$ Jul 30, 2013 at 19:35

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.