1: \begin{abstract}

2: Let $\mathcal M$ be a von Neumann algebra equipped with a faithful

3: semifinite normal weight

4: $\phi$ and $\mathcal N$ be a von Neumann subalgebra

5: of $\mathcal M$ such that the restriction of $\phi$ to $\mathcal N$ is

6: semifinite and such that $\mathcal N$ is invariant

7: by the modular group of $\phi$. Let $\mathcal E$ be the weight

8: preserving conditional expectation

9: from $\mathcal M$ onto $\mathcal N$. We prove the following inequality:

10: %

11: \[

12: \| x\|_{p}^2\ge\bigl\|\mathcal E(x)\bigr\|_p^2+(p-1)\bigl\| x-\mathcal E(x)\bigr\|

13: _p^2,\qquad x\in L_p(\mathcal M), 1<p\le2,

14: \]

15: %

16: which extends the celebrated Ball--Carlen--Lieb convexity inequality.

17: As an application we show that there exists $\varepsilon_0>0$

18: such that for any free group $\mathbb F_n$ and any $q\ge4-\varepsilon_0$,

19: %

20: \[

21: \| P_t\|_{2\to q}\le1\quad\Leftrightarrow\quad t\ge\log{

22: \sqrt{q-1}},

23: \]

24: %

25: where $(P_t)$ is the Poisson semigroup defined by the natural length

26: function of $\mathbb F_n$.

27: \end{abstract}