No-communication theorem

In physics, the no-communication theorem (also referred to as the no-signaling principle) is a no-go theorem in quantum information theory. It asserts that during the measurement of an entangled quantum state, it is impossible for one observer to transmit information to another observer, regardless of their spatial separation. This conclusion preserves the principle of causality in quantum mechanics and ensures that information transfer does not violate special relativity by exceeding the speed of light.

The theorem is significant because quantum entanglement creates correlations between distant events that might initially appear to enable faster-than-light communication. The no-communication theorem establishes conditions under which such transmission is impossible, thus resolving paradoxes like the Einstein-Podolsky-Rosen (EPR) paradox and addressing the violations of local realism observed in Bell's theorem. Specifically, it demonstrates that the failure of local realism does not imply the existence of "spooky action at a distance," a phrase originally coined by Einstein.

Informal overview

The no-communication theorem states that, within the context of quantum mechanics, it is not possible to transmit classical bits of information by means of carefully prepared mixed or pure states, whether entangled or not. The theorem is only a sufficient condition that states that if the Kraus matrices commute then there can be no communication through the quantum entangled states and this is applicable to all communication. From a relativity and quantum field perspective also faster than light or "instantaneous" communication is disallowed. ^{[1] : 100} Being only a sufficient condition there can be other reasons communication is not allowed.

The basic premise entering into the theorem is that a quantum-mechanical system is prepared in an initial state with some entangled states, and that this initial state is describable as a mixed or pure state in a Hilbert space H. After a certain amount of time the system is divided in two parts each of which contains some non entangled states and half of quantum entangled states and the two parts becomes spatially distinct, A and B, sent to two distinct observers, Alice and Bob, who are free to perform quantum mechanical measurements on their portion of the total system (viz, A and B). The question is: is there any action that Alice can perform on A that would be detectable by Bob making an observation of B? The theorem replies 'no'.

An important assumption going into the theorem is that neither Alice nor Bob is allowed, in any way, to affect the preparation of the initial state. If Alice were allowed to take part in the preparation of the initial state, it would be trivially easy for her to encode a message into it; thus neither Alice nor Bob participates in the preparation of the initial state. The theorem does not require that the initial state be somehow 'random' or 'balanced' or 'uniform': indeed, a third party preparing the initial state could easily encode messages in it, received by Alice and Bob. Simply, the theorem states that, given some initial state, prepared in some way, there is no action that Alice can take that would be detectable by Bob.

The proof proceeds by defining how the total Hilbert space H can be split into two parts, H_A and H_B, describing the subspaces accessible to Alice and Bob. The total state of the system is described by a density matrix σ. The goal of the theorem is to prove that Bob cannot in any way distinguish the pre-measurement state σ from the post-measurement state P(σ). This is accomplished mathematically by comparing the trace of σ and the trace of P(σ), with the trace being taken over the subspace H_A. Since the trace is only over a subspace, it is technically called a partial trace. Key to this step is that the (partial) trace adequately summarizes the system from Bob's point of view. That is, everything that Bob has access to, or could ever have access to, measure, or detect, is completely described by a partial trace over H_A of the system σ. The fact that this trace never changes as Alice performs her measurements is the conclusion of the proof of the no-communication theorem. ^{[1] : 100}

Formulation

The proof of the theorem is commonly illustrated for the setup of Bell tests in which two observers Alice and Bob perform local observations on a common bipartite system, and uses the statistical machinery of quantum mechanics, namely density states and quantum operations. ^{[1] : 100  [2] [3] : 96}

Alice and Bob perform measurements on system S whose underlying Hilbert space is $${\displaystyle H=H_{A}\otimes H_{B}.}$$

It is also assumed that everything is finite-dimensional to avoid convergence issues. The state of the composite system is given by a density operator on H. Any density operator σ on H is a sum of the form: $${\displaystyle \sigma =\sum _{i}T_{i}\otimes S_{i}}$$ where T_i and S_i are operators on H_A and H_B respectively. For the following, it is not required to assume that T_i and S_i are state projection operators: i.e. they need not necessarily be non-negative, nor have a trace of one. That is, σ can have a definition somewhat broader than that of a density matrix; the theorem still holds. Note that the theorem holds trivially for separable states. If the shared state σ is separable, it is clear that any local operation by Alice will leave Bob's system intact. Thus the point of the theorem is no communication can be achieved via a shared entangled state.

Alice performs a local measurement on her subsystem. In general, this is described by a quantum operation, on the system state, of the following kind $${\displaystyle P(\sigma )=\sum _{k}(V_{k}\otimes I_{H_{B}})^{*}\ \sigma \ (V_{k}\otimes I_{H_{B}}),}$$ where V_k are called Kraus matrices which satisfy $${\displaystyle \sum _{k}V_{k}V_{k}^{*}=I_{H_{A}}.}$$

