Daemonic ergotropy: generalised measurements and multipartite settings

TL;DR

This paper extends the concept of daemonic ergotropy by including generalised measurements and multipartite systems, showing how quantum correlations influence work extraction capabilities.

Contribution

It introduces a see-saw algorithm for optimal measurements and generalizes daemonic ergotropy to multipartite states, highlighting the role of quantum correlations.

Findings

Generalised measurements can increase daemonic ergotropy beyond projective measurements.

Quantum correlations do not outperform classical correlations in work extraction with projective measurements.

Multipartite quantum correlations influence the maximum achievable work extraction.

Abstract

Recently, the concept of daemonic ergotropy has been introduced to quantify the maximum energy that can be obtained from a quantum system through an ancilla-assisted work extraction protocol based on information gain via projective measurements [G. Francica {\it et al.}, npj Quant. Inf. {\bf 3}, 12 (2018)]. We prove that quantum correlations are not advantageous over classical correlations if projective measurements are considered. We go beyond the limitations of the original definition to include generalised measurements and provide an example in which this allows for a higher daemonic ergotropy. Moreover, we propose a see-saw algorithm to find a measurement that attains the maximum work extraction. Finally, we provide a multipartite generalisation of daemonic ergotropy that pinpoints the influence of multipartite quantum correlations, and study it for multipartite entangled and classical~states.

Equations

$$W({\varrho }^S,H)=\text{Tr}[{\varrho }^{S}H]-\underset{U}{\min }\text{Tr}[U{\varrho }^S{U}^{†}H].$$

$$W_D({\varrho }^{SA},H,M)=\text{Tr}[{\varrho }^{S}H]-\sum _i\underset{U_i}{\min }\text{Tr}({\gamma }_i^S{\tilde{H}}_i),$$

$$W_D({\varrho }^{SA},H,M)=\sum _{i}W({\gamma }_i^S,H).$$

$$\delta W({\varrho }^{SA},H)=\underset{M}{\max }{W}_D({\varrho }^{SA},H,M)-W({\varrho }^S,H).$$

$${\varrho }^{SA}=\frac{1}{3}\sum _{j=0}^2|j⟩⟨j|\otimes \Pi \left(\frac{2\pi j}{3},0\right)$$

$$\Pi (\alpha ,\beta )=\frac{1}{2}\{I+\cos (\alpha ){\sigma }_z+\sin (\alpha )[\cos (\beta ){\sigma }_x-\sin (\beta ){\sigma }_y]\}.$$

$$\underset{M}{\max }{W}_D({\varrho }^{SA},H,M)=W({\varrho }^S,H)+\frac{{ϵ}_2-{ϵ}_0}{2\sqrt{3}}.$$

$$W_D({\varrho }^{SA},H,\{E_i\})=W({\varrho }^S,H)+\frac{1}{6}({ϵ}_1+{ϵ}_2-2{ϵ}_0).$$

$$W(\gamma ,H)\le \sum _{i=1,2}W({\gamma }_i,H)$$

$$W(\lambda \gamma ,H)=\lambda W(\gamma ,H)$$

$$W(\gamma ,H)$$

$$\le \sum _{j=1,2}\left[\text{Tr}({\gamma }_{j}H)-\underset{U}{\min }\text{Tr}(U{\gamma }_j{U}^{†}H)\right]$$

$$=\sum _{j=1,2}W({\gamma }_j,H).$$

$$W_D({\varrho }^{SA},H,M)=$$

$$W_D[{\varrho }^{SA},H,Q]$$

$$=\lambda W_D({\varrho }^{SA},H,M)+(1-\lambda )W_D({\varrho }^{SA},H,N).$$

$$W_D({\varrho }^{SA},H,M)=W_D({\varrho }^{SA},H,\tilde{M}).$$

$$\underset{M}{\min }$$

$$\sum _i{E}_i=I$$

$$E_i\ge 0$$

$${\tau }_i={\text{Tr}}_S({\varrho }^{SA}{U}_i^{†}H{U}_i).$$

$${\varrho }_{qc}^{SA}=\sum _j{\sigma }_j^S\otimes |j⟩⟨j{|}^A$$

$$\underset{M}{\max }{W}_D({\varrho }^{SA},H,M)=\sum _{j}W({\sigma }_j^S,H).$$

$${\varrho }^{SA}=\sum _{ij}^S{\sigma }_{ij}^S\otimes |i⟩⟨j{|}^A,$$

$${\varrho }_{qc}^{SA}=\sum _i{\sigma }_{ii}^S\otimes |i⟩⟨i{|}^A.$$

$$\delta W({\varrho }^{SA},H)$$

$$\delta W({\varrho }^{SA},H)\le \frac{1}{d_S}\text{Tr}(H)-{ϵ}_0.$$

$${\varrho }^{SA}=\frac{1}{d_S}\sum _{i=1}^{d_S}|s_i⟩⟨s_i{|}^S\otimes |a_i⟩⟨a_i{|}^A$$

