Skip to main content
deleted 2 characters in body
Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

As observed, the quadratic term may be equivalently removed from the inequality due to different homogeneity; then $x^*a^*ax+a^*x^*xa\leq a^*x^*ax+x^*a^*xa$ can be rewritten $[a,x]^*[a,x]\le0$, so the condition is exactly: commutativity of $C^*$$A$.

As observed, the quadratic term may be equivalently removed from the inequality due to different homogeneity; then $x^*a^*ax+a^*x^*xa\leq a^*x^*ax+x^*a^*xa$ can be rewritten $[a,x]^*[a,x]\le0$, so the condition is exactly: commutativity of $C^*$.

As observed, the quadratic term may be equivalently removed from the inequality due to different homogeneity; then $x^*a^*ax+a^*x^*xa\leq a^*x^*ax+x^*a^*xa$ can be rewritten $[a,x]^*[a,x]\le0$, so the condition is exactly: commutativity of $A$.

Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

As observed, the quadratic term may be equivalently removed from the inequality due to different homogeneity; then $x^*a^*ax+a^*x^*xa\leq a^*x^*ax+x^*a^*xa$ can be rewritten $[a,x]^*[a,x]\le0$, so the condition is exactly: commutativity of $C^*$.