The function-approximation conjecture for operator monotone functions

About 3 years old · traced to

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

Ef(c)=inf⁡g′∈M^+(sup⁡x≥0(f−g)(x)−inf⁡x≥0(f−g)(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.

References

Primary source

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

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.