$$|{\Psi }^{SA}⟩=\frac{1}{\sqrt{d_S}}\sum _{i=1}^{d_S}|s_i{⟩}^S|a_i{⟩}^A.$$

$${\varrho }^{SA}=\frac{1}{3}[|0⟩⟨0{|}^S\otimes |0⟩⟨0{|}^A+(|1⟩⟨1{|}^S+|2⟩⟨2{|}^S)\otimes |1⟩⟨1{|}^A].$$

$$\delta W(|\Psi {⟩}^{SA})\le \frac{1}{2}({ϵ}_1-{ϵ}_0),$$

$$H=\sum _{i=1}^N{H}^{(i)}.$$

$$E_{\vec{j}}=\underset{k=1}{\overset{M}{⨂}}{E}_{j_k}^k.$$

Full text

\pubvolume

xx \issuenum1 \articlenumber5

\history \TitleDaemonic Ergotropy: Generalised Measurements and Multipartite Settings \AuthorFabian Bernards1, Matthias Kleinmann 1, Otfried Gühne 1 and Mauro Paternostro 2,* \AuthorNamesFabian Bernards, Matthias Kleinmann, Otfried Gühne and Mauro Paternostro

1 Introduction

In the rapidly evolving research arena embodied by the thermodynamics of quantum systems, the resource-role of quantum features in work-extraction protocols is one of the most interesting and pressing open questions review ; review2 ; review3 ; review4 . Quantum coherences are claimed to be responsible for the extraction of work from a single heat bath scully and the enhanced performance of quantum engines karimi . Weakly driven quantum heat engines are known to exhibit enhanced power outputs with respect to their classical (stochastic) versions uzdin . Quantum information-assisted schemes for energy extraction have been put forward and shown to be potentially able to achieve significant efficiencies jordan ; elouard ; yi ; gelbwaser ; jacobs ; abah . However, controversies in the usefulness of quantum correlations and coherences in schemes for the extraction of work from quantum systems have also been discussed acin ; acing ; fusco ; michele . While a full physical understanding of these issues is still far from being acquired, theoretical progress in this direction will be key to the design and implementation of informed experimental proof-of-principle experiments and thus the consolidation of a quantum approach to the thermodynamics of microscopic systems.

Recently, a simple ancilla-assisted work-extraction protocol has been proposed that is able to pinpoint the crucial role that quantum measurements have in the performance of a quantum work-extraction game. This protocol also highlighted important implications arising from the availability of quantum correlations between the work medium and the ancilla daem . The scheme provided a link between enhanced work extraction capabilities and quantum entanglement between ancilla and work medium, suggesting the possibility to exploit entanglement as a resource.

In this work we show that although this link exists for pure states, quantum correlations and work extraction capabilities are unrelated if mixed states are considered. However, the scheme in Reference daem relied on a set of very stringent assumptions, which leave room to further investigations aimed at clarifying the potential benefits of exploiting quantum resources. Here, we critically investigate the protocol in Reference daem , and extend it in various directions. First, we address the class of measurements that ensure the enhancement of the work-extraction performance. We provide an example in which generalised measurements allow for more extracted energy than projective measurements do. The search for the right generalised measurement poses serious computational challenges that we solve by proposing a constructive see-saw algorithm that is able to identify the most effective measurement for a given state of the work medium and ancilla, and an assigned Hamiltonian of the former. We then address the issue embodied by the interplay between information gathered via optimal measurements and quantum correlations shared between work medium and ancilla. We show that, depending on the nature of the optimal measurement, quantum correlations may become entirely inessential for the enhancement of work extraction. Finally, we open the investigation to multipartite settings by addressing the case of multiple work media and ancillas, showing that the structure of correlation-sharing among the various parties of such a system is key in the performance of our work-extraction protocol.

Our results contribute to the ongoing research for the ultimate resources to be exploited to draw an effective and useful framework for quantum enhanced thermodynamical processes. While clarifying a number of important points, our work opens up new avenues of investigation that will be crucial for the design of unambiguous experimental validations.

2 Notation and Concepts

The maximal energy decrease of a given state $\varrho^{S}$ with respect to a reference Hamiltonian $H$ undergoing an arbitrary unitary evolution $U$ is its ergotropy ergotropy

[TABLE]

