The subject of this paper is the study of convolution semigroups of states on a locally compact quantum group, generalising classical families of distributions of a Lévy process on a locally compact group. In particular a definitive one-to-one correspondence between symmetric convolution semigroups of states and noncommutative Dirichlet forms satisfying the natural translation invariance property is established, extending earlier partial results and providing a powerful tool to analyse such semigroups. This is then applied to provide new characterisations of the Haagerup Property and Property (T) for locally compact quantum groups, and some examples are presented. The proofs of the main theorems require developing certain general results concerning Haagerup's $L^{p}$-spaces.
We prove that any weak* continuous semigroup $(T_t)_{t \geq 0}$ of factorizable Markov maps acting on a von Neumann algebra $M$ equipped with a normal faithful state can be dilated by a group of Markov $*$-automorphisms analogous to the case of a single factorizable Markov operator, which is an optimal result. We also give a version of this result for strongly continuous semigroups of operators acting on noncommutative $\mathrm{L}^p$-spaces and examples of semigroups to which the results of this paper can be applied. Our results implies the boundedness of the McIntosh's $\mathrm{H}^\infty$ fun…
We study quantum Dirichlet forms and the associated symmetric quantum Markov semigroups on noncommutative $L^2$ spaces. It is known from the work of Cipriani and Sauvageot that these semigroups induce a first order differential calculus, and we use this differential calculus to define a noncommutative transport metric on the set of density matrices. This construction generalizes both the $L^2$-Wasserstein distance on a large class of metric spaces as well as the discrete transport distance introduced by Maas, Mielke, and Chow-Huang-Li-Zhou. Assuming a Bakry-Émery-type gradient estimate, we sho…
Following up on the recent work on lower Ricci curvature bounds for quantum systems, we introduce two noncommutative versions of curvature-dimension bounds for symmetric quantum Markov semigroups over matrix algebras. Under suitable such curvature-dimension conditions, we prove a family of dimension-dependent functional inequalities, a version of the Bonnet-Myers theorem and concavity of entropy power in the noncommutative setting. We also provide examples satisfying certain curvature-dimension conditions, including Schur multipliers over matrix algebras, Herz-Schur multipliers over group alge…
Variations in noncommutative potential theory: finite energy states, potentials and multipliers
在这项工作中，我们进行了扩展的各个方面的位势论的Dirichlet形式从局部紧空间的非交换C* 代数的跟踪。特别地，我们介绍了有限能量状态，潜力和Dirichlet空间的乘子。我们证明了几个结果，其中著名的Deny嵌入定理和Deny不等式，有界势的carre' du champ是有限能量泛函的事实和乘数的相对供应。
In the present work we review and refine some results about fixed points of semigroups of quantum channels. Noncommutative potential theory enables us to show that the set of fixed points of a recurrent semigroup is a W*-algebra; aside from the intrinsic interest of this result, it brings an improvement in the study of fixed points by means of absorption operators (a noncommutative generalization of absorption probabilities): under the assumption of absorbing recurrent space (hence allowing non-trivial transient space) we can provide a description of the fixed points set and a probabilistic ch…
In this article we introduce a complete gradient estimate for symmetric quantum Markov semigroups on von Neumann algebras equipped with a normal faithful tracial state, which implies semi-convexity of the entropy with respect to the recently introduced noncommutative 2-Wasserstein distance. We show that this complete gradient estimate is stable under tensor products and free products and establish its validity for a number of examples. As an application we prove a complete modified logarithmic Sobolev inequality with optimal constant for Poisson-type semigroups on free group factors.
In this work, we solve the problem explicitly stated at the end of a paper of Junge, Mei and Parcet [JEMS2018, Problem C.5] for a large class of groups including all amenable groups and free groups. More precisely, we prove that the Hodge-Dirac operator of the canonical "hidden" noncommutative geometry associated with a Markov semigroup $(T_t)_{t \geq 0}$ of Fourier multipliers is bisectorial and admits a bounded $\mathrm{H}^\infty$ functional calculus on a bisector which implies a positive answer to the quoted problem. Our result can be seen as a strengthening of the dimension free estimates …
Our first result is a noncommutative form of Jessen/Marcinkiewicz/Zygmund theorem for the maximal limit of multiparametric martingales or ergodic means. It implies bilateral almost uniform convergence with initial data in the expected Orlicz spaces. A key ingredient is the introduction of the $L_p$-norm of the $\limsup$ of a sequence of operators as a localized version of a $\ell_\infty/c_0$-valued $L_p$-space. In particular, our main result gives a strong $L_1$-estimate for the $\limsup$, as opposed to the usual weak $L_{1,\infty}$-estimate for the $\sup$. Let $\mathcal{L} \mathbf{F}_2$ denot…
We prove that any weak* continuous semigroup $(T_t)_{t \geq 0}$ of Markov Fourier multipliers acting on a group von Neumann algebra $\mathrm{VN}(G)$ associated to a locally compact group $G$ can be dilated by a weak* continuous group of Markov $*$-automorphisms on a bigger von Neumann algebra. Our construction relies on probabilistic tools and is even new for the group $\mathbb{R}^n$. Our results imply the boundedness of the McIntosh's $\mathrm{H}^\infty$ functional calculus of the generators of these semigroups on the associated noncommutative $\mathrm{L}^p$-spaces.
We prove general de Finetti type theorems for classical and free independence. The de Finetti type theorems work for all non-easy quantum groups, which generalize a recent work of Banica, Curran and Speicher. We determine maximal distributional symmetries which means the corresponding de Finetti type theorem fails if a sequence of random variables satisfy more symmetry relations other than the maximal one. In addition, we define Boolean quantum semigroups in analogous to the easy quantum groups, by universal conditions on matrix coordinate generators and an orthogonal projection. Then, we show…
