A quantum Szilard engine without heat from a thermal reservoir

We study a quantum Szilard engine that is not powered by heat drawn from a thermal reservoir, but rather by projective measurements. The engine is constituted of a system $\mathcal{S}$, a weight $\mathcal{W}$, and a Maxwell demon $\mathcal{D}$, and extracts work via measurement-assisted feedback control. By imposing natural constraints on the measurement and feedback processes, such as energy conservation and leaving the memory of the demon intact, we show that while the engine can function without heat from a thermal reservoir, it must give up at least one of the following features that are satisfied by a standard Szilard engine: (i) repeatability of measurements; (ii) invariant weight entropy; or (iii) positive work extraction for all measurement outcomes. This result is shown to be a consequence of the Wigner-Araki-Yanase (WAY) theorem, which imposes restrictions on the observables that can be measured under additive conservation laws. This observation is a first-step towards developing"second-law-like"relations for measurement-assisted feedback control beyond thermality.


INTRODUCTION
The possibility of extracting work from a system that is in thermal equilibrium, by means of measurementassisted feedback control [1,2], was first introduced by Maxwell [3,4]. Seemingly violating the second law of thermodynamics, this observation sparked an intense debate, with a key contribution coming from Leo Szilard [5]. Szilard envisioned an engine where the system, S, is a single particle in a box of volume V . Maxwell's demon, D, extracts work from the system by performing two operations, namely, measurement and feedback. During the measurement stage, the demon places a frictionless partition inside the box, thus dividing it into two volumes V L and V R . Thereafter, the demon measures on which side the particle is located. During the feedback stage, conditional on the particle being found on the right (left) side of the partition, the demon attaches a weight-and-pulley mechanism to the right (left) of the partition so that, as the particle collides with the partition, the weight is elevated. The increase in the weight's gravitational potential energy is identified as the extracted work. This is shown schematically in Fig. 1.
By considering an infinite ensemble of such boxes, the average state of the particle can be interpreted as being an ideal gas occupying volume V x for x ∈ {L, R} which, after feedback, "expands" to volume V . If the box is in thermal contact with a single reservoir R of temperature T , and the gas expands quasistatically, the engine will extract W x = K B T V Vx dV /V = K B T ln(V /V x ) units of work, where K B is Boltzmann's constant. This is of course an average quantity of work, taken over the infinite ensemble of boxes. Moreover, the source of the extracted work is the heat drawn from the thermal reservoir. As the (average) state of the system at the start and end of the process is the same -an ideal gas occupying volume V -the FIG. 1: Szilard's engine. The demon, D, places a partition inside a box containing a single particle. This is the system S. During the measurement stage the demon measures the system and determines that the particle is on the right (left) hand side. This is stored in the demon's memory as the state R (L). During the feedback stage, the demon attaches a weight W to the partition via a pulley mechanism placed on the right (left) hand side. As the particle collides with the partition, moving it to the left (right), the weight is elevated and thus work is extracted. Each time the particle collides with the walls, it exchanges energy with the thermal reservoir, R. As such, the source of work is the heat drawn from the reservoir.
Szilard engine is in apparent violation of the Kelvin statement of the second law; it is a cyclically operating device, the sole effect of which is to absorb energy in the form of heat from a single thermal reservoir and to produce an equal amount of work [6].
As shown by Penrose and Bennett [7][8][9], one may salvage the second law by observing that the demon is itself a physical entity, whose memory is altered by the measuring process. In order to make the engine cyclical the demon's memory must be returned to its initial configuration, i.e., the demon's memory must be "reset" or "erased". If the erasure process is conducted by means of an interaction with the same ther-mal reservoir, it will require an average work cost no less than the average extracted work, which is dissipated as heat to the reservoir [10][11][12]; we may never win in the long run.
In recent years, much attention has been paid to the interplay between quantum theory and thermodynamics [13][14][15][16][17][18][19][20][21][22][23]. This has included the extension of work extraction through feedback control to the quantum regime, culminating in both theoretical [24][25][26][27][28][29] and experimental [30,31] investigations. Of particular interest to our discussion is the work presented in [32,33], wherein the authors consider the possibility of a Maxwell demon engine that functions in thermal isolation. Here, the source of work can no longer be identified as heat from a thermal reservoir, but rather as the energetic changes due to projective measurements. Such quantum measurements, however, ultimately result from a physical interaction between the system to be measured, and the measuring apparatus; in the case of a Szilard engine, the measuring apparatus is the demon's memory. It stands to reason, therefore, that energetic considerations come to bear on the measuring process [34][35][36][37][38], which will pose limitations on the performance of Szilard engines that, in lieu of a thermal reservoir, draw power from projective measurements.
We recall from the classical Szilard engine that hidden entropy sinks, when the demon's memory is not explicitly accounted for, allow for a violation of the second law. Similarly, hidden work sources involved in the measuring process can also allow us to "cheat". Consequently, a constraint of primary importance that must be imposed on the measuring process of a Szilard engine is energy conservation; if the energy of the system is increased by projective measurements, the demon's energy must decrease in kind. A central result from quantum measurement theory that is relevant to us is the Wigner-Araki-Yanase theorem [39][40][41][42][43][44] which, under additive conservation laws, will limit the observables that can be measured. Using this, we shall show that while a Szilard engine can be powered by projective measurements instead of heat from a reservoir, it will have to give up at least one of three features that are present in the classical Szilard engine. The three features of the classical Szilard engine in question are: Feature 1. The measurement is repeatable. If the demon measures the box and finds that the particle was on the right (left) hand side, a subsequent measurement would reveal that the particle is on the right (left) hand side with certainty. This allows for the interpretation that, after the measurement has been completed, the system "possesses" the revealed value. Feature 2. The weight's entropy does not change as a result of work extraction. Work is extracted by raising the weight, thus increasing its gravitational potential energy. In general, the height of the weight's center of mass will be a fluctuating quantity, with an uncertainty ∆h. However, ∆h does not change as a result of work extraction. In other words, the weight is neither "cooled" nor "heated" as it is elevated. Feature 3. The engine works reliably -the work extracted is strictly positive for all measurement outcomes. Whether the particle is on the right or left hand side of the box, the extracted work has the value