This is interpreted as the maximal amount of work that can be extracted from a system prepared in state $\varrho^{S}$ by the means of a unitary protocol ergotropy . Given some state in its spectral decomposition $\varrho^{S}~{}=~{}\sum_{k}r_{k}~{}|r_{k}\rangle\langle r_{k}|$ with $r_{k+1}\leq r_{k}$ and a Hamiltonian $H=\sum_{k}\epsilon_{k}|\epsilon_{k}\rangle\langle\epsilon_{k}|$ with $\epsilon_{k+1}\geq\epsilon_{k}$ the optimal unitary is $U~{}=~{}\sum_{k}|\epsilon_{k}\rangle\langle r_{k}|$ ergotropy . This is a direct consequence of the von Neumann trace inequality Mirsky1975 . It states that ${\rm tr}[AB]~{}\leq~{}\sum_{i}a_{i}b_{i}$, where $a_{i}\,(b_{i})$ are the eigenvalues of $A\,(B)$ and $a_{i+1}\geq a_{i},\quad b_{i+1}~{}\geq~{}b_{i}$. Choosing $A=-U\varrho^{S}U\dagger$ and $B=H$ and writing $\max_{U}{\rm tr}[-U\varrho^{S}U\dagger H]=-\min_{U}{\rm tr}[U\varrho^{S}U\dagger H]$ then shows that the bound given by the von Neumann trace inequality is achieved with the unitary stated above.

In Reference daem , an ancilla-assisted protocol allowed for enhanced work extraction by making use of a process of information inference. The fundamental building blocks of the protocol are embodied by the joint state of a work medium $S$ and an ancilla $A$, and a projective measurement $M$ performed on the latter (cf. Figure 1). The information gathered through these measurements is then used to determine a unitary transformation to be applied to $S$ to extract as much work as possible.

This work, which is dubbed daemonic ergotropy, is given by

[TABLE]

where $\tilde{H}_{i}=U_{i}^{\dagger}HU_{i}$, $M=\{\Pi_{j}\}$ is a projective measurement, and $\gamma^{S}_{i}=\text{Tr}_{A}[\varrho^{SA}(I^{S}\otimes\Pi^{A}_{i})]$ is the unnormalised conditional state of $S$ corresponding to the $i^{\text{th}}$ measurement outcome. The daemonic ergotropy can be written in a more compact way using the ergotropy, namely

[TABLE]

For a pure state, any projective measurement $M$ with $\Pi_{i}$ rank-one projectors maximises the daemonic ergotropy. In fact, the conditional states $\gamma^{S}_{i}$ are then pure and it is always possible to find a unitary – specific to every conditional state – that maps it to the ground state of the Hamiltonian, thus lowering as much as possible the energy of the system and extracting the maximum amount of work daem .

The difference between maximal daemonic ergotropy and ergotropy is called daemonic gain daem , and is formalised as

[TABLE]

If $\varrho^{SA}$ is a pure product state, $\varrho^{S}$ is pure. Thus, no measurement on the ancilla is required for optimal work extraction, since in this case there is a unitary that maps $\varrho^{S}$ to the ground state of the Hamiltonian. Consequently, the daemonic ergotropy coincides with the ergotropy in this case and there is no daemonic gain.

The definitions provided above pinpoint the key role of the measurement step in such an ancilla-assisted extraction protocol. In particular, the assumption of projective measurements performed on $A$ appears to be too restrictive. It is thus plausible to wonder if better performances of the daemonic work-extraction scheme are possible when enlarging the range of possible measurements on the ancilla to generalised quantum measurements.

3 Non-Optimality of Projective Measurements for Daemonic Ergotropy

We now address such a scenario and provide an example where more energy can be extracted from $S$ when generalised measurements are performed. To this end, we will employ the formalism of positive operator valued measures (POVMs) heinosaari . In the case of a finite set of outcomes $\{i\}$, a POVM is a map that assigns a positive semidefinite operator $E_{i}$ – dubbed as effect – to each outcome $i$, such that $\sum_{i}E_{i}=I$. As with projective measurements, the probabilities for the outcomes are obtained as $p_{i}=\text{Tr}(E_{i}\varrho)$. However, the effects $E_{i}$ of a POVM need not be projectors.

Let us consider now a three-level system $S$ and a two-level ancilla $A$ prepared in the joint state

[TABLE]

with projectors

[TABLE]

Here $(\alpha,\beta)$ are angles in the single-qubit Bloch sphere. We assume a reference Hamiltonian $H{=}\sum_{j}\epsilon_{j}|j\rangle\langle j|$ with energy eigenvalues $\epsilon_{j}$ arranged in increasing order. If only projective measurements $M$ are allowed on the state of the ancilla, the maximum daemonic ergotropy achieved upon optimizing over the measurement strategy is

[TABLE]

Details on this result are presented in Appendix A. However, if generalised measurements are permitted, one may choose the POVM with effects $E_{j}=\frac{2}{3}\Pi(2\pi j/3,0)$ to yield a daemonic ergotropy of

[TABLE]

This can exceed the maximum daemonic ergotropy achieved through projective measurements. For instance, we can assume to have shifted energy so that $\epsilon_{0}=0$. Under such conditions, we would have $W_{D}(\varrho^{SA},H,\{E_{i}\})>\max_{M}W_{D}(\varrho^{SA},H,M)$ for $(\sqrt{3}-1)\epsilon_{2}<\epsilon_{1}\leq\epsilon_{2}$. Figure 2 shows the daemonic gain $\delta W$ corresponding to the example above as a function of the value of the highest energy level of the Hamiltonian for projective measurements (PVMs) and POVMs. While in this example the optimal projective measurement does not depend on the Hamiltonian, the optimal POVM does. Therefore, the daemonic gain grows linearly with the value of the highest energy value, as long as only projective measurements are taken into account. For comparison, the daemonic gain that can be achieved with the previously discussed POVM $\left(\frac{2}{3}\Pi(2\pi j/3,0)\right)_{j}$ is plotted as a dashed line.

