Let $\Free_n$ denote the free group with $n$ generators $g_1, g_2, ..., g_n$. Let $λ$ stand for the left regular representation of $\Free_n$ and let $τ$ be the standard trace associated to $λ$. Given any positive integer $d$, we study the operator space structure of the subspace $\Word_p(n,d)$ of $L_p(τ)$ generated by the family of operators $λ(g_{i_1}g_{i_2} ... g_{i_d})$ with $1 \le i_k \le n$. Moreover, our description of this operator space holds up to a constant which does not depend on $n$ or $p$, so that our result remains valid for infinitely many generators. We also consider the subspace of $L_p(τ)$ generated by the image under $λ$ of the set of reduced words of length $d$. Our result extends to any exponent $1 \le p \le \infty$ a previous result of Buchholz for the space $\Word_{\infty}(n,d)$. The main application is a certain interpolation theorem, valid for any degree $d$ (extending a result of the second author restricted to $d=1$). In the simplest case $d=2$, our theorem can be stated as follows: consider the space $\mathcal{K}_p$ formed of all block matrices $a=(a_{ij})$ with entries in the Schatten class $S_p$, such that $a$ is in $S_p$ relative to $\ell_2 \otimes \ell_2$ and moreover such that $(\sum_{ij} a_{ij}^* a_{ij} )^{1/2}$ and $(\sum_{ij} a_{ij} a_{ij}^*)^{1/2}$ both belong to $S_p$. We equip $\mathcal{K}_p$ with the maximum of the three corresponding norms. Then, for $2 \le p \le \infty$ we have $\mathcal{K}_p \simeq (\mathcal{K}_2, \mathcal{K}_\infty)_θ$ with $1/p = (1-θ)/2$.
We prove noncommutative Khintchine inequalities for all interpolation spaces between $L_p$ and $L_2$ with $p<2$. In particular, it follows that Khintchine inequalities hold in $L_{1,\infty}$. Using a similar method, we find a new deterministic equivalent for the $RC$-norm in all interpolation spaces between $L_p$-spaces which unifies the cases $p > 2$ and $p < 2$. It produces a new proof of Khintchine inequalities for $p<1$ for free variables. To complete the picture, we exhibit counter-examples which show that neither of the usual closed formulas for Khintchine inequalities can work in $L_{2,…
Normalized free semi-circular random variables satisfy an upper Khintchine inequality in $L_\infty$. We show that this implies the corresponding upper Khintchine inequality in any noncommutative Banach function space. As applications, we obtain a very simple proof of a well-known interpolation result for row and column operator spaces and, moreover, answer an open question on noncommutative moment inequalities concerning a paper by Bekjan and Chen.
We give a proof of the Khintchine inequalities in non-commutative $L_p$-spaces for all $0< p<1$. These new inequalities are valid for the Rademacher functions or Gaussian random variables, but also for more general sequences, e.g. for the analogues of such random variables in free probability. We also prove a factorization for operators from a Hilbert space to a non commutative $L_p$-space, which is new for $0<p<1$. We end by showing that Mazur maps are Hölder on semifinite von Neumann algebras. The main tool is a new form of Hölder inequality for non commutative Lp spaces with weights.
Let $0<p<q\leq\infty$ and $α\in (0,\infty]$. We give a characterization of quasi-Banach interpolation spaces for the couple $(L_p(0,α),L_q(0,α))$ in terms of two monotonicity properties, extending known results which mainly dealt with Banach spaces. This enables us to recover recent results of Cwikel and Nilsson on sequence spaces and to solve a conjecture of Levitina, Sukochev and Zanin in the setting of function spaces. We apply the results obtained to characterize symmetric spaces in which the standard forms of the noncommutative Khintchine inequalities hold.
We reprove an inequality for Rademacher series with coefficients in the Schatten class $S_1$. Our method yields the same estimate for coefficients after suitable gaps in $S_1$-valued trigonometric series; this was known for scalar-valued functions. A very similar method gives a new proof of the extension to $S_1$-valued $H^1$ functions of Paley's theorem about lacunary coefficients.
We obtain new proofs with improved constants of the Khintchine-type inequality with matrix coefficients in two cases. The first case is the Pisier and Lust-Piquard noncommutative Khintchine inequality for $p=1$, where we obtain the sharp lower bound of $\frac1{\sqrt{2}}$ in the complex Gaussian case and for the sequence of functions $\{e^{i2^nt}\}_{n=1}^\infty$ . The second case is Junge's recent Khintchine-type inequality for subspaces of the operator space $R\oplus C$, which he used to construct a cb-embedding of the operator Hilbert space $OH$ into the predual of a hyperfinite factor. Also …
We show that the validity of the non-commutative Khintchine inequality for some $q$ with $1<q<2$ implies its validity (with another constant) for all $1\le p<q$. We prove this for the inequality involving the Rademacher functions, but also for more general "lacunary" sequences, or even non-commutative analogues of the Rademacher functions. For instance, we may apply it to the "Z(2)-sequences" previously considered by Harcharras. The result appears to be new in that case. It implies that the space $\ell^n_1$ contains (as an operator space) a large subspace uniformly isomorphic (as an operator s…
We prove Khintchine type inequalities for words of a fixed length in a reduced free product of $C^*$-algebras (or von Neumann algebras). These inequalities imply that the natural projection from a reduced free product onto the subspace generated by the words of a fixed length $d$ is completely bounded with norm depending linearly on $d$. We then apply these results to various approximation properties on reduced free products. As a first application, we give a quick proof of Dykema's theorem on the stability of exactness under the reduced free product for $C^*$-algebras. We next study the stabi…
We prove the little Grothendieck theorem for any 2-convex noncommutative symmetric space. Let $\M$ be a von Neumann algebra equipped with a normal faithful semifinite trace $\t$, and let $E$ be an r.i. space on $(0, \8)$. Let $E(\M)$ be the associated symmetric space of measurable operators. Then to any bounded linear map $T$ from $E(\M)$ into a Hilbert space $\mathcal H$ corresponds a positive norm one functional $f\in E_{(2)}(\M)^*$ such that $$\forall x\in E(\M)\quad \|T(x)\|^2\le K^2 \|T\|^2 f(x^*x+xx^*),$$ where $E_{(2)}$ denotes the 2-concavification of $E$ and $K$ is a universal constan…
Graph products of groups were introduced by Green in her thesis. They have an operator algebraic counterpart introduced and explored by Fima and the first-named author. In this paper we prove Khintchine type inequalities for general C$^{\ast}$-algebraic graph products which generalize results by Ricard and Xu on free products of C$^{\ast}$-algebras. We apply these inequalities in the context of (right-angled) Hecke C$^{\ast}$-algebras, which are deformations of the group algebra of Coxeter groups. For these we deduce a Haagerup inequality. We further use this to study the simplicity and trace …
We give a method to obtain, from Voiculescu's inequality, norm estimates for sums of free variables with amalgamation in general fully symmetric spaces. We use these estimates to interpolate the Burkholder inequalities for non commutative martingales. The method is also applicable to other similar settings. In that spirit, we improve known results on the non commutative Johnson-Schechtman inequalities and recover Khintchine inequalities associated to free groups.
We determine the optimal orders for the best constants in the non-commutative Burkholder-Gundy, Doob and Stein inequalities obtained recently in the non-commutative martingale theory.
Let $\mathcal{A}$ denote the reduced amalgamated free product of a family $\mathsf{A}_1, \mathsf{A}_2, ..., \mathsf{A}_n$ of von Neumann algebras over a von Neumann subalgebra $\Be$ with respect to normal faithful conditional expectations $\Es_k: \mathsf{A}_k \to \Be$. We investigate the norm in $L_p(\Al)$ of homogeneous polynomials of a given degree $d$. We first generalize Voiculescu's inequality to arbitrary degree $d \ge 1$ and indices $1 \le p \le \infty$. This can be regarded as a free analogue of the classical Rosenthal inequality. Our second result is a length-reduction formula from wh…
We describe a new operator space structure on $L_p$ when $p$ is an even integer and compare it with the one introduced in our previous work using complex interpolation. For the new structure, the Khintchine inequalities and Burkholder's martingale inequalities have a very natural form:\ the span of the Rademacher functions is completely isomorphic to the operator Hilbert space $OH$, and the square function of a martingale difference sequence $d_n$ is $Σ\ d_n\otimes \bar d_n$. Various inequalities from harmonic analysis are also considered in the same operator valued framework. Moreover, the ne…
In this paper we extend a recent Pisier's inequality for p-orthogonal sums in non-commutative Lebesgue spaces. To that purpose, we generalize the notion of p-orthogonality to the class of multi-indexed families of operators. This kind of families appear naturally in certain non-commutative Khintchine type inequalities associated with free groups. Other p-orthogonal families are given by the homogeneous operator-valued polynomials in the Rademacher variables or the multi-indexed martingale difference sequences. As in Pisier's result, our tools are mainly combinatorial.
Results concerning recurrence and ergodicity are proved in an abstract Hilbert space setting based on the proof of Khintchine's recurrence theorem for sets, and on the Hilbert space characterization of ergodicity. These results are carried over to a non-commutative *-algebraic setting using the GNS-construction. This generalizes the corresponding measure theoretic results, in particular a variation of Khintchine's Theorem for ergodic systems, where the image of one set overlaps with another set, instead of with itself.
Finite Riesz products and Ornstein non-inequalities on quantum tori
Faculty of Mathematics, Informatics, and Mechanics University of Warsaw（华沙大学数学、信息学与机械学院）；Institute of Mathematics Polish Academy of Sciences（波兰科学院数学研究所）
We study dynamical optimal transport metrics between density matrices associated to symmetric Dirichlet forms on finite-dimensional $C^*$-algebras. Our setting covers arbitrary skew-derivations and it provides a unified framework that simultaneously generalizes recently constructed transport metrics for Markov chains, Lindblad equations, and the Fermi Ornstein--Uhlenbeck semigroup. We develop a non-nommutative differential calculus that allows us to obtain non-commutative Ricci curvature bounds, logarithmic Sobolev inequalities, transport-entropy inequalities, and spectral gap estimates.
We study the relations between (tight) logarithmic Sobolev inequalities, entropy decay and spectral gap inequalities for Markov evolutions on von Neumann algebras. We prove that log-Sobolev inequalities (in the non-commutative form defined by Olkiewicz and Zegarlinski) imply spectral gap inequalities, with optimal relation between the constants. Furthermore, we show that a uniform exponential decay of a proper relative entropy is equivalent to a modified version of log-Sobolev inequalities; this entropy decay turns out to be implied by the usual log-Sobolev inequality adding some regularity co…
We prove the free analogue of the transportation cost inequality for tracial distributions of non-commutative self-adjoint (also unitary) multi-variables based on random matrix approximation procedure.
We give an equivalent expression for the $K$-functional associated to the pair of operator spaces $(R,C)$ formed by the rows and columns respectively. This yields a description of the real interpolation spaces for the pair $(M_n(R), M_n(C))$ (uniformly over $n$). More generally, the same result is valid when $M_n$ (or $B(\ell_2)$) is replaced by any semi-finite von Neumann algebra. We prove a version of the non-commutative Khintchine inequalities (originally due to Lust--Piquard) that is valid for the Lorentz spaces $L_{p,q}(τ)$ associated to a non-commutative measure $τ$, simultaneously for t…
We prove the operator space Grothendieck inequality for bilinear forms on subspaces of noncommutative $L_p$-spaces with $2<p<\infty$. One of our results states that given a map $u: E\to F^*$, where $E, F\subset L_p(M)$ ($2<p<\infty$, $M$ being a von Neumann algebra), $u$ is completely bounded iff $u$ factors through a direct sum of a $p$-column space and a $p$-row space. We also obtain several operator space versions of the classical little Grothendieck inequality for maps defined on a subspace of a noncommutative $L_p$-space ($2<p<\infty$) with values in a $q$-column space for every $q\in [p'…
To each finite-dimensional operator space $E$ is associated a commutative operator algebra $UC(E)$, so that $E$ embeds completely isometrically in $UC(E)$ and any completely contractive map from $E$ to bounded operators on Hilbert space extends uniquely to a completely contractive homomorphism out of $UC(E)$. The unit ball of $UC(E)$ is characterized by a Nevanlinna factorization and transfer function realization. Examples related to multivariable von Neumann inequalities are discussed.
We give an alternate proof of one of the inequalities proved recently for martingales (=sums of martingale differences) in a non-commutative $L_p$-space, with $1<p<\infty$, by Q. Xu and the author. This new approach is restricted to $p$ an even integer, but it yields a constant which is $O(p)$ when $p\to \infty$ and it applies to a much more general kind of sums which we call $p$-orthogonal.
We extend Hardy's inequality from sequences of non-negative numbers to sequences of positive semi-definite operators if the parameter p satisfies 1<p<=2, and to operators under a trace for arbitrary p>1. Applications to trace functions are given. We introduce the tracial geometric mean and generalize Carleman's inequality. Key words and phrases: Hardy's inequality, positive operator, trace function, geometric mean, Carleman's inequality.
We prove that the twisted property RD fails to hold for all non Kac type, non amenable orthogonal free quantum groups. In the Kac case we revisit property RD, proving an analogue of the $L_p-L_2$ non-commutative Khintchine inequality for free groups. As an application, we give new and improved hypercontractivity and ultracontractivity estimates for the generalized heat semigroups on free orthogonal quantum groups, both in the Kac and non Kac cases.
We give a systematic study on the Hardy spaces of functions with values in the non-commutative $L^p$-spaces associated with a semifinite von Neumann algebra ${\cal}M.$ This is motivated by the works on matrix valued Harmonic Analysis (operator weighted norm inequalities, operator Hilbert transform), and on the other hand, by the recent development on the non-commutative martingale inequalities. Our non-commutative Hardy spaces are defined by the non-commutative Lusin integral function.
We introduce the non-commutative $f$-divergence functional $Θ(\widetilde{A},\widetilde{B}):=\int_TB_t^{\frac{1}{2}}f\left(B_t^{-\frac{1}{2}} A_tB_t^{-\frac{1}{2}}\right)B_t^{\frac{1}{2}}dμ(t)$ for an operator convex function $f$, where $\widetilde{A}=(A_t)_{t\in T}$ and $\widetilde{B}=(B_t)_{t\in T}$ are continuous fields of Hilbert space operators and study its properties. We establish some relations between the perspective of an operator convex function $f$ and the non-commutative $f$-divergence functional. In particular, an operator extension of Csiszár's result regarding $f$-divergence fun…
We prove that non-commutative martingale transforms are of weak type $(1,1)$. More precisely, there is an absolute constant $C$ such that if $\M$ is a semi-finite von Neumann algebra and $(\M_n)_{n=1}^\infty$ is an increasing filtration of von Neumann subalgebras of $\M$ then for any non-commutative martingale $x=(x_n)_{n=1}^\infty$ in $L^1(\M)$, adapted to $(\M_n)_{n=1}^\infty$, and any sequence of signs $(ε_n)_{n=1}^\infty$, $$\left\Vert ε_1 x_1 + \sum_{n=2}^N ε_n(x_n -x_{n-1}) \right\Vert_{1,\infty} \leq C \left\Vert x_N \right\Vert_1 $$ for $N\geq 2$. This generalizes a result of Burkholde…
We show norm estimates for the sum of independent random variables in noncommutative $L_p$-spaces for $1<p<\infty$ following our previous work. These estimates generalize the classical Rosenthal inequality in the commutative case. Among applications, we derive an equivalence for the $p$-norm of the singular values of a random matrix with independent entries, and characterize those symmetric subspaces and unitary ideals which can be realized as subspaces of a noncommutative $L_p$ for $2<p<\infty$.
We prove a deviation inequality for noncommutative martingales by extending Oliveira's argument for random matrices. By integration we obtain a Burkholder type inequality with satisfactory constant. Using continuous time, we establish noncommutative Poincaré type inequalities for "nice" semigroups with a positive curvature condition. These results allow us to prove a general deviation inequality and a noncommutative transportation inequality due to Bobkov and Götze in the commutative case. To demonstrate our setting is general enough, we give various examples, including certain group von Neuma…
We prove a weak-type (1,1) inequality for square functions of non-commutative martingales that are simultaneously bounded in $L^2$ and $L^1$. More precisely, the following non-commutative analogue of a classical result of Burkholder holds: there exists an absolute constant $K>0$ such that if $\cal{M}$ is a semi-finite von Neumann algebra and $(\cal{M}_n)^{\infty}_{n=1}$ is an increasing filtration of von Neumann subalgebras of $\cal{M}$ then for any given martingale $x=(x_n)^{\infty}_{n=1}$ that is bounded in $L^2(\cal{M})\cap L^1(\cal{M})$, adapted to $(\cal{M}_n)^{\infty}_{n=1}$, there exist…
We obtain dimension free estimates for noncommutative Riesz transforms associated to conditionally negative length functions on group von Neumann algebras. This includes Poisson semigroups, beyond Bakry's results in the commutative setting. Our proof is inspired by Pisier's method and a new Khintchine inequality for crossed products. New estimates include Riesz transforms associated to fractional laplacians in $\mathbb{R}^n$ (where Meyer's conjecture fails) or to the word length of free groups. Lust-Piquard's work for discrete laplacians on LCA groups is also generalized in several ways. In th…
In this paper, we calculate the norm of the string Fourier transform on subfactor planar algebras and characterize the extremizers of the inequalities for parameters $0<p,q\leq \infty$. Furthermore, we establish Rényi entropic uncertainty principles for subfactor planar algebras.
Let E be a separable (or the dual of a separable) symmetric function space, let M be a semifinite von Neumann algebra and let E(M) be the associated noncommutative function space. Let $(ε_k)_k$ be a Rademacher sequence, on some probability space $Ω$. For finite sequences $(x_k)_k of E(M), we consider the Rademacher averages $\sum_k ε_k\otimes x_k$ as elements of the noncommutative function space $E(L^\infty(Ω)\otimes M)$ and study estimates for their norms $\Vert \sum_k ε_k \otimes x_k\Vert_E$ calculated in that space. We establish general Khintchine type inequalities in this context. Then we …
In this paper, we establish the quantitative mean ergodic theorems for two subclasses of power bounded operators on a fixed noncommutative $L_p$-space with $1<p<\infty$, which mainly concerns power bounded invertible operators and Lamperti contractions. Our approach to the quantitative ergodic theorems is the noncommutative square function inequalities. The establishment of the latter involves several new ingredients such as the almost orthogonality and Calderón-Zygmund arguments for non-smooth kernels from semi-commutative harmonic analysis, the extension properties of the operators under con…
We discuss a version of Pythagoras theorem in noncommutative geometry. Usual Pythagoras theorem can be formulated in terms of Connes' distance, between pure states, in the product of commutative spectral triples. We investigate the generalization to both non pure states and arbitrary spectral triples. We show that Pythagoras theorem is replaced by some Pythagoras inequalities, that we prove for the product of arbitrary (i.e. non-necessarily commutative) spectral triples, assuming only some unitality condition. We show that these inequalities are optimal, and provide non-unital counter-examples…
From Kümmerer's investigations on stationary Markov processes has emerged an operator algebraic definition of white noises which captures many examples from classical as well as from non-commutative probability. Within non-commutative $L^p$-spaces associated to a white noise, the role of (non-)commutative Lévy processes is played by additive cocycles for the white noise shift, and moreover, the notion for exponentials of classical Lévy processes is generalized by unitary cocycles. As a main result we report a bijective correspondence between additive and unitary cocycles for white noise shifts…
Let A be a C*-algebra and A** its enveloping von Neumann algebra. C. Akemann suggested a kind of non-commutative topology in which certain projections in A** play the role of open sets. The adjectives "open", "closed", "compact", and "relatively compact" all can be applied to projections in A**. Two operator inequalities were used by Akemann in connection with compactness. Both of these inequalities are equivalent to compactness for a closed projection in A**, but only one is equivalent to relative compactness for a general projection. A third operator inequality, also related to compactness, …
In this paper we investigate asymmetric forms of Doob maximal inequality. The asymmetry is imposed by noncommutativity. Let $(\M,τ)$ be a noncommutative probability space equipped with a weak-$*$ dense filtration of von Neumann subalgebras $(\M_n)_{n \ge 1}$. Let $\E_n$ denote the corresponding family of conditional expectations. As an illustration for an asymmetric result, we prove that for $1 < p < 2$ and $x \in L_p(\M,τ)$ one can find $a, b \in L_p(\M,τ)$ and contractions $u_n, v_n \in \M$ such that $$\E_n(x) = a u_n + v_n b \quad \mbox{and} \quad \max \big\{ \|a\|_p, \|b\|_p \big\} \le c_p…
Let $f_1, f_2, ..., f_n$ be a family of independent copies of a given random variable f in a probability space $(Ω, \mathcal{F}, μ)$. Then, the following equivalence of norms holds whenever $1 \le q \le p < \infty$ $$\Big(\int_Ω \Big[ \sum_{k=1}^n |f_k|^q \Big]^{\frac{p}{q}} d μ\Big)^{\frac1p} \sim \max_{r \in \{p,q\}} {n^{\frac1r} \Big(\int_Ω|f|^r dμ\Big)^{\frac1r}}.$$ We prove a noncommutative analogue of this inequality for sums of free random variables over a given von Neumann subalgebra. This formulation leads to new classes of noncommutative function spaces which appear in quantum probab…