The term $${\displaystyle I_{H_{B}}}$$ from the expression $${\displaystyle (V_{k}\otimes I_{H_{B}})}$$ means that Alice's measurement apparatus does not interact with Bob's subsystem.

Supposing the combined system is prepared in state σ and assuming, for purposes of argument, a non-relativistic situation, immediately (with no time delay) after Alice performs her measurement, the relative state of Bob's system is given by the partial trace of the overall state with respect to Alice's system. In symbols, the relative state of Bob's system after Alice's operation is $${\displaystyle \operatorname {tr} _{H_{A}}(P(\sigma ))}$$ where ${\displaystyle \operatorname {tr} _{H_{A}}}$ is the partial trace mapping with respect to Alice's system.

One can directly calculate this state: $${\displaystyle {\begin{aligned}\operatorname {tr} _{H_{A}}(P(\sigma ))&=\operatorname {tr} _{H_{A}}\left(\sum _{k}(V_{k}\otimes I_{H_{B}})^{*}\sigma (V_{k}\otimes I_{H_{B}})\right)\\&=\operatorname {tr} _{H_{A}}\left(\sum _{k}\sum _{i}V_{k}^{*}T_{i}V_{k}\otimes S_{i}\right)\\&=\sum _{i}\sum _{k}\operatorname {tr} (V_{k}^{*}T_{i}V_{k})S_{i}\\&=\sum _{i}\sum _{k}\operatorname {tr} (T_{i}V_{k}V_{k}^{*})S_{i}\\&=\sum _{i}\operatorname {tr} \left(T_{i}\sum _{k}V_{k}V_{k}^{*}\right)S_{i}\\&=\sum _{i}\operatorname {tr} (T_{i})S_{i}\\&=\operatorname {tr} _{H_{A}}(\sigma ).\end{aligned}}}$$

From this it is argued that, statistically, Bob cannot tell the difference between what Alice did and a random measurement (or whether she did anything at all).

Some comments

• The no-communication theorem implies the no-cloning theorem, which states that quantum states cannot be (perfectly) copied. That is, cloning is a sufficient condition for the communication of classical information to occur. To see this, suppose that quantum states could be cloned. Assume parts of a maximally entangled Bell state are distributed to Alice and Bob. Alice could send bits to Bob in the following way: If Alice wishes to transmit a "0", she measures the spin of her electron in the z direction, collapsing Bob's state to either ${\displaystyle |z+\rangle _{B}}$ or ${\displaystyle |z-\rangle _{B}}$. To transmit "1", Alice does nothing to her qubit. Bob creates many copies of his electron's state, and measures the spin of each copy in the z direction. Bob will know that Alice has transmitted a "0" if all his measurements will produce the same result; otherwise, his measurements will have outcomes ${\displaystyle |z+\rangle _{B}}$ or ${\displaystyle |z-\rangle _{B}}$ with equal probability. This would allow Alice and Bob to communicate classical bits between each other (possibly across space-like separations, violating causality).
• The version of the no-communication theorem discussed in this article assumes that the quantum system shared by Alice and Bob is a composite system, i.e. that its underlying Hilbert space is a tensor product whose first factor describes the part of the system that Alice can interact with and whose second factor describes the part of the system that Bob can interact with. In quantum field theory, this assumption can be replaced by the assumption that Alice and Bob are spacelike separated. ^[4] This alternate version of the no-communication theorem shows that faster-than-light communication cannot be achieved using processes which obey the rules of quantum field theory.

History

In 1978, Phillippe H. Eberhard's paper, Bell's Theorem and the Different Concepts of Locality, rigorously demonstrated the impossibility of faster-than-light communication through quantum systems. ^[5] Eberhard introduced several mathematical concepts of locality and showed how quantum mechanics contradicts most of them while preserving causality.

Further, in 1988, the paper Quantum Field Theory Cannot Provide Faster-Than-Light Communication by Eberhard and Ronald R. Ross analyzed how relativistic quantum field theory inherently forbids faster-than-light communication. ^[6] This work elaborates on how misinterpretations of quantum field properties had led to claims of superluminal communication and pinpoints the mathematical principles that prevent it.

In regards to communication, a quantum channel can always be used to transfer classical information by means of shared quantum states. ^{[7] [8]} In 2008 Matthew Hastings proved a counterexample where the minimum output entropy is not additive for all quantum channels. Therefore, by an equivalence result due to Peter Shor, ^[9] the Holevo capacity is not just additive, but super-additive like the entropy, and by consequence there may be some quantum channels where you can transfer more than the classical capacity. ^{[10] [11]} Typically overall communication happens at the same time via quantum and non quantum channels, and in general time ordering and causality cannot be violated.

