Search

We study a notion analogous to the $p$-Approximation Property ($p$-AP) for Banach spaces, within the noncommutative context of operator spaces. Referred to as the $p$-Operator Approximation Property ($p$-OAP), this concept is linked to the ideal of operator $p$-compact mappings. We present several equivalent characterizations based on the density of finite-rank mappings within specific spaces for different topologies, and also one in terms of a slice mapping property. Additionally, we investigate how this property transfers from the dual or bidual to the original space. As an application, the $p$-OAP for the reduced $C^*$-algebra of a discrete group implies that operator $p$-compact Herz-Schur multipliers can be approximated in $\cb$-norm by finitely supported multipliers.

We continue our study of the mapping ideal of operator $p$-compact maps, previously introduced by the authors. Our approach embraces a more geometric perspective, delving into the interplay between operator $p$-compact mappings and matrix sets, specifically we provide a quantitative notion of operator $p$-compactness for the latter. In particular, we consider operator $p$-compactness in the bidual and its relation with this property in the original space. Also, we deepen our understanding of the connections between these mapping ideals and other significant ones (e.g., completely $p$-summing, completely $p$-nuclear).

We introduce a notion of completely bounded holomorphic functions defined on the open unit ball of an operator space. We endow the set of these functions with an operator space structure, and in the scalar-valued case we identify an operator space predual for it which is a noncommutative version of Mujica's predual for the space of bounded holomorphic functions and satisfies similar properties. In particular, our predual is a free holomorphic operator space in the sense that it satisfies a linearization property for vector-valued completely bounded holomorphic functions. Additionally, several different operator space approximation properties transfer between the predual and the domain., Comment: 26 pages

We initiate the study of the small scale geometry of operator spaces. The authors have previously shown that a map between operator spaces which is completely coarse (that is, the sequence of its amplifications is equi-coarse) must be $\mathbb R$-linear. We obtain a generalization of the aforementioned result to completely coarse maps defined on the unit ball of an operator space. By relaxing the condition to a small scale one, we prove that there are many non-linear examples of maps which are completely Lipshitz in small scale. We define a geometric parameter for homogeneous Hilbertian operator spaces which imposes restrictions on the existence of such maps.

The classical Mazur map is a uniform homeomorphism between the unit spheres of $L_p$ spaces, and the version for noncommutative $L_p$ spaces has the same property. Odell and Schlumprecht used two types of generalized Mazur maps to prove that the unit sphere of a Banach space $X$ with an unconditional basis is uniformly homeomorphic to the unit sphere of a Hilbert space if and only if $X$ does not contain $\ell_\infty^n$'s uniformly. We prove a noncommutative version of this result, yielding uniform homeomorphisms between spheres of unitarily invariant ideals, and along the way we study noncommutative versions of the aforementioned generalized Mazur maps: one based on the $p$-convexification procedure, and one based on the minimization of quantum relative entropy. The main result provides new examples of Banach spaces whose unit spheres are uniformly homeomorphic to the unit sphere of a Hilbert space (in fact, spaces with the property (H) of Kasparov and Yu).

We show that there is an operator space notion of Lipschitz embeddability between operator spaces which is strictly weaker than its linear counterpart but which is still strong enough to impose linear restrictions on operator space structures. This shows that there is a nontrivial theory of nonlinear geometry for operator spaces and it answers a question in [BCD21]. For that, we introduce the operator space version of Lipschitz-free Banach spaces and prove several properties of it. In particular, we show that separable operator spaces satisfy a sort of isometric Lipschitz-lifting property in the sense of G. Godefroy and N. Kalton. Gateaux differentiability of Lipschitz maps in the operator space category is also studied., Comment: arXiv admin note: text overlap with arXiv:1911.05505

A map between operator spaces is called completely coarse if the sequence of its amplifications is equi-coarse. We prove that all completely coarse maps must be $\mathbb R$-linear. On the opposite direction of this result, we introduce a notion of embeddability between operator spaces and show that this notion is strictly weaker than complete $\mathbb R$-isomorphic embeddability (in particular, weaker than complete $\mathbb C$-isomorphic embeddability). Although weaker, this notion is strong enough for some applications. For instance, we show that if an infinite dimensional operator space $X$ embeds in this weaker sense into Pisier's operator space $\mathrm{OH}$, then $X$ must be completely isomorphic to $\mathrm{OH}$.

We generalize the notions of asymptotic dimension and coarse embeddings from metric spaces to quantum metric spaces in the sense of Kuperberg and Weaver. We show that quantum asymptotic dimension behaves well with respect to metric quotients and direct sums, and is preserved under quantum coarse embeddings. Moreover, we prove that a quantum metric space that equi-coarsely contains a sequence of reflexive quantum expanders must have infinite asymptotic dimension. This is done by proving a quantum version of a vertex-isoperimetric inequality for expanders, based upon a previously known edge-isoperimetric one due to Temme, Kastoryano, Ruskai, Wolf, and Verstraete., Comment: Small corrections, references added

In quantum information theory there is a construction for quantum channels, appropriately called a quantum graph, that generalizes the confusability graph construction for classical channels in classical information theory. In this paper, we provide a definition of connectedness for quantum graphs that generalizes the classical definition. This is used to prove a quantum version of a particular case of the classical tree-packing theorem from graph theory. Generalizations for the related notions of $k$-connectedness and of orthogonal representation are also proposed for quantum graphs, and it is shown that orthogonal representations have the same implications for connectedness as they do in the classical case., Comment: 15 pages

We introduce the class of operator $p$-compact mappings and completely right $p$-nuclear operators, which are natural extensions to the operator space framework of their corresponding Banach operator ideals. We relate these two classes, define natural operator space structures and study several properties of these ideals. We show that the class of operator $\infty$-compact mappings in fact coincides with a notion already introduced by Webster in the nineties (in a very different language). This allows us to provide an operator space structure to Webster's class., Comment: 22 pages