Skip to main content
deleted 24 characters in body
Source Link
Francois Ziegler
  • 31.5k
  • 6
  • 121
  • 176

A counterexample was apparently first found by Plevnik (2016) (pdf) found the counterexample: $$ A = \begin{bmatrix}76&0&0\\0&0&0\\0&0&1\end{bmatrix} \qquad\text{and}\qquad B = \begin{bmatrix}20&-14&13\\-14&2880&3100\\13&3100&3380\end{bmatrix} $$ withgive $$ \operatorname{tr} A^4BAB^4 = 7608677695167720100 > 7566365725138281700 = \operatorname{tr} A^5B^5. $$ (To get one with $A$ positive definite as requested, replace entry $A_{22}$ by $0.01$ and obtain, unless I miscalculated,: the two traces become $$ \operatorname{tr} A^4BAB^4 = 7.58468087608\times10^{18} > 7.56636572557\times10^{18} = \operatorname{tr} A^5B^5.) $$$$ 7584680876077508226.18611992\ \ > \ \ 7566365725573314229.03610008. $$

Plevnik (2016) (pdf) found the counterexample $$ A = \begin{bmatrix}76&0&0\\0&0&0\\0&0&1\end{bmatrix} \qquad\text{and}\qquad B = \begin{bmatrix}20&-14&13\\-14&2880&3100\\13&3100&3380\end{bmatrix} $$ with $$ \operatorname{tr} A^4BAB^4 = 7608677695167720100 > 7566365725138281700 = \operatorname{tr} A^5B^5. $$ (To get one with $A$ positive definite, replace entry $A_{22}$ by $0.01$ and obtain, unless I miscalculated, $$ \operatorname{tr} A^4BAB^4 = 7.58468087608\times10^{18} > 7.56636572557\times10^{18} = \operatorname{tr} A^5B^5.) $$

A counterexample was apparently first found by Plevnik (2016) (pdf): $$ A = \begin{bmatrix}76&0&0\\0&0&0\\0&0&1\end{bmatrix} \qquad\text{and}\qquad B = \begin{bmatrix}20&-14&13\\-14&2880&3100\\13&3100&3380\end{bmatrix} $$ give $$ \operatorname{tr} A^4BAB^4 = 7608677695167720100 > 7566365725138281700 = \operatorname{tr} A^5B^5. $$ To get one with $A$ positive definite as requested, replace entry $A_{22}$ by $0.01$: the two traces become $$ 7584680876077508226.18611992\ \ > \ \ 7566365725573314229.03610008. $$

deleted 48 characters in body
Source Link
Francois Ziegler
  • 31.5k
  • 6
  • 121
  • 176

Plevnik (2016) ((pdf)) found the counterexample $$ A = \begin{bmatrix}76&0&0\\0&0&0\\0&0&1\end{bmatrix} \qquad\text{and}\qquad B = \begin{bmatrix}20&-14&13\\-14&2880&3100\\13&3100&3380\end{bmatrix} $$ with $$ \operatorname{tr} A^4BAB^4 = 7608677695167720100 > 7566365725138281700 = \operatorname{tr} A^5B^5. $$ This does not answer your question since(To get one with $A$ is not positive definite, but unless I miscalculated, replacingreplace entry $A_{22}$ by $0.01$ gives a pair that does:and obtain, unless I miscalculated, $$ \operatorname{tr} A^4BAB^4 = 7.58468087608\times10^{18} > 7.56636572557\times10^{18} = \operatorname{tr} A^5B^5. $$$$ \operatorname{tr} A^4BAB^4 = 7.58468087608\times10^{18} > 7.56636572557\times10^{18} = \operatorname{tr} A^5B^5.) $$

Plevnik (2016) (pdf) found the counterexample $$ A = \begin{bmatrix}76&0&0\\0&0&0\\0&0&1\end{bmatrix} \qquad\text{and}\qquad B = \begin{bmatrix}20&-14&13\\-14&2880&3100\\13&3100&3380\end{bmatrix} $$ with $$ \operatorname{tr} A^4BAB^4 = 7608677695167720100 > 7566365725138281700 = \operatorname{tr} A^5B^5. $$ This does not answer your question since $A$ is not positive definite, but unless I miscalculated, replacing entry $A_{22}$ by $0.01$ gives a pair that does: $$ \operatorname{tr} A^4BAB^4 = 7.58468087608\times10^{18} > 7.56636572557\times10^{18} = \operatorname{tr} A^5B^5. $$

Plevnik (2016) (pdf) found the counterexample $$ A = \begin{bmatrix}76&0&0\\0&0&0\\0&0&1\end{bmatrix} \qquad\text{and}\qquad B = \begin{bmatrix}20&-14&13\\-14&2880&3100\\13&3100&3380\end{bmatrix} $$ with $$ \operatorname{tr} A^4BAB^4 = 7608677695167720100 > 7566365725138281700 = \operatorname{tr} A^5B^5. $$ (To get one with $A$ positive definite, replace entry $A_{22}$ by $0.01$ and obtain, unless I miscalculated, $$ \operatorname{tr} A^4BAB^4 = 7.58468087608\times10^{18} > 7.56636572557\times10^{18} = \operatorname{tr} A^5B^5.) $$

Source Link
Francois Ziegler
  • 31.5k
  • 6
  • 121
  • 176

Plevnik (2016) (pdf) found the counterexample $$ A = \begin{bmatrix}76&0&0\\0&0&0\\0&0&1\end{bmatrix} \qquad\text{and}\qquad B = \begin{bmatrix}20&-14&13\\-14&2880&3100\\13&3100&3380\end{bmatrix} $$ with $$ \operatorname{tr} A^4BAB^4 = 7608677695167720100 > 7566365725138281700 = \operatorname{tr} A^5B^5. $$ This does not answer your question since $A$ is not positive definite, but unless I miscalculated, replacing entry $A_{22}$ by $0.01$ gives a pair that does: $$ \operatorname{tr} A^4BAB^4 = 7.58468087608\times10^{18} > 7.56636572557\times10^{18} = \operatorname{tr} A^5B^5. $$