Open Access
This article is

- freely available
- re-usable

*Entropy*
**2016**,
*18*(9),
335;
doi:10.3390/e18090335

Article

Enhanced Energy Distribution for Quantum Information Heat Engines

^{1}

Department of Applied Physics and Materials Engineering, Universidad Politecnica de Madrid, 28006 Madrid, Spain

^{2}

Department of Theoretical Physics, Universidad Complutense de Madrid, 28040 Madrid, Spain

^{*}

Author to whom correspondence should be addressed.

Academic Editor:
Jay Lawrence

Received: 5 August 2016 / Accepted: 12 September 2016 / Published: 14 September 2016

## Abstract

**:**

A new scenario for energy distribution, security and shareability is presented that assumes the availability of quantum information heat engines and a thermal bath. It is based on the convertibility between entropy and work in the presence of a thermal reservoir. Our approach to the informational content of physical systems that are distributed between users is complementary to the conventional perspective of quantum communication. The latter places the value on the unpredictable content of the transmitted quantum states, while our interest focuses on their certainty. Some well-known results in quantum communication are reused in this context. Particularly, we describe a way to securely distribute quantum states to be used for unlocking energy from thermal sources. We also consider some multi-partite entangled and classically correlated states for a collaborative multi-user sharing of work extraction possibilities. In addition, the relation between the communication and work extraction capabilities is analyzed and written as an equation.

Keywords:

quantum information heat engines; entanglement entropy; quantum cryptography; quantum thermodynamics## 1. Introduction

The study of the relation between computational irreversibility and energy can be traced back as far as 1961 when Landauer [1] established that irreversible steps in a computation should dissipate an amount of heat directly related to the loss of information (an experimental demonstration thereof has been published in 2012 [2]). On this line followed another important contribution by Bennett [3]. He claimed that any computation can be made reversible by the allocation of information in more registers (now known as ancillas), which can be deleted by the end of the process. Hamiltonian evolutions are reversible, and, if they are time independent, do not dissipate any energy so that, under these circumstances, reversibility is directly related to energy conservation. Using quantum mechanics, in Feynman [4], Benioff [5] and Deutsch [6] proposed models for quantum computers with Hamiltonian evolutions that minimized energy losses. A fairly up-to-date review of information and quantum computation can be found in [7], and a comprehensive textbook in [8].

Another fruitful relation between energy and information began in the Theory of Heat published by Maxwell [9] in 1871; he suggested that the introduction of an imaginary demon in a gas chamber could extract work from a single temperature gas volume. A further important contribution along this line is the Szilard’s Engine [10] and countless studies later on paradoxes, contradictions or refinements of the said law. A lot of papers in the last years have elucidated the question from different perspectives, all of them confirming the validity of the second principle of thermodynamics [11,12,13,14].

Szilard engines and Maxwell demons analysis are often prone to misunderstandings. In our view, they could be avoided with careful accounting for information and energy trade-off in the presence of feed-back systems [14,15]. Generally, they use a controller, which is governed by a number of bits (qubits in quantum environments). These bits are stored in some information container or memory. To change these bits, it is necessary to reset them, and thus some of Landauer’s work must be brought in and some entropy poured somewhere else. Then, they must be replaced by new information coming from a measurement on the system, whereby some entropy is taken away. After that, some work can be obtained from the freshly measured bits. The process is then neutral in information and energy, unless entropy and work can be taken away in exchange of information. We would like to emphasize that the real fuel for these devices is information, as is explained in [16] for a magnetic quantum information heat engine, which is a new version of Szilard’s engine devoid of some irrelevant details. An alternative to the measuring stage is periodically swapping high-entropy states in the engine with low-entropy ones supplied by feeding ancillas [16,17].

It is now well understood that the availability of a thermal bath allows for a trade-off between information and work. The devices that carry out this conversion are known as Information Heat Engines [12,13,16,18,19,20,21,22,23,24,25,26,27,28,29,30]. The information may be classical or quantum and the available energy could differ in both cases. The difference is defined by the work deficit [31] or quantum discord [32,33,34]. In addition, the extractable work can be related to the relative entropy or Kullback–Leibler divergence [35,36,37,38]. Quantum statistical considerations with fermionic and bosonic multiparticle systems have also been analyzed elsewhere [13,16,25,29,39,40,41,42].

Other magnetic machines (classical and quantum) have been proposed for other different thermodynamic cycles, especially cooling systems [29,43,44,45].

The role of standard entropy in Information Heat Engines is relevant for average values of extracted work. Generalizations to the so called smooth entropies have been made to include other fluctuations and probabilities of failure [46,47,48]. This perspective is not considered in the present paper.

In this contribution, a new scenario for communication and energy distribution is defined that allows the consideration of novel possibilities concerning the security and conditions of use for both the information and energy convertibility stored in a shared quantum state.

Quantum information resources for communication have already been adapted to energy distribution [49,50] and described using Ising chains [51]. They differ from our approach basically because they use an entangled vacuum state for a non-local Hamiltonian that has to be shared by both the energy provider and consumer. On the other hand, our proposal includes the use of Quantum Information Heat Engines (henceforth QIHE) and the availability of a thermal bath at non-zero temperature.

In Section 2, we provide a short description of a basic model for a QIHE, to which further ideas will be referred throughout the rest of the paper. Section 3 analyzes the transmission of physical systems, that will be referred to as messengers, whose entropy may be increased at a remote station in order to extract work from thermal baths; several protocols with different functionalities are presented. For example, by using shared entangled states, qubits sent from an emitter A to a receiver B are completely depolarized (in this work, a completely depolarized system is equivalent to a system with maximum entropy. Taking into account that Information Heat Engines extract work by increasing the entropy of the fueling system, a completely depolarized state yields zero work), and thus useless for any illegitimate user that could intercept them; other multipartite systems render other interesting possibilities concerning the conditions to access not completely depolarized systems. Section 4 and Section 5 analyze the transmission of physical systems in a given quantum state from two different perspectives that prove to be complementary. One of them is quantum communication, where new milestones [52,53] are frequently announced, and the other is the possibility to fuel a QIHE under suitable restrictions. A relationship between the communication and work extraction capabilities of sources of physical systems is sought and an equation is found. Section 5 specifically focuses on proving the possibility of reaching the Holevo bound for communication performance and simultaneously using the messenger system to fuel a QIHE, whereas in Section 4, both functions are supposed to be used exclusively. Section 6 summarizes the conclusions.

## 2. Short Description of a Quantum Information Heat Engine

