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:quant-ph/0104027 · Europhysics Letters (EPL)

Semicausal operations are semilocalizable

Tilo Eggeling, Dirk-M. Schlingemann, Reinhard F. Werner

Published Mar 1, 2002• 103 citations
arXivHTMLPDF

Abstract

We prove a conjecture by DiVincenzo, which in the terminology of Preskill et al. states that “semicausal operations are semilocalizable”. That is, we show that any operation on the combined system of Alice and Bob, which does not allow Bob to send messages to Alice, can be represented as an operation by Alice, transmitting a quantum particle to Bob, and a local operation by Bob. The proof is based on the uniqueness of the Stinespring representation for a completely positive map. We sketch some of the problems in transferring these concepts to the context of relativistic quantum field theory.

DOI
10.1209/epl/i2002-00579-4

Related papers

Causal and localizable quantum operations

David Beckman, Daniel Gottesman, Michael A. Nielsen +1 more

We examine constraints on quantum operations imposed by relativistic causality. A bipartite superoperator is said to be localizable if it can be implemented by two parties (Alice and Bob) who share entanglement but do not communicate; it is causal if the superoperator does not convey information from Alice to Bob or from Bob to Alice. We characterize the general structure of causal complete-measurement superoperators, and exhibit examples that are causal but not localizable. We construct another class of causal bipartite superoperators that are not localizable by invoking bounds on the strength of correlations among the parts of a quantum system. A bipartite superoperator is said to be semilocalizable if it can be implemented with one-way quantum communication from Alice to Bob, and it is semicausal if it conveys no information from Bob to Alice. We show that all semicausal complete-measurement superoperators are semilocalizable, and we establish a general criterion for semicausality. In the multipartite case, we observe that a measurement superoperator that projects onto the eigenspaces of a stabilizer code is localizable.

arXiv:quant-ph/0102043•Physical Review A•Oct 12, 2001•209 citations

Properties of quantum nonsignaling boxes

Marco Piani, Michał Horodecki, Paweł Horodecki +1 more

A classical nonsignaling (or causal) box is an operation on classical bipartite input with classical bipartite output such that no signal can be sent from a party to the other through the use of the box. The quantum counterpart of such boxes, i.e., completely positive trace-preserving maps on bipartite states, though studied in literature, have been investigated less intensively than classical boxes. We present here some results and remarks about such maps. In particular, we analyze: the relations among properties as causality, nonlocality and entanglement; the connection between causal and entanglement breaking maps; the characterization of causal maps in terms of the classification of states with fixed reductions. We also provide proofs of the fact that every nonproduct unitary transformation is not causal, as well as for the equivalence of the so-called semicausality and semilocalizability properties.

arXiv:quant-ph/0505110•Physical Review A•Jul 7, 2006•75 citations

On Achieving Superluminal Communication

Dhananjay P. Mehendale

What is proposed here is a simple modication in the quantum protocol [1] for achieving instantaneous teleportation of arbitrary quantum state from Alice to Bob even when Bob is several light years away. This modied quantum protocol is constructed by adding a step the in the celebrated quantum teleportation protocol [1]. It consists of the action of a unitary operator to be performed by Alice on the qubits in her possession before she does the Bell basis measurement. It is important to note that the existing quantum teleportation protocol [1] requires certain classical communication between the participants, Alice and Bob, and we are going to eliminate this classical communication through our modification. In the existing protocol [1] Alice requires sending the classical bits generated during her Bell basis measurement over a classical channel to Bob for Bob to use these classical bits to determine the exact recovery operation to be performed on the qubit(s) in his possession for creating the exactly identical copy of unknown quantum state that was with Alice and got destroyed during her Bell basis measurement. Alice cannot send the classical bits she obtained to Bob with the speed faster than that of light since it is the well known experimentally veried universal upper limit on the speed. We show that by incorporating suitable unitary operation to be performed by Alice on her qubits before the Bell basis measurement the requirement of the transmission of classical bits by Alice to Bob for the creation of the unknown quantum state by Bob at his place can be completely eliminated. Our modification in the teleportation protocols [1], [2] thus clearly demonstrates the enormous advantage of remaining in the quantum regime and avoiding the requirement of any classical communication for the teleportation of the quantum states.

•Oct 1, 2017•0 citations

Commuting Quantum Operations Factorise

Renato Renner, Ramona Wolf

