Complete logarithmic Sobolev inequalities via Ricci curvature bounded below (Q2064479)

Let \((M, \tau)\) be a finite von Neumann algebra equipped with a faithful normal tracial state. By a symmetric quantum Markov semigroup on \((M,\tau)\) we understand a pointwise weak \(^*\)-continuous semigroup \((T_t)_{t\geq0}\) of unital, normal, completely positive maps on \(M\) such that \(T_0= id_M\) and for every \(x,y \in M\) and \(t\geq 0\) we have \(\tau(x (T_ty) = \tau((T_t x) y)\). Denote by \(N\) the relevant fixed point subalgebra, so that \(N=\{x\in M: T_t x = x\), \(t\geq 0\}\), let \(E:M\to N\) be the \(\tau\)-preserving conditional expectation, and denote by \(L_\infty^1(N\subset M)\) a certain `relative' \(L^1\)-space corresponding to the embedding \(N\subset M\). Symmetric quantum Markov semigroups act also on \(M_*\), the predual of \(M\); denote by \(A\) the (unbounded) generator of \((T_t)_{t\geq0}\) viewed as a densely defined map on \(M\) (or on \(M_*\)). For `smooth enough' densities \(\rho \in M_*\) define the Fisher information \(I(\rho):= \tau ((A\rho) \log \rho)\) and the relative entropy \(D(\rho \| N):=\tau (\rho \log \rho - \rho \log E\rho)\). The main result of the paper under review shows that given the context above and a number \(\lambda \in \mathbb{R}\), one can deduce the so-called \(\kappa_\lambda\)-CMLSI (complete modified log-Sobolev inequality), that is, the statement \[ 2\lambda D(\rho \| N) \leq I(\rho), \] for all `smooth enough' densities \(\rho \in M_*\) (or rather its version stable under tensoring with the identity on another finite von Neumann algebra) from \(\lambda\)-Fisher monotonicity: \[ I(T_t \rho)\leq e^{-\lambda t} I(\rho) \] (again for all `smooth enough' densities \(\rho \in M_*\) and all \(t \geq 0\)) and the finiteness of the cb-return time \[ t_{cb}:=\inf\{t \geq0: \|(T_t - E): L_\infty^1(N\subset M) \to M\|_{cb} \leq {1}/{2} \}. \] The parameter \(\kappa_\lambda>0\) depends both on \(\lambda\) and on \(t_{cb}\). The proof exploits the `gradient picture' of the generator \(A\), i.e., a construction of certain derivations related to \(A\). The authors provide also an extensive discussion of connections between \(\lambda\)-Fisher monotonicity and non-commutative Ricci curvature lower bounds, expressed either via gradient estimates (the `entropy Ricci curvature') or via certain dilations of the original semigroup (the `geometric Ricci curvature'). Finally, they study several commutative and non-commutative examples, often providing explicit estimates for the inequalities of interest. The examples contain heat semigroups on connected compact Riemannian manifolds with Ricci curvature bounded from below, bi-invariant Markov semigroups on compact groups, generalised depolarising semigroups, semigroups of Schur multipliers, and random unitary channels.