Information Heat Engines are devices that cyclically convert thermal energy into useful work at the expense of degrading information. They are periodically fueled with auxiliary systems, whose entropy is increased, although their energy is conserved. The power delivered by the engine is drawn from a single thermal reservoir. This is in contrast with other cyclic engines that decrease the internal energy of the systems that are supplied as fuel. It should also be remarked that they comply with all three principles of thermodynamics. In the following, we assume that the engine is a physical system with a local Hamiltonian and no energy is exchanged with the fueling system. If the evolution is divided into intervals with either Hamiltonian evolution or reversible thermal equilibrium with a bath at temperature T, the work after a complete cycle can be evaluated by
where the first integral extends for the whole cycle and vanishes on account of its periodic domain. The second integral is defined only for the intervals when the system is at thermal equilibrium with the bath. In addition, entropy is expressed in bits; ${k}_{B}$ is Boltzman’s constant, ρ is the density matrix of the system and H represents the Hamiltonian. The result is
which shows that work can be obtained only if entropy is reset to a lower value at some point in the cycle. Entropy extraction can be accomplished in a number of ways. The simplest one is swapping the quantum state of the system with that of an ancilla with an initially lower value of entropy. More frequently, entropy is extracted through feedback control. In this case, the system is driven to a lower entropy state by first measuring and then triggering the suitable Hamiltonian to make the system evolve to the desired state. As it is thoroughly analyzed in [16], a measurement involves two systems: the measurand and the indicator, which must start in a well-defined state. After the measurement, the indicator ends up with some entropy, on account of the unpredictability of the outcome. In contrast, the system is brought to a less entropic state by virtue of the tailored Hamiltonian evolution triggered according to the outcome of the measurement. It is after the measuring stage that entropy has to be removed by resetting the indicator; the Landauer’s work is precisely the product of this entropy and the temperature. We assume that the states of the indicator have negligible energy differences in order to isolate its purely informational role.

$${W}_{\mathrm{cycle}}\phantom{\rule{0.166667em}{0ex}}=\phantom{\rule{0.166667em}{0ex}}-\phantom{\rule{0.166667em}{0ex}}{\oint}_{\mathrm{cycle}}\mathrm{d}\left(\mathrm{T}\mathrm{r}\phantom{\rule{0.166667em}{0ex}}\left\{\rho H\right\}\right)+{\int}_{\mathrm{te}}\phantom{\rule{0.166667em}{0ex}}{k}_{B}\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}T\phantom{\rule{0.166667em}{0ex}}\mathrm{d}S\phantom{\rule{0.166667em}{0ex}},$$

$${W}_{\mathrm{cycle}}\phantom{\rule{0.166667em}{0ex}}=\phantom{\rule{0.166667em}{0ex}}{k}_{B}\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}T\phantom{\rule{0.166667em}{0ex}}\Delta S\phantom{\rule{0.166667em}{0ex}},$$

In a single particle cylinder Szilard engine, as shown in Figure 1, measurement of which side is performed and isothermal expansion against a wall in the suitable direction follows. A barrier is then repositioned at the middle of the cylinder. The entropy increase between the moment following the measurement and immediately after the reinsertion of the barrier is exactly one bit, corresponding to the loss of information about which side of the cylinder the particle is in. Correspondingly, the extracted work per cycle ${W}_{\mathrm{cycle}}^{\mathrm{Sz}}$ is

$${W}_{\mathrm{cycle}}^{\mathrm{Sz}}\phantom{\rule{0.166667em}{0ex}}=\phantom{\rule{0.166667em}{0ex}}{k}_{B}\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}T\phantom{\rule{0.166667em}{0ex}}.$$

In a magnetic quantum information heat engine [16], as shown in Figure 2, measurement of the z-component of the magnetic moment of a spin-$\frac{1}{2}$ particle is followed by the onset of a suitable magnetic field, which is later gradually removed in a stage at thermal equilibrium with a thermal reservoir. Exactly as in the one particle Szilard cylinder, the entropy increase between the moment after the measurement and the restart of the process is one bit and Equation (3) holds.

The resource theory behind energy extraction [37,54,55,56] establishes that the obtainable work is related to the free energy of the state that describes the ancilla; when the energy differences are negligible, the important magnitude is the entropy. These results are generalized to develop a general formalism to calculate the maximum efficiency of work extraction from an arbitrary quantum system in [57]. It is then straightforward to envisage a system for distribution of purity. Basic quantum cryptographic procedures can be implemented in order to lock it for all but a legitimate participant and render it useless for anyone else. Furthermore, we analyze the possibilities furnished by some particular entangled states to enforce a collaborative procedure for unlocking the purity of the ancilla state.

## 3. Scenario for Energy Distribution through Quantum Information in Multipartite Systems

In the previous sections, it has been established that a physical system whose quantum state is not completely depolarized can be transformed into another state with greater entropy and obtain work in the process, provided the availability of a thermal bath and an Information Heat Engine, like a Szilard or a magnetic information engine as described in Section 2.

Now, we set up a new scenario for energy distribution: a power information plant P can do the reverse process and polarize a messenger physical system M by supplying electrical (or mechanical or of any other kind) work (see Figure 3a). If the system M (a photon polarization, for instance) is sent to other users $A,B,\dots $ (may be in remote places), they can do the reverse operation and obtain work by depolarizing the system, provided they know the state of M. Note that, if the reservoirs are at different temperatures, this is equivalent to a (remote) Carnot cycle (see Figure 3b).

The next important issues about this scenario are the security and shareability. As a first scenario, one could send some messenger qubits from the power plant P to A, so that A can convert them into work. In order for A to be able to obtain energy from the qubits, A must know something about the state ρ of said qubits. If all the qubits were in the same state, this could be learned by someone else (eavesdropper E) who could use them to draw some work from an available thermal reservoir. One possible solution that would avoid this reward for E, as we know from quantum security communication protocols, is to share a set of entangled qubits; then, sending a qubit from P would make A obtain two fresh convertible bits (superdense coding). Thus, the same protocols that serve the purpose of protecting information can be used to secure that no unauthorized user converts the qubits into work. In short, we can implement a cryptographic protocol that renders the S qubits completely unpolarized (useless) for any eavesdropper while carrying two convertible bits for legitimate users.

As an example, A and B may agree on sharing a set of Bell pairs. Let ${\left|\mathsf{\Psi}\right.\u232a}_{\mathrm{AB}}$ be one of them. As it is widely known, the partial density matrices describing the A and B parts of ${\left|\mathsf{\Psi}\right.\u232a}_{\mathrm{AB}}$ are completely depolarized, being:
or, in other words, no information is available in the local subsystems. However, when A sends its qubit to B through a quantum channel, B can reconstruct the bipartite initial Bell state, which is a pure state and can be used to extract a work ${W}_{\mathrm{BS}}$ given by

$${\rho}_{\mathrm{A}}={\rho}_{\mathrm{B}}=\frac{1}{2}\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)\phantom{\rule{0.166667em}{0ex}},$$

$${W}_{\mathrm{BS}}\phantom{\rule{0.166667em}{0ex}}=\phantom{\rule{0.166667em}{0ex}}2\phantom{\rule{0.166667em}{0ex}}{k}_{B}\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}{T}_{B}\phantom{\rule{0.166667em}{0ex}}.$$

It is important to note that interception of just the qubit being sent from A to B is useless for any illegitimate user, on account of its total depolarization; only the two qubits together can be fruitful. In addition, it should also be remarked that the whole entropy generated in resetting the Bell pair is extracted from the thermal bath at B, so that nothing is lost. As a further remark, if thermal baths at different temperatures ${T}_{A},{T}_{B}$ are used as sources or sinks of entropy in $A,B$, the system as a whole functions as a remote direct Carnot cycle if ${T}_{A}<{T}_{B}$ or a reverse one when ${T}_{B}>{T}_{A}$.

A classical version of this protocol can be devised where a set of completely correlated random bits would be used instead of the Bell states. However, completely correlated pairs of random bits carry one bit of entropy, and, consequently, the extractable work ${W}_{\mathrm{CB}}$ would be
which is only half of the one given by Equation (5). This reduction can be related to the superdense coding feature of quantum communication, i.e., one qubit may be used to communicate two classical bits.