MODELING A QUANTUM SZILARD ENGINE
A general quantum Szilard engine is constituted of four subsystems: a system S; a demon D; a weight W; and a thermal reservoir R.  [45,46] and [29,38] that it includes respectively the weight and the demon's memory within the quantum description. As with the classical Szilard engine, each cycle of our quantum Szilard engine involves two stages, namely, measurement and feedback. Before D can perform measurements in the next cycle, its memory must first be erased. This is achieved by an appropriate interaction with R. As the state of S can be different at the end of the cycle, then unlike the classical Szilard engine, the quantum Szilard engine is, strictly speaking, not cyclical. However, as will be shown, such non-cyclicality will not result in a violation of the second law.
All Szilard engines must satisfy the following two requirements. Here, we shall state them colloquially, but will offer mathematically precise formulations in the next two subsections.

Requirement 1.
Both the measuring and feedback processes must be energy conserving on the total system.
This is necessary for all work sources to be explicitly accounted for; if either the measuring or feedback process does not conserve the energy of the total system, then it will require work from an outside source.

FIG. 2:
The circuit model of measurement-assisted work extraction, without heat from the thermal reservoir. W, S, D and R are initially prepared in states ρW , ρS , |ψ , and τ β R respectively. (I) Measurement: First, S and D are coupled by the joint premeasurement unitary U M . This correlates the two systems so that the measurement outcomes of the observable MS on S, namely x ∈ X , are "stored" in D's memory as the eigenstates of an observable ZD. These are the states {|ψx } x∈X . The system's post-measurement state |φx will be classically correlated with the demon memory state |ψx , occurring with a probability p M ρ S (x). (II) Feedback: The global feedback unitary operator V then couples W and S such that, conditional on the outcome x, they evolve by the CPTP maps Λ * x and Λx, respectively. (III) Erasure: At the end of feedback, the demon's memory is erased by coupling to the thermal reservoir R with the unitary interaction U R .

