We study and solve the problem of distilling a secret key from quantum states representing correlation between two parties (Alice and Bob) and an eavesdropper (Eve) via one–way public discussion: we prove a coding theorem to achieve the ‘wire–tapper’ bound, the difference of the mutual information Alice–Bob and that of Alice–Eve, for so–called classical–quantum–quantum–correlations, via one–way public communication. This result yields information–theoretic formulae for the distillable secret key, giving ‘ultimate’ key rate bounds if Eve is assumed to possess a purification of Alice and Bob's joint state. Specializing our protocol somewhat and making it coherent leads us to a protocol of entanglement distillation via one–way LOCC (local operations and classical communication) which is asymptotically optimal: in fact we prove the so–called ‘hashing inequality’, which says that the coherent information (i.e. the negative conditional von Neumann entropy) is an achievable Einstein–Podolsky–Rosen rate. This result is known to imply a whole set of distillation and capacity formulae, which we briefly review.

We establish an operational theory of coherence (or of superposition) in quantum systems, by focusing on the optimal rate of performance of certain tasks. Namely, we introduce the two basic concepts—“coherence distillation” and “coherence cost”—in the processing quantum states under so-called incoherent operations [Baumgratz, Cramer, and Plenio, Phys. Rev. Lett. 113, 140401 (2014)]. We, then, show that, in the asymptotic limit of many copies of a state, both are given by simple single-letter formulas: the distillable coherence is given by the relative entropy of coherence (in other words, we give the relative entropy of coherence its operational interpretation), and the coherence cost by the coherence of formation, which is an optimization over convex decompositions of the state. An immediate corollary is that there exists no bound coherent state in the sense that one would need to consume coherence to create the state, but no coherence could be distilled from it. Further, we demonstrate that the coherence theory is generically an irreversible theory by a simple criterion that completely characterizes all reversible states.

The circumstances under which a system reaches thermal equilibrium, and how to derive this from basic dynamical laws, has been a major question from the very beginning of thermodynamics and statistical mechanics. Despite considerable progress, it remains an open problem. Motivated by this issue, we address the more general question of equilibration. We prove, with virtually full generality, that reaching equilibrium is a universal property of quantum systems: almost any subsystem in interaction with a large enough bath will reach an equilibrium state and remain close to it for almost all times. We also prove several general results about other aspects of thermalization besides equilibration, for example, that the equilibrium state does not depend on the detailed microstate of the bath.