The function-approximation conjecture for operator monotone functions

From papers

Let M^+\widehat{\mathcal M}_+ be the space of Fourier transforms of finite positive Borel measures on R\mathbb R, and define

Ef(c)=infgM^+(supx0(fg)(x)infx0(fg)(x)+cg(0)).E_f(c)=\inf_{g'\in\widehat{\mathcal M}_+}\left(\sup_{x\geq0}(f-g)(x)-\inf_{x\geq0}(f-g)(x)+cg'(0)\right).

Let ff be a non-negative function that is operator monotone on [0,)[0,\infty). The function-approximation conjecture. For every c>0c>0,

Ef(c)Cf(c)E_f(c)\leq Cf(c)

with C=1C=1. This conjecture is introduced as implying the normalized commutator inequality in the case A=BA=B; its resolution is not stated in the supplied excerpt.

Progress summary

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

Sources & referencesView supporting material

Primary source

David Herrera, “On the commutator modulus of continuity for operator monotone functions”, arXiv:2311.17448 (2023).

Solutions 0

No solutions have been posted yet.