Logarithmic Sobolev inequality for the noncommutative two-torus

About 10 years old · traced to

Let Aθ∞A_{\theta}^{\infty} be the smooth noncommutative two-torus with canonical trace τ\tau, generated by unitaries U,VU,V, and let a=∑(m,n)∈Z2am,nUmVn∈Aθ∞a=\sum_{(m,n)\in\mathbb{Z}^{2}}a_{m,n}U^{m}V^{n}\in A_{\theta}^{\infty} satisfy a>0a>0. Write ∥a∥22=τ(a2)\|a\|_{2}^{2}=\tau(a^{2}). The logarithmic Sobolev conjecture. One has

τ(a2log⁡a)≤∑(m,n)∈Z2(∣m∣+∣n∣)∣am,n∣2+∥a∥22log⁡∥a∥2.\tau(a^{2}\log a)\leq \sum_{(m,n)\in\mathbb{Z}^{2}}(|m|+|n|)|a_{m,n}|^{2}+\|a\|_{2}^{2}\log\|a\|_{2}.

Equivalently,

τ(a2log⁡a)≤∑(m,n)∈Z2(∣m∣+∣n∣)∣am,n∣2+τ(a2)log⁡(τ(a))1/2.\tau(a^{2}\log a)\leq \sum_{(m,n)\in\mathbb{Z}^{2}}(|m|+|n|)|a_{m,n}|^{2}+\tau(a^{2})\log(\tau(a))^{1/2}.

The paper presents this as the main conjectured logarithmic Sobolev inequality on the noncommutative 22-torus and proves it for certain elements, while the general assertion remains unresolved in the supplied text.

References

Primary source

Masoud Khalkhali and Sajad Sadeghi, “On Logarithmic Sobolev Inequality for the Noncommutative Two Torus”, arXiv:1601.04242 (2016).

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.