In August 24th, a team led by physicist Ronald Hanson from Delft University of Technology in the Netherlands uploaded their latest paper to the preprint website arXiv, reporting the first Bell experiment that simultaneously addressed both the detection loophole and the communication loophole. The research team used a clever technique known as "entanglement swapping," which combines the benefits of photons and matter particles. The final measurements showed coherence between the two electrons that exceeded the Bell limit, once again supporting the standard view of quantum mechanics and rejecting Einstein's hidden variable theory. Furthermore, since electrons are easily detectable, the detection loophole is no longer an issue, and the large distance between the two electrons also eliminates the communication loophole. ^[12]

See also

• No-broadcast theorem
• No-cloning theorem
• No-deleting theorem
• No-hiding theorem
• No-teleportation theorem

References

1. Peres, Asher; Terno, Daniel R. (2004-01-06). "Quantum information and relativity theory". Reviews of Modern Physics. 76 (1): 93–123. arXiv: quant-ph/0212023 . Bibcode:2004RvMP...76...93P. doi:10.1103/RevModPhys.76.93. ISSN   0034-6861. S2CID   7481797.
2. Hall, Michael J.W. (1987). "Imprecise measurements and non-locality in quantum mechanics". Physics Letters A. 125 (2–3). Elsevier BV: 89–91. Bibcode:1987PhLA..125...89H. doi:10.1016/0375-9601(87)90127-7. ISSN   0375-9601.
3. Ghirardi, G. C.; Grassi, R; Rimini, A; Weber, T (1988-05-15). "Experiments of the EPR Type Involving CP-Violation Do not Allow Faster-than-Light Communication between Distant Observers". Europhysics Letters (EPL). 6 (2). IOP Publishing: 95–100. Bibcode:1988EL......6...95G. doi:10.1209/0295-5075/6/2/001. ISSN   0295-5075. S2CID   250762344.
4. Eberhard, Phillippe H.; Ross, Ronald R. (1989), "Quantum field theory cannot provide faster than light communication", Foundations of Physics Letters, 2 (2): 127–149, Bibcode:1989FoPhL...2..127E, doi:10.1007/bf00696109, S2CID   123217211
5. Eberhard, P. H. (1978-08-01). "Bell's theorem and the different concepts of locality". Il Nuovo Cimento B (1971-1996). 46 (2): 392–419. doi:10.1007/BF02728628. ISSN   1826-9877.
6. Eberhard, Phillippe H.; Ross, Ronald R. (1989-03-01). "Quantum field theory cannot provide faster-than-light communication". Foundations of Physics Letters. 2 (2): 127–149. Bibcode:1989FoPhL...2..127E. doi:10.1007/BF00696109. ISSN   1572-9524.
7. Quantum Information, Computation and cryptography, Benatti, Fannes, Floreanini, Petritis: pp 210 - theorem HSV and Lemma 1
8. Lajos Diósi, A Short Course in Quantum Information Theory - An Approach From Theoretical Physics 2006 Ch 10. pp 87
9. Shor, Peter W. (1 April 2004). "Equivalence of Additivity Questions in Quantum Information Theory". Communications in Mathematical Physics. 246 (3): 453–472. arXiv: quant-ph/0305035 . Bibcode:2004CMaPh.246..453S. doi:10.1007/s00220-003-0981-7. S2CID   189829228.
10. Hastings, M. B. (April 2009). "Superadditivity of communication capacity using entangled inputs". Nature Physics. 5 (4): 255–257. arXiv: 0809.3972 . Bibcode:2009NatPh...5..255H. doi:10.1038/nphys1224. S2CID   199687264.
11. Quantum Information, Computation and cryptography, Benatti, Fannes, Floreanini, Petritis: pp 212
12. Hensen, B.; Bernien, H.; Dréau, A. E.; Reiserer, A.; Kalb, N.; Blok, M. S.; Ruitenberg, J.; Vermeulen, R. F. L.; Schouten, R. N. (2015-08-24), "Loophole-free Bell inequality violation using electron spins separated by 1.3 kilometres", Nature, 526 (7575): 682–686, arXiv: 1508.05949 , doi:10.1038/nature15759 , retrieved 2024-12-06

• Florig, Martin; Summers, Stephen J. (1997). "On the statistical independence of algebras of observables". Journal of Mathematical Physics. 38 (3). AIP Publishing: 1318–1328. Bibcode:1997JMP....38.1318F. doi:10.1063/1.531812. ISSN   0022-2488.