We extend some inequalities for normal matrices and positive linear maps related to the Russo-Dye theorem. The results cover the case of some positive linear maps on a von Neumann algebra mapping any nonzero operator to an unbounded operator.
The theory of positive kernels and associated reproducing kernel Hilbert spaces, especially in the setting of holomorphic functions, has been an important tool for the last several decades in a number of areas of complex analysis and operator theory. An interesting generalization of holomorphic functions, namely free noncommutative functions (e.g., functions of square-matrix arguments of arbitrary size satisfying additional natural compatibility conditions), is now an active area of research, with motivation and applications from a variety of areas (e.g., noncommutative functional calculus, fr…
In the paper we describe the C*-algebras of noncommutative spherical tight frames over some C*-algebras and then apply to study the noncommutative version of the universal classifying space.
For any von Neumann algebra $\mathcal M$, the noncommutative Mazur map $M_{p,q}$ from $L_p(\mathcal M)$ to $L_q(\mathcal M)$ with $1\leq p,q<\infty$ is defined by $f\mapsto f|f|^{\frac {p-q}q}$. In analogy with the commutative case, we gather estimates showing that $M_{p,q}$ is $\min\{\frac pq,1\}$-Hölder on balls.
We show the non-positivity of the Einstein-Hilbert action for conformal flat Riemannian metrics. The action vanishes only when the metric is constant flat. This recovers an earlier result of Fathizadeh-Khalkhali in the setting of spectral triples on noncommutative four-torus. Furthermore, computations of the gradient flow and the scalar curvature of this space based on modular operator are given. We also show the Gauss-Bonnet theorem for a parametrized class of non-diagonal metrics on noncommutative two-torus.
In this paper, we analyze problems involving matrix variables for which we use a noncommutative algebra setting. To be more specific, we use a class of functions (called NC analytic functions) defined by power series in noncommuting variables and evaluate these functions on sets of matrices of all dimensions; we call such situations dimension-free. These types of functions have recently been used in the study of dimension-free linear system engineering problems. In this paper we characterize NC analytic maps that send dimension-free matrix balls to dimension-free matrix balls and carry the bou…
In this paper we study noncommutative domains D_f in B(H)^n, generated by positive regular free holomorphic functions f, where B(H) is the algebra of all bounded linear operators on a Hilbert space H.
Orthonormal systems in commutative $L_2$ spaces can be used to classify Banach spaces. When the system is complete and satisfies certain norm condition the unconditionality with respect to the system characterizes Hilbert spaces. As a noncommutative analogue we introduce the notion of unconditionality of operator spaces with respect to orthonormal systems in noncommutative $L_2$ spaces and show that the unconditionality characterizes operator Hilbert spaces when the system is complete and satisfy certain norm condition. The proof of the main result heavily depends on free probabilistic tools s…
We define the localisation of a Hilbert module in analogy to the local multiplier algebra. We use properties of this localisation to enrich non-closed actions on $C^*$-algebras to closed actions on local multiplier algebras, and descend known results on such closed actions down to their unclosed counterparts. We define weak Cartan inclusions and characterise them as crossed products by inverse semigroup actions. We show that in the commutative case we show that weak Cartan subalgebras are maximal abelian, thereby generalising the case studied by Renault.
We initiate the study of a class of noncommutative domains of n-tuples of bounded linear operators on a Hilbert space, which is generated by certain positivity conditions on polynomials in n noncommutative indeterminates. We obtain Fatou type results, functional calculi, and a model theory for n-tuples of operators in these domains. The main role in this study is played by a class of noncommutative Berezin transforms which is introduced in this paper. Our results extend to noncommutative varieties.
Classically, Jensen's Inequality asserts that if $X$ is a compact convex set, and $f:K\to \mathbb{R}$ is a convex function, then for any probability measure $μ$ on $K$, that $f(\text{bar}(μ))\le \int f\;dμ$, where $\text{bar}(μ)$ is the barycenter of $μ$. Recently, Davidson and Kennedy proved a noncommutative ("nc") version of Jensen's inequality that applies to nc convex functions, which take matrix values, with probability measures replaced by ucp maps. In the classical case, if $f$ is only a separately convex function, then $f$ still satisfies the Jensen inequality for any probability measu…
The structure of subspaces of a Hilbert space that are invariant under unitary representations of a discrete group is related to a notion of Hilbert modules endowed with inner products taking values in spaces of unbounded operators. A theory of reproducing systems in such modular structures is developed, providing a general framework that includes fundamental results of shift-invariant spaces. In particular, general characterizations of Riesz and frame sequences associated to group representations are provided, extending previous results for abelian groups and for cyclic subspaces of unitary r…
In the first part of this work we show how certain techniques from quantum information theory can be used in order to obtain very sharp embeddings between noncommutative $L_p$-spaces. Then, we use these estimates to study the classical capacity with restricted assisted entanglement of the quantum erasure channel and the quantum depolarizing channel. In particular, we exactly compute the capacity of the first one and we show that certain nonmultiplicative results hold for the second one.
In this paper we solve several problems concerning joint similarity to n-tuples of operators in noncommutative varieties in $[B(\cH)^n]_1$ associated with positive regular free holomorphic functions in $n$ noncommuting variables and with sets of noncommutative polynomials in $n$ indeterminates, where $B(\cH)$ is the algebra of all bounded linear operators on a Hilbert space $\cH$. In particular, if $f=X_1+...+X_n$ and $\cP=\{0\}$, the elements of the corresponding variety can be seen as noncommutative multivariable analogues of Agler's $m$-hypercontractions.
We use compactifications of C*-algebras to introduce noncommutative coarse geometry. We transfer a noncommutative coarse structure on a C*-algebra with an action of a locally compact Abelian group by translations to Rieffel deformations and prove that the resulting noncommutative coarse spaces are coarsely equivalent. We construct a noncommutative coarse structure from a cocompact continuously square-integrable action of a group and show that this is coarsely equivalent to the standard coarse structure on the group in question. We define noncommutative coarse maps through certain completely po…
It is shown that for a map $f \colon X \to Y$ of compact spaces the unital $\ast$-homomorphism $C(f) \colon C(Y) \to C(X)$ is projective in the category $\operatorname{Mor}({\mathcal C}^{1})$ precisely when $X$ is a dendrite and $f$ is either homeomorphism or a constant.
We construct classes of von Neumann algebra modules by considering ``column sums" of noncommutative L^p spaces. Our abstract characterization is based on an L^{p/2}-valued inner product, thereby generalizing Hilbert C*-modules and representations on Hilbert space. While the (single) representation theory is similar to the L^2 case, the concept of L^p bimodule (p not 2) turns out to be nearly trivial.
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 …
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 prove that a quotient of subspace of $C_p\oplus_pR_p$ ($1\le p<2$) embeds completely isomorphically into a noncommutative $L_p$-space, where $C_p$ and $R_p$ are respectively the $p$-column and $p$-row Hilbertian operator spaces. We also represent $C_q$ and $R_q$ ($p<q\le2$) as quotients of subspaces of $C_p\oplus_pR_p$. Consequently, $C_q$ and $R_q$ embed completely isomorphically into a noncommutative $L_p(M)$. We further show that the underlying von Neumann algebra $M$ cannot be semifinite.
This paper is an introduction to the hyperbolic geometry of noncommutative polyballs B_n of bounded linear operators on Hilbert spaces. We use the theory of free pluriharmonic functions on polyballs and noncommutative Poisson kernels on tensor products of full Fock spaces to define hyperbolic type metrics on B_n, study their properties, and obtain hyperbolic versions of Schwarz-Pick lemma for free holomorphic functions on polyballs. As a consequence, the polyballs can be viewed as noncommutative hyperbolic spaces. When specialized to the operatorial polydisk D_k, our hyperbolic metric is compl…
Let $T\colon L^p({\mathcal M})\to L^p({\mathcal N})$ be a bounded operator between two noncommutative $L^p$-spaces, $1\leq p<\infty$. We say that $T$ is $\ell^1$-bounded (resp. $\ell^1$-contractive) if $T\otimes I_{\ell^1}$ extends to a bounded (resp. contractive) map from $L^p({\mathcal M};\ell^1)$ into $L^p({\mathcal N};\ell^1)$. We show that Yeadon's factorization theorem for $L^p$-isometries, $1\leq p\not=2 <\infty$, applies to an isometry $T\colon L^2({\mathcal M})\to L^2({\mathcal N})$ if and only if $T$ is $\ell^1$-contractive. We also show that a contractive operator $T\colon L^p({\mat…
The operator space $\text{OUMD}$ property was introduced by Pisier in the context of vector-valued noncommutative $L_p$-spaces. It is an open problem whether the column Hilbert space has this property. Based on some complex interpolation techniques, we are able to relate this problem to the study of the $\text{OUMD}_q$ property for non-commutative $L_p$-spaces.
In this paper we investigate operator Hilbert systems and their separable morphisms. We prove that the operator Hilbert space of Pisier is an operator system, which possesses the self-duality property. It is established a link between unital positive maps and Pietch factorizations, which allows us to describe all separable morphisms from an abelian C*-algebra to an operator Hilbert system. Finally, we prove a key property of entanglement breaking maps that involves operator Hilbert systems.
Let $\mathcal{A}$ be a unital C*-algebra. Then the theory of Hilbert C*-modules tells that \begin{align*} \sum_{i=1}^{n}(a_ia_i^*)^\frac{1}{2}\leq \sqrt{n} \left(\sum_{i=1}^{n}a_ia_i^*\right)^\frac{1}{2}, \quad \forall n \in \mathbb{N}, \forall a_1, \dots, a_n \in \mathcal{A}. \end{align*} By modifications of arguments of Botelho-Andrade, Casazza, Cheng, and Tran given in 2019, for certain tuple $x=(a_1, \dots, a_n) \in \mathcal{A}^n$, we give a method to compute a positive element $c_x$ in the C*-algebra $\mathcal{A}$ such that the equality \begin{align*} \sum_{i=1}^{n}(a_ia_i^*)^\frac{1}{2}=…
We revisit traces of holomorphic families of pseudodifferential operators on a closed manifold in view of geometric applications. We then transpose the corresponding analytic constructions to two different geometric frameworks; the noncommutative torus and Hilbert modules. These traces are meromorphic functions whose residues at the poles as well as the constant term of the Laurent expansion at zero (the latter when the family at zero is a differential operator) can be expressed in terms of Wodzicki residues and extended Wodzicki residues involving logarithmic operators. They are therefore loc…
Gelfand duality between unital commutative C*-algebras and Compact Hausdorff spaces is extended to all unital C*-algebras, where the dual objects are what we call compact Hausdorff quantum spaces. We apply this result to obtain, a characterization of unitary groups of C*-algebras, and, for arbitrary bounded Hilbert space operators, (i) A spectral theorem cum continuous functional calculus, and (ii) A proof of the general Invariant Subspace Theorem. Also described is a nonabelian generalization of Pontryagin duality of abelian locally compact groups.
We study some factorisation and dilation properties of completely positive maps on noncommutative L^p-spaces. We show that Akcoglu's dilation theorem for positive contractions on classical (=commutative) L^p-spaces has no reasonable analog in the noncommutative setting. Our study relies on non symmetric analogs of Pisier's operator space valued noncommutative L^p-spaces that we investigate in the first part of the paper.
This article studies algebraic certificates of positivity for noncommutative (nc) operator-valued polynomials on matrix convex sets, such as the solution set $D_L$, called a free Hilbert spectrahedron, of the linear operator inequality (LOI) $L(X)=A_0\otimes I+\sum_{j=1}^g A_{j}\otimes X_j\succeq 0,$ where $A_j$ are self-adjoint linear operators on a separable Hilbert space, $X_j$ matrices and $I$ is an identity matrix. If $A_j$ are matrices, then $L(X)\succeq 0$ is called a linear matrix inequality (LMI) and $D_L$ a free spectrahedron. For monic LMIs, i.e., $A_0=I$, and nc matrix-valued polyn…
In this paper we consider several problems of joint similarity to tuples of bounded linear operators in noncommutative polydomains and varieties associated with sets of noncommutative polynomials. We obtain analogues of classical results such as Rota's model theorem for operators with spectral radius less than one, Sz.-Nagy characterization of operators similar to isometries (or unitary operators), and the refinement obtained by Foia\c s and by de Branges and Rovnyak for strongly stable contractions. We also provide analogues of these results in the context of joint similarity of commuting tup…
In 2008, J. Parcet showed the $(1,1)$ weak-boundedness of Calderón-Zygmund operators acting on functions taking values in a von Neumann algebra. We propose a simplified version of his proof using the same tools : Cuculescu's projections and a pseudo-localisation theorem. This will unable us to recover the $L_p$-boundedness of Calderón-Zygmund operators with Hilbert valued kernels acting on operator valued functions for $1 < p < \infty$ and an $L_p$-pseudo-localisation result of P. Hytönen.
We introduce a preorder relation in the collection of all operator valued completely positive maps on a full Hilbert C*-module and characterize this relation in terms of the Stinespring construction associated to each completely positive map.
We introduce a noncommutative analogue of the absolute value of a regular operator acting on a noncommutative $\mathrm{L}^p$-space. We equally prove that two classical operator norms, the regular norm and the decomposable norm are identical. We also describe precisely the regular norm of several classes of regular multipliers. This includes Schur multipliers and Fourier multipliers on some unimodular locally compact groups which can be approximated by discrete groups in various senses. A main ingredient is to show the existence of a bounded projection from the space of completely bounded $\mat…
We define and study the noncommutative spectral flow for paths of regular selfadjoint Fredholm operators on a countably generated Hilbert C*-module. We give an axiomatic description and discuss some applications. One of them is the definition of a noncommutative Maslov index for paths of Lagrangians which appears in a splitting formula for the spectral flow. Analogously we study the spectral flow for odd operators on a graded module.
The noncommutative Choquet boundary and the C*-envelope of operator systems of the form Span{1,T,T*}, where T is a Hilbert space operator with normal-like features, are studied. Such operators include normal operators, k-normal operators, subnormal operators, and Toeplitz operators. Our main result is the determination of the noncommutative Choquet boundary for an operator system generated by an irreducible periodic weighted unilateral shift operator.
This text is a detailed overview of the theories of W*-algebras and noncommutative integration, up to the Falcone-Takesaki theory of noncommutative Lp spaces over arbitrary W*-algebras, and its extension to noncommutative Orlicz spaces. The topics under consideration include the Tomita-Takesaki modular theory, the relative modular theory (featuring bimodules, spatial quotients, and canonical representation), the theory of W*-dynamical systems (featuring derivations, liouvilleans, and crossed products), noncommutative Radon-Nikodym type theorems, and operator valued weights. We pay special atte…
In this paper, we characterize a class of additive maps on Hilbert $C^\ast$-modules which maps a "rank one" adjointable operators to another rank one operators.
In this paper we characterize the surjective linear variation norm isometries on JB-algebras. Variation norm isometries are precisely the maps that preserve the maximal deviation, the quantum analogue of the standard deviation, which plays an important role in quantum statistics. Consequently, we characterize the Hilbert's metric isometries on cones in JB-algebras.
Cirelli, Manià and Pizzocchero generalized quantum mechanics by Kähler geometry. Furthermore they proved that any unital C$^{*}$-algebra is represented as a function algebra on the set of pure states with a noncommutative $*$-product as an application. The ordinary quantum mechanics is regarded as a dynamical system of the projective Hilbert space ${\cal P}({\cal H})$ of a Hilbert space ${\cal H}$. The space ${\cal P}({\cal H})$ is an infinite dimensional Kähler manifold of positive constant holomorphic sectional curvature. In general, such dynamical system is constructed for a general Kähler …
We prove a noncompact version of Haagerup and Rørdam's result about continuous paths of the rotation $C^*$-algebras. It gives a continuous Moyal deformation of Euclidean plane. Moveover, the construction is generalized to noncommutative Euclidean spaces of dimension $d\ge 2$. As a corollary, we obtain Lip$^{\frac12}$ continuous maps for the generators of noncommutative $d$-tori.
We provide a characterization for operator valued completely bounded linear maps on Hilbert $C^*$-modules in terms of $φ$-maps. Also, we show that for every operator valued completely positive map $φ$ on a $C^*$-algebra $\mathcal{A}$, there is a unique (up to multiplication by a unitary operator) non-degenerate $φ$-map on each Hilbert $\mathcal{A}$-module.
The aim of this article is to extend the results of Asadi M.B, B.V.R. Bhat, G. Ramesh, K. Sumesh about completely positive maps on Hilbert C*-modules. We prove a Stinespring type theorem for a finite family of completely positive maps on Hilbert C*-modules. We also show that any two minimal Stinespring representations are unitarily equivalent.
In this paper, we study the structure of the fixed point sets of noncommutative self maps of the free ball. We show that for such a map that fixes the origin the fixed point set on every level is the intersection of the ball with a linear subspace. We provide an application for the completely isometric isomorphism problem of multiplier algebras of noncommutative complete Pick spaces.
In this paper, we show that every completely semi-$ϕ$-map on a submodule of a Hilbert $C^*$-module has a completely semi-$ϕ$-map extension on the whole of module. We also investigate the extendability of $ϕ$-maps and provide examples of $ϕ$-maps which has no $ϕ$-map extension. Finally, we introduce a category of Hilbert $C^*$-module and determine injective objects in this category.
In this paper, we analyze problems involving matrix variables for which we use a noncommutative algebra setting. To be more specific, we use a class of functions (called NC analytic functions) defined by power series in noncommuting variables and evaluate these functions on sets of matrices of all dimensions; we call such situations dimension-free. In an earlier paper we characterized NC analytic maps that send dimension-free matrix balls to dimension-free matrix balls and carry the boundary to the boundary; such maps we call "NC ball maps". In this paper we turn to a more general dimension-fr…
We reflect on the notions of positivity and square roots. We review many examples which underline our thesis that square roots of positive maps related to *-algebras are Hilbert modules. As a result of our considerations we discuss requirements a notion of positivity on a *-algebra should fulfill and derive some basic consequences.
Let $1\leq p<\infty$ and let $T\colon L^p({\mathcal M})\to L^p({\mathcal N})$ be a bounded map between noncommutative $L^p$-spaces. If $T$ is bijective and separating (i.e., for any $x,y\in L^p({\mathcal M})$ such that $x^*y=xy^*=0$, we have $T(x)^*T(y)=T(x)T(y)^*=0$), we prove the existence of decompositions ${\mathcal M}={\mathcal M}_1\mathop{\oplus}\limits^\infty{\mathcal M}_2$, ${\mathcal N}={\mathcal N}_1 \mathop{\oplus}\limits^\infty{\mathcal N}_2$ and maps $T_1\colon L^p({\mathcal M}_1)\to L^p({\mathcal N}_1)$, $T_2\colon L^p({\mathcal M}_2)\to L^p({\mathcal N}_2)$, such that $T=T_1+T_2…
We derive Paschke's GNS construction for completely positive maps on unital pro-C*-algebras from the KSGNS construction, presented by M. Joita [J. London Math. Soc. {\bf 66} (2002), 421--432], and then we deduce an analogue of Stinespring theorem for Hilbert modules over pro-C*-algebras. Also, we obtain a Radon-Nikodym type theorem for operator valued completely positive maps on Hilbert modules over pro-C*-algebras.
For any semifinite von Neumann algebra ${\mathcal M}$ and any $1\leq p<\infty$, we introduce a natutal $S^1$-valued noncommutative $L^p$-space $L^p({\mathcal M};S^1)$. We say that a bounded map $T\colon L^p({\mathcal M})\to L^p({\mathcal N})$ is $S^1$-bounded (resp. $S^1$-contractive) if $T\otimes I_{S^1}$ extends to a bounded (resp. contractive) map $T\overline{\otimes} I_{S^1}$ from $ L^p({\mathcal M};S^1)$ into $L^p({\mathcal N};S^1)$. We show that any completely positive map is $S^1$-bounded, with $\Vert T\overline{\otimes} I_{S^1}\Vert =\Vert T\Vert$. We use the above as a tool to investi…
We strengthen Mohammad B. Asadi's analogue of Stinespring's theorem for certain maps on Hilbert C*-modules. We also show that any two minimal Stinespring representations are unitarily equivalent. We illustrate the main theorem with an example.
Basic properties in Perron-Frobenius theory are strict positivity, primitivityand irreducibility. Whereas for nonnegative matrices, these properties are equivalent to elementary graph properties which can be checked in polynomial time, we show that for Kraus maps- the noncommutative generalization of stochastic matrices - checking strict positivity (whether the map sends the cone to its interior) is NP-hard. The proof proceeds by reducing to the latter problem the existence of a non-zero solution of a special system of bilinear equations. The complexity of irreducibility and primitivity is als…