Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.25180

Sharp quantum logarithmic Sobolev inequalities via semigroup interpolation

Gan Yao
View original source ↗Read source document ↗Export metadata ↓

Abstract

We develop a semigroup interpolation method for sharp logarithmic Sobolev inequalities using spectral calculus and estimates of $\mathrm{Re}\langle\,Lx,x^2\rangle_2$, where $L$ generates an auxiliary symmetric quantum Markov semigroup. We apply the method to free groups and to crossed products of a finite von Neumann algebra $\mathcal N$ by $\mathbb Z$ or $\mathbb Z_n$, for $n=2$ or $n\ge4$, when the action commutes with the semigroup on $\mathcal N$. In particular, the word-length generators on quantum tori and the Weyl word-length generators on $M_n(\mathbb C)$ satisfy logarithmic Sobolev inequalities with optimal constant $2$.

Explore related subjects

math.OAmath.FA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Gan Yao. 2026-10-18. Sharp quantum logarithmic Sobolev inequalities via semigroup interpolation. https://arxiv.org/abs/2610.25180

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On Relative Biexactness of Amalgamated Free Product von Neumann Algebras

Given weakly exact tracial von Neumann algebras $M_{1}, M_{2}$ with a common injective von Neumann subalgebra $B$, we prove that the amalgamated free product $M_{1}\overline{*}_{B}M_{2}$ is biexact relative to $\{M_{1},M_{2}\}$. When $M_1$ and $M_2$ are injective but not necessarily tracial, we further show that $M_{1}\overline{*}_{B}M_{2}$ is biexact relative to the amalgam $B$, and if $B$ is mixing in each of $M_1$ and $M_2$, $M_{1}\overline{*}_{B}M_{2}$ itself is biexact. We also develop a new criterion for upgrading relative biexactness and obtain structural decomposition and subalgebra absorption results for amalgamated free product von Neumann algebras that generalize the group case.

math.OA↗
arXiv2026

Equivalence of categories of bivariant K-theory for C*-algebras over topological spaces via reflection functors

In this paper, for various pairs of topological spaces $X$ and $Y$, we introduce an analogue of the Bernšte\uın-Gel'fand-Ponomarev reflection functors between the categories of C*-algebras over $X$ and $Y$. We prove that these functors induce equivalences $\mathfrak{KK}(X)_{\mathrm{loc}} \simeq \mathfrak{KK}(Y)_{\mathrm{loc}}$ between Meyer and Nest's localizing subcategories in Kirchberg's ideal-related KK-theory, and $\mathfrak{E}(X) \simeq \mathfrak{E}(Y)$ between the entire categories in Dadarlat and Meyer's ideal-related E-theory. Both equivalences restrict to the respective bootstrap categories: $\mathcal{B}(X) \simeq \mathcal{B}(Y)$ and $\mathcal{B}_{\mathrm{E}}(X) \simeq \mathcal{B}_{\mathrm{E}}(Y)$. Combining these equivalences with a combinatorial argument in quiver representation theory, we obtain the same equivalences for any two finite $T_0$-spaces whose Hasse diagrams are orientations of the same tree. Moreover, we prove a rearrangement property of reflection functors, which yields an analogue of Coxeter functors. Finally, we apply reflection functors to give a conceptual alternative proof of Bentmann and Köhler's universal coefficient theorem for filtrated K-theory over finite $T_0$-spaces whose Hasse diagrams are orientations of Dynkin diagrams of type A.

math.OA↗
arXiv2026

Commutative Counterexamples to Arveson's Hyperrigidity Conjecture

We construct counterexamples to Arveson's hyperrigidity conjecture for operator systems in commutative $C^*$-algebras. In each example, every irreducible representation of the $C^*$-envelope is a boundary representation, but hyperrigidity fails. The first example is the operator system of continuous affine functions on an infinite-dimensional weighted $\ell^p$ ball. In the second infinite-dimensional example, we start with commuting operators and construct a nontrivial dilation. The final example comes from a compact truncated epigraph of a strictly convex function and yields a finite-dimensional operator system.

math.OA↗