No cloning theorem

From Wikipedia, the free encyclopedia

You have new messages (last change).

The no cloning theorem is a result of quantum mechanics which forbids the creation of identical copies of an arbitrary unknown quantum state. It was stated by Wootters, Zurek, and Dieks in 1982, and has profound implications in quantum computing and related fields.

Note that the state of one system can be entangled with the state of another system. For instance, one can use the Controlled NOT gate and the Walsh-Hadamard gate to entangle two qubits. This is not cloning. No well-defined state can be attributed to a subsystem of an entangled state. The term cloning refers to a process whose end result is a separable state with identical factors.

Contents

[edit] Proof

Suppose the state of a quantum system A, which we wish to copy, is |\psi\rangle_A (see bra-ket notation). In order to make a copy, we take a system B with the same state space and initial state |e\rangle_B. The initial, or blank, state must be independent of |\psi\rangle_A, of which we have no prior knowledge. The composite system is then described by the tensor product, and its state is

|\psi\rangle_A |e\rangle_B.

There are only two ways to manipulate the composite system. We could perform an observation, which irreversibly collapses the system into some eigenstate of the observable, corrupting the information contained in the qubit. This is obviously not what we want. Alternatively, we could control the Hamiltonian of the system, and thus the time evolution operator U up to some fixed time interval, which is an unitary operator. Then U acts as a copier provided that

U |\psi\rangle_A |e\rangle_B = |\psi\rangle_A |\psi\rangle_B

and

U |\phi\rangle_A |e\rangle_B = |\phi\rangle_A |\phi\rangle_B


for all | \phi \rangle and | \psi \rangle. By definition of unitary operator, U preserves the inner product:

\langle e|_B \langle \phi|_A U^* U |\psi\rangle_A |e\rangle_B = \langle \phi|_B \langle \phi|_A |\psi\rangle_A |\psi\rangle_B,

i.e.

\langle \phi | \psi \rangle = \langle \phi | \psi \rangle ^2.

This is clearly not true in general. Therefore no such U exists. This proves the no cloning theorem.

Alternatively, one can argue using just linearity[1] of U: if cloning succeeds in general, one must have

U (2 \psi) \otimes e = (2 \psi) \otimes ( 2 \psi).

By linearity, the left side equals

2 U ( \psi \otimes e) = 2 ( \psi \otimes \psi),

while the right hand side is

4 ( \psi \otimes \psi).

This is a contradiction, therefore no-cloning holds.

In comparison, the first argument provides the additional insight that cloning can be done for two given orthogonal states.

[edit] Generalizations

[edit] Mixed states and nonunitary operations

In the statement of the theorem, two assumptions were made: the state to be copied is a pure state and the proposed copier acts via unitary time evolution. These assumptions cause no loss of generality. If the state to be copied is a mixed state, it can be purified. Similarly, an arbitrary quantum operation can be implemented via introducing an ancilla and perform a suitable unitary evolution. Thus the no cloning theorem holds in full generality.

[edit] Arbitrary sets of states

Non-clonability can be seen as a property of arbitrary sets of quantum states. If we know that a system's state is one of the states in some set S, but we do not know which one, can we prepare another system in the same state? If the elements of S are pairwise orthogonal, the answer is always yes: for any such set there exists a measurement which will ascertain the exact state of the system without disturbing it, and once we know the state we can prepare another system in the same state. If S contains two elements that are not pairwise orthogonal (in particular, the set of all quantum states includes such pairs) then an argument like that given above shows that the answer is no.

The cardinality of an unclonable set of states may be as small as two, so even if we can narrow down the state of a quantum system to just two possibilities, we still cannot clone it in general (unless the states happen to be orthogonal).

Another way of stating the no-cloning theorem is that amplification of a quantum signal can only happen with respect to some orthogonal basis. This is related to the emergence of classical probability rules in quantum decoherence.

[edit] No-cloning in a classical context

There is a classical analogue to the quantum no-cloning theorem, which we might state as follows: given only the result of one flip of a (possibly biased) coin, we cannot simulate a second, independent toss of the same coin. The proof of this statement uses the linearity of classical probability, and has exactly the same structure as the proof of the quantum no-cloning theorem. Thus if we wish to claim that no-cloning is a uniquely quantum result, some care is necessary in stating the theorem. One way of restricting the result to quantum mechanics is to restrict the states to pure states, where a pure state is defined to be one that is not a convex combination of other states. The classical pure states are pairwise orthogonal, but quantum pure states are not.

[edit] Consequences

  • The no cloning theorem prevents us from using classical error correction techniques on quantum states. For example, we cannot create backup copies of a state in the middle of a quantum computation, and use them to correct subsequent errors. Error correction is vital for practical quantum computing, and for some time this was thought to be a fatal limitation. In 1995, Shor and Steane revived the prospects of quantum computing by independently devising the first quantum error correcting codes, which circumvent the no cloning theorem.
  • In contrast, the no cloning theorem is a vital ingredient in quantum cryptography, as it forbids eavesdroppers from creating copies of a transmitted quantum cryptographic key.
  • The no-cloning theorem protects the uncertainty principle in quantum mechanics. If one could clone an unknown state, then one could make as many copies of it as one wished, and measure each dynamical variable with arbitrary precision, thereby bypassing the uncertainty principle.
  • The no cloning theorem prevents superluminal communication via quantum entanglement, as cloning is a sufficient condition for such communication. Consider the EPR thought experiment, and suppose 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+\rangle_B or |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 +1/2 and -1/2 with equal probability. This would allow Alice and Bob to communicate across space-like separations, potentially violating causality.

[edit] Imperfect cloning

Even though it is impossible to make perfect copies of an unknown quantum state, it is possible to produce imperfect copies. This can be done by coupling a larger auxiliary system to the system that is to be cloned, and applying a unitary transformation to the combined system. If the unitary transformation is chosen correctly, several components of the combined system will evolve into approximate copies of the original system. Imperfect cloning can be used as an eavesdropping attack on quantum cryptography protocols, among other uses in quantum information science.

[edit] See also

[edit] References

  1. ^ K. Fujii, Coherent States and Some Topics in Quantum Information Theory : Review, 2002, http://www.arxiv.org/PS_cache/quant-ph/pdf/0207/0207178.pdf

[edit] Other sources

  • W.K. Wootters and W.H. Zurek, A Single Quantum Cannot be Cloned, Nature 299 (1982), pp. 802-803.
  • D. Dieks, Communication by EPR devices, Physics Letters A, vol. 92(6) (1982), pp. 271-272.
  • V. Buzek and M. Hillery, Quantum cloning, Physics World 14 (11) (2001), pp. 25-29.
Retrieved from "http://en.wikipedia.org../../../n/o/_/No_cloning_theorem.html"
In other languages