Requirement 2.
If the demon's memory is in a state corresponding to a measurement outcome x, the feedback process must result in a closed evolution of the compound of system plus weight (and reservoir, if it is present). After feedback, the demon's memory must remain in the same state. This is necessary in order to conform with the functioning of the classical Szilard engine described above. There, upon discovering the particle's location, the demon arranges the weight-and-pulley mechanism accordingly so as to facilitate work extraction. After making its arrangements, the weight, system, and reservoir evolve as a closed, mechanically isolated system, while the demon's memory is unaltered.
In the subsequent sections, we shall depart from the traditional set-up of the Szilard engine by altering the feedback stage; this will no longer involve R, and the source of work will not be identified as heat from the reservoir, but rather the internal energy of the compound S + D. Each cycle of work extraction is depicted schematically in Fig. 2. Our work is similar in spirit to that of [33], except that we model both the weight and demon's memory as explicit quantum systems, and impose energy conservation on the measuring process.

Measurement stage
During the measurement stage, the demon D performs a measurement on S, and by doing so prepares it in a state that is correlated with the measurement outcome. For now, we will restrict ourselves to standard, non-degenerate projective measurements, and shall generalise to degenerate observables in Appendix (C 2). If H S C d , the observable can be represented as the self-adjoint operator where {|φ x } x∈X can be any set of vectors on H S , which do not have to be orthogonal; and is an observable on D with each outcome x corresponding to the same for M S . Here, P x D is a projection operator of arbitrary rank, such that for all For an arbitrary initial state ρ S of S, the total state of S + D after premeasurement is In order for the measuring process to leave a classical record of outcomes, the demon's memory must be objectified [52]. That is to say, after coupling S with D by the premeasurement unitary as defined by Eq. (2.2), thus preparing the entangled state ρ M S+D as defined in Eq. (2.4), we must prepare the statistical mixture is the Born rule probability of observing outcome x, given a measurement of M S on S, prepared in state , as given by Eq. (2.6). Moreover, {|φ x } x∈X can be interpreted as the set of post-measurement states on S. We may objectify D by performing an unselective Lüders measurement of Z D [50], as defined in Eq. (2.3), on D. Alternatively, as shown in [38], D can be objectified by unitarily coupling it with an auxiliary system. In the subsequent section we show that imposing Requirement 2 on the feedback process implies that it does not matter whether we objectify the demon before or after the feedback stage.

Definition 1. Consider a system with Hilbert space H and Hamiltonian H. The completely positive, trace preserving (CPTP) map E is said to conserve energy if
for all states ρ on H. Proof. The measuring process consists of premeasurement and objectification. Given Definition 1, these are energy conserving if To show that {|φ x } x∈X must be eigenvectors of H S if the measurement is repeatable, we use the WAY theorem. The WAY theorem can be stated thusly: let the premeasurement unitary operator in the measurement We refer to [42] for a proof. If M S commutes with H S , then they will share the same eigenvectors.