4 Construction of Optimal POVMs

Having provided a useful example, we now move to address the problem of identifying the ideal POVM for optimal daemonic ergotropy. The following Lemma is instrumental to the achievement of our goal:

Lemma \thetheorem.

The ergotropy is a sublinear function in its first argument, which refers to the state. That is, for any $\gamma=\gamma_{1}+\gamma_{2}$

[TABLE]

for any $\lambda\geq 0$. As ergotropy is symmetric under the exchange of its first and the second argument, it is also sublinear in the Hamiltonian.

Proof.

The second equation holds trivially, which justifies our use of unnormalised states. We obtain the first inequality as follows

[TABLE]

∎

Note that sublinearity implies convexity, i.e., ${W[\lambda\gamma_{1}+(1-\lambda)\gamma_{2},H]\leq\lambda W(\gamma_{1},H)+(1-\lambda)W(\gamma_{2},H)}$. This result allows us to state the following corollary:

Corollary \thetheorem.

The daemonic ergotropy

[TABLE]

is larger or equal to ergotropy. Equality holds for the trivial measurement, with the identity as only effect.

This claim has already been proven in a different way in Reference daem . A second interesting consequence of the sublinearity of ergotropy is stated in the following lemma:

Lemma \thetheorem.

Daemonic ergotropy is a convex function of its third argument, which pertains to the measurement strategy.

Proof.

Let us consider a mixed measurement strategy $Q=\lambda M+(1-\lambda)N$ with $0\leq\lambda\leq 1$, and the corresponding daemonic ergotropy. We have

[TABLE]

∎

We complete our formal analysis that precedes the presentation of an algorithm for the identification of the optimal POVM with the following theorem. {Theorem}

For any state $\varrho^{SA}$ and any POVM $M$, one can find a POVM $\widetilde{M}$ with at most $d^{2}$ effects, where $d$ is the dimension of the ancilla, such that

[TABLE]

Proof.

The set of POVMs on a $d$ dimensional system is convex and it has been shown that the extremal points of this set are POVMs with at most $d^{2}$ effects chiribella . A convex function that is defined on a convex domain takes its maximum on an extremal point. Therefore, there is an extremal POVM $E$ with $n$ outcomes, $1\leq n\leq d^{2}$, that exhibits a daemonic ergotropy that is larger than or equal to the daemonic ergotropy for $M$. If equality holds, we choose $\widetilde{M}=E$. Otherwise, there is a mixture $\widetilde{M}=\lambda E+(1-\lambda)I$ between $E$ and a trivial random measurement $I$ with $n$ outcomes and effects $I_{i}=I/n$ that meets the requirement, since $W_{D}(\varrho^{SA},H,I)=W(\varrho^{S},H)\leq W(\varrho^{SA},H,M)$. ∎

We are now in the position to present an algorithm for the search of the optimal measurement. This task involves two parts (a) Finding the optimal measurement and (b) Finding the optimal unitaries to calculate the ergotropies of the conditional states. Assume a fixed measurement. Then, the conditional states are fixed and one can find the optimal unitaries as discussed in the introduction after Equation (1). On the other hand, if some $d^{2}$ unitaries $U_{i}$ are given, finding the optimal measurement $M=(E_{i})_{i}$ is a semidefinite program (SDP) roope

[TABLE]

where $E_{i}$ are the effects associated with the POVM $M$ and

[TABLE]

We thus propose the following see-saw Algorithm 1:

We can restrict ourselves to $n=d^{2}$ different unitaries in the first step because of Theorem 4. Calculating the daemonic ergotropy after every round of the algorithm will yield a monotonically increasing sequence that is bounded from above because all involved operators are bounded and will therefore converge. In the case of the example discussed above, roughly 10 iterations are needed until the limit is reached within numerical precision. The sequence however sometimes converges to a local maximum that is strictly smaller than the maximal daemonic ergotropy. Besides observing this in practice, we also construct such a case in Appendix B.

5 The Role of Quantum Correlations

Notwithstanding the handiness of the algorithm built above, analytical solutions can be found in some physically relevant cases. The one most pertinent to the scopes of this work daem is embodied by quantum-classical $S$-$A$ states, i.e., states that can be cast in the form

[TABLE]

with $\{\,|j\rangle^{A}\}$ a set of orthonormal vectors and $\sigma^{S}_{j}$ unnormalised states. This class of states has attracted attention from the community interested in the characterization of general quantum correlations, for it has only classical correlations, that is, it is not entangled and exhibits no quantum discord, if $A$ is considered as the system the measurement being performed on zurekdiscord ; hendersonvedral ; Modi ; navascues . For these states, we provide the following theorem. The proof is found in Appendix C. {Theorem}

