Work and heat in one cycle
Let be the bead offset from the trap centre, in units of the thermal width , with energies in units of . At the start of a cycle is Gaussian with variance . A camera reads , where the error has variance . The trap then jumps by ; is called the gain.
The bead has no time to move during the jump, so the work is just the change in potential energy, given below. Then the trap stays put while the bead relaxes for a time . No work is done during the wait, and every drop in potential energy leaves as heat into the water. With , the offset variance must return to after the wait, which fixes the steady variance.
Averaging uses and . A positive extracted work means the reading really did let the bead fall lower; the second term is the cost of the error, and it grows with the gain.
How much information one reading carries
How much the reading tells us about the bead is measured by the stochastic information , Eq. (151) of the Seifert review. It is large when the reading lands unexpectedly close to the true position, and it can be negative when the reading lands far off.
Its average is the mutual information. For a Gaussian reading has variance and has variance . Averaging the difference of their logarithms gives the formula below. It depends only on the signal-to-noise ratio and is measured in nats.
Source: U. Seifert
The bound set by information
Sagawa and Ueda proved that with feedback . After a full cycle the trap has the same shape, so and the mean extracted work cannot exceed . Our cycle starts from the steady state of the loop, and the matching exact equality is Eq. (156) of the Seifert review, where the total entropy production is the system entropy change plus .
Averaging Eq. (156), and using the fact that in the steady state the mean system entropy change equals , gives a tighter bound. is the information about the bead that the reading still holds at the end of the cycle. Nobody used it, and the next measurement makes it obsolete. After a long wait it is almost zero.
The bound limits only the average. A single cycle can extract more than , just as a single pull in Chapter 4 could cost less than the free-energy change. The sample average of the equality behaves like the Jarzynski average too: a few cycles whose reading points badly the wrong way dominate it, so small samples fall short of one.
Source: T. Sagawa and M. Ueda · U. Seifert
The best gain and the efficiency
After a long wait and . Setting the derivative with respect to the gain to zero gives the best gain , which extracts thermal energies per cycle, with . The sharper the reading, the closer the best gain gets to one, which means moving the trap all the way to the reading.
The extracted work never exceeds half a thermal energy, while the information grows with the logarithm of the signal-to-noise ratio. Their ratio is the efficiency below. It approaches one as the signal-to-noise ratio goes to zero and is only about 0.21 at a ratio of 100. Section 7.3.5 of the Seifert review states that this bound cannot be reached by controlling the trap centre alone; using all the information also requires changing the trap stiffness.
Source: U. Seifert
Where the second law survives
The engine seems to draw work steadily from water at a single temperature. The missing piece is the controller’s memory: each reading must be recorded and then erased before the next one. Sagawa and Ueda showed in 2009 that measuring and erasing together cost at least of work. Include that cost, and the whole machine gains no net work per cycle; the second law holds.
Information therefore acts like a fuel. It can be turned into work, at most one thermal energy per nat, and making and clearing it costs at least as much.
Source: T. Sagawa and M. Ueda
Worked example: a blurry reading and fast cycles
Take a trap stiffness of , so the thermal width is and the relaxation time . A measurement error of gives , a signal-to-noise ratio of 4.14 and a best gain of 0.806. Use and wait , so and .
The mean work formula gives . The information is , so the efficiency is 0.49. In physical units each cycle extracts , an average power of about .
Now cycle fast: error , , and a wait of only . Then , and : the bead has no time to spread back to its thermal width, so the feedback has cooled it. Each cycle extracts only , less than the 0.494 of a full wait, but cycles are twelve times shorter and the power rises from to .