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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 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
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
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
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]).
2 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
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
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
for all \(x,y\in {\mathcal {M}}\) and \(t\ge 0\).
The generator of \((P_t)\) is the operator \({\mathscr {L}}\) given by
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
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
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
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
-
(a)
if \(A\le C\) and \(B\le D\), then \(\varLambda (A,B)\le \varLambda (C,D)\),
-
(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}})_+\),
-
(c)
if \(A_n\searrow A\), \(B_n\searrow B\), then \(\varLambda (A_n,B_n)\searrow \varLambda (A,B)\),
-
(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:
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
Of particular interest for us are the cases when \(\varLambda \) is the logarithmic mean
or the arithmetic mean
We write \(\Vert {\cdot }\Vert _\rho ^2\) for the quadratic form associated with \({\hat{\rho }}\), that is,
Given an operator mean \(\varLambda \), consider the set
equipped with the seminorm
If \(\varLambda \) is the arithmetic mean \(\varLambda _{\text {ari}}\), then this set coincides with
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
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,
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
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
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
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
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
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
-
(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 \),
-
(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
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
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
For \(x\in D({\mathscr {L}}_2^{1/2})\cap {\mathcal {M}}_+\) the Fisher information is defined as
This definition can be extended to \(x\in L^1_+({\mathcal {M}},\tau )\) by setting
Recall that the fixed-point algebra of \((P_t)\) is
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
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
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
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.
3 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
-
(i)
\(\partial P_t =\mathbf {P}_t \partial \) for \(t\ge 0\),
-
(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\),
-
(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]
Thus
As \(\varLambda \) is monotone in both arguments and positively homogeneous, conditions (ii) and (iii) imply
All combined this yields
\(\square \)
Remark 4
The proof shows that assumptions (i)–(iii) still imply
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
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
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}}_+\):
\(\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:
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 \):
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
where \(u=e_{j_1}\otimes \cdots \otimes e_{j_k}\) is any k-basis atom and
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
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:
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
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
Its adjoint with respect to \(\langle \cdot ,\cdot \rangle _{Q}\), the left annihilation operator \(l_i^*\), is given by
The left annihilation operators and left creation operators satisfy the deformed communication relations on \({\mathcal {F}}_{Q}(H)\):
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
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]
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]
Remark that \(\varGamma _Q\) is a functor, that is, \(\varGamma _Q(ST)=\varGamma _Q(S)\varGamma _Q(T)\) for two contractions S, T 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
and
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
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]
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]:
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
where \(S_t\) is a contraction on \(H'\) given by
Then by definition, we have the intertwining condition
In fact, it is obvious when acting on \({\mathbb {R}}\varOmega \). If u is a k-atom on H, \(k\ge 1\), then
and
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
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
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
To prove (ii) we need to show that for any \(\rho \in \varGamma _Q(H)_+\) and \(a\in \varGamma _{Q'}(H')\):
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
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
Clearly \(\pi \) is trace preserving and satisfies
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.
\((\varDelta \otimes \mathrm {id}_A)\varDelta =(\mathrm {id}_A\otimes \varDelta )\varDelta \);
-
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
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
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
and
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
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}})\):
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:
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\)
In this case, let \(\mathbf {P}_t=P_t\otimes \mathrm {id}_H\), and we have
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
and
Clearly, the matrix \([\langle \xi _k,\xi _l\rangle ]_{k,l}\) is positive semi-definite. By Kadison–Schwarz inequality,
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
Hence
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:
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
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
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,
and the comultiplication \(\varDelta \) is given by
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
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
and the comultiplication \(\varDelta \) is given by
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
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]).
4 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
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
and
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
by \(\mathrm {CGE}(K,\infty )\) for \((P_t^j)\).
Let
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
Together with the previous estimate, we obtain
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
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
with the natural left and right action on each direct summand and \(\partial \) acts as 0 on \({\mathbb {C}}1\) and as
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).
5 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
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
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
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
On the other hand, by the concavity of operator means [27, Theorem 3.5] we have
Since
we have
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
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
and a similar equation holds for the right multiplication.
Therefore we have
This, together with the conditions (a) and (b) in the definition of operator means, implies
In other words,
Together with (9) we conclude
In view of (8), we have proved
Now let us come back to our original semigroup \((P_t)\). Let
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
Combined with the estimate (10) for \((P_t^j)\), we obtain
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
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
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
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
Thus
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
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
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
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,
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
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
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
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
and
For \(x=\sum _g x_g\lambda _g\) with \(\sum _g \psi (g)|x_g|^2<\infty \), we have
and
Hence
and we get
which converges to
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
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
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
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
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
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
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
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
Bożejko, M., Speicher, R.: An example of a generalized Brownian motion. Commun. Math. Phys. 137(3), 519–531 (1991)
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
Brannan, M., Gao, L., Junge, M.: Complete Logarithmic Sobolev inequalities via Ricci curvature bounded below. arXiv e-prints arXiv:2007.06138 (2020)
Brannan, M., Gao, L., Junge, M.: Complete Logarithmic Sobolev Inequalities via Ricci Curvature Bounded Below II. arXiv e-prints arXiv:2008.12038 (2020)
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
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
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
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
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)
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
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
Connes, A.: Noncommutative Geometry. Academic Press Inc, San Diego, CA (1994)
Datta, N., Rouzé, C.: Relating relative entropy, optimal transport and fisher information: a quantum HWI inequality. Ann Henri Poincaré (2020)
Davies, E.B., Lindsay, J.M.: Noncommutative symmetric Markov semigroups. Math. Z. 210(3), 379–411 (1992). https://doi.org/10.1007/BF02571804
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
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)
Gao, L., Junge, M., LaRacuente, N.: Fisher information and logarithmic Sobolev inequality for matrix valued functions. arXiv e-prints arXiv:1807.08838 (2018)
Hornshaw, D.F.: \(L^{2}\)-Wasserstein distances of tracial \(W^{*}\)-algebras and their disintegration problem. arXiv e-prints arXiv:1806.01073 (2018)
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
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
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
Junge, M., Zeng, Q.: Ultraproduct methods for mixed \(q\)-Gaussian algebras. arXiv e-prints arXiv:1505.07852 (2015)
Kubo, F., Ando, T.: Means of positive linear operators. Math. Ann. 246(3), 205–224 (1980). https://doi.org/10.1007/BF01371042
Li, H., Junge, M., LaRacuente, N.: Graph Hörmander Systems. arXiv e-prints arXiv:2006.14578 (2020)
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
Lust-Piquard, F.: Riesz transforms on deformed fock spaces. Commun. Math. Phys. 205(3), 519–549 (1999)
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
Maes, A., Van Daele, A.: Notes on compact quantum groups. Nieuw Arch. Wisk. (4) 16(1-2), 73–112 (1998)
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
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
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
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
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
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
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
Ricard, E., Xu, Q.: A noncommutative martingale convexity inequality. Ann. Probab. 44(2), 867–882 (2016). https://doi.org/10.1214/14-AOP990
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
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
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
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
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
Wang, S.: Free products of compact quantum groups. Commun. Math. Phys. 167(3), 671–692 (1995)
Wang, S.: Quantum symmetry groups of finite spaces. Commun. Math. Phys. 195(1), 195–211 (1998). https://doi.org/10.1007/s002200050385
Wirth, M.: A Noncommutative Transport Metric and Symmetric Quantum Markov Semigroups as Gradient Flows of the Entropy. arXiv e-prints arXiv:1808.05419 (2018)
Woronowicz, S.L.: Compact quantum groups. In: Symétries quantiques (Les Houches, 1995), pp. 845–884. North-Holland, Amsterdam (1998)
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
Authors and Affiliations
Corresponding author
Additional information
Communicated by H-T.Yau.
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.
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/.
About this article
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
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-021-04199-4