Feedback stage
During the feedback stage, the demon brings the system in contact with the weight, W, which is initially prepared in state ρ W . Conforming with Requirement 2, the demon then evolves the compound system of W + S by the unitary operator U x , which is chosen conditional on the measurement outcome x ∈ X . We wish to determine the global feedback unitary operator V that achieves this.  Proof. Requirement 2 states that if the demon is in a state corresponding to a measurement outcome x, the system and weight must undergo a closed evolution. Consequently, V must satisfy for all x ∈ X and |Ψ ∈ H W ⊗ H S , where |ψ x is an eigenstate of the demon observable Z D as defined in Eq. (2.3). This is clearly satisfied if V is of the form Eq. (2.9). To prove only if, we note that Eq. (2.10) implies that for all x ∈ X , where P x D is a projection on the subspace of H D that contains |ψ x . Therefore, it follows that Proof. The compound of S + D after premeasurement and objectification is given by Eq. (2.5). After feedback, the state of the compound W + S + D is If the feedback unitary is of the form Eq. (2.9), then for all x ∈ X , and so we have (2.14) The second line corresponds to performing feedback after premeasurement, but before objectification has occurred. We Proof. In order for V as defined by Eq. (2.9) to conserve the total energy, by Definition Given an arbitrary pair of states |ψ x ∈ P x D (H D ) and |ψ y ∈ P y D (H D ), such that x = y, and referring to the right hand and left hand sides of Eq. (2.16) as RHS and LHS, respectively, we see that (2.17) However, given Eq. (2.16), we must have ψ x |LHS|ψ y = ψ x |RHS|ψ y . This is satisfied if either: for all maximal subsets X ⊆ X such that, given all It is easy to verify that (a) is impossible, and so only option (b) is available. This concludes the proof of the only if portion of the Lemma.
For each measurement outcome x, as a result of the global feedback unitary operator V given in Eq. (2.9), S and W undergo the complementary CPTP maps where we recall that {|φ x } x∈X are the postmeasurement states of S.
We now wish to define the (average) work that is transferred from S into W, for each measurement outcome, as a result of feedback. To this end, we use the following definition.

Definition 2.
For each measurement outcome x ∈ X , the average work transferred into the weight is defined as This definition has been argued for previously in [53,54]. Even though the thermal reservoir is not involved during feedback, it is still part of the thermodynamic context of the Szilard engine. As such, work can be extracted from both the system, and the weight, by letting them interact appropriately with the reservoir. Therefore, the quantifier of work transfer must be temperature dependent, in the form of free energy difference, in order to : (i) ensure consistency with the "internal" description of work extraction from S, wherein the weight is not included in the quantum description; and (ii) avoid violation of the second law. For a detailed argument we refer the reader to Appendix (A). We note that an alternative definition for work transfer to the weight is the increase in the internal energy of W.
Proof. The work transferred into W is, by Definition 2 and Lemma 4, given as If the Szilard engine satisfies Feature 2, then by Definition 3 we have Eq. (2.23).

THE IMPOSSIBILITY THEOREM
We are now ready to prove a main result of this paper. The impossibility theorem is illustrated by Penrose's impossible triangle in Fig. 3 Let the engine satisfy Feature 2 and Feature 3. By Lemma 5, for all x ∈ X , the work is bounded as for all x ∈ X . Therefore, the post-measurement states {|φ x } x∈X cannot be the eigenvectors of H S . By Lemma 2, Feature 1 cannot be satisfied.
Theorem 1, simply stated, says that if the system is measured with respect to a non-degenerate observable, in a repeatable and energy conserving fashion, it must be projected onto the eigenstates of H S . Consequently, if we do not allow the weight's entropy to decrease, then for the outcome that projects the system onto the groundstate of H S , zero work can be extracted.
In Appendix (B), we illustrate the incompatibility between the three features by looking at a concrete model where both S and D are qubits, while W is a harmonic oscillator. In Appendix (C) we show that Theorem 1 can be circumvented if: (i) the thermal reservoir is involved during the feedback stage so that, just as in the classical Szilard engine, the source of work will be heat drawn from the reservoir; or (ii) the observable measured on S is degenerate and is measured "inefficiently". Fig. 2 depicts a single cycle of the Szilard engine under consideration. In Appendix (D) we evaluate the net work extraction per cycle, wherein we do not distinguish between measurement outcomes. Labeling the "coarse-grained" work transferred to the weight as W X := F (ρ W ) − F (ρ W ), and the work cost of erasure as W R , the net coarse-grained work is shown to obey the inequality

NET WORK EXTRACTION PER CYCLE
where ρ S and ρ W are the average states of S and W at the end of the cycle, respectively, obtained by sampling the states Λ x (φ x ) and Λ * x (ρ W ) by the probability distribution p M ρ S (x) as defined by Eq. (2.6). We note that Eq. (4.1) holds irrespective of whether the Szilard engine satisfies any of Feature 1, Feature 2, or Feature 3. Moreover, we note that the coarse-grained work is generally smaller than the average work, i.e., where W x is defined in Eq. (2.20). While the coarse-grained work extraction obeys the second law, the average work will not; if ρ S is thermal, then W net To be sure, the second law is a statistical statement, held true precisely when we do not have access to the individual measurement outcomes. Let us recall the definition for work transferred into the weight when it transforms as ρ W → Λ * x (ρ W ), given by Definition 2 and articulated in Appendix (A). This was given operational meaning as being the maximum value of work that can be extracted from the weight, by an isothermal process Λ * x (ρ W ) → ρ W involving the reservoir of temperature T . However, if we were to forget the measurement outcomes, then we could not use such information to tailor our process of extracting work from the weight. Indeed, this protocol must be designed with only the average state of the weight in mind. The maximum value of work extractable from the weight, given an isothermal process ρ W → ρ W , is precisely W X .

DISCUSSION
We give a general mathematical description of a quantum Szilard engine that operates in two stages, namely, projective measurement and feedback. In our model, in contradistinction to the classical Szilard engine, the feedback stage does not involve the thermal reservoir. Here, the source of work is the energetic changes due to (non-degenerate) projective measurements. In order to avoid cheating by the inclusion of hidden work sources, we impose energy conservation on the measuring process. As a result of the Wigner-Araki-Yanase theorem, the observables that the demon can measure will be limited to those that commute with the system's Hamiltonian.
We showed that while the Szilard engine, in lieu of a thermal reservoir, can be powered by (nondegenerate) projective measurements, it cannot simultaneously satisfy three features of the classical Szilard engine model; the conjunction of any two will preclude the possibility of the third. These features are: (i) the measurement performed by the demon is repeatable, meaning that conditional on obtaining outcome x, a subsequent measurement of the same observable would yield x with certainty; (ii) the weight's entropy does not change as a result of feedback; and (iii) work extraction is reliable, i.e., is strictly positive for all measurement outcomes. This observation is a first step towards developing "second-law-like" relations in the context of measurement-assisted feedback control beyond thermality. While the second law results from entropic considerations, these "second-law-like" relations would result from energy conservation of unitary interactions that implement measurements.
The Szilard engine here discussed is, strictly speaking, not cyclical; at the end of a cycle of work extraction, the state of the system, ρ S , will not be the same as its initial state, ρ S . For the engine to be made cyclical, therefore, we must have at our disposal an infinite supply of systems with state ρ S such that, at the end of each cycle, the system's state is swapped with one of these. One example of such "free resources" is if ρ S is thermal. Here, we may interpret the closure of the cycle to result from the system being brought to thermal equilibrium with the reservoir.
The strict non-cyclicality of the engine notwithstanding, the statistical second law will not be violated. This is because, when taking the erasure cost of the demon into consideration, the total net work extracted from the system will be bounded by the decrease in its free energy -a quantity that will not be positive if the system is initially at thermal equilibrium. However, this requires a careful consideration of how one should evaluate work when choosing to "forget" the measurement outcomes -precisely the domain where the second law is applicable. As with unselective measurements, the work transferred to the weight when the indvidual measurement outcomes are not distinguished from one another must be defined by how the weight's state changes on average. Indeed, the ex-tractable work from the weight, when the measurement outcomes are forgotten, is smaller than the average value of work, when the measurement outcomes are taken into consideration.
Here we wish to justify defining the work transferred into the weight, as a result of feedback, by Definition 2. To this end, let us first recall a known result from standard non-equilibrium quantum thermodynamics. In the internal description of work extraction, in contradistinction to the external description, the weight is not included in the quantum formalism. Here, the work extracted from a system undergoing a (non-energy conserving) unitary evolution is defined as the decrease in its internal energy. Consequently, if a system S undergoes a transforma- where U is a global unitary operator and τ β R := e −βH R /tr[e −βH R ] is the thermal state of the thermal reservoir R, with β := (K B T ) −1 the inverse temperature, the work extracted obeys the inequality with the equality obtained when the interaction between system and thermal reservoir is "quasi-static" [56].
Therefore, Definition 2 can be justified with the following argument. When the weight interacts with the system, thereby transforming as ρ W → Λ * x (ρ W ), where Λ * x is given by Eq. (2.19), work is transferred to it. We may then perform the reverse transformation on the weight, i.e., Λ * x (ρ W ) → ρ W , by an appropriate unitary interaction with the thermal reservoir, so as to extract this work. The work extracted here will be in the internal description, as there is no second weight into which the work is being transferred. By Eq. (A.1), the work we may extract obeys the inequality Clearly, the work transferred into the weight must be at least as great as the work that can be extracted from the weight, i.e., A natural assumption to make is that, since the process of transferring work into the weight is independent of the process by which work is extracted from the weight, the right hand side of the above equation should be replaced by the upper bound of Eq. (A.2). If we also take the view that transferring more work into the weight than can possibly be extracted from it is physically meaningless, we arrive at Definition 2.
We also note that Definition 2 is consistent with the internal description of work from the system S, and that it satisfies the second law.
Lemma 6. Let the system and weight be initially prepared in the states ρ S and ρ W , respectively. Let the two systems evolve by a unitary operator U that conserves the total Hamiltonian H W + H S , and induces the complementary CPTP maps Λ on S and Λ * on W. Then the work transferred into the weight, W , as defined by Definition 2, will never exceed the maximum work that can be directly extracted from the system by the process ρ S → Λ(ρ S ), in the internal description, and using a single thermal reservoir at temperature T . If ρ S is thermal, then W cannot be positive.
Proof. By Definition 2, energy conservation of U , and the subadditivity of the von-Neumann entropy, we have By Eq. (A.1), we see that W is never greater than the upper bound of W ext (ρ S → Λ[ρ S ]). Moreover, if the system is initially in the thermal state ρ S = ρ β S := e −βH S /tr[e −βH S ], we have where S(ρ σ) := tr[ρ(ln(ρ) − ln(σ))] is the entropy of ρ relative to σ, which is a non-negative number and vanishes if and only if ρ = σ. Therefore, W 0.

