Skip to main content

Complete Gradient Estimates of Quantum Markov Semigroups

Abstract

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.

Introduction

In the last decades, the theory of optimal transport has made impressive inroads into other disciplines of mathematics, probably most notably with the Lott–Sturm–Villani theory [29, 42, 43] of synthetic Ricci curvature bounds for metric measure spaces. More recently, optimal transport techniques have also been used to extend this theory to cover also discrete [13, 19, 31, 33] and noncommutative geometries [10, 11, 35].

The starting point of our investigation are the results from [10, 11] and their partial generalizations to the infinite-dimensional case in [22, 48]. For a symmetric quantum Markov semigroup \((P_t)\) the authors construct a noncommutative version of the 2-Wasserstein metric, which allows to obtain a quantum analog of the characterization [23, 37] of the heat flow as 2-Wasserstein gradient flow of the entropy. On this basis, the geodesic semi-convexity of the entropy in noncommutative 2-Wasserstein space can be understood as a lower Ricci curvature bound for the quantum Markov semigroup, and it can be used to obtain a series of prominent functional inequalities such as a Talagrand inequality, a modified logarithmic Sobolev inequality and the Poincaré inequality [7, 11, 28, 41].

One of the major challenges in the development of this program so far has been to verify semi-convexity in concrete examples, and only few noncommutative examples have been known to date, even less infinite-dimensional ones.

To prove geodesic semi-convexity, the gradient estimate

$$\begin{aligned} \Vert {\partial P_t a}\Vert _\rho ^2\le e^{-2Kt}\Vert {\partial a}\Vert _{P_t \rho }^2, \end{aligned}$$
(GE)

or, equivalently, its integrated form has proven central. They can be seen as noncommutative analogs of the Bakry–Emery gradient estimate and the \(\varGamma _2\) criterion. Indeed, if the underlying quantum Markov semigroup is the heat semigroup on a complete Riemannian manifold, (GE) reduces to the classical Bakry–Emery estimate

$$\begin{aligned} \varGamma (P_t f)\le e^{-2Kt}P_t \varGamma (f). \end{aligned}$$

As often in noncommutative geometry, tensorization of inequalities is more difficult than that in the commutative case. It is not known whether the gradient estimate in the form (GE) has good tensorization properties. For this reason we introduce \((\mathrm {CGE})\), a complete version of (GE), and establish some of its stability properties. Using these in combination with a variant of the intertwining technique from [11] and a fine analysis of specific generators of Lindblad type, we are able to establish this tensor stable gradient estimate \((\mathrm {CGE})\) for a number of examples for which geodesic convexity was not known before.

Let us briefly outline the content of the individual sections of this article. In Sect. 2 we recall some basics of quantum Markov semigroups, the construction of the noncommutative transport distance \({\mathcal {W}}\) and the connection between the gradient estimate (GE) and the geodesic semi-convexity of the entropy.

In Sect. 3 we extend the intertwining technique from [11, 12] to the infinite-dimensional setting. Working with arbitrary operator means, our result does not only cover the gradient estimate implying semi-convexity of the entropy in noncommutative 2-Wasserstein space, but also the noncommutative Bakry–Emery estimate studied in [25]. As examples we show that the Ornstein–Uhlenbeck semigroup on the mixed q-Gaussian algebras satisfies (\(\mathrm {CGE}\)) with constant \(K=1\), the heat semigroup on quantum tori satisfies (\(\mathrm {CGE}\)) with constant \(K=0\), and that a class of quantum Markov semigroups on discrete group von Neumann algebras and quantum groups \(O_N^+,S_N^+\) satisfy (\(\mathrm {CGE}\)) with constant \(K=0\). Moreover, this intertwining result is also central for the stability properties studied in the next section.

In Sect. 4 we show that the complete gradient estimate is stable under tensor products and free products of quantum Markov semigroups. Besides the applications investigated later in the article, these results also open the door for applications of group transference to get complete gradient estimates for Lindblad generators on matrix algebras.

In Sect. 5 we prove the complete gradient estimate (\(\mathrm {CGE}\)) with constant \(K=1\) for quantum Markov semigroups whose generators are of the form

$$\begin{aligned} {\mathscr {L}}x=\sum _j p_j x+xp_j -2p_j x p_j, \end{aligned}$$

where the operators \(p_j\) are commuting projections. In a number of cases, this result is better than the ones we could obtain by intertwining and yields the optimal constant in the gradient estimate. As examples we show that this result applies to the quantum Markov semigroups associated with the word length function on finite cyclic groups and the non-normalized Hamming length function on symmetric groups. Using ultraproducts and the stability under free products, we finally extend this result to Poisson-type quantum Markov semigroups on group von Neumann algebras of groups \({\mathbb {Z}}^{*k}*{\mathbb {Z}}_2^{*l}\) with \(k,l\ge 0\). In particular, this implies the complete modified logarithmic Sobolev inequality with optimal constant for these groups.

Note added. When preparing this preprint for submission, we were made aware that several of the examples have been obtained independently by Brannan, Gao and Junge (see [7, 8]).

The Noncommutative Transport Metric \({\mathcal {W}}\) and Geodesic Convexity of the Entropy

In this section we briefly recall the definition and basic properties of the noncommutative transport distance \({\mathcal {W}}\) associated with a tracially symmetric quantum Markov semigroup. For a more detailed description we refer readers to [48].

Let \({\mathcal {M}}\) be a separable von Neumann algebra equipped with a normal faithful tracial state \(\tau :{\mathcal {M}}\rightarrow {\mathbb {C}}\). Denote by \({\mathcal {M}}_+\) the positive cone of \({\mathcal {M}}\). Given \(1\le p<\infty \), we define

$$\begin{aligned} \Vert x\Vert _p=[\tau (|x|^p)]^{\frac{1}{p}},~~x\in {\mathcal {M}}, \end{aligned}$$

where \(|x|=(x^*x)^{\frac{1}{2}}\) is the modulus of x. One can show that \(\Vert \cdot \Vert _p\) is a norm on \({\mathcal {M}}\). The completion of \(( {\mathcal {M}}, \Vert \cdot \Vert _p )\) is denoted by \(L^p ({\mathcal {M}}, \tau )\), or simply \(L^p ({\mathcal {M}})\). As usual, we put \(L^\infty ({\mathcal {M}})={\mathcal {M}}\) with the operator norm. In this article, we are only interested in \(p=1\) and \(p=2\). In particular, \(L^2({\mathcal {M}})\) is a Hilbert space with the inner product

$$\begin{aligned} \langle x,y\rangle _2=\tau (x^*y). \end{aligned}$$

A family \((P_t)_{t\ge 0}\) of bounded linear operators on \({\mathcal {M}}\) is called a quantum Markov semigroup (QMS) if

  • \(P_t\) is a normal unital completely positive map for every \(t\ge 0\),

  • \(P_s P_t=P_{s+t}\) for all \(s,t\ge 0\),

  • \(P_t x\rightarrow x\) in the weak\(^*\) topology as \(t\searrow 0\) for every \(x\in {\mathcal {M}}\).

A QMS \((P_t)\) is called \(\tau \)-symmetric if

$$\begin{aligned} \tau ((P_t x)y)=\tau (x P_t y) \end{aligned}$$

for all \(x,y\in {\mathcal {M}}\) and \(t\ge 0\).

The generator of \((P_t)\) is the operator \({\mathscr {L}}\) given by

$$\begin{aligned} D({\mathscr {L}})&=\left\{ x\in {\mathcal {M}}\mid \lim _{t\searrow 0}\frac{1}{t} (x-P_t x)\text { exists in the weak}^*\text { topology}\right\} ,\\ {\mathscr {L}}(x)&=\lim _{t\rightarrow 0}\frac{1}{t} (x-P_t x),~~x\in D({\mathscr {L}}). \end{aligned}$$

Here and in what follows, D(T) always means the domain of T. For all \(p\in [1,\infty ]\), the \(\tau \)-symmetric QMS \((P_t)\) extends to a strongly continuous contraction semigroup \((P_t^{(p)})\) on \(L^p({\mathcal {M}},\tau )\) with generator \({\mathscr {L}}_p\).

Let \({\mathcal {C}}=D({\mathscr {L}}_2^{1/2})\cap {\mathcal {M}}\), which is a \(\sigma \)-weakly dense \(*\)-subalgebra of \({\mathcal {M}}\) [18, Proposition 3.4]. According to [15, Section 8], there exists an (essentially unique) quintuple \(({\mathcal {H}}, L, R, {\mathcal {J}}, \partial )\) consisting of a Hilbert space \({\mathcal {H}}\), commuting non-degenerate \(^*\)-homomorphisms \(L:{\mathcal {C}}\rightarrow B({\mathcal {H}})\), \(R:{\mathcal {C}}^\circ \rightarrow B({\mathcal {H}})\), an anti-unitary involution \({\mathcal {J}}:{\mathcal {H}}\rightarrow {\mathcal {H}}\) and a closed operator \(\partial :D({\mathscr {L}}_2^{1/2})\rightarrow {\mathcal {H}}\) such that

  • \(\{R(x)\partial y\mid x,y\in {\mathcal {C}}\}\) is dense in \({\mathcal {H}}\),

  • \(\partial (xy)=L(x)\partial y+R(y)\partial x\) for \(x,y\in {\mathcal {C}}\),

  • \({\mathcal {J}}(L(x)R(y)\partial (z))=L(y^*)R(x^*)\partial (z^*)\) for \(x,y,z\in {\mathcal {C}}\),

  • \({\mathscr {L}}_2=\partial ^\dagger \partial \),

where \({\mathcal {C}}^\circ \) is the opposite algebra of \({\mathcal {C}}\). We will write \(a\xi \) and \(\xi b\) for \(L(a)\xi \) and \(R(b)\xi \), respectively.

For \(x,y\in D({\mathscr {L}}_2^{1/2})\), the carré du champ is defined as

$$\begin{aligned} \varGamma (x,y):{\mathcal {C}}\rightarrow {\mathbb {C}},\,\varGamma (x,y)(z)=\langle \partial x,(\partial y)z\rangle _{\mathcal {H}}. \end{aligned}$$

We write \(\varGamma (x)\) to denote \(\varGamma (x,x)\).

A \(\tau \)-symmetric QMS is called \(\varGamma \)-regular (see [28]) if the representations L and R are normal. Under this assumption, \({\mathcal {H}}\) is a correspondence from \({\mathcal {M}}\) to itself in the sense of Connes [16, Appendix B of Chapter 5] (sometimes also called \({\mathcal {M}}\)-bimodule or Hilbert bimodule). By [48, Theorem 2.4], \((P_t)\) is a \(\varGamma \)-regular semigroup if and only if \(\varGamma (x,y)\) extends to a normal linear functional on \({\mathcal {M}}\) for all \(x,y\in D({\mathscr {L}}^{1/2}_2)\). By a slight abuse of notation, we write \(\varGamma (x,y)\) for the unique element \(h\in L^1({\mathcal {M}},\tau )\) such that

$$\begin{aligned} \tau (z h)=\varGamma (x,y)(z) \end{aligned}$$

for all \(z\in {\mathcal {C}}\).

If \((P_t)\) is \(\varGamma \)-regular, then we can extend L to a map on the operators affiliated with \({\mathcal {M}}\) by defining

$$\begin{aligned} L(x)=u\int _{[0,\infty )}\lambda \,d(L\circ e)(\lambda ), \end{aligned}$$

for any operator x affiliated with \({\mathcal {M}}\), where u is the partial isometry in the polar decomposition of x and e is the spectral measure of \(|x|\). The same goes for R.

Let \(\varLambda \) be an operator mean in the sense of Kubo and Ando [27], that is, \(\varLambda \) is a map from \(B({\mathcal {H}})_+\times B({\mathcal {H}})_+\) to \(B({\mathcal {H}})_+\) satisfying

  1. (a)

    if \(A\le C\) and \(B\le D\), then \(\varLambda (A,B)\le \varLambda (C,D)\),

  2. (b)

    the transformer inequality: \(C \varLambda (A,B)C\le \varLambda (C A C,C B C)\) for all \(A,B,C\in B({\mathcal {H}})_+\),

  3. (c)

    if \(A_n\searrow A\), \(B_n\searrow B\), then \(\varLambda (A_n,B_n)\searrow \varLambda (A,B)\),

  4. (d)

    \(\varLambda (\mathrm {id}_{{\mathcal {H}}},\mathrm {id}_{{\mathcal {H}}})=\mathrm {id}_{{\mathcal {H}}}\).

Here and in what follows, by \(A_n\searrow A\) we mean \(A_1\ge A_2\ge \cdots \) and \(A_n\) converges strongly to A. From (b), any operator mean \(\varLambda \) is positively homogeneous:

$$\begin{aligned} \varLambda (\lambda A,\lambda B)=\lambda \varLambda (A,B),~~\lambda >0,A,B\in B({\mathcal {H}})_+. \end{aligned}$$

An operator mean \(\varLambda \) is symmetric if \(\varLambda (A,B)=\varLambda (B,A)\) for all \(A,B\in B({\mathcal {H}})_+\).

For a positive self-adjoint operator \(\rho \) affiliated with \({\mathcal {M}}\), we define

$$\begin{aligned} {\hat{\rho }}=\varLambda (L(\rho ), R(\rho )). \end{aligned}$$

Of particular interest for us are the cases when \(\varLambda \) is the logarithmic mean

$$\begin{aligned} \varLambda _{\text {log}}(L(\rho ), R(\rho ))=\int _{0}^{1}L(\rho )^s R(\rho )^{1-s}\,ds, \end{aligned}$$

or the arithmetic mean

$$\begin{aligned} \varLambda _{\text {ari}}(L(\rho ), R(\rho ))=\frac{L(\rho )+R(\rho )}{2}. \end{aligned}$$

We write \(\Vert {\cdot }\Vert _\rho ^2\) for the quadratic form associated with \({\hat{\rho }}\), that is,

