The free Log-Sobolev inequality at coefficient one-half for the zero potential

About 11 years old · traced to

Let Q≡0Q\equiv0 on the circle, let μQ\mu_Q be the Haar equilibrium measure, and define

IQ(μ):=∫(Hμ−Q′)2 dμ−(∫Q′ dμ)2,I_Q(\mu):=\int(H\mu-Q')^2\,d\mu-\left(\int Q'\,d\mu\right)^2,

with

Hμ(x)=−p.v.⁡∫z+wz−w μ(dw).H\mu(x)=-\operatorname{p.v.}\int\frac{z+w}{z-w}\,\mu(dw).

Write LSI(ρ)LSI(\rho) for

EQ(μ)−EQ(μQ)≤14ρIQ(μ).E_Q(\mu)-E_Q(\mu_Q)\leq\frac{1}{4\rho}I_Q(\mu).

Zero-potential Log-Sobolev conjecture. For Q≡0Q\equiv0, LSI(1/2)LSI(1/2) is true. The paper proves that LSI((1+δ)/4)LSI((1+\delta)/4) holds for some δ>0\delta>0, and conjectures the stronger coefficient 1/21/2.

References

Primary source

Ionel Popescu, “Free Functional Inequalities on the Circle”, arXiv:1511.05274 (2017).

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.