A Matrix Convexity Approach to Some Celebrated Quantum Inequalities

Some of the important inequalities associated with quantum entropy are immediate algebraic consequences of the Hansen-Pedersen-Jensen inequality. A general argument is given using matrix perspectives of operator convex functions. A matrix analogue of Mar\'{e}chal's extended perspectives provides additional inequalities, including a $p+q\leq 1$ result of Lieb.Comment: 8 page

A new look at C*-simplicity and the unique trace property of a group

We characterize when the reduced C*-algebra of a group has unique tracial state, respectively, is simple, in terms of Dixmier-type properties of the group C*-algebra. We also give a simple proof of the recent result by Breuillard, Kalantar, Kennedy and Ozawa that the reduced C*-algebra of a group has unique tracial state if and only if the amenable radical of the group is trivial.Comment: 8 page

On the Grothendieck Theorem for jointly completely bounded bilinear forms

We show how the proof of the Grothendieck Theorem for jointly completely bounded bilinear forms on C*-algebras by Haagerup and Musat can be modified in such a way that the method of proof is essentially C*-algebraic. To this purpose, we use Cuntz algebras rather than type III factors. Furthermore, we show that the best constant in Blecher's inequality is strictly greater than one.Comment: 9 pages, minor change

Completely positive multipliers of quantum groups

We show that any completely positive multiplier of the convolution algebra of the dual of an operator algebraic quantum group \G (either a locally compact quantum group, or a quantum group coming from a modular or manageable multiplicative unitary) is induced in a canonical fashion by a unitary corepresentation of \G. It follows that there is an order bijection between the completely positive multipliers of L^1(\G) and the positive functionals on the universal quantum group C_0^u(\G). We provide a direct link between the Junge, Neufang, Ruan representation result and the representing element of a multiplier, and use this to show that their representation map is always weak$^*$-weak$^*$-continuous.Comment: 18 pages; major rewrit

Skew Category Algebras Associated with Partially Defined Dynamical Systems

We introduce partially defined dynamical systems defined on a topological space. To each such system we associate a functor $s$ from a category $G$ to \Top^{\op} and show that it defines what we call a skew category algebra $A \rtimes^{\sigma} G$. We study the connection between topological freeness of $s$ and, on the one hand, ideal properties of $A \rtimes^{\sigma} G$ and, on the other hand, maximal commutativity of $A$ in $A \rtimes^{\sigma} G$. In particular, we show that if $G$ is a groupoid and for each e \in \ob(G) the group of all morphisms $e \rightarrow e$ is countable and the topological space $s(e)$ is Tychonoff and Baire, then the following assertions are equivalent: (i) $s$ is topologically free; (ii) $A$ has the ideal intersection property, that is if $I$ is a nonzero ideal of $A \rtimes^{\sigma} G$, then $I \cap A \neq \{0\}$; (iii) the ring $A$ is a maximal abelian complex subalgebra of $A \rtimes^{\sigma} G$. Thereby, we generalize a result by Svensson, Silvestrov and de Jeu from the additive group of integers to a large class of groupoids.Comment: 16 pages. This article is an improvement of, and hereby a replacement for, version 1 (arXiv:1006.4776v1) entitled "Category Dynamical Systems and Skew Category Algebras

Noncommutative Figa-Talamanca-Herz algebras for Schur multipliers

We introduce a noncommutative analogue of the Fig\'a-Talamanca-Herz algebra $A_p(G)$ on the natural predual of the operator space $\frak{M}_{p,cb}$ of completely bounded Schur multipliers on Schatten space $S_p$. We determine the isometric Schur multipliers and prove that the space $\frak{M}_{p}$ of bounded Schur multipliers on Schatten space $S_p$ is the closure in the weak operator topology of the span of isometric multipliers.Comment: 24 pages; corrected typo

AF-algebras and topology of mapping tori

A covariant functor from the category of mapping tori to a category of AF-algebras is constructed; the functor takes continuous maps between such manifolds to stable homomorphisms between the corresponding AF-algebras. We use this functor to develop an obstruction theory for the torus bundles of dimension 2, 3 and 4.Comment: to appear Czechoslovak Math.

On non-completely positive quantum dynamical maps on spin chains

The new arguments based on Majorana fermions indicating that non-completely positive maps can describe open quantum evolution are presented.Comment: published; small change

Perturbations of nuclear C*-algebras

Kadison and Kastler introduced a natural metric on the collection of all C*-subalgebras of the bounded operators on a separable Hilbert space. They conjectured that sufficiently close algebras are unitarily conjugate. We establish this conjecture when one algebra is separable and nuclear. We also consider one-sided versions of these notions, and we obtain embeddings from certain near inclusions involving separable nuclear C*-algebras. At the end of the paper we demonstrate how our methods lead to improved characterisations of some of the types of algebras that are of current interest in the classification programme.Comment: 45 page

Survey on nonlocal games and operator space theory

This review article is concerned with a recently uncovered connection between operator spaces, a noncommutative extension of Banach spaces, and quantum nonlocality, a striking phenomenon which underlies many of the applications of quantum mechanics to information theory, cryptography, and algorithms. Using the framework of nonlocal games, we relate measures of the nonlocality of quantum mechanics to certain norms in the Banach and operator space categories. We survey recent results that exploit this connection to derive large violations of Bell inequalities, study the complexity of the classical and quantum values of games and their relation to Grothendieck inequalities, and quantify the nonlocality of different classes of entangled states