-
Completely Bounded Norms of $k$-positive Maps
Authors:
Guillaume Aubrun,
Kenneth R. Davidson,
Alexander Müller-Hermes,
Vern I. Paulsen,
Mizanur Rahaman
Abstract:
Given an operator system $\mathcal{S}$, we define the parameters $r_k(\mathcal{S})$ (resp. $d_k(\mathcal{S})$) defined as the maximal value of the completely bounded norm of a unital $k$-positive map from an arbitrary operator system into $\mathcal{S}$ (resp. from $\mathcal{S}$ into an arbitrary operator system).
In the case of the matrix algebras $M_n$, for $1 \leq k \leq n$, we compute the exa…
▽ More
Given an operator system $\mathcal{S}$, we define the parameters $r_k(\mathcal{S})$ (resp. $d_k(\mathcal{S})$) defined as the maximal value of the completely bounded norm of a unital $k$-positive map from an arbitrary operator system into $\mathcal{S}$ (resp. from $\mathcal{S}$ into an arbitrary operator system).
In the case of the matrix algebras $M_n$, for $1 \leq k \leq n$, we compute the exact value $r_k(M_n) = \frac{2n-k}{k}$ and show upper and lower bounds on the parameters $d_k(M_n)$.
Moreover, when $\mathcal{S}$ is a finite-dimensional operator system, adapting recent results of Passer and the 4th author, we show that the sequence $(r_k( \mathcal{S}))$ tends to $1$ if and only if $\mathcal{S}$ is exact and that the sequence $(d_k(\mathcal{S}))$ tends to $1$ if and only if $\mathcal{S}$ has the lifting property.
△ Less
Submitted 7 May, 2024; v1 submitted 22 January, 2024;
originally announced January 2024.
-
Positive maps and entanglement in real Hilbert spaces
Authors:
Giulio Chiribella,
Kenneth R. Davidson,
Vern I. Paulsen,
Mizanur Rahaman
Abstract:
The theory of positive maps plays a central role in operator algebras and functional analysis, and has countless applications in quantum information science. The theory was originally developed for operators acting on complex Hilbert spaces, and little is known about its variant on real Hilbert spaces. In this article we study positive maps acting on a full matrix algebra over the reals, pointing…
▽ More
The theory of positive maps plays a central role in operator algebras and functional analysis, and has countless applications in quantum information science. The theory was originally developed for operators acting on complex Hilbert spaces, and little is known about its variant on real Hilbert spaces. In this article we study positive maps acting on a full matrix algebra over the reals, pointing out a number of fundamental differences with the complex case and discussing their implications in quantum information.
We provide a necessary and sufficient condition for a real map to admit a positive complexification, and connect the existence of positive maps with non-positive complexification with the existence of mixed states that are entangled in real Hilbert space quantum mechanics, but separable in the complex version, providing explicit examples both for the maps and for the states. Finally, we discuss entanglement breaking and PPT maps, and we show that a straightforward real version of the PPT-squared conjecture is false even in dimension 2. Nevertheless, we show that the original PPT-squared conjecture implies a different conjecture for real maps, in which the PPT property is replaced by a stronger property of invariance under partial transposition (IPT). When the IPT property is assumed, we prove an asymptotic version of the conjecture.
△ Less
Submitted 14 May, 2023; v1 submitted 6 July, 2022;
originally announced July 2022.
-
Counterexamples to the extendibility of positive unital norm-one maps
Authors:
Giulio Chiribella,
Kenneth R. Davidson,
Vern I. Paulsen,
Mizanur Rahaman
Abstract:
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 conditio…
▽ More
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.
△ Less
Submitted 19 April, 2022;
originally announced April 2022.
-
A Simple Proof of Bohr's Inequality
Authors:
Vern I. Paulsen,
Dinesh Singh
Abstract:
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.
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.
△ Less
Submitted 25 January, 2022;
originally announced January 2022.
-
Synchronous Values of Games
Authors:
J. William Helton,
Hamoon Mousavi,
Seyed Sajjad Nezhadi,
Vern I. Paulsen,
Travis B. Russell
Abstract:
We study synchronous values of games, especially synchronous games. It is known that a synchronous game has a perfect strategy if and only if it has a perfect synchronous strategy. However, we give examples of synchronous games, in particular graph colouring games, with synchronous value that is strictly smaller than their ordinary value. Thus, the optimal strategy for a synchronous game need not…
▽ More
We study synchronous values of games, especially synchronous games. It is known that a synchronous game has a perfect strategy if and only if it has a perfect synchronous strategy. However, we give examples of synchronous games, in particular graph colouring games, with synchronous value that is strictly smaller than their ordinary value. Thus, the optimal strategy for a synchronous game need not be synchronous. We derive a formula for the synchronous value of an XOR game as an optimization problem over a spectrahedron involving a matrix related to the cost matrix. We give an example of a game such that the synchronous value of repeated products of the game is strictly increasing. We show that the synchronous quantum bias of the XOR of two XOR games is not multiplicative. Finally, we derive geometric and algebraic conditions that a set of projections that yields the synchronous value of a game must satisfy.
△ Less
Submitted 22 August, 2023; v1 submitted 29 September, 2021;
originally announced September 2021.
-
Products of synchronous games
Authors:
Laura Mančinska,
Vern I. Paulsen,
Ivan G. Todorov,
Andreas Winter
Abstract:
We show that the *-algebra of the product of two synchronous games is the tensor product of the corresponding *-algebras. We prove that the product game has a perfect C*-strategy if and only if each of the individual games does, and that in this case the C*-algebra of the product game is *-isomorphic to the maximal C*-tensor product of the individual C*-algebras. We provide examples of synchronous…
▽ More
We show that the *-algebra of the product of two synchronous games is the tensor product of the corresponding *-algebras. We prove that the product game has a perfect C*-strategy if and only if each of the individual games does, and that in this case the C*-algebra of the product game is *-isomorphic to the maximal C*-tensor product of the individual C*-algebras. We provide examples of synchronous games whose synchronous values are strictly supermultiplicative.
△ Less
Submitted 24 September, 2021;
originally announced September 2021.
-
Matrix range characterizations of operator system properties
Authors:
Benjamin Passer,
Vern I. Paulsen
Abstract:
For finite-dimensional operator systems $\mathcal{S}_{\mathsf T}$, ${\mathsf T} \in B({\mathcal H})^d$, we show that the local lifting property and $1$-exactness of $\mathcal{S}_{\mathsf T}$ may be characterized by measurements of the disparity between the matrix range $\mathcal{W}({\mathsf T})$ and the minimal/maximal matrix convex sets over its individual levels. We then examine these concepts f…
▽ More
For finite-dimensional operator systems $\mathcal{S}_{\mathsf T}$, ${\mathsf T} \in B({\mathcal H})^d$, we show that the local lifting property and $1$-exactness of $\mathcal{S}_{\mathsf T}$ may be characterized by measurements of the disparity between the matrix range $\mathcal{W}({\mathsf T})$ and the minimal/maximal matrix convex sets over its individual levels. We then examine these concepts from the point of view of free spectrahedra, direct sums of operator systems, and products of matrix convex sets.
△ Less
Submitted 15 June, 2020; v1 submitted 12 December, 2019;
originally announced December 2019.
-
Bisynchronous Games and Factorizable Maps
Authors:
Vern I. Paulsen,
Mizanur Rahaman
Abstract:
We introduce a new class of non-local games, and corresponding densities, which we call bisynchronous. Bisynchronous games are a subclass of synchronous games and exhibit many interesting symmetries when the algebra of the game is considered. We develop a close connection between these non-local games and the theory of quantum groups which recently surfaced in studies of graph isomorphism games. W…
▽ More
We introduce a new class of non-local games, and corresponding densities, which we call bisynchronous. Bisynchronous games are a subclass of synchronous games and exhibit many interesting symmetries when the algebra of the game is considered. We develop a close connection between these non-local games and the theory of quantum groups which recently surfaced in studies of graph isomorphism games. When the number of inputs is equal to the number of outputs, we prove that a bisynchronous density arises from a trace on the quantum permutation group.
Each bisynchronous density gives rise to a completely positive map and we prove that these maps are factorizable maps.
△ Less
Submitted 4 December, 2020; v1 submitted 10 August, 2019;
originally announced August 2019.
-
Schur multipliers and mixed unitary maps
Authors:
Samuel J. Harris,
Rupert H. Levene,
Vern I. Paulsen,
Sarah Plosker,
Mizanur Rahaman
Abstract:
We consider the tensor product of the completely depolarising channel on $d\times d$ matrices with the map of Schur multiplication by a $k \times k$ correlation matrix and characterise, via matrix theory methods, when such a map is a mixed (random) unitary channel. When $d=1$, this recovers a result of O'Meara and Pereira, and for larger $d$ is equivalent to a result of Haagerup and Musat that was…
▽ More
We consider the tensor product of the completely depolarising channel on $d\times d$ matrices with the map of Schur multiplication by a $k \times k$ correlation matrix and characterise, via matrix theory methods, when such a map is a mixed (random) unitary channel. When $d=1$, this recovers a result of O'Meara and Pereira, and for larger $d$ is equivalent to a result of Haagerup and Musat that was originally obtained via the theory of factorisation through von Neumann algebras. We obtain a bound on the distance between a given correlation matrix for which this tensor product is nearly mixed unitary and a correlation matrix for which such a map is exactly mixed unitary. This bound allows us to give an elementary proof of another result of Haagerup and Musat about the closure of such correlation matrices without appealing to the theory of von Neumann algebras.
△ Less
Submitted 26 October, 2018; v1 submitted 17 July, 2018;
originally announced July 2018.
-
Preservation of the joint essential matricial range
Authors:
Chi-Kwong Li,
Vern I. Paulsen,
Yiu-Tung Poon
Abstract:
Let $A = (A_1, \dots, A_m)$ be an $m$-tuple of elements of a unital $C$*-algebra ${\cal A}$ and let $M_q$ denote the set of $q \times q$ complex matrices. The joint $q$-matricial range $W^q(A)$ is the set of $(B_1, \dots, B_m) \in M_q^m$ such that $B_j = Φ(A_j)$ for some unital completely positive linear map $Φ: {\cal A} \rightarrow M_q$. When ${\cal A}= B(H)$, where $B(H)$ is the algebra of bound…
▽ More
Let $A = (A_1, \dots, A_m)$ be an $m$-tuple of elements of a unital $C$*-algebra ${\cal A}$ and let $M_q$ denote the set of $q \times q$ complex matrices. The joint $q$-matricial range $W^q(A)$ is the set of $(B_1, \dots, B_m) \in M_q^m$ such that $B_j = Φ(A_j)$ for some unital completely positive linear map $Φ: {\cal A} \rightarrow M_q$. When ${\cal A}= B(H)$, where $B(H)$ is the algebra of bounded linear operators on the Hilbert space $H$, the {\bf joint spatial $q$-matricial range} $W^q_s(A)$ of $A$ is the set of $(B_1, \dots, B_m) \in M_q^m$ for which there is a $q$-dimensional $V$ of $H$ such that $B_j$ is a compression of $A_j$ to $V$ for $j=1,\dots, m$. Suppose $K(H)$ is the set of compact operators in $B(H)$. The joint essential spatial $q$-matricial range is defined as $$W_{ess}^q(A) = \cap \{ {\bf cl}(W_s^q(A_1+K_1, \dots, A_m+K_m)): K_1, \dots, K_m \in K(H) \},$$ where ${\bf cl}$ denotes the closure. Let $π$ be the canonical surjection from $B(H)$ to the Calkin algebra $B(H)/K(H)$. We prove that $W_{ess}^q(A) =W^q(π(A) $, where $π(A) = (π(A_1), \dots, π(A_m))$. Furthermore, for any positive integer $N$, we prove that there are self-adjoint compact operators $K_1, \dots, K_m$ such that $${\bf cl}(W^q_s(A_1+K_1, \dots, A_m+K_m)) = W^q_{ess}(A) \quad \hbox{ for all } q \in \{1, \dots, N\}.$$ These results generalize those of Narcowich-Ward and Smith-Ward, obtained in the $m=1$ case, and also generalize a result of Müller obtained in case $m \ge 1$ and $q=1$. Furthermore, if $W_{ess}^1({\bf A}) $ is a simplex in ${\mathbb R}^m$, then we prove that there are self-adjoint $K_1, \dots, K_m \in K(H)$ such that ${\bf cl}(W^q_s(A_1+K_1, \dots, A_m+K_m)) = W^q_{ess}(A)$ for all positive integers $q$.
△ Less
Submitted 23 September, 2019; v1 submitted 27 May, 2018;
originally announced May 2018.
-
Entanglement Breaking Rank and the existence of SIC POVMs
Authors:
Satish K. Pandey,
Vern I. Paulsen,
Jitendra Prakash,
Mizanur Rahaman
Abstract:
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 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$.
△ Less
Submitted 31 July, 2020; v1 submitted 11 May, 2018;
originally announced May 2018.
-
Perfect strategies for non-signalling games
Authors:
M. Lupini,
L. Mancinska,
V. I. Paulsen,
D. E. Roberson,
G. Scarpa,
S. Severini,
I. G. Todorov,
A. Winter
Abstract:
We unify and consolidate various results about non-signall-ing games, a subclass of non-local two-player one-round games, by introducing and studying several new families of games and establishing general theorems about them, which extend a number of known facts in a variety of special cases. Among these families are {\it reflexive games,} which are characterised as the hardest non-signalling game…
▽ More
We unify and consolidate various results about non-signall-ing games, a subclass of non-local two-player one-round games, by introducing and studying several new families of games and establishing general theorems about them, which extend a number of known facts in a variety of special cases. Among these families are {\it reflexive games,} which are characterised as the hardest non-signalling games that can be won using a given set of strategies. We introduce {\it imitation games,} in which the players display linked behaviour, and which contains as subclasses the classes of variable assignment games, binary constraint system games, synchronous games, many games based on graphs, and {\it unique} games. We associate a C*-algebra $C^*(\mathcal{G})$ to any imitation game $\mathcal{G}$, and show that the existence of perfect quantum commuting (resp.\ quantum, local) strategies of $\mathcal{G}$ can be characterised in terms of properties of this C*-algebra, extending known results about synchronous games. We single out a subclass of imitation games, which we call {\it mirror games,} and provide a characterisation of their quantum commuting strategies that has an algebraic flavour, showing in addition that their approximately quantum perfect strategies arise from amenable traces on the encoding C*-algebra. We describe the main classes of non-signalling correlations in terms of states on operator system tensor products.
△ Less
Submitted 17 April, 2018;
originally announced April 2018.
-
Eventually Entanglement Breaking Maps
Authors:
Mizanur Rahaman,
Samuel Jaques,
Vern I. Paulsen
Abstract:
We analyze certain class of linear maps on matrix algebras that become entanglement breaking after composing a finite or infinite number of times with themselves. This means that the Choi matrix of the iterated linear map becomes separable in the tensor product space. If a linear map is entanglement breaking after finite iterations, we say the map has a finite index of separability. In particular…
▽ More
We analyze certain class of linear maps on matrix algebras that become entanglement breaking after composing a finite or infinite number of times with themselves. This means that the Choi matrix of the iterated linear map becomes separable in the tensor product space. If a linear map is entanglement breaking after finite iterations, we say the map has a finite index of separability. In particular we show that every unital PPT-channel becomes entanglement breaking after a finite number of iterations. It turns out that the class of unital channels that have finite index of separability is a dense subset of the unital channels. We construct concrete examples of maps which are not PPT but have finite index of separability. We prove that there is a large class of unital channels that are asymptotically entanglement breaking. This analysis is motivated by the PPT-squared conjecture made by M. Christandl that says every PPT channel, when composed with itself, becomes entanglement breaking.
△ Less
Submitted 11 June, 2018; v1 submitted 16 January, 2018;
originally announced January 2018.
-
Composition of PPT Maps
Authors:
Matthew Kennedy,
Nicholas A. Manor,
Vern I. Paulsen
Abstract:
M. Christandl conjectured that the composition of any trace preserving PPT map with itself is entanglement breaking. We prove that Christandl's conjecture holds asymptotically by showing that the distance between the iterates of any unital or trace preserving PPT map and the set of entanglement breaking maps tends to zero. Finally, for every graph we define a one-parameter family of maps on matric…
▽ More
M. Christandl conjectured that the composition of any trace preserving PPT map with itself is entanglement breaking. We prove that Christandl's conjecture holds asymptotically by showing that the distance between the iterates of any unital or trace preserving PPT map and the set of entanglement breaking maps tends to zero. Finally, for every graph we define a one-parameter family of maps on matrices and determine the least value of the parameter such that the map is variously, positive, completely positive, PPT and entanglement breaking in terms of properties of the graph. Our estimates are sharp enough to conclude that Christandl's conjecture holds for these families.
△ Less
Submitted 7 December, 2017; v1 submitted 23 October, 2017;
originally announced October 2017.
-
Complexity and capacity bounds for quantum channels
Authors:
Rupert H. Levene,
Vern I. Paulsen,
Ivan G. Todorov
Abstract:
We generalise some well-known graph parameters to operator systems by considering their underlying quantum channels. In particular, we introduce the quantum complexity as the dimension of the smallest co-domain Hilbert space a quantum channel requires to realise a given operator system as its non-commutative confusability graph. We describe quantum complexity as a generalised minimum semidefinite…
▽ More
We generalise some well-known graph parameters to operator systems by considering their underlying quantum channels. In particular, we introduce the quantum complexity as the dimension of the smallest co-domain Hilbert space a quantum channel requires to realise a given operator system as its non-commutative confusability graph. We describe quantum complexity as a generalised minimum semidefinite rank and, in the case of a graph operator system, as a quantum intersection number. The quantum complexity and a closely related quantum version of orthogonal rank turn out to be upper bounds for the Shannon zero-error capacity of a quantum channel, and we construct examples for which these bounds beat the best previously known general upper bound for the capacity of quantum channels, given by the quantum Lovász theta number.
△ Less
Submitted 17 October, 2017;
originally announced October 2017.
-
Non-closure of the set of quantum correlations via graphs
Authors:
Ken Dykema,
Vern I. Paulsen,
Jitendra Prakash
Abstract:
We prove that the set of quantum correlations for a bipartite system of 5 inputs and 2 outputs is not closed. Our proof relies on computing the correlation functions of a graph, which is a concept that we introduce.
We prove that the set of quantum correlations for a bipartite system of 5 inputs and 2 outputs is not closed. Our proof relies on computing the correlation functions of a graph, which is a concept that we introduce.
△ Less
Submitted 19 April, 2018; v1 submitted 14 September, 2017;
originally announced September 2017.
-
The Delta Game
Authors:
Ken Dykema,
Vern I. Paulsen,
Jitendra Prakash
Abstract:
We introduce a game related to the $I_{3322}$ game and analyze a constrained value function for this game over various families of synchronous quantum probability densities.
We introduce a game related to the $I_{3322}$ game and analyze a constrained value function for this game over various families of synchronous quantum probability densities.
△ Less
Submitted 31 August, 2017; v1 submitted 19 July, 2017;
originally announced July 2017.
-
A synchronous game for binary constraint systems
Authors:
Se-** Kim,
Vern I. Paulsen,
Christopher Schafhauser
Abstract:
Recently, W. Slofstra proved that the set of quantum correlations is not closed. We prove that the set of synchronous quantum correlations is not closed, which implies his result, by giving an example of a synchronous game that has a perfect quantum approximate strategy but no perfect quantum strategy. We also exhibit a graph for which the quantum independence number and the quantum approximate in…
▽ More
Recently, W. Slofstra proved that the set of quantum correlations is not closed. We prove that the set of synchronous quantum correlations is not closed, which implies his result, by giving an example of a synchronous game that has a perfect quantum approximate strategy but no perfect quantum strategy. We also exhibit a graph for which the quantum independence number and the quantum approximate independence number are different. We prove new characterisations of synchronous quantum approximate correlations and synchronous quantum spatial correlations. We solve the synchronous approximation problem of Dykema and the second author, which yields a new equivalence of Connes' embedding problem in terms of synchronous correlations.
△ Less
Submitted 4 July, 2017;
originally announced July 2017.
-
Reverse Cholesky factorization and tensor products of nest algebras
Authors:
Vern I. Paulsen,
Hugo J. Woerdeman
Abstract:
We prove that every positive semidefinite matrix over the natural numbers that is eventually 0 in each row and column can be factored as the product of an upper triangular matrix times a lower triangular matrix. We also extend some known results about factorization with respect to tensor products of nest algebras. Our proofs use the theory of reproducing kernel Hilbert spaces.
We prove that every positive semidefinite matrix over the natural numbers that is eventually 0 in each row and column can be factored as the product of an upper triangular matrix times a lower triangular matrix. We also extend some known results about factorization with respect to tensor products of nest algebras. Our proofs use the theory of reproducing kernel Hilbert spaces.
△ Less
Submitted 13 April, 2017;
originally announced April 2017.
-
Algebras, Synchronous Games and Chromatic Numbers of Graphs
Authors:
William Helton,
Kyle P. Meyer,
Vern I. Paulsen,
Matthew Satriano
Abstract:
We associate to each synchronous game an algebra whose representations determine if the game has a perfect deterministic strategy, perfect quantum strategy or one of several other perfect strategies. when applied to the graph coloring game, this leads to characterizations in terms of properties of an algebra of various quantum chromatic numbers that have been studied in the literature. This allows…
▽ More
We associate to each synchronous game an algebra whose representations determine if the game has a perfect deterministic strategy, perfect quantum strategy or one of several other perfect strategies. when applied to the graph coloring game, this leads to characterizations in terms of properties of an algebra of various quantum chromatic numbers that have been studied in the literature. This allows us to develop a correspondence between various chromatic numbers of a graph and ideals in this algebra which can then be approached via various Grobner basis methods.
△ Less
Submitted 2 March, 2017;
originally announced March 2017.
-
Complete spectral sets and numerical range
Authors:
Kenneth R. Davidson,
Vern I. Paulsen,
Hugo J. Woerdeman
Abstract:
We define the complete numerical radius norm for homomorphisms from any operator algebra into ${\mathcal B}({\mathcal H})$, and show that this norm can be computed explicitly in terms of the completely bounded norm. This is used to show that if $K$ is a complete $C$-spectral set for an operator $T$, then it is a complete $M$-numerical radius set, where $M=\frac12(C+C^{-1})$. In particular, in view…
▽ More
We define the complete numerical radius norm for homomorphisms from any operator algebra into ${\mathcal B}({\mathcal H})$, and show that this norm can be computed explicitly in terms of the completely bounded norm. This is used to show that if $K$ is a complete $C$-spectral set for an operator $T$, then it is a complete $M$-numerical radius set, where $M=\frac12(C+C^{-1})$. In particular, in view of Crouzeix's theorem, there is a universal constant $M$ (less than 5.6) so that if $P$ is a matrix polynomial and $T \in {\mathcal B}({\mathcal H})$, then $w(P(T)) \le M \|P\|_{W(T)}$. When $W(T) = \overline{\mathbb D}$, we have $M = \frac54$.
△ Less
Submitted 16 December, 2016;
originally announced December 2016.
-
Unitary Correlation Sets
Authors:
Samuel J. Harris,
Vern I. Paulsen
Abstract:
The unitary correlation sets defined by the first author in conjunction with tensor products of $\mathcal{U}_{nc}(n)$ are further studied. We show that Connes' embedding problem is equivalent to deciding whether or not two smaller versions of the unitary correlation sets are equal. Moreover, we obtain the result that Connes' embedding problem is equivalent to deciding whether or not two cross norm…
▽ More
The unitary correlation sets defined by the first author in conjunction with tensor products of $\mathcal{U}_{nc}(n)$ are further studied. We show that Connes' embedding problem is equivalent to deciding whether or not two smaller versions of the unitary correlation sets are equal. Moreover, we obtain the result that Connes' embedding problem is equivalent to deciding whether or not two cross norms on $M_n \otimes M_n$ are equal for all $n \geq 2$.
△ Less
Submitted 10 January, 2018; v1 submitted 8 December, 2016;
originally announced December 2016.
-
Perfect Embezzlement of Entanglement
Authors:
Richard Cleve,
Li Liu,
Vern I. Paulsen
Abstract:
Van Dam and Hayden introduced a concept commonly referred to as embezzlement, where, for any entangled quantum state $φ$, there is an entangled catalyst state $ψ$, from which a high fidelity approximation of $φ\otimes ψ$ can be produced using only local operations. We investigate a version of this where the embezzlement is perfect (i.e., the fidelity is 1). We prove that perfect embezzlement is im…
▽ More
Van Dam and Hayden introduced a concept commonly referred to as embezzlement, where, for any entangled quantum state $φ$, there is an entangled catalyst state $ψ$, from which a high fidelity approximation of $φ\otimes ψ$ can be produced using only local operations. We investigate a version of this where the embezzlement is perfect (i.e., the fidelity is 1). We prove that perfect embezzlement is impossible in a tensor product framework, even with infinite-dimensional Hilbert spaces and infinite entanglement entropy. Then we prove that perfect embezzlement is possible in a commuting operator framework. We prove this using the theory of C*-algebras and we also provide an explicit construction. Next, we apply our results to analyze perfect versions of a nonlocal game introduced by Regev and Vidick. Finally, we analyze the structure of perfect embezzlement protocols in the commuting operator model, showing that they require infinite-dimensional Hilbert spaces.
△ Less
Submitted 16 June, 2016;
originally announced June 2016.
-
Tensor Products of the Operator System Generated by the Cuntz Isometries
Authors:
Vern I. Paulsen,
Da Zheng
Abstract:
We study tensor products and nuclearity-related properties of the operator system $\mathcal S_n$ generated by the Cuntz isometries. By using the nuclearity of the Cuntz algebra, we can show that $\mathcal{S}_n$ is $C^*$-nuclear, and this implies a dual row contraction version of Ando's theorem characterizing operators of numerical radius 1. On the other hand, without using the nuclearity of the Cu…
▽ More
We study tensor products and nuclearity-related properties of the operator system $\mathcal S_n$ generated by the Cuntz isometries. By using the nuclearity of the Cuntz algebra, we can show that $\mathcal{S}_n$ is $C^*$-nuclear, and this implies a dual row contraction version of Ando's theorem characterizing operators of numerical radius 1. On the other hand, without using the nuclearity of the Cuntz algebra, we are still able to show directly this Ando type property of dual row contractions and conclude that $\mathcal{S}_n$ is $C^*$-nuclear, which yields a new proof of the nuclearity of the Cuntz algebras. We prove that the dual operator system of $\mathcal{S}_n$ is completely order isomorphic to an operator subsystem of $M_{n+1}$. Finally, a lifting result concerning Popescu's joint numerical radius is proved via operator system techniques.
△ Less
Submitted 24 July, 2015;
originally announced July 2015.
-
Quantum Graph Homomorphisms via Operator Systems
Authors:
Carlos M. Ortiz,
Vern I. Paulsen
Abstract:
We explore the concept of a graph homomorphism through the lens of C$^*$-algebras and operator systems. We start by studying the various notions of a quantum graph homomorphism and examine how they are related to each other. We then define and study a C$^*$-algebra that encodes all the information about these homomorphisms and establish a connection between computational complexity and the represe…
▽ More
We explore the concept of a graph homomorphism through the lens of C$^*$-algebras and operator systems. We start by studying the various notions of a quantum graph homomorphism and examine how they are related to each other. We then define and study a C$^*$-algebra that encodes all the information about these homomorphisms and establish a connection between computational complexity and the representation of these algebras. We use this C$^*$-algebra to define a new quantum chromatic number and establish some basic properties of this number. We then suggest a way of studying these quantum graph homomorphisms using certain completely positive maps and describe their structure. Finally, we use these completely positive maps to define the notion of a "quantum" core of a graph.
△ Less
Submitted 19 February, 2016; v1 submitted 3 May, 2015;
originally announced May 2015.
-
The SOH Operator System
Authors:
Wai Hin Ng,
Vern I. Paulsen
Abstract:
In this paper we examine a natural operator system structure on Pisier's self-dual operator space. We prove that this operator system is completely order isomorphic to its dual with the cb-condition number of this isomorphism as small as possible. We examine further properties of this operator system and use it to create a new tensor product on operator systems.
In this paper we examine a natural operator system structure on Pisier's self-dual operator space. We prove that this operator system is completely order isomorphic to its dual with the cb-condition number of this isomorphism as small as possible. We examine further properties of this operator system and use it to create a new tensor product on operator systems.
△ Less
Submitted 15 June, 2015; v1 submitted 1 May, 2015;
originally announced May 2015.
-
Correlation Minimizing Frames in Small Dimensions
Authors:
Grant Getzelman,
Nicole L. Leonhard,
Vern I. Paulsen
Abstract:
A uniform tight frame of N vectors for a d dimensional space is correlation minimizing if among all such frames it is as "nearly" orthogonal as possible, i.e., it minimizes the maximal inner product of unequal vectors. In this paper we begin to catalog these frames for small dimensions, in particular, d=3.
A uniform tight frame of N vectors for a d dimensional space is correlation minimizing if among all such frames it is as "nearly" orthogonal as possible, i.e., it minimizes the maximal inner product of unequal vectors. In this paper we begin to catalog these frames for small dimensions, in particular, d=3.
△ Less
Submitted 30 March, 2015;
originally announced March 2015.
-
Extensions of the Inequalities of Hardy and Hilbert
Authors:
Vern I. Paulsen,
Dinesh Singh
Abstract:
In this note we produce generalized versions of the classical inequalities of Hardy and of Hilbert and we establish their equivalence. Our methods rely on the H^1-BMOA duality. We produce a class of examples to establish that the generalizations are non-trivial.
In this note we produce generalized versions of the classical inequalities of Hardy and of Hilbert and we establish their equivalence. Our methods rely on the H^1-BMOA duality. We produce a class of examples to establish that the generalizations are non-trivial.
△ Less
Submitted 20 February, 2015;
originally announced February 2015.
-
A Spectral Characterization of $\mathcal{AN}$ Operators
Authors:
Satish K. Pandey,
Vern I. Paulsen
Abstract:
We establish a spectral characterization theorem for the operators on complex Hilbert spaces of arbitrary dimensions that attain their norm on every closed subspace. The class of these operators is not closed under addition. Nevertheless, we prove that the intersection of these operators with the positive operators forms a proper cone in the real Banach space of hermitian operators.
We establish a spectral characterization theorem for the operators on complex Hilbert spaces of arbitrary dimensions that attain their norm on every closed subspace. The class of these operators is not closed under addition. Nevertheless, we prove that the intersection of these operators with the positive operators forms a proper cone in the real Banach space of hermitian operators.
△ Less
Submitted 19 May, 2016; v1 submitted 23 January, 2015;
originally announced January 2015.
-
Lovász theta type norms and Operator Systems
Authors:
Carlos M. Ortiz,
Vern I. Paulsen
Abstract:
To each graph on $n$ vertices there is an associated subspace of the $n \times n$ matrices called the operator system of the graph. We prove that two graphs are isomorphic if and only if their corresponding operator systems are unitally completely order isomorphic. This means that the study of graphs is equivalent to the study of these special operator systems up to the natural notion of isomorphi…
▽ More
To each graph on $n$ vertices there is an associated subspace of the $n \times n$ matrices called the operator system of the graph. We prove that two graphs are isomorphic if and only if their corresponding operator systems are unitally completely order isomorphic. This means that the study of graphs is equivalent to the study of these special operator systems up to the natural notion of isomorphism in their category. We define new graph theory parameters via this identification. Certain quotient norms that arise from studying the operator system of a graph give rise to a new family of parameters of a graph. We then show basic properties about these parameters and write down explicitly how to compute them via a semidefinte program, and discuss their similarities to the Lovász theta function. Finally, we explore a particular parameter in this family and establish a sandwich theorem that holds for some graphs.
△ Less
Submitted 22 December, 2014;
originally announced December 2014.
-
Estimating quantum chromatic numbers
Authors:
Vern I. Paulsen,
Simone Severini,
Daniel Stahlke,
Ivan G. Todorov,
Andreas Winter
Abstract:
We develop further the new versions of quantum chromatic numbers of graphs introduced by the first and fourth authors. We prove that the problem of computation of the commuting quantum chromatic number of a graph is solvable by an SDP algorithm and describe an hierarchy of variants of the commuting quantum chromatic number which converge to it. We introduce the tracial rank of a graph, a parameter…
▽ More
We develop further the new versions of quantum chromatic numbers of graphs introduced by the first and fourth authors. We prove that the problem of computation of the commuting quantum chromatic number of a graph is solvable by an SDP algorithm and describe an hierarchy of variants of the commuting quantum chromatic number which converge to it. We introduce the tracial rank of a graph, a parameter that gives a lower bound for the commuting quantum chromatic number and parallels the projective rank, and prove that it is multiplicative. We describe the tracial rank, the projective rank and the fractional chromatic numbers in a unified manner that clarifies their connection with the commuting quantum chromatic number, the quantum chromatic number and the classical chromatic number, respectively. Finally, we present a new SDP algorithm that yields a parameter larger than the Lovász number and is yet a lower bound for the tracial rank of the graph. We determine the precise value of the tracial rank of an odd cycle.
△ Less
Submitted 17 February, 2016; v1 submitted 25 July, 2014;
originally announced July 2014.
-
Quantum chromatic numbers via operator systems
Authors:
Vern I. Paulsen,
Ivan G. Todorov
Abstract:
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.
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.
△ Less
Submitted 26 November, 2013;
originally announced November 2013.
-
Characterisations of the weak expectation property
Authors:
Douglas Farenick,
Ali S. Kavruk,
Vern I. Paulsen,
Ivan G. Todorov
Abstract:
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 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.
△ Less
Submitted 3 July, 2013;
originally announced July 2013.
-
Complete positivity of the map from a basis to its dual basis
Authors:
Vern I. Paulsen,
Fred Shultz
Abstract:
The dual of a matrix ordered space has a natural matrix ordering that makes the dual space matrix ordered as well. The purpose of these notes is to give a condition that describes when the linear map taking a basis of the n by n matrices to its dual basis is a complete order isomorphism and complete co-order isomorphism. In the case of the standard matrix units this map is a complete order isomorp…
▽ More
The dual of a matrix ordered space has a natural matrix ordering that makes the dual space matrix ordered as well. The purpose of these notes is to give a condition that describes when the linear map taking a basis of the n by n matrices to its dual basis is a complete order isomorphism and complete co-order isomorphism. In the case of the standard matrix units this map is a complete order isomorphism and this is a restatement of the correspondence between completely positive maps and the Choi matrix. However, we exhibit natural orthonormal bases for the matrices such that this map is an order isomorphism, but not a complete order isomorphism. Some bases yield complete co-order isomorphisms. Included among such bases is the Pauli basis and tensor products of the Pauli basis. Consequently, when the Pauli basis is used in place of the the matrix unit basis, the analogue of Choi's theorem is a characterization of completely co-positive maps.
△ Less
Submitted 19 December, 2012;
originally announced December 2012.
-
Operator systems from discrete groups
Authors:
Douglas Farenick,
Ali S. Kavruk,
Vern I. Paulsen,
Ivan G. Todorov
Abstract:
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 comm…
▽ More
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.
△ Less
Submitted 5 September, 2012;
originally announced September 2012.
-
C*-algebras with the weak expectation property and a multivariable analogue of Ando's theorem on the numerical radius
Authors:
Douglas Farenick,
Ali S. Kavruk,
Vern I. Paulsen
Abstract:
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 set…
▽ More
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.
△ Less
Submitted 19 March, 2012; v1 submitted 2 July, 2011;
originally announced July 2011.
-
Operator system quotients of matrix algebras and their tensor products
Authors:
Douglas Farenick,
Vern I. Paulsen
Abstract:
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…
▽ More
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.
△ Less
Submitted 21 July, 2011; v1 submitted 4 January, 2011;
originally announced January 2011.
-
Minimal and Maximal Operator Spaces and Operator Systems in Entanglement Theory
Authors:
Nathaniel Johnston,
David W. Kribs,
Vern I. Paulsen,
Rajesh Pereira
Abstract:
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 inves…
▽ More
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.
△ Less
Submitted 7 October, 2010;
originally announced October 2010.
-
An approximation theorem for nuclear operator systems
Authors:
Kyung Hoon Han,
Vern I. Paulsen
Abstract:
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…
▽ More
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.
△ Less
Submitted 5 May, 2011; v1 submitted 13 September, 2010;
originally announced September 2010.
-
Quotients, exactness, and nuclearity in the operator system category
Authors:
Ali S. Kavruk,
Vern I. Paulsen,
Ivan G. Todorov,
Mark Tomforde
Abstract:
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 conjectu…
▽ More
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.
△ Less
Submitted 18 August, 2010; v1 submitted 17 August, 2010;
originally announced August 2010.
-
Spanning and independence properties of frame partitions
Authors:
Bernhard G. Bodmann,
Peter G. Casazza,
Vern I. Paulsen,
Darrin Speegle
Abstract:
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 th…
▽ More
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.
△ Less
Submitted 14 April, 2010;
originally announced April 2010.
-
The Feichtinger Conjecture and Reproducing Kernel Hilbert Spaces
Authors:
Sneh Lata,
Vern I. Paulsen
Abstract:
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…
▽ More
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.
△ Less
Submitted 5 December, 2010; v1 submitted 8 April, 2010;
originally announced April 2010.
-
Syndetic Sets and Amenability
Authors:
Vern I. Paulsen
Abstract:
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.
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.
△ Less
Submitted 2 February, 2011; v1 submitted 17 February, 2010;
originally announced February 2010.
-
Syndetic Sets, Paving, and the Feichtinger Conjecture
Authors:
Vern I. Paulsen
Abstract:
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 b…
▽ More
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.
△ Less
Submitted 25 January, 2010;
originally announced January 2010.
-
Tensor Products of Operator Systems
Authors:
Ali S. Kavruk,
Vern I. Paulsen,
Ivan G. Todorov,
Mark Tomforde
Abstract:
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 pr…
▽ More
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.
△ Less
Submitted 23 February, 2011; v1 submitted 12 October, 2009;
originally announced October 2009.
-
Stable isomorphism of dual operator spaces
Authors:
G. K. Eleftherakis,
V. I. Paulsen,
I. G. Todorov
Abstract:
We prove that two dual operator spaces $X$ and $Y$ are stably isomorphic if and only if there exist completely isometric normal representations $φ$ and $ψ$ of $X$ and $Y$, respectively, and ternary rings of operators $M_1, M_2$ such that $φ(X)= [M_2^*ψ(Y)M_1]^{-w^*}$ and $ψ(Y)=[M_2φ(X)M_1^*].$ We prove that this is equivalent to certain canonical dual operator algebras associated with the operat…
▽ More
We prove that two dual operator spaces $X$ and $Y$ are stably isomorphic if and only if there exist completely isometric normal representations $φ$ and $ψ$ of $X$ and $Y$, respectively, and ternary rings of operators $M_1, M_2$ such that $φ(X)= [M_2^*ψ(Y)M_1]^{-w^*}$ and $ψ(Y)=[M_2φ(X)M_1^*].$ We prove that this is equivalent to certain canonical dual operator algebras associated with the operator spaces being stably isomorphic. We apply these operator space results to prove that certain dual operator algebras are stably isomorphic if and only if they are isomorphic. We provide examples motivated by CSL algebra theory.
△ Less
Submitted 14 December, 2008;
originally announced December 2008.
-
Weak Expectations and the Injective Envelope
Authors:
Vern I. Paulsen
Abstract:
Given a unital C*-subalgebra of B(H), we study the set of all possible images of its injective envelope that are contained in B(H) and their position relative to the double commutant of the algebra in order to obtain more information about the existence or non-existence of weak expectations. We study the subset of B(H) that is the intersection of all possible images of the injective envelope and…
▽ More
Given a unital C*-subalgebra of B(H), we study the set of all possible images of its injective envelope that are contained in B(H) and their position relative to the double commutant of the algebra in order to obtain more information about the existence or non-existence of weak expectations. We study the subset of B(H) that is the intersection of all possible images of the injective envelope and show that it is simultaneously a reflexive cover and a new type of order completion of the algebra.
△ Less
Submitted 18 July, 2008;
originally announced July 2008.
-
An operator algebraic proof of Agler's factorization theorem
Authors:
Sneh Lata,
Meghna Mittal,
Vern I. Paulsen
Abstract:
We give a short direct proof of Agler's factorization theorem that uses the abstract characterization of operator algebras. the key ingredient of this proof is an operator algebra factorization theorem. Our proof provides some additional information about these factorizations in the case of polynomials.
We give a short direct proof of Agler's factorization theorem that uses the abstract characterization of operator algebras. the key ingredient of this proof is an operator algebra factorization theorem. Our proof provides some additional information about these factorizations in the case of polynomials.
△ Less
Submitted 16 June, 2008;
originally announced June 2008.
-
Representations of logmodular algebras
Authors:
Vern I. Paulsen,
Mrinal Raghupathi
Abstract:
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 envelo** 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 class…
▽ More
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 envelo** 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
△ Less
Submitted 23 March, 2010; v1 submitted 2 June, 2008;
originally announced June 2008.
-
Equiangular tight frames from complex Seidel matrices containing cube roots of unity
Authors:
Bernhard G. Bodmann,
Vern I. Paulsen,
Mark Tomforde
Abstract:
We derive easily verifiable conditions which characterize when complex Seidel matrices containing cube roots of unity have exactly two eigenvalues. The existence of such matrices is equivalent to the existence of equiangular tight frames for which the inner product between any two frame vectors is always a common multiple of the cube roots of unity. We also exhibit a relationship between these e…
▽ More
We derive easily verifiable conditions which characterize when complex Seidel matrices containing cube roots of unity have exactly two eigenvalues. The existence of such matrices is equivalent to the existence of equiangular tight frames for which the inner product between any two frame vectors is always a common multiple of the cube roots of unity. We also exhibit a relationship between these equiangular tight frames, complex Seidel matrices, and highly regular, directed graphs. We construct examples of such frames with arbitrarily many vectors.
△ Less
Submitted 31 August, 2008; v1 submitted 14 May, 2008;
originally announced May 2008.
