BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Vern I. Paulsen contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
The classical inequality of Bohr concerning Taylor coeficients of bounded holomorphic functions on the unit disk, has proved to be of significance in answering in the negative the conjecture that if the non-unital von Neumann inequality held for a Banach algebra then it was necessarily an operator algebra. Here we provide a rather short and easy proof of the inequality.
Arveson's extension theorem guarantees that every completely positive map defined on an operator system can be extended to a completely positive map defined on the whole C*-algebra containing it. An analogous statement where complete positivity is replaced by positivity is known to be false. A natural question is whether extendibility could still hold for positive maps satisfying stronger conditions, such as being unital and norm 1. Here we provide three counterexamples showing that positive norm-one unital maps defined on an operator subsystem of a matrix algebra cannot be extended to a positive map on the full matrix algebra. The first counterexample is an unextendible positive unital map with unit norm, the second counterexample is an unextendible positive unital isometry on a real operator space, and the third counterexample is an unextendible positive unital isometry on a complex operator space.
We introduce and study the entanglement breaking rank of an entanglement breaking channel. We show that the entanglement breaking rank of the channel $\mathfrak Z: M_d \to M_d$ defined by \begin{align*} \mathfrak Z(X) = \frac{1}{d+1}(X+\text{Tr}(X)\mathbb I_d) \end{align*} is $d^2$ if and only if there exists a symmetric informationally-complete POVM in dimension $d$.
We use representations of operator systems as quotients to deduce various characterisations of the weak expectation property (WEP) for C?*-algebras. By Kirchberg's work on WEP, these results give new formulations of Connes' embedding problem.
We define several new types of quantum chromatic numbers of a graph and characterise them in terms of operator system tensor products. We establish inequalities between these chromatic numbers and other parameters of graphs studied in the literature and exhibit a link between them and non-signalling correlation boxes.
A classic theorem of T. Ando characterises operators that have numerical radius at most one as operators that admit a certain positive 2x2 operator matrix completion. In this paper we consider variants of Ando's theorem, in which the operators (and matrix completions) are constrained to a given C*-algebra. By considering nxn matrix completions, an extension of Ando's theorem to a multivariable setting is made. We show that the C*-algebras in which these extended formulations of Ando's theorem hold true are precisely the C*-algebras with the weak expectation property (WEP). We also show that a C*-subalgebra A of B(H) has WEP if and only if whenever a certain 3x3 (operator) matrix completion problem can be solved in matrices over B(H), it can also be solved in matrices over A. This last result gives a characterisation of WEP that is spatial and yet is independent of the particular representation of the C*-algebra. This leads to a new characterisation of injective von Neumann algebras. We also give a new equivalent formulation of the Connes Embedding Problem as a problem concerning 3x3 matrix completions.
We formulate a general framework for the study of operator systems arising from discrete groups. We study in detail the operator system of the free group on $n$ generators, as well as the operator systems of the free products of finitely many copies of the two-element group $\mathbb Z_2$. We examine various tensor products of group operator systems, including the minimal, the maximal, and the commuting tensor products. We introduce a new tensor product in the category of operator systems and formulate necessary and sufficient conditions for its equality to the commuting tensor product in the case of group operator systems. We express various sets of quantum correlations studied in the theoretical physics literature in terms of different tensor products of operator systems of discrete groups. We thus recover earlier results of Tsirelson and formulate a new approach for the study of quantum correlation boxes.
We prove that an operator system $\mathcal S$ is nuclear in the category of operator systems if and only if there exist nets of unital completely positive maps $ϕ_λ: \cl S \to M_{n_λ}$ and $ψ_λ: M_{n_λ} \to \cl S$ such that $ψ_λ\circ ϕ_λ$ converges to ${\rm id}_{\cl S}$ in the point-norm topology. Our proof is independent of the Choi-Effros-Kirchberg characterization of nuclear $C^*$-algebras and yields this characterization as a corollary. We give an example of a nuclear operator system that is not completely order isomorphic to a unital $C^*$-algebra.
An operator system modulo the kernel of a completely positive linear map of the operator system gives rise to an operator system quotient. In this paper, operator system quotients and quotient maps of certain matrix algebras are considered. Some applications to operator algebra theory are given, including a new proof of Kirchberg's theorem on the tensor product of B(H) with the group C*-algebra of a countable free group. We also show that an affirmative solution to the Connes Embedding Problem is implied by various matrix-theoretic problems, and we give a new characterisation of unital C*-algebras that have the weak expectation property.
We prove that if an infinite, discrete semigroup has the property that every right syndetic set is left syndetic, then the semigroup has a left invariant mean. We prove that the weak*-closed convex hull of the two-sided translates of every bounded function on an infinite discrete semigroup contains a constant function. Our proofs use the algebraic properties of the Stone-Cech compactification.
The purpose of the present paper is to lay the foundations for a systematic study of tensor products of operator systems. After giving an axiomatic definition of tensor products in this category, we examine in detail several particular examples of tensor products, including a minimal, maximal, maximal commuting, maximal injective and some asymmetric tensor products. We characterize these tensor products in terms of their universal properties and give descriptions of their positive cones. We also characterize the corresponding tensor products of operator spaces induced by a certain canonical inclusion of an operator space into an operator system. We examine notions of nuclearity for our tensor products which, on the category of C*-algebras, reduce to the classical notion. We exhibit an operator system S which is not completely order isomorphic to a C*-algebra yet has the property that for every C*-algebra A, the minimal and maximal tensor product of S and A are equal.
We examine k-minimal and k-maximal operator spaces and operator systems, and investigate their relationships with the separability problem in quantum information theory. We show that the matrix norms that define the k-minimal operator spaces are equal to a family of norms that have been studied independently as a tool for detecting k-positive linear maps and bound entanglement. Similarly, we investigate the k-super minimal and k-super maximal operator systems that were recently introduced and show that their cones of positive elements are exactly the cones of k-block positive operators and (unnormalized) states with Schmidt number no greater than k, respectively. We characterize a class of norms on the k-super minimal operator systems and show that the completely bounded versions of these norms provide a criterion for testing the Schmidt number of a quantum state that generalizes the recently-developed separability criterion based on trace-contractive maps.
We continue our study of tensor products in the operator system category. We define operator system quotients and exactness in this setting and refine the notion of nuclearity by studying operator systems that preserve various pairs of tensor products. One of our main goals is to relate these refinements of nuclearity to the Kirchberg conjecture. In particular, we prove that the Kirchberg conjecture is equivalent to the statement that every operator system that is (min,er)-nuclear is also (el,c)-nuclear. We show that operator system quotients are not always equal to the corresponding operator space quotients and then study exactness of various operator system tensor products for the operator system quotient. We prove that an operator system is exact for the min tensor product if and only if it is (min,el)-nuclear. We give many characterizations of operator systems that are (min,er)-nulcear, (el,c)-nuclear, (min,el)-nulcear and (el,max)-nuclear. These characterizations involve operator system analogues of various properties from the theory of C*-algebras and operator spaces, including the WEP and LLP.
We study the question of whether or not contractive representations of logmodular algebras are completely contractive. We prove that a 2-contractive representation of a logmodular algebra extends to a positive map on the enveloping C*-algebra, which we show generalizes a result of Foias and Suciu on uniform logmodular algebras. Our proof uses non-commutative operator space generalizations of classical results on 2-summing maps and semispectral measures. We establish some matrix factorization results for uniform logmodular algebras
We answer a number of open problems in frame theory concerning the decomposition of frames into linearly independent and/or spanning sets. We prove that in finite dimensional Hilbert spaces, Parseval frames with norms bounded away from 1 can be decomposed into a number of sets whose complements are spanning, where the number of these sets only depends on the norm bound. We also prove, assuming the Kadison-Singer conjecture is true, that this holds for infinite dimensional Hilbert spaces. Further, we prove a stronger result for Parseval frames whose norms are uniformly small, which shows that in addition to the spanning property, the sets can be chosen to be independent, and the complement of each set to contain a number of disjoint, spanning sets.
We prove that if a Bessel sequence in a Hilbert space, that is indexed by a countably infinite group in an invariant manner, can be partitioned into finitely many Riesz basic sequences, then each of the sets in the partition can be chosen to be syndetic. We then apply this result to prove that if a Fourier frame for a measurable subset of a higher dimensional cube can be partitioned into Riesz basic sequences, then each subset can be chosen to be a syndetic subset of the corresponding higher dimensional integer lattice. Both of these results follow from a result about syndetic pavings of elements of the von Neumann algebra of a discrete group.
We prove two new equivalences of the Feichtinger conjecture that involve reproducing kernel Hilbert spaces. We prove that if for every Hilbert space, contractively contained in the Hardy space, each Bessel sequence of normalized kernel functions can be partitioned into finitely many Riesz basic sequences, then a general bounded Bessel sequence in an arbitrary Hilbert space can be partitioned into finitely many Riesz basic sequences. In addition, we examine some of these spaces and prove that for these spaces bounded Bessel sequences of normalized kernel functions are finite unions of Riesz basic sequences.
We develop a symbol calculus for normal bimodule maps over a masa that is the natural analogue of the Schur product theory. Using this calculus we are able to easily give a complete description of the ranges of contractive normal bimodule idempotents that avoids the theory of J*-algebras. We prove that if $P$ is a normal bimodule idempotent and $\|P\| < 2/\sqrt{3}$ then $P$ is a contraction. We finish with some attempts at extending the symbol calculus to non-normal maps.