We introduce a general operational characterization of information-preserving structures (IPS) -- encompassing noiseless subsystems, decoherence-free subspaces, pointer bases, and error-correcting codes -- by demonstrating that they are isometric to fixed points of unital quantum processes. Using this, we show that every IPS is a matrix algebra. We further establish a structure theorem for the fixed states and observables of an arbitrary process, which unifies the Schrodinger and Heisenberg pictures, places restrictions on physically allowed kinds of information, and provides an efficient algorithm for finding all noiseless and unitarily noiseless subsystems of the process.
Quantum systems carry information. Quantum theory supports at least two distinct kinds of information (classical and quantum), and a variety of different ways to encode and preserve information in physical systems. A system's ability to carry information is constrained and defined by the noise in its dynamics. This paper introduces an operational framework, using information-preserving structures to classify all the kinds of information that can be perfectly (i.e., with zero error) preserved by quantum dynamics. We prove that every perfectly preserved code has the same structure as a matrix al…
We study the nature of the information preserved by a quantum channel via the observables which exist in its image (in the Heisenberg picture), and can therefore be simulated on the receiver's side. The sharp observables preserved by a channel form an operator algebra which can be characterized in terms of the channel's elements. The effect of the channel on these observables can be reversed by another physical transformation. These results generalize the theory of quantum error correction to codes characterized by arbitrary von Neumann algebras, which can represent hybrid quantum-classical in…
The quantum cloner machine maps an unknown arbitrary input qubit into two optimal clones and one optimal flipped qubit. By combining linear and non-linear optical methods we experimentally implement a scheme that, after the cloning transformation, restores the original input qubit in one of the output channels, by using local measurements, classical communication and feedforward. This significant teleportation-like method demonstrates how the information is preserved during the cloning process. The realization of the reversion process is expected to find useful applications in the field of mod…
The theory of decoherence attempts to explain the emergent classical behaviour of a quantum system interacting with its quantum environment. In order to formalize this mechanism we introduce the idea that the information preserved in an open quantum evolution (or channel) can be characterized in terms of observables of the initial system. We use this approach to show that information which is broadcast into many parts of the environment can be encoded in a single observable. This supports a model of decoherence where the pointer observable can be an arbitrary positive operator-valued measure (…
The entanglement fidelity provides a measure of how well the entanglement between two subsystems is preserved in a quantum process. By using a simple model we show that in some cases this quantity in its original definition fails in the measurement of the entanglement preserving. On the contrary, the modified entanglement fidelity, obtained by using a proper local unitary transformation on a subsystem, is shown to exhibit the behavior similar to that of the concurrence in the quantum evolution.
We propose a resolution to the black-hole information-loss paradox: in one formulation of physical theory, information is preserved and macroscopic causality is violated; in another, causality is preserved and pure states evolve to mixed states. However, no experiments can be performed that would distinguish these two descriptions. We explain how this could work in practice; a key ingredient is the suggested quantum-chaotic nature of black holes.
We prove that for a large class of quantum Fisher information, a quantum channel is sufficient for a family of quantum states, i.e., the input states can be recovered from the output, if and only if the quantum Fisher information is preserved under the quantum channel. This class, for instance, includes Winger-Yanase-Dyson skew information. On the other hand, interestingly, the SLD quantum Fisher information, as the most popular example of quantum analog of Fisher information, does not satisfy this property. Our recoverability result is obtained by studying Riemannian monotone metrics on the q…
Decoherence in Markovian systems can result indirectly from the action of a system Hamiltonian which is usually fixed and unavoidable. Here, we show that in general in Markovian systems, because of the system Hamiltonian, quantum information decoheres. We give conditions for the system Hamiltonian that must be satisfied if coherence is to be preserved. Finally, we show how to construct robust subspaces for quantum information processing.
We introduce an algebra qCCS of pure quantum processes in which no classical data is involved, communications by moving quantum states physically are allowed, and computations is modeled by super-operators. An operational semantics of qCCS is presented in terms of (non-probabilistic) labeled transition systems. Strong bisimulation between processes modeled in qCCS is defined, and its fundamental algebraic properties are established, including uniqueness of the solutions of recursive equations. To model sequential computation in qCCS, a reduction relation between processes is defined. By combin…
We address entanglement, coherence, and information protection in a system of four non-interacting qubits coupled with different classical environments, namely: common, bipartite, tripartite, and independent environments described by Ornstein-Uhlenbeck (ORU) noise. We show that quantum information preserved by the four qubit state is more dependent on the coherence than the entanglement using time-dependent entanglement witness, purity, and Shannon entropy. We find these two quantum phenomena directly interrelated and highly vulnerable in environments with ORU noise, resulting in the pure expo…
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components, as well as communications between these components. Moreover, to model concurrent and distributed quantum computations and quantum communication protocols, communications over quantum channels which move qubits physically from one place to another must also be taken into account. Inspired by classical process algebras, which provide a framework for modeling cooperating computations, a process algebraic notation is defined. This notation provides a homo…
The performance of quantum technologies that use entanglement and coherence as resource is highly limited by decohering effects due to their interaction with some environment. Particularly, it is important to take into account situations where such devices unavoidably interact with a surrounding. Here, we study memory effects on energy and ergotropy of quantum batteries in the framework of open system dynamics, where the battery and charger are individually allowed to access a bosonic environment. Our investigation shows that the battery can be fully charged and its energy can be preserved for…
We show how to reliably encode quantum information and send it between two arbitrary general-relativistic observers without a shared reference frame. Any information stored in a quantum field will inevitably be destroyed by an unknown Bogolyubov transformation relating the observers. However certain quantum correlations between different, independent fields will be preserved, no matter what transformation is applied. We show how to efficiently use these correlations in communication between arbitrary observers.
We present quantum versions of the Jarzynski equality for the energy costs of information processes, namely the measurement and the information erasure. We also obtain inequalities for the energy costs of the information processes, using the Jensen inequality. The inequalities include Sagawa and Ueda's inequalities [Phys. Rev. Lett. 102, 250602 (2009)] as a special case.
We show that for every qubit of quantum information, there is a well-defined notion of "the amount of energy that carries it", because it is a conserved quantity. This generalizes to larger systems and any conserved quantites: the eigenvalue spectrum of conserved charges has to be preserved while transferring quantum information. It is possible to "apparently" violate these conservations by losing a small fraction of information, but that must invoke a specific process which requires a large scale coherence. We discuss its implication regarding the black hole information paradox.
Starting from the geometric description of quantum systems, we propose a novel approach to time-independet dissipative quantum processes according to which the energy is dissipated but the coherence of the states is preserved. Our proposal consists on extending the standard symplectic picture of quantum mechanics to a contact manifold and then obtaining dissipation using an appropriate contact Hamiltonian dynamics. We work out the case of finite-level systems, for which it is shown by means of the corresponding contact master equation that the resulting dynamics constitutes a viable alternativ…
As time advances in our perceived real world, existing information is preserved and new information is added to history. All the information that may ever be encoded in history must be about some fundamental, unique, atemporal and pre-physical structure: the bare world. Scientists invent model worlds to efficiently explain aspects of the real world. This paper explores the features of and relationships between the bare, real, and model worlds. Time -- past, present and future -- is naturally explained. Both quantum uncertainty and state reduction are needed for time to progress, since unpredic…