$${W}_{\mathrm{BS}}\phantom{\rule{0.166667em}{0ex}}=\phantom{\rule{0.166667em}{0ex}}{k}_{B}\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}{T}_{B}\phantom{\rule{0.166667em}{0ex}},$$

There are further possibilities: one can use multipartite states ${\rho}_{{A}_{1},\dots ,{A}_{n}}$ (see Figure 4) that allow energy extraction under one of the following two situations:

- (i)
- any user ${A}_{i}$ can independently make that the other ones (${A}_{j\ne i}$) access the energy of one bit in their part of ${\rho}_{{A}_{1},\dots ,{A}_{n}}$. This possibility can be implemented by using generalized Greenberger–Horne–Zeilinger (GHZ) states, also known as cat states. An n-partite GHZ state is a pure state:$$\left|{\mathrm{GHZ}}_{n}\right.\u232a:={2}^{-1/2}\left({\left|0\right.\u232a}^{\otimes n}+{\left|1\right.\u232a}^{\otimes n}\right),$$
- (ii)
- only if all users agree, one of them can convert the energy. For this purpose, we may use a classically correlated mixed state:$${\rho}_{EP}:=\frac{1}{{2}^{n}}\phantom{\rule{0.166667em}{0ex}}\sum _{{i}_{1},\dots ,{i}_{n}}(1+{(-1)}^{{i}_{1}+\dots +{i}_{n}})\phantom{\rule{0.166667em}{0ex}}{\sigma}_{{i}_{1},\dots ,{i}_{n}}\phantom{\rule{0.166667em}{0ex}},$$$${\sigma}_{{i}_{1},\dots ,{i}_{n}}:=\left|{i}_{1},\dots ,{i}_{n}\right.\u232a\left.\u2329{i}_{1},\dots ,{i}_{n}\right|\phantom{\rule{0.166667em}{0ex}}.$$According to Equation (8), ${\rho}_{EP}$ is a mixture of all even parity pure states. It can only furnish one bit of information upon knowing all but one bits measured on the standard basis. We will now prove this. For that purpose, we will show that any operation on $n-2$ qubits, say $3,\dots ,n$, gives no information about qubit 1. Let ${K}_{j}$ be the Krauss operators; then, ignoring a possible normalization factor, the state of the system after it is:$${\rho}^{\prime}=\sum _{j}{K}_{j}{\rho}_{EP}{K}_{j}^{\u2020}\phantom{\rule{0.166667em}{0ex}},$$$${\rho}^{\prime}=\sum _{j}\sum _{{i}_{1},\dots ,{i}_{n}\in E}{k}_{j}{\sigma}_{{i}_{3},\dots ,{i}_{n}}{k}_{j}^{\u2020}\otimes {\sigma}_{{i}_{1},{i}_{2}}\phantom{\rule{0.166667em}{0ex}}.$$Next, we separate the ${i}_{3},\dots ,{i}_{n}\in E$ (set of even parity $n-2$-tuples of bits) and ${i}_{3},\dots ,{i}_{n}\in O$ (set of odd parity $n-2$-tuples of bits) contributions so that$$\begin{array}{ccc}\hfill \phantom{\rule{-14.22636pt}{0ex}}{\rho}^{\prime}=& & \phantom{\rule{-17.07164pt}{0ex}}\sum _{{i}_{3},\dots ,{i}_{n}\in E,j}\phantom{\rule{-14.22636pt}{0ex}}{k}_{j}{\sigma}_{{i}_{3},\dots ,{i}_{n}}{k}_{j}^{\u2020}\otimes ({\sigma}_{0,0}+{\sigma}_{1,1})\hfill \\ & +& \phantom{\rule{-17.07164pt}{0ex}}\sum _{{i}_{1},\dots ,{i}_{n}\in O,j}\phantom{\rule{-14.22636pt}{0ex}}{k}_{j}{\sigma}_{{i}_{3},\dots ,{i}_{n}}{k}_{j}^{\u2020}\otimes ({\sigma}_{0,1}+{\sigma}_{1,0}).\hfill \end{array}$$Subsequently, we trace over all but the first and second qubits to obtain ${\rho}_{12}^{\prime}$; let the constants ${C}_{E},{C}_{O}$ be defined by:$${C}_{E/O}:=\sum _{\begin{array}{c}{i}_{3},\dots ,{i}_{n}\in E/O\\ {\ell}_{3},\dots ,{\ell}_{n}\end{array},j}\phantom{\rule{-14.22636pt}{0ex}}{\left|\left.\u2329{\ell}_{3},\dots ,{\ell}_{n}\right|{k}_{j}\left|{i}_{3},\dots ,{i}_{n}\right.\u232a\right|}^{2},$$$${\rho}_{12}^{\prime}={C}_{E}({\sigma}_{0,0}+{\sigma}_{1,1})+{C}_{O}({\sigma}_{0,1}+{\sigma}_{1,0}),$$$${\rho}_{1}^{\prime}={C}_{E}({\sigma}_{0}+{\sigma}_{1})+{C}_{O}({\sigma}_{1}+{\sigma}_{0})=({C}_{E}+{C}_{O})\phantom{\rule{0.166667em}{0ex}}{\mathbb{1}}_{1},$$

## 4. Mutual Limitation between Communication and Energy Extraction

According to the previous paragraphs, posting messenger quantum states from P to A may serve one or two of the following purposes: sending qubits to be converted into energy and communicating information. Both features are mutually exclusive functions whose limiting relation is next obtained.

Holevo [58] in 1998, and Schumacher et al. [59] in 1997, established that, given an alphabet consisting of (1) a set of $\mathcal{N}$ quantum mixed states (also known as letters) described by their density matrices $\{{\rho}_{a},\phantom{\rule{0.166667em}{0ex}}a=1\phantom{\rule{0.166667em}{0ex}}\mathrm{through}\phantom{\rule{0.166667em}{0ex}}\mathcal{N}\},$ and (2) a set of probabilities $\{{p}_{a},\phantom{\rule{0.166667em}{0ex}}a=1\phantom{\rule{0.166667em}{0ex}}\mathrm{through}\phantom{\rule{0.166667em}{0ex}}\mathcal{N}\},$ according to which the states have to be used, one can devise a communication protocol to convey χ bits (in average for sufficiently long messages) of classical information per state in the alphabet, where χ is defined as the Holevo information of the alphabet:
where
is the mixed state that exits the emitter A according to the information of the receiver B and

$$\chi :=S({\rho}_{B})-\u2329{S}_{a}\u232a\phantom{\rule{0.166667em}{0ex}},$$

$${\rho}_{B}:=\sum _{a=1}^{\mathcal{N}}{p}_{a}{\rho}_{a}$$

$$<{S}_{a}>:=\sum _{a=1}^{\mathcal{N}}{p}_{a}S({\rho}_{a})\phantom{\rule{0.166667em}{0ex}}.$$

It is understood that the communication protocol assigns a sequence of states in the alphabet, or a codeword, to every message that can be transmitted.

We are now going to use this theorem [60] to state a new interesting result.

