In physics, the no-cloning theorem states that it is impossible to create an identical copy of an arbitrary unknown quantum state. This no-go theorem of quantum mechanics was articulated by Wootters and Zurek and Dieks in 1982, and has profound implications in quantum computing and related fields.
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. Cloning is a process whose result is a separable state with identical factors. According to Asher Peres and David Kaiser, the publication of the no-cloning theorem was prompted by a proposal of Nick Herbert for a superluminal communication device using quantum entanglement.
The no-cloning theorem is normally stated and proven for pure states; the no-broadcast theorem generalizes this result to mixed states.
The no-cloning theorem has a time-reversed dual, the no-deleting theorem. Together, these underpin the interpretation of quantum mechanics in terms of category theory, and, in particular, as a dagger compact category. This formulation, known as categorical quantum mechanics, allows, in turn, a connection to be made from quantum mechanics to linear logic as the logic of quantum information theory (in the same sense that classical logic arises from Cartesian closed categories).