No-cloning theorem 2026-10-07
No deterministic quantum operation can make two perfect copies of every unknown pure state. For a proposed unitary operator acting with a fixed blank and environment, preservation of inner products gives , where is the input overlap and is the overlap of final environment states. Nonorthogonal distinct states have , contradicting this equality. The no-cloning theorem for two pure states is its elementary two-state form.
The no-cloning theorem for two pure states states that no single unitary operator can clone two distinct nonorthogonal states. Suppose, to the contrary, that
Preservation of the inner product by gives
Writing , this requires or . The first case is orthogonality; the second means that the normalized states represent the same ray. Both contradict the assumptions. Therefore distinct nonorthogonal quantum states cannot be cloned by a unitary process.
The no-cloning theorem for two pure states states that, for distinct nonorthogonal states and , there is no unitary operator and fixed blank state such that
To derive this from state discrimination, let
and suppose such a cloner existed. Applying it repeatedly would produce copies. The inner product of the two possible -copy states has magnitude , so their optimal success probability under the Helstrom-Holevo bound would be
Already for ,
because implies . But cloning followed by the two-copy Helstrom measurement for two pure states would itself be a quantum procedure applied to the original single state, contradicting the optimal one-copy bound . Hence the assumed unitary cloner cannot exist.
Equivalently, clone-assisted asymptotic state discrimination would give , although two nonorthogonal states are not perfectly distinguishable. Thus the Helstrom--Holevo theorem implies the no-cloning theorem.
Assume an anti-degradable channel transmits perfectly with encoder and decoder . Apply its Stinespring isometry to , producing receiver system and environment . The receiver obtains by ; anti-degradability lets the environment simulate the receiver output using , and then also produces .
Apply these two local decoding channels simultaneously to and . Each marginal of the resulting bipartite state is the original pure state . A bipartite state with a pure marginal is a product, so the joint output is . We have therefore constructed one quantum channel mapping every pure to , contradicting the no-cloning theorem for two pure states. Hence no anti-degradable channel can transmit arbitrary quantum information perfectly in one use.
One obtains a logically consistent extension by specifying three rules: ordinary quantum evolution and localized objective collapses determine the global state; the past-light-cone prescription determines a unique local density operator at every readout event; and a readout copies a classical description of that operator into a classical register without changing the quantum state. These rules assign an output to every finite-dimensional input and every spacetime history.
The device is outside the class of ordinary quantum measurements and permits tasks such as learning and then preparing a copy of an unknown pure state, but violating the operational no-cloning theorem for two pure states does not make the enlarged axioms contradictory. Feed-forward operations can be defined from earlier readouts in the same causal region. Because every output depends only on collapse events in its past light cone, no closed causal dependence or spacelike signal is introduced. The extension is therefore mathematically coherent, although it is hypothetical and goes beyond standard quantum theory.