Let us now describe a bipartite scenario, with A (Alice) and B (Bob). A messenger physical system M can be emitted from A to B. The states of M belong to a finite set $\rho \phantom{\rule{0.166667em}{0ex}}\in \phantom{\rule{0.166667em}{0ex}}\{{\rho}_{B},\dots ,{\rho}_{\mathcal{N}}\}$. In addition, the availability of the states of M follows a probability distribution $\{{p}_{1},\dots ,{p}_{\mathcal{N}}\}$ that determines the frequencies with which the states of M have to be used. Thus, the states $\{{\rho}_{a},\phantom{\rule{0.166667em}{0ex}}a=1\phantom{\rule{0.166667em}{0ex}}\mathrm{through}\phantom{\rule{0.166667em}{0ex}}\mathcal{N}\}$ with probabilities $\{{p}_{a},\phantom{\rule{0.166667em}{0ex}}a=1\phantom{\rule{0.166667em}{0ex}}\mathrm{through}\phantom{\rule{0.166667em}{0ex}}\mathcal{N}\}$ make the letters of an alphabet. If Alice and Bob agree on a certain code, the ordering of the states sent from A to B may be used to communicate messages, according to the Holevo information of the alphabet. In addition, not completely depolarized systems can also be used to fuel a QIHE, provided that there is a thermal bath at B.

According to Equation (2), the average work ($\mathcal{E}$) obtainable from each letter reads
where
and d is the dimension of the Hilbert space for the physical system M; $\mathcal{M}$ is then the equivalent number of qubits per letter in the alphabet (note that $\mathcal{M}$ is not generally an integer number). Accordingly, substituting for $S(\rho )$ in Equation (15) yields
where $\mathcal{C}$ is the average information per emitted letter that one can communicate using the alphabet $\{{\rho}_{a},{p}_{a}\},$ which, according to the previous paragraph, is equal to χ. Equation (20) states the mutual limitation between communication and energy as is graphically represented in Figure 5.

$$\mathcal{E}={k}_{B}T\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}\left(\mathcal{M}-S({\rho}_{B})\right)\phantom{\rule{0.166667em}{0ex}},$$

$$\mathcal{M}:=\phantom{\rule{0.166667em}{0ex}}{log}_{2}\phantom{\rule{0.166667em}{0ex}}d,$$

$$\frac{\mathcal{E}}{{k}_{B}Tln2}+\mathcal{C}+\u2329{S}_{a}\u232a=\mathcal{M}\phantom{\rule{0.166667em}{0ex}},$$

## 5. Simultaneous Supply of Information and Work Extraction Capability

The derivation of Equation (20) in the previous section was based on independent results for communication and thermodynamics scenarios. It proves that there is a relation between two different functions of the states of a system M, when they are used exclusively, which is for either sending messages or fueling a QIHE. Next, we show that both functions can be obtained simultaneously for the same system with a mutual limitation of Equation (20). For that, we refer to the decoding of information described in [59]. Briefly stated, the results put forward in that paper which are relevant to this work are:

Given any positive real numbers $\u03f5,\delta $ and a set of states of a physical system M with Hilbert space $\mathcal{H}$, $\{{\rho}_{a},\phantom{\rule{0.166667em}{0ex}}a=1\phantom{\rule{0.166667em}{0ex}}\mathrm{through}\phantom{\rule{0.166667em}{0ex}}\mathcal{N}\}$ with probabilities $\{{p}_{a},\phantom{\rule{0.166667em}{0ex}}a=1\phantom{\rule{0.166667em}{0ex}}\mathrm{through}\phantom{\rule{0.166667em}{0ex}}\mathcal{N}\}$; then, for a sufficiently large integer L:

- there is a typical subspace ${\Lambda}_{L,\u03f5,\delta}\phantom{\rule{0.166667em}{0ex}}\subset \phantom{\rule{0.166667em}{0ex}}{\mathcal{H}}^{\otimes \phantom{\rule{0.166667em}{0ex}}L}$, whose orthogonal projector is ${\Pi}_{L,\u03f5,\delta}$ that verifies$$\mathrm{T}\mathrm{r}\phantom{\rule{0.166667em}{0ex}}\left\{{\Pi}_{L,\u03f5,\delta}\phantom{\rule{0.166667em}{0ex}}{\rho}_{L}\right\}>1-\u03f5,$$$${\rho}_{B}:=\sum _{a=1}^{\mathcal{N}}{p}_{a}{\rho}_{a};$$
- the dimension ${d}_{\Lambda}$ of Λ is bounded by$${d}_{\Lambda}:=\phantom{\rule{0.166667em}{0ex}}dim\phantom{\rule{0.166667em}{0ex}}(\Lambda )\phantom{\rule{0.166667em}{0ex}}\le \phantom{\rule{0.166667em}{0ex}}{2}^{L(\delta +S({\rho}_{B}))};$$
- there is a communication protocol between Alice and Bob, whose information is coded (in [59], the codes are constructed by choosing a number of codewords independently, according to the a priori string probability for each codeword. The choice is supposed to be random and the results concerning the probability of error are averaged over the different possibilities) in the order in which Alice arranges the letters ${\rho}_{a}$ before sending them to Bob, where the frequency of letter ${\rho}_{a}$ is ${p}_{a}$, that achieves $\chi -5\delta $ bits per letter with a probability of error ${P}_{E}\le 10\u03f5$. When Bob receives the codewords sent by Alice, he performs a positive-operator valued measure (POVM) (positive-operator measure (POM) in the reference article [59]), defined by a collection of effects ${E}_{j}=\left|{\mu}_{j}\right.\u232a\phantom{\rule{0.166667em}{0ex}}\left.\u2329{\mu}_{j}\right|$, where all of the kets $\left|{\mu}_{j}\right.\u232a$ belong to the typical subspace Λ. All the ensuing process of decoding relays only on the result of this POVM.

Our next purpose is to use this result to closely factorize the state ${\rho}_{L}={\rho}_{B}^{\otimes \phantom{\rule{0.166667em}{0ex}}L}$ into two parts: one which carries the information (and consequently should contain most of the entropy) and other which can fuel a QIHE (which, inversely, should have low entropy). As a first attempt, we would want to factorize the ${d}_{L}:={2}^{L\mathcal{M}}$-dimensional Hilbert space into a ${d}_{\Lambda}$-dimensional one and another which should accordingly have dimension ${d}_{L}/{d}_{\Lambda}$. This can only happen when ${d}_{L}/{d}_{\Lambda}$ is a positive integer number, which is not the case in a general situation.

In order to guarantee the possibility of factorization in the general case, we enlarge the Hilbert space ${\mathcal{H}}_{L}:={\mathcal{H}}^{\otimes \phantom{\rule{0.166667em}{0ex}}L}$ by a tensor product with a ${d}_{\Lambda}$-dimensional ancillary physical system D upon reception of the codeword by B. Let ${\left|0\right.\u232a}_{D}$ be the initial state of the ancillary system D and denote by ${\mathcal{H}}_{D}$ the Hilbert space of D.

The enlarged codewords live now in the ${d}_{L}\times {d}_{\Lambda}$-dimensional space defined by the tensor product ${\mathcal{H}}_{L}\phantom{\rule{0.166667em}{0ex}}\otimes \phantom{\rule{0.166667em}{0ex}}{\mathcal{H}}_{D}$.

