Hi everyone in this sub forum,(adsbygoogle = window.adsbygoogle || []).push({});

I'm wondering if the following 'rule' (theorem?) is correct:

For a hermitian Positive Semidefinite (PSD) matrix [tex]A=(a_{ij})[/tex],

[tex]\max_{i,j\le n} |a_{ij}|=\max_{i\le n}a_{ii}[/tex].

The reason for this intuition (It may be a well known result, I'm very sorry in this

case for my poor knowledge) is the following:

A is PSD [tex]\Rightarrow[/tex] all its [tex]2\times2[/tex] Principal submatrices are PSD

[tex]\Rightarrow~~\left[\begin{array}{cc}

a_{ii} & a_{ij} \\

\bar{a}_{ij} & a_{jj} \end{array}\right]\ge0

[/tex]

[tex]\Rightarrow~~~|a_{ij}|\le \sqrt{a_{ii}a_{jj}}[/tex]

[tex]\Rightarrow~~\max_{i,j\le n} |a_{ij}|=\max_{i\le n}a_{ii}[/tex].

Regards,

NaturePaper

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Another necessary condition for Positive Semidefiniteness?

Loading...

Similar Threads - Another necessary condition | Date |
---|---|

I Field Extensions - Lovett, Theorem 7.1.10 - Another question | May 7, 2017 |

I Another Question about Finite Dimensional Division Algebras ... | Nov 17, 2016 |

I Finitely Generated Modules ... another question | Oct 2, 2016 |

I Triangular Matrix RIngs ... Another Question | Sep 17, 2016 |

What is the necessary condition for matrix commutation? | Mar 5, 2015 |

**Physics Forums - The Fusion of Science and Community**