The theorem[1] also includes a converse: if two quantum states do commute, there is a method for broadcasting them: they must have a common basis of eigenstates diagonalizing them simultaneously, and the map that clones every state of this basis is a legitimate quantum operation, requiring only physical resources independent of the input state to implement—a completely positive map. A corollary is that there is a physical process capable of broadcasting every state in some set of quantum states if, and only if, every pair of states in the set commutes. This broadcasting map, which works in the commuting case, produces an overall state in which the two copies are perfectly correlated in their eigenbasis.

Remarkably, the theorem does not hold if more than one copy of the initial state is provided: for example, broadcasting six copies starting from four copies of the original state is allowed, even if the states are drawn from a non-commuting set. The purity of the state can even be increased in the process, a phenomenon known as superbroadcasting.[2] Contents 1 Generalized No-Broadcast Theorem 2 No-Local-Broadcasting Theorem 3 See also 4 References Generalized No-Broadcast Theorem The generalized quantum no-broadcasting theorem, originally proven by Barnum, Caves, Fuchs, Jozsa and Schumacher for mixed states of finite-dimensional quantum systems,[3] says that given a pair of quantum states which do not commute, there is no method capable of taking a single copy of either state and succeeding, no matter which state was supplied and without incorporating knowledge of which state has been supplied, in producing a state such that one part of it is the same as the original state and the other part is also the same as the original state. That is, given an initial unknown state {displaystyle rho _{i},} drawn from the set {displaystyle {rho _{i}}_{iin {1,2}}} such that {displaystyle [rho _{1},rho _{2}]neq 0} , there is no process (using physical means independent of those used to select the state) guaranteed to create a state {displaystyle rho _{AB}} in a Hilbert space {displaystyle H_{A}otimes H_{B}} whose partial traces are {displaystyle operatorname {Tr} _{A}rho _{AB}=rho _{i}} and {displaystyle operatorname {Tr} _{B}rho _{AB}=rho _{i}} . Such a process was termed broadcasting in that paper.