Trace-norm commutator conjecture for matrix functions

Let AA and BB be positive semidefinite d×dd\times d matrices with TrA=a\operatorname{Tr}A=a and TrB=b\operatorname{Tr}B=b. For a function f:RRf:\mathbb{R}\to\mathbb{R}, define

F(x)=0xf(y)dy.F(x)=\int_0^x f(y)\,dy.

Trace-norm commutator conjecture. For certain functions ff still to be determined, there exists a constant cc independent of dd such that

[B,f(A+B)]1c(F(a+b)F(a)F(b)).\lVert[B,f(A+B)]\rVert_1\leq c\bigl(F(a+b)-F(a)-F(b)\bigr).

This is presented as a natural generalisation of a previously discussed trace-norm inequality for commutators. The admissible class of functions ff and the optimal constant are left open in the source.

Sources & referencesView supporting material

Primary source

Michaël Mariën, Koenraad M. R. Audenaert, Karel Van Acoleyen and Frank Verstraete, “Entanglement Rates and the Stability of the Area Law for the Entanglement Entropy”, arXiv:1411.0680 (2014).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.