Abstract Consider two agents, Alice and Bob, each of whom takes a quantum input, operates on a shared quantum system K , and produces a quantum output. Alice and Bob’s operations may commute, in the sense that the joint input-output behaviour is independent of the order in which they access K . Here we ask whether this commutation property implies that K can be split into two factors on which Alice and Bob act separately. The question can be regarded as a “fully quantum” generalisation of a problem posed by Tsirelson, who considered the case where Alice and Bob’s inputs and outputs are classical. In this case, the answer is negative in general, but it is known that a factorisation exists in finite dimensions. Here we show the same holds in the fully quantum case, i.e., commuting operations factorise, provided that all input systems are finite-dimensional.

Communications in Mathematical Physics•Jun 6, 2026•0 citations

QUANTUM SECURE CONDITIONAL DIRECT COMMUNICATION VIA EPR PAIRS

Ting Gao, Fengli Yan, Zhi‐Xi Wang

Two schemes for quantum secure conditional direct communication are proposed, where a set of EPR pairs of maximally entangled particles in Bell states, initially made by the supervisor Charlie, but shared by the sender Alice and the receiver Bob, functions as quantum information channels for faithful transmission. After insuring the security of the quantum channel and obtaining the permission of Charlie (i.e., Charlie is trustworthy and cooperative, which means the "conditional" in the two schemes), Alice and Bob begin their private communication under the control of Charlie. In the first scheme, Alice transmits secret message to Bob in a deterministic manner with the help of Charlie by means of Alice's local unitary transformations, both Alice and Bob's local measurements, and both of Alice and Charlie's public classical communication. In the second scheme, the secure communication between Alice and Bob can be achieved via public classical communication of Charlie and Alice, and the local measurements of both Alice and Bob. The common feature of these protocols is that the communications between two communication parties Alice and Bob depend on the agreement of the third side Charlie. Moreover, transmitting one bit secret message, the sender Alice only needs to apply a local operation on her one qubit and send one bit classical information. We also show that the two schemes are completely secure if quantum channels are perfect.

arXiv:quant-ph/0501130•International Journal of Modern Physics C•Aug 1, 2005•40 citations

Commuting operations factorise

Renato Renner, Ramona Wolf

Consider two agents, Alice and Bob, each of whom takes a quantum input, operates on a shared quantum system $K$, and produces a quantum output. Alice and Bob's operations may commute, in the sense that the joint input-output behaviour is independent of the order in which they access $K$. Here we ask whether this commutation property implies that $K$ can be split into two factors on which Alice and Bob act separately. The question can be regarded as a "fully quantum" generalisation of a problem posed by Tsirelson, who considered the case where Alice and Bob's inputs and outputs are classical. In this case, the answer is negative in general, but it is known that a factorisation exists in finite dimensions. Here we show the same holds in the fully quantum case, i.e., commuting operations factorise, provided that all input systems are finite-dimensional.