Next, we define the enlarged typical subspace $\Gamma :=\Lambda \phantom{\rule{0.166667em}{0ex}}\otimes \phantom{\rule{0.166667em}{0ex}}{0}^{{d}_{\Lambda}}$, where ${0}^{{d}_{\Lambda}}$ is the one-dimensional subspace of ${\mathcal{H}}_{D}$ spanned by ${\left|0\right.\u232a}_{D}$.

As the next step, we define a unitary transformation U which maps the enlarged typical subspace Γ into the subspace ${\left|0\right.\u232a}_{L}\phantom{\rule{0.166667em}{0ex}}\otimes \phantom{\rule{0.166667em}{0ex}}{\mathcal{H}}_{D}$, where ${\left|0\right.\u232a}_{L}$ is a pure state of ${\mathcal{H}}_{L}$. As both subspaces have the same dimension, such a unitary transformation is guaranteed to exist. This completes the process of transferring codewords in Λ to D, as is depicted in Figure 6. The first part of the system is fed to a QIHE, which will yield a work
with a probability $>1-\u03f5$, corresponding to the case that the ${\mathcal{H}}_{L}$ part is in the ${\left|0\right.\u232a}_{L}$ state or, equivalently, that the codeword is in Λ and such probability is given by Equation (21). If not, the work may be negative, but never less than $-{W}_{1}$. Accordingly, the average work obtained verifies
from which we should subtract the one necessary to restore the ancillary system
and taking into account Equation (23),
and, consequently, the average net work per letter gained by the QIHE at B verifies

$${W}_{1}=\phantom{\rule{0.166667em}{0ex}}{k}_{B}\phantom{\rule{0.166667em}{0ex}}T\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}L\phantom{\rule{0.166667em}{0ex}}\mathcal{M},$$

$$W\ge \phantom{\rule{0.166667em}{0ex}}{k}_{B}\phantom{\rule{0.166667em}{0ex}}T\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}L\phantom{\rule{0.166667em}{0ex}}\mathcal{M}(1-2\u03f5),$$

$${W}_{D}=\phantom{\rule{0.166667em}{0ex}}{k}_{B}\phantom{\rule{0.166667em}{0ex}}T\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}{log}_{2}{d}_{\Lambda},$$

$${W}_{D}\le \phantom{\rule{0.166667em}{0ex}}{k}_{B}\phantom{\rule{0.166667em}{0ex}}T\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}(LS({\rho}_{B})+L\delta ),$$

$${W}_{\mathrm{letter}}\ge \phantom{\rule{0.166667em}{0ex}}{k}_{B}\phantom{\rule{0.166667em}{0ex}}T\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}(\mathcal{M}(1-2\u03f5)-S({\rho}_{B})-\delta ).$$

We also know, from the theory of QIHE, and ultimately from the Second Principle of Thermodynamics, that
so that the average work extractable per letter, in the $L\to \infty $ asymptotic limit, reads
and Equation (20) holds for the case of simultaneous QIHE and communication use of a source of quantum states. Figure 7 represents the process.

$${W}_{\mathrm{letter}}\le \phantom{\rule{0.166667em}{0ex}}{k}_{B}\phantom{\rule{0.166667em}{0ex}}T\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}(\mathcal{M}-S({\rho}_{B})),$$

$$\mathcal{E}:={W}_{\mathrm{letter}}=\phantom{\rule{0.166667em}{0ex}}{k}_{B}\phantom{\rule{0.166667em}{0ex}}T\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}(\mathcal{M}-S({\rho}_{B})),$$

Given the set of states ${\rho}_{a}$ of a system D, with probabilities ${p}_{a}$, as in the previous paragraphs, the last question to be discussed is whether Alice and Bob can arrange a protocol to increase $\mathcal{E}$ and decrease $\mathcal{C}$ or vice versa. The answer is that $\mathcal{C}$ can not be increased over χ, on account of Holevo’s theorem, but $\mathcal{E}$ can be improved if Alice and Bob previously agree on decreasing $\mathcal{C}$.

A way to do it would be a previous agreement on always sending blocks of n copies of each letter. This is equivalent to replacing the alphabet of letters ${\rho}_{a}$ with probabilities ${p}_{a}$ by a new alphabet of letters ${\rho}_{a}^{\prime}:={\rho}_{a}^{\otimes \phantom{\rule{0.166667em}{0ex}}n}$ with the same probabilities ${p}_{a}$. In this case,
and thus,

$$S({\rho}_{a}^{\prime})=n\phantom{\rule{0.166667em}{0ex}}S({\rho}_{a})\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{0.166667em}{0ex}}{\mathcal{C}}^{\prime}\le n\phantom{\rule{0.166667em}{0ex}}\mathcal{C}\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{0.166667em}{0ex}}{\mathcal{M}}^{\prime}=n\mathcal{M}\phantom{\rule{0.166667em}{0ex}},$$

$$\frac{{\mathcal{E}}^{\prime}}{n}=\mathcal{M}-\frac{{\mathcal{C}}^{\prime}}{n}-\u2329\phantom{\rule{0.166667em}{0ex}}{S}_{a}\phantom{\rule{0.166667em}{0ex}}\u232a.$$

In the limit, $n\to \infty $, $\frac{{\mathcal{C}}^{\prime}}{n}\to 0$ and, consequently,

$$\frac{{\mathcal{E}}^{\prime}}{n}\to \mathcal{M}-\u2329\phantom{\rule{0.166667em}{0ex}}{S}_{a}\phantom{\rule{0.166667em}{0ex}}\u232a.$$

This value can also be reached if Alice and Bob arrange a particular ordering of the states, declining to use them for communication. Figure 8 represents the simultaneous values per letter of (1) the extractable work $\mathcal{E}$ and (2) communication bits $\mathcal{C}$ that can be attained when Alice disposes over a supply of copies of a physical system M that can be transferred to Bob.

## 6. Results and Conclusions

New domains for the application of quantum information theory, especially cryptography and entanglement have been presented. It is assumed that users have access to suitable QIHEs. In particular, this paper describes protocols for work extraction from a single thermal bath through the distribution of messenger qubits, with increasingly complex features. Procedures for requiring collaboration from other users to unlock work extraction are also presented using both strongly entangled and classically correlated multipartite quantum ancillas. Specifically, the following possibilities have been presented:

- Simple transmission of messenger systems whose state is not completely depolarized for the receiver. He can extract a work equal to ${k}_{B}\phantom{\rule{0.166667em}{0ex}}T\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}({S}_{max}-S(\rho ))$.
- Encrypted transmission of messenger systems though the use of previously entangled bipartite systems. This technique makes the transmitted system useless for illegitimate users that might intercept them. Quantum systems prove to be able to supply twice as much work as classical ones because of the same physics that is behind the feature of superdense coding in quantum communication protocols.
- In a multi-user scenario, where users initially share generalized GHZ states, any users can enable all the other ones to extract work.
- Also in a multi-user environment, if some correlated classical states are shared among all users, all but one can enable the other to extract work.

In order to find a relation between the two possible uses of messenger systems, a mutual limitation between communication and energy has been derived in Section 4 leading to Equation (20). This result seems quite natural, from the complementary perspectives of gaining certainty (communication) and increasing uncertainty (traded for work). In Section 5, the validity of Equation (20) is generalized to the case of simultaneously using the messenger system for communication and work extraction. The results are represented in Figure 8. It shows that the communication capacity $\mathcal{C}$ cannot be increased over the Holevo’s bound, although it can be arbitrarily reduced, upon agreement of both users, to improve the work extraction capacity up to ${k}_{B}\phantom{\rule{0.166667em}{0ex}}T\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}\left(\mathcal{M}-\u2329{S}_{a}\u232a\right)$.

