No-broadcast Theorem
   HOME

TheInfoList



OR:

In
physics Physics is the natural science that studies matter, its fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge which r ...
, the no-broadcasting theorem is a result of
quantum information theory Quantum information is the information of the quantum state, state of a quantum system. It is the basic entity of study in quantum information theory, and can be manipulated using quantum information processing techniques. Quantum information re ...
. In the case of pure quantum states, it is a
corollary In mathematics and logic, a corollary ( , ) is a theorem of less importance which can be readily deduced from a previous, more notable statement. A corollary could, for instance, be a proposition which is incidentally proved while proving another ...
of the
no-cloning theorem In physics, the no-cloning theorem states that it is impossible to create an independent and identical copy of an arbitrary unknown quantum state, a statement which has profound implications in the field of quantum computing among others. The theore ...
. The no-cloning theorem for pure states says that it is impossible to create two copies of an unknown state given a single copy of the state. Since
quantum state In quantum physics, a quantum state is a mathematical entity that provides a probability distribution for the outcomes of each possible measurement on a system. Knowledge of the quantum state together with the rules for the system's evolution in ...
s cannot be copied in general, they cannot be broadcast. Here, the word "broadcast" is used in the sense of conveying the state to two or more recipients. For multiple recipients to each receive the state, there must be, in some sense, a way of duplicating the state. The no-broadcast theorem generalizes the no-cloning theorem for mixed states. The theorem also includes a converse: if two quantum states do
commute Commute, commutation or commutative may refer to: * Commuting, the process of travelling between a place of residence and a place of work Mathematics * Commutative property, a property of a mathematical operation whose result is insensitive to th ...
, there is a method for broadcasting them: they must have a common basis of eigenstates
diagonalizing In linear algebra, a square matrix A is called diagonalizable or non-defective if it is similar to a diagonal matrix, i.e., if there exists an invertible matrix P and a diagonal matrix D such that or equivalently (Such D are not unique.) ...
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 In mathematics a positive map is a map between C*-algebras that sends positive elements to positive elements. A completely positive map is one which satisfies a stronger, more robust condition. Definition Let A and B be C*-algebras. A linear m ...
. 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 In linear algebra, an eigenvector () or characteristic vector of a linear transformation is a nonzero vector that changes at most by a scalar factor when that linear transformation is applied to it. The corresponding eigenvalue, often denoted ...
. 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.


Generalized No-Broadcast Theorem

The generalized quantum no-broadcasting theorem, originally proven by Barnum,
Caves A cave or cavern is a natural void in the ground, specifically a space large enough for a human to enter. Caves often form by the weathering of rock and often extend deep underground. The word ''cave'' can refer to smaller openings such as sea ...
, Fuchs, Jozsa and Schumacher for mixed states of finite-dimensional quantum systems, 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 State may refer to: Arts, entertainment, and media Literature * ''State Magazine'', a monthly magazine published by the U.S. Department of State * ''The State'' (newspaper), a daily newspaper in Columbia, South Carolina, United States * ''Our S ...
\rho_i, drawn from the set \_ such that rho_1,\rho_2\ne 0, there is no process (using physical means independent of those used to select the state) guaranteed to create a state \rho_ in a
Hilbert space In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natural ...
H_A \otimes H_B whose
partial trace In linear algebra and functional analysis, the partial trace is a generalization of the trace. Whereas the trace is a scalar valued function on operators, the partial trace is an operator-valued function. The partial trace has applications in q ...
s are \operatorname_A\rho_ = \rho_i and \operatorname_B\rho_ = \rho_i. Such a process was termed broadcasting in that paper.


No-Local-Broadcasting Theorem

The second theorem states that local broadcasting is only possible when the state is a classical probability distribution. This means that a state can only be broadcast locally if it does not have any quantum correlations. Luo reconciled this theorem with the generalized no-broadcast theorem by making the conjecture that when a state is a classical-quantum state, correlations (rather than the state itself) in a bipartite state can be locally broadcast. By mathematically proving that his conjecture and the two theorems all relate to and imply one another, Luo proved that all three statements are logically equivalent.


See also

*
No-communication theorem In physics, the no-communication theorem or no-signaling principle 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, by making a measureme ...
*
No-hiding theorem The no-hiding theorem states that if information is lost from a system via decoherence, then it moves to the subspace of the environment and it cannot remain in the correlation between the system and the environment. This is a fundamental consequen ...
Quantum no-hiding theorem experimentally confirmed for first time
Mar 07, 2011 by Lisa Zyga.
* Quantum teleportation *
Quantum entanglement Quantum entanglement is the phenomenon that occurs when a group of particles are generated, interact, or share spatial proximity in a way such that the quantum state of each particle of the group cannot be described independently of the state of ...
*
Quantum information Quantum information is the information of the state of a quantum system. It is the basic entity of study in quantum information theory, and can be manipulated using quantum information processing techniques. Quantum information refers to both th ...
*
Uncertainty principle In quantum mechanics, the uncertainty principle (also known as Heisenberg's uncertainty principle) is any of a variety of mathematical inequalities asserting a fundamental limit to the accuracy with which the values for certain pairs of physic ...


References

{{Quantum computing Quantum information science Theorems in quantum mechanics No-go theorems