Appendix B: An example with qubits
As an illustrative example, consider the simple case where S and D are both qubits, with the Hamiltonians , Furthermore, let the initial state of the system be while that of D is |ψ . We wish to measure a two- Finally, in order for the engine to satisfy Requirement 1 and Requirement 2 for the feedback process, we choose the global feedback unitary operator Following [46], we will use a harmonic oscillator of frequency ω as the weight, with the Hamiltonian Consequently, the conditional work extraction unitaries on W + S, namely, U ± , can be constructed as where f := max{1, a1 − b1} and g := max{1, b1 − a1}, with a, b ∈ {±}. Here, G ± := |ϕ − φ ± | + |ϕ + φ ⊥ ± | is a unitary operator on S, such that φ ± |φ ⊥ ± = 0. Therefore, when the system undergoes a transition |ϕ + → |ϕ − , the weight eigenstates are shifted up by one quantum, and vice versa.
It can be easily verified that [U ± , H W +H S ] − = O, even when |φ ± are not eigenstates of the system Hamiltonian. If the weight is initialised in a pure state ρ W := P W [Ψ], where |Ψ is an equal superposition of N Hamiltonian eigenstates, then it can function as a work storage device. This is a result of the energy-translational invariance of |Ψ ; adding or removing one quantum is identical to a coordinate transformation n → n + 1 and n → n − 1, respectively. Moreover, if |φ ± are the eigenvectors of H S , then irrespective of N the resulting dynamics on both S and W will be unitary. As such, Feature 2 will be satisfied in this case. This is not so when |φ ± are superpositions of H S eigenvectors. For example, in the case of |φ ± = 1 √ 2 (|ϕ + ± |ϕ − ), we have (B.11) In the limit as N tends to infinity, the increase in the weight's entropy can be made arbitrarily small, thus approximately satisfying Feature 2.
We now look at two possible implementations of measurement-assisted work extraction, labeled I and II. In I, the observable M S is measured repeatably, thus satisfying Feature 1, while in II this is not the case. As the weight is initially pure, its entropy can never decrease. Therefore, Feature 3 is satisfied in II, but not in I.

