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:1206.4247 · Information

Implementation of Classical Communication in a Quantum World

Chris Fields

Published Dec 13, 2012• 7 citations
arXivHTMLPDF

Abstract

Observations of quantum systems carried out by finite observers who subsequently communicate their results using classical data structures can be described as “local operations, classical communication” (LOCC) observations. The implementation of LOCC observations by the Hamiltonian dynamics prescribed by minimal quantum mechanics is investigated. It is shown that LOCC observations cannot be described using decoherence considerations alone, but rather require the a priori stipulation of a positive operator-valued measure (POVM) about which communicating observers agree. It is also shown that the transfer of classical information from system to observer can be described in terms of system-observer entanglement, raising the possibility that an apparatus implementing an appropriate POVM can reveal the entangled system-observer states that implement LOCC observations.

DOI
10.3390/info3040809

Related papers

Information contents and architectural requirements of observer "ready" states

Chris Fields

A functional analysis of the task of observing multiple macroscopic quantum systems over an extended period of time and then reporting the accumulated results is used to investigate the information that must be encoded in the "ready" state |O^r> of any finite, macroscopic observer O capable of performing this task. Decoherence considerations show that this task can be considered as involving local observations under classical conditions (LOCC), allowing the use of classical automata theory to define a minimal observer. It is shown that such a minimal observer must implement a functional architecture equivalent to a classical Turing machine and must encode in |O^r> a classical specification of the complete set of reportable apparatus states. The observation task is then re-characterized employing an explicit model of such a minimal observer, and it is shown that both the assumption that external systems have well-defined boundaries against the environment and the assumption of decoherence are unnecessary for the characterization of measurements made by a minimal observer. It is shown that the observables available to a minimal observer are positive operator-valued measures (POVMs) and that the measurement results reported by a minimal observer comply with the Born rule. The differences in underlying physical assumptions between this "systems-free" treatment of observation and that traditionally employed in analyses of quantum measurement and quantum communication are discussed.

arXiv:0908.1231•Aug 9, 2009•0 citations

Realizing a 2-D Positive Operator-Valued Measure by Local Operations and Classical Communication

Kenji Nakahira, Tsuyoshi Sasaki Usuda

We study the realization of a 2-D positive operator-valued measure (POVM) by local operations and classical communication (LOCC). We derive that any POVM on a 2-D Hilbert space in which each party's space is finite dimensional can be realized by one-way LOCC. This implies that any optimal discrimination of quantum states spanning such a 2-D Hilbert space is possible by one-way LOCC, regardless of the optimality criterion used and how entangled the states are.

arXiv:1501.06222•IEEE Transactions on Information Theory•Apr 4, 2016•3 citations

On GKLS Dynamics for Local Operations and Classical Communication

Lajos Diósi, Antoine Tilloy

We define a time continuous version of the concept of “local operations and classical communication” (LOCC), ubiquitous in quantum information theory. It allows us to construct GKLS master equations for particle systems that have (1) an arbitrary pair potential, and (2) local decoherence terms, but that do not entangle the constituents. The local decoherence terms take a particularly simple form if a principle of least decoherence is applied.

arXiv:1710.04565•Open Systems & Information Dynamics•Dec 1, 2017•8 citations

On GKLS Dynamics for Local Operations and Classical Communication

Diosi, L., Antoine Tilloy

We define a time continuous version of the concept of "local operations and classical communication" (LOCC), ubiquitous in quantum information theory.It allows us to construct GKLS master equations for particle systems that have (1) an arbitrary pair potential, and (2) local decoherence terms, but that do not entangle the constituents.The local decoherence terms take a particularly simple form if a principle of least decoherence is applied.

•Dec 1, 2017•6 citations