## Acknowledgments

We thank the Spanish MINECO (Ministerio de Economia y Competitividad) grant FIS2012-33152, FIS2015-67411, the CAM (Comunidad Autonoma de Madrid) research consortium QUITEMAD+ S2013/ICE-2801, and the U.S. Army Research Office through grant W911NF-14-1-0103 for partial financial support.

## Author Contributions

Jose M. Diaz de la Cruz and Miguel Angel Martin-Delgado conceived and discussed the contents of the article; Jose M. Diaz de la Cruz wrote the paper; Miguel Angel Martin-Delgado supervised the work. Both authors have read and approved the final manuscript.

## Conflicts of Interest

The authors declare no conflict of interest.

## References

- Landauer, R. Irreversibility and heat generation in the computing process. IBM J. Res. Dev.
**1961**, 5, 183–191. [Google Scholar] [CrossRef] - Bérut, A.; Arakelyan, A.; Petrosyan, A.; Ciliberto, S.; Dillenschneider, R.; Lutz, E. Experimental verification of Landauer’s principle linking information and thermodynamics. Nature
**2012**, 483, 187–189. [Google Scholar] [CrossRef] [PubMed] - Bennett, C.H. Logical reversibility of computation. IBM J. Res. Dev.
**1973**, 17, 525–532. [Google Scholar] [CrossRef] - Feynman, R.; Shor, P.W. Simulating Physics with Computers. SIAM J. Comput.
**1982**, 26, 1484–1509. [Google Scholar] [CrossRef] - Benioff, P. Quantum mechanical Hamiltonian models of turing machines. J. Stat. Phys.
**1982**, 29, 515–546. [Google Scholar] [CrossRef] - Deutsch, D. Quantum theory, the church-turing principle and the universal quantum computer. Proc. R. Soc. Lond. Ser. A Math. Phys. Sci.
**1985**, 400, 97–117. [Google Scholar] [CrossRef] - Galindo, A.; Martin-Delgado, M.A. Information and computation: Classical and quantum aspects. Rev. Mod. Phys.
**2002**, 74, 347–423. [Google Scholar] [CrossRef] - Nielsen, M.; Chuang, I. Quantum Computation and Quantum Information; Cambridge University Press: Cambridge, UK, 2000. [Google Scholar]
- Maxwell, J.C. Theory of Heat; Longmans: London, UK, 1871. [Google Scholar]
- Szilard, L. On the decrease of entropy in a thermodynamic system by the intervention of intelligent beings. Behav. Sci.
**1964**, 9, 301–310. [Google Scholar] [CrossRef] [PubMed] - Bennett, C.H. Demons, engines and the second law. Sci. Am.
**1987**, 257, 108–116. [Google Scholar] [CrossRef] - Zurek, W.H. Maxwell’s Demon, Szilard’s Engine and Quantum Measurements. In Frontiers of Nonequilibrium Statistical Physics; Springer: Berlin/Heidelberg, Germany, 2003. [Google Scholar]
- Kim, S.; Sagawa, T.; Liberato, S.D.; Ueda, M. Quantum szilard engine. Phys. Rev. Lett.
**2011**, 106, 070401. [Google Scholar] [CrossRef] [PubMed] - Kish, L.B.; Granqvist, C.G. Energy requirement of control: Comments on Szilard’s engine and Maxwell’s demon. Europhys. Lett.
**2012**, 98. [Google Scholar] [CrossRef] - Horowitz, J.M.; Parrondo, J.M.R. Designing optimal discrete-feedback thermodynamic engines. New J. Phys.
**2011**, 13, 123019. [Google Scholar] [CrossRef] - Diaz de la Cruz, J.M.D.; Martin-Delgado, M.A. Quantum-information engines with many-body states attaining optimal extractable work with quantum control. Phys. Rev. A
**2014**, 89, 032327. [Google Scholar] [CrossRef] - Uzdin, R.; Kosloff, R. The multilevel four-stroke swap engine and its environment. New J. Phys.
**2014**, 16, 095003. [Google Scholar] [CrossRef] - Toyabe, S.; Sagawa, T.; Ueda, M.; Muneyuki, E.; Sano, M. Information heat engine: Converting information to energy by feedback control. Nat. Phys.
**2010**, 6, 988–992. [Google Scholar] [CrossRef] - Scully, M.O. Extracting work from a single thermal bath via quantum negentropy. Phys. Rev. Lett.
**2001**, 87, 220601. [Google Scholar] [CrossRef] [PubMed] - Scully, M.O.; Rostovtsev, Y.; Sariyanni, Z.E.; Zubairy, M.S. Using quantum erasure to exorcize Maxwell’s demon: I. Concepts and context. Phys. E Low-Dimens. Syst. Nanostruct.
**2005**, 29, 29–39. [Google Scholar] [CrossRef] - Rostovtsev, Y.; Sariyanni, Z.E.; Zubairy, M.S.; Scully, M.O. Using quantum erasure to exorcise Maxwell’s demon: II. Analysis. Phys. E Low-Dimens. Syst. Nanostruct.
**2005**, 29, 40–46. [Google Scholar] [CrossRef] - Sariyanni, Z.E.; Rostovtsev, Y.; Zubairy, M.S.; Scully, M.O. Using quantum erasure to exorcize Maxwell’s demon: III. Implementation. Phys. E Low-Dimens. Syst. Nanostruct.
**2005**, 29, 47–52. [Google Scholar] [CrossRef] - Quan, H.T.; Wang, Y.D.; Liu, Y.X.; Sun, C.P.; Nori, F. Maxwell’s demon assisted thermodynamic cycle in superconducting quantum circuits. Phys. Rev. Lett.
**2006**, 97, 180402. [Google Scholar] [CrossRef] [PubMed] - Del Rio, L.; Aberg, J.; Renner, R.; Dahlsten, O.; Vedral, V. The Thermodynamic Meaning of Negative Entropy. Nature
**2011**, 474, 61–63. [Google Scholar] [PubMed] - Plesch, M.; Dahlsten, O.; Goold, J.; Vedral, V. Comment on “Quantum Szilard Engine”. Phys. Rev. Lett.
**2013**, 111, 188901. [Google Scholar] [CrossRef] [PubMed] - Funo, K.; Watanabe, Y.; Ueda, M. Thermodynamic work gain from entanglement. Phys. Rev. A
**2013**, 88, 052319. [Google Scholar] [CrossRef] - Piechocinska, B. Information erasure. Phys. Rev. A
**2000**, 61, 062314. [Google Scholar] [CrossRef] - Zhou, Y.; Segal, D. Minimal model of a heat engine: Information theory approach. Phys. Rev. E
**2010**, 82, 011120. [Google Scholar] [CrossRef] [PubMed] - Lloyd, S. Quantum-mechanical Maxwell’s demon. Phys. Rev. A
**1997**, 56, 3374–3382. [Google Scholar] [CrossRef] - Vidrighin, M.D.; Dahlsten, O.; Barbieri, M.; Kim, M.S.; Vedral, V.; Walmsley, I.A. Photonic Maxwell’s Demon. Phys. Rev. Lett.
**2016**, 116, 050401. [Google Scholar] [CrossRef] [PubMed] - Oppenheim, J.; Horodecki, M.; Horodecki, P.; Horodecki, R. Thermodynamical approach to quantifying quantum correlations. Phys. Rev. Lett.
**2002**, 89, 180402. [Google Scholar] [CrossRef] [PubMed] - Park, J.; Kim, K.; Sagawa, T.; Kim, S. Heat Engine Driven by Purely Quantum Information. Phys. Rev. Lett.
**2013**. [Google Scholar] [CrossRef] [PubMed] - Ollivier, H.; Zurek, W. Quantum discord: A measure of the quantumness of correlations. Phys. Rev. Lett.
**2002**, 88, 017901. [Google Scholar] [CrossRef] [PubMed] - Zurek, W.H. Quantum discord and Maxwell’s demons. Phys. Rev. A
**2003**, 67, 012320. [Google Scholar] [CrossRef] - Hasegawa, H.; Ishikawa, J.; Takara, K.; Driebe, D. Generalization of the second law for a nonequilibrium initial state. Phys. Lett. A
**2010**, 374. [Google Scholar] [CrossRef] - Vedral, V. The role of relative entropy in quantum information theory. Rev. Mod. Phys.
**2002**, 74, 197–234. [Google Scholar] [CrossRef] - Sagawa, T. Second Law-Like Inequalities with Quantum Relative Entropy: An Introduction. Stat. Mech.
**2012**. [Google Scholar] - Brandao, F.; Horodecki, M.; Ng, N.; Oppenheim, J.; Wehner, S. The second laws of quantum thermodynamics. Proc. Natl. Acad. Sci. USA
**2015**, 112, 3275–3279. [Google Scholar] [CrossRef] [PubMed] - Zheng, Y.; Poletti, D. Quantum statistics and the performance of engine cycles. Phys. Rev. E
**2015**, 92, 012110. [Google Scholar] [CrossRef] [PubMed] - Jaramillo, J.; Beau, M.; del Campo, A. Quantum supremacy of many-particle thermal machines. New J. Phys.
**2016**, 18, 075019. [Google Scholar] [CrossRef] - Beau, M.; Jaramillo, J.; del Campo, A. Scaling-up quantum heat engines efficiently via shortcuts to adiabaticity. Entropy
**2016**, 18, 168. [Google Scholar] [CrossRef] - Jeon, H.J.; Kim, S.W. Optimal work of the quantum Szilard engine under isothermal processes with inevitable irreversibility. New J. Phys.
**2016**, 18, 043002. [Google Scholar] [CrossRef] - Kosloff, R.; Feldmann, T. Optimal performance of reciprocating demagnetization quantum refrigerators. Phys. Rev. E
**2010**, 82, 011134. [Google Scholar] [CrossRef] [PubMed] - Beretta, G.P. Quantum thermodynamic Carnot and Otto-like cycles for a two-level system. Europhys. Lett.
**2012**, 99. [Google Scholar] [CrossRef] - Gordon, G.; Bensky, G.; Gelbwaser-Klimovsky, D.; Rao, D.D.B.; Erez, N.; Kurizki, G. Cooling down quantum bits on ultrashort time scales. New J. Phys.
**2009**, 11, 123025. [Google Scholar] [CrossRef] - Dahlsten, O.C.O.; Renner, R.; Rieper, E.; Vedral, V. Inadequacy of von Neumann entropy for characterizing extractable work. New J. Phys.
**2011**, 13, 053015. [Google Scholar] [CrossRef] - Horodecki, M.; Oppenheim, J. Fundamental Limitations for Quantum and Nano Thermodynamics. Nat. Commum.
**2011**. [Google Scholar] - Egloff, D.; Dahlsten, O.C.; Renner, R.; Vedral, V. Laws of Thermodynamics beyond the von Neumann Regime.
**2013**. [Google Scholar] - Hotta, M. A protocol for quantum energy distribution. Phys. Lett. A
**2008**, 372, 5671–5676. [Google Scholar] [CrossRef] - Hotta, M. Quantum energy teleportation with trapped ions. Phys. Rev. A
**2009**, 80, 042323. [Google Scholar] [CrossRef] - Trevison, J.; Hotta, M. Quantum energy teleportation across a three-spin Ising chain in a Gibbs state. J. Phys. A Math. Theor.
**2015**, 48, 175302. [Google Scholar] [CrossRef] - Ma, X.; Herbst, T.; Scheidl, T.; Wang, D.; Kropatschek, S.; Naylor, W.; Wittmann, B.; Mech, A.; Kofler, J.; Anisimova, E.; et al. Quantum teleportation over 143 kilometres using active feed-forward. Nature
**2012**, 489, 269–273. [Google Scholar] [CrossRef] [PubMed] - Herbst, T.; Scheidl, T.; Fink, M.; Handsteiner, J.; Wittmann, B.; Ursin, R.; Zeilinger, A. Teleportation of entanglement over 143 km. Proc. Natl. Acad. Sci. USA
**2015**, 112, 14202–14205. [Google Scholar] [CrossRef] [PubMed] - Brandão, F.G.S.L.; Horodecki, M.; Oppenheim, J.; Renes, J.M.; Spekkens, R.W. Resource theory of quantum states out of thermal equilibrium. Phys. Rev. Lett.
**2013**, 111, 250404. [Google Scholar] [CrossRef] [PubMed] - Horodecki, M.; Oppenheim, J. Fundamental limitations for quantum and nanoscale thermodynamics. Nat. Commun.
**2013**, 4. [Google Scholar] [CrossRef] [PubMed] - Sagawa, T.; Ueda, M. Minimal energy cost for thermodynamic information processing: Measurement and information erasure. Phys. Rev. Lett.
**2009**, 102, 250602. [Google Scholar] [CrossRef] [PubMed] - De Liberato, S.; Ueda, M. Carnot’s theorem for nonthermal stationary reservoirs. Phys. Rev. E
**2011**, 84, 051122. [Google Scholar] [CrossRef] [PubMed] - Holevo, A.S. The capacity of quantum channel with general signal states. IEEE Trans. Inf. Theory
**1998**, 44, 269–273. [Google Scholar] [CrossRef] - Schumacher, B.; Westmoreland, M.D. Sending classical information via noisy quantum channels. Phys. Rev. A
**1997**, 56, 131–138. [Google Scholar] [CrossRef] - Wilde, M.M. Quantum Information Theory; Cambridge University Press: Cambridge, UK, 2013. [Google Scholar]

