3
$\begingroup$

Let $A$ be a non-singular matrix and let $s(A)$ be the sum of its entries. Under which conditions can it be assured that $s(A) \neq 0$?

if you like, you can assume that $A$ is symmetric.

Here is an example with $s(A)=0$:

$A=\begin{bmatrix}1 & 2 & 3 \\\\ 2 & -4 & -1\\\\ 3 & -1 & -5 \end{bmatrix}$

$\endgroup$
17
  • 4
    $\begingroup$ I don't think this is a well stated question. $\endgroup$ Commented Aug 10, 2012 at 13:03
  • 2
    $\begingroup$ Well, they are not necessarily singular!! If you look at my example, you'll that it's determinant is 63. As for why I study them - I cam up against an expression of the form $j^{T}R^{-1}j$ in my work, where $R$ is some particular matrix related to signless Laplacians and I need to eliminate the case that this quantity is zero. I thought originally, as you did, that nonsigularity precludes zero sum, I can analyze my own very special $R$ but I'm curious if there is something general to be said here - and this is what mathematics is about in the final analysis, isn't it? $\endgroup$ Commented Aug 10, 2012 at 13:15
  • 2
    $\begingroup$ Yes, I see that frowning is a common expression here. :( $\endgroup$ Commented Aug 10, 2012 at 13:31
  • 1
    $\begingroup$ Anyway, I edited the question. Is this form more acceptable? Thanks. $\endgroup$ Commented Aug 10, 2012 at 13:34
  • 1
    $\begingroup$ The entry sum is $e Ae^t$, where $e=(1,1,\dots, 1)$. Does this help? $\endgroup$ Commented Aug 10, 2012 at 13:44

2 Answers 2

15
$\begingroup$

It seems that, as quid suggested, very little can be said, at least if we want to say something invariant under rotations of coordinates. Specifically, the following are equivalent for a symmetric real matrix $M$:

(1) There is an orthogonal matrix $T$ such that $T^{-1}MT$ has entries summing to 0.

(2) The eigenvalues of $M$ do not all have the same sign.

To see this, begin with F. Ladisch's comment that the sum of the entries of $M$ is $eMe^t$, where $e$ is the all-ones vector. It follows that (1) is equivalent to the existence of some non-zero vector $v$ with $vMv^t=0$, as we can use $T$ to rotate a scalar multiple of $e$ to $v$. Clearly no such $v$ can exist if the quadratic form defined by $M$ is strictly positive definite or strictly negative definite, i.e., if all the eigenvalues have the same sign. Conversely, if there is an eigenvector $x$ with positive eigenvalue $\lambda$ and there is another eigenvector $y$ with negative eigenvalue $-\mu$, and if we normalize $x$ and $y$ to be unit vectors, then, since $x$ and $y$ are orthogonal, $v=\sqrt\mu x+\sqrt\lambda y$ does the job.

$\endgroup$
1
  • $\begingroup$ Very nice! <<>> $\endgroup$ Commented Aug 10, 2012 at 16:12
0
$\begingroup$

If we are allowing coordinate transformations then a necessary condition is that $0\not\in FOV(A)$.

$\endgroup$
1
  • 2
    $\begingroup$ FOV?${}{}{}{}{}$ $\endgroup$ Commented Dec 9, 2012 at 4:27

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .