ScholarWorks @ UTRGV ScholarWorks @ UTRGV Quantum Dynamics, Entropy and Quantum Versions of Maxwell’s Quantum Dynamics, Entropy and Quantum Versions of Maxwell’s

Several subjects which reside in the overlap area of quantum mechanics, statistical physics and thermodynamics are investigated in depth. This collection of subjects shares a common domain which is referred to as Maxwell’s demon. The classical version of this idea is introduced, and then, the contribution made by Szilard to the subject is presented. Several demons are considered, and it is shown that to best understand this area, quantum mechanics and the role information plays in it must be appreciated deeply.


Introduction
This is an introduction to the paradox referred to as Maxwell's demon from both the perspective of the second law of thermodynamics and its consequences for quantum dynamics and recent progress in resolving it [1][2][3]. The classical paradox of Maxwell's demon has been around for a century and a half and has had a strong influence on the study of the second law of thermodynamics and statistical mechanics in general in addition to the area of quantum dynamics and information theory. Many new ideas and paradigms have been introduced as a result of this paradox. Maxwell first introduced the idea in one of his books in 1871 as a way of discussing limitations of the second law of thermodynamics [4,5]. Clausius's version of the second law states that, "It is impossible to devise an engine which, working in a cycle, will produce no effect other than the transfer of heat from a colder to a hotter body." In brief, the classical Maxwell's demon has the capacity to separate hot particles, atoms or molecules from cold particles and therefore obtains work from a single heat bath, which seemed to violate the second law of thermodynamics [6,7]. The classical paradox which arose well before quantum mechanics was developed and it will be introduced from the point of view of a physical model. The demon operates a tiny door in a partition that divides a box into two parts of equal volumes and contains a gas in thermal equilibrium, and hence, temperature is uniform over the box. The demon observes the molecules in the left side, and if a molecule is seen approaching the door with speed less than the average speed of the molecules, he opens the door and lets the molecules go right; if he sees one approaching with a speed greater than average, he opens the door to let it move into the left. Once a small temperature difference has been induced between the right and left sides, his action continues to transfer heat from a colder to a hotter region without exerting any work. This violates Clausius's form of the second law of thermodynamics. This process is referred to as temperature demon.
Another type of demon can be imagined which produces a difference in pressure. This is referred to as pressure demon. This demon runs a cycle by making the gas interact with a heat bath at constant temperature after generating a pressure inequality. This cycle converts heat transferred from the bath to work. This violates the second law in terms of the Kelvin form of the second law. Thus, in either case, for either type of demon, based on temperature or pressure, the role of the demon is to decrease the entropy of the whole system in a cyclic process.
It was Szilard who first made some progress subduing the demon [8]. Szilard had the idea of treating the demon's memory or intelligence, as a form of information that could be linked to physics, to thermodynamics in fact. Szilard took a gas consisting of a single molecule, and as a first step, a thin massless adiabatic partition is inserted into the chamber quickly which divides it into two parts of equal volume. The demon measures the position coordinate of the molecule on the left or right sides and records the result for the next step. A mass is attached to the partition on the side where the molecule is found. Using a heat bath to stabilize the temperature T, the demon lets the gas do work W by quasistatic isothermal expansion. The gas returns to its initial state and occupies the whole volume of the chamber. While this takes place, heat Q is extracted from the bath and so W = Q, as it is an isothermal process. The cycle is completed as the extracted heat Q is turned into an equal amount of mechanical work.
During isothermal expansion of the gas then, if k B is Boltzmann's constant, the amount of extracted work is given by the following equation: It may be asked whether it is reasonable to say the one-molecule gas is a normal ideal gas.
Consider an ensemble of one-molecule gases, as it is done in statistical mechanics. By taking averages over the ensemble, calculations will be made as if it were an ideal gas composed of a large number of molecules. By considering the position of the molecule, one is led to its dual interpretation in terms of both thermodynamics and information theory. As a result of the perfect conversion of heat Q into work W, the entropy of the heat bath is reduced by the following: The second law demands an entropy increase of at least the same amount somewhere in order to compensate for this decrease. Szilard attributed this increase to measurement. Although Szilard thought that the demon's memory was important in analyzing the engine, he failed to uncover its role in terms of the second law.

A classical Szilard engine
The first to state clearly that the paradox of Maxwell's demon could be solved by considering the increase in entropy due to memory erasure was Penrose in his well-known book on statistical mechanics [4]. It was later on that Landauer, and independently Bennett, arrived at a similar conclusion [9,10]. Bennett realized that a major result from the thermodynamics of computation by Rolf Landauer could be used to show that a Maxwell's demon could not violate the second law. Information processing must be carried out by some sort of physical system, and thus, it follows that there should be a one-to-one correspondence between logical and physical states. Let us state that logical states can be described as an abstract set of variables on which the task of information processing will be carried out. A reversible process, which means an injective or one-to-one mapping for logical states, corresponds to a reversible physical process. If a correspondence between logical and physical entropies is assumed, it implies that a reversible logical process can be realized physically by a process which is isentropic. For our purposes, an isentropic process is an entropy-preserving process.
On the other hand, a logically irreversible process is a many-to-one mapping and thus noninjective. The mapping cannot be inverted and many initial states correspond to a single resulting state. Memory erasure is a logically irreversible process because many possible states of memory should be in one specific state in order not to carry any information. The specific state after erasure is called standard state. In terms of physical states, a logically irreversible process reduces degrees of freedom of a system, implying an entropy decrease. It was Landauer who realized that logical irreversibility must involve dissipation, and thus, erasure of information in a memory implies entropy increase in the environment. This result has been formulated into a statement that is now called Landauer's erasure principle. Alternatively, Landauer's principle states that although logically reversible computational processes can in principle be performed with arbitrarily little dissipation, erasure is a logically irreversible act that has a threshold entropy production. Landauer then states that for each erased bit, the entropy sent to the environment is at least k B ln (2). A complete thermodynamic analysis of a demon's cyclic operations requires that its memory be brought back to its initial state. The entropy returned to the environment is just large enough to save the second law.
Bennett made another important contribution regarding the physics of information. Measurement can be carried out reversibly without any change in entropy, provided the measuring apparatus is in a standard state. This means that storing information in the memory does not involve the erasure of information previously stored in the same memory. Measurement will be regarded as a process that correlates the memory with the system, which can be achieved reversibly in principle. This process will be considered as one that copies the memory state to another system in a standard state [11].
Since measurement will be taken without energy use, it is dissipation due to erasure that compensates the entropy decrease induced by the demon in Szilard's model. The demon commits the result to memory by establishing the position in the box. The molecule is either on the left (L) or right (R) side, depending on the information it stores. The prescription for erasing the stored information is to remove the partition, insert a piston on the right when the standard memory state is (L) and move it left isothermally at temperature T until the compressed volume is V/2. The resulting state (L) is for both initial states and the information is erased. The erasing process should not depend on the initial state of the memory, and thus, erasure should be independent of the initial memory state. The work invested to compress the volume from V to V/2 is W erasure = k B T ln (2). This is dissipated as heat into the environment, thereby increasing its entropy by k B ln(2), in agreement with Landauer's principle.
It is shown that the erasure work is proportional to the amount of information stored, that is, where p is the probability for the molecule to be in state L and H(p) is the binary Shannon entropy. In other words, suppose a tendency in the frequency of appearance of a particular memory state exists, can we ask what the erasure work is. An unbalanced tendency between L and R can be expressed by the numbers of molecules in each region. Consider only an ideal gas, so removing the partition at the beginning allows the gas an undesired irreversible adiabatic expansion or compression. Let the gases in both parts expand or contract isothermally by making the partition free to move without friction. The gases generate work toward the outside. Let P L , P R and V L denote the pressures in the left and right sides and volume on the left of the partition, respectively. The work done by the gases is given as follows: .
This work can be expressed in terms of the Shannon entropy which is defined to be To do so, transform ln(x) to log 2 (x) by means of the base change formula log 2 (x) = ln(x)/ln(2)to obtain Since the pressures in the left and right are equal, this returns us to the configuration with the partition in the middle. Hence, at least Nk B Tln (2) of work needs to be consumed to set the memory to the standard state. In total, after dividing out N, an amount of work per molecule is invested. Supposing the memory is in the standard state to begin with, W erasure gives a measure of the additional energy required to erase the memory due to its information content. Without violating the second law, the state of the whole system consisting of the heat engine and demon is restored after completing a thermodynamic cycle.

The von Neumann entropy as the quantum entropy
Entropy is not an observable property, and thus, there does not exist an operator with the property that its expectation value in some state would give the entropy. Entropy is a state function. In order to study entropy in the context of quantum systems, it is necessary to give a precise definition of the concept before proceeding [7].
To provide some motivation for this, it may be supposed that the ground state of a quantum system is described by its density matrix ρ. If A is an observable which pertains to the system characterized by ρ, the spectral theorem permits the spectral decomposition of A as where P i is a projection operator onto the state with eigenvalue a i . The probability of obtaining a j in a measurement is given by p j = Tr (ρP j ) = Tr (P j ρ). The uncertainty in a given observable can be expressed by means of the P i through the Shannon entropy, S(p), not to confuse it with von Neumann entropy S N (A).
Definition 3.1. The uncertainty in a collection of possible classical states {a i } with corresponding probability distribution p = p(a i ) is given by its entropy, the Shannon entropy The Shannon information is a good indicator of how much two given observables are correlated. This quantity is inherently classical, as it describes the correlations between single observables. The quantity that is related to the correlations in the overall state as a whole is the von Neumann entropy or mutual information. It is assigned to a state as a whole, so naturally it depends on the density matrix.
Definition 3.2. The von Neumann entropy of a quantum system described by the density matrix ρ is defined to be The von Neumann entropy can also be defined in terms of the base two logarithms. Defined in this way, Eq.
As in the classical instance, property (a) states that entropies add up. The concavity property (b) simply reflects the fact that mixing increases uncertainty. The von Neumann mutual information refers to the correlation between whole subsystems rather than that relating only two variables and it is introduced as follows.
Definition 3.3. The von Neumann mutual information between two subsystems ρ U and ρ V of a joint state ρ UV is defined as follows: This quantity can be interpreted as a distance between two quantum states.
Definition 3.4. The von Neumann relative entropy between two states σ and ρ is defined as follows: The relative entropy expresses how difficult it is to distinguish the state σ from the state ρ.

A quasi-classical erasure process
An example of an erasure process that can be studied in detail is a way to erase classical information encoded in quantum states [6]. It straddles the classical-quantum interface and can be accomplished by thermal randomization. Thermal randomization makes use of the randomness of states in a heat bath, which is in thermal equilibrium. If a heat bath at temperature T and a state, which could represent a message, are brought into contact, the state will approach equilibrium with the heat bath. A message state ρ i changes gradually after an interaction with the heat bath. A sufficient number of collisions make the state indistinguishable from that of the heat bath. In this way, the information that was carried by ρ i is lost irreversibly. The entropy of the whole system necessarily increases.
Suppose each external 'message' state is in a pure state. Before erasure, the whole message consists of an ensemble {p i ,|ϕ i 〉}. Thus, its average state is described by a density operator of the form ρ = ∑ i p i |ϕ i ϕ i |. The process of thermalization brings all states |ϕ i 〉 to the same state, φ in thermal equilibrium at temperature T. Consequently, the density matrix is as follows: The total entropy ΔS erasure is the sum of the entropy change of the message or reference system and of the heat bath: ΔS erasure = ΔS system + ΔS bath . Since the state before erasure is pure and its state after erasure is the same as the heat bath, the minimum entropy change in the reference state is given by the following equation: where S(φ) = − Tr(φln(φ)) is the von Neumann entropy of state φ.
The entropy change in the heat bath is equal to the average heat transfer from the bath to the reference system divided by temperature T, The heat change in the heat bath must agree with that of the system, but with an opposite sign, ΔQ bath = −ΔQ system . When heat transfer is done quasistatically, the mechanical work required for the state change is arbitrarily close to zero. Moreover, energy conservation requires ΔQ system be equal to the change of internal energy of the system, ΔU system . This can be computed as the change of average values of the Hamiltonian Ĥ before and after the erasure process, The Hamiltonian Ĥ can be expressed using Eq. (4.1) as Ĥ = −k B Tln(Zφ). As Z is a trace, it follows from the properties of the trace, converting the natural logarithm to base two that the following result holds Therefore, the required total energy change is given by the following equation: Since the quantum relative entropy satisfies the following inequality the minimum of the entropy change ΔS erasure can be obtained, The minimum corresponding to equality in Eq. (4.8) is achieved by choosing the temperature of the bath and {p i ,|ϕ i 〉} such that ρ = ∑ i p i |ϕ i ϕ i | is the same as the thermal equilibrium state.
Consequently, the minimum entropy increase required for erasure of the classical information which is encoded in quantum states is given by the von Neumann entropy S N (ρ), where ρ is the average state of the system, in place of the Shannon entropy, H(ρ), in the case of information erasure of classical states.

Quantum entanglement and Maxwell's demon
Formally, entanglement is defined as a form of quantum correlation that is not present in any separable states and represents a true type of quantum behavior [12,13]. Entanglement can be approached from the point of view of Maxwell's demon. Let ℋ A and ℋ P be the Hilbert spaces for two spatially separated or noninteracting subsystems, called A and P, and define the entire Hilbert space ℋ AP = ℋ A ⊗ ℋ P . Let S(ℋ) denote the state space that consists of a set of density operators acting in ℋ. The case studied here is that of bipartite entanglement.
A state of a bipartite system is said to be separable or classically correlated if its density operator can be expressed as a convex sum of products of density operators where all the p i are nonnegative and ∑ i p i = 1. Any state that cannot be written in the form of Eq. (5.1) is called entangled. Let denote the subspace that contains all separable states.
It is natural to ask whether or not a given state is separable considering how important the subject of entanglement is in quantum mechanics. This can usually be expressed in terms of an operator or function. In general, it is very hard to obtain a good separability criterion, that is, something that is efficient and singles out as many entangled states as possible. The separable subspace formed by all separable states is convex and is the main reason for the difficulty of the problem.
Another question pertains to the amount of entanglement a pair or set of quantum objects contains. The amount plays a major role when it comes to characterization or manipulation of entanglement. This topic might be approached by trying to quantify entanglement by means of a thermodynamic quantity.
In a chamber such as the one encountered in Szilard's engine, it can be thought of as a general information-storage apparatus, that is, physical states are distinguishable by measurement, and therefore, stored information will be extracted. Information could be transferred from a different system to the memory of a Szilard engine, if the initial state of the engine is in a standard state. Now that the memory has been identified with the one molecule gas of Szilard's engine, consider the following picture. From an ensemble of memories, each of which stores the value of an n-bit random variable η, mechanical work can be extracted whose average amount per single memory register is where H (η) is the Shannon entropy of η, in units such that k B ln 2 = 1. The extractable work is the work done by the gas, so it is W = N k B Tln(2) 1 − H (η) when n = 1. To understand Eq. (5.2) more completely, suppose there are N memory registers. If all N registers are measured, the remaining uncertainty in the memory is zero, hence Nn bits of work can be obtained. However, the information due to the measurement on memory is kept, and this must be erased in order to consider the amount of extractable work. The least energy consumption needed to erase information is NH (η) bits, according to the erasure principle. The maximum total extractable work is N η − H (η) . Also, from the thermodynamic point of view Eq. (5.2) follows, as the work done by the gas in an isothermal process is equal to the entropy change multiplied by the temperature.
This argument can be applied to the case of work extraction from quantum bits. Let ρ be the density operator for the state in a given ensemble. The qubits are in a known pure state after measurements, which is essentially classical in terms of information. Information stored in this set of pure states can be copied to the Szilard memory, and each register gives one bit of work. After erasing the information acquired by measurement, the net maximum amount of work we obtain becomes 1 − S N (ρ) bits of work.
The work deficit is a difference between the globally and locally extractable work within the context of local operations, or at least when ρ is a system with spatially separated subsystems. Suppose there is an n-qubit state ρ AP shared by A and P, then the optimal extractable work is given by will be calculated.
The globally extractable work W global cl from ρ cl AP is simply one bit. The locally extractable work W local cl is also one bit. The strategy is as follows: observer A will measure its bit in the basis { | 0 , | 1 } and will send the result to observer A, who obtains one bit of work from it. Although A can extract one bit of work from A′s own bit, using A's measurement result, A needs to consume all this energy to erase the information stored in the memory used to communicate with observer P. Thus, the deficit for state ρ cl AP is Δ cl = 1 − 1 = 0. The locally extractable work is the same, one bit, even if the state is maximally entangled as in Eq. (5.5). However, as this state is globally pure, it must be W global = 2 − S N ( |Φ AP Φ AP |)=2, and therefore, Δ entangled = 2 − 1 = 1.
It can be shown that the deficit is bounded from below as follows: where ρ A and ρ B are given by ρ A = Tr P (ρ) and ρ P = Tr A ρ. The bound can be achieved when the state is pure and turns out to be equal to the entanglement measure for pure states. This is simply due to the fact that a pure state can be expressed as where ρ A = Tr P |ψ ψ | and E · is the entanglement measure for pure states.

A nuclear magnetic resonance demon
A very sophisticated model of a demon which is based on a type of nuclear magnetic resonance experiment to introduced. The model studied here is close to the one originally proposed by Lloyd [14] in 1997. It is worth discussing the model though as it may be possible to realize it experimentally. It permits a detailed discussion on several levels and unites several subjects. This gives a nontrivial, fully quantum mechanical model that unlike semiclassical models allows the thermodynamics of the demon's entire cycle of operation to be treated within a unified quantum picture. In this section, the abbreviation β i = 1 / k B T i will be used.
A spin is immersed in a magnetic field B. If the spin has the same direction as B, it has energy − μB, where μ is the spin's magnetic dipole moment, B is the magnitude of the field. In the opposite direction, the spin has energy +μB. The spin can be flipped from one energy to another by applying a π pulse at the spin's precession frequency, ω = 2μB / ℏ. When the spin flips, it exchanges energy with the oscillatory field. When it absorbs one photon of energy ℏω from the field, it goes from lower to higher energy, and proceeding the other way, it coherently emits a photon of energy ℏω to the field. When the field is in a coherent state, as with fields which are normally produced by lasers or masers, the energy exchange involves no information exchange, entropy increase or loss of quantum coherence and so the oscillating field may be treated as if it were classical.
A device that acquires information about such a spin could use the information to make the spin do work. Suppose a device can measure whether the spin is in the low-energy quantum state | ↓ or the high-energy state | ↑ . If it is in the high-energy state, a π pulse is sent to extract its energy. This device waits for the spin to come to equilibrium at T 1 > > 2μB / k B and repeats the operation. Each time, it converts an average of μB of heat into work. It is Landauer's principle which prevents such a device from violating the second law of thermodynamics. To proceed in a cyclic fashion, the device must erase the information that it has gained about the state of the spin. At erasure, entropy S out ≥ k B ln (2) is forced into the environment, which compensates for the entropy S spin = k B ln (2) in the spin originally. If the environment is a heat bath at T 2 different from the temperature of the spin heat bath T 1 , heat k B T 2 ln (2) flows to the heat bath along with entropy, decreasing the energy available to convert into work. To account for energy and entropy in the cycle, the heat in is Q in = T 1 S in , and the heat out is Q out = T 2 S out . Thus, the work out is W out = Q in − Q out , and the efficiency satisfies where is the Carnot efficiency. Landauer's principle implies that instead of violating the second law, the device operates as a heat engine, pumping heat from a high-temperature reservoir to one at low-temperature and doing work in the process.
It can be shown that such a device operates as a heat engine that undergoes a cycle analogous to a Carnot cycle. Thus, a quantum device that interacts with a thermal environment can get information and use it to do useful work, but not by violating the second law of thermodynamics. A detailed picture of the erasure model agrees with Landauer's principle. Two sets of modes of the electromagnetic field constitute the environment for the spins. The first will be a set of modes at T 1 with average frequency ω 1 and frequency spread greater than the coupling constant | κ | between the spins but less than ω 1 − ω 2 . The second will be a set of modes at temperature T 2 with average frequency ω 1 and the same frequency spread. This can be achieved by immersing the spins in incoherent radiation with the given frequencies and temperatures. This should provide separate heat reservoirs for spin 1 and 2. This means spin 1 interacts strongly with the on-resonance radiation at frequency ω 1 , and weakly with the off-resonance radiation at ω 2 , with the reverse for spin 2. Spin 1 can be regarded as interacting only with mode 1, and spin 2 as interacting only with mode 2.
With respect to this approximation, the initial probabilities for the state of the j-th spin are , , Using Eq. (6.1), the energy can be calculated to be the following: The entropy is given by = 2cosh (μ j βB). Spin 2 can acquire information about spin 1, and this information can be exploited to perform work. Therefore, the spins can function as a heat engine by passing through the following cycle: First, using spin coherence double resonance, flip spin 2 if spin 1 is in state | ↑ 1 . This causes spin 2 to acquire information (S 2 − S 2 ) / k B ln (2) about spin 1 at the cost of W 1 = p ↑,1 2μ 2 Btanh (μ 2 Bβ) of work supplied by the oscillating field, where S 2 = − k B ∑ i=↑,↓ p (i),2 ln(p (i),2 ), such that Research Advances in Quantum Dynamics p ↑,2 = p ↑,1 p ↓,2 + p ↓,1 p ↑,2 and p ↓,2 = p ↓,1 p ↓,2 + p ↑,1 p ↑,2 are the two probabilities for the states of spin 2 after the conditional spin flip.
Second, flip spin 1 if spin 2 is in the state | ↑ 1 . This step permits spin 2 to take the amount (S 2 − S 1 ) / k B ln (2) of the information it has acquired, and in the process carry out work − μ 1 B tanh (μ 1 Bβ 1 ) − tanh (μ 2 Bβ 2 ) back on the field.
Third, spin 2 still has information in the amount (S 2 − S 1 ) / k B ln (2) about spin 1, which can be converted into work by flipping spin 2 if spin 1 is in state | ↑ 1 , thereby carrying out work in the amount p ↑,2 2μ 2 Btanh (μ 1 Bβ 2 ) on the field.
The set of pulses has finally exchanged the information associated in 1 with the information in 2. Next, after the three conditional spin flips, spin 1 has probabilities p ′ (i ),1 = p (i),2 , while 2 has probabilities p ′ (i ),2 = p (i),1 . Consequently, S ′ 1 = S 2 and S ′ 2 = S 1 and the new energies of the spins are given by the following equation: Thus, the total amount of work done by the spins on the field is given as follows: When the temperatures satisfy the inequalities T i > > μ i B / k B , then work W simplifies to the form These results for work done are a function of only conservation of energy and not the pulse. If T 1 = T 2 , Eq. (6.6) implies W is zero or negative, no work can be extracted from the spins at equilibrium. The cycle can be completed by allowing the spins to re-equilibrate with their reservoirs. The following two steps then can be included to allow the spins to re-equilibrate isentropically.
Return spin 1 to its original state: take the spin out of contact with its reservoir by varying the frequency of the reservoir modes; next vary the field according to B → B = BT 1 / T 2 adiabatically, with no heat flowing between spin and reservoir; thirdly, slowly change B → B, keeping the spin in contact with the reservoir at temperature T 1 , so that heat flows isentropically between the spin and reservoir. Entropy S 1 −S 2 moves from the spin to the reservoir while the spin does work of E 1 − E 1 ′ − T 1 (S 2 − S 1 ) on the field. Spin 2 returns to its original state by the same steps. The total work done by the spins on the electromagnetic field throughout the cycle is W C = (T 1 − T 2 )(S 1 − S 2 ). Consider a simple model in which spin 1 is initially in the state This state has nonminimum free energy available for conversion into work. Apply a π/2 pulse to rotate spin 1 into state | ↓ 1 , thereby adding energy μ 1 B to the field. Suppose the demon operates in a mode whereby, instead of taking the energy directly, it uses magnetic resonance to correlate the state of 2 with the state of 1. Suppose 2 is in state | ↓ 2 initially; coherently flipping 2 if 1 is in state | ↑ 1 results in the state This represents an entangled state in which the state 2 is perfectly correlated with the state of 1. Energy extraction can be continued by flipping spin 1 if spin 2 is in state | ↑ 2 which allows energy of (μ 1 -μ 2 )B to be taken from the spin. The resulting state of the spins is No extra thermodynamic cost has been incurred up till now. Since the conditional spin flipping occurs coherently, the process may be reversed by repeating the steps in reverse order to return to the original state | → 1 , with a total energy and entropy change of zero.
In the original cycle, decoherence occurs when 2 is placed in contact with the reservoir to erase it. The energy exchange between spin and reservoir is an incoherent process such that the pure state | → 2 = 1 / 2( | ↑ 2 + | ↓ 2 ) transforms into the mixed state which has density matrix ρ = 1 / 2( | ↑ 2 ↑ | + | ↓ 2 ↓ | ). This is significant since interaction of the spin with the reservoir turns the process by which 2 coherently picks up quantum information about 1 into a decoherent measurement process and creates one bit of information. The bit corresponds to an entropy increase in k B ln(2). In agreement with Landauer's principle, erasure results in the transfer of entropy from spin 2 to the low-temperature reservoir.
The amount of inefficiency generated by decohering 2 to measure spin 1 increasing the entropy may be measured by means of a Carnot cycle model. A general state for the 1 spin would have density matrix Eq. (6.9) is not an equilibrium state and has free energy that may be extracted by applying a tipping pulse that rotates the spin by ϑ and carries out the mapping | ↑ ϑ → | ↑ and | ↓ ϑ → | ↓ . The amount of extracted work is with p 1 * ( ↑)= p 1 ( ↑)cos 2 ϑ + p 1 ( ↓)sin 2 ϑ and p 1 * ( ↓)= p 1 ( ↓)cos 2 ϑ + p 1 ( ↑)sin 2 ϑ. Undergoing a Carnot cycle through the five steps just presented above extracts work of (T 1 -T 2 )(S 1 -S 2 ) and energy is extracted isentropically with no entropy increase. By performing measurements with respect to which the density matrix is diagonal, the upper limit can be attained. If the tipping pulse is used at first to remove the free energy from 1, the demon is carrying out measurements such that the density matrix possesses off-diagonal elements. As a result, the measurement introduces information and the efficiency satisfies the inequality .
The steps can be summarized in this way: three conditional spin flips swap the states of 1 and 2 so that spin 1 is in state ρ 2 and 2 is in state ρ ′ 2 = ρ ′ 1 . Interaction with the heat reservoir decohers 2 and destroys the off-diagonal elements in the density matrix so that that flows out to reservoir 2 is then greater than the entropy S in = S 1 -S 2 that flowed in from 1. The total amount of work done is then T 1 (S 1 − S 2 ) − T 2 (S 1 * − S 2 ) + W * and less than (T 1 -T 2 )(S 1 -S 2 ) + W * , which is done by simply undoing the tipping pulse and running the engine as before.

Conceptual systems for future speculation and conclusions: quantum Szilard engines
The preceding model showed how a quantum system that obtains information about another quantum system can function in the capacity of a Maxwell's demon using information to perform work. It would be interesting if progress could be made on the experimental front in this area. At some point, nucleon-nucleon double resonance methods could be used to construct a demon in the form of a maser that functions as a demon and carries out a net amplification of pulses that causes spins to flip. Two different species of nucleons must start the cycle at different temperatures, which could be achieved by preparing one of them in a low temperature state using electron-nucleon double resonance as in the Pound-Overhauser effect.
Three final systems are presented to provide a summary and conclusion, both illustrate what has been achieved and provide work for the future. These are more conceptual in nature and are given in summary form. The processes in the first two examples are likely to be difficult to realize in practice. The first shows that there is a close relationship between dynamical evolutions, which violate some fundamental principle of quantum theory and those forbidden by the second law of thermodynamics. Thermodynamics does impose severe constraints on the choice of the fundamental axioms of quantum theory. This relies on the equivalence of the von Neumann entropy to ordinary entropy appearing in thermodynamics. Perhaps some of these physical situations would end up providing a test of this. The von Neumann entropy is essential in the second model, which represents a true quantum version of a Szilard engine, and it appears in the analysis of two cycles. The last system that involves a molecule in a variable double well may be closer to realization experimentally. A solvable model is proposed and used to describe it here. The conclusion to be drawn is that if the integrity of the axiomatic structure of quantum theory is not strictly respected, then every aspect of the theory must be examined.
(1) The first model to be studied is due to Peres and is a conceptual experiment based on the distinguishability of quantum states [12,13]. Peres showed that if it were possible to distinguish nonorthogonal quantum states perfectly, then the second law of thermodynamics would necessarily be violated. Consider an elementary work extraction process that uses a collection of pure orthogonal states. A chamber is partitioned into two sections with volumes p 1 V and p 2 V such that p 1 + p 2 = 1. The chamber contains a gas of molecules whose quantum internal degree of freedom is a spin; as a first example before the more novel case of Peres, consider a gas with spin up |↑> on the left and spin down |↓> on the right. Similar experiments could also be imagined using polarized photons as well. The existence of semipermeable membranes is essential to all of this formalism. In this event, introduce two membranes M ↑ and M ↓ which distinguish the orthogonal states. The convention is that the membrane M ↑ is completely transparent to the |↓> spin gas and opaque to the |↑> spin gas. The membrane M ↑ has exactly the opposite properties. If the membranes replace the partition so that M ↑ and M ↓ face the |↓> and |↑> gases, respectively, the gases give work expanding isothermally by contact with a heat bath at temperature T. The total extractable work is then W = -p 1 log 2 p 1 -p 2 log 2 p 2 .
The cycle imagined by Peres is related to this example; however, the key to its impact is the use of nonorthogonal states. The volume of the chamber is 2V and in the initial state, the gas of volume V is divided into two equal volumes V/2 and separated by an impenetrable wall.
On the left side, the gas molecules are in the state |↑> but on the right side, they are in the linear combination state Both sections contain the same number of gas molecules N/2 and hence the same pressure.
The first step of the cycle is to let the gas expand isothermally at temperature T, so the entire chamber is finally occupied. During the expansion, the gases exert work equal to Nk B T ln (2) toward the outside and absorbing the same amount of heat from the bath.
In the second step, conceptual membranes are introduced, which have the ability to distinguish nonorthogonal states. The partition at the center has to be replaced by these membranes. Next, insert an impenetrable piston on the right side of the vessel. The membrane M ↑ transparent to |→ , but opaque to |↑>, is fixed at the center, while the other membrane M → of opposite transparency to M ↑ can move in the left-hand region. As the piston is inserted on the right, M → is forced to the left at the same speed so that the volume and pressure of the spin |→ gas in between the piston and membrane M → will remain constant. Due to the nature of the membranes, this process can be done without friction or resistance, and consequently, there is no work consumption or heat transfer required.
At this point, the vessel is a mixture of two spin states. In terms of the basis {|↑>,|↓>}, the density matrix for the mixture using Eq. (7.1) is 4 ñá + ñ+¯ñ á +ár (7.2) This ρ can be mapped to a matrix representation given as follows: 3) The eigenvalues of matrix Eq. (7.3) are found to be  p p p f f (7.5) If the membranes M ↑ , M → are replaced by two new membranes that distinguish between the two orthogonal states |φ i in Eq. (7.5), which we call M | ϕ i , the reverse process separates the states |φ 1 and |φ 2 . After replacing the semipermeable membrane by an impenetrable wall, the gases on the left and right segments are compressed isothermally until the total volume and pressure of the gases become equal to the initial ones. This compression requires work of − λ 1 log 2 λ 1 − λ 2 log 2 λ 2 = 0.6 upon using Eq. (7.4), which is dissipated into the heat bath.
Finally, an opaque wall is inserted into the vessel which divides the volume V occupied by the gases in two. Next rotate the state |ϕ 1 → | ↑ in the first region on the left |ϕ 1 → | → in the center and |ϕ 2 → | → on the right, along with a trivial spatial shift restores the initial state.
Rotations are unitary transformations and an isentropic process, so any energy that has to be supplied can be reversibly recaptured. Hence work expenditure need not be considered in principle when the process is isentropic.
Throughout this cycle, the network gained is 1.0-0.6 = 0.4 bits. Therefore, it is concluded that Peres's system can complete a cycle that can withdraw heat from a heat bath and converts it into mechanical work without leaving any other effect on the environment. This model actually implies that the second law itself sets a strict barrier to quantum state discrimination.
(2) Quantum variants of the basic Szilard engine have seen renewed interest recently [15][16][17], partly because of their overlap with statistical mechanics and also due to links with quantum information theory and computation. Zurek [18,19] examined the Szilard one-particle gas obeying Boltzmann statistics quantum mechanically. He begins by noting that a one-molecule gas is a microscopic system and it may be wondered whether conclusions of Szilard's classical analysis remain valid in the quantum domain. Following Jauch and Baron [20], it may be argued that Szilard's analysis is inconsistent because it employs two different, incompatible classical idealizations of the one-molecule gas, dynamical and thermodynamical. Zurek shows that the apparent inconsistency pointed out by Jauch and Baron is removed by a quantum treatment. Thermodynamic entropy is incompatible with classical mechanics, as it becomes infinite in the limit ℏ → 0. Thus, he views partitioning as a slow, reversible process that creates a potential barrier of some height which is large relative to k B T. The system's energy levels are then modified.
In the quantum Szilard engine, the appearance of a wall is signaled by the increase in height of a potential barrier, which becomes infinite when it is impermeable. This is crucial since the energy levels in the box vary with potential height and boundary conditions. The energy levels contribute to the quantum thermodynamic work and internal energy of the device. The position of the barrier and the rate of its appearance influence the level shifts. The faster the height of the barrier increases, the greater the change of internal energy of the system. The energy becomes infinite when the height of the barrier approaches infinity instantaneously. If the system is initially in the ground state and the barrier appears in an adiabatic fashion with