For a quantum-classical state $\varrho^{SA}_{qc}$, the maximum daemonic ergotropy is

[TABLE]

This value is achieved by performing the projective measurement with effects $P_{j}=|j\rangle\langle j|^{A}$ $(j=1,\ldots,d)$ on the ancilla $A$.

This shows that, in the case of a quantum-classical state, we have an analytic form for the daemonic gain. To calculate it, we should diagonalise the reduced state $\varrho^{A}=\text{Tr}_{S}({\varrho^{SA}})$ of the ancilla. This yields a unitary to make the state block-diagonal. The individual blocks are then the optimal conditional states $\sigma^{S}_{j}$ that one needs in order to compute the daemonic gain.

The above result paves the way to an investigation on the role that quantum correlations play in the daemonic protocol for work extraction. This important question was already partially addressed in Reference daem , where a very close relation between daemonic gain and entanglement in pure $S$-$A$ states was pointed out, while the link was shown to be looser for the case of mixed resource states.

Here, by using the results reported above, we shed further light on the link between daemonic gain and quantum correlations. Let us assume that, for a given resource state $\varrho^{SA}$, the optimal measurement for daemonic gain is projective, and call $P_{i}=|i\rangle\langle i|$ the corresponding projections, which can be chosen, without loss of generality, to be rank one. We write the resource state as

[TABLE]

where the dyads $|i\rangle\langle j|^{A}$ are written in the basis defined by the optimal projectors $P_{i}$ above. We notice that all off-block-diagonal terms $\sigma^{S}_{ij}$ (with $i\neq j$) do not contribute to the daemonic gain, which is thus the same as the one associated with the quantum-classical state

[TABLE]

That this state is a quantum-classical state is obvious from the definition provided in Equation (17). This state can be produced by performing the optimal measurement and preparing a pure state on the ancilla accordingly. This procedure destroys all the quantum correlations, while the daemonic gain remains unchanged. Quantum correlations in the resource states are thus not useful, if the optimal measurement is projective. This is especially true if only projective measurements are considered from the start, which stresses the importance of considering generalised measurements, if one aims at investigating the impact entanglement may have on daemonic ergotropy.

However, we now show that, even if we allow for the use of arbitrary POVMs, the maximum daemonic gain for any given Hamiltonian can be achieved by classical-classical states, i.e., states whose parties share only classical correlations Modi . We do this by providing an upper bound on the daemonic gain. This bound is tight as it is achieved by a classical-classical state. Let us consider an explicit formula for daemonic gain, where we have inserted the definitions of ergotropy and daemonic ergotropy. We have

[TABLE]

Using von Neumann’s trace inequality, which reads $\text{Tr}{(AB)}\leq\sum_{i}a_{i}b_{i}$ with $a_{i}(b_{i})$ the eigenvalues of A (B) in increasing order, one easily finds that the first term never exceeds $\frac{1}{d_{S}}\text{Tr}(H)$, where $d_{S}$ is the dimension of the Hilbert space of $S$. This value is attained if $\varrho^{S}$ is maximally mixed. The smallest value that the second term can take is $\epsilon_{0}$, the lowest energy eigenvalue. This is achieved for pure conditional states $\varrho^{S}_{k}$. Consequently

[TABLE]

If the dimension of the ancilla $d_{A}$ is greater or equal to $d_{S}$, this value is attained by using – among others – the classical-classical state

[TABLE]

and the projective measurement with effects $|a_{i}\rangle\langle a_{i}|^{A}$, where $\{\,|a_{i}\rangle^{A}\}$ ($\{\,|s_{i}\rangle^{S}\}$) forms an orthogonal basis of $A$ ($S$). In the above example, the bound is also achievable with maximally entangled pure states

[TABLE]

The maximal daemonic gain is, however, not always achieved using pure states, as the following example shows. Consider the following classical-classical state with a qutrit system and a qubit ancilla

[TABLE]

For a Hamiltonian with eigenvalues $\epsilon_{0}\leq\epsilon_{1}\leq\epsilon_{2}$ one easily finds the daemonic gain $\delta W(\varrho)=(\epsilon_{2}-\epsilon_{0})/3$. On the other hand, for any pure state, including maximally entangled states, we have

[TABLE]

since the Schmidt-rank of a pure state on a $3\times 2$ dimensional system is at most $2$. For a suitably chosen Hamiltonian, such as $H/\epsilon_{1}=|1\rangle\langle 1|+\epsilon|2\rangle\langle 2|$, with $\epsilon=\epsilon_{2}/\epsilon_{1}>3/2$, the daemonic gain of $\varrho^{SA}$ [Equation (25)] exceeds the daemonic gain of any pure state of the same system.

6 Multipartite Daemonic Ergotropy

