In this work we investigate semigroups of operators acting on noncommutative $L^p$-spaces. We introduce noncommutative square functions and their connection to sectoriality, variants of Rademacher sectoriality, and $H^\infty$ functional calculus. We discuss several examples of noncommutative diffusion semigroups. This includes Schur multipliers, $q$-Ornstein-Uhlenbeck semigroups, and the noncommutative Poisson semigroup on free groups.
In this paper, we introduce a parametric pseudodifferential calculus on noncommutative $n$-tori which is a natural nest for resolvents of elliptic pseudodifferential operators. Unlike in some previous approaches to parametric pseudodifferential calculi, our parametric pseudodifferential calculus contains resolvents of elliptic pseudodifferential operators that need not be differential operators. As an application we show that complex powers of positive elliptic pseudodifferential operators on noncommutative $n$-tori are pseudodifferential operators. This confirms a claim of Fathi-Ghorbanpour-K…
General results of interpolation (eg. Nevanlinna-Pick) by elements in the noncommutative analytic Toeplitz algebra $F^\infty$ (resp. noncommutative disc algebra $A_n$) with consequences to the interpolation by bounded operator-valued analytic functions in the unit ball of ${\bf C}^n$ are obtained. Non-commutative Poisson transforms are used to provide new von Neumann type inequalities. Completely isometric representations of the quotient algebra $F^\infty/J$ on Hilbert spaces, where $J$ is any $w^*$-closed, 2-sided ideal of $F^\infty$, are obtained and used to construct a $w^*$-continuous, $F^…
This note deals with the boundedness of the $H^\infty$ functional calculus of Ritt operators $T$ and associated square function estimates. The purpose is to give a shorter, concise and slightly more general approach towards Le~Merdy's results [19] on this subject.
In this paper we extend the $H^\infty$ functional calculus to quaternionic operators and to $n$-tuples of noncommuting operators using the theory of slice hyperholomorphic functions and the associated functional calculus, called $S$-functional calculus. The $S$-functional calculus has two versions one for quaternionic-valued functions and one for Clifford algebra-valued functions and can be considered the Riesz-Dunford functional calculus based on slice hyperholomorphicity because it shares with it the most important properties. The $S$-functional calculus is based on the notion of $S$-spectru…
We develop a very general operator-valued functional calculus for operators with an $H^{\infty}-$calculus. We then apply this to the joint functional calculus of two commuting sectorial operators when one has an $H^{\infty}$calculus. Using this we prove theorem of Dore-Venni type on sums of commuting sectorial operators and apply our results to the problem of $L_p-$maximal regularity. Our main assumption is the R-boundedness of certain sets of operators, and therefore methods from the geometry of Banach spaces are essential here. In the final section we exploit the special Banach space structu…
By using an $H^{\infty}$ joint functional calculus for strongly commuting operators, we derive a scheme to deduce the $L^p$ boundedness of certain $d$-dimensional Riesz transforms from the $L^p$ boundedness of appropriate one-dimensional Riesz transforms. Moreover, the $L^p$ bounds we obtain are independent of the dimension. The scheme is applied to Riesz transforms connected with orthogonal expansions and discrete Riesz transforms on products of groups with polynomial growth.
Let T_t = e^{-tA} be a bounded analytic semigroup on Lp, with 1<p<\infty. It is known that if A and its adjoint A^* both satisfy square function estimates \bignorm{\bigl(\int_{0}^{\infty}| A^{1/2} T_t(x)|^2\, dt\,\bigr)^{1/2}_{Lp} \lesssim \norm{x} and \bignorm{\bigl(\int_{0}^{\infty}|A^{*}^{1/2} T_t^*(y)|^2\, dt\,\bigr)^{1/2}_{Lp'} \lesssim \norm{y} for x in Lp and y in Lp', then A admits a bounded H^{\infty}(Σ_θ) functional calculus for any θ>\fracπ{2}. We show that this actually holds true for some θ<\fracπ{2}.
This paper is devoted to the multivariable $H^\infty$ functional calculus associated with a finite commuting family of sectorial operators on Banach space. First we prove that if $(A_1,\ldots, A_d)$ is such a family, if $A_k$ is $R$-sectorial of $R$-type $ω_k\in(0,π)$, $k=1,\ldots,d$, and if $(A_1,\ldots, A_d)$ admits a bounded $H^\infty(Σ_{θ_1}\times \cdots\timesΣ_{θ_d})$ joint functional calculus for some $θ_k\in (ω_k,π)$, then it admits a bounded $H^\infty(Σ_{θ_1}\times \cdots\timesΣ_{θ_d})$ joint functional calculus for all $θ_k\in (ω_k,π)$, $k=1,\ldots,d$. Second we introduce square funct…
We study bounded holomorphic functional calculus for nonsymmetric infinite dimensional Ornstein-Uhlenbeck operators ${\mathscr L}$. We prove that if $-{\mathscr L}$ generates an analytic semigroup on $L^{2}(γ_{\infty})$, then ${\mathscr L}$ has bounded holomorphic functional calculus on $L^{r}(γ_{\infty})$, $1<r<\infty$, in any sector of angle $θ>θ^{*}_{r}$, where $γ_{\infty}$ is the associated invariant measure and $θ^{*}_{r}$ the sectoriality angle of ${\mathscr L}$ on $L^{r}(γ_{\infty})$. The angle $θ^{*}_{r}$ is optimal. In particular our result applies to any nondegenerate finite dimensio…
We show that a bounded analytic semigroup on an $L_p$-space has a bounded $H^{\infty}(Σ_φ)$-calculus for some $φ< \fracπ{2}$ if and only if the semigroup can be obtained, after restricting to invariant subspaces, factorizing through invariant subspaces and similarity transforms, from a bounded analytic semigroup on some bigger $L_p$-space which is positive and contractive on the real line.
We transfer a large part of the circle of theorems characterizing the generalization of classical $H^\infty$ known as `weak* Dirichlet algebras', to Arveson's noncommutative setting of subalgebras of finite von Neumann algebras.
We introduce and investigate $H^\infty$-functional calculus for commuting finite families of Ritt operators on Banach space $X$. We show that if either $X$ is a Banach lattice or $X$ or $X^*$ has property $(α)$, then a commuting $d$-tuple $(T_1,\ldots, T_d)$ of Ritt operators on $X$ has an $H^\infty$ joint functional calculus if and only if each $T_k$ admits an $H^\infty$ functional calculus. Next for $p\in(1,\infty)$, we characterize commuting $d$-tuple of Ritt operators on $L^p(Ω)$ which admit an $H^\infty$ joint functional calculus, by a joint dilation property. We also obtain a similar cha…
We show that any bounded analytic semigroup on $L^p$ (with $1<p<\infty$) whose negative generator admits a bounded $H^{\infty}$ functional calculus with respect to some angle $< π/2$ can be dilated into a bounded analytic semigroup $(R_t)_{t\geq 0}$ on a bigger $L^p$-space in such a way that $R_t$ is a positive contraction for any $t$. We also establish a discrete analogue for Ritt operators and consider the case when $L^p$-spaces are replaced by more general Banach spaces. In connection with these functional calculus issues, we study isometric dilations of bounded continuous representations o…
We prove that the negative infinitesimal generator $L$ of a semigroup of positive contractions on $L^\infty$ has a bounded $H^\infty(S_η^0)$-calculus on the associated Poisson semigroup-BMO space for any angle $η>π/2$, provided the semigroup satisfies Bakry-Emry's $Γ_2 $ criterion. Our arguments only rely on the properties of the underlying semigroup and works well in the noncommutative setting. A key ingredient of our argument is a quasi monotone property for the subordinated semigroup $T_{t,α}=e^{-tL^α},0<α<1$, that is proved in the first half of the article.
Given a Hilbert space and the generator $A$ of a strongly continuous, exponentially stable, semigroup on this Hilbert space. For any $g(-s) \in {\mathcal H}_{\infty}$ we show that there exists an infinite-time admissible output operator $g(A)$. If $g$ is rational, then this operator is bounded, and equals the "normal" definition of $g(A)$. In particular, when $g(s)=1/(s + α)$, $ α\in {\mathbb C}_0^+$, then this admissible output operator equals $(αI - A)^{-1}$. Although in general $g(A)$ may be unbounded, we always have that $g(A)$ multiplied by the semigroup is a bounded operator for every (s…
Using notions from the geometry of Banach spaces we introduce square functions $γ(Ω,X)$ for functions with values in an arbitrary Banach space $X$. We show that they have very convenient function space properties comparable to the Bochner norm of $L_2(Ω,H)$ for a Hilbert space $H$. In particular all bounded operators $T$ on $H$ can be extended to $γ(Ω,X)$ for all Banach spaces $X$. Our main applications are characterizations of the $H^{\infty}$--calculus that extend known results for $L_p$--spaces from \cite{CowlingDoustMcIntoshYagi}. With these square function estimates we show, e. g., that a…
In [9], we observed Amalgamated R-transform Theory. Different from the original definition of Voiculescu and Speicher, we define R-transforms of operator-valued random variable(s) by operator-valued formal series. By doing that we can establish Amalgamated R-transform calculus. In this paper, we will concentrate on observing R-transforms on a tower of amalgamated noncommutative probability spaces. We will consider the R-transform calculus and relation between R-transforms on the tower and distributions with respect to the tower. As application, we will observe the compatibility of the given to…
The goal of the present paper is to introduce and study noncommutative Hardy spaces associated with the regular $Λ$-polyball, to develop a functional calculus on noncommutative Hardy spaces for the completely non-coisometric (c.n.c.) $k$-tuples in ${\bf B}_Λ(H)$, and to study the characteristic functions and the associated multi-analytic models for the c.n.c. elements in the regular $Λ$-polyball. In addition, we show that the characteristic function is a complete unitary invariant for the class of c.n.c. $k$-tuples in ${\bf B}_Λ(H)$. These results extend the corresponding classical results of …
In this article, we first study, in the framework of operator theory, Pusz and Woronowicz's functional calculus for pairs of bounded positive operators on Hilbert spaces associated with a homogeneous two-variable function on $[0,\infty)^2$. Our construction has special features that functions on $[0,\infty)^2$ are assumed only locally bounded from below and that the functional calculus is allowed to take extended semibounded self-adjoint operators. To analyze convexity properties of the functional calculus, we extend the notion of operator convexity for real functions to that for functions wit…
In this paper, we will consider R-transform theory and R-transform calculus for compatible noncommutative probability space and amagamated noncommutative probability space. By doing this, we can realize the relation between scalar-valued R-transforms and operator-valued moment series, under the compatibility. Also, we can see that there is a big gap between freeness and amalgamated freeness.
We establish the existence of a bounded $H_\infty$-calculus for a large class of hypoelliptic pseudodifferential operators on R^n and closed manifolds.
We prove that parameter-elliptic extensions of cone differential operators have a bounded $H_\infty$-calculus. Applications concern the Laplacian and the porous medium equation on manifolds with warped conical singularities.
Let $\mathcal{M}$ be a semifinite von Nemann algebra equipped with an increasing filtration $(\mathcal{M}_n)_{n\geq 1}$ of (semifinite) von Neumann subalgebras of $\M$. For $0<p \leq\infty$, let $\h_p^c(\mathcal{M})$ denote the noncommutative column conditioned martingale Hardy space associated with the filtration $(\mathcal{M}_n)_{n\geq 1}$ and the index $p$. We prove that for $0<p<\infty$, the compatible couple $\big(\h_p^c(\mathcal{M}), \h_\infty^c(\mathcal{M})\big)$ is $K$-closed in the couple $\big(L_p(\mathcal{N}), L_\infty(\mathcal{N}) \big)$ for an appropriate amplified semifinite von …
We prove that the homogeneous functional calculus associated to $x\mapsto |x|^θ$ or $x\mapsto {\rm sgn}\, (x) |x|^θ$ for $0<θ<1$ is $θ$-Hölder on selfadjoint elements of noncommutative $L_p$-spaces for $0<p\leq\infty$ with values in $L_{p/θ}$. This extends an inequality of Birman, Koplienko and Solomjak also obtained by Ando.
Let $(T_t)_{t \geq 0}$ be a markovian (resp. submarkovian) semigroup on some $σ$-finite measure space $(Ω,μ)$. We prove that its negative generator $A$ has a bounded $H^\infty(Σ_θ)$ calculus on the weighted space $L^2(Ω,wdμ)$ as long as the weight $w : Ω\to (0,\infty)$ has finite characteristic defined by $Q^A_2(w) = \sup_{t > 0} \left\| T_t(w) T_t \left(w^{-1} \right) \right\|_{L^\infty(Ω)}$ (resp. by a variant for submarkovian semigroups). Some additional technical conditions on the semigroup have to be imposed and their validity in examples is discussed. Any angle $θ> \fracπ{2}$ is admissib…
We derive conditions that ensure the existence of a bounded $H_\infty$-calculus in weighted $L_p$-Sobolev spaces for closed extensions $\underline{A}_T$ of a differential operator $A$ on a conic manifold with boundary, subject to differential boundary conditions $T$. In general, these conditions ask for a particular pseudodifferential structure of the resolvent $(λ-\underline{A}_T)^{-1}$ in a sector $Λ\subset\mathbf{C}$. In case of the minimal extension they reduce to parameter-ellipticity of the boundary value problem $(A,T)$. Examples concern the Dirichlet and Neumann Laplacians.
On a manifold $X$ with boundary and bounded geometry we consider a strongly elliptic second order operator $A$ together with a degenerate boundary operator $T$ of the form $T=φ_0γ_0 + φ_1γ_1$. Here $γ_0$ and $γ_1$ denote the evaluation of a function and its exterior normal derivative, respectively, at the boundary. We assume that $φ_0,φ_1\in C^{\infty}_b(\partial X)$, $φ_0,φ_1\ge 0$, and $φ_0+φ_1\geq c$, for some $c>0$. We also assume that the highest order coefficients of $A$ belong to $C^τ(X)$ for some $τ>0$ and the lower order coefficients are in $L_\infty(X)$. We show that the $L_p(X)$-rea…
We compare various functional calculus properties of Ritt operators. We show the existence of a Ritt operator T : X --> X on some Banach space X with the following property: T has a bounded $\H^\infty$ functional calculus with respect to the unit disc $\D$ (that is, T is polynomially bounded) but T does not have any bounded $\H^\infty$ functional calculus with respect to a Stolz domain of $\D$ with vertex at 1. Also we show that for an R-Ritt operator, the unconditional Ritt condition of Kalton-Portal is equivalent to the existence of a bounded $\H^\infty$ functional calculus with respect to s…
In this paper, we study the hyperbolic geometry of noncommutative balls generated by the joint operator radius $ω_ρ$, $ρ\in (0,\infty]$, for $n$-tuples of bounded linear operators on a Hilbert space. In particular, $ω_1$ is the operator norm, $ω_2$ is the joint numerical radius, and $ω_\infty$ is the joint spectral radius. We provide mapping theorems, von Neumann inequalities, and Schwarz type lemmas for free holomorphic functions on noncommutative balls, with respect to the hyperbolic metric $δ_ρ$, the Carath\' eodory metric $d_K$, and the joint operator radius $ω_ρ$.
We study quantum Dirichlet forms and the associated symmetric quantum Markov semigroups on noncommutative $L^2$ spaces. It is known from the work of Cipriani and Sauvageot that these semigroups induce a first order differential calculus, and we use this differential calculus to define a noncommutative transport metric on the set of density matrices. This construction generalizes both the $L^2$-Wasserstein distance on a large class of metric spaces as well as the discrete transport distance introduced by Maas, Mielke, and Chow-Huang-Li-Zhou. Assuming a Bakry-Émery-type gradient estimate, we sho…
Noncommutative Euclidean spaces -- otherwise known as Moyal spaces or quantum Euclidean spaces -- are a standard example of a non-compact noncommutative geometry. Recent progress in the harmonic analysis of these spaces gives us the opportunity to highlight some of their peculiar features. For example, the theory of nonlinear partial differential equations has unexpected properties in this noncommutative setting. We develop elementary aspects of paradifferential calculus for noncommutative Euclidean spaces and give some applications to nonlinear evolution equations. We demonstrate how the anal…
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'…
We prove inequalities involving noncommutative differentially subordinate martingales. More precisely, we prove that if $x$ is a self-adjoint noncommutative martingale and $y$ is weakly differentially subordinate to $x$ then $y$ admits a decomposition $dy=a +b +c$ (resp. $dy=z +w$) where $a$, $b$, and $c$ are adapted sequences (resp. $z$ and $w$ are martingale difference sequences) such that: $$ \Big\| (a_n)_{n\geq 1}\Big\|_{L_{1,\infty}({\mathcal M}\overline{\otimes}\ell_\infty)} +\Big\| \Big(\sum_{n\geq 1} \mathcal{E}_{n-1}|b_n|^2 \Big)^{{1}/{2}}\Big\|_{1, \infty} + \Big\| \Big(\sum_{n\geq 1…
We give sufficient conditions on an operator space $E$ and on a semigroup of operators on a von Neumann algebra $M$ to obtain a bounded analytic or a $R$-analytic semigroup $(T_t \otimes Id_E)_{t \geq 0}$ on the vector valued noncommutative $L^p$-space $L^p(M,E)$. Moreover, we give applications to the $H^\infty(Σ_θ)$ functional calculus of the generators of these semigroups, generalizing some earlier work of M. Junge, C. Le Merdy and Q. Xu.
The theory of one-sided $M$-ideals and multipliers of operator spaces is simultaneously a generalization of classical $M$-ideals, ideals in operator algebras, and aspects of the theory of Hilbert $C^*$-modules and their maps. Here we give a systematic exposition of this theory; a reference tool for `noncommutative functional analysts' who may encounter a one-sided $M$-ideal or multiplier in their work.
Let $\mathcal{M}$ be a semifinite von Nemann algebra equipped with an increasing filtration $(\mathcal{M}_n)_{n\geq 1}$ of (semifinite) von Neumann subalgebras of $\mathcal{M}$. For $0<p <\infty$, let $\mathsf{h}_p^c(\mathcal{M})$ denote the noncommutative column conditioned martingale Hardy space and $\bmo^c(\M)$ denote the column \lq\lq little\rq\rq \ martingale BMO space associated with the filtration $(\mathcal{M}_n)_{n\geq 1}$. We prove the following real interpolation identity: if $0<p <\infty$ and $0<θ<1$, then for $1/r=(1-θ)/p$, \[ \big(\mathsf{h}_p^c(\mathcal{M}), \bmo^c(\mathcal{M})\…
We investigate the boundedness of the $H^\infty$-calculus by estimating the bound $b(\varepsilon)$ of the mapping $H^{\infty}\rightarrow \mathcal{B}(X)$: $f\mapsto f(A)T(\varepsilon)$ for $\varepsilon$ near zero. Here, $-A$ generates the analytic semigroup $T$ and $H^{\infty}$ is the space of bounded analytic functions on a domain strictly containing the spectrum of $A$. We show that $b(\varepsilon)=\mathcal{O}(|\log\varepsilon|)$ in general, whereas $b(\varepsilon)=\mathcal{O}(1)$ for bounded calculi. This generalizes a result by Vitse and complements work by Haase and Rozendaal for non-analy…
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 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$.
For any Ritt operator $T$ acting on a noncommutative $L^p$-space, we define the notion of \textit{completely} bounded functional calculus $H^\infty(B_γ)$ where $B_γ$ is a Stolz domain. Moreover, we introduce the `column square functions' $\norm{x}_{T,c,α}=\Bnorm{\Big(\sum_{k=1}^{+\infty}k^{2α-1}|T^{k-1}(I-T)^α(x)|^2\Big)^{1/2}}_{L^p(M)}$ and the `row square functions' $\norm{x}_{T,r,α}=\Bnorm{\Big(\sum_{k=1}^{+\infty}k^{2α-1} |\Big(T^{k-1}(I-T)^α(x)\Big)^*|^2\Big)^{1/2}}_{L^p(M)}$ for any $α>0$ and any $x\in L^p(M)$. Then, we provide an example of Ritt operator which admits a completely bounde…
Given a function $f: (a,b) \rightarrow \mathbb{R},$ Löwner's theorem states $f$ is monotone when extended to self-adjoint matrices via the functional calculus, if and only if $f$ extends to a self-map of the complex upper half plane. In recent years, several generalizations of Löwner's theorem have been proven in several variables. We use the relaxed Agler, McCarthy and Young theorem on locally matrix monotone functions in several commuting variables to generalize results in the noncommutative case. Specifically, we show that a real free function defined over an operator system must analytical…
Noncommutative functions are graded functions between sets of square matrices of all sizes over two vector spaces that respect direct sums and similarities. They possess very strong regularity properties (reminiscent of the regularity properties of usual analytic functions) and admit a good difference-differential calculus. Noncommutative functions appear naturally in a large variety of settings: noncommutative algebra, systems and control, spectral theory, and free probability. Starting with pioneering work of J.L. Taylor, the theory was further developed by D.-V. Voiculescu, and established …
