Skip to main content
2 of 3
fixed typo!
Suvrit
  • 28.6k
  • 7
  • 82
  • 150

This submodularity property is known to not hold, as the OP has found out already. However, I'd like to mention the following observation:

Let $f$ be defined on $(0,\infty)$ such that $-f'$ is operator monotone (i.e., for $A\le B \implies f'(A) \ge f'(B)$), then \begin{equation*} \text{Tr}\, f(A+B+C)+\text{Tr}\, f(A) \le \text{Tr}\, f(A+B)+\text{Tr}\, f(A+C). \end{equation*}

Example: the above inequality holds for $f(t)=t^p$ for $p\in (0,1)$.

Suvrit
  • 28.6k
  • 7
  • 82
  • 150