Schwarz–Ahlfors–Pick theorem

In physics, the no-communication theorem is a no-go theorem from quantum information theory, which states that, during measurement of an entangled quantum state, it is not possible for one observer, making a measurement of a subsystem of the total state, to communicate information to another observer. The theorem is important because, in quantum mechanics, quantum entanglement is an effect by which certain widely separated events can be correlated in ways that suggest the possibility of instantaneous communication. The no-communication theorem gives conditions under which such transfer of information between two observers is impossible. These results can be applied to understand the so-called paradoxes in quantum mechanics, such as the EPR paradox, or violations of local realism obtained in tests of Bell's theorem. In these experiments, the no-communication theorem shows that failure of local realism does not lead to what could be referred to as "spooky communication at a distance" (in analogy with Einstein's labeling of quantum entanglement as "spooky action at a distance").

In very rough terms, the theorem describes a situation that is analogous to two people, each with a radio receiver, listening to a common radio station: it is impossible for one of the listensers to use their radio receiver to send messages to the other listener. This analogy is imprecise, because quantum entanglement suggests that perhaps a message could have been conveyed; the theorem replies 'no, this is not possible'.

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 disallows all communication, not just faster-than-light communication, by means of shared quantum states. The theorem disallows not only the communication of whole bits, but even fractions of a bit. This is important to take note of, as there are many classical radio communications encoding techniques that can send arbitrarily small fractions of a bit across arbitrarily narrow, noisy communications channels. In particular, one may imagine that there is some ensemble that can be prepared, with small portions of the ensemble communicating a fraction of a bit; this, too, is not possible.

The theorem is built on the basic presumption that the laws of quantum mechanics hold. Similar theorems may or may not hold for other related theories, such as hidden variable theories. The no-communication theorem is not meant to constrain other, non-quantum-mechanical theories.

The basic assumption entering into the theorem is that a quantum-mechanical system is prepared in an initial state, and that this initial state is describable as a mixed or pure state in a Hilbert space H. The system then evolves over time in such a way that there are two spatially distinct parts, 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, that would be detectable by Bob? The theorem replies 'no'.

An important assumption going into the theorem is that neither Alice nor Bob are 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 participate 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 assumed to be described by a density matrix σ. This appears to be a reasonable assumption, as a density matrix is sufficient to describe both pure and mixed states in quantum mechanics. Another important part of the theorem is that measurement is performed by applying a generalized projection operator P to the state σ. This again is reasonable, as projection operators give the appropriate mathematical description of quantum measurements. After a measurement by Alice, the state of the total system is said to have collapsed to a state P(σ).

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 the assumption 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 σ. Again, this is a reasonable assumption, as it is a part of standard quantum mechanics. The fact that this trace never changes as Alice performs her measurements is the conclusion of the proof of the no-communication theorem.

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.

Alice and Bob perform measurements on system S whose underlying Hilbert space is

$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:

$\sigma =\sum _i{T}_i\otimes S_i$

where T_i and S_i are operators on H_A and H_B. 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 definion 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

$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

$\sum _k{V}_k{V}_k^{*}=I_{H_A}.$

The term

$I_{H_B}$

from the expression

$(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

${\mathrm{tr}}_{H_A}(P(\sigma ))$

where ${\mathrm{tr}}_{H_A}$ is the partial trace mapping with respect to Alice's system.

One can directly calculate this state:

${\mathrm{tr}}_{H_A}(P(\sigma ))={\mathrm{tr}}_{H_A}(\sum _k(V_k\otimes I_{H_B}{)}^{*}\sigma (V_k\otimes I_{H_B}))$

$={\mathrm{tr}}_{H_A}(\sum _k\sum _i{V}_k^{*}{T}_i{V}_k\otimes S_i)$

$=\sum _i\sum _k\mathrm{tr}(V_k^{*}{T}_i{V}_k)S_i$

$=\sum _i\sum _k\mathrm{tr}(T_i{V}_k{V}_k^{*})S_i$

$=\sum _i\mathrm{tr}\left(T_i\sum _k{V}_k{V}_k^{*}\right)S_i$

$=\sum _i\mathrm{tr}(T_i)S_i$

$={\mathrm{tr}}_{H_A}(\sigma ).$

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

• If the density operator $P(\sigma )$ is allowed to evolve under the influence of non-local interactions between A and B, then the calculation in the proof no longer holds.

• The no-communication theorem thus says shared entanglement alone can not be used to transmit any information. Compare this with the no-teleportation theorem, which states a classical information channel can not transmit quantum information. (By transmit, we mean transmission with full fidelity.) However, quantum teleportation schemes utilize both resources to achieve what is impossible for either alone.

• 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 $|z+{⟩}_B$ or $|z-{⟩}_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 $|z+{⟩}_B$ or $|z-{⟩}_B$ with equal probability. This would allow Alice and Bob to communicate classical bits between each other (possibly across space-like separations, violating causality).

Opposing Viewpoint

Theorem fails to take weak quantum measurement into account and needs to be updated to consider this case.

The use of Tensor product ($H=H_A\otimes H_B.$) to simplify the description is deeply problematic according to:

The sender and Alice and Bob should on the contrary be understood as 3 labs which cooperate closely.

The proof is also based on another assumption: '… means that Alice's measurement apparatus does not interact with Bob's subsystem’.

Let's look at a small analysis of part of a classic two-channel experiment that is often used to show entanglement:

Alice and Bob measures the corresponding particles from pairs of quantum mechanically entangled photons - known as Bell-par. Alice's measurement apparatus is a polarizing beam splitter and photo detectors. Bob’s measurement apparatus also starts with a polarizing beam splitter.

Let one setting of Alice's polarizing beam splitter makes a distribution at Bob's polarizing beam splitter as (10% -90%) for the part of the beam that is transmitted through Alice's splitter. The second part, similar to those which are reflected at Alice’s splitter, will create a distribution of (90 % - 10%). Then Bob receives a random mix of (10% - 90%) and (90% -10 %).

Another setting of Alice’s measurement apparatus could give Bob a mix of (60% - 40%) and (40% - 60%). These are clear differences in Bob's system caused by changes at Alice's measurement apparatus - and many measurements of correlations between Alice and Bob have confirmed these differences.

So one of the assumings the proof is based on is wrong - and therefore the proof is also wrong.

The problem with the communication is in some way to measure these changes, entanglement predicts. But it will probably be resolved over time.

See also

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

References

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

• Hall, M.J.W. Imprecise measurements and non-locality in quantum mechanics, Phys. Lett. A (1987) 89-91
• Ghirardi, G.C. et al. Experiments of the EPR Type Involving CP-Violation Do not Allow Faster-than-Light Communication between Distant Observers, Europhys. Lett. 6 (1988) 95-100
• Florig, M. and Summers, S. J. On the statistical independence of algebras of observables, J. Math. Phys. 38 (1997) 1318- 1328