In this section we want to investigate a multipartite adaptation of the daemonic ergotropy protocol. Concretely, we consider the situation in which $N$ different parties $i\in\{1,...,N\}$ each own one system $S_{i}$, whose energy they can locally measure using their local Hamiltonian $H^{(i)}$. The energy of all systems combined will then be evaluated using the Hamiltonian

[TABLE]

Additionally, they can only act on their systems locally, that is using local unitaries. It is only this restriction that makes the protocol multipartite regarding the systems. If arbitrary global unitaries were admitted, this would be equivalent to a situation with a single system consisting of $N$ subsystems.

We also take the case into account in which there are $M$ ancillas, each owned by a different party $k\in\{1,...,M\}$. As we are interested in a genuinely multipartite protocol, each party must resort to local measurements, possibly assisted by classical communication among the parties, yielding outcomes $j_{k}$. After all outcomes are obtained, they are publicly announced and every party $i$ performs a unitary on their system $S_{i}$, which may depend on all the outcomes $\vec{j}=(j_{k})_{k=1}^{M}$. We define the multipartite daemonic ergotropy $W_{D}^{\text{mult}}$ to be the maximum amount of energy that can be extracted from a state in this way.

Note that, in spite of the previously imposed restrictions, our notion of multipartite daemonic ergotropy is in fact a generalisation of daemonic ergotropy. This might appear paradoxical at first glance. However, the daemonic ergotropy protocol is equivalent to the protocol of multipartite daemonic ergotropy for one system and one ancilla. This especially includes scenarios in which system and ancilla comprise several subsystems. Studying multipartite daemonic ergotropy is interesting, because it is also applicable to settings, in which the implementation of global measurements and unitaries are unfeasible.

As we are only concerned with local measurements, possibly assisted by classical communication among the parties, all effects of a POVM are of the form

[TABLE]

We denote the respective conditional states of all systems by $\varrho^{S}_{\vec{j}}=\text{Tr}_{(A_{1}...A_{M})}{(\varrho^{S_{1}...S_{N}A_{1}...A_{M}}E_{\vec{j}})}$ and the conditional state of system $S_{i}$ given a measurement outcome $\vec{j}$ as $\varrho^{i}_{\vec{j}}$. As before, the multipartite daemonic ergotropy can then be expressed in terms of the ergotropy as

[TABLE]

With this result, we can show that contrary to the bipartite case [cf. discussions after Equation (3)] in the multipartite setting projective measurements are in general not optimal for work extraction even for pure states. In order to see this, consider a state $\varrho^{S_{1}A}$ and a purification $\,|\psi\rangle^{S_{1}S_{2}A}$, with $\varrho^{S_{1}A}=\text{Tr}_{S_{2}}(|\psi\rangle\langle\psi|^{S_{1}S_{2}A})$. If we now assume that system $S_{2}$ is equipped with a local Hamiltonian $H^{(2)}=hI$, where $h$ is a constant, the multipartite daemonic ergotropy of the purified state is

[TABLE]

This result stems from the fact that $H^{(2)}$ is completely degenerate and the ergotropy vanishes for such Hamiltonians. Thus, also the multipartite daemonic ergotropy of the purification is maximised for the same POVM that also maximises the daemonic ergotropy of $\varrho^{SA}$. Hence, the purification of the qutrit-qubit state stated in Equation (5) is an example for a pure state that requires a POVM to maximise the multipartite daemonic ergotropy. Note, however, that there are also states for which projective measurements are optimal independently of the choice of the Hamiltonian. The first example are states that possess a Schmidt decomposition peres , i.e.,

[TABLE]

with $\langle i_{S_{l}}|j_{S_{l}}\rangle=\langle i_{A_{l}}|j_{A_{l}}\rangle=\delta_{ij}\forall i,j,l$. For qubits, these are exactly the states that become separable as soon as one particle is ignored neven . A famous example is the $m$-partite Greenberger–Horne–Zeilinger (GHZ) state

[TABLE]

for which the local projective measurements on $\,|0\rangle$ and $\,|1\rangle$ are optimal, since the conditional state of all systems is a pure product state independently of the outcome and its energy can thus be minimised using local unitaries.

A second class of states for which projective measurements are always optimal are multipartite quantum-classical states

[TABLE]

Here, we can recover the proof of Theorem 5 to show that the projective measurement with projectors $|i\rangle\langle i|$ is optimal. The only adaptation to the proof is that the unitaries are now required to be products. Of course this result is still true in the special case when the ancilla is made up of several parties, such that the state can be written as

[TABLE]

In this case, the optimal measurement consists of the local projective measurements with effects $|i\rangle\langle i|_{A_{k}}$.

7 Conclusions