$$\begin{aligned} \Vert {\xi }\Vert _\rho ^2={\left\{ \begin{array}{ll}\Vert {{\hat{\rho }}^{1/2}\xi }\Vert _{\mathcal {H}}^2&{}\text {if }\xi \in D({\hat{\rho }}^{1/2}),\\ \infty &{}\text {otherwise}.\end{array}\right. } \end{aligned}$$

Given an operator mean \(\varLambda \), consider the set

$$\begin{aligned} {\mathcal {A}}_\varLambda =\{a\in D({\mathscr {L}}_2^{1/2})\cap {\mathcal {M}}\mid \exists C>0\,\forall \rho \in L^1_+({\mathcal {M}},\tau ):\Vert {\partial a}\Vert _\rho ^2\le C\Vert {\rho }\Vert _1\}, \end{aligned}$$

equipped with the seminorm

$$\begin{aligned} \Vert {a}\Vert _\varLambda ^2=\sup _{0\ne \rho \in L^1_+({\mathcal {M}},\tau )}\frac{\Vert {\partial a}\Vert _\rho ^2}{\Vert {\rho }\Vert _1}. \end{aligned}$$

If \(\varLambda \) is the arithmetic mean \(\varLambda _{\text {ari}}\), then this set coincides with

$$\begin{aligned} {\mathcal {A}}_\varGamma =\{x\in D({\mathscr {L}}_2^{1/2})\cap {\mathcal {M}}\mid \varGamma (x),\varGamma (x^*)\in {\mathcal {M}}\}. \end{aligned}$$

In fact, when \(\varLambda =\varLambda _{\text {ari}}\), one has \(\Vert {\partial a}\Vert _{\rho }^2=\frac{1}{2}\tau \left( (\varGamma (a)+\varGamma (a^*))\rho \right) \). If the operator mean \(\varLambda \) is symmetric, then it is dominated by the arithmetic mean and therefore \({\mathcal {A}}_\varGamma \subset {\mathcal {A}}_\varLambda \) [27, Theorem 4.5], [48, Lemma 3.24]. The following definition states that this inclusion is dense in a suitable sense.

Definition 1

The operator mean \(\varLambda \) is a regular mean for \((P_t)\) if for every \(x\in {\mathcal {A}}_\varLambda \) there exists a sequence \((x_n)\) in \({\mathcal {A}}_\varGamma \) that is bounded in \({\mathcal {A}}_\varLambda \) and converges to x \(\sigma \)-weakly.

Of course the arithmetic mean is always regular. In general it seems not easy to check this definition directly, but we will discuss a sufficient condition below.

Given an operator mean \(\varLambda \), let \({\mathcal {H}}_\rho \) be the Hilbert space obtained from \(\partial ({\mathcal {A}}_\varLambda )\) after separation and completion with respect to \(\langle \cdot ,\cdot \rangle _\rho \) defined by

$$\begin{aligned} \langle \xi ,\eta \rangle _\rho =\langle {\hat{\rho }}^{1/2}\xi ,\hat{\rho }^{1/2}\eta \rangle _{{\mathcal {H}}}. \end{aligned}$$

If \(\varLambda \) is regular, then \(\partial ({\mathcal {A}}_\varGamma )\) is dense in \({\mathcal {H}}_\rho \).

Let \({\mathcal {D}}({\mathcal {M}},\tau )\) be the set of all density operators, that is,

$$\begin{aligned} {\mathcal {D}}({\mathcal {M}},\tau )=\{\rho \in L^1_+({\mathcal {M}},\tau )\mid \tau (\rho )=1\}. \end{aligned}$$

Definition 2

Fix an operator mean \(\varLambda \). A curve \((\rho _t)_{t\in [0,1]}\subset {\mathcal {D}}({\mathcal {M}},\tau )\) is admissible if

  • the map \(t\mapsto \tau (a\rho _t)\) is measurable for all \(a\in {\mathcal {A}}_\varGamma \),

  • there exists a curve \((\xi _t)_{t\in [0,1]}\) such that \(\xi _t\in {\mathcal {H}}_{\rho _t}\) for all \(t\in [0,1]\), the map \(t\mapsto \langle \partial a,\xi _t\rangle _{\rho _t}\) is measurable for all \(a\in {\mathcal {A}}_\varGamma \) and for every \(a\in {\mathcal {A}}_\varGamma \) one has

    $$\begin{aligned} \frac{d}{dt}\tau (a\rho _t)=\langle \xi _t,\partial a\rangle _{\rho _t} \end{aligned}$$
    (1)

    for a.e. \(t\in [0,1]\).

For an admissible curve \((\rho _t)\), the vector field \((\xi _t)\) is uniquely determined up to equality a.e. and will be denoted by \((D\rho _t)\). If \(\varLambda \) is a regular mean, the set \({\mathcal {A}}_\varGamma \) can be replaced by \({\mathcal {A}}_\varLambda \) everywhere in Definition 2.

Remark 1

The equation (1) is a weak formulation of

$$\begin{aligned} {\dot{\rho }}_t=\partial ^\dagger ({\hat{\rho _t}} \xi _t), \end{aligned}$$

which can be understood as noncommutative version of the continuity equation. Indeed, if \((P_t)\) is the heat semigroup on a compact Riemannian manifold, it reduces to the classical continuity equation \({\dot{\rho }}_t+{\text {div}}(\rho _t \xi _t)=0\).

Definition 3

The noncommutative transport distance \({\mathcal {W}}\) on \({\mathcal {D}}({\mathcal {M}},\tau )\) is defined as

$$\begin{aligned} {\mathcal {W}}({\bar{\rho }}_0,{\bar{\rho }}_1)=\inf _{(\rho _t)}\int _0^1 \Vert {D\rho _t}\Vert _{\rho _t}\,dt, \end{aligned}$$

where the infimum is taken over all admissible curves \((\rho _t)\) connecting \({\bar{\rho }}_0\) and \({\bar{\rho }}_1\).

Definition 4

Let \(K\in {\mathbb {R}}\). A \(\varGamma \)-regular QMS \((P_t)\) is said to satisfy the gradient estimate \(\mathrm {GE}(K,\infty )\) if

$$\begin{aligned} \Vert {\partial P_t a}\Vert _\rho ^2\le e^{-2Kt}\Vert {\partial a}\Vert _{P_t \rho }^2 \end{aligned}$$

for \(t\ge 0\), \(a\in D({\mathscr {L}}_2^{1/2})\) and \(\rho \in {\mathcal {D}}({\mathcal {M}},\tau )\).

It satisfies \(\mathrm {CGE}(K,\infty )\) if \((P_t\otimes \mathrm {id}_{{\mathcal {N}}})\) satisfies \(\mathrm {GE}(K,\infty )\) for any finite von Neumann algebra \({\mathcal {N}}\).

Note that the gradient estimate \(\mathrm {GE}(K,\infty )\) depends implicitly on the chosen operator mean \(\varLambda \). As observed in [48, Proposition 6.12], if \((P_t)\) satisfies \(\mathrm {GE}(K,\infty )\) for the arithmetic mean \(\varLambda _{\text {ari}}\) and for \(\varLambda \), then \(\varLambda \) is regular for \((P_t)\). If \(\varLambda \) is the right trivial mean, i.e., \(\varLambda (L(\rho ),R(\rho ))=R(\rho )\), then \(\mathrm {GE}(K,\infty )\) reduces to the Bakry–Emery criterion

$$\begin{aligned} \varGamma (P_t a)\le e^{-2Kt}P_t\varGamma (a), \end{aligned}$$

which was considered in [25].

Remark 2

Recently, Li, Junge and LaRacuente [28] introduced a closely related notion of lower Ricci curvature bound for quantum Markov semigroups, the geometric Ricci curvature condition (see also [7, Definition 3.22]). Like \(\mathrm {CGE}\), this condition is tensor stable, and it implies \(\mathrm {CGE}\) for arbitrary operator means [28, Theorem 3.6] (the result is only formulated for the logarithmic mean, but the proof only uses the transformer inequality for operator means).

In the opposite direction, the picture is less clear. For \(\mathrm {GE}\), a direct computation on the two-point graph shows that the optimal constant depends on the mean in general. It seems reasonable to expect the same behavior for \(\mathrm {CGE}\), which would imply that the optimal constant in \(\mathrm {CGE}\) for a specific mean is in general bigger than the optimal constant in the geometric Ricci curvature condition.

This gradient estimate is closely related to convexity properties of the logarithmic entropy

$$\begin{aligned} \mathrm {Ent}:{\mathcal {D}}({\mathcal {M}},\tau )\rightarrow [0,\infty ],\,\mathrm {Ent}(\rho )=\tau (\rho \log \rho ). \end{aligned}$$

As usual let \(D(\mathrm {Ent})=\{\rho \in {\mathcal {D}}({\mathcal {M}},\tau )\mid \mathrm {Ent}(\rho )<\infty \}\).

Theorem 1

([48, Theorem 7.12]). Assume that \((P_t)\) is a \(\varGamma \)-regular QMS. Suppose that \(\varLambda =\varLambda _{\log }\) is the logarithmic mean and is regular for \((P_t)\). If \((P_t)\) satisfies \(\mathrm {GE}(K,\infty )\), then

  1. (a)

    for every \(\rho \in D(\mathrm {Ent})\) the curve \((P_t \rho )\) satisfies the evolution variational inequality \((\mathrm {EVI}_K)\)

    $$\begin{aligned} \frac{d}{dt}\frac{1}{2}{\mathcal {W}}^2(P_t \rho ,\sigma )+\frac{K}{2} {\mathcal {W}}^2(P_t \rho ,\sigma )+\mathrm {Ent}(\rho )\le \mathrm {Ent}(\sigma ) \end{aligned}$$

    for a.e. \(t\ge 0\) and \(\sigma \in {\mathcal {D}}({\mathcal {M}},\tau )\) with \({\mathcal {W}}(\rho ,\sigma )<\infty \),

  2. (b)

    any \(\rho _0,\rho _1\in D(\mathrm {Ent})\) with \({\mathcal {W}}(\rho _0,\rho _1)<\infty \) are connected by a \({\mathcal {W}}\)-geodesic and \(\mathrm {Ent}\) is K-convex along any constant speed \({\mathcal {W}}\)-geodesic \((\rho _t)\), that is, \(\frac{d^2}{dt^2}\mathrm {Ent}(\rho _t)\ge K\) in the sense of distributions.

This gradient flow characterization implies a number of functional inequalities for the QMS, see e.g. [11, Section 8], [48, Section 7], [12, Section 11]. Here we will focus on the modified logarithmic Sobolev inequality and its complete version (see [21, Definition 2.8], [28, Definition 2.12] for the latter).

For \(\rho ,\sigma \in {\mathcal {D}}({\mathcal {M}},\tau )\) the relative entropy of \(\rho \) with respect to \(\sigma \) is defined as

$$\begin{aligned} \mathrm {Ent}(\rho \Vert \sigma )={\left\{ \begin{array}{ll}\tau (\rho \log \rho )-\tau (\rho \log \sigma )&{}\text {if }{\text {supp}}\rho \subset {\text {supp}}\sigma ,\\ \infty &{}\text {otherwise}.\end{array}\right. } \end{aligned}$$

If \({\mathcal {N}}\subset {\mathcal {M}}\) is a von Neumann subalgebra with \(E:{\mathcal {M}}\rightarrow {\mathcal {N}}\) being the conditional expectation, then we define

$$\begin{aligned} \mathrm {Ent}_{\mathcal {N}}(\rho )=\mathrm {Ent}(\rho \Vert E(\rho )). \end{aligned}$$

Recall that a conditional expectation \(E:{\mathcal {M}}\rightarrow {\mathcal {N}}\) is a normal contractive positive projection from \({\mathcal {M}}\) onto \({\mathcal {N}}\) which preserves the trace and satisfies

$$\begin{aligned} E(axb)=aE(x)b,~~a,b\in {\mathcal {N}}, x\in {\mathcal {M}}. \end{aligned}$$

For \(x\in D({\mathscr {L}}_2^{1/2})\cap {\mathcal {M}}_+\) the Fisher information is defined as

$$\begin{aligned} {\mathcal {I}}(x)=\lim _{\epsilon \searrow 0}\langle {\mathscr {L}}_2^{1/2} x,{\mathscr {L}}_2^{1/2}\log (x+\epsilon )\rangle _2\in [0,\infty ]. \end{aligned}$$

This definition can be extended to \(x\in L^1_+({\mathcal {M}},\tau )\) by setting

$$\begin{aligned} {\mathcal {I}}(x)={\left\{ \begin{array}{ll}\lim _{n\rightarrow \infty }{\mathcal {I}}(x\wedge n)&{}\text {if }x\wedge n\in D({\mathscr {L}}_2^{1/2})\cap {\mathcal {M}}\text { for all }n\in {\mathbb {N}},\\ \infty &{}\text {otherwise}.\end{array}\right. } \end{aligned}$$

Recall that the fixed-point algebra of \((P_t)\) is

$$\begin{aligned} {\mathcal {M}}^{\mathrm {fix}}=\{x\in {\mathcal {M}}:P_t(x)=x\text { for all }t\ge 0\}. \end{aligned}$$

It is a von Neumann subalgebra of \({\mathcal {M}}\) [18, Proposition 3.5].

Definition 5

Let \((P_t)\) be a \(\varGamma \)-regular QMS with the fixed-point subalgebra \({\mathcal {M}}^{\mathrm {fix}}\). For \(\lambda >0\), we say that \((P_t)\) satisfies the modified logarithmic Sobolev inequality with constant \(\lambda \) \((\mathrm {MLSI}(\lambda ))\), if

$$\begin{aligned} \lambda \mathrm {Ent}_{{\mathcal {M}}^{\mathrm {fix}}}(\rho )\le {\mathcal {I}}(\rho ) \end{aligned}$$

for \(\rho \in {\mathcal {D}}({\mathcal {M}},\tau )\cap D({\mathscr {L}}_2^{1/2})\cap {\mathcal {M}}\).

We say that \((P_t)\) satisfies the complete modified logarithmic Sobolev inequality with constant \(\lambda \) \((\mathrm {CLSI}(\lambda ))\) if \((P_t\otimes \mathrm {id}_{\mathcal {N}})\) satisfies the modified logarithmic Sobolev inequality with constant \(\lambda \) for any finite von Neumann algebra \({\mathcal {N}}\).

For ergodic QMS satisfying \(\mathrm {GE}(K,\infty )\), the inequality \(\mathrm {MLSI}(2K)\) is essentially contained in the proof of [48, Proposition 7.9]. Since \((P_t\otimes \mathrm {id}_{\mathcal {N}})\) is not ergodic (unless \({\mathcal {N}}={\mathbb {C}}\)), this result cannot imply the complete modified logarithmic Sobolev inequality. However, the modified logarithmic Sobolev inequality for non-ergodic QMS can also still be derived from the gradient flow characterization, as we will see next.

Corollary 1

Assume that \((P_t)\) is a \(\varGamma \)-regular QMS. Suppose that \(\varLambda =\varLambda _{\log }\) is the logarithmic mean and is regular for \((P_t)\). If \((P_t)\) satisfies \(\mathrm {GE}(K,\infty )\), then it satisfies

$$\begin{aligned} {\mathcal {I}}(P_t \rho )\le e^{-2Kt}{\mathcal {I}}(\rho ) \end{aligned}$$

for \(\rho \in D({\mathscr {L}}_2^{1/2})\cap {\mathcal {M}}_+\) and \(t\ge 0\).

Moreover, if \(K>0\), then \((P_t)\) satisfies \(\mathrm {MLSI}(2K)\). The same is true for the complete gradient estimate and the complete modified logarithmic Sobolev inequality.

Proof

Let \(\rho \in {\mathcal {D}}({\mathcal {M}},\tau )\cap D({\mathscr {L}}_2^{1/2})\cap {\mathcal {M}}\) and \(\rho _t=P_t\rho \). Since \((\rho _t)\) is an \(\mathrm {EVI}_K\) gradient flow curve of \(\mathrm {Ent}\) by Theorem 1 and \(\frac{d}{dt}\mathrm {Ent}(\rho _t)=-{\mathcal {I}}(\rho _t)\), it follows from [36, Theorem 3.5] that

$$\begin{aligned} {\mathcal {I}}(P_t \rho )\le e^{-2Kt}{\mathcal {I}}(\rho ) \end{aligned}$$

for \(t\ge 0\) (using the continuity of both sides in t).

If \(K>0\), then \(\mathrm {MLSI}(2K)\) follows from a standard argument; see for example [28, Lemma 2.15]. The implication for the complete versions is clear.\(\square \)

Remark 3

The inequality \({\mathcal {I}}(P_t \rho )\le e^{-2Kt}{\mathcal {I}}(\rho )\) is called K-Fisher monotonicity in [7] and plays a central role there in obtaining complete logarithmic Sobolev inequalities.

Gradient Estimates Through Intertwining

Following the ideas from [11, 12], we will show in this section how one can obtain gradient estimates for quantum Markov semigroups through intertwining. As examples we discuss the Ornstein–Uhlenbeck semigroup on the mixed q-Gaussian algebras, the heat semigroup on quantum tori, and a family of quantum Markov semigroups on discrete group von Neumann algebras and the quantum groups \(O_N^+\) and \(S_N^+\).

Throughout this section we assume that \({\mathcal {M}}\) is a separable von Neumann algebra with normal faithful tracial state \(\tau \) and \((P_t)\) is a \(\varGamma \)-regular QMS. We fix the corresponding first order differential calculus \(({\mathcal {H}}, L, R, {\mathcal {J}}, \partial )\). We do not make any assumptions on \(\varLambda \) beyond being an operator mean. In particular, all results from this section apply to the logarithmic mean – thus yielding geodesic convexity by Theorem 1 — as well as the right-trivial mean – thus giving Bakry–Emery estimates.

Theorem 2

Let \(K\in {\mathbb {R}}\). If there exists a family \((\mathbf {P}_t)\) of bounded linear operators on \({\mathcal {H}}\) such that

  1. (i)

    \(\partial P_t =\mathbf {P}_t \partial \) for \(t\ge 0\),

  2. (ii)

    \(\mathbf {P}_t^\dagger L(\rho ) \mathbf {P}_t\le e^{-2Kt}L(P_t \rho )\) for \(\rho \in {\mathcal {M}}_+\), \(t\ge 0\),

  3. (iii)

    \(\mathbf {P}_t^\dagger R(\rho ) \mathbf {P}_t\le e^{-2Kt}R(P_t \rho )\) for \(\rho \in {\mathcal {M}}_+\), \(t\ge 0\),

then \((P_t)\) satisfies \(\mathrm {GE}(K,\infty )\).

Proof

Let \(\rho \in {\mathcal {M}}_+\) and \(a\in D(\partial )\). Since \(\varLambda \) is an operator mean, we have [27, Theorem 3.5]

$$\begin{aligned} \mathbf {P}_t^\dagger \varLambda (L(\rho ),R(\rho ))\mathbf {P}_t\le \varLambda (\mathbf {P}_t^\dagger L(\rho )\mathbf {P}_t,\mathbf {P}_t^\dagger R(\rho ) \mathbf {P}_t). \end{aligned}$$

Thus

$$\begin{aligned} \langle {\hat{\rho }} \partial P_t a,\partial P_t a\rangle _{\mathcal {H}}=\langle \mathbf {P}_t^\dagger {\hat{\rho }} \mathbf {P}_t \partial a,\partial a\rangle _{\mathcal {H}}\le \langle \varLambda (\mathbf {P}_t^\dagger L(\rho )\mathbf {P}_t,\mathbf {P}_t^\dagger R(\rho )\mathbf {P}_t)\partial a,\partial a\rangle _{\mathcal {H}}. \end{aligned}$$

As \(\varLambda \) is monotone in both arguments and positively homogeneous, conditions (ii) and (iii) imply

$$\begin{aligned} \langle \varLambda (\mathbf {P}_t^\dagger L(\rho )\mathbf {P}_t,\mathbf {P}_t^\dagger R(\rho )\mathbf {P}_t)\partial a,\partial a\rangle _{\mathcal {H}}\le e^{-2Kt}\langle \varLambda (L(P_t \rho ),R(P_t \rho ))\partial a,\partial a\rangle _{\mathcal {H}}. \end{aligned}$$

All combined this yields

$$\begin{aligned} \Vert {\partial P_t a}\Vert _\rho ^2\le e^{-2Kt}\Vert {\partial a}\Vert _{P_t \rho }^2. \end{aligned}$$

\(\square \)

Remark 4

The proof shows that assumptions (i)–(iii) still imply

$$\begin{aligned} \Vert {\partial P_t a}\Vert _{\rho }^2\le e^{-2Kt}\Vert {\partial a}\Vert _{P_t \rho }^2 \end{aligned}$$

if the differential calculus is not the one associated with \((P_t)\). We will use this observation in the proofs of Theorem 3 and Theorem 5.

Remark 5

A similar technique to obtain geodesic convexity of the entropy has been employed in [11, 12]. Our proof using the transformer inequality for operator means is in some sense dual to the monotonicity argument used there (see [38]). Apart from working in the infinite-dimensional setting, let us point out two main differences to the results from these two articles:

In contrast to [11], we do not assume that \(\mathbf {P}_t\) is a direct sum of copies of \(P_t\) (in fact, we do not even assume that \({\mathcal {H}}\) is a direct sum of copies of the trivial bimodule). This enhanced flexibility can lead to better bounds even for finite-dimensional examples (see Example 1). In contrast to [12], our conditions (ii) and (iii) are more restrictive, but they are also linear in \(\rho \), which makes them potentially more feasible to check in concrete examples.

Remark 6

We do not assume that the operators \(\mathbf {P}_t\) form a semigroup or that they are completely positive (if \({\mathcal {H}}\) is realized as a subspace of \(L^2({\mathcal {N}})\) for some von Neumann algebra \({\mathcal {N}}\)). However, this is the case for most of the concrete examples where we can prove (i)–(iii).

Remark 7

In particular, the conclusion of the previous theorem holds for all symmetric operator means, and in view of the discussions after Definition 4, it implies that any symmetric operator mean is regular for \((P_t)\).

Under a slightly stronger assumption, conditions (ii) and (iii) can be rewritten in a way that resembles the classical Bakry–Emery criterion. For that purpose define

$$\begin{aligned} \mathbf {\varGamma }\left( \sum _{k=1}^n (\partial x_k)y_k\right) =\sum _{k,l=1}^n y_k^*\varGamma (x_k,x_l)y_l. \end{aligned}$$

In particular, \(\mathbf {\varGamma }(\partial x)=\varGamma (x)\). Since \((P_t)\) is \(\varGamma \)-regular, \(\mathbf {\varGamma }\) extends to a continuous quadratic map from \({\mathcal {H}}\) to \(L^1({\mathcal {M}},\tau )\) that is uniquely determined by the property \(\tau (x\mathbf {\varGamma }(\xi ))=\langle \xi ,\xi x\rangle _{\mathcal {H}}\) for all \(x\in {\mathcal {M}}\) and \(\xi \in {\mathcal {H}}\) (see [48, Section 2]).

Lemma 1

If \((\mathbf {P}_t)\) is a family of bounded linear operators on \({\mathcal {H}}\) that commute with \({\mathcal {J}}\), then conditions (ii) and (iii) from Theorem 2 are equivalent. Moreover, they are equivalent to

$$\begin{aligned} \mathbf {\varGamma }(\mathbf {P}_t \xi )\le e^{-2Kt}P_t \mathbf {\varGamma }(\xi ) \end{aligned}$$
(2)

for \(\xi \in {\mathcal {H}}\), \(t\ge 0\).

Proof

To see the equivalence of (ii) and (iii), it suffices to notice that \({\mathcal {J}}\) is a bijection and \({\mathcal {J}}L(\rho ){\mathcal {J}}=R(\rho )\) for \(\rho \in {\mathcal {M}}_+\). The equivalence of (iii) and (2) follows from the identities: for all \(\rho \in {\mathcal {M}}_+\):

$$\begin{aligned} \langle \mathbf {P}_t \xi ,R(\rho )\mathbf {P}_t \xi \rangle _{\mathcal {H}}&=\tau (\rho \mathbf {\varGamma }(\mathbf {P}_t \xi )),\\ \langle \xi ,R(P_t \rho )\xi \rangle _{\mathcal {H}}&=\tau (P_t \rho \mathbf {\varGamma }(\xi ))=\tau (\rho P_t \mathbf {\varGamma }(\xi )). \end{aligned}$$

\(\square \)

As indicated before, our theorem recovers the intertwining result in [11] (in the tracially symmetric case):

Corollary 2

Assume that \({\mathcal {H}}\cong \bigoplus _j L^2({\mathcal {M}},\tau )\), L and R act componentwise as left and right multiplication and \({\mathcal {J}}\) acts componentwise as the usual involution. If \(\partial _j P_t=e^{-Kt}P_t \partial _j\), then \((P_t)\) satisfies \(\mathrm {CGE}(K,\infty )\).

Proof

Let \(\mathbf {P}_t=e^{-Kt}\bigoplus _j P_t\). Condition (i) from Theorem 2 is satisfied by assumption. Since \(\mathbf {P}_t\) commutes with \({\mathcal {J}}\), conditions (ii) and (iii) are equivalent. Condition (iii) follows directly from the Kadison–Schwarz inequality:

$$\begin{aligned} \langle \mathbf {P}_t\xi ,R(\rho )\mathbf {P}_t\xi \rangle _{\mathcal {H}}&=\sum _{j}e^{-2Kt}\tau ((P_t \xi _j)^*(P_t \xi _j)\rho )\\&\le e^{-2Kt}\sum _j \tau (\xi _j^*\xi _j P_t\rho )\\&=e^{-2Kt}\langle \xi ,R(P_t \rho )\xi \rangle _{\mathcal {H}}. \end{aligned}$$

This settles \(\mathrm {GE}(K,\infty )\). Applying the same argument to \((P_t\otimes \mathrm {id}_{\mathcal {N}})\) then yields the complete gradient estimate.\(\square \)

Example 1

(Conditional expectations). Let \(E:{\mathcal {M}}\rightarrow {\mathcal {N}}\) be the conditional expectation onto a von Neumann subalgebra \({\mathcal {N}}\) and let \((P_t)\) be the QMS with generator \({\mathscr {L}}=I-E\), where \(I=\mathrm {id}_{{\mathcal {M}}}\) is the identity operator on \({\mathcal {M}}\). Then \((P_t)\) satisfies \(\mathrm {CGE}(1/2,\infty )\):

A direct computation shows that \(P_t =e^{-t}I+(1-e^{-t})E\). Let \(\mathbf {P}_t=e^{-t}\mathrm {id}_{{\mathcal {H}}}\). Since \({\mathscr {L}}E=0\), we have \(\partial E=0\) and therefore \(\partial P_t =e^{-t}\partial =\mathbf {P}_t\partial \), which settles condition (i) from Theorem 2. Conditions (ii) and (iii) with \(K=1/2\) follow immediately from \(P_t \rho \ge e^{-t}\rho \) for \(\rho \in {\mathcal {M}}_+\). So \((P_t)\) satisfies \(\mathrm {CGE}(1/2,\infty )\). This result has been independently obtained in [7, Theorem 4.16].

In contrast, if for example p is a projection and \(E(x)=pxp+(1-p)x(1-p)\), then \({\mathscr {L}}\) has the Lindblad form \({\mathscr {L}}x=[p,[p,x]]\). Clearly, \([p,\cdot ]\) commutes with \({\mathscr {L}}\), so that the intertwining criterion from [11] only implies \(\mathrm {CGE}(0,\infty )\). In fact, in this case we may obtain a better result; see Theorem 5.

Example 2

(Mixed q-Gaussian algebras). Let us recall the mixed q-Gaussian algebras. Our references are [4,5,6, 30]. Let H be a real Hilbert space with orthonormal basis \((e_j)_{j\in J}\). For \(k\ge 1\), denote by \(S_k\) the set of permutations of \(\{1,2,\dots ,k\}\). For \(k\ge 2\) and \(1\le j\le k-1\), denote by \(\sigma _{j}\) the adjacent transposition between j and \(j+1\). For any \(\sigma \in S_k\), \(I(\sigma )\) is the number of inversions of the permutations \(\sigma \):

$$\begin{aligned} I(\sigma )=\sharp \{(i,j):1\le i<j\le k,~\sigma (i)>\sigma (j)\}. \end{aligned}$$

For \(k\ge 1\), a k-atom on H is an element of the form \(f_1\otimes \cdots \otimes f_k\) with each \(f_j\in H\). A k-basis atom is an element of the form \(e_{j_1}\otimes \cdots \otimes e_{j_k}\). Clearly all the k-basis atoms form a basis of \(H^{\otimes k}\). For any k-basis atom \(u=e_{j_1}\otimes \cdots \otimes e_{j_k}\), we use the notation that \(\sigma (u)=e_{j_{\sigma (1)}}\otimes \cdots \otimes e_{j_{\sigma (k)}}\).

Let \(Q=(q_{ij})_{i,j\in J}\in {\mathbb {R}}^{J\times J}\) be such that \(q_{ij}=q_{ji}\) for all \(i,j\in J\) and \(\sup _{i,j\in J}|q_{ij}|\le 1\). For convenience, in the following we actually assume that \(\sup _{i,j\in J}|q_{ij}|<1\). This is to simplify the definition of Fock space; our main results still apply to the general \(\sup _{i,j\in J}|q_{ij}|\le 1\) case.

Put \(P^{(0)}=\mathrm {id}_{H}\). For any \(k\ge 1\), denote by \(P^{(k)}\) the linear operator on \(H^{\otimes k}\) such that

$$\begin{aligned} P^{(k)}(u)=\sum _{\sigma \in S_k}a(Q,\sigma ,u)\sigma ^{-1}(u), \end{aligned}$$

where \(u=e_{j_1}\otimes \cdots \otimes e_{j_k}\) is any k-basis atom and

$$\begin{aligned} a(Q,\sigma ,u) ={\left\{ \begin{array}{ll} 1&{}\text {if }\sigma =\mathrm {id},\\ q_{j_{m_l}j_{m_l+1}}\prod _{i=0}^{l-1}q_{j_{\varphi _{i}(m_{l-i})}j_{\varphi _{i}(m_{l-i}+1)}}&{}\text {if }\sigma =\sigma _{m_1}\cdots \sigma _{m_l}, \end{array}\right. } \end{aligned}$$

with \(\varphi _i=\sigma _{m_{l-i+1}}\cdots \sigma _{m_l}\). Notice that if \(\sigma =\sigma _{m_1}\cdots \sigma _{m_l}\), the coefficient \(a(Q,\sigma ,u)\) is well-defined, though such representation of \(\sigma \) is not unique. When all the entries of Q are the same, that is, \(q_{ij} \equiv q\), the operator \(P^{(k)}\) reduces to

$$\begin{aligned} P^{(k)}(u)=\sum _{\sigma \in S_k} q^{I(\sigma )}\sigma (u). \end{aligned}$$

Under the condition that \(\sup _{i,j\in J}|q_{ij}|<1\), the operator \(P^{(k)}\) is strictly positive [6, Theorem 2.3].

Let \({\mathcal {F}}_{Q}^{\text {finite}}\) be the subspace of finite sums of the spaces \(H^{\otimes k},k\ge 0\), where \(H^{\otimes 0}={\mathbb {R}}\varOmega \) and \(\varOmega \) is the vacuum vector. Then \({\mathcal {F}}_{Q}^{\text {finite}}\) is a dense subset of \(\oplus _{k\ge 0}H^{\otimes k}\), and we define an inner product \(\langle \cdot ,\cdot \rangle _{Q}\) on \({\mathcal {F}}_{Q}^{\text {finite}}\) as:

$$\begin{aligned} \langle \xi ,\eta \rangle _{Q}=\delta _{kl}\langle \xi ,P^{(l)}\eta \rangle _0,\text { for }\xi \in H^{\otimes k},\eta \in H^{\otimes l},\text { and }k,l\ge 0, \end{aligned}$$

where \(\langle \cdot ,\cdot \rangle _0\) is the usual inner product. The Fock space \({\mathcal {F}}_{Q}(H)\) is the completion of \({\mathcal {F}}_{Q}^{\text {finite}}\) with respect to the inner product \(\langle \cdot ,\cdot \rangle _{Q}\). When \(q_{ij}\equiv q\), the Fock space \({\mathcal {F}}_{Q}(H)\) is also denoted by \({\mathcal {F}}_{q}(H)\) for short. Notice that if we only have \(\sup _{i,j\in J}|q_{ij}|\le 1\), then each \(P^{(k)}\) is only positive. One should divide \({\mathcal {F}}_{Q}^{\text {finite}}\) by the kernel of \(\langle \cdot ,\cdot \rangle _{Q}\) before taking the completion. The definition of Fock space here is actually the same as the one in [6] associated to the Yang–Baxter operator

$$\begin{aligned} T:H\otimes H\rightarrow H\otimes H,~~e_i\otimes e_j\mapsto q_{ji}e_j\otimes e_{i}. \end{aligned}$$

See [30, Part I] for a detailed proof for this when \(\dim H<\infty \).

Now we recall the mixed q-Gaussian algebra \(\varGamma _{Q}(H)\). For any \(i\in J\), the left creation operator \(l_i\) is defined by

$$\begin{aligned} l_i(\xi )=e_i\otimes \xi ,~~\xi \in {\mathcal {F}}_{Q}(H). \end{aligned}$$

Its adjoint with respect to \(\langle \cdot ,\cdot \rangle _{Q}\), the left annihilation operator \(l_i^*\), is given by

$$\begin{aligned}&l_i^*(\varOmega )=0,\\&l^*_i(e_{j_1}\otimes \cdots \otimes e_{j_k})=\sum _{m=1}^{k}\big (\delta _{i j_m}q_{j_{m}j_{m-1}}q_{j_{m}j_{m-2}}\cdots q_{j_{m}j_{1}}\\&\quad e_{j_1}\otimes \cdots \otimes e_{j_{m-1}}\otimes e_{j_{m+1}}\otimes \cdots \otimes e_{j_k}\big ). \end{aligned}$$

The left annihilation operators and left creation operators satisfy the deformed communication relations on \({\mathcal {F}}_{Q}(H)\):

$$\begin{aligned} l_i^* l_j-q_{ij}l_j l_i^*=\delta _{ij}\mathrm {id},~~i,j\in J. \end{aligned}$$

The mixed q-Gaussian algebra \(\varGamma _{Q}(H)\) is defined as the von Neumann subalgebra of \(B({\mathcal {F}}_{Q}(H))\) generated by self-adjoint operators \(s_i=l_i+l_i^*,i\in J\). It is equipped with a normal faithful tracial state \(\tau _Q\) given by

$$\begin{aligned} \tau _Q(x)=\langle x \varOmega ,\varOmega \rangle _Q. \end{aligned}$$

The map \(\phi _{H}:\varGamma _{Q}(H)\rightarrow {\mathcal {F}}_{Q}(H),x\mapsto x(\varOmega )\), extends to a unitary, which we still denote by \(\phi _H\), from \(L^2(\varGamma _{Q}(H),\tau _Q)\) to \({\mathcal {F}}_{Q}(H)\). Note that \(\phi _H(s_i)=e_i\).

Let \(T:H\rightarrow H\) be a contraction. Then it induces a contraction \({\mathcal {F}}_Q(T)\) on \({\mathcal {F}}_Q(H)\) such that [30, Lemma 1.1]

$$\begin{aligned}&{\mathcal {F}}_Q(T)\varOmega =\varOmega , \\&{\mathcal {F}}_Q(T)(f_1\otimes \cdots \otimes f_k)=T(f_1)\otimes \cdots \otimes T(f_k), \end{aligned}$$

for any k-atom \(f_1\otimes \cdots \otimes f_k\) and any \(k\ge 1\). Moreover, there exists a unique unital and completely positive map \(\varGamma _Q(T)\) on \(\varGamma _Q(H)\) such that [30, Lemma 3.1]

$$\begin{aligned} \varGamma _Q(T)=\phi _{H}^{-1}{\mathcal {F}}_{Q}(T)\phi _{H}. \end{aligned}$$

Remark that \(\varGamma _Q\) is a functor, that is, \(\varGamma _Q(ST)=\varGamma _Q(S)\varGamma _Q(T)\) for two contractions ST on H. If \(q_{ij}\equiv q\in [-1,1]\), then we write the functor \(\varGamma _Q\) as \(\varGamma _q\) for short. It interpolates between the bosonic and the fermionic functors by taking \(q=+1\) and \(q=-1\) respectively. When \(q=0\), it becomes the free functor by Voiculescu [44]. For more examples, see [30, Introduction].

In particular, \(T_t=T_t^Q={\mathcal {F}}_Q(e^{-t}\mathrm {id}_{H})\) is a semigroup of contractions on \({\mathcal {F}}_Q(H)\). The mixed q-Ornstein–Uhlenbeck semigroup is defined as \(P_t=P_t^Q=\varGamma _Q(e^{-t}\mathrm {id}_H), t\ge 0\). It extends to a semigroup of contractions on \(L^2(\varGamma _Q(H),\tau _Q)\) and is \(\tau _Q\)-symmetric. Note that the generator of \(P_t\) is \(L=\phi ^{-1}_{H}N\phi _{H}\), where \(N:{\mathcal {F}}_{Q}^{\text {finite}}(H)\rightarrow {\mathcal {F}}_{Q}^{\text {finite}}(H)\), is the number operator defined as \(k\mathrm {id}\) on its eigenspace \(H^{\otimes k},k\ge 0\).

Put

$$\begin{aligned} Q'=Q\otimes \begin{pmatrix} 1&{}1\\ 1&{}1 \end{pmatrix}, \end{aligned}$$

and

$$\begin{aligned} e=\begin{pmatrix} 1\\ 0 \end{pmatrix},~~ f=\begin{pmatrix} 0\\ 1 \end{pmatrix}. \end{aligned}$$

Then \(H':=H\oplus H\) can be identified with \(H\otimes {\mathbb {R}}^2\), as a direct sum of \(H\otimes {\mathbb {R}}e\) and \(H\otimes {\mathbb {R}}f\). The number operator N admits the following form [30, Lemma 1.2]: \(N=\nabla ^\dagger \nabla \), where \(\nabla :{\mathcal {F}}_{Q}^{\text {finite}}(H)\rightarrow {\mathcal {F}}_{Q'}^{\text {finite}}(H')\) is the gradient operator such that \(\nabla (\varOmega )=0\), and

$$\begin{aligned} \nabla (u)=\sum _{i=1}^{k}u\otimes v_i, \end{aligned}$$

for \(k\ge 1\), u being any k-atom on H and \(v_i=e\otimes \cdots \otimes f\otimes \cdots \otimes e\in ({\mathbb {R}}^2)^{\otimes k}\), f occurring in the i-th factor. Remark that similar to the second quantization of any contraction \(T:H\rightarrow H\), the natural embedding \(\iota _H:H\rightarrow H',x\mapsto x\otimes e\) also induces a unique map \(h_H:\varGamma _{Q}(H)\rightarrow \varGamma _{Q'}(H')\) such that [30, Lemma 3.1]

$$\begin{aligned} h_H=\varGamma _Q(\iota _H)=\phi _{H'}^{-1}{\mathcal {F}}_Q(\iota _H)\phi _H, \end{aligned}$$
(3)

where \({\mathcal {F}}_Q(\iota _H)\) is defined as \(\iota _H\otimes \cdots \otimes \iota _H\) on \(H^{\otimes k}\), \(k\ge 0\). Set \(\partial :=\phi _{H'}^{-1}\nabla \phi _{H}\). Then the generator L of \(P_t\) takes the form \(L=\partial ^\dagger \partial \) and \(\partial \) is a derivation [30, Proposition 3.2]:

$$\begin{aligned} \partial (xy)=\partial (x)h_{H}(y)+h_{H}(x)\partial (y), \end{aligned}$$

for all \(x,y\in \phi _H^{-1}({\mathcal {F}}_{Q}^{\text {finite}}(H))\).

Now we prove that \(P_t=e^{-tL}\) on \(\varGamma _{Q}(H)\) satisfies \(\mathrm {CGE}(1,\infty )\). For this let us first take a look of the semigroup \(T_t=e^{-tN}\) on \({\mathcal {F}}_{Q}(H)\). By definition, it equals \(e^{-kt}\mathrm {id}\) on its eigenspace \(H^{\otimes k}\). For each \(t\ge 0\), consider the map

$$\begin{aligned} \mathbf {T}_t=e^{-t}{\mathcal {F}}_{Q'}(S_t):{\mathcal {F}}_{Q'}(H')\rightarrow {\mathcal {F}}_{Q'}(H'), \end{aligned}$$

where \(S_t\) is a contraction on \(H'\) given by

$$\begin{aligned} S_t(x\otimes e)=e^{-t}x\otimes e,~~S_t(x\otimes f)=x\otimes f,~~x\in H. \end{aligned}$$

Then by definition, we have the intertwining condition

$$\begin{aligned} \nabla T_t=\mathbf {T}_t \nabla . \end{aligned}$$
(4)

In fact, it is obvious when acting on \({\mathbb {R}}\varOmega \). If u is a k-atom on H, \(k\ge 1\), then

$$\begin{aligned} \nabla T_t(u)=e^{-kt}\nabla (u)=e^{-kt}\sum _{i=1}^{k}u\otimes v_i, \end{aligned}$$

and

$$\begin{aligned} \mathbf {T}_t \nabla (u) =\sum _{i=1}^{k}\mathbf {T}_t (u\otimes v_i) =e^{-t}\sum _{i=1}^{k}{\mathcal {F}}_{Q'}(S_t)(u\otimes v_i) =e^{-kt}\sum _{i=1}^{k}u\otimes v_i. \end{aligned}$$

Remark that if one chooses \(\mathbf {T}_t={\mathcal {F}}_{Q'}(e^{-t}\mathrm {id}_{H'})\), then we can only obtain \(\mathrm {CGE}(0,\infty )\).

Put \(\mathbf {P}_t=\phi _{H'}^{-1}\mathbf {T}_t\phi _{H'}\). Then \(\mathbf {P}_t\) is \(\tau _{Q'}\)-symmetric. Note that \(P_t=\phi _H^{-1}T_t\phi _H\), thus by (4) we have the intertwining condition

$$\begin{aligned} \partial P_t =\phi _{H'}^{-1}\nabla T_t\phi _{H} =\phi _{H'}^{-1}\mathbf {T}_t\nabla \phi _{H} =\mathbf {P}_t \partial ,~t\ge 0. \end{aligned}$$

Note that \(S_t\circ \iota _H=e^{-t}\iota _H\circ \mathrm {id}_H,t\ge 0\). This, together with the definitions of \(h_H\) (3) and \(\mathbf {P}_t\), yields

$$\begin{aligned} \mathbf {P}_t h_{H}&=e^{-t}\phi _{H'}^{-1}{\mathcal {F}}_{Q'}(S_t){\mathcal {F}}_Q(\iota _H)\phi _H\nonumber \\&=e^{-t}\phi _{H'}^{-1}{\mathcal {F}}_Q(\iota _H){\mathcal {F}}_Q(e^{-t}\mathrm {id}_H)\phi _H\nonumber \\&=e^{-t}h_{H} P_t. \end{aligned}$$
(5)

By Theorem 2, to show that \(P_t\) satisfies \(\mathrm {GE}(1,\infty )\), it remains to check (ii) and (iii) with \(\mathbf {P}_t\) as above and the left and right action of \(\varGamma _Q(H)\) on \(\varGamma _{Q'}(H')\) being

$$\begin{aligned} L(\rho )a= h_{H}(\rho )a,~~ R(\rho )a=a h_{H}(\rho ). \end{aligned}$$

To prove (ii) we need to show that for any \(\rho \in \varGamma _Q(H)_+\) and \(a\in \varGamma _{Q'}(H')\):

$$\begin{aligned} \langle \mathbf {P}_t (a),L(\rho )\mathbf {P}_t (a)\rangle _2 \le e^{-2t} \langle a,L(P_t(\rho ))(a)\rangle _2, \end{aligned}$$

where the inner product is induced by \(\tau _{Q'}\). To see this, note that \(\mathbf {P}_t\) is completely positive and \(\mathbf {P}_t(1)=e^{-t}1\) [30, Lemma 3.1]. By the Kadison–Schwarz inequality and (5), we have

$$\begin{aligned} \langle \mathbf {P}_t (a),L(\rho )\mathbf {P}_t (a)\rangle _2&=\tau _{Q'}\left( \mathbf {P}_t (a)\mathbf {P}_t (a)^*h_{H}(\rho )\right) \\&\le e^{-t}\tau _{Q'}\left( \mathbf {P}_t (aa^*)h_{H}(\rho )\right) \\&=e^{-t}\tau _{Q'}\left( aa^*\mathbf {P}_t h_{H}(\rho )\right) \\&=e^{-2t}\tau _{Q'}\left( aa^* h_{H} P_t(\rho )\right) \\&=e^{-2t} \langle a,L(P_t(\rho ))(a)\rangle _2, \end{aligned}$$

which finishes the proof of (ii). The proof of (iii) is similar. So \(P_t\) satisfies \(\mathrm {GE}(1,\infty )\). Applying the same argument to \(P_t\otimes \mathrm {id}_{{\mathcal {N}}}\), we obtain \(\mathrm {CGE}(1,\infty )\).

Remark 8

As mentioned in [28, Section 4.4], the previous example can also be deduced from the complete gradient estimate for the classical Ornstein–Uhlenbeck semigroup using the ultraproduct methods from [26]. However, in contrast to this approach we do not need to use the Ricci curvature bound for the classical Ornstein–Uhlenbeck semigroup, but get it as a special case (with minor modifications accounting for \(|q|=1\) in this case).

Example 3

(Quantum Tori). For \(\theta \in [0,1)\) let \(A_\theta \) be the universal \(C^*\)-algebra generated by unitaries \(u=u_{\theta },v=v_{\theta }\) subject to the relation \(vu=e^{2\pi i\theta }uv\). Let \(\tau =\tau _{\theta }\) be the unique faithful tracial state on \(A_\theta \) given by \(\tau (u^m v^n)=\delta _{m,0}\delta _{n,0}\). The semigroup \((P_t)=(P^\theta _t)\) given by \(P_t(u^m v^n)=e^{-t(m^2+n^2)}u^m v^n\) extends to a \(\tau \)-symmetric QMS on \(L^\infty (A_\theta ,\tau )\), which satisfies \(\mathrm {CGE}(0,\infty )\). Here \(L^\infty (A_\theta ,\tau )\) denotes the strong closure of \(A_\theta \) in the GNS representation associated with \(\tau \). In fact, according to [15, Section 10.6], \({\mathcal {H}}=L^2(A_{\theta },\tau )\oplus L^2(A_{\theta },\tau )\) and \(\partial (u^m v^n)=(\partial _1(u^m v^n),\partial _2(u^m v^n))=i(mu^m v^n,n u^m v^n)\). Clearly, \(\partial _j\) commutes with \(P_t\) for \(j=1,2\), so that \(\mathrm {CGE}(0,\infty )\) follows from Corollary 2.

In the commutative case \(\theta =0\), \(A_{\theta }=C({\mathbb {T}}^2)\) is the C*-algebra of all continuous functions on flat 2 torus \({\mathbb {T}}^2\) and the semigroup \((P_t)\) is the heat semigroup generated by the Laplace–Beltrami operator on the flat 2-torus, which has vanishing Ricci curvature. Thus the constant 0 in the gradient estimate is optimal.

In fact, for any \(\theta ,\theta '\in [0,1)\), the semigroup \(P_t^\theta \) on \(L^\infty (A_{\theta },\tau _\theta )\) satisfies \(\mathrm {CGE}(K,\infty )\) if and only if the semigroup \((P_t^{\theta '})\) on \(L^\infty (A_{\theta '},\tau _{\theta '})\) satisfies \(\mathrm {CGE}(K,\infty )\). Thus the gradient estimate \(\mathrm {CGE}(0,\infty )\) is optimal for any \(\theta \in [0,1)\). To see this, note first that by standard approximation arguments it suffices to show \(\mathrm {GE}(K,\infty )\) for \(\rho \in (A_{\theta })_+\) and \(a\in D({\mathscr {L}}_2^{1/2})\cap A_\theta \). By universal property of \(A_{\theta +\theta '}\), there exists a \(^*\)-homomorphism \(\pi :A_{\theta +\theta '}\rightarrow A_{\theta }\otimes A_{\theta '}\) such that

$$\begin{aligned} \pi (u_{\theta +\theta '})=u_{\theta }\otimes u_{\theta '},~~\pi (v_{\theta +\theta '})=v_{\theta }\otimes v_{\theta '}. \end{aligned}$$

Clearly \(\pi \) is trace preserving and satisfies

$$\begin{aligned} (P^{\theta }_t\otimes \mathrm {id}_{A_{\theta '}})\circ \pi =\pi \circ P_t^{\theta +\theta '}. \end{aligned}$$

So if \(P^{\theta }_t\) satisfies \(\mathrm {CGE}(K,\infty )\), then so does \(P^{\theta +\theta '}_t\). Since \(\theta \) and \(\theta '\) are arbitrary, we finish the proof of the assertion. This idea of transference was used in [39] to give a simple proof that the completely bounded Fourier multipliers on noncommutative \(L_p\)-spaces associated with quantum tori \(A_{\theta }\) do not depend on the parameter \(\theta \). The transference technique has been used in [21, 28] to study complete logarithmic Sobolev inequality.

The same conclusion goes for d-dimensional quantum torus \(A_{\theta }\) with \(\theta \) being a d-by-d real skew-symmetric matrix.

Example 4

(Quantum groups). A compact quantum group is a pair \({\mathbb {G}}=(A,\varDelta )\) consisting of a unital C*-algebra A and a unital \(^*\)-homomorphism \(\varDelta :A\rightarrow A\otimes A\) such that

  1. 1.

    \((\varDelta \otimes \mathrm {id}_A)\varDelta =(\mathrm {id}_A\otimes \varDelta )\varDelta \);

  2. 2.

    \(\{\varDelta (a)(1\otimes b):a,b\in A\}\) and \(\{\varDelta (a)(b\otimes 1):a,b\in A\}\) are linearly dense in \(A\otimes A\).

Here \(A\otimes A\) is the minimal C*-algebra tensor product. The homomorphism \(\varDelta \) is called the comultiplication on A. We denote \(A=C({\mathbb {G}})\). Any compact quantum group \({\mathbb {G}}=(A,\varDelta )\) admits a unique Haar state, i.e. a state h on A such that

$$\begin{aligned} (h\otimes \mathrm {id}_A)\varDelta (a)=h(a)1=(\mathrm {id}_A\otimes h)\varDelta (a),~~a\in A. \end{aligned}$$

Consider an element \(u\in A\otimes B(H)\) with \(\dim H=n\). By identifying \(A\otimes B(H)\) with \(M_n(A)\) we can write \(u=[u_{ij}]_{i,j=1}^{n}\), where \(u_{ij}\in A\). The matrix u is called an n-dimensional representation of \({\mathbb {G}}\) if we have

$$\begin{aligned} \varDelta (u_{ij})=\sum _{k=1}^{n}u_{ik}\otimes u_{kj},~~i,j=1,\dots ,n. \end{aligned}$$

A representation u is called unitary if u is unitary as an element in \(M_n(A)\), and irreducible if the only matrices \(T\in M_n({\mathbb {C}})\) such that \(uT=Tu\) are multiples of identity matrix. Two representations \(u,v\in M_n(A)\) are said to be equivalent if there exists an invertible matrix \(T\in M_n({\mathbb {C}})\) such that \(Tu=vT\). Denote by \(\mathrm {Irr}({\mathbb {G}})\) the set of equivalence classes of irreducible unitary representations of \({\mathbb {G}}\). For each \(\alpha \in \mathrm {Irr}({\mathbb {G}})\), denote by \(u^\alpha \in A\otimes B(H_\alpha )\) a representative of the class \(\alpha \), where \(H_\alpha \) is the finite dimensional Hilbert space on which \(u^\alpha \) acts. In the sequel we write \(n_\alpha =\dim H_\alpha \).

Denote \(\mathrm {Pol}({\mathbb {G}})=\text {span} \left\{ u^\alpha _{ij}:1\le i,j\le n_\alpha ,\alpha \in \mathrm {Irr}({\mathbb {G}})\right\} \). This is a dense subalgebra of A. On \(\mathrm {Pol}({\mathbb {G}})\) the Haar state h is faithful. It is well-known that \((\mathrm {Pol}({\mathbb {G}}),\varDelta )\) is equipped with the Hopf*-algebra structure, that is, there exist a linear antihomormophism S on \(\mathrm {Pol}({\mathbb {G}})\), called the antipode, and a unital \(^*\)-homomorphism \(\epsilon :\mathrm {Pol}({\mathbb {G}})\rightarrow {\mathbb {C}}\), called the counit, such that

$$\begin{aligned} (\epsilon \otimes \mathrm {id}_{\mathrm {Pol}({\mathbb {G}})})\varDelta (a)=a=(\mathrm {id}_{\mathrm {Pol}({\mathbb {G}})}\otimes \epsilon )\varDelta (a),~~a\in \mathrm {Pol}({\mathbb {G}}), \end{aligned}$$

and

$$\begin{aligned} m(S\otimes \mathrm {id}_{\mathrm {Pol}({\mathbb {G}})})\varDelta (a)=\epsilon (a)1=m(\mathrm {id}_{\mathrm {Pol}({\mathbb {G}})}\otimes S)\varDelta (a),~~a\in \mathrm {Pol}({\mathbb {G}}). \end{aligned}$$

Here m denotes the multiplication map \(m:\mathrm {Pol}({\mathbb {G}})\otimes _{\text {alg}}\mathrm {Pol}({\mathbb {G}})\rightarrow \mathrm {Pol}({\mathbb {G}}),~~a\otimes b\mapsto ab\). Indeed, the antipode and the counit are uniquely determined by

$$\begin{aligned}&S(u^\alpha _{ij})=(u^{\alpha }_{ji})^*,~~1\le i,j\le n_\alpha ,~~\alpha \in \mathrm {Irr}({\mathbb {G}}), \\&\epsilon (u^\alpha _{ij})=\delta _{ij},~~1\le i,j\le n_\alpha ,~~\alpha \in \mathrm {Irr}({\mathbb {G}}). \end{aligned}$$

Since the Haar state h is faithful on \(\mathrm {Pol}({\mathbb {G}})\), one may consider the corresponding GNS construction \((\pi _h,H_h,\xi _h)\) such that \(h(x)=\langle \xi _h,\pi _h(x)\xi _h \rangle _{H_h}\) for all \(x\in \mathrm {Pol}({\mathbb {G}})\). The reduced \(C^*\)-algebra \(C_{r}({\mathbb {G}})\) is the norm completion of \(\pi _h(\mathrm {Pol}({\mathbb {G}}))\) in \(B(H_{h})\). Then the restriction of comultiplication \(\varDelta \) to \(\mathrm {Pol}({\mathbb {G}})\), extends to a unital \(^*\)-homomorphism on \(C_r({\mathbb {G}})\), which we still denote by \(\varDelta \). The pair \((C_r({\mathbb {G}}),\varDelta )\) forms a compact quantum group, and in the following we always consider this reduced version (instead of the universal one, since the Haar state h is always faithful on \(C_{r}({\mathbb {G}})\)). Denote by \(L^\infty ({\mathbb {G}})=C_r({\mathbb {G}})''\) the von Neumann subalgebra of \(B(H_h)\) generated by \(C_r({\mathbb {G}})\), and we can define the noncommutative \(L^p\)-spaces associated with \((L^\infty ({\mathbb {G}}),h)\). In particular, we identify \(L^2({\mathbb {G}})\) with \(H_h\). We refer to [32] and [49] for more details about compact quantum groups.

A compact quantum group \({\mathbb {G}}\) is of Kac type if the Haar state is tracial. In the following \({\mathbb {G}}\) is always a compact quantum group of Kac type, which is the case for later examples \(O_N^+\) and \(S_N^+\). Given a Lévy process \((j_t)_{t\ge 0}\) [14, Definition 2.4] on \(\mathrm {Pol}({\mathbb {G}})\) one can associate it to a semigroup \(P_t=(\mathrm {id}\otimes \phi _t)\varDelta \) on \(C_r({\mathbb {G}})\), where \(\phi _t\) is the marginal distribution of \(j_t\). This \((P_t)\) is a strongly continuous semigroup of unital completely positive maps on \(C_r({\mathbb {G}})\) that are symmetric with respect to the Haar state h [14, Theorem 3.2]. Then \((P_t)\) extends to a h-symmetric QMS on \(L^\infty ({\mathbb {G}})\).

The corresponding first-order differential calculus can be described in terms of a Schürmann triple \(((H,\pi ),\eta ,\varphi )\) [14, Propositions 8.1, 8.2]. The tangent bimodule \({\mathcal {H}}\) is then a submodule of \(L^2({\mathbb {G}})\otimes H\) with the left and right action given by \(L=(\lambda _L\otimes \pi )\varDelta \) and \(R=\lambda _R\otimes \mathrm {id}_H\), respectively. Here \(\lambda _L\) and \(\lambda _R\) are the left and right action of \(L^\infty ({\mathbb {G}})\) on \(L^2({\mathbb {G}})\):

$$\begin{aligned} \lambda _L(a)(b\xi _h)=ab\xi _h,~~\lambda _R(a)(b\xi _h)=ba\xi _h. \end{aligned}$$

The derivation [14, Proposition 8.1] is given on \(\mathrm {Pol}({\mathbb {G}})\) by \(\partial =(\iota _h\otimes \eta )\varDelta \), where \(\iota _h:L^\infty ({\mathbb {G}})\rightarrow L^2({\mathbb {G}})\) is the natural embedding:

$$\begin{aligned} \iota _h(a)=a\xi _h. \end{aligned}$$

Note that the QMS \((P_t)\) is always right translation invariant: \((\mathrm {id}\otimes P_t)\varDelta =\varDelta P_t\) for all \(t\ge 0\). In fact, any right translation invariant QMS must arise in this way [14, Theorem 3.4]. Here we are interested in semigroups \((P_t)\) that are not only right translation invariant but also left translation invariant, or translation bi-invariant: for all \(t\ge 0\)

$$\begin{aligned} (P_t\otimes \mathrm {id})\varDelta =\varDelta P_t=(\mathrm {id}\otimes P_t)\varDelta . \end{aligned}$$
(6)

In this case, let \(\mathbf {P}_t=P_t\otimes \mathrm {id}_H\), and we have

$$\begin{aligned} \mathbf {P}_t \partial =(P_t\otimes \mathrm {id}_H)(\iota _h\otimes \eta )\varDelta =(\iota _h\otimes \eta )(P_t\otimes \mathrm {id}_A) \varDelta =(\iota _h\otimes \eta )\varDelta P_t=\partial P_t. \end{aligned}$$

It is not hard to check that \(\mathbf {P}_t\) is \({\mathcal {J}}\)-real. We will show that it also satisfies the condition (iii) from Theorem 2 for \(K=0\).

For \(\xi _1,\dots ,\xi _n\in H\) and \(x_1,\dots ,x_n\in A\) we have

$$\begin{aligned}&\left\langle (P_t\otimes \mathrm {id}_H)\sum _k x_k\otimes \xi _k,R(\rho )(P_t\otimes \mathrm {id})\sum _k x_k\otimes \xi _k\right\rangle \\&\quad =\sum _{k,l}\langle \xi _k,\xi _l\rangle h((P_t x_k)^*(P_t x_l)\rho ), \end{aligned}$$

and

$$\begin{aligned} \left\langle \sum _k x_k\otimes \xi _k,R(P_t \rho )\sum _k x_k\otimes \xi _k\right\rangle =\sum _{k,l}\langle \xi _k,\xi _l\rangle h(x_k^*x_l P_t\rho ). \end{aligned}$$

Clearly, the matrix \([\langle \xi _k,\xi _l\rangle ]_{k,l}\) is positive semi-definite. By Kadison–Schwarz inequality,

$$\begin{aligned}{}[(P_t x_k)^*(P_t x_l)]_{k,l}\le [P_t (x_k^*x_l)]_{k,l}. \end{aligned}$$

Thus also \([h((P_t x_k)^*(P_t x_l)\rho )]_{k,l}\le [h(x_k^*x_l P_t \rho )]_{k,l}\). Since the Hadamard product of positive semi-definite matrices is positive semi-definite, it follows that

$$\begin{aligned}{}[\langle \xi _k,\xi _l\rangle h((P_t x_k)^*(P_t x_l)\rho )]_{k,l}\le [\langle \xi _k,\xi _l\rangle h(x_k^*x_l P_t\rho )]_{k,l}. \end{aligned}$$

Hence

$$\begin{aligned} \sum _{k,l}\langle \xi _k,\xi _l\rangle h((P_t x_k)^*(P_t x_l)\rho ) \le \sum _{k,l}\langle \xi _k,\xi _l\rangle h(x_k^*x_l P_t\rho ), \end{aligned}$$

and we get the desired result. Thus \((P_t)\) satisfies \(\mathrm {GE}(0,\infty )\). Applying the same argument to \((P_t\otimes \mathrm {id}_{{\mathcal {N}}})\), we get \(\mathrm {CGE}(0,\infty )\).

If each \(\phi _t\) is central:

$$\begin{aligned} (\phi _t\otimes \mathrm {id})\varDelta =(\mathrm {id}\otimes \phi _t)\varDelta . \end{aligned}$$
(7)

then the QMS \(P_t=(\mathrm {id}\otimes \phi _t)\varDelta \) is translation-bi-invariant. Recall that the convolution of two functionals \(\psi _1,\psi _2\) on \(C({\mathbb {G}})\) (or \(C_r({\mathbb {G}})\), \(\mathrm {Pol}({\mathbb {G}})\)) is defined as \(\psi _1\star \psi _2=(\psi _1\otimes \psi _2)\varDelta \). The convolution semigroup of states \(\phi _t=\epsilon +\sum _{n\ge 1}\frac{t^{ n}}{n!}\psi ^{\star n}\) is generated by \(\psi \), called the generating functional, where \(\psi \) is hermitian, conditionally positive and vanishes on 1 (see [14, Section 2.5] for details). Then once the generating functional \(\psi \) is central, the QMS \(P_t=(\mathrm {id}\otimes \phi _t)\varDelta =e^{tT_\psi }\) is translation-bi-invariant, and thus satisfies \(\mathrm {CGE}(0,\infty )\), where \(T_{\psi }=(\mathrm {id}\otimes \psi )\varDelta \).

For the geometric Ricci curvature condition this result was independently proven in [7, Lemma 4.6].

In the next few examples we collect some specific instances of QMS on quantum groups which are translation-bi-invariant. Firstly we give some commutative examples.

Example 5

(Compact Lie groups) For any compact group G, \((C(G),\varDelta )\) forms a compact quantum group, where C(G) is the C*-algebra of all continuous functions on G and the comultiplication \(\varDelta :C(G)\rightarrow C(G)\otimes C(G)\cong C(G\times G)\) is given by \(\varDelta f(s,t)=f(st)\). The Haar state h is nothing but \(\int \cdot \, d\mu \), with \(\mu \) being the Haar (probability) measure. Consider the QMS \((P_t)\) on C(G): \(P_t(f)(s)=\int _{G}f(r)K_t(r,s)d\mu (r)\). Then \((P_t)\) is translation bi-invariant if and only if the kernel \(K_t\) is bi-invariant under G: \(K_t(gr,gs)=K_t(r,s)=K_t(rg,sg)\) for all \(g,r,s\in G\), or equivalently, \((P_t)\) is a convolution semigroup with the kernel \({\tilde{K}}_t(s)=K(e,s)\) being conjugate-invariant: \({\tilde{K}}(s)={\tilde{K}}(gsg^{-1})\) for all \(g,s\in G\).

Let G be a compact Lie group with a bi-invariant Riemann metric g. If \((P_t)\) is the heat semigroup generated by the Laplace–Beltrami operator, then a direct computation shows that the bi-invariance of the metric implies the translation-bi-invariance of \((P_t)\). Thus we recover the well-known fact from Riemannian geometry that the Ricci curvature of a compact Lie group with bi-invariant metric is always nonnegative (see e.g. [34, Section 7]).

Secondly, we give co-commutative examples. By saying co-commutative we mean \(\varDelta =\varPi \circ \varDelta \), where \(\varPi \) is the tensor flip, i.e., \(\varPi (a\otimes b)=b\otimes a\).

Example 6

(Group von Neumann algebras) Let G be a countable discrete group with unit e, \(C_r^*(G)\) the reduced \(C^*\)-algebra generated by the left regular representation \(\lambda \) of G on \(\ell ^2(G)\) and L(G) the group von Neumann algebra \(L(G)=C_r^*(G)^{\prime \prime }\subset B(\ell ^2(G))\). Then \({\mathbb {G}}=(C_r^*(G),\varDelta )\) is a quantum group with comultiplication given by \(\varDelta (\lambda _g)=\lambda _g\otimes \lambda _g\). The Haar state on \({\mathbb {G}}\) is given by \(\tau (x)=\langle x\delta _e,\delta _e\rangle \), which is tracial and faithful. Here and in what follows, \(\delta _g\) always denotes the function on G that takes value 1 at g and vanishes elsewhere.

A function \(\psi :G\rightarrow [0,\infty )\) is a conditionally negative definite (cnd) length function if \(\psi (e)=0\), \(\psi (g^{-1})=\psi (g)\) and

$$\begin{aligned} \sum _{g,h\in G}\overline{f(g)}f(h)\psi (g^{-1}h)\le 0 \end{aligned}$$

for every \(f\in G\rightarrow {\mathbb {C}}\) with finite support such that \(\sum _{g\in G} f(g)=0\).

By Schoenberg’s Theorem (see for example [9, Theorem D.11]), to every cnd function one can associate a \(\tau \)-symmetric QMS on L(G) given by

$$\begin{aligned} P_t \lambda _g=e^{-t\psi (g)}\lambda _g. \end{aligned}$$

It is easy to check that \((P_t)\) satisfies the translation-bi-invariant condition (6). Thus it satisfies \(\mathrm {CGE}(0,\infty )\).

Now we give some genuine quantum group examples.

Example 7

(Free orthogonal quantum group \(O^+_N\) [46]) Let \(N\ge 2\). The free orthogonal quantum group \(O^+_N\) consists of a pair \((C_u(O^+_N),\varDelta )\), where \(C_u(O^+_N)\) is the universal C*-algebra generated by \(N^2\) self-adjoint operators \(u_{ij},1\le i,j\le N\), such that \(U=[u_{ij}]_{1\le i,j\le N}\in M_N({\mathbb {C}})\otimes C_u(O^+_N)\) is unitary, that is,

$$\begin{aligned} \sum _{k=1}^{N}u_{ik}u_{jk}=\delta _{ij}=\sum _{k=1}^{N}u_{ki}u_{kj},~~1\le i,j\le N, \end{aligned}$$

and the comultiplication \(\varDelta \) is given by

$$\begin{aligned} \varDelta (u_{ij})=\sum _{k=1}^{N}u_{ik}\otimes u_{kj},~~1\le i,j\le N. \end{aligned}$$

The equivalent classes of irreducible unitary representations of \(O_N^+\) can be indexed by \({\mathbb {N}}\), with \(u^{(0)}=1\) the trivial representation and \(u^{(1)}=U\) the fundamental representation.

By [14, Corollary 10.3], the central generating functionals \(\psi \) on \(\mathrm {Pol}(O^+_N)\) are given by

$$\begin{aligned} \psi (u^{(s)}_{ij})=\frac{\delta _{ij}}{U_s(N)}\left( -bU_s'(N)+\int _{-N}^{N}\frac{U_s(x)-U_s(N)}{N-x}\nu (dx)\right) , \end{aligned}$$

for \(s\in \mathrm {Irr}(O_N^+)={\mathbb {N}},1\le i,j\le n_s\), where \(U_s\) denotes the s-th Chebyshev polynomial of second kind, \(b\ge 0\), and \(\nu \) is a finite measure on \([-N,N]\) with \(\nu (\{N\})=0\). Then given \((b,\nu )\), the central functional \(\psi \) defined as above induces a QMS \(P_t^\psi =e^{t T_\psi }\) satisfying (6), where \(T_\psi =(\mathrm {id}\otimes \psi )\varDelta \). Hence it satisfies \(\mathrm {CGE}(0,\infty \)).

Example 8

(Free permutation quantum group \(S^+_N\) [47]) Let \(N\ge 2\). The free permutation quantum group \(S^+_N\) consists of a pair \((C_u(S^+_N),\varDelta )\), where \(C_u(O^+_N)\) is the universal C*-algebra generated by \(N^2\) self-adjoint operators \(p_{ij},1\le i,j\le N\), such that

$$\begin{aligned} p_{ij}^2=p_{ij}=p_{ij}^*,~~\sum _{k=1}^{N}p_{ik}=1=\sum _{k=1}^{N}p_{kj},~~1\le i,j\le N, \end{aligned}$$

and the comultiplication \(\varDelta \) is given by

$$\begin{aligned} \varDelta (p_{ij})=\sum _{k=1}^{N}p_{ik}\otimes p_{kj},~~1\le i,j\le N. \end{aligned}$$

The equivalent classes of irreducible unitary representations of \(S_N^+\) can be indexed by \({\mathbb {N}}\). By [20, Theorem 10.10], the central generating functionals \(\psi \) on \(\mathrm {Pol}(S^+_N)\) are given by

$$\begin{aligned} \psi (u^{(s)}_{ij})=\frac{\delta _{ij}}{U_{2s}(\sqrt{N})}\left( -b\frac{U_{2s}'(\sqrt{N})}{2\sqrt{N}}+\int _{0}^{N}\frac{U_{2s}(\sqrt{x})-U_{2s}(\sqrt{N})}{N-x}\nu (dx)\right) , \end{aligned}$$

for \(s\in \mathrm {Irr}(S_N^+)={\mathbb {N}},1\le i,j\le n_s\), where \(U_s\) denotes the s-th Chebyshev polynomial of second kind, \(b> 0\), and \(\nu \) is a finite measure on [0, N]. Similarly, given \((b,\nu )\), the central functional \(\psi \) defined as above induces a QMS \(P_t^\psi =e^{t T_\psi }\) satisfying (6), where \(T_\psi =(\mathrm {id}\otimes \psi )\varDelta \). Hence it satisfies \(\mathrm {CGE}(0,\infty \)).

Remark 9

Although many interesting functional inequalities like the Poincaré and the modified logarithmic Sobolev inequality only follow directly from \(\mathrm {GE}(K,\infty )\) for \(K>0\), the gradient estimate with constant \(K\le 0\) can still be helpful in conjunction with additional assumptions to prove such functional inequalities (see [7, 17]).

Stability Under Tensor Products and Free Products

In this section we prove that the complete gradient estimate \(\mathrm {CGE}(K,\infty )\) is stable under taking tensor products and free products of quantum Markov semigroups. We refer to [45] and [2] for more information on free products of von Neumann algebras and to [3] for free products of completely positive maps.

Theorem 3

Let \(({\mathcal {M}}_j,\tau _j)\), \(j\in \{1,\dots ,n\}\), be tracial von Neumann algebras and \((P_t^j)\) a \(\tau _j\)-symmetric \(\varGamma \)-regular QMS on \({\mathcal {M}}_j\). If for every \(j\in \{1,\dots ,n\}\) the QMS \((P_t^j)\) satisfies \(\mathrm {CGE}(K,\infty )\), then \(\bigotimes _j P_t^j\) satisfies \(\mathrm {CGE}(K,\infty )\).

Proof

Let \({\mathcal {H}}_j\) and \(\partial _j\) denote the tangent bimodule and derivation for \((P_t^j)\) and let

$$\begin{aligned} {\bar{{\mathcal {H}}}}_j&=\bigotimes _{k=1}^{j-1}L^2({\mathcal {M}}_k,\tau _k)\otimes {\mathcal {H}}_j \otimes \bigotimes _{k=j+1}^n L^2({\mathcal {M}}_k,\tau _k),\\ {\bar{\partial }}_j&=\bigotimes _{k=1}^{j-1}\mathrm {id}_{{\mathcal {M}}_k}\otimes \partial _j \otimes \bigotimes _{k=j+1}^n \mathrm {id}_{{\mathcal {M}}_k}. \end{aligned}$$

The tangent module \({\mathcal {H}}\) for \(P_t=\bigotimes _j P_t^j\) is a submodule of \({\mathcal {H}}=\bigoplus _j {\bar{{\mathcal {H}}}}_j\) with the natural left and right action and derivation \(\partial =({\bar{\partial }}_1,\dots ,{\bar{\partial }}_n)\).

For \(j\in \{1,\dots ,n\}\), put

$$\begin{aligned} {\tilde{P}}_t^j=\bigotimes _{k=1}^{j-1}P_t^k\otimes \mathrm {id}_{{\mathcal {M}}_j}\otimes \bigotimes _{k=j+1}^n P_t^k \end{aligned}$$

and

$$\begin{aligned} {\bar{P}}_t^j=\bigotimes _{k=1}^{j-1}\mathrm {id}_{{\mathcal {M}}_k} \otimes P_t^j\otimes \bigotimes _{k=j+1}^n \mathrm {id}_{{\mathcal {M}}_k} \end{aligned}$$

on \(\bigotimes _k {\mathcal {M}}_k\), so that \(P_t={\bar{P}}_t^j {\tilde{P}}_t^j={\tilde{P}}_t^j {\bar{P}}_t^j\). Then

$$\begin{aligned} \Vert {\partial P_t a}\Vert _\rho ^2&=\sum _{j=1}^n \Vert {{\bar{\partial }}_j P_t a}\Vert _\rho ^2\\&=\sum _{j=1}^n \Vert {{\bar{\partial }}_j {\bar{P}}_t^j {\tilde{P}}_t^j a}\Vert _\rho ^2\\&\le \sum _{j=1}^n e^{-2K t}\Vert {{\bar{\partial }}_j {\tilde{P}}_t^j a}\Vert _{{\bar{P}}_t^j\rho }^2 \end{aligned}$$

by \(\mathrm {CGE}(K,\infty )\) for \((P_t^j)\).

Let

$$\begin{aligned} Q_t^j=\bigotimes _{k=1}^{j-1}P_t^k \otimes \mathrm {id}_{{\mathcal {H}}_j}\otimes \bigotimes _{k=j+1}^n P_t^k \end{aligned}$$

on \({\bar{{\mathcal {H}}}}_j\). Then \({\bar{\partial }}_j {\tilde{P}}_t^j =Q_t^j {\bar{\partial }}_j\), and conditions (ii), (iii) in Theorem 2 follow from the Kadison–Schwarz inequality (compare with Example 4). Taking into account Remark 4, we get

$$\begin{aligned} \Vert {{\bar{\partial }}_j {\tilde{P}}_t^j a}\Vert _\rho ^2\le \Vert {{\bar{\partial }}_j a}\Vert _{{\tilde{P}}_t^j \rho }^2. \end{aligned}$$

Together with the previous estimate, we obtain

$$\begin{aligned} \Vert {\partial P_t a}\Vert _\rho ^2 \le \sum _{j=1}^n e^{-2K t}\Vert {{\bar{\partial }}_j {\tilde{P}}_t^j a}\Vert _{{\bar{P}}_t^j\rho }^2 \le \sum _{j=1}^n e^{-2Kt}\Vert {{\bar{\partial }}_j a}\Vert _{P_t \rho }^2 = e^{-2Kt}\Vert {\partial a}\Vert _{P_t \rho }^2. \end{aligned}$$

So \((P_t)\) satisfies \(\mathrm {GE}(K,\infty )\). The same argument can be applied to \((P_t\otimes \mathrm {id}_{\mathcal {N}})\), so that we obtain \(\mathrm {CGE}(K,\infty )\).\(\square \)

Theorem 4

For \(j\in \{1,\ldots ,n\}\) let \(({\mathcal {M}}_j,\tau _j)\) be a tracial von Neumann algebras and \((P_t^j)\) a tracially symmetric \(\varGamma \)-regular QMS on \({\mathcal {M}}_j\). If for every \(j\in \{1,\dots ,n\}\) the QMS \((P_t^j)\) satisfies \(\mathrm {CGE}(K,\infty )\), then \(*_j P_t^j\) satisfies \(\mathrm {CGE}(K,\infty )\).

Proof

Let \({\mathcal {M}}=*_j {\mathcal {M}}_j\), \(\tau =*_j \tau _j\) and \(P_t=*_j P_t^j\). Recall that \(L^2({\mathcal {M}},\tau )\) is canonically identified with

$$\begin{aligned} *_j L^2({\mathcal {M}}_j,\tau _j)={\mathbb {C}}1\oplus \bigoplus _{n\ge 1}\bigoplus _{j_1\ne \dots \ne j_n}\bigotimes _{l=1}^n L^2_0({\mathcal {M}}_{j_l},\tau _{j_l}), \end{aligned}$$

where \(L^2_0\) denotes the orthogonal complement of \({\mathbb {C}}1\) in \(L^2\).

Then \({\mathcal {H}}\) can be identified with a submodule of

$$\begin{aligned} \bigoplus _{n\ge 1}\bigoplus _{j_1\ne \dots \ne j_n}\bigoplus _{k=1}^n\left( \bigotimes _{l=1}^{k-1} L^2({\mathcal {M}}_{j_l},\tau _{j_l})\otimes {\mathcal {H}}_{j_k}\otimes \bigotimes _{l=k+1}^n L^2({\mathcal {M}}_{j_l},\tau _{j_l})\right) \end{aligned}$$

with the natural left and right action on each direct summand and \(\partial \) acts as 0 on \({\mathbb {C}}1\) and as

$$\begin{aligned} \partial (a_1\otimes \dots \otimes a_n)=(\partial _{j_1}(a_1)\otimes a_2\dots \otimes a_n,\dots ,a_1\otimes a_2\otimes \dots \otimes \partial _{j_n}(a_n)) \end{aligned}$$

on the direct summand \(\bigotimes _{j_1\ne \dots \ne j_n}L^2({\mathcal {M}}_{j_l},\tau _{j_l})\). Since \(\partial \) and \((P_t)\) restrict nicely to the direct summand of \(L^2({\mathcal {M}},\tau )\), the rest of the proof is similar to the one of Theorem 3.\(\square \)

Remark 10

The same argument applies to free products with amalgamation if the common subalgebra over which one amalgates is contained in the fixed-point algebra of \((P_t^j)\) for all \(j\in \{1,\dots ,n\}\) (compare with the results from [25, Section 6.2] for the \(\varGamma _2\) condition).

Quantum Markov Semigroups Generated by Commuting Projections

In this section we move beyond applications of the intertwining result Theorem 2 and obtain complete gradient estimate for quantum Markov semigroups whose generators take special Lindblad forms.

Theorem 5

Let \(p_1,\dots ,p_n\in {\mathcal {M}}\) be commuting projections. The QMS \((P_t)\) generated by

$$\begin{aligned} {\mathscr {L}}:{\mathcal {M}}\rightarrow {\mathcal {M}},\,{\mathscr {L}}x=\sum _{j=1}^n p_j x+x p_j-2p_j x p_j \end{aligned}$$

is \(\varGamma \)-regular and satisfies \(\mathrm {CGE}(1,\infty )\).

Proof

For \(1\le j\le n\) consider the operator \({\mathscr {L}}_j:{\mathcal {M}}\rightarrow {\mathcal {M}}\) defined by

$$\begin{aligned} {\mathscr {L}}_j x=p_j x+xp_j-2p_j xp_j=x-p_j xp_j-(1-p_j)x(1-p_j). \end{aligned}$$

In particular, \({\mathscr {L}}_j\) is of the form \({\mathscr {L}}_j=I-\varPhi _j\) with \(I=\mathrm {id}_{{\mathcal {M}}}\) and the conditional expectation \(\varPhi _j(x)=p_j x p_j+(1-p_j)x(1-p_j)\). Thus the QMS \((P_t^j)\) generated by \({\mathscr {L}}_j\) is given by

$$\begin{aligned} P_t^j x=x+(e^{-t}-1){\mathscr {L}}_j x=e^{-t}x+(1-e^{-t})\varPhi _j(x). \end{aligned}$$

A first-order differential calculus for \((P_t)\) is given by \({\mathcal {H}}=\bigoplus _{j=1}^n L^2({\mathcal {M}},\tau )\) as bimodules, \(L=(L_j)_j,R=(R_j)_j\) with \(L_j\) and \(R_j\) being the usual left and right multiplications of \({\mathcal {M}}\) on \(L^2({\mathcal {M}},\tau )\) respectively, and \(\partial =(\partial _j)\), where \(\partial _j x=[p_j,x]\). Thus \((P_t)\) is \(\varGamma \)-regular.

Moreover, \(\partial _j P_t^j x=e^{-t}\partial _j x\) and consequently

$$\begin{aligned} \Vert {\partial _j P_t^j x}\Vert _\rho ^2=e^{-2t}\Vert {\partial _j x}\Vert _\rho ^2. \end{aligned}$$
(8)

On the other hand, by the concavity of operator means [27, Theorem 3.5] we have

$$\begin{aligned} \widehat{P_t^j \rho }\ge e^{-t}{\hat{\rho }}+(1-e^{-t})\widehat{ \varPhi _j(\rho )}. \end{aligned}$$
(9)

Since

$$\begin{aligned}&\quad \;{\mathscr {L}}_j ((\partial _j x)^*(\partial _j x))\\&\quad =p_j x^*x p_j+p_j x^*p_j x-p_j x^*p_j x-p_j x^*p_j x p_j\\&\qquad +p_j x^*x p_j +x^*p_j x p_j-p_j x^*p_j x p_j-x^*p_j x p_j\\&\qquad -2 p_j x^*x p_j-2 p_j x^*p_j x p_j+2p_j x^*p_j v p_j+2 p_j x^*p_j x p_j\\&\quad =0, \end{aligned}$$

we have

$$\begin{aligned} \varPhi _j((\partial _j x)^*(\partial _j x)) =(I-{\mathscr {L}}_j)\left( (\partial _j x)^*(\partial _j x)\right) =(\partial _j x)^*(\partial _j x). \end{aligned}$$

Recall that \(L_j\) and \(R_j\) are respectively the usual left and right multiplications of \({\mathcal {M}}\) on \(L^2({\mathcal {M}},\tau )\) and denote by \(E_j\) the projection onto \(\overline{{\text {ran}}\partial _j}\) in \(L^2({\mathcal {M}},\tau )\). It follows that

$$\begin{aligned} \langle R_j(\varPhi _j(\rho ))(\partial _j x),\partial _j x\rangle _2&=\tau (\varPhi _j(\rho )(\partial _j x)^*(\partial _j x))\\&=\tau (\rho \varPhi _j((\partial _j x)^*(\partial _j x)))\\&=\tau (\rho (\partial _j x)^*(\partial _j x))\\&=\langle R_j(\rho )\partial _j x,\partial _j x\rangle _2. \end{aligned}$$

Hence \(E_j R_j(\varPhi _j(\rho )) E_j=E_j R_j(\rho )E_j\). The analogous identity for the left multiplication follows similarly.

Note that both the left and right multiplication by \(\varPhi _j(x)=p_j x p_j+(1-p_j)x(1-p_j)\) leave \(\overline{{\text {ran}}\partial _j}\) invariant. In fact, for any \(x,y\in {\mathcal {M}}\) one has

$$\begin{aligned} \varPhi _j(x)\partial _j(y)&=p_j(p_jx p_j y)- (p_jx p_j y )p_j\\&\quad \;+p_j((1-p_j)x(1-p_j)y)-((1-p_j)x(1-p_j)y)p_j\\&=\partial _j(p_j x p_j y)+\partial _j ((1-p_j)x(1-p_j)y), \end{aligned}$$

and a similar equation holds for the right multiplication.

Therefore we have

$$\begin{aligned} E_j L_j(\varPhi _j(\rho ))E_j&\le L_j(\varPhi _j(\rho )),\\ E_j R_j(\varPhi _j(\rho ))E_j&\le R_j(\varPhi _j(\rho )). \end{aligned}$$

This, together with the conditions (a) and (b) in the definition of operator means, implies

$$\begin{aligned} E_j\widehat{\varPhi _j(\rho )} E_j&\ge E_j\varLambda (E_j L_j(\varPhi _j(\rho ))E_j,E_j R_j(\varPhi _j(\rho )) E_j)E_j\\&=E_j\varLambda (E_j L_j(\rho )E_j,E_j R_j(\rho )E_j)E_j\\&\ge E_j {\hat{\rho }} E_j. \end{aligned}$$

In other words,

$$\begin{aligned} \langle \widehat{\varPhi _j(\rho )} \partial _j x,\partial _j x\rangle _2\ge \langle {\hat{\rho }} \partial _j x,\partial _j x\rangle _2. \end{aligned}$$

Together with (9) we conclude

$$\begin{aligned} \Vert {\partial _j x}\Vert _{P_t^j \rho }^2\ge e^{-t}\Vert {\partial _j x}\Vert _\rho ^2+(1-e^{-t})\Vert {\partial _j x}\Vert _\rho ^2=\Vert {\partial _j x}\Vert _\rho ^2. \end{aligned}$$

In view of (8), we have proved

$$\begin{aligned} \Vert {\partial _j P_t^j x}\Vert _\rho ^2\le e^{-2t}\Vert {\partial _j x}\Vert _{P_t^j \rho }^2. \end{aligned}$$
(10)

Now let us come back to our original semigroup \((P_t)\). Let

$$\begin{aligned} Q_t^j=\prod _{k\ne j} P_t^k. \end{aligned}$$

Since the \(p_j\)’s commute, so do the generators \({\mathscr {L}}_j\)’s and the semigroups \(P_t^j\)’s. This means that the order in the definition of \(Q_t^j\) does not matter and \(P_t =P_t^j Q_t^j\) for all \(j\in \{1,\dots ,n\}\). From the intertwining technique and Remark 4 we deduce

$$\begin{aligned} \Vert {\partial _j Q_t^j x}\Vert _\rho ^2\le \Vert {\partial _j x}\Vert _{Q_t^j \rho }^2. \end{aligned}$$

Combined with the estimate (10) for \((P_t^j)\), we obtain

$$\begin{aligned} \Vert {\partial P_t x}\Vert _\rho ^2=\sum _{j=1}^n \Vert {\partial _j P_t^j Q_t^j x}\Vert _\rho ^2\le e^{-2t}\sum _{j=1}^n \Vert {\partial _j Q_t^j x}\Vert _{P_t ^j \rho }^2\le e^{-2t} \Vert {\partial x}\Vert _{P_t \rho }^2. \end{aligned}$$

So \((P_t)\) satisfies \(\mathrm {GE}(1,\infty )\). To prove \(\mathrm {CGE}(1,\infty )\), it suffices to note that the generator of \((P_t\otimes \mathrm {id}_{\mathcal {N}})\) is given by

$$\begin{aligned} ({\mathscr {L}}\otimes \mathrm {id}_{\mathcal {N}})x=\sum _{j=1}^n (p_j\otimes 1) x+x(p_j\otimes 1)-2(p_j\otimes 1) x(p_j\otimes 1) \end{aligned}$$

and the elements \((p_j\otimes 1)\) are again commuting projections.\(\square \)

Remark 11

Since \({\mathscr {L}}_j^2={\mathscr {L}}_j\), the spectrum of \({\mathscr {L}}_j\) is contained in \(\{0,1\}\) with equality unless \({\mathscr {L}}_j=0\). Thus the gradient estimate for the individual semigroups \((P_t^j)\) is optimal (unless \(v_j=0\)). It should also be noted that it is better than the gradient estimate one would get from Example 1.

Remark 12

Inspection of the proof shows that the same result holds if the generator of \((P_t)\) is of the form \({\mathscr {L}}=\frac{1}{2}\sum _{j=1}^n (x-u_j xu_j)\) with commuting self-adjoint unitaries \(u_j\).

Example 9

Let \(X=\{0,1\}^n\) and \(\epsilon _j:X\rightarrow X\) the map that swaps the j-th coordinate and leaves the other coordinates fixed. Let \(v_j=\sum _x |\epsilon _j(x)\rangle \langle x|\in B(\ell ^2(X))\). By the previous remark, the QMS on \(B(\ell ^2(X))\) with generator

$$\begin{aligned} {\mathscr {L}}:B(\ell ^2(X))\rightarrow B(\ell ^2(X)),\,{\mathscr {L}}A=\frac{1}{2}\sum _{j=1}^n (A-v_j A v_j) \end{aligned}$$

satisfies \(\mathrm {CGE}(1,\infty )\). The restriction of this semigroup to the diagonal algebra is (up to rescaling of the time parameter, depending on the normalization) the Markov semigroup associated with the simple random walk on the discrete hypercube (see [19, Example 5.7]).

To apply the theorem above to group von Neumann algebras, we will use the following Lindblad form for QMS generated by cnd length functions. Recall that for a countable discrete group G, a 1-cocycle is a triple \((H,\pi ,b)\), where H is a real Hilbert space, \(\pi :G\rightarrow O(H)\) is an orthogonal representation, and \(b:G\rightarrow H\) satisfies the cocycle law: \(b(gh)=b(g)+\pi (g)b(h),g,h\in G.\) To any cnd function \(\psi \) on a countable discrete group G, one can associate with a 1-cocycle \((H,\pi ,b)\) such that \(\psi (gh^{-1})=\Vert b(g)-b(h)\Vert ^2,g,h\in G\). See [9, Appendix D] for more information.

Lemma 2

Let G be a countable discrete group and \(\psi :G\rightarrow [0,\infty )\) a cnd length function. Then \({\mathscr {L}}:\lambda _g\mapsto \psi (g)\lambda _g\) generates a QMS on the group von Neumann algebra of G. Assume that the associated 1-cocycle \(b:G\rightarrow H\) takes values in a finite-dimensional real Hilbert space H with an orthonormal basis \((e_1,\dots ,e_n)\). Then the generator \({\mathscr {L}}\) is of the form

$$\begin{aligned} {\mathscr {L}}x=\sum _{j=1}^n v_j^2 x+x v_j^2 -2v_j x v_j, \end{aligned}$$

where \(v_j\) is a linear operator on \(\ell ^2(G)\) given by \(v_j \delta _g=\langle b(g),e_j\rangle \delta _g\).

Proof

By definition we have

$$\begin{aligned} v_j^2 \lambda _g(\delta _h)&=v_j^2 (\delta _{gh})=\langle b(gh),e_j\rangle v_j(\delta _{gh})=\langle b(gh),e_j\rangle ^2\delta _{gh},\\ \lambda _g v_j^2(\delta _h)&=\langle b(h),e_j\rangle \lambda _g v_j(\delta _h)=\langle b(h),e_j\rangle ^2\lambda _g (\delta _h)=\langle b(h),e_j\rangle ^2\delta _{gh},\\ v_j\lambda _g v_j(\delta _h)&=\langle b(h),e_j\rangle v_j\lambda _g(\delta _h)=\langle b(h),e_j\rangle v_j(\delta _{gh})=\langle b(h),e_j\rangle \langle b(gh),e_j\rangle \delta _{gh}. \end{aligned}$$

Thus

$$\begin{aligned} \begin{aligned}&\sum _{j}\left( v_j^2\lambda _g+\lambda _g v_j^2-2v_j\lambda _g v_j\right) (\delta _h)\\&\quad =\sum _{j}\left( \langle b(gh),e_j\rangle ^2+\langle b(h),e_j\rangle ^2-2\langle b(h),e_j\rangle \langle b(gh),e_j\rangle \right) \delta _{gh}\\&\quad =\sum _{j}\langle b(gh)-b(h),e_j\rangle ^2 \delta _{gh}\\&\quad =\Vert b(gh)-b(h)\Vert ^2\delta _{gh}. \end{aligned} \end{aligned}$$

This is nothing but \({\mathscr {L}}(\lambda _g)(\delta _h)=\psi (g)\lambda _g(\delta _h)=\psi (g)\delta _{gh}\).\(\square \)

Remark 13

The elements \(v_j\) are not contained in the group von Neumann algebra L(G) so that Theorem 5 is not directly applicable (even if the \(v_j\) are projections). However, if G is finite, then the operator

$$\begin{aligned} {\mathscr {L}}:B(\ell ^2(G))\rightarrow B(\ell ^2(G)),\,{\mathscr {L}}x=\sum _{j=1}^n v_j^2 x+x v_j^2 -2v_j x v_j, \end{aligned}$$

generates a tracially symmetric QMS on \(B(\ell ^2(G))\) and we can apply Theorem 5 to that semigroup instead. It is an interesting open question how to treat infinite groups for which the generator has such a Lindblad form.

Example 10

The cyclic group \({\mathbb {Z}}_n=\{0,1,\dots ,n-1\}\); see [25, Example 5.9]: Its group (von Neumann) algebra is spanned by \(\lambda _k,0\le k\le n-1\). One can embed \({\mathbb {Z}}_n\) to \({\mathbb {Z}}_{2n}\), so let us assume that n is even. The word length of \(k\in {\mathbb {Z}}_n\) is given by \(\psi (k)=\min \{k,n-k\}\). Define \(b:{\mathbb {Z}}_n\rightarrow {\mathbb {R}}^{\frac{n}{2}}\) via

$$\begin{aligned} b(k)={\left\{ \begin{array}{ll} 0,&{}k=0,\\ \sum _{j=1}^{k}e_j,&{}1\le k\le \frac{n}{2},\\ \sum _{j=k-\frac{n}{2}+1}^{\frac{n}{2}}e_j,&{}\frac{n}{2}+1\le k\le n-1, \end{array}\right. } \end{aligned}$$

where \((e_j)_{1\le j\le \frac{n}{2}}\) is an orthonormal basis of \({\mathbb {R}}^{\frac{n}{2}}\).

Then the linear operators \(v_j:\ell ^2({\mathbb {Z}}_n)\rightarrow \ell ^2({\mathbb {Z}}_n)\) given by

$$\begin{aligned} v_j(\delta _k)=\langle b(k),e_j\rangle \delta _k,~~1\le j\le \frac{n}{2} \end{aligned}$$

are commuting projections. Thus the QMS associated with \(\psi (g)=\Vert {b(g)}\Vert ^2\) satisfies \(\mathrm {CGE}(1,\infty )\).

Example 11

The symmetric group \(S_n\): Let \(\psi \) be the length function induced by the (non-normalized) Hamming metric, that is, \(\psi (\sigma )=\#\{j : \sigma (j)\ne j\}\). Let \(A_\sigma \in M_n({\mathbb {R}})\) be the permutation matrix associated with \(\sigma \), i.e., \(A_\sigma \delta _j =\delta _{\sigma (j)}\). Then the associated 1-cocycle is given by \(H=L^2(M_n({\mathbb {R}}),\frac{1}{2} \mathrm {tr})\), \(b(\sigma )=A_\sigma -1\), \(\pi (\sigma )=A_\sigma \).

The matrices \(E_{jk}=\sqrt{2}|j\rangle \langle k|\) for \(j\ne k\) and \(E_{jj}=-\sqrt{2}|j\rangle \langle j|\) form an orthonormal basis of H. Define \(v_{jk}\in B(\ell ^2(S_n))\) by \(v_{jk}\delta _\sigma =\sqrt{2}\langle b(\sigma ),E_{jk}\rangle \delta _{\sigma }\). Then \(v_{jk}\) is a projection. Moreover,

$$\begin{aligned} {\mathscr {L}}x=\frac{1}{2}\sum _{j,k}v_{jk}^2x+x v_{jk}^2-2v_{jk}x v_{jk}. \end{aligned}$$

Thus the associated QMS satisfies \(\mathrm {CGE}(1/2,\infty )\).

To extend the last example to the infinite symmetric group \(S_\infty \), we need the following approximation result.

Lemma 3

Let \(({\mathcal {M}}_n)\) be an ascending sequence of von Neumann subalgebras such that \(\bigcup _n {\mathcal {M}}_n\) is \(\sigma \)-weakly dense in \({\mathcal {M}}\). Further let \((P_t)\) be a \(\varGamma \)-regular QMS on \({\mathcal {M}}\) and assume that \(P_t({\mathcal {M}}_n)\subset {\mathcal {M}}_n\). Let \((P_t^n)\) denote the restriction of \((P_t)\) to \({\mathcal {M}}_n\). If \((P_t^n)\) satisfies \(\mathrm {GE}(K,\infty )\) for all \(n\in {\mathbb {N}}\), then \((P_t)\) also satisfies \(\mathrm {GE}(K,\infty )\). The same is true for \(\mathrm {CGE}\).

Proof

It is not hard to see that \(\bigcup _n {\mathcal {M}}_n\) is dense in \(L^2({\mathcal {M}},\tau )\). Since \(P_t ({\mathcal {M}}_n)\subset {\mathcal {M}}_n\) and \(P_t\) maps into the domain of its \(L^2\) generator \({\mathscr {L}}_2\), the space \(V=D({\mathscr {L}}_2^{1/2})\cap \left( \bigcup _n {\mathcal {M}}_n\right) \) is also dense in \(L^2({\mathcal {M}},\tau )\) and invariant under \((P_t)\). Using a standard result in semigroup theory, this implies that V is a form core for \({\mathscr {L}}\). Thus it suffices to prove

$$\begin{aligned} \Vert {\partial P_t a}\Vert _\rho ^2\le e^{-2Kt}\Vert {\partial a}\Vert _{P_t \rho }^2 \end{aligned}$$

for \(a\in V\) and \(\rho \in {\mathcal {M}}_+\). Moreover, by Kaplansky’s density theorem and the strong continuity of functional calculus, checking it for \(\rho \in (\bigcup _n {\mathcal {M}}_n)_+\) is enough. But for \(a\in D({\mathscr {L}}^{1/2}_2)\cap {\mathcal {M}}_n\) and \(\rho \in ({\mathcal {M}}_n)_+\), this is simply the gradient estimate for \((P_t^n)\), which holds by assumption.

The argument for \(\mathrm {CGE}\) is similar.\(\square \)

Corollary 3

If G is the ascending union of subgroups \(G_n\) and \(\psi \) is a cnd length function on G such that for every n the QMS associated with \(\psi |_{G_n}\) satisfies \(\mathrm {GE}(K,\infty )\), then the QMS associated with \(\psi \) satisfies \(\mathrm {GE}(K,\infty )\). The same is true for \(\mathrm {CGE}\).

Example 12

(Infinite symmetric group) Let \(S_\infty \) be the group of permutations of \({\mathbb {N}}\) that keep all but finitely many elements fixed. The QMS associated with length function induced by the non-normalized Hamming metric on \(S_\infty \) satisfies \(\mathrm {CGE}(\frac{1}{2},\infty )\).

Recall that for a countable discrete group G, a Følner sequence is a sequence \(\{F_n\}_{n\ge 1}\) of nonempty finite subsets of G such that

$$\begin{aligned} \lim _{n\rightarrow \infty }\frac{|gF_n\varDelta F_n|}{|F_n|}=0, \end{aligned}$$

for every \(g\in G\), where \(gF=\{gh:h\in F\}\) and \(A\varDelta B=[A\setminus (A\cap B)]\cup [B\setminus (A\cap B)]\). The group G is called amenable if it admits a Følner sequence. We refer to [9, Chapter 2.6] for more equivalent definitions and basic properties of amenable groups.

Proposition 1

Let G be an amenable group, \(\psi :G\rightarrow [0,\infty )\) a cnd function with associated 1-cocycle \((H,\pi ,b)\). If there exists an orthonormal basis \((e_j)_{j\in J}\) of H such that \(\langle b(g),e_j\rangle \in \{0,1\}\) for all \(g\in G\), \(j\in J\), then the QMS \((P_t)\) associated with \(\psi \) satisfies \(\mathrm {CGE}(1,\infty )\).

Proof

To ease notation, we will only deal with \(\mathrm {GE}(1,\infty )\). The proof of complete gradient estimate is similar, embedding \(L(G)\otimes {\mathcal {N}}\) into a suitable ultraproduct.

Let \((F_n)\) be a Følner sequence for G and \(\omega \in \beta {\mathbb {N}}\setminus {\mathbb {N}}\). Endow \(B(\ell ^2(F_n))\) with the normalized trace \(\tau _n\) and let \(p_n\) denote the projection from \(\ell ^2(G)\) onto \(\ell ^2(F_n)\). Then we have a trace-preserving embedding

$$\begin{aligned} L(G)\rightarrow \prod _\omega B(\ell ^2(F_n)),\,x\mapsto (p_n x p_n)^\bullet . \end{aligned}$$

For each j, let \(v_j\) be the linear operator on \(\ell ^2(G)\) given by \(v_j (\delta _g) =\langle b(g),e_j\rangle \delta _g\), and denote its restriction to \(\ell ^2(F_n)\) by the same symbol. Note that for every fixed \(n\in {\mathbb {N}}\), there are only finitely many indices \(j\in J\) such that \(v_j\) is non-zero on \(\ell ^2(F_n)\).

Let

$$\begin{aligned} {\mathcal {H}}_n=\bigoplus _{j\in J}L^2(B(\ell ^2(F_n)),\tau _n) \end{aligned}$$

and

$$\begin{aligned} \partial _n:B(\ell ^2(F_n))\rightarrow {\mathcal {H}}_n,\,a\mapsto ([v_j,a])_j. \end{aligned}$$

For \(x=\sum _g x_g\lambda _g\) with \(\sum _g \psi (g)|x_g|^2<\infty \), we have

$$\begin{aligned} v_j p_n x p_n (\delta _g)&=1_{F_n}(g)v_j p_n x (\delta _g)\\&=\sum _{h\in G}1_{F_n}(g)x_h v_j p_n (\delta _{hg})\\&=\sum _{h\in G}1_{F_n}(g)1_{F_n}(hg)x_h v_j (\delta _{hg})\\&=\sum _{h\in G}1_{F_n}(g)1_{F_n}(hg)x_h \langle b(hg),e_j\rangle \delta _{hg}, \end{aligned}$$

and

$$\begin{aligned} p_n x p_n v_j (\delta _g)&=\langle b(g),e_j\rangle p_n x p_n(\delta _g)\\&= 1_{F_n}(g) \langle b(g),e_j\rangle p_n x(\delta _{g})\\&=\sum _{h\in G}1_{F_n}(g)x_h \langle b(g),e_j\rangle p_n (\delta _{hg})\\&=\sum _{h\in G}1_{F_n}(g)1_{F_n}(hg)x_h \langle b(g),e_j\rangle \delta _{hg}. \end{aligned}$$

Hence

$$\begin{aligned}{}[v_j,p_n x p_n](\delta _g)&=(v_j p_n x p_n-p_n x p_n v_j) (\delta _g)\\&=\sum _{h\in G}1_{F_n}(g)1_{F_n}(hg)x_h \langle b(hg)- b(g),e_j\rangle \delta _{hg}, \end{aligned}$$

and we get

$$\begin{aligned}&\Vert {\partial _n (p_n x p_n)}\Vert _{{\mathcal {H}}_n}^2\\&\quad =\frac{1}{|F_n|}\sum _{g\in F_n}\sum _{j\in J}\langle [v_j,p_n x p_n]\delta _g,[v_j,p_n x p_n]\delta _g\rangle \\&\quad =\frac{1}{|F_n|}\sum _{g\in F_n}\sum _{j\in J}\sum _{h,h'\in G}\bigg (\overline{x_h} x_{h'}\overline{\langle b(hg)-b(g),e_j\rangle } \langle b(h'g)-b(g),e_j\rangle \\&\qquad 1_{F_n}(hg)1_{F_n}(h'g)\langle \delta _{h g},\delta _{h'g}\rangle \bigg )\\&\quad =\frac{1}{|F_n|}\sum _{g\in F_n}\sum _{j\in J}\sum _{h\in G}|x_h|^2\langle b(hg)-b(g),e_j\rangle |^2 1_{F_n}(hg)\\&\quad =\frac{1}{|F_n|}\sum _{g\in F_n}\sum _{h\in G}|x_h|^2\Vert {b(hg)-b(g)}\Vert ^2 1_{F_n}(hg)\\&\quad =\frac{1}{|F_n|}\sum _{g\in F_n}\sum _{h\in G}\psi (h)|x_h|^2 1_{F_n}(hg)\\&\quad =\sum _{h\in G}\psi (h)|x_h|^2 \frac{|h^{-1}F_n\cap F_n|}{|F_n|}, \end{aligned}$$

which converges to

$$\begin{aligned} \sum _{h\in G}\psi (h)|x_h|^2=\Vert {\partial x}\Vert ^2_{{\mathcal {H}}} \end{aligned}$$

as \(n\rightarrow \omega \) by the Følner property of \((F_n)\) after an application of the dominated convergence theorem. Thus the tangent bimodule \({\mathcal {H}}\) for \((P_t)\) can be viewed as a submodule of \(\prod _\omega {\mathcal {H}}_n\) with the obvious left and right action and \(\partial =(\partial _n)^\bullet \).

Let \((P_t^n)\) be the QMS on \(B(\ell ^2(F_n))\) generated by \(\partial _n^\dagger \partial _n\). Since \(\langle b(\cdot ),e_j\rangle \) takes values in \(\{0,1\}\), the operators \(v_j\)’s are projections. Clearly all the \(v_j\)’s commute. Hence by Theorem 5 and Remark 13, \((P_t^n)\) satisfies \(\mathrm {GE}(1,\infty )\). From the ultraproduct structure of \({\mathcal {H}}\) and \(\partial \) we deduce

$$\begin{aligned} \Vert {\partial P_t(x_n)^\bullet }\Vert _{(\rho _n)^\bullet }^2&=\lim _{n\rightarrow \omega }\Vert {\partial _n P_t^n x_n}\Vert _{\rho _n}^2\\&\le \lim _{n\rightarrow \omega } e^{-2t}\Vert {\partial _n x_n}\Vert _{P_t^n \rho _n}^2\\&=e^{-2t}\Vert {\partial (x_n)^\bullet }\Vert _{P_t (\rho _n)^\bullet }^2 \end{aligned}$$

for \((x_n)^\bullet \in L(G)\) and \((\rho _n)^\bullet \in L(G)_+\). In other words, \((P_t)\) satisfies \(\mathrm {GE}(1,\infty )\).\(\square \)

Remark 14

The group von Neumann algebra embeds into an ultraproduct of matrix algebras if and only if the underlying group is hyperlinear, so it might be possible to extend the previous proposition beyond amenable groups.

Example 13

(Amenable groups acting on trees) Let \({\mathcal {T}}\) be a tree (viewed as unoriented graph) and G an amenable subgroup of \(\mathrm {Aut}({\mathcal {T}})\). For fixed \(x_0\in {\mathcal {T}}\) define the length function \(\psi \) on G by \(\psi (g)=d(x_0,gx_0)\), where d is the combinatorial graph distance. As in the case of free groups, one sees that \(\psi \) is conditionally negative definite and the associated 1-cocycle can be described as follows (see [1, Example C.2.2]):

Let \(E=\{(x,y)\mid x\sim y\}\) be the set of oriented edges of \({\mathcal {T}}\), and for \(e=(x,y)\in E\) write \({{\bar{e}}}=(y,x)\). Let \(H=\{\xi \in \ell ^2(E)\mid \xi ({{\bar{e}}})=-\xi (e)\}\) with inner product

$$\begin{aligned} \langle \xi ,\eta \rangle =\frac{1}{2}\sum _{e\in E}\xi (e)\eta (e). \end{aligned}$$

The action of G on H is given by \(\pi (g)\xi (x,y)=\xi (gx,gy)\), and the 1-cocycle b is given by

$$\begin{aligned} b(g)(e)={\left\{ \begin{array}{ll}1&{}\text {if }e\text { lies on }[x_0,gx_0],\\ -1&{}\text {if }{{\bar{e}}}\text { lies on }[x_0,gx_0],\\ 0&{}\text {otherwise},\end{array}\right. } \end{aligned}$$

where \([x_0,gx_0]\) denotes the unique geodesic joining \(x_0\) and \(gx_0\).

Put \(F=\{(x,y)\in E\mid d(x_0,x)<d(x_0,y)\}\). Then \((1_e-1_{{{\bar{e}}}})_{e\in F}\) is an orthonormal basis of H and \(\langle b(g),1_e-1_{{{\bar{e}}}}\rangle \in \{0,1\}\) for all \(g\in G\) and \(e\in F\). Thus the QMS associated with \(\psi \) satisfies \(\mathrm {CGE}(1,\infty )\).

For example this is the case for \(G={\mathbb {Z}}\) with \(\psi (k)=|k|\). Here the tree is the Cayley graph of \({\mathbb {Z}}\) and the action is given by the left-regular representation. This QMS on \(L({\mathbb {Z}})\) corresponds, under the Fourier transform, to the Poisson semigroup on \(L^\infty (S^1)\).

More generally, the Cayley graph of a group is a tree if and only if it is of the form \({\mathbb {Z}}^{*k}*{\mathbb {Z}}_2^{*l}\) for \(k,l\ge 0\). This group is not amenable unless \(k+l\le 1\), but the free product structure allows us to obtain the same bound.

Theorem 6

If G is a group whose Cayley graph is a tree and the cnd function \(\psi \) is given by \(\psi (g)=d(g,e)\), where d is the combinatorial metric on the Cayley graph, then the QMS associated with \(\psi \) satisfies \(\mathrm {CGE}(1,\infty )\) and \(\mathrm {CLSI}(2)\) and the constants in both inequalities are optimal.

Proof

As previously mentioned, G is of the form \({\mathbb {Z}}^{*k}*{\mathbb {Z}}_2^{*l}\) with \(k,l\ge 0\). It is not hard to see that the QMS associated with \(\psi \) decomposes as free product of the QMS associated with the word length functions on the factors. Thus it satisfies \(\mathrm {CGE}(1,\infty )\) by Theorem 4 and \(\mathrm {CLSI}(2)\) by Corollary 1. Since both the gradient estimate and the modified logarithmic Sobolev inequality imply that the generator has a spectral gap of 1, the constants are optimal.\(\square \)

Example 14

If G is a free group and \(\psi \) the word length function, then the associated QMS satisfies \(\mathrm {CGE}(1,\infty )\) and \(\mathrm {CLSI}(2)\). Note that the usual logarithmic Sobolev inequality, which is equivalent to the optimal hypercontractivity, is still open. Some partial results have been obtained in [24, 40]. Our optimal modified LSI supports the validity of optimal LSI from another perspective.

References

  1. 1.

    Bekka, B., de la Harpe, P., Valette, A.: Kazhdan’s property (T), New Mathematical Monographs, vol. 11. Cambridge University Press, Cambridge (2008). https://doi.org/10.1017/CBO9780511542749

  2. 2.

    Blanchard, E.F., Dykema, K.J.: Embeddings of reduced free products of operator algebras. Pacific J. Math. 199(1), 1–19 (2001). https://doi.org/10.2140/pjm.2001.199.1

    MathSciNet  Article  MATH  Google Scholar 

  3. 3.

    Boca, F.: Free products of completely positive maps and spectral sets. J. Funct. Anal. 97(2), 251–263 (1991). https://doi.org/10.1016/0022-1236(91)90001-L

    MathSciNet  Article  MATH  Google Scholar 

  4. 4.

    Bożejko, M., Kümmerer, B., Speicher, R.: \(q\)-Gaussian processes: non-commutative and classical aspects. Commun. Math. Phys. 185(1), 129–154 (1997). https://doi.org/10.1007/s002200050084

    ADS  MathSciNet  Article  MATH  Google Scholar 

  5. 5.

    Bożejko, M., Speicher, R.: An example of a generalized Brownian motion. Commun. Math. Phys. 137(3), 519–531 (1991)

  6. 6.

    Bożejko, M., Speicher, R.: Completely positive maps on Coxeter groups, deformed commutation relations, and operator spaces. Math. Ann. 300(1), 97–120 (1994). https://doi.org/10.1007/BF01450478

    MathSciNet  Article  MATH  Google Scholar 

  7. 7.

    Brannan, M., Gao, L., Junge, M.: Complete Logarithmic Sobolev inequalities via Ricci curvature bounded below. arXiv e-prints arXiv:2007.06138 (2020)

  8. 8.

    Brannan, M., Gao, L., Junge, M.: Complete Logarithmic Sobolev Inequalities via Ricci Curvature Bounded Below II. arXiv e-prints arXiv:2008.12038 (2020)

  9. 9.

    Brown, N.P., Ozawa, N.: \(C^*\)-algebras and finite-dimensional approximations, Graduate Studies in Mathematics, vol. 88. American Mathematical Society, Providence, RI (2008). https://doi.org/10.1090/gsm/088

  10. 10.

    Carlen, E.A., Maas, J.: An analog of the 2-Wasserstein metric in non-commutative probability under which the fermionic Fokker–Planck equation is gradient flow for the entropy. Commun. Math. Phys. 331(3), 887–926 (2014). https://doi.org/10.1007/s00220-014-2124-8

    ADS  MathSciNet  Article  MATH  Google Scholar 

  11. 11.

    Carlen, E.A., Maas, J.: Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance. J. Funct. Anal. 273(5), 1810–1869 (2017). https://doi.org/10.1016/j.jfa.2017.05.003

    MathSciNet  Article  MATH  Google Scholar 

  12. 12.

    Carlen, E.A., Maas, J.: Non-commutative Calculus, Optimal Transport and Functional Inequalities in Dissipative Quantum Systems. J. Stat. Phys. 178(2), 319–378 (2020). https://doi.org/10.1007/s10955-019-02434-w

    ADS  MathSciNet  Article  MATH  Google Scholar 

  13. 13.

    Chow, S.N., Huang, W., Li, Y., Zhou, H.: Fokker-Planck equations for a free energy functional or Markov process on a graph. Arch. Ration. Mech. Anal. 203(3), 969–1008 (2012)

    MathSciNet  Article  Google Scholar 

  14. 14.

    Cipriani, F., Franz, U., Kula, A.: Symmetries of Lévy processes on compact quantum groups, their Markov semigroups and potential theory. J. Funct. Anal. 266(5), 2789–2844 (2014). https://doi.org/10.1016/j.jfa.2013.11.026

    MathSciNet  Article  MATH  Google Scholar 

  15. 15.

    Cipriani, F., Sauvageot, J.L.: Derivations as square roots of Dirichlet forms. J. Funct. Anal. 201(1), 78–120 (2003). https://doi.org/10.1016/S0022-1236(03)00085-5

    MathSciNet  Article  MATH  Google Scholar 

  16. 16.

    Connes, A.: Noncommutative Geometry. Academic Press Inc, San Diego, CA (1994)

    MATH  Google Scholar 

  17. 17.

    Datta, N., Rouzé, C.: Relating relative entropy, optimal transport and fisher information: a quantum HWI inequality. Ann Henri Poincaré (2020)

  18. 18.

    Davies, E.B., Lindsay, J.M.: Noncommutative symmetric Markov semigroups. Math. Z. 210(3), 379–411 (1992). https://doi.org/10.1007/BF02571804

    MathSciNet  Article  MATH  Google Scholar 

  19. 19.

    Erbar, M., Maas, J.: Ricci curvature of finite Markov chains via convexity of the entropy. Arch. Ration. Mech. Anal. 206(3), 997–1038 (2012). https://doi.org/10.1007/s00205-012-0554-z

    MathSciNet  Article  MATH  Google Scholar 

  20. 20.

    Franz, U., Kula, A., Skalski, A.: Lévy processes on quantum permutation groups. In: Noncommutative analysis, operator theory and applications, pp. 193–259. Springer (2016)

  21. 21.

    Gao, L., Junge, M., LaRacuente, N.: Fisher information and logarithmic Sobolev inequality for matrix valued functions. arXiv e-prints arXiv:1807.08838 (2018)

  22. 22.

    Hornshaw, D.F.: \(L^{2}\)-Wasserstein distances of tracial \(W^{*}\)-algebras and their disintegration problem. arXiv e-prints arXiv:1806.01073 (2018)

  23. 23.

    Jordan, R., Kinderlehrer, D., Otto, F.: The variational formulation of the Fokker–Planck equation. SIAM J. Math. Anal. 29(1), 1–17 (1998). https://doi.org/10.1137/S0036141096303359

    MathSciNet  Article  MATH  Google Scholar 

  24. 24.

    Junge, M., Palazuelos, C., Parcet, J., Perrin, M., Ricard, E.: Hypercontractivity for free products. Ann. Sci. Éc. Norm. Supér. (4) 48(4), 861–889 (2015). https://doi.org/10.24033/asens.2260

  25. 25.

    Junge, M., Zeng, Q.: Noncommutative martingale deviation and Poincaré type inequalities with applications. Probab. Theory Rel. Fields 161(3–4), 449–507 (2015). https://doi.org/10.1007/s00440-014-0552-1

    Article  MATH  Google Scholar 

  26. 26.

    Junge, M., Zeng, Q.: Ultraproduct methods for mixed \(q\)-Gaussian algebras. arXiv e-prints arXiv:1505.07852 (2015)

  27. 27.

    Kubo, F., Ando, T.: Means of positive linear operators. Math. Ann. 246(3), 205–224 (1980). https://doi.org/10.1007/BF01371042

    MathSciNet  Article  MATH  Google Scholar 

  28. 28.

    Li, H., Junge, M., LaRacuente, N.: Graph Hörmander Systems. arXiv e-prints arXiv:2006.14578 (2020)

  29. 29.

    Lott, J., Villani, C.: Ricci curvature for metric-measure spaces via optimal transport. Ann. Math. 2) 169(3, 903–991 (2009). https://doi.org/10.4007/annals.2009.169.903

  30. 30.

    Lust-Piquard, F.: Riesz transforms on deformed fock spaces. Commun. Math. Phys. 205(3), 519–549 (1999)

    ADS  MathSciNet  Article  Google Scholar 

  31. 31.

    Maas, J.: Gradient flows of the entropy for finite Markov chains. J. Funct. Anal. 261(8), 2250–2292 (2011). https://doi.org/10.1016/j.jfa.2011.06.009

    MathSciNet  Article  MATH  Google Scholar 

  32. 32.

    Maes, A., Van Daele, A.: Notes on compact quantum groups. Nieuw Arch. Wisk. (4) 16(1-2), 73–112 (1998)

  33. 33.

    Mielke, A.: A gradient structure for reaction-diffusion systems and for energy-drift-diffusion systems. Nonlinearity 24(4), 1329–1346 (2011). https://doi.org/10.1088/0951-7715/24/4/016

    ADS  MathSciNet  Article  MATH  Google Scholar 

  34. 34.

    Milnor, J.: Curvatures of left invariant metrics on Lie groups. Adv. Math. 21(3), 293–329 (1976). https://doi.org/10.1016/S0001-8708(76)80002-3

    MathSciNet  Article  MATH  Google Scholar 

  35. 35.

    Mittnenzweig, M., Mielke, A.: An entropic gradient structure for Lindblad equations and couplings of quantum systems to macroscopic models. J. Stat. Phys. 167(2), 205–233 (2017). https://doi.org/10.1007/s10955-017-1756-4

    ADS  MathSciNet  Article  MATH  Google Scholar 

  36. 36.

    Muratori, M., Savaré, G.: Gradient flows and evolution variational inequalities in metric spaces. I: Structural properties. J. Funct. Anal. 278(4), 108347 (2020). https://doi.org/10.1016/j.jfa.2019.108347

  37. 37.

    Otto, F.: The geometry of dissipative evolution equations: the porous medium equation. Commun. Partial Differ. Equ. 26(1–2), 101–174 (2001). https://doi.org/10.1081/PDE-100002243

    MathSciNet  Article  MATH  Google Scholar 

  38. 38.

    Petz, D.: Monotone metrics on matrix spaces. Linear Algebra Its Appl. 244, 81–96 (1996). https://doi.org/10.1016/0024-3795(94)00211-8

    MathSciNet  Article  MATH  Google Scholar 

  39. 39.

    Ricard, E.: \(L_p\)-multipliers on quantum tori. J. Funct. Anal. 270(12), 4604–4613 (2016). https://doi.org/10.1016/j.jfa.2015.11.015

    MathSciNet  Article  MATH  Google Scholar 

  40. 40.

    Ricard, E., Xu, Q.: A noncommutative martingale convexity inequality. Ann. Probab. 44(2), 867–882 (2016). https://doi.org/10.1214/14-AOP990

    MathSciNet  Article  MATH  Google Scholar 

  41. 41.

    Rouzé, C., Datta, N.: Concentration of quantum states from quantum functional and transportation cost inequalities. J. Math. Phys. 60(1), 012202 (2019). https://doi.org/10.1063/1.5023210

    ADS  MathSciNet  Article  MATH  Google Scholar 

  42. 42.

    Sturm, K.T.: On the geometry of metric measure spaces. I. Acta Math. 196(1), 65–131 (2006). https://doi.org/10.1007/s11511-006-0002-8

    MathSciNet  Article  MATH  Google Scholar 

  43. 43.

    Sturm, K.T.: On the geometry of metric measure spaces. II. Acta Math. 196(1), 133–177 (2006). https://doi.org/10.1007/s11511-006-0003-7

    MathSciNet  Article  MATH  Google Scholar 

  44. 44.

    Voiculescu, D.: Symmetries of some reduced free product \(C^\ast \)-algebras. In: Operator algebras and their connections with topology and ergodic theory (Buşteni, 1983), Lecture Notes in Math., vol. 1132, pp. 556–588. Springer, Berlin (1985). https://doi.org/10.1007/BFb0074909

  45. 45.

    Voiculescu, D.V., Dykema, K.J., Nica, A.: Free random variables, CRM Monograph Series, vol. 1. American Mathematical Society, Providence, RI (1992). A noncommutative probability approach to free products with applications to random matrices, operator algebras and harmonic analysis on free groups

  46. 46.

    Wang, S.: Free products of compact quantum groups. Commun. Math. Phys. 167(3), 671–692 (1995)

    ADS  MathSciNet  Article  Google Scholar 

  47. 47.

    Wang, S.: Quantum symmetry groups of finite spaces. Commun. Math. Phys. 195(1), 195–211 (1998). https://doi.org/10.1007/s002200050385

    ADS  MathSciNet  Article  MATH  Google Scholar 

  48. 48.

    Wirth, M.: A Noncommutative Transport Metric and Symmetric Quantum Markov Semigroups as Gradient Flows of the Entropy. arXiv e-prints arXiv:1808.05419 (2018)

  49. 49.

    Woronowicz, S.L.: Compact quantum groups. In: Symétries quantiques (Les Houches, 1995), pp. 845–884. North-Holland, Amsterdam (1998)

Download references

Acknowledgements

Both authors would like to thank Jan Maas for fruitful discussions and helpful comments.

Funding

Open access funding provided by Institute of Science and Technology (IST Austria).

Author information

Affiliations

Authors

Corresponding author

Correspondence to Melchior Wirth.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

M.W. was supported by the Austrian Science Fund (FWF) through grant number F65. H.Z. is supported by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No. 754411.

Communicated by H-T.Yau.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Wirth, M., Zhang, H. Complete Gradient Estimates of Quantum Markov Semigroups. Commun. Math. Phys. 387, 761–791 (2021). https://doi.org/10.1007/s00220-021-04199-4

Download citation