arXiv subjects
Publications and source records attributed to Travis Russell.
We show that many of the standard nuclearity properties considered in the literature for the hierarchy of operator system tensor products can be expressed as approximate factorization properties, generalizing the well-known Completely Positive Approximation Property for nuclear C*-algebras due to Choi and Effros and its generalization to nuclear operator systems due to Han and Paulsen.
We construct a family of operator systems and $k$-AOU spaces generated by a finite number of projections satisfying a set of linear relations. This family is universal in the sense that the map sending the generating projections to any other set of projections which satisfy the same relations is completely positive. These operator systems are constructed as inductive limits of explicitly defined operator systems. By choosing the linear relations to be the nonsignalling relations from quantum correlation theory, we obtain a hierarchy of ordered vector spaces dual to the hierarchy of quantum correlation sets. By considering another set of relations, we also find a new necessary condition for the existence of a SIC-POVM.
We introduce a matricial analogue of an Archimedean order unit space, which we call a $k$-AOU space. We develop the category of $k$-AOU spaces and $k$-positive maps and exhibit functors from this category to the category of operator systems and completely positive maps. We also demonstrate the existence of injective envelopes and C*-envelopes in the category of $k$-AOU spaces. Finally, we show that finite-dimensional quantum correlations can be characterized in terms of states on finite-dimensional $k$-AOU spaces. Combined with previous work, this yields a reformulation of Tsirelson's conjecture in terms of operator systems and $k$-AOU spaces.
We explicitly construct an Archimedean order unit space whose state space is affinely isomorphic to the set of quantum commuting correlations. Our construction only requires fundamental techniques from the theory of order unit spaces and operator systems. Our main results are achieved by characterizing when a finite set of positive contractions in an Archimedean order unit space can be realized as a set of projections on a Hilbert space.
We show that the set of projections in an operator system can be detected using only the abstract data of the operator system. Specifically, we show that if $p$ is a positive contraction in an operator system $V$ which satisfies certain order-theoretic conditions, then there exists a complete order embedding of $V$ into $B(H)$ mapping $p$ to a projection operator. Moreover, every abstract projection in an operator system $V$ is an honest projection in the C*-envelope of $V$. Using this characterization, we provide an abstract characterization for operator systems spanned by two commuting families of projection-valued measures and discuss applications in quantum information theory.
We study the set of quantum correlations generated by actions on maximally entangled states. We show that such correlations are dense in their own convex hull. As a consequence, we show that these correlations are dense in the set of synchronous quantum correlations. We introduce the concept of corners of correlation sets and show that every local or nonsignalling correlation can be realized as the corner of a synchronous local or nonsignalling correlation. We provide partial results for other correlation sets.
We describe a new method for the decomposition of an arbitrary $n$ qubit operator with entries in $\mathbb{Z}[i,\frac{1}{\sqrt{2}}]$, i.e., of the form $(a+b\sqrt{2}+i(c+d\sqrt{2}))/{\sqrt{2}^{k}}$, into Clifford+$T$ operators where $n\le 2$. This method achieves a bound of $O(k)$ gates using at most one ancilla using decomposition into $1$- and $2$-level matrices which was first proposed by Giles and Selinger.