We have significantly extended the concept of daemonic ergotropy to situations involving POVM-based information-gain processes, demonstrating that, in general, one should expect an advantage coming from the use of generalised quantum measurements in ancilla-assisted work-extraction schemes. While the optimal generalised measurements can be identified analytically in some restricted – yet physically relevant – cases, we have proposed an SDP-based see-saw algorithm for their construction. This has led to a number of results shedding light on previously unreported issues linked to daemonic approaches to quantum work extraction: while the interplay between quantum correlations and the features of the optimal measurements appears to be intricate, the structure of entanglement sharing in a multipartite scenario where only local unitaries and POVMs are used turns out to be key in the performance of ancilla-assisted work extraction.

Our work paves the way to a number of interesting developments aimed at exploring further and clarifying the relation between quantum features and work-extraction games in quantum scenarios. On the one hand, it will be very interesting to further compare, quantitatively, the performance of daemonic protocols under optimal PVMs and POVMs to ascertain the extents of the benefits induced by the latter class of measurements against the difficulty of practically implement them. On the other hand, the analysis that we have reported here leaves room to the in-depth assessment of multipartite daemonic gain against the structure of multipartite entanglement aimed at the identification of potentially optimal classes of multipartite entangled states, when gauged against their role as a resource in work-extraction schemes.

\funding

M.P. acknowledges support by the SFI-DfE Investigator Programme (grant 15/IA/2864), the H2020 Collaborative Project TEQ (Grant Agreement 766900), the Leverhulme Trust Research Project Grant UltraQuTe (grant nr. RGP-2018-266) and the Royal Society Wolfson Fellowship (RSWF\R3\183013). O.G. acknowledges support by the DFG and the ERC (Consolidator Grant 683107/TempQ).

Acknowledgements.

F.B. thanks the Centre for Theoretical Atomic, Molecular and Optical Physics for hospitality while developing on part of this work as well as the Studienstiftung des Deutschen Volkes e.V. and the House of Young Talents Siegen. \appendixtitlesyes \appendixsectionsmultiple

Appendix A POVM Advantage in Qutrit-Qubit Example

We present the state

[TABLE]

and

[TABLE]

as an example in which higher daemonic ergotropy can be achieved with POVMs compared to projective measurements, if a Hamiltonian is chosen suitably. Here, we work out the details and show all necessary calculations explicitely. First, we find the optimal projective measurements. It turns out, that they can be found independently of the chosen Hamiltonian. With this result and bearing in mind that the daemonic gain is invariant under unitary transformations of the Hamiltonian, we can then compute the daemonic ergotropy as a function of the energy spectrum.

Since the ancilla is a qubit, there are only two types of projective measurements: Either, the projective measurement has one outcome that is obtained with certainty, which makes the measurement trivial, or the measurement has two outcomes. In the latter case, the effects are rank one. Therefore, we can compute the maximal daemonic gain for projective measurements by computing it for the measurement $\mathbf{\Pi}=\left(\Pi(\alpha,\beta),\Pi(\alpha+\pi,\beta)\right)$ and optimise over the angles $\alpha$ and $\beta$ afterwards. We have

[TABLE]

[TABLE]

From the definition of ergotropy one can easily see that the ergotropy of the conditional states $\gamma^{S}_{\alpha}$ and $\gamma^{S}_{\alpha+\pi}$ will be maximal for $\cos(\beta)=\pm 1$. This becomes clear when considering a state

[TABLE]

where $a,b,c\in\mathbb{R}$ and $c\geq 0$. Let the Hamiltonian be

[TABLE]

Then, the ergotropy can without loss of generality be written as

[TABLE]

where the energy eigenvalues are ordered such that the minimum is achieved. Consequently, we get $\epsilon_{1}\leq\epsilon_{2}$ since $(b+c)\geq(b-c)$. Therefore, $W$ increases with $c$ and we can set $\beta=0$ in the above calculation. Exploiting addition theorems, we can now write

[TABLE]

As one can easily see, an optimal value of $\alpha$ is not unique, as shifting its value by $\frac{2\pi}{3}$ can be compensated by relabeling the states, which does not affect the daemonic gain. We now aim to find the optimal $\alpha$ in the interval $[-\frac{\pi}{3},\frac{\pi}{3})$. When calculating the ergotropy of the conditional states we need to know the ordering of their eigenvalues

[TABLE]

In the following calculation, the upper sign will refer to the negative and the lower sign will refer to the positive interval

[TABLE]

Now, that we computed the maximal daemonic gain for projective measurements, we compare this with the daemonic gain that can be achieved by using the POVM $M$, consisting of the effects $\frac{2}{3}P_{i}$, as defined in Equation (36). In this case, the conditional states are

[TABLE]

Given the conditional states, we can now compute the daemonic gain as

[TABLE]

Choosing the Hamiltonian $H=|\epsilon_{1}\rangle\langle\epsilon_{1}|+|\epsilon_{2}\rangle\langle\epsilon_{2}|$ provides an example where the maximal daemonic gain can not be achieved by using projective measurements because

[TABLE]

Appendix B Non-Optimal Convergence of the See-Saw Algorithm