**Figure 1.**One particle Szilard cylinder engine; a measurement is carried out to determine whether the particle is in the $\left|L\right.\u232a$ or $\left|R\right.\u232a$ state and the result is stored in the $\left|\ell \right.\u232a$ or $\left|r\right.\u232a$ state of an indicator which, in turn, determines whether the mechanical plunder is attached to the left or right end of the cable depicted in the figure. The work stored in the potential energy of the plunder after full expansion of the barrier in the cylinder is ${k}_{B}\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}T$, and is exactly equal to the Landauer’s work that would be needed to reset the indicator before the beginning of the next cycle. If the system works as a QIHE, instead of this energy, a fresh entropy-free indicator bit is supplied.

**Figure 2.**Magnetic Quantum Information Heat Engine; a spin-$\frac{1}{2}$ particle S lies in the magnetic field generated by an electrical current $I(t)$ circulating through a coil C. An ancilla A is used to measure the z component of the magnetic moment of S; the result determines the value of the magnetic field generated by $I(t)$. Then, the field is gradually turned off, while S keeps in thermal equilibrium with a reservoir $R(T)$ at temperature T. At the end of the process, an energy W is stored at the electrical battery B; its value is $W={k}_{B}\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}T$, on account of the increase of entropy of S, which enters the isothermal process with zero entropy and exits completely depolarized. Again, this energy is equal to the Landauer’s energy needed to reset the ancilla for the next cycle. If the system works as a QIHE, instead of this energy, a fresh entropy-free ancilla bit is supplied.

