arXiv subjects

Javier Alejandro Chávez-Domínguez

Publications and source records attributed to Javier Alejandro Chávez-Domínguez.

17 recordsLinked to original sources

arXiv2026

Phase Retrievability of Super Operators and Measurements

We continue the study of Phase Retrieval in the Quantum Information setting in the style of \cite{liu2023phase}, in a manner which is more general in two primary ways: (a) Instead of only pure states we consider also states (and positive semidefinite operators) of bounded rank, as is done in Quantum Tomography; (b) We consider general super operators instead of only quantum channels. We show that in order to have phase retrieval with respect to positive semidefinite operators of bounded rank, it suffices to discriminate between perfectly distinguishable pairs (i.e. those with orthogonal supports). From this we prove that phase retrievability is always Lipschitz stable with respect to the trace norm, and then we use the Fuchs-van de Graaf inequalities to deduce stability with respect to the Bures--Wasserstein distance (thus generalizing the known stability results for phase retrieval in Frame Theory). For Hermitian-preserving super operators taking values in block-diagonal matrices, we characterize phase retrievability in terms of conditions inspired by the classical complement property from Frame Theory.

quant-ph↗

arXiv2025

The $p$-Operator Approximation Property

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 $\mbox{cb}$-norm by finitely supported multipliers.

math.FA↗

arXiv2025

Revisiting Operator $p$-Compact Mappings

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).

math.FA↗

arXiv2024

Linearizing holomorphic functions on operator spaces

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.

math.FA↗

arXiv2024

On the small scale nonlinear theory of operator spaces

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.

math.OA↗

arXiv2023

Uniform homeomorphisms between spheres of unitarily invariant ideals

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).

math.FA↗

arXiv2022

Lipschitz geometry of operator spaces and Lipschitz-free operator spaces

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.

math.OA↗

arXiv2021

Positively $p$-nuclear operators, positively $p$-integral operators and approximation properties

In the present paper, we introduce and investigate a new class of positively $p$-nuclear operators that are positive analogues of right $p$-nuclear operators. One of our main results establishes an identification of the dual space of positively $p$-nuclear operators with the class of positive $p$-majorizing operators that is a dual notion of positive $p$-summing operators. As applications, we prove the duality relationships between latticially $p$-nuclear operators introduced by O. I. Zhukova and positively $p$-nuclear operators. We also introduce a new concept of positively $p$-integral operators via positively $p$-nuclear operators and prove that the inclusion map from $L_{p^{*}}(μ)$ to $L_{1}(μ)$($μ$ finite) is positively $p$-integral. New characterizations of latticially $p$-integral operators by O. I. Zhukova and positively $p$-integral operators are presented and used to prove that an operator is latticially $p$-integral (resp. positively $p$-integral) precisely when its second adjoint is. Finally, we describe the space of positively $p^{*}$-integral operators as the dual of the $\|\cdot\|_{Υ_{p}}$-closure of the subspace of finite rank operators in the space of positive $p$-majorizing operators. Approximation properties, even positive approximation properties, are needed in establishing main identifications.

math.FA↗

arXiv2020

Asymptotic dimension and coarse embeddings in the quantum setting

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.

math.OA↗

arXiv2020

Completely coarse maps are $\mathbb R$-linear

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}$.

math.OA↗

arXiv2020

Isoperimetric and Sobolev inequalities for magnetic graphs

We introduce a concept of isoperimetric dimension for magnetic graphs, that is, graphs where every edge is assigned a complex number of modulus one. In analogy with the classical case, we show that isoperimetric inequalities imply Sobolev inequalities on such graphs. As a first application, we show that the signed Cheeger constant behaves additively with respect to Cartesian products of graphs. Using heat kernel techniques, we also give lower bounds for the eigenvalues of the discrete magnetic Laplacian.

math.CO↗

arXiv2019

Connectivity for quantum graphs

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.

math.CO↗

arXiv2019

Ando-Choi-Effros liftings for regular maps between Banach lattices

The Ando-Choi-Effros lifting theorem provides conditions under which a bounded linear mapping taking values in a quotient space can be lifted through the quotient map. We prove two versions of said theorem for regular maps between Banach lattices. Our conditions mirror the classical ones, but additionally taking into account the order structure.

math.FA↗

arXiv2018

Operator $p$-compact mappings

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.

math.FA↗

arXiv2018

An Ando-Choi-Effros lifting theorem respecting subspaces

We prove a version of the Ando-Choi-Effros lifting theorem respecting subspaces, which in turn relies on Oja's principle of local reflexivity respecting subspaces. To achieve this, we first develop a theory of pairs of $M$-ideals. As a first consequence we get a version respecting subspaces of the Michael-Pełczyński extension theorem. Other applications are related to linear and Lipschitz bounded approximation properties for a pair consisting of a Banach space and a subspace. We show that in the separable case, the BAP for such a pair is equivalent to the simultaneous splitting of an associated pair of short exact sequences given by a construction of Lusky. We define a Lipschitz version of the BAP for pairs, and study its relationship to the (linear) BAP for pairs. The two properties are not equivalent in general, but they are when the pair has an additional Lipschitz-lifting property in the style of Godefroy and Kalton. We also characterize, in the separable case, those pairs of a metric space and a subset whose corresponding pair of Lipschitz-free spaces has the BAP.

math.FA↗

arXiv2015

Stability of low-rank matrix recovery and its connections to Banach space geometry

There are well-known relationships between compressed sensing and the geometry of the finite-dimensional $\ell_p$ spaces. A result of Kashin and Temlyakov can be described as a characterization of the stability of the recovery of sparse vectors via $\ell_1$-minimization in terms of the Gelfand widths of certain identity mappings between finite-dimensional $\ell_1$ and $\ell_2$ spaces, whereas a more recent result of Foucart, Pajor, Rauhut and Ullrich proves an analogous relationship even for $\ell_p$ spaces with $p < 1$. In this paper we prove what we call matrix or noncommutative versions of these results: we characterize the stability of low-rank matrix recovery via Schatten $p$-(quasi-)norm minimization in terms of the Gelfand widths of certain identity mappings between finite-dimensional Schatten $p$-spaces.

math.FA↗

arXiv2014

Lipschitz $p$-convex and $q$-concave maps

The notions of $p$-convexity and $q$-concavity are mostly known because of their importance as a tool in the study of isomorphic properties of Banach lattices, but they also play a role in several results involving linear maps between Banach spaces and Banach lattices. In this paper we introduce Lipschitz versions of these concepts, dealing with maps between metric spaces and Banach lattices, and start by proving nonlinear versions of two well-known factorization theorems through $L_p$ spaces due to Maurey/Nikishin and Krivine. We also show that a Lipschitz map from a metric space into a Banach lattice is Lipschitz $p$-convex if and only if its linearization is $p$-convex. Furthermore, we elucidate why there is such a close relationship between the linear and nonlinear concepts by proving characterizations of Lipschitz $p$-convex and Lipschitz $q$-concave maps in terms of factorizations through $p$-convex and $q$-concave Banach lattices, respectively, in the spirit of the work of Raynaud and Tradacete.

math.FA↗