arXiv:2308.05792•Aug 10, 2023•0 citations
We prove a conjecture by DiVincenzo, which in the terminology of Preskill et al. states that “semicausal operations are semilocalizable”. That is, we show that any operation on the combined system of Alice and Bob, which does not allow Bob to send messages to Alice, can be represented as an operation by Alice, transmitting a quantum particle to Bob, and a local operation by Bob. The proof is based on the uniqueness of the Stinespring representation for a completely positive map. We sketch some of the problems in transferring these concepts to the context of relativistic quantum field theory.
We examine constraints on quantum operations imposed by relativistic causality. A bipartite superoperator is said to be localizable if it can be implemented by two parties (Alice and Bob) who share entanglement but do not communicate; it is causal if the superoperator does not convey information from Alice to Bob or from Bob to Alice. We characterize the general structure of causal complete-measurement superoperators, and exhibit examples that are causal but not localizable. We construct another class of causal bipartite superoperators that are not localizable by invoking bounds on the strength of correlations among the parts of a quantum system. A bipartite superoperator is said to be semilocalizable if it can be implemented with one-way quantum communication from Alice to Bob, and it is semicausal if it conveys no information from Bob to Alice. We show that all semicausal complete-measurement superoperators are semilocalizable, and we establish a general criterion for semicausality. In the multipartite case, we observe that a measurement superoperator that projects onto the eigenspaces of a stabilizer code is localizable.
A classical nonsignaling (or causal) box is an operation on classical bipartite input with classical bipartite output such that no signal can be sent from a party to the other through the use of the box. The quantum counterpart of such boxes, i.e., completely positive trace-preserving maps on bipartite states, though studied in literature, have been investigated less intensively than classical boxes. We present here some results and remarks about such maps. In particular, we analyze: the relations among properties as causality, nonlocality and entanglement; the connection between causal and entanglement breaking maps; the characterization of causal maps in terms of the classification of states with fixed reductions. We also provide proofs of the fact that every nonproduct unitary transformation is not causal, as well as for the equivalence of the so-called semicausality and semilocalizability properties.
What is proposed here is a simple modication in the quantum protocol [1] for achieving instantaneous teleportation of arbitrary quantum state from Alice to Bob even when Bob is several light years away. This modied quantum protocol is constructed by adding a step the in the celebrated quantum teleportation protocol [1]. It consists of the action of a unitary operator to be performed by Alice on the qubits in her possession before she does the Bell basis measurement. It is important to note that the existing quantum teleportation protocol [1] requires certain classical communication between the participants, Alice and Bob, and we are going to eliminate this classical communication through our modification. In the existing protocol [1] Alice requires sending the classical bits generated during her Bell basis measurement over a classical channel to Bob for Bob to use these classical bits to determine the exact recovery operation to be performed on the qubit(s) in his possession for creating the exactly identical copy of unknown quantum state that was with Alice and got destroyed during her Bell basis measurement. Alice cannot send the classical bits she obtained to Bob with the speed faster than that of light since it is the well known experimentally veried universal upper limit on the speed. We show that by incorporating suitable unitary operation to be performed by Alice on her qubits before the Bell basis measurement the requirement of the transmission of classical bits by Alice to Bob for the creation of the unknown quantum state by Bob at his place can be completely eliminated. Our modification in the teleportation protocols [1], [2] thus clearly demonstrates the enormous advantage of remaining in the quantum regime and avoiding the requirement of any classical communication for the teleportation of the quantum states.
Abstract Consider two agents, Alice and Bob, each of whom takes a quantum input, operates on a shared quantum system K , and produces a quantum output. Alice and Bob’s operations may commute, in the sense that the joint input-output behaviour is independent of the order in which they access K . Here we ask whether this commutation property implies that K can be split into two factors on which Alice and Bob act separately. The question can be regarded as a “fully quantum” generalisation of a problem posed by Tsirelson, who considered the case where Alice and Bob’s inputs and outputs are classical. In this case, the answer is negative in general, but it is known that a factorisation exists in finite dimensions. Here we show the same holds in the fully quantum case, i.e., commuting operations factorise, provided that all input systems are finite-dimensional.
Two schemes for quantum secure conditional direct communication are proposed, where a set of EPR pairs of maximally entangled particles in Bell states, initially made by the supervisor Charlie, but shared by the sender Alice and the receiver Bob, functions as quantum information channels for faithful transmission. After insuring the security of the quantum channel and obtaining the permission of Charlie (i.e., Charlie is trustworthy and cooperative, which means the "conditional" in the two schemes), Alice and Bob begin their private communication under the control of Charlie. In the first scheme, Alice transmits secret message to Bob in a deterministic manner with the help of Charlie by means of Alice's local unitary transformations, both Alice and Bob's local measurements, and both of Alice and Charlie's public classical communication. In the second scheme, the secure communication between Alice and Bob can be achieved via public classical communication of Charlie and Alice, and the local measurements of both Alice and Bob. The common feature of these protocols is that the communications between two communication parties Alice and Bob depend on the agreement of the third side Charlie. Moreover, transmitting one bit secret message, the sender Alice only needs to apply a local operation on her one qubit and send one bit classical information. We also show that the two schemes are completely secure if quantum channels are perfect.
Consider two agents, Alice and Bob, each of whom takes a quantum input, operates on a shared quantum system KKK, and produces a quantum output. Alice and Bob's operations may commute, in the sense that the joint input-output behaviour is independent of the order in which they access KKK. Here we ask whether this commutation property implies that KKK can be split into two factors on which Alice and Bob act separately. The question can be regarded as a "fully quantum" generalisation of a problem posed by Tsirelson, who considered the case where Alice and Bob's inputs and outputs are classical. In this case, the answer is negative in general, but it is known that a factorisation exists in finite dimensions. Here we show the same holds in the fully quantum case, i.e., commuting operations factorise, provided that all input systems are finite-dimensional.