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 consequence of the linearity and unitarity of quantum mechanics. Thus, information is never lost in unitary, non wave function collapse interpretations of quantum mechanics. This has implications in the black hole information paradox and in fact any process that appears to lose information completely. The no-hiding theorem is robust to imperfection in the physical process that seemingly destroys the original information. This was proved by Samuel L. Braunstein and Arun K. Pati in 2007. In 2011, the no-hiding theorem was experimentally tested using nuclear magnetic resonance devices where a single qubit undergoes complete randomization; i.e., a pure state transforms to a random mixed state. Subsequently, the lost information has been recovered from the ancilla qubits using suitable local unitary transformation only in the environment Hilbert space in accordance with the no-hiding theorem. This experiment for the first time demonstrated the conservation of quantum information.
Formal statement Let | ψ ⟩ {\displaystyle |\psi \rangle } be an arbitrary quantum state in some Hilbert space and let there be a physical process that transforms | ψ ⟩ ⟨ ψ | → ρ {\displaystyle |\psi \rangle \langle \psi |\rightarrow \rho } with ρ = ∑ k p k | k ⟩ ⟨ k | {\textstyle \rho =\sum _{k}p_{k}|k\rangle \langle k|} . If ρ {\displaystyle \rho } is independent of the input state | ψ ⟩ {\displaystyle |\psi \rangle } , then in the enlarged Hilbert space the mapping is of the form | ψ ⟩ ⊗ | A ⟩ → ∑ k p k | k ⟩ ⊗ | A k ( ψ ) ⟩ = ∑ k p k | k ⟩ ⊗ ( | q k ⟩ ⊗ | ψ ⟩ ⊕ 0 ) , {\displaystyle |\psi \rangle \otimes |A\rangle \rightarrow \sum _{k}{\sqrt {p_{k}}}|k\rangle \otimes |A_{k}(\psi )\rangle =\sum _{k}{\sqrt {p_{k}}}|k\rangle \otimes (|q_{k}\rangle \otimes |\psi \rangle \oplus 0),} where | A ⟩ {\displaystyle |A\rangle } is the initial state of the environment, | A k ( ψ ) ⟩ {\displaystyle |A_{k}(\psi )\rangle } 's are the orthonormal basis of the environment Hilbert space and ⊕ 0 {\displaystyle \oplus 0} denotes the fact that one may augment the unused dimension of the environment Hilbert space by zero vectors. The proof of the no-hiding theorem is based on the linearity and the unitarity of quantum mechanics. The original information which is missing from the final state simply remains in the subspace of the environmental Hilbert space. Also, note that the original information is not in the correlation between the system and the environment. This is the essence of the no-hiding theorem. One can in principle, recover the lost information from the environment by local unitary transformations acting only on the environment Hilbert space. The no-hiding theorem provides new insights to the nature of quantum information. For example, if classical information is lost from one system it may either move to another system or can be hidden in the correlation between a pair of bit strings. However, quantum information cannot be completely hidden in correlations between a pair of subsystems. Quantum mechanics allows only one way to completely hide an arbitrary quantum state from one of its subsystems. If it is lost from one subsystem, then it moves to other subsystems.
Conservation of quantum information
… excerpt ends here. Continue reading the full article.