**Figure 3.**Part (

**a**) represents a way of supplying energy to a remote station at temperature ${T}_{2}$, consisting of sending physical systems in a quantum state ${\rho}_{i}$ whose entropy increases after fueling a QIHE and return as completely unpolarized states. As an example, photons can be sent to the remote station under a particular polarization and return completely unpolarized. The extracted work is ${W}_{2}\phantom{\rule{0.166667em}{0ex}}=\phantom{\rule{0.166667em}{0ex}}{k}_{B}\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}{T}_{2}$; In (

**b**), a remote Carnot cycle is depicted, where entropy is interchanged between the primary station at temperature ${T}_{1}$, where entropy is pumped out of the traveling physical system at a work cost ${W}_{1}\phantom{\rule{0.166667em}{0ex}}=\phantom{\rule{0.166667em}{0ex}}{k}_{B}\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}{T}_{1}$ , and the remote station. In this scenario, the net work gain per transmitted qubit is $W={W}_{2}-{W}_{1}=\phantom{\rule{0.166667em}{0ex}}{k}_{B}\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}(\phantom{\rule{0.166667em}{0ex}}{T}_{2}-{T}_{1})$ and, taking into account that the heat taken from ${T}_{2}$ is ${Q}_{2}\phantom{\rule{0.166667em}{0ex}}=\phantom{\rule{0.166667em}{0ex}}{k}_{B}\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}{T}_{2}$, it follows that $W=\phantom{\rule{0.166667em}{0ex}}{Q}_{2}\phantom{\rule{0.166667em}{0ex}}(\phantom{\rule{0.166667em}{0ex}}1-\frac{{T}_{1}}{{T}_{2}}),$ which is the standard result for Carnot cycles.

**Figure 4.**The source P sends ${\rho}_{{A}_{1}{A}_{2}{A}_{3}}$ states to remote systems ${A}_{1},{A}_{2},{A}_{3}$.

**Figure 5.**When some source of quantum states is used to convey classical information, it may also serve as an ancilla to extract work from a thermal source. Equation (20) sets a mutual limitation for both functions. This figure represents a distribution of the functionality of a source $\{{\rho}_{a},{p}_{a}\}$ per transmitted letter between energy conversion $\mathcal{E}$ (hatched), communication $\mathcal{C}$ (white) and a useless part $\u2329{S}_{a}\u232a$ (gray), showing that they add up to $\mathcal{M}$.

**Figure 6.**Pictorial view of the intuitive idea behind the refactorization process described in the main text. A codeword is a sequence of L letters and, accordingly, is an element of a ${2}^{L\phantom{\rule{0.166667em}{0ex}}\mathcal{M}}$-dimensional Hilbert space ${\mathcal{H}}_{L}$. Codewords are not evenly distributed in ${\mathcal{H}}_{L}$, but are concentrated in a typical subspace Λ of dimension ${d}_{\Lambda}$. After enlarging ${\mathcal{H}}_{L}$ by a tensor product of the codewords with a pure state ${\left|0\right.\u232a}_{D}$ of an ancillary ${d}_{\Lambda}$-dimensional system D, we have a bigger system whose states are still concentrated in a ${d}_{\Lambda}$-dimensional subspace. A unitary transformation can always be found to map this subspace into the subspace defined by the tensor product of a pure state ${\left|0\right.\u232a}_{L}\in {\mathcal{H}}_{L}$ and ${\mathcal{H}}_{D}$. This space is factorizable; the first part is fed into a QIHE and the second part undergoes the decoding process to extract the information sent from the emitter.

**Figure 7.**Schematic view of the process described in Section 5 for the simultaneous extraction of work and transmission of messages. There is a source of copies of a physical system M available to user A (Alice). Copies are in one of a predefined set of states ${\rho}_{a}$ (letters), each with a probability ${p}_{a}$. Alice can arrange blocks of L copies in predefined codewords, which have been previously agreed with user B (Bob). The relative frequencies expected for each letter must follow the probability distribution. When the codeword reaches Bob, it undergoes a tensor product with a pure state ${\left|0\right.\u232a}_{D}$ of an ancillary system D whose dimension is equal to that of the typical subspace Λ. The enlarged codeword then undergoes a unitary transformation U which, with at least $1-\u03f5$ probability, factorizes it into two parts; one of them is a pure state ${\left|0\right.\u232a}_{L}$ in a ${2}^{L\mathcal{M}}$-dimensional space. The other factor is equivalent to the projection of the codeword on the typical space Λ, which can be further decoded to recover the original message. The state ${\left|0\right.\u232a}_{L}$ can be fed to a QIHE (QIHE${}_{1}$) to extract a work ${W}_{1}={k}_{B}\phantom{\rule{0.166667em}{0ex}}T\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}\mathcal{M}\phantom{\rule{0.166667em}{0ex}}L$. Part of it, ${W}_{D}={k}_{B}\phantom{\rule{0.166667em}{0ex}}T\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}{log}_{2}{d}_{\Lambda}$, has to be used to operate another QIHE (QIHE${}_{2}$) acting reversely to generate a pure state ${\left|0\right.\u232a}_{D}$ out of completely depolarized systems.

**Figure 8.**Graphical representation of the mutual limitation between $\mathcal{E}$ (extractable work per letter) and $\mathcal{C}$ (communication bits per letter) in the asymptotic limit. The hatched area contains the achievable values for $\mathcal{E},\phantom{\rule{0.166667em}{0ex}}\mathcal{C}$. The maximum value of $\mathcal{C}$ is Holevo’s bound $\chi :=S({\rho}_{B})-\u2329\phantom{\rule{0.166667em}{0ex}}{S}_{a}\phantom{\rule{0.166667em}{0ex}}\u232a$. If Alice and Bob agree on reducing $\mathcal{C}$ below this value, a higher value for $\mathcal{E}$ can be achieved, with a maximum of ${\mathcal{E}}_{M}:={k}_{B}\phantom{\rule{0.166667em}{0ex}}T\phantom{\rule{0.166667em}{0ex}}(ln2)\phantom{\rule{0.166667em}{0ex}}\left(\mathcal{M}-\u2329\phantom{\rule{0.166667em}{0ex}}{S}_{a}\phantom{\rule{0.166667em}{0ex}}\u232a\right)$. The blue line represents the case when the letters are orthogonal pure states with equal probabilities. This is the situation which offers maximum possibilities to the users.

© 2016 by the authors; licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC-BY) license (http://creativecommons.org/licenses/by/4.0/).