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

From papers

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

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

with

Hμ(x)=p.v.z+wzwμ(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 Q0Q\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.

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

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

Solutions 0

No solutions have been posted yet.