It is well-known that if T is a D_m-D_n bimodule map on the m by n complex matrices, then T is a Schur multiplier and $\|T\|_{cb}=\|T\|$. If n=2 and T is merely assumed to be a right D_2-module map, then we show that $\|T\|_{cb}=\|T\|$. However, this property fails if m>1 and n>2. For m>1 and n=3,4 or $n\geq m^2$, we give examples of maps T attaining the supremum C(m,n)=\sup \|T\|_{cb} taken over the contractive, right D_n-module maps on M_{m,n}, we show that C(m,m^2)=\sqrt{m} and succeed in finding sharp results for C(m,n) in certain other cases. As a consequence, if H is an infinite-dimensional Hilbert space and D is a masa in B(H), then there is a bounded right D-module map on the compact operators K(H) which is not completely bounded.
We characterize completely bounded normal Jordan $*$-homomorphisms acting on von Neumann algebras. We also characterize completely positive isometries acting on noncommutative $\mathrm{L}^p$-spaces.
We provide alternative proofs of two recent Grothendieck theorems for jointly completely bounded bilinear forms, originally due to Pisier and Shlyakhtenko (Invent. Math. 2002) and Haagerup and Musat (Invent. Math. 2008). Our proofs are elementary and are inspired by the so-called embezzlement states in quantum information theory. Moreover, our proofs lead to quantitative estimates.
A very general KSGNS type dilation theorem in the context of right (not necessarily Hilbert) modules over $C^*$-algebras is presented. The proof uses Kolmogorov type decompositions for positive-definite kernels with values in spaces of sesquilinear maps. More specific functional analytic applications are obtained by adding assumptions.
Given a locally compact quantum group $\mathbb G$, we study the structure of completely bounded homomorphisms $π:L^1(\mathbb G)\rightarrow\mathcal B(H)$, and the question of when they are similar to $\ast$-homomorphisms. By analogy with the cocommutative case (representations of the Fourier algebra $A(G)$), we are led to consider the associated map $π^*:L^1_\sharp(\mathbb G) \rightarrow \mathcal B(H)$ given by $π^*(ω) = π(ω^\sharp)^*$. We show that the corepresentation $V_π$ of $L^\infty(\mathbb G)$ associated to $π$ is invertible if and only if both $π$ and $π^*$ are completely bounded. Moreo…
We prove that if $G$ is a discrete group and $(A,G,α)$ is a C*-dynamical system such that the reduced crossed product $A\rtimes_{r,α} G$ possesses property (SOAP) then every completely compact Herz-Schur $(A,G,α)$-multiplier can be approximated in the completely bounded norm by Herz-Schur $(A,G,α)$-multipliers of finite rank. As a consequence, if $G$ has the approximation property (AP) then the completely compact Herz-Schur multipliers of $A(G)$ coincide with the closure of $A(G)$ in the completely bounded multiplier norm. We study the class of invariant completely compact Herz-Schur multiplie…
We provide a description of certain invariance properties of completely bounded bimodule maps in terms of their symbols. If $\mathbb{G}$ is a locally compact quantum group, we characterise the completely bounded $L^{\infty}(\mathbb{G})'$-bimodule maps that send $C_0(\hat{\mathbb{G}})$ into $L^{\infty}(\hat{\mathbb{G}})$ in terms of the properties of the corresponding elements of the normal Haagerup tensor product $L^{\infty}(\mathbb{G}) \otimes_{σ{\rm h}} L^{\infty}(\mathbb{G})$. As a consequence, we obtain an intrinsic characterisation of the normal completely bounded $L^{\infty}(\mathbb{G})'…
Schur Multipliers with Unequal Operator and Completely Bounded Norms on $S_p$, $1<p\ne 2<\infty $
Institute for Advanced Study in Mathematics of HIT, Harbin Institute of Technology（哈尔滨工业大学数学高等研究院）；School of Mathematics and Statistics, University of New South Wales（新南威尔士大学数学与统计学院）；Department of Mathematics, New Uzbekistan University（新乌兹别克斯坦大学数学系）；V. I. Romanovsky Institute of Mathematics of the Academy of Sciences of Uzbekistan（乌兹别克斯坦科学院V.I.罗曼诺夫斯基数学研究所）
We estimate the norms of many matrix coefficients of irreducible uniformly bounded representations of SL(2, R) as completely bounded multipliers of the Fourier algebra. Our results suggest that the known inequality relating the uniformly bounded norm of a representation and the completely bounded norm of its coefficients may not be optimal.
A result of Gilbert shows that every completely bounded multiplier $f$ of the Fourier algebra $A(G)$ arises from a pair of bounded continuous maps $α,β:G \rightarrow K$, where $K$ is a Hilbert space, and $f(s^{-1}t) = (β(t)|α(s))$ for all $s,t\in G$. We recast this in terms of adjointable operators acting between certain Hilbert C$^*$-modules, and show that an analogous construction works for completely bounded left multipliers of a locally compact quantum group. We find various ways to deal with right multipliers: one of these involves looking at the opposite quantum group, and this leads to …
We study the closure of the unitary orbit of a given point in the non-commutative Choquet boundary of a unital operator space with respect to the topology of pointwise norm convergence. This may be described more extensively as the $\ast$-representations of the $\mathrm{C}^{\ast}$-envelope that are approximately unitarily equivalent to one that possesses the unique extension property. Although these $\ast$-representations do not necessarily have the unique extension property themselves, we show that their unital completely positive extensions display significant restrictions. When the underlyi…
Suppose $α$ is a rotationally symmetric norm on $L^{\infty}\left(\mathbb{T}\right) $ and $β$ is a "nice" norm on $L^{\infty}\left(Ω,μ\right) $ where $μ$ is a $σ$-finite measure on $Ω$. We prove a version of Beurling's invariant subspace theorem for the space $L^β\left(μ,H^α\right) .$ Our proof uses the recent version of Beurling's theorem on $H^α\left(\mathbb{T}\right) $ proved by the first author and measurable cross-section techniques. Our result significantly extends a result of H. Rezaei, S. Talebzadeh, and D. Y. Shin.
Let G be a locally compact group, M(G) denote its measure algebra and L^1(G) denote its group algebra. Also, let pi:G->U(H) be a strongly continuous unitary representation, and let CB^{sigma}(B(H)) be the space of normal completely bounded maps on B(H). We study the range of the map Gamma_pi:M(G)->CB^sigma(B(H)), Gamma_pi(mu)= int_G pi(s)\otimes pi(s)^*dmu(s) where we identify CB^sigma(B(H)) with the extended Haagerup tensor product B(H)\otimes^{eh}B(H)$. We use the fact that the C*-algebra generated by integrating pi to L^1(G) is unital exactly when pi is norm continuous to show that Gamma_pi…
We develop the notions of hypercontractivity (HC) and the log-Sobolev (LS) inequality for completely bounded norms of one-parameter semigroups of super-operators acting on matrix algebras. We prove the equivalence of the completely bounded versions of HC and LS under suitable hypotheses. We also prove a version of the Gross Lemma which allows LS at general $q$ to be deduced from LS at $q=2$.
In 2015, Yanni Chen, Don Hadwin and Junhao Shen proved a noncommutative version of Beurling's theorems for a continuous unitarily invariant norm $% α$ on a tracial von Neumann algebra $\left( \mathcal{M},τ\right) $ where $α$ is $\left\Vert \cdot \right\Vert _{1}$-dominating with respect to $τ$. In the paper, we first define a class of norms $% N_{Δ}\left( \mathcal{M},τ\right) $ on $\mathcal{M}$, called determinant, normalized, unitarily invariant continuous norms on $\mathcal{M}$. If $α\in N_{Δ}\left( \mathcal{M},τ\right) $, then there exists a faithful normal tracial state $ρ$ on $\mathcal{M}…
King and Ruskai asked whether the norm of a completely positive map acting between Schatten classes of operators is equal to that of its restriction to the real subspace of self-adjoint operators. Proofs have been promptly supplied by Watrous and Audenaert. Here we provide one more proof, in fact of a slightly more general fact, under the (slightly weaker) assumption of 2-positivity. The argument is elementary and self-contained.
In this paper we generalize the results shown by Das and Peterson. Let $M$ be a ${\rm II}_1$-factor acting on $L^2(M)$. We consider certain unital normal completely positive maps on $B(L^2(M))$ which are identity on $M$. We investigate their fixed point spaces and obtain a rigidity result. As an application, we show some results of subfactors.
Let $A(G)$ and $B(H)$ be the Fourier and Fourier-Stieltjes algebras of locally compact groups $G$ and $H$, respectively. Ilie and Spronk have shown that continuous piecewise affine maps $α: Y \subseteq H\rightarrow G$ induce completely bounded homomorphisms $Φ:A(G)\rightarrow B(H)$, and that when $G$ is amenable, every completely bounded homomorphism arises in this way. This generalised work of Cohen in the abelian setting. We believe that there is a gap in a key lemma of the existing argument, which we do not see how to repair. We present here a different strategy to show the result, which in…
In this paper, first we study surjective isometries (not necessarily linear) between completely regular subspaces $A$ and $B$ of $C_0(X,E)$ and $C_0(Y,F)$ where $X$ and $Y$ are locally compact Hausdorff spaces and $E$ and $F$ are normed spaces, not assumed to be neither strictly convex nor complete. We show that for a class of normed spaces $F$ satisfying a new defined property related to their $T$-sets, such an isometry is a (generalized) weighted composition operator up to a translation. Then we apply the result to study surjective isometries between $A$ and $B$ whenever $A$ and $B$ are equi…
Let $A_i$ and $B_i$ be positive definite matrices for all $i=1,\cdots,m.$ It is shown that $$\left|\left|\sum_{i=1}^m(A_i^2\sharp B_i^2)^r\right|\right|_1\leq\left|\left|\left(\left(\sum_{i=1}^mA_i\right)^{\frac{pr}{_2}}\left(\sum_{i=1}^mB_i\right)^{pr}\left(\sum_{i=1}^mA_i\right)^{\frac{rp}{_2}}\right)^{\frac{1}{p}}\right|\right|_1,$$for all $p>0$ and for all $r\geq1.$ We conjecture this inequality is also true for all unitarily invariant norms. We give an affirmative answer to the case of $m=2,$ $p\geq1$, $r\geq1$ and for all unitarily invariant norms. In other words, it is shown that $$\lef…
For an operator bimodule $X$ over von Neumann algebras $A\subseteq\bh$ and $B\subseteq\bk$, the space of all completely bounded $A,B$-bimodule maps from $X$ into $\bkh$, is the bimodule dual of $X$. Basic duality theory is developed with a particular attention to the Haagerup tensor product over von Neumann algebras. To $X$ a normal operator bimodule $\nor{X}$ is associated so that completely bounded $A,B$-bimodule maps from $X$ into normal operator bimodules factorize uniquely through $\nor{X}$. A construction of $\nor{X}$ in terms of biduals of $X$, $A$ and $B$ is presented. Various operator…
D. Bures had defined a metric on the set of normal states on a von Neumann algebra using GNS representations of states. This notion has been extended to completely positive maps between $C^*$-algebras by D. Kretschmann, D. Schlingemann and R. F. Werner. We present a Hilbert $C^*$-module version of this theory. We show that we do get a metric when the completely positive maps under consideration map to a von Neumann algebra. Further, we include several examples and counter examples. We also prove a rigidity theorem, showing that representation modules of completely positive maps which are close…
The present work is devoted to an extension of the well-known Ehrling inequalities, which quantitatively characterize compact embeddings of function spaces, to more general operators. Firstly, a modified notion of continuity for linear operators, named \emph{Ehrling continuity} and inspired by the classical Ehrling inequality, is introduced, and then, a necessary and sufficient condition for Ehrling continuity is provided via arguments based on general topology. Secondly, general completely continuous operators between normed spaces are characterized in terms of (generalized) Ehrling type ineq…
Completely Bounded Qusi-Norms, Their Mutiplicativity, and New Additivity Results of Quantum Channels
Institute for Advanced Study in Mathematics, Harbin Institute of Technology（哈尔滨工业大学高等研究院）；Laboratoire de Mathématiques, Université Marie & Louis Pasteur（玛丽·路易·巴斯德大学数学实验室）
We give a counterexample to a trilinear version of the operator space Grothendieck theorem. In particular, we show that for trilinear forms on $\ell_\infty$, the ratio of the symmetrized completely bounded norm and the jointly completely bounded norm is in general unbounded, answering a question of Pisier. The proof is based on a non-commutative version of the generalized von Neumann inequality from additive combinatorics.
Given a sequence of bounded operators $a_j$ on a Hilbert space $H$ with $\sum a_j^*a_j=1=\sum a_ja_j^*$, we study the map $Ψ$ defined on $B(H)$ by $Ψ(x)=\sum a_j^*xa_j$ and its restriction $Φ$ to the Hilbert-Schmidt class $C^2(H)$. In the case when the sum $\sum a_j^*a_j$ is norm-convergent we show in particular that the operator $Φ-1$ is not invertible if and only if the C$^*$-algebra $A$ generated by $(a_j)$ has an amenable trace. This is used to show that $Ψ$ may have fixed points in $B(H)$ which are not in the commutant $A'$ of $A$ even in the case when the weak* closure of $A$ is injectiv…
Let $A$ be a positive definite operator on a Hilbert space $H$, and $|||.|||$ be a unitarily invariant norm on $B(H)$. We show that if $f$ is an operator monotone function on $(0,\infty)$ and $n\in \mathbb{N}$, then $|||D^n f(A)|||\leq\|f^{(n)}(A)\|$ and $\|f^{(n)}(\cdot)\|$ is a quasi-convex function on the set of all positive definite operators in $B(H)$. We establish some estimates of the right hand side of some Hermite-Hadamard type inequalities in which differentiable functions are involved, and norms of the maps induced by them on the set of self adjoint operators are convex, quasi-conve…
Truncated Riesz spaces was first introduced by Fremlin in the context of real-valued functions. An appropriate axiomatization of the concept was given by Ball. Keeping only the first Ball's Axiom (among three) as a definition of truncated Riesz spaces, the first named author and El Adeb proved that if $E$ is truncated Riesz space then $E\oplus\mathbb{R}$ can be equipped with a non-standard structure of Riesz space such that $E$ becomes a Riesz subspace of $E\oplus\mathbb{R}$ and the truncation of $E$ is provided by meet with $1$. In the present paper, we assume that the truncated Riesz space $…
In this work we show that, given a linear map from a general operator space into the dual of a C$^*$-algebra, its completely bounded norm is upper bounded by a universal constant times its $(1,cb)$-summing norm. This problem is motivated by the study of quantum XOR games in the field of quantum information theory. In particular, our results imply that for such games entangled strategies cannot be arbitrarily better than those strategies using one-way classical communication.
We completely characterize the left-symmetric points, the right-symmetric points, and, the symmetric points in the sense of Birkhoff-James, in a Banach space. We obtain a complete characterization of the left-symmetric (right-symmetric) points in the infinity sum of two Banach spaces, in terms of the left-symmetric (right-symmetric) points of the constituent spaces. As an application of this characterization, we explicitly identify the left-symmetric (right-symmetric) points of some well-known three-dimensional polyhedral Banach spaces.
Let $1 \leq p < q < \infty$. We show that \[ \sup{\frac{\left\| D\right\|_{\mathcal{H}_{q}}}{\left\| D\right\|_{\mathcal{H}_{p}}}} = \exp{\left( \frac{\log{x}}{\log{\log{x}}} \left(\log{\sqrt{\frac{q}{p}}} + \left(\frac{\log{\log{\log{x}}}}{\log{\log{x}}}\right)\right) \right)} \,,\] where the supremum is taken over all non-zero Dirichlet polynomials of the form $D(s)=\sum_{n \leq x}{a_{n} n^{-s}}$. An aplication is given to the study of multipliers between Hardy spaces of Dirichlet series.
We obtain various upper bounds for the numerical radius $w(T)$ of a bounded linear operator $T$ defined on a complex Hilbert space $\mathcal{H}$, by developing the upper bounds for the $α$-norm of $T$, which is defined as $\|T\|_α= \sup \left\{ \sqrt{α|\langle Tx,x \rangle|^2+ (1-α)\|Tx\|^2 } : x\in \mathcal{H}, \|x\|=1 \right\}$ for $ 0\leq α\leq 1 $. Further, we prove that \begin{eqnarray*} w(T) &\leq & \sqrt{\left( \min_{α\in [0,1]}\left\| α|T|+(1-α)|T^*| \right\| \right) \|T\|} \,\,\,\, \leq \,\, \,\, \|T\|. \end{eqnarray*} For $0\leq α\leq 1 \leq β,$ the operator $T$ is called $(α,β)$-nor…
Let $\mathcal{H}$ be a right quaternionic Hilbert space and let $T$ be a bounded normal right quaternionic linear operator on $\mathcal{H}$. In this paper, we prove that there exists a unique spectral measure $E$ in $\mathcal{H}$ such that $$T=\int_{σ_S(T)}λdE_λ,$$ where $σ_S(T)$ denotes the spherical spectrum of $T$.
