We introduce and study a generalization of majorization called relative submajorization and show that it has many applications to the resource theories of thermodynamics, bipartite entanglement, and quantum coherence. Relative majorization is an ordering on pairs of vectors induced by stochastic transformations: One pair of vectors relatively majorizes another when there exists a stochastic transformation taking the former to the latter. Relative submajorization is a weakened version in which a substochastic matrix need only generate a vector pair obeying certain positivity conditions relative to the input pair. In the context of resource theories, we show that the relative submajorization characterizes both the probability and approximation error that can be obtained when transforming one resource to another, also when assisted by additional standard resources such as useful work or maximally entangled states. These characterizations have a geometric formulation as the ratios or differences, respectively, between the Lorenz curves associated with the input and output resources, making them efficient to compute. We also find several interesting bounds on the reversibility of a given transformation in terms of the properties of the forward transformation. The main technical tool used to establish these results is the linear programming duality, which is used to show that any instance of relative submajorization can be “dilated” to an instance of strict relative majorization.
We introduce and study a generalization of majorization called relative submajorization and show that it has many applications to the resource theories of thermodynamics, bipartite entanglement, and quantum coherence. Relative majorization is an ordering on pairs of vectors induced by stochastic transformations: One pair of vectors relatively majorizes another when there exists a stochastic transformation taking the former to the latter. Relative submajorization is a weakened version in which a substochastic matrix need only generate a vector pair obeying certain positivity conditions relative to the input pair. In the context of resource theories, we show that the relative submajorization characterizes both the probability and approximation error that can be obtained when transforming one resource to another, also when assisted by additional standard resources such as useful work or maximally entangled states. These characterizations have a geometric formulation as the ratios or differences, respectively, between the Lorenz curves associated with the input and output resources, making them efficient to compute. We also find several interesting bounds on the reversibility of a given transformation in terms of the properties of the forward transformation. The main technical tool used to establish these results is the linear programming duality, which is used to show that any instance of relative submajorization can be “dilated” to an instance of strict relative majorization.
The theory of majorization and its variants, including thermomajorization, have been found to play a central role in the formulation of many physical resource theories, ranging from entanglement theory to quantum thermodynamics. Here we formulate the framework of quantum relative Lorenz curves, and show how it is able to unify majorization, thermomajorization, and their noncommutative analogs. In doing so, we define the family of Hilbert $\ensuremath{\alpha}$ divergences and show how it relates with other divergences used in quantum information theory. We then apply these tools to the problem of deciding the existence of a suitable transformation from an initial pair of quantum states to a final one, focusing in particular on applications to the resource theory of athermality, a precursor of quantum thermodynamics.
We study a generalization of relative submajorization that compares pairs of positive operators on representation spaces of some fixed group. A pair equivariantly relatively submajorizes another if there is an equivariant subnormalized channel that takes the components of the first pair to a pair satisfying similar positivity constraints as in the definition of relative submajorization. In the context of the resource theory approach to thermodynamics, this generalization allows one to study transformations by Gibbs-preserving maps that are in addition time-translation symmetric. We find a sufficient condition for the existence of catalytic transformations and a characterization of an asymptotic relaxation of the relation. For classical and certain quantum pairs the characterization is in terms of explicit monotone quantities related to the sandwiched quantum Rényi divergences. In the general quantum case the relevant quantities are given only implicitly. Nevertheless, we find a large collection of monotones that provide necessary conditions for asymptotic or catalytic transformations. When applied to time-translation symmetric maps, these give rise to second laws that constrain state transformations allowed by thermal operations even in the presence of catalysts.
Given two pairs of quantum states, we want to decide if there exists a quantum channel that transforms one pair into the other. The theory of quantum statistical comparison and quantum relative majorization provides necessary and sufficient conditions for such a transformation to exist, but such conditions are typically difficult to check in practice. Here, by building upon work by Keiji Matsumoto, we relax the problem by allowing for small errors in one of the transformations. In this way, a simple sufficient condition can be formulated in terms of one-shot relative entropies of the two pairs. In the asymptotic setting where we consider sequences of state pairs, under some mild convergence conditions, this implies that the quantum relative entropy is the only relevant quantity deciding when a pairwise state transformation is possible. More precisely, if the relative entropy of the initial state pair is strictly larger compared to the relative entropy of the target state pair, then a transformation with exponentially vanishing error is possible. On the other hand, if the relative entropy of the target state is strictly larger, then any such transformation will have an error converging exponentially to one. As an immediate consequence, we show that the rate at which pairs of states can be transformed into each other is given by the ratio of their relative entropies. We discuss applications to the resource theories of athermality and coherence, where our results imply an exponential strong converse for general state interconversion.
Abstract We address the problem of finding the optimal common resource for an arbitrary family of target states in quantum resource theories based on majorization, that is, theories whose conversion law between resources is determined by a majorization relationship, such as it happens with entanglement, coherence or purity. We provide a conclusive answer to this problem by appealing to the completeness property of the majorization lattice. We give a proof of this property that relies heavily on the more geometric construction provided by the Lorenz curves, which allows to explicitly obtain the corresponding infimum and supremum. Our framework includes the case of possibly non-denumerable sets of target states (i.e. targets sets described by continuous parameters). In addition, we show that a notion of approximate majorization, which has recently found application in quantum thermodynamics, is in close relation with the completeness of this lattice. Finally, we provide some examples of optimal common resources within the resource theory of quantum coherence.
Quantum resource theories provide a mathematically rigorous way of understanding the nature of various quantum resources. An important problem in any quantum resource theory is to determine how quantum states can be converted into each other within the physical constraints of the theory. The standard approach to this problem is to study approximate or probabilistic transformations. Here, we investigate the intermediate regime, providing limits on both, the fidelity and the probability of state transformations. We derive limitations on the transformations, which are valid in all quantum resource theories, by providing bounds on the maximal transformation fidelity for a given transformation probability. As an application, we show that these bounds imply an upper bound on the asymptotic rates for various classes of states under probabilistic transformations. We also show that the deterministic version of the single copy bounds can be applied for drawing limitations on the manipulation of quantum channels, which goes beyond the previously known bounds of channel manipulations. Furthermore, we completely solve the question of stochastic-approximate state conversion via local operations and classical communication in the following two cases: (i) Both initial and target states are pure bipartite entangled states of arbitrary dimensions. (ii) The target state is a two-qubit entangled state and the initial state is a pure bipartite state.
Quantum resource theory under different classes of quantum operations advances multiperspective understandings of inherent quantum-mechanical properties, such as quantum coherence and quantum entanglement. We establish hierarchies of different operations for manipulating coherence and entanglement in distributed settings, where at least one of the two spatially separated parties are restricted from generating coherence. In these settings, we introduce new classes of operations and also characterize those maximal, i.e. , the resource-non-generating operations, progressing beyond existing studies on incoherent versions of local operations and classical communication and those of separable operations. The maximal operations admit a semidefinite-programming formulation useful for numerical algorithms, whereas the existing operations not. To establish the hierarchies, we prove a sequence of inclusion relations among the operations by clarifying tasks where separation of the operations appears. We also demonstrate an asymptotically non-surviving separation of the operations in the hierarchy in terms of performance of the task of assisted coherence distillation, where a separation in a one-shot scenario vanishes in the asymptotic limit. Our results serve as fundamental analytical and numerical tools to investigate interplay between coherence and entanglement under different operations in the resource theory.