16
$\begingroup$

My intuition tells me that the zero matrix is the only matrix that is symmetric and nilpotent with real values, but I'm having trouble proving it (or finding a counterexample.)

I have searched for related problems, but I've found only one where nilpotent was defined as any matrix $A$ where $A^2=0$; using this definition, the problem is pretty easy. I'm using the more general definition that $A$ is nilpotent if and only if there exists a positive integer $k$ such that $A^k=0$.

Based on my observations while trying to find a counterexample, I've been trying to formulate some argument about the positive semi-definiteness of the entries on the main diagonal, but I'm not getting very far with it. Is this the right approach? Is my gut feeling even true?

$\endgroup$
4
  • 2
    $\begingroup$ I've never seen anyone define ``nilpotent'' by $A^2 =0$. $\endgroup$ Commented Aug 28, 2013 at 23:44
  • $\begingroup$ The question where I saw it was this one. It seemed odd to me, but I figured I'd be clear with my question just in case. $\endgroup$ Commented Aug 29, 2013 at 4:51
  • $\begingroup$ in that question $A$ was assumed 2-by-2, and it might be true that $A^2 = 0$ implies $A$ is nilpotent for 2-by-2 matrices (I don't know offhand). $\endgroup$ Commented Aug 31, 2013 at 15:50
  • $\begingroup$ @StefanSmith such is true. $\endgroup$ Commented Sep 4, 2022 at 21:53

2 Answers 2

20
$\begingroup$

Hint: Real symmetric matrices are (orthogonally) diagonalisable. And all eigenvalues of nilpotent matrices are zero.

$\endgroup$
1
  • 1
    $\begingroup$ This is not an answer. Consider using a comment. $\endgroup$ Commented Sep 4, 2022 at 22:23
7
$\begingroup$

If for $A^2$ the problem is, as you have said, "pretty easy" then for any $A^k$...

The proof can be made without referring to eigenvalues - it is possible to prove the claim only with the application of basic definitions for symmetric matrix and nilpotent matrix)

Note that for $A$ which is symmetric matrix $(A^2)^T= (AA)^T=A^T A^T =(A^T)^2=A^2$ so square of symmetric matrix is also symmetric.

You have proved, I assume*, that for any non-zero symmetric matrix $A^2 \ne 0 $.

*(indeed it's easy to prove than there are some non-zero values at least on the main diagonal.

Denote symmetric matrix as matrix consisting of columns

$A=\begin{bmatrix} v_{1} & v_{2} & \dots & v_{n} \\ \end{bmatrix}$

Then $A^2=AA=A^TA=\begin{bmatrix} v_{1}^T \\ v_{2}^T \\ \dots \\ v_{n}^T \\ \end{bmatrix}\begin{bmatrix} v_{1} & v_{2} & \dots & v_{n} \\ \end{bmatrix}= \begin{bmatrix} v_{1}^Tv_{1} & v_{1}^Tv_{2} & \dots & v_{1}^Tv_{n} \\ v_{2}^Tv_{1} & v_{2}^Tv_{2} & \dots & v_{2}^Tv_{n} \\\dots & \dots & \dots & \dots \\ v_{n}^Tv_{1} & v_{n}^Tv_{2} & \dots & v_{n}^Tv_{n} \end{bmatrix} $

but $ v_{i}^Tv_{i} =\Vert v_i \Vert ^2 $ hence on the main diagonal are squares of column vectors lengths. At least one of these vectors $v_i$ is non-zero vector).

If $A^2 \ne 0 $ then the same can be said for $(A^2)^2$, $((A^2)^2)^2$, etc..

Then always it is possible to find for any $k$ the number $ m > k $ that $A^m \ne 0$ with the application of iterative squaring the result matrix as above..

But $A^m=A^{m-k}A^k$.
Because $A^m \ne 0$ so $A^k$ can't be equal $0$, otherwise $A^m$ should have been equal $0$ as well.

So we have that for any $k<m$ ($m$ can be made arbitrarily big) - it is impossible for non-zero symmetric matrix $A$ to obtain $A^k=0$.

$\endgroup$
2
  • 1
    $\begingroup$ Because square of skew-symmetric matrix is a symmetric matrix the same reasoning can be used for skew-symmetric non-zero matrices. They can't be nilpotent as well. $\endgroup$ Commented Jun 12, 2017 at 14:12
  • 1
    $\begingroup$ The second side-effect of the applied above reasoning is that powers of symmetric matrix are also symmetric, the same can be said about their polynomials.. so the non-zero polynomials can't be nilpotent also .. $\endgroup$ Commented Jun 13, 2017 at 11:13

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.