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.

Recent results have shown that the secret-key rate of coherent-one-way (COW) quantum key distribution (QKD) scales quadratically with the system's transmittance, thus rendering this protocol unsuitable for long-distance transmission. This was proven by using a so-called zero-error attack, which relies on an unambiguous state discrimination (USD) measurement. This type of attack allows the eavesdropper to learn the whole secret key without introducing any error. Here, we investigate the feasibility and effectiveness of zero-error attacks against COW QKD with present-day technology. For this, we introduce two practical USD receivers that can be realized with linear passive optical elements, phase-space displacement operations and threshold single-photon detectors. The first receiver is optimal with respect to its success probability, while the second one can impose stronger restrictions on the protocol's performance with faulty eavesdropping equipment. Our findings suggest that zero-error attacks could break the security of COW QKD even assuming realistic experimental conditions.

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

Current experimental data guarantees the presence of physics beyond the Standard Model in the neutrino sector. The responsible physical description might show itself through virtual effects on low-energy observables. In particular, massive neutrinos are able to produce contributions to the triple gauge coupling $WW\gamma$. The present paper deals with the calculation, estimation and analysis of one-loop contributions from Majorana neutrinos to the Lorentz-covariant $WW\gamma$ parametrization. Our calculations show that CP-odd effects vanish exactly, whereas CP-even contributions, $\Delta\kappa$ and $\Delta Q$, remain. According to our estimations, the effects from heavy neutrinos with masses in the range of hundreds of GeVs dominate over those from light neutrinos. This investigation shows that contributions from heavy Majorana neutrinos to the anomaly $\Delta\kappa$ could be as large as $\sim{\cal O}(10^{-3})$, one order of magnitude below the Standard-Model contribution. We find that the International Linear Collider, sensitive to triple gauge couplings participating in $WW$ production, might measure these effects in electron-positron collisions at a center-of-mass energy of $800\,{\rm GeV}$, as long as heavy-neutrino masses are $\gtrsim300\,{\rm GeV}$ and below $\sim1500\,{\rm GeV}$., Comment: Accepted by Physical Review D for publication, 16 pages, 4 figures

Lorentz-violating Yukawa couplings lying within the renormalizable part of the SME generate Lorentz-invariant one-loop contributions to electromagnetic moments of fermions. These proceedings provide a discussion on such contributions and present bounds on SME coefficients from experimental data on electromagnetic moments. Constraints as restrictive as $\sim10^{-14}$ are found., Comment: Presented at the Ninth Meeting on CPT and Lorentz Symmetry, Bloomington, Indiana, May 17-26, 2022

As AI-enabled software systems become more prevalent in smart manufacturing, their role shifts from a reactive to a proactive one that provides context-specific support to machine operators. In the context of an international research project, we develop an AI-based software platform that shall facilitate the collaboration between human operators and manufacturing machines. We conducted 14 structured interviews with stakeholders of the prospective software platform in order to determine the individual relevance of selected quality characteristics for human-AI teaming in smart manufacturing. These characteristics include the ISO 25010:2011 standard for software quality and AI-specific quality characteristics such as trustworthiness, explicability, and auditability. The interviewees rated trustworthiness, functional suitability, reliability, and security as the most important quality characteristics for this context, and portability, compatibility, and maintainability as the least important. Also, we observed agreement regarding the relevance of the quality characteristics among interviewees having the same role. On the other hand, the relevance of each quality characteristics varied depending on the concrete use case of the prospective software platform. The interviewees also were asked about the key success factors related to human-AI teaming in smart manufacturing. They identified improving the production cycle, increasing operator efficiency, reducing scrap, and reducing ergonomic risks as key success criteria. In this paper, we also discuss metrics for measuring the fulfillment of these quality characteristics, which we intend to operationalize and monitor during operation of the prospective software platform., Comment: Preprint: to appear in QUATIC'22 International Conference on the Quality of Information and Communications Technology

Yukawa couplings in the Lorentz- and $CPT$-violating Standard Model Extension (SME) induce quantum contributions to the electromagnetic moments of quarks, which are calculated in the present paper and then used to define contributions to electromagnetic moments of nucleons. High-sensitivity measurements of the proton and neutron electromagnetic moments then yield constrains on SME coefficients, reaching bounds as restrictive as $10^{-12}$. This approach notably grants access to SME effects from the second and third quark families., Comment: Published by PRD (april 2022), 9 pages, 3 figures, 3 tables

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

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^{*}}(\mu)$ to $L_{1}(\mu)$($\mu$ 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\|_{\Upsilon_{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.

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

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

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., Comment: 18 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

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{\l}czy\'nski 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., Comment: 26 pages; some corrections have been made

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., Comment: 16 pages

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., Comment: 25 pages