Departing from the usual paradigm of local operations and classical communication adopted in entanglement theory, we study here the interconversion of quantum states by means of local operations and shared randomness. A set of necessary and sufficient conditions for the existence of such a transformation between two given quantum states is given in terms of the payoff they yield in a suitable class of nonlocal games. It is shown that, as a consequence of our result, such a class of nonlocal games is able to witness quantum entanglement, however weak, and reveal nonlocality in any entangled quantum state. An example illustrating this fact is provided.

We study optimal rates for quantum communication over a single use of a channel, which itself can correspond to a finite number of uses of a channel with arbitrarily correlated noise. The corresponding capacity is often referred to as the one-shot quantum capacity. In this paper, we prove bounds on the one-shot quantum capacity of an arbitrary channel. This allows us to compute the quantum capacity of a channel with arbitrarily correlated noise, in the limit of asymptotically many uses of the channel. In the memoryless case, we explicitly show that our results reduce to known expressions for the quantum capacity.

We provide a complete set of game-theoretic conditions equivalent to the existence of a transformation from one quantum channel into another one, by means of classically correlated preprocessing and postprocessing maps only. Such conditions naturally induce tests to certify that a quantum memory is capable of storing quantum information, as opposed to memories that can be simulated by measurement and state preparation (corresponding to entanglement-breaking channels). These results are formulated as a resource theory of genuine quantum memories (correlated in time), mirroring the resource theory of entanglement in quantum states (correlated spatially). As the set of conditions is complete, the corresponding tests are faithful, in the sense that any non-entanglement-breaking channel can be certified. Moreover, they only require the assumption of trusted inputs, known to be unavoidable for quantum channel verification. As such, the tests we propose are intrinsically different from the usual process tomography, for which the probes of both the input and the output of the channel must be trusted. An explicit construction is provided and shown to be experimentally realizable, even in the presence of arbitrarily strong losses in the memory or detectors.

We introduce information-theoretic definitions for noise and disturbance in quantum measurements and prove a state-independent noise-disturbance tradeoff relation that these quantities have to satisfy in any conceivable setup. Contrary to previous approaches, the information-theoretic quantities we define are invariant under the relabelling of outcomes and allow for the possibility of using quantum or classical operations to ``correct'' for the disturbance. We also show how our bound implies strong tradeoff relations for mean square deviations.

We show that complete positivity is not only sufficient but also necessary for the validity of the quantum data-processing inequality. As a consequence, the reduced dynamics of a quantum system are completely positive, even in the presence of initial correlations with its surrounding environment, if and only if such correlations do not allow any anomalous backward flow of information from the environment to the system. Our approach provides an intuitive information-theoretic framework to unify and extend a number of previous results.

Measurement incompatibility describes two or more quantum measurements whose expected joint outcome on a given system cannot be defined. This purely nonclassical phenomenon provides a necessary ingredient in many quantum information tasks such as violating a Bell inequality or nonlocally steering part of an entangled state. In this Letter, we characterize incompatibility in terms of programmable measurement devices and the general notion of quantum programmability. This refers to the temporal freedom a user has in issuing programs to a quantum device. For devices with a classical control and classical output, measurement incompatibility emerges as the essential quantum resource embodied in their functioning. Based on the processing of programmable measurement devices, we construct a quantum resource theory of incompatibility. A complete set of convertibility conditions for programmable devices is derived based on quantum state discrimination with postmeasurement information.