In the following, we construct a case in which Algorithm 1 will yield a sequence of values for the daemonic ergotropy that does not converge against the maximal daemonic ergotropy.

Consider a state $\varrho^{SA}$ on a system $S$ with a Hamiltonian $H$ and a $d$-dimensional ancilla $A$, such that the optimal measurements are rank-one projective measurements as long as only $d$-outcome measurements are considered. Then, there exists an initialisation of Algorithm 1, such that the sequence of daemonic ergotropies generated by the algorithm limits in the maximal daemonic ergotropy for $d$-outcome measurements. In order to see this, consider a measurement $\Pi$ that is optimal among $d$-outcome measurements. For the effects $\{\Pi_{1},\ldots,\Pi_{d}\}$ one finds $d$ optimal unitaries $\{V_{1},\ldots,V_{d}\}$. We now initialise the algorithm for $d^{2}$ outcomes in the following way

[TABLE]

This implies $\tau_{d}=\tau_{d+1}=\ldots=\tau_{d^{2}}$, where $\tau_{i}~{}=~{}\text{Tr}_{S}(\varrho^{SA}U_{i}^{\dagger}HU_{i})$. Hence, the objective of step 2 of the algorithm simplifies to

[TABLE]

The value of this expression thus depends on $d$ effects $M_{1},\ldots,M_{d-1},\sum_{j=d}^{d^{2}}M_{j}$. In this case, the minimum can by assumption only be achieved if the effects are all rank-one. This implies that the first $d-1$ effects are orthogonal rank-one projectors and the remaining effects are rank-one operators on the remaining one-dimensional subspace and sum up to a rank-one projector. Thus, the algorithm again finds a $d$-outcome rank-one projective measurement that is optimal among $d$-outcome measurements. The case that was discussed above is of practical relevance, as we have observed in numerical experiments that randomly initialised unitaries may converge against the configuration stated in Equation (47).

The example discussed in Appendix A meets the requirement that all optimal two-outcome measurements are rank-one projective measurements. The optimal projective measurements are calculated in Appendix A. Any two outcome measurement in two dimensions with rank-two effects can be considered as a mixture of a rank-one projective measurement with white noise. The only case, in which white noise will not decrease the daemonic ergotropy is, if the conditional states $\gamma^{S}_{i}$ [Equation (A)] are simultaneously diagonalisable by the same diagonalising unitary and with the same ordering of eigenvalues in diagonal form. This is however not the case, since both states are already diagonal but the eigenvalues are not in the same order.

In the same example, the maximum daemonic ergotropy cannot be achieved with $d$-outcome measurements.

Appendix C Proof of Theorem 5

In this Appendix we provide a complete proof of the statement made in Theorem 5, which we repeat here again for easiness of reading. For a quantum-classical state, that is a state that can be cast in the form

[TABLE]

with a set of orthonormal vectors $\{\,|j\rangle^{A}\}$ and unnormalised states $\sigma^{S}_{j}$ the following theorem holds.

Theorem 5. For a quantum-classical state $\varrho^{SA}_{qc}$, the maximum daemonic ergotropy is

[TABLE]

This value is achieved by performing the projective measurements $P_{j}=|j\rangle\langle j|^{A}$ on the ancilla $A$.

Proof.

The first claim follows directly from the second claim using Equation (3). Therefore, we prove the second claim by showing that the daemonic gain achieved through any POVM $E$ with effects $E_{i}$ and an arbitrary number of outcomes $N$ has an upper bound given by the value corresponding to the use of projective measurements. We start by computing the conditional states

[TABLE]

It can be easily seen that post-processing can never increase the daemonic ergotropy. This allows us to assume, without loss of generality, that all effects are rank-one and use Naimark’s extension theorem Nielsen to write

[TABLE]

where $(|\phi_{k}\rangle\langle\phi_{k}|)_{k=1}^{N}$ is the Naimark extension of the operators $E_{k}$ on the extended ancilla space. Then, $(\,|\phi_{k}\rangle))_{k=1}^{N}$ is an orthonormal basis in the extended ancilla space. We also extend $(\,|j\rangle)_{j=1}^{d}$, so $(\,|j\rangle)_{j=1}^{N}$ is another orthonormal basis in the extended ancilla space and set $\sigma^{S}_{j}=0,~{}\forall j>d$. We can now interpret $|\langle j|\phi_{k}\rangle|^{2}$ as entries of a doubly stochastic matrix and apply the Birkhoff-von Neumann theorem Lenard1978 , which allows us to express this doubly stochastic matrix as a convex combination of permutation matrices $\pi^{(n)}=\left(\pi^{(n)}_{jk}\right)_{jk}$. This yields

[TABLE]

with probabilities $p_{n}$.

We insert this result into the formula of the daemonic ergotropy

[TABLE]

As we are interested in the optimal measurement, our only concern is the second term

[TABLE]

which is bounded from below by the value that is achieved for the projective measurement $P_{j}=|j\rangle\langle j|$, as stated above. ∎

\reftitle

References