Example I: repeatable measurement
Let |φ ± = |ϕ ± , thus satisfying Feature 1. Consequently, the state of S + D after premeasurement is Transforming this state with the weight by the global unitary V prepares (B.13) Comparing Eq. (B.12) with Eq. (B.13), we see that, as a result of feedback, the system undergoes the transition |ϕ + → |ϕ − when the demon is in the state |ψ + , resulting in a work extraction of ω. When the demon is in the state |ψ − , on the other hand, the system was already in the groundstate |ϕ − and is left the same, resulting in zero work extraction. Therefore, Feature 3 is not satisfied.

Example II: non-repeatable measurement
Let |φ ± = 1 √ 2 (|ϕ + ± |ϕ − ). Hence, Feature 1 is not satisfied. Consequently, the state of S + D after premeasurement is Transforming this state with the weight by the global unitary V prepares, in the ideal limit of N → ∞, Comparing Eq. (B.14) with Eq. (B.15) we see that, as a result of feedback, the system undergoes the transition 1 √ 2 (|ϕ + ± |ϕ − ) → |ϕ − when the demon is in the states |ψ ± , resulting in a work extraction of ω/2 for both measurement outcomes. Therefore, Feature 3 is satisfied.

Appendix C: Satisfying all three features with either a thermal reservoir, or degenerate observables
There are at least two ways in which Theorem 1 can be circumvented: (i) letting the reservoir R be involved during the feedback stage; and (ii) measure S with a degenerate observable.

Szilard engine with heat from a thermal reservoir
As a simple example, let S be a d-dimensional system, and let R be a system initially prepared in the thermal state 2) The subadditivity of the von-Neumann entropy and its invariance under unitary evolution implies that Recalling that when Feature 2 is satisfied, The final inequality can be saturated when the relative entropy term, , which is a non-negative number, is made vanishingly small. As shown in [12], this can be done if the dimension of H R is chosen to be sufficiently large, and its Hamiltonian spectrum is carefully chosen. As S(Λ x [ϕ x ]) can be positive even when the weight's entropy is not allowed to change, we can always have positive work extraction. This is true even if the post-measurement state |ϕ x is the groundstate of H S . Moreover, if H S is fully degenerate, and Λ x [ϕ x ] = 1 S /d, then the maximum value of W x will be K B T ln(d) for all x ∈ X . If d = 2, this coincides with the work extracted from the classical Szilard engine when the volumes of the left and right side of the partition are identical.