Everything you always wanted to know about LOCC (but were afraid to ask

Eric Chitambar, Debbie Leung, Māris Ozols +1 more

In this paper we study the subset of generalized quantum measurements on finite dimensional systems known as local operations and classical communication (LOCC). While LOCC emerges as the natural class of operations in many important quantum information tasks, its mathematical structure is complex and difficult to characterize. Here we provide a precise description of LOCC and related operational classes in terms of quantum instruments. Our formalism captures both finite round protocols as well as those that utilize an unbounded number of communication rounds. While the set of LOCC is not topologically closed, we show that finite round LOCC constitutes a compact subset of quantum operations. Additionally we show the existence of an open ball around the completely depolarizing map that consists entirely of LOCC implementable maps. Finally, we demonstrate a two-qubit map whose action can be approached arbitrarily close using LOCC, but nevertheless cannot be implemented perfectly.

•Aug 17, 2016•181 citations

Structure of local quantum operations and classical communication: Finite versus infinite rounds

Scott M. Cohen

Every measurement that can be implemented by local quantum operations and classical communication (LOCC) using an infinite number of rounds is the limit of a sequence of measurements, where each measurement in the sequence requires only a finite number of rounds. This rather obvious and well-known fact is nonetheless of interest as it shows that these infinite-round measurements can be approximated arbitrarily closely simply by using more and more rounds of communication. Here we demonstrate the perhaps less obvious result that (at least) for bipartite systems, the reverse relationship also holds. Specifically, we show that every finite-round bipartite LOCC measurement is the limit of a continuous sequence of LOCC measurements, where each measurement in that sequence can be implemented by LOCC, but only with the use of an infinite number of rounds. Thus, the set of LOCC measurements that require an infinite number of rounds is dense in the entirety of LOCC, as is the set of finite-round LOCC measurements. This means there exist measurements that can only be implemented by LOCC by using an infinite number of rounds, but can nonetheless be approximated closely by using one round of communication, and actually in some cases, no communication is needed at all. These results follow from a necessary condition presented here for finite-round LOCC, which is extremely simple to check, is very easy to prove, and which can be violated by utilizing an infinite number of rounds.

Physical Review A•Apr 8, 2015•5 citations
Observations of quantum systems carried out by finite observers who subsequently communicate their results using classical data structures can be described as “local operations, classical communication” (LOCC) observations. The implementation of LOCC observations by the Hamiltonian dynamics prescribed by minimal quantum mechanics is investigated. It is shown that LOCC observations cannot be described using decoherence considerations alone, but rather require the a priori stipulation of a positive operator-valued measure (POVM) about which communicating observers agree. It is also shown that the transfer of classical information from system to observer can be described in terms of system-observer entanglement, raising the possibility that an apparatus implementing an appropriate POVM can reveal the entangled system-observer states that implement LOCC observations.
A functional analysis of the task of observing multiple macroscopic quantum systems over an extended period of time and then reporting the accumulated results is used to investigate the information that must be encoded in the "ready" state |O^r> of any finite, macroscopic observer O capable of performing this task. Decoherence considerations show that this task can be considered as involving local observations under classical conditions (LOCC), allowing the use of classical automata theory to define a minimal observer. It is shown that such a minimal observer must implement a functional architecture equivalent to a classical Turing machine and must encode in |O^r> a classical specification of the complete set of reportable apparatus states. The observation task is then re-characterized employing an explicit model of such a minimal observer, and it is shown that both the assumption that external systems have well-defined boundaries against the environment and the assumption of decoherence are unnecessary for the characterization of measurements made by a minimal observer. It is shown that the observables available to a minimal observer are positive operator-valued measures (POVMs) and that the measurement results reported by a minimal observer comply with the Born rule. The differences in underlying physical assumptions between this "systems-free" treatment of observation and that traditionally employed in analyses of quantum measurement and quantum communication are discussed.
In this paper we study the subset of generalized quantum measurements on finite dimensional systems known as local operations and classical communication (LOCC). While LOCC emerges as the natural class of operations in many important quantum information tasks, its mathematical structure is complex and difficult to characterize. Here we provide a precise description of LOCC and related operational classes in terms of quantum instruments. Our formalism captures both finite round protocols as well as those that utilize an unbounded number of communication rounds. While the set of LOCC is not topologically closed, we show that finite round LOCC constitutes a compact subset of quantum operations. Additionally we show the existence of an open ball around the completely depolarizing map that consists entirely of LOCC implementable maps. Finally, we demonstrate a two-qubit map whose action can be approached arbitrarily close using LOCC, but nevertheless cannot be implemented perfectly.
Every measurement that can be implemented by local quantum operations and classical communication (LOCC) using an infinite number of rounds is the limit of a sequence of measurements, where each measurement in the sequence requires only a finite number of rounds. This rather obvious and well-known fact is nonetheless of interest as it shows that these infinite-round measurements can be approximated arbitrarily closely simply by using more and more rounds of communication. Here we demonstrate the perhaps less obvious result that (at least) for bipartite systems, the reverse relationship also holds. Specifically, we show that every finite-round bipartite LOCC measurement is the limit of a continuous sequence of LOCC measurements, where each measurement in that sequence can be implemented by LOCC, but only with the use of an infinite number of rounds. Thus, the set of LOCC measurements that require an infinite number of rounds is dense in the entirety of LOCC, as is the set of finite-round LOCC measurements. This means there exist measurements that can only be implemented by LOCC by using an infinite number of rounds, but can nonetheless be approximated closely by using one round of communication, and actually in some cases, no communication is needed at all. These results follow from a necessary condition presented here for finite-round LOCC, which is extremely simple to check, is very easy to prove, and which can be violated by utilizing an infinite number of rounds.