ABSTRACT
Motivated by quantum thermodynamics, we first investigate the notion of strict positivity, that is, linear maps which map positive definite states to something positive definite again. We show that strict positivity is decided by the action on any full-rank state, and that the image of non-strictly positive maps lives inside a lower-dimensional subalgebra. This implies that the distance of such maps to the identity channel is lower bounded by one. The notion of strict positivity comes in handy when generalizing the majorization ordering on real vectors with respect to a positive vector d to majorization on square matrices with respect to a positive definite matrix D. For the two-dimensional case, we give a characterization of this ordering via finitely many trace norm inequalities and, moreover, investigate some of its order properties. In particular it admits a unique minimal and a maximal element. The latter is unique as well if and only if minimal eigenvalue of D has multiplicity one.
Acknowledgements
I would like to thank Gunther Dirr, Thomas Schulte-Herbrüggen, Michael M. Wolf, Michael Keyl, and the editor for valuable and constructive comments. Also this manuscript greatly benefited from my time in Toruń, in particular from illuminating discussions with Sagnik Chakraborty, Ujan Chakraborty and Dariusz Chruściński. Finally, I am grateful to the anonymous referee for making me aware of Ref. [Citation25] which led to a shorter proof of Proposition 2.5. This work was supported by the Bavarian excellence network (enb) via the International PhD Programme of Excellence Exploring Quantum Matter (exqm).
Disclosure statement
No potential conflict of interest was reported by the authors.
Notes
1 A matrix is said to be column stochastic if all its entries are non-negative and for all j = 1, …, n, i.e. the entries of each column sums up to one.
2 The positive trace-preserving maps are precisely those linear maps T which satisfy – hence this also holds for every quantum channel. As the states form a convex and compact set (Lemma 2.1) by the Brouwer fixed-point theorem [Citation47], every such T has a fixed point in .
3 For example, choose λ = y/x where y is the largest eigenvalue of Y and x>0 is the smallest eigenvalue of X.
4 Of course there are a number of classes of quantum-dynamical processes which are not Markovian but as these do not interact as nicely with strict positivity, we will sweep them under the rug here. For these more general notions of divisibility we refer the reader to Ref. [Citation48].
5 The key here is the following well-known result: let be hermitian with smallest eigenvalue xm and largest eigenvalue xM. Then, if and only if t ≥ xM and if and only if t ≤ xm . This is evident due to for all (cf. [Citation49, Theorem 4.2.2]).
6 A matrix convex function (cf. Refs. [Citation50–53]) is a map which acts on hermitian matrices via the spectral theorem and then satisfies ψ(λA + (1 − λ)B) ≤ λψ(A) + (1 − λ)ψ(B) for all hermitian and all where ≤ is the partial ordering on the hermitian matrices induced by positive semi-definiteness.
7 While these equivalences are straightforward to check the main ingredients are the estimate for all – with equality if and only if x = λek for some because dk is the unique minimal entry of d – as well as the renowned fact that equality in the Cauchy–Schwarz inequality holds if and only if one vector is a multiple of the other.
8 An operator J on the power set of a set S is called closure operator or hull operator if it is extensive (X⊆ J(X)), increasing (X⊆ Y ↠ J(X)⊆ J(Y)) and idempotent (J(J(X)) = J(X)) for all , cf., e.g.[Citation54, p. 42].
9 Let and d be the metric on X. The Hausdorff metric is defined via where as usual d(z, B) = min w∈Bd(z, w) (and d(z, A) analogously), refer to Ref. [Citation55]. Then for A, B ∈ Pc(X) and γ ≥ 0, one has Δ(A, B) ≤ γ if and only if for all a ∈ A, there exists b ∈ B with d(a, b) ≤ γ and vice versa, cf. Ref. [Citation56, Lemma 2.3].
10 In the second-to-last row of the following computation, we will make use of this basic result (cf., [Citation56, Lemma 2.5.(a)]): Let and be bounded sequences of non-empty compact subsets of any metric space which Hausdorff-converge to A and B, respectively. Now if An⊆ Bn for all , then A⊆ B.
11 For bounded sequences of non-empty compact subsets (of some metric space) which Hausdorff-converges to A, one has x ∈ A if and only if there exists a sequence with an ∈ An which converges to x, cf. Ref. [Citation56, Lemma 2.4].
12 Similarly, while the set of d-stochastic matrices forms a convex polytope, the set QD(n) has infinitely many extreme points. The argument, just as below, relies on the concatenation with suitable unitary channels from left and right – after all the bijective quantum channels the inverse of which is a channel again are precisely the unitary ones [Citation56, Proposition 1].