-
An operator system approach to self-testing
Authors:
Jason Crann,
Ivan G. Todorov,
Lyudmila Turowska
Abstract:
We develop a general framework for self-testing, in which bipartite correlations are described by states on the commuting tensor product of a pair of operator systems. We propose a definition of a local isometry between bipartite quantum systems in the commuting operator model, and define self-testing and abstract self-testing in the latter generality. We show that self-tests are in the general ca…
▽ More
We develop a general framework for self-testing, in which bipartite correlations are described by states on the commuting tensor product of a pair of operator systems. We propose a definition of a local isometry between bipartite quantum systems in the commuting operator model, and define self-testing and abstract self-testing in the latter generality. We show that self-tests are in the general case always abstract self-tests and that, in some cases, the converse is also true. We apply our framework in a variety of instances, including to correlations with quantum inputs and outputs, quantum commuting correlations for the CHSH game, synchronous correlations, contextuality scenarios, quantum colourings and Schur quantum channels.
△ Less
Submitted 22 June, 2025;
originally announced June 2025.
-
Values of cooperative quantum games
Authors:
Jason Crann,
Rupert H. Levene,
Ivan G. Todorov,
Lyudmila Turowska
Abstract:
We develop a resource-theoretical approach that allows us to quantify values of two-player, one-round cooperative games with quantum inputs and outputs, as well as values of quantum probabilistic hypergraphs. We analyse the quantum game values arising from the type hierarchy of quantum no-signalling correlations, establishing tensor norm expressions for each of the correlation types. As a conseque…
▽ More
We develop a resource-theoretical approach that allows us to quantify values of two-player, one-round cooperative games with quantum inputs and outputs, as well as values of quantum probabilistic hypergraphs. We analyse the quantum game values arising from the type hierarchy of quantum no-signalling correlations, establishing tensor norm expressions for each of the correlation types. As a consequence, we provide metric characterisations of state convertibility via LOSR and LOCC.En route, we obtain an alternative description of the maximal tensor products of ternary rings of operators.
△ Less
Submitted 26 October, 2023;
originally announced October 2023.
-
Orthogonal Unitary Bases and a Subfactor Conjecture
Authors:
Jason Crann,
David W. Kribs,
Rajesh Pereira
Abstract:
We show that any finite dimensional von Neumann algebra admits an orthonormal unitary basis with respect to its standard trace. We also show that a finite dimensional von Neumann subalgebra of $M_n(\mathbb{C})$ admits an orthonormal unitary basis under normalized matrix trace if and only if the normalized matrix trace and standard trace of the von Neumann subalgebra coincide. As an application, we…
▽ More
We show that any finite dimensional von Neumann algebra admits an orthonormal unitary basis with respect to its standard trace. We also show that a finite dimensional von Neumann subalgebra of $M_n(\mathbb{C})$ admits an orthonormal unitary basis under normalized matrix trace if and only if the normalized matrix trace and standard trace of the von Neumann subalgebra coincide. As an application, we verify a recent conjecture of Bakshi-Gupta, showing that any finite-index regular inclusion $N\subseteq M$ of $II_1$-factors admits an orthonormal unitary Pimsner-Popa basis.
△ Less
Submitted 21 November, 2022;
originally announced November 2022.
-
Quantum teleportation in the commuting operator framework
Authors:
Alexandre Conlon,
Jason Crann,
David W. Kribs,
Rupert H. Levene
Abstract:
We introduce a notion of teleportation scheme between subalgebras of semi-finite von Neumann algebras in the commuting operator model of locality. Using techniques from subfactor theory, we present unbiased teleportation schemes for relative commutants $N'\cap M$ of a large class of finite-index inclusions $N\subseteq M$ of tracial von Neumann algebras, where the unbiased condition means that no i…
▽ More
We introduce a notion of teleportation scheme between subalgebras of semi-finite von Neumann algebras in the commuting operator model of locality. Using techniques from subfactor theory, we present unbiased teleportation schemes for relative commutants $N'\cap M$ of a large class of finite-index inclusions $N\subseteq M$ of tracial von Neumann algebras, where the unbiased condition means that no information about the teleported observables are contained in the classical communication sent between the parties. For a large class of subalgebras $N$ of matrix algebras $M_n(\mathbb{C})$, including those relevant to hybrid classical/quantum codes, we show that any tight teleportation scheme for $N$ necessarily arises from an orthonormal unitary Pimsner-Popa basis of $M_n(\mathbb{C})$ over $N'$, generalising work of Werner. Combining our techniques with those of Brannan-Ganesan-Harris, we compute quantum chromatic numbers for a variety of quantum graphs arising from finite-dimensional inclusions $N\subseteq M$.
△ Less
Submitted 28 November, 2022; v1 submitted 1 August, 2022;
originally announced August 2022.
-
Gaussian quantum information over general quantum kinematical systems I: Gaussian states
Authors:
Cedric Beny,
Jason Crann,
Hun Hee Lee,
Sang-Jun Park,
Sang-Gyun Youn
Abstract:
We develop a theory of Gaussian states over general quantum kinematical systems with finitely many degrees of freedom. The underlying phase space is described by a locally compact abelian (LCA) group $G$ with a symplectic structure determined by a 2-cocycle on $G$. We use the concept of Gaussian distributions on LCA groups in the sense of Bernstein to define Gaussian states and completely characte…
▽ More
We develop a theory of Gaussian states over general quantum kinematical systems with finitely many degrees of freedom. The underlying phase space is described by a locally compact abelian (LCA) group $G$ with a symplectic structure determined by a 2-cocycle on $G$. We use the concept of Gaussian distributions on LCA groups in the sense of Bernstein to define Gaussian states and completely characterize Gaussian states over 2-regular LCA groups of the form $G= F\times\hat{F}$ endowed with a canonical normalized 2-cocycle. This covers, in particular, the case of $n$-bosonic modes, $n$-qudit systems with odd $d\ge 3$, and $p$-adic quantum systems. Our characterization reveals a topological obstruction to Gaussian state entanglement when we decompose the quantum kinematical system into the Euclidean part and the remaining part (whose phase space admits a compact open subgroup). We then generalize the discrete Hudson theorem \cite{Gro} to the case of totally disconnected 2-regular LCA groups. We also examine angle-number systems with phase space $\mathbb{T}^n\times\mathbb{Z}^n$ and fermionic/hard-core bosonic systems with phase space $\mathbb{Z}^{2n}_2$ (which are not 2-regular), and completely characterize their Gaussian states.
△ Less
Submitted 18 April, 2022;
originally announced April 2022.
-
State convertibility in the von Neumann algebra framework
Authors:
Jason Crann,
David W. Kribs,
Rupert H. Levene,
Ivan G. Todorov
Abstract:
We establish a generalisation of the fundamental state convertibility theorem in quantum information to the context of bipartite quantum systems modelled by commuting semi-finite von Neumann algebras. Namely, we establish a generalisation to this setting of Nielsen's theorem on the convertibility of quantum states under local operations and classical communication (LOCC) schemes. Along the way, we…
▽ More
We establish a generalisation of the fundamental state convertibility theorem in quantum information to the context of bipartite quantum systems modelled by commuting semi-finite von Neumann algebras. Namely, we establish a generalisation to this setting of Nielsen's theorem on the convertibility of quantum states under local operations and classical communication (LOCC) schemes. Along the way, we introduce an appropriate generalisation of LOCC operations and connect the resulting notion of approximate convertibility to the theory of singular numbers and majorisation in von Neumann algebras. As an application of our result in the setting of $II_1$-factors, we show that the entropy of the singular value distribution relative to the unique tracial state is an entanglement monotone in the sense of Vidal, thus yielding a new way to quantify entanglement in that context. Building on previous work in the infinite-dimensional setting, we show that trace vectors play the role of maximally entangled states for general $II_1$-factors. Examples are drawn from infinite spin chains, quasi-free representations of the CAR, and discretised versions of the CCR.
△ Less
Submitted 13 September, 2020; v1 submitted 29 April, 2019;
originally announced April 2019.
-
Private algebras in quantum information and infinite-dimensional complementarity
Authors:
Jason Crann,
David W. Kribs,
Rupert H. Levene,
Ivan G. Todorov
Abstract:
We introduce a generalized framework for private quantum codes using von Neumann algebras and the structure of commutants. This leads naturally to a more general notion of complementary channel, which we use to establish a generalized complementarity theorem between private and correctable subalgebras that applies to both the finite and infinite-dimensional settings. Linear bosonic channels are co…
▽ More
We introduce a generalized framework for private quantum codes using von Neumann algebras and the structure of commutants. This leads naturally to a more general notion of complementary channel, which we use to establish a generalized complementarity theorem between private and correctable subalgebras that applies to both the finite and infinite-dimensional settings. Linear bosonic channels are considered and specific examples of Gaussian quantum channels are given to illustrate the new framework together with the complementarity theorem.
△ Less
Submitted 22 October, 2015;
originally announced October 2015.
-
An uncertainty principle for unimodular quantum groups
Authors:
Jason Crann,
Mehrdad Kalantar
Abstract:
We present a generalization of Hirschman's entropic uncertainty principle for locally compact abelian groups to unimodular locally compact quantum groups. As a corollary, we strengthen a well-known uncertainty principle for compact groups, and generalize the relation to compact quantum groups of Kac type. We also establish the complementarity of finite-dimensional quantum group algebras. In the no…
▽ More
We present a generalization of Hirschman's entropic uncertainty principle for locally compact abelian groups to unimodular locally compact quantum groups. As a corollary, we strengthen a well-known uncertainty principle for compact groups, and generalize the relation to compact quantum groups of Kac type. We also establish the complementarity of finite-dimensional quantum group algebras. In the non-unimodular setting, we obtain an uncertainty relation for arbitrary locally compact groups using the relative entropy with respect to the Haar weight as the measure of uncertainty. We also show that when restricted to normal central states of discrete quantum groups, the relative entropy with respect to the Haar weight reduces to the canonical entropy of the random walk generated by the central state.
△ Less
Submitted 2 November, 2014; v1 submitted 4 April, 2014;
originally announced April 2014.
-
Quantum channels arising from abstract harmonic analysis
Authors:
Jason Crann,
Matthias Neufang
Abstract:
We present a new application of harmonic analysis to quantum information by constructing intriguing classes of quantum channels stemming from specific representations of multiplier algebras over locally compact groups $G$. Beginning with a representation of the measure algebra $M(G)$, we unify and elaborate on recent counter-examples to fixed point subalgebras in infinite dimensions, as well as pr…
▽ More
We present a new application of harmonic analysis to quantum information by constructing intriguing classes of quantum channels stemming from specific representations of multiplier algebras over locally compact groups $G$. Beginning with a representation of the measure algebra $M(G)$, we unify and elaborate on recent counter-examples to fixed point subalgebras in infinite dimensions, as well as present an application to the noiseless subsystems method of quantum error correction. Using a representation of the completely bounded Fourier multiplier algebra $McbA(G)$, we provide a new class of counter-examples to the recently solved asymptotic quantum Birkhoff conjecture, along with a systematic method of producing the examples using a geometric representation of Schur maps. Further properties of our channels including duality, quantum capacity, and entanglement preservation are discussed along with potential applications to additivity conjectures.
△ Less
Submitted 11 October, 2012; v1 submitted 9 October, 2012;
originally announced October 2012.
