Logarithmic Sobolev inequality for the noncommutative two-torus

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,nUmVnAθa=\sum_{(m,n)\in\mathbb{Z}^{2}}a_{m,n}U^{m}V^{n}\in A_{\theta}^{\infty} satisfy a>0a>0. Write a22=τ(a2)\|a\|_{2}^{2}=\tau(a^{2}). The logarithmic Sobolev conjecture. One has

τ(a2loga)(m,n)Z2(m+n)am,n2+a22loga2.\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,

τ(a2loga)(m,n)Z2(m+n)am,n2+τ(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.

Sources & referencesView supporting material

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.