Degenerate observables
Recall that Theorem 1 states that, when Feature 2 is satisfied, then the extracted work will not be positive for the outcome where the post-measurement state coincides with the groundstate of the system Hamiltonian. Here we show that, if the observable M is both degenerate and is measured "inefficiently", then the post-measurement states can always be chosen so as to have more energy than the groundstate of H S , thus allowing for the circumvention of Theorem 1.
For a system S with Hilbert space H S C d such that d > 2, let M S be a degenerate observable such that |X | < d, and {P x S } x∈X is a complete and orthogonal set of projection operators on H S . We label the orthonormal eigenstates of M S as |ϕ α x , where α is a degeneracy label, such that M S |ϕ α x = x|ϕ α x for all α and x. The measurement model for this observable, M = (H D , |ψ , U M , Z D ), will be repeatable if for all x ∈ X , the post-measurement states lie in the support of P x S . Moreover, by the WAY theorem, if M is to be repeatable, given that U M conserves the total Hamiltonian, then P x S must commute with H S for all x ∈ X . Consider the projector P y S whose support contains the groundstate(s) of H S . It follows that for a repeatable measurement, y is the only outcome whose post-measurement state will have support on the groundstate(s) of H S . Therefore, in order to circumvent Theorem 1 we need to show that, for all ρ S , the post-measurement state given outcome y has more energy than the minimum eigenvalue of H S .
We will now look at two repeatable, and energy conserving measurement models for the degenerate observable M S . The first model is a generalisation of a Lüders measurement [51,52]. Here, for some state ρ S , the post-measurement state of outcome y is the groundstate of H S . Consequently, this measurement model will not circumvent Theorem 1. In the second model, we may always ensure that the post-measurement state for outcome y will have more energy than the groundstate, thus circumventing Theorem 1. We show that this is equivalent to coarse-graining the measurement outcomes of a nondegenerate observable, in such a way so as to allow for a repeatable measurement that is also "inefficient".

a. Strong value-correlation measurements
These measurements, just as the standard measurements for non-degenerate observables, have the property that, for any pure state |Ψ ∈ H S , the postmeasurement state for outcome x ∈ X will also be pure. Here, the premeasurement unitary operator is where {|φ α x } α is an orthonormal basis that spans P x S (H S ). The instrument implemented by this measurement model will be where V x is a unitary operator acting on the support of P x S . This instrument has only one Kraus operator, K x = V x P x S , and it is said to result in an "efficient" measurement. If V x = 1, whereby |φ α x = |ϕ α x , we have a Lüders measurement.
If the system is initially in the pure state Therefore, for some state |Ψ , the post-measurement state |Ψ y will be equal to the groundstate of the Hamiltonian. As such, Theorem 1 will not be circumvented.

b. Coarse-grained standard measurements
Let us denote the degenerate eigenstates of Z D as the orthonormal set of vectors {|ψ α x } such that Z D |ψ α x = x|ψ α x for all x and α. The premeasurement unitary operator can then be defined as Comparing with Eq. (2.2), we may see this as a coarsegrained measurement of a standard, non-degenerate observable. Now, the vectors in {|φ α x } α no longer have to be orthonormal. But, they must still be eigenstates of M S with eigenvalue x for the measurement to be repeatable. The instrument implemented by this measurement model will be where V x,α are unitary operators acting on the support of P x S . In contrast to the generalised Lüders measurement discussed previously, this instrument has more than one Kraus operator, and leads to an "inefficient" measurement.
If the system is initially in the pure state Due to the orthogonality of the vectors |ψ α x in Eq. (C.9), for each x and α, the vectors |φ α y can be any superpositions of Hamiltonian eigenstates that live in the support of P y S . So we may simply choose these as the highest energy state within that subspace. Consequently, Theorem 1 will be circumvented.
its interaction with D as τ R , the consequent increase in energy of the reservoir, defined as heat, obeys Landauer's inequality As shown in [12], this bound can be achieved if the reservoir is infinitely large, and its Hamiltonian has a specific spectrum. Furthermore, we note that premeasurement, objectification, and feedback results in a unital CPTP map, which does not decrease the von-Neumann entropy [57,58]. This, together with the subadditivity of the von-Neumann entropy [59], implies that Defining the net coarse-grained work extraction as W net X := W X − W R , by combining Eq. (D.4) and Eq. (D.9) we arrive at the inequality The net average work extraction W net x := W x − W R , on the other hand, obeys the modified inequality (D.11) Therefore, we see that while the coarse-grained work definition of Eq. (D.4) will satisfy the second law, the average work extraction defined in Eq. (D.5) will not; if ρ S is initially thermal, the net coarse-grained work extraction given by Eq. (D.10) will never be positive, whereas the net average work extraction given by Eq. (D.11) could be.