Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1809.01203 · Journal of Mathematical Physics

Quantum error correction and one-way LOCC state distinguishability

David W. Kribs, Comfort Mintah, Michael Nathanson, Rajesh Pereira

Published Mar 1, 2019• 7 citations
arXivHTMLPDF

Abstract

We explore the intersection of studies in quantum error correction and quantum local operations and classical communication (LOCC). We consider one-way LOCC measurement protocols as quantum channels and investigate their error correction properties, emphasizing an operator theory approach to the subject, and we obtain new applications to one-way LOCC state distinguishability as well as new derivations of some established results. We also derive conditions on when states that arise through the stabilizer formalism for quantum error correction are distinguishable under one-way LOCC.

DOI
10.1063/1.5047486

Related papers

Operator and Graph Theoretic Techniques for Distinguishing Quantum States via One-Way LOCC

David W. Kribs, Comfort Mintah, Michael Nathanson +1 more

We bring together in one place some of the main results and applications from our recent work on quantum information theory, in which we have brought techniques from operator theory, operator algebras, and graph theory for the first time to investigate the topic of distinguishability of sets of quantum states in quantum communication, with particular reference to the framework of one-way local quantum operations and classical communication (LOCC). We also derive a new graph-theoretic description of distinguishability in the case of a single-qubit sender.

arXiv:2110.07657•Applied Sciences•Oct 14, 2021•1 citation

One-Way LOCC Indistinguishable Lattice States via Operator Structures

Comfort Mintah, David W. Kribs, Michael Nathanson +1 more

Lattice states are a class of quantum states that naturally generalize the fundamental set of Bell states. We apply recent results from quantum error correction and from one-way local operations and classical communication (LOCC) theory, that are built on the structure theory of operator systems and operator algebras, to develop a technique for the construction of relatively small sets of lattice states not distinguishable by one-way LOCC schemes. We also present examples, show the construction extends to generalized Pauli states, and compare the construction to other recent work.

arXiv:2004.11777•Apr 24, 2020•0 citations

Local Distinguishability of Multipartite Orthogonal Quantum States: Generalized and Simplified

Ian George, Mohammad A. Alhejji

In a seminal work [PRL85.4972], Walgate, Short, Hardy, and Vedral prove in finite dimensions that for every pair of pure multipartite orthogonal quantum states, there exists a one-way local operations and classical communication (LOCC) protocol that perfectly distinguishes the pair. We extend this result to infinite dimensions with a simpler proof. For states on $\mathbb{C}^{d_A \times d_A} \otimes \mathbb{C}^{d_B \times d_B}$, we strengthen this existence result by constructing an $O(d_A^2 d_B^2)$-time algorithm that specifies such a perfect one-way LOCC protocol. Finally, we establish the equivalence between Walgate et al.'s result and the fact that the one-shot environment-assisted classical capacity of every quantum channel is at least 1 bit per channel use, thereby clarifying the literature on these notions. At the core of all of these results is the fact that every operator with vanishing trace admits a basis where its diagonal entries are all zero.

quant-pharXiv:2601.20074•Jan 29, 2026•0 citations

Operator Theory and Conditions for Quantum Local Operations and Classical Communication

Comfort Mintah

We study the finite dimensional $C^{*}$-algebras and their representation theory. The physical description of quantum local operations and classical communication (LOCC) and its schematics are presented. Focusing on the mathematical description of one-way LOCC, we give detailed analysis of recently derived operator relations in quantum information theory. We also show how functional analytic tools such as operatorx systems, operator algebras, and Hilbert $C^{*}$-modules all naturally emerge in this setting. We make use of these structures to derive some key results in one-way LOCC. Perfect distinguishability of one-way LOCC versus arbitrary quantum operations is analyzed. It turns out that they are equivalent for several families of operators that appear jointly in matrix and operator theory and quantum information theory. The main results of this work are contained in the paper \\citep{comfort}.

•Jan 16, 2017•0 citations

Operator structures and quantum one-way LOCC conditions

David W. Kribs, Comfort Mintah, Michael Nathanson +1 more

We conduct the first detailed analysis in quantum information of recently derived operator relations from the study of quantum one-way local operations and classical communications (LOCC). We show how operator structures such as operator systems, operator algebras, and Hilbert C*-modules naturally arise in this setting. We make use of these structures to derive new results and bounds in the study of one-way LOCC, and we use the approach to uncover new derivations of some previously established results.

arXiv:1612.03796•Journal of Mathematical Physics•Sep 1, 2017•10 citations

Graph Structures for Local Distinguishability of Quantum Product States

Sooyeong Kim, David W. Kribs, Michael Nathanson +2 more

We consider the problem of distinguishing sets of quantum product states with local operations and classical communication (LOCC). Recent work has used graph theory to identify sets of product states distinguishable with one-way LOCC. We extend these efforts to full two-way LOCC, with the first significant analysis of the set of graphs corresponding to bipartite product states that can be distinguished with two-way protocols after finitely many steps. We derive basic closure properties of the set of distinguishable graphs and identify some classes of graphs that guarantee local distinguishability and some graphs that do not. We also include several examples and forward-looking comments.

quant-pharXiv:2606.26558•Jun 26, 2026•0 citations
We explore the intersection of studies in quantum error correction and quantum local operations and classical communication (LOCC). We consider one-way LOCC measurement protocols as quantum channels and investigate their error correction properties, emphasizing an operator theory approach to the subject, and we obtain new applications to one-way LOCC state distinguishability as well as new derivations of some established results. We also derive conditions on when states that arise through the stabilizer formalism for quantum error correction are distinguishable under one-way LOCC.
We bring together in one place some of the main results and applications from our recent work on quantum information theory, in which we have brought techniques from operator theory, operator algebras, and graph theory for the first time to investigate the topic of distinguishability of sets of quantum states in quantum communication, with particular reference to the framework of one-way local quantum operations and classical communication (LOCC). We also derive a new graph-theoretic description of distinguishability in the case of a single-qubit sender.
Lattice states are a class of quantum states that naturally generalize the fundamental set of Bell states. We apply recent results from quantum error correction and from one-way local operations and classical communication (LOCC) theory, that are built on the structure theory of operator systems and operator algebras, to develop a technique for the construction of relatively small sets of lattice states not distinguishable by one-way LOCC schemes. We also present examples, show the construction extends to generalized Pauli states, and compare the construction to other recent work.
In a seminal work [PRL85.4972], Walgate, Short, Hardy, and Vedral prove in finite dimensions that for every pair of pure multipartite orthogonal quantum states, there exists a one-way local operations and classical communication (LOCC) protocol that perfectly distinguishes the pair. We extend this result to infinite dimensions with a simpler proof. For states on CdA×dA⊗CdB×dB\mathbb{C}^{d_A \times d_A} \otimes \mathbb{C}^{d_B \times d_B}CdA​×dA​⊗CdB​×dB​, we strengthen this existence result by constructing an O(dA2dB2)O(d_A^2 d_B^2)O(dA2​dB2​)-time algorithm that specifies such a perfect one-way LOCC protocol. Finally, we establish the equivalence between Walgate et al.'s result and the fact that the one-shot environment-assisted classical capacity of every quantum channel is at least 1 bit per channel use, thereby clarifying the literature on these notions. At the core of all of these results is the fact that every operator with vanishing trace admits a basis where its diagonal entries are all zero.
We study the finite dimensional C∗C^{*}C∗-algebras and their representation theory. The physical description of quantum local operations and classical communication (LOCC) and its schematics are presented. Focusing on the mathematical description of one-way LOCC, we give detailed analysis of recently derived operator relations in quantum information theory. We also show how functional analytic tools such as operatorx systems, operator algebras, and Hilbert C∗C^{*}C∗-modules all naturally emerge in this setting. We make use of these structures to derive some key results in one-way LOCC. Perfect distinguishability of one-way LOCC versus arbitrary quantum operations is analyzed. It turns out that they are equivalent for several families of operators that appear jointly in matrix and operator theory and quantum information theory. The main results of this work are contained in the paper \\citep{comfort}.
We conduct the first detailed analysis in quantum information of recently derived operator relations from the study of quantum one-way local operations and classical communications (LOCC). We show how operator structures such as operator systems, operator algebras, and Hilbert C*-modules naturally arise in this setting. We make use of these structures to derive new results and bounds in the study of one-way LOCC, and we use the approach to uncover new derivations of some previously established results.
We consider the problem of distinguishing sets of quantum product states with local operations and classical communication (LOCC). Recent work has used graph theory to identify sets of product states distinguishable with one-way LOCC. We extend these efforts to full two-way LOCC, with the first significant analysis of the set of graphs corresponding to bipartite product states that can be distinguished with two-way protocols after finitely many steps. We derive basic closure properties of the set of distinguishable graphs and identify some classes of graphs that guarantee local distinguishability and some graphs that do not. We also include several examples and forward-looking comments.