Concept
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. This has implications in black hole information paradox and in fact any process that tends 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. Let be an arbitrary quantum state in some Hilbert space and let there be a physical process that transforms with . If is independent of the input state , then in the enlarged Hilbert space the mapping is of the form where is the initial state of the environment, 's are the orthonormal basis of the environment Hilbert space and 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.