Adiabatic processes realized with a trapped Brownian particle

Thermodynamic Bounds on Generalized Transport: From Single-Molecule to Bulk Observables

We prove that the transport of any differentiable scalar observable in d-dimensional nonequilibrium systems is bounded from above by the total entropy production scaled by the amount the observation "stretches" microscopic coordinates. The result-a time-integrated generalized speed limit-reflects the thermodynamic cost of transport of observables, and places underdamped and overdamped stochastic dynamics on equal footing with deterministic motion. Our work allows for stochastic thermodynamics to make contact with bulk experiments, and fills an important gap in thermodynamic inference, since microscopic dynamics is, at least for short times, underdamped. Requiring only averages but not sample-to-sample fluctuations, the proven transport bound is practical and applicable not only to single-molecule but also bulk experiments where only averages are observed, which we demonstrate by examples. Our results may facilitate thermodynamic inference on molecular machines without an obvious directionality from bulk observations of transients probed, e.g., in time-resolved x-ray scattering.

Probabilistic Work Extraction on a Classical Oscillator Beyond the Second Law

We demonstrate experimentally that, applying optimal protocols that drive the system between two equilibrium states characterized by a free energy difference ΔF, we can maximize the probability of performing the transition between the two states with a work W smaller than ΔF. The second law holds only on average, resulting in the inequality ⟨W⟩≥ΔF. The experiment is performed using an underdamped oscillator evolving in a double-well potential. We show that with a suitable choice of parameters the probability of obtaining trajectories with W≤ΔF can be larger than 95%. Very fast protocols are a key feature to obtain these results, which are explained in terms of the Jarzynski equality.

Performance at maximum figure of merit for a Brownian Carnot refrigerator

This paper focuses on the coefficient of performance (COP) at maximum χ^{R} figure of merit for a Brownian Carnot-like refrigerator, within the context of the low-dissipation approach. Our proposal is based on the Langevin equation for a Brownian particle bounded to a harmonic potential trap, which can perform Carnot-like cycles at finite time. The theoretical approach is related to the equilibrium ensemble average of 〈x^{2}〉_{eq} which plays the role of a statelike equation, x being the Brownian particle position. This statelike equation comes from the macroscopic version of the corresponding Langevin equation for a Brownian particle. We show that under quasistatic conditions the COP has the same expression as the macroscopic Carnot refrigerator, while for irreversible cycles at finite time and under symmetric dissipation the optimal COP is the counterpart of Curzon-Ahlborn efficiency as also obtained for irreversible macroscopic refrigerators.

The effects of asymmetry in active noises on the efficiency of single colloidal Stirling engines with active noises

Molecular machines, which operate in highly fluctuating environments far from equilibrium, may benefit from their non-equilibrium environments. It is, however, a topic of controversy how the efficiency of the microscopic engines can be enhanced. Recent experiments showed that microscopic Stirling engines in bacterial reservoirs could show high performance beyond the equilibrium thermodynamics. In this work, we perform overdamped Langevin dynamics simulations for microscopic Stirling heat engines in bacterial reservoirs and show that the temperature dependence of the magnitude of active noises should be responsible for such high efficiency. Only when we introduce temperature-dependent active noises, the efficiency of the microscopic Stirling engines is enhanced significantly as in experiments.

Adiabatic computing for optimal thermodynamic efficiency of information processing

Landauer's principle makes a strong connection between information theory and thermodynamics by stating that erasing a one-bit memory at temperature [Formula: see text] requires an average energy larger than [Formula: see text], with [Formula: see text] Boltzmann's constant. This tiny limit has been saturated in model experiments using quasistatic processes. For faster operations, an overhead proportional to the processing speed and to the memory damping appears. In this article, we show that underdamped systems are a winning strategy to reduce this extra energetic cost. We prove both experimentally and theoretically that, in the limit of vanishing dissipation mechanisms in the memory, the physical system is thermally insulated from its environment during fast erasures, i.e., fast protocols are adiabatic as no heat is exchanged with the bath. Using a fast optimal erasure protocol, we also show that these adiabatic processes produce a maximum adiabatic temperature [Formula: see text], and that Landauer's bound for fast erasures in underdamped systems becomes the adiabatic bound: [Formula: see text].

Shortcuts to Equilibrium with a Levitated Particle in the Underdamped Regime

We report on speeding-up equilibrium recovery in the previously unexplored general case of the underdamped regime using an optically levitated particle. We accelerate the convergence toward equilibrium by an order of magnitude compared to the natural relaxation time. We then discuss the efficiency of the studied protocols, especially for a multidimensional system. These results pave the way for optimizing realistic nanomachines with application to sensing and developing efficient nanoheat engines.

Carnot, Stirling, and Ericsson stochastic heat engines: Efficiency at maximum power

This work uses the low-dissipation strategy to obtain efficiency at maximum power from a stochastic heat engine performing Carnot-, Stirling- and Ericsson-like cycles at finite time. The heat engine consists of a colloidal particle trapped by optical tweezers, in contact with two thermal baths at different temperatures, namely hot (T_{h}) and cold (T_{c}). The particle dynamics is characterized by a Langevin equation with time-dependent control parameters bounded to a harmonic potential trap. In a low-dissipation approach, the equilibrium properties of the system are required, which in our case, can be calculated through a statelike equation for the mean value 〈x^{2}〉_{eq} coming from a macroscopic expression associated with the Langevin equation.

Driving rapidly while remaining in control: classical shortcuts from Hamiltonian to stochastic dynamics

Stochastic thermodynamics lays down a broad framework to revisit the venerable concepts of heat, work and entropy production for individual stochastic trajectories of mesoscopic systems. Remarkably, this approach, relying on stochastic equations of motion, introduces time into the description of thermodynamic processes-which opens the way to fine control them. As a result, the field of finite-time thermodynamics of mesoscopic systems has blossomed. In this article, after introducing a few concepts of control for isolated mechanical systems evolving according to deterministic equations of motion, we review the different strategies that have been developed to realize finite-time state-to-state transformations in both over and underdamped regimes, by the proper design of time-dependent control parameters/driving. The systems under study are stochastic, epitomized by a Brownian object immersed in a fluid; they are thus strongly coupled to their environment playing the role of a reservoir. Interestingly, a few of those methods (inverse engineering, counterdiabatic driving, fast-forward) are directly inspired by their counterpart in quantum control. The review also analyzes the control through reservoir engineering. Besides the reachability of a given target state from a known initial state, the question of the optimal path is discussed. Optimality is here defined with respect to a cost function, a subject intimately related to the field of information thermodynamics and the question of speed limit. Another natural extension discussed deals with the connection between arbitrary states or non-equilibrium steady states. This field of control in stochastic thermodynamics enjoys a wealth of applications, ranging from optimal mesoscopic heat engines to population control in biological systems.

Geometric Bound on the Efficiency of Irreversible Thermodynamic Cycles

Stochastic thermodynamics has revolutionized our understanding of heat engines operating in finite time. Recently, numerous studies have considered the optimal operation of thermodynamic cycles acting as heat engines with a given profile in thermodynamic space (e.g., P-V space in classical thermodynamics), with a particular focus on the Carnot engine. In this work, we use the lens of thermodynamic geometry to explore the full space of thermodynamic cycles with continuously varying bath temperature in search of optimally shaped cycles acting in the slow-driving regime. We apply classical isoperimetric inequalities to derive a universal geometric bound on the efficiency of any irreversible thermodynamic cycle and explicitly construct efficient heat engines operating in finite time that nearly saturate this bound for a specific model system. Given the bound, these optimal cycles perform more efficiently than all other thermodynamic cycles operating as heat engines in finite time, including notable cycles, such as those of Carnot, Stirling, and Otto. For example, in comparison to recent experiments, this corresponds to orders of magnitude improvement in the efficiency of engines operating in certain time regimes. Our results suggest novel design principles for future mesoscopic heat engines and are ripe for experimental investigation.

Optimal finite-time Brownian Carnot engine

Recent advances in experimental control of colloidal systems have spurred a revolution in the production of mesoscale thermodynamic devices. Functional "textbook" engines, such as the Stirling and Carnot cycles, have been produced in colloidal systems where they operate far from equilibrium. Simultaneously, significant theoretical advances have been made in the design and analysis of such devices. Here, we use methods from thermodynamic geometry to characterize the optimal finite-time nonequilibrium cyclic operation of the parametric harmonic oscillator in contact with a time-varying heat bath with particular focus on the Brownian Carnot cycle. We derive the optimally parametrized Carnot cycle, along with two other new cycles and compare their dissipated energy, efficiency, and steady-state power production against each other and a previously tested experimental protocol for the Carnot cycle. We demonstrate a 20% improvement in dissipated energy over previous experimentally tested protocols and a ∼50% improvement under other conditions for one of our engines, whereas our final engine is more efficient and powerful than the others we considered. Our results provide the means for experimentally realizing optimal mesoscale heat engines.

Solution to the Fokker-Planck equation for slowly driven Brownian motion: Emergent geometry and a formula for the corresponding thermodynamic metric

Considerable progress has recently been made with geometrical approaches to understanding and controlling small out-of-equilibrium systems, but a mathematically rigorous foundation for these methods has been lacking. Towards this end, we develop a perturbative solution to the Fokker-Planck equation for one-dimensional driven Brownian motion in the overdamped limit enabled by the spectral properties of the corresponding single-particle Schrödinger operator. The perturbation theory is in powers of the inverse characteristic timescale of variation of the fastest varying control parameter, measured in units of the system timescale, which is set by the smallest eigenvalue of the corresponding Schrödinger operator. It applies to any Brownian system for which the Schrödinger operator has a confining potential. We use the theory to rigorously derive an exact formula for a Riemannian "thermodynamic" metric in the space of control parameters of the system. We show that up to second-order terms in the perturbation theory, optimal dissipation-minimizing driving protocols minimize the length defined by this metric. We also show that a previously proposed metric is calculable from our exact formula with corrections that are exponentially suppressed in a characteristic length scale. We illustrate our formula using the two-dimensional example of a harmonic oscillator with time-dependent spring constant in a time-dependent electric field. Lastly, we demonstrate that the Riemannian geometric structure of the optimal control problem is emergent; it derives from the form of the perturbative expansion for the probability density and persists to all orders of the expansion.

Achieving Carnot efficiency in a finite-power Brownian Carnot cycle with arbitrary temperature difference

Achieving the Carnot efficiency at finite power is a challenging problem in heat engines due to the trade-off relation between efficiency and power that holds for general heat engines. It is pointed out that the Carnot efficiency at finite power may be achievable in the vanishing limit of the relaxation times of a system without breaking the trade-off relation. However, any explicit model of heat engines that realizes this scenario for arbitrary temperature difference has not been proposed. Here, we investigate an underdamped Brownian Carnot cycle where the finite-time adiabatic processes connecting the isothermal processes are tactically adopted. We show that in the vanishing limit of the relaxation times in the above cycle, the compatibility of the Carnot efficiency and finite power is achievable for arbitrary temperature difference. This is theoretically explained based on the trade-off relation derived for our cycle, which is also confirmed by numerical simulations.

Dynamics of Information Erasure and Extension of Landauer's Bound to Fast Processes

Using a double-well potential as a physical memory, we study with experiments and numerical simulations the energy exchanges during erasure processes, and model quantitatively the cost of fast operation. Within the stochastic thermodynamics framework we find the origins of the overhead to Landauer's bound required for fast operations: in the overdamped regime this term mainly comes from the dissipation, while in the underdamped regime it stems from the heating of the memory. Indeed, the system is thermalized with its environment at all times during quasistatic protocols, but for fast ones, the inefficient heat transfer to the thermostat is delayed with respect to the work influx, resulting in a transient temperature rise. The warming, quantitatively described by a comprehensive statistical physics description of the erasure process, is noticeable on both the kinetic and potential energy: they no longer comply with equipartition. The mean work and heat to erase the information therefore increase accordingly. They are both bounded by an effective Landauer's limit k_{B}T_{eff}ln2, where T_{eff} is a weighted average of the actual temperature of the memory during the process.

Nonequilibrium Control of Thermal and Mechanical Changes in a Levitated System

Fluctuation theorems are fundamental extensions of the second law of thermodynamics for small nonequilibrium systems. While work and heat are equally important forms of energy exchange, fluctuation relations have not been experimentally assessed for the generic situation of simultaneous mechanical and thermal changes. Thermal driving is indeed generally slow and more difficult to realize than mechanical driving. Here, we use feedback cooling techniques to implement fast and controlled temperature variations of an underdamped levitated microparticle that are 1 order of magnitude faster than the equilibration time. Combining mechanical and thermal control, we verify the validity of a fluctuation theorem that accounts for both contributions, well beyond the range of linear response theory. Our results allow the investigation of general far-from-equilibrium processes in microscopic systems that involve fast mechanical and thermal changes at the same time.

Taming the Time Evolution in Overdamped Systems: Shortcuts Elaborated from Fast-Forward and Time-Reversed Protocols

Using a reverse-engineering approach on the time-distorted solution in a reference potential, we work out the external driving potential to be applied to a Brownian system in order to slow or accelerate the dynamics, or even to invert the arrow of time. By welding a direct and time-reversed evolution toward a well chosen common intermediate state, we analytically derive a smooth protocol to connect two arbitrary states in an arbitrarily short amount of time. Not only does the reverse-engineering approach proposed in this Letter contain the current-rather limited-catalog of explicit protocols, but it also provides a systematic strategy to build the connection between arbitrary states with a physically admissible driving. Optimization and further generalizations are also discussed.

Kovacs Memory Effect with an Optically Levitated Nanoparticle

The understanding of the dynamics of nonequilibrium cooling and heating processes at the nanoscale is still an open problem. These processes can follow surprising relaxation paths due to, e.g., memory effects, which significantly alter the expected equilibration routes. The Kovacs effect can take place when a thermalization process is suddenly interrupted by a change of the bath temperature, leading to a nonmonotonic evolution of the energy of the system. Here, we demonstrate that the Kovacs effect can be observed in the thermalization of the center of mass motion of a levitated nanoparticle. The temperature is controlled during the experiment through an external source of white Gaussian noise that mimics an effective thermal bath at a temperature that can be changed faster than any relaxation time of the system. We describe our experiments in terms of the dynamics of a Brownian particle in a harmonic trap without any fitting parameter, suggesting that the Kovacs effect can appear in a large variety of systems.

Underdamped stochastic thermodynamic engines in contact with a heat bath with arbitrary temperature profile

We study thermodynamic processes in contact with a heat bath that may have an arbitrary time-varying periodic temperature profile. Within the framework of stochastic thermodynamics, and for models of thermodynamic engines in the idealized case of underdamped particles in the low-friction regime subject to a harmonic potential, we derive explicit bounds as well as optimal control protocols that draw maximum power and achieve maximum efficiency at any specified level of power.

Optimization of an active heat engine

Optimization of heat engines at the microscale has applications in biological and artificial nanotechnology and stimulates theoretical research in nonequilibrium statistical physics. Here we consider noninteracting overdamped particles confined by an external harmonic potential, in contact with either a thermal reservoir or a stochastic self-propulsion force (active Ornstein-Uhlenbeck model). A cyclical machine is produced by periodic variation of the parameters of the potential and of the noise. An exact mapping between the passive and the active model allows us to define the effective temperature T_{eff}(t), which is meaningful for the thermodynamic performance of the engine. We show that T_{eff}(t) is different from all other known active temperatures, typically used in static situations. The mapping allows us to optimize the active engine, regardless of the values of the persistence time or self-propulsion velocity. In particular, through linear irreversible thermodynamics (small amplitude of the cycle), we give an explicit formula for the optimal cycle period and phase delay (between the two modulated parameters, stiffness and temperature) achieving maximum power with Curzon-Ahlborn efficiency. In the quasistatic limit, the formula for T_{eff}(t) simplifies and coincides with a recently proposed temperature for stochastic thermodynamics, bearing a compact expression for the maximum efficiency. A point, which has been overlooked in recent literature, is made about the difficulty in defining efficiency without a consistent definition of effective temperature.

Maximum efficiency of absorption refrigerators at arbitrary cooling power

We consider absorption refrigerators consisting of simultaneously operating Carnot-type heat engine and refrigerator. Their maximum efficiency at given power (MEGP) is given by the product of MEGPs for the internal engine and refrigerator. The only subtlety of the derivation lies in the fact that the maximum cooling power of the absorption refrigerator is not limited just by the maximum power of the internal refrigerator, but, due to the first law, also by that of the internal engine. As a specific example, we consider the simultaneous absorption refrigerators composed of low-dissipation (LD) heat engines and refrigerators, for which the expressions for MEGPs are known. The derived expression for maximum efficiency implies bounds on the MEGP of LD absorption refrigerators. It also implies that a slight decrease in power of the absorption refrigerator from its maximum value results in a large nonlinear increase in efficiency, observed in heat engines, whenever the ratio of maximum powers of the internal engine and the refrigerator does not diverge. Otherwise, the increase in efficiency is linear as observed in LD refrigerators. Thus, in all practical situations, the efficiency of LD absorption refrigerators significantly increases when their cooling power is slightly decreased from its maximum.

Compatibility of Carnot efficiency with finite power in an underdamped Brownian Carnot cycle in small temperature-difference regime

We study the possibility of achieving the Carnot efficiency in a finite-power underdamped Brownian Carnot cycle. Recently, it was reported that the Carnot efficiency is achievable in a general class of finite-power Carnot cycles in the vanishing limit of the relaxation times. Thus, it may be interesting to clarify how the efficiency and power depend on the relaxation times by using a specific model. By evaluating the heat-leakage effect intrinsic in the underdamped dynamics with the instantaneous adiabatic processes, we demonstrate that the compatibility of the Carnot efficiency and finite power is achieved in the vanishing limit of the relaxation times in the small temperature-difference regime. Furthermore, we show that this result is consistent with a trade-off relation between power and efficiency by explicitly deriving the relation of our cycle in terms of the relaxation times.

Underdamped active Brownian heat engine

Active Brownian engines rectify energy from reservoirs composed of self-propelling nonequilibrium molecules into work. We consider a class of such engines based on an underdamped Brownian particle trapped in a power-law potential. The energy they transform has thermodynamic properties of heat only if the nonequilibrium reservoir can be assigned a suitable effective temperature consistent with the second law and thus yielding an upper bound on the engine efficiency. The effective temperature exists if the total force exerted on the particle by the bath is not correlated with the particle position. In general, this occurs if the noise autocorrelation function and the friction kernel are proportional as in the fluctuation-dissipation theorem. But even if the proportionality is broken, the effective temperature can be defined in restricted, fine-tuned, parameter regimes, as we demonstrate on a specific example with harmonic potential.

Extracting Work Optimally with Imprecise Measurements

Measurement and feedback allows for an external agent to extract work from a system in contact with a single thermal bath. The maximum amount of work that can be extracted in a single measurement and the corresponding feedback loop is given by the information that is acquired via the measurement, a result that manifests the close relation between information theory and stochastic thermodynamics. In this paper, we show how to reversibly confine a Brownian particle in an optical tweezer potential and then extract the corresponding increase of the free energy as work. By repeatedly tracking the position of the particle and modifying the potential accordingly, we can extract work optimally, even with a high degree of inaccuracy in the measurements.

Unified approach to stochastic thermodynamics: Application to a quantum heat engine

In the present study we have developed an alternative formulation for the quantum stochastic thermodynamics based on the c-number Langevin equation for the system-reservoir model. This is analogous to the classical one. Here we have considered both Markovian and non-Markovian dynamics (NMD). Consideration of the NMD is an important issue at the current state of the stochastic thermodynamics. Applying the present formalism, we have carried out a comparative study on the heat absorbed and the change of entropy with time for a linear quantum system and its classical analog for both Markovian and NMD. Here the strength of the thermal noise and its correlation time for the respective cases are the leading quantities to explain any distinguishable feature which may appear with the equilibration kinetics. For another application, we have proposed a formulation with classical look for a quantum stochastic heat engine. Using it we have presented a comparative study on the efficiency and its value at maximum power for a quantum stochastic heat engine and its classical analog. The engines are Carnot like which are coupled with their respective Markovian thermal baths. Here also the noise strength as well as the diffusion constant are the leading quantities to explain any noticeable feature.

Engineered swift equilibration of a Brownian gyrator

In the context of stochastic thermodynamics, a minimal model for nonequilibrium steady states has been recently proposed: the Brownian gyrator (BG). It describes the stochastic overdamped motion of a particle in a two-dimensional harmonic potential, as in the classic Ornstein-Uhlenbeck process, but considering the simultaneous presence of two independent thermal baths. When the two baths have different temperatures, the steady BG exhibits a rotating current, a clear signature of nonequilibrium dynamics. Here, we consider a time-dependent potential, and we apply a reverse-engineering approach to derive exactly the required protocol to switch from an initial steady state to a final steady state in a finite time τ. The protocol can be built by first choosing an arbitrary quasistatic counterpart, with few constraints, and then adding a finite-time contribution which only depends upon the chosen quasistatic form and which is of order 1/τ. We also get a condition for transformations which, in finite time, conserve internal energy, useful for applications such as the design of microscopic thermal engines. Our study extends finite-time stochastic thermodynamics to transformations connecting nonequilibrium steady states.

Building Continuous Time Crystals from Rare Events

Symmetry-breaking dynamical phase transitions (DPTs) abound in the fluctuations of nonequilibrium systems. Here, we show that the spectral features of a particular class of DPTs exhibit the fingerprints of the recently discovered time-crystal phase of matter. Using Doob's transform as a tool, we provide a mechanism to build classical time-crystal generators from the rare event statistics of some driven diffusive systems. An analysis of the Doob's smart field in terms of the order parameter of the transition then leads to the time-crystal lattice gas (TCLG), a model of driven fluid subject to an external packing field, which presents a clear-cut steady-state phase transition to a time-crystalline phase characterized by a matter density wave, which breaks continuous time-translation symmetry and displays rigidity and long-range spatiotemporal order, as required for a time crystal. A hydrodynamic analysis of the TCLG transition uncovers striking similarities, but also key differences, with the Kuramoto synchronization transition. Possible experimental realizations of the TCLG in colloidal fluids are also discussed.

Theory of optical tweezing of dielectric microspheres in chiral host media and its applications

We report for the first time the theory of optical tweezers of spherical dielectric particles embedded in a chiral medium. We develop a partial-wave (Mie) expansion to calculate the optical force acting on a dielectric microsphere illuminated by a circularly-polarized, highly focused laser beam. When choosing a polarization with the same handedness of the medium, the axial trap stability is improved, thus allowing for tweezing of high-refractive-index particles. When the particle is displaced off-axis by an external force, its equilibrium position is rotated around the optical axis by the mechanical effect of an optical torque. Both the optical torque and the angle of rotation are greatly enhanced in the presence of a chiral host medium when considering radii a few times larger than the wavelength. In this range, the angle of rotation depends strongly on the microsphere radius and the chirality parameter of the host medium, opening the way for a quantitative characterization of both parameters. Measurable angles are predicted even in the case of naturally occurring chiral solutes, allowing for a novel all-optical method to locally probe the chiral response at the nanoscale.

Fast-forward approach to stochastic heat engine

The fast-forward (FF) scheme proposed by Masuda and Nakamura [Proc. R. Soc. A 466, 1135 (2010)1364-502110.1098/rspa.2009.0446] in the context of conservative quantum dynamics can reproduce a quasistatic dynamics in an arbitrarily short time. We apply the FF scheme to the classical stochastic Carnot-like heat engine which is driven by a Brownian particle coupled with a time-dependent harmonic potential and working between the high- (T_{h}) and low- (T_{c}) temperature heat reservoirs. Concentrating on the underdamped case where momentum degree of freedom is included, we find the explicit expressions for the FF protocols necessary to accelerate both the isothermal and thermally adiabatic processes and obtain the reversible and irreversible works. The irreversible work is shown to consist of two terms with one proportional to and the other inversely proportional to the friction coefficient. The optimal value of efficiency η at the maximum power of this engine is found to be η^{*}=1/2{1+1/2(T_{c}/T_{h})^{1/2}-5/4T_{c}/T_{h}+O[(T_{c}/T_{h})^{3/2}]} and η^{*}=1-(T_{c}/T_{h})^{1/2}, respectively, in the cases of strong and weak dissipation. The result is justified for a wide family of time-scaling functions, making the FF protocols very flexible. We also revealed that the accelerated full cycle of the Carnot-like stochastic heat engine cannot be conceivable within the framework of the overdamped case, and the power and efficiency can be evaluated only when the momentum degree of freedom is taken into consideration.

Finite-time adiabatic processes: Derivation and speed limit

Obtaining adiabatic processes that connect equilibrium states in a given time represents a challenge for mesoscopic systems. In this paper, we explicitly show how to build these finite-time adiabatic processes for an overdamped Brownian particle in an arbitrary potential, a system that is relevant at both the conceptual and the practical level. This is achieved by jointly engineering the time evolutions of the binding potential and the fluid temperature. Moreover, we prove that the second principle imposes a speed limit for such adiabatic transformations: there appears a minimum time to connect the initial and final states. This minimum time can be explicitly calculated for a general compression or decompression situation.

Work distribution in thermal processes

We find the moment generating function (mgf) of the nonequilibrium work for open systems undergoing a thermal process, i.e., when the stochastic dynamics maps thermal states into time-dependent thermal states. The mgf is given in terms of a temperaturelike scalar satisfying a first-order ordinary differential equation. We apply the result to some paradigmatic situations: a levitated nanoparticle in a breathing optical trap, a Brownian particle in a box with a moving piston, and a two-state system driven by an external field, where the work mgfs are obtained for different timescales and compared with Monte Carlo simulations.

Thermodynamic Geometry of Microscopic Heat Engines

We develop a general framework to describe the thermodynamics of microscopic heat engines driven by arbitrary periodic temperature variations and modulations of a mechanical control parameter. Within the slow-driving regime, our approach leads to a universal trade-off relation between efficiency and power, which follows solely from geometric arguments and holds for any thermodynamically consistent microdynamics. Focusing on Lindblad dynamics, we derive a second bound showing that coherence as a genuine quantum effect inevitably reduces the performance of slow engine cycles regardless of the driving amplitudes. To show how our theory can be applied in practice, we work out a specific example, which lies within the range of current solid-state technologies.

Work as a memory record

The possibility of a controlled manipulation with molecules at the nanoscale allows us to gain net work from thermal energy, although this seems to be in contradiction to the second law of thermodynamics. Any manipulation, however, causes some memory records somewhere in the system's surroundings. To complete the thermodynamic cycle, these records must be reset, which costs energy that cancels the previous gain. An important memory record may also be the final state of the work reservoir. This memory record is not reset. Nevertheless, it is rewritten and the associated memory erased whenever the state of the work reservoir is changed during the cycle repeating. The question is, what is the cost of this memory erasure. To answer it, we study a hypothetical cycle in which all memory records are reset except the state of the work reservoir alone, and the ensemble average of the work extracted from an equilibrium heat reservoir during this cycle, 〈W〉, is positive. It is shown that a strong information coupling of the system and the work reservoir then influences the system's dynamics so much that the cycle repeat may exhibit quite different behavior. Especially, it can run reversely and decrease energy in the work reservoir. It implies that even if the memory erasure is a natural part of the process, it costs energy in accord with information thermodynamics. At the nanoscale, this energy cost may manifest as a process obeying the fluctuation theorem.

Heat fluctuation of a harmonically trapped particle in an active bath

We study the heat fluctuation of an overdamped Brownian particle trapped in a harmonic potential and driven by active noise. Employing the phase-space path integral method we derive a general formula for the probability distribution of heat exchange in a generic model of an active bath. The work has been extended by considering two particular models of active noise and computing an exact analytical expression for distribution in Gaussian colored noise and a semianalytical result in the Poissonian bath. We corroborate the fluctuation theorem with our analytical findings by introducing the familiar concept of effective temperature and as a corollary the total entropy production is calculated.

Diffusing up the Hill: Dynamics and Equipartition in Highly Unstable Systems

Stochastic motion of particles in a highly unstable potential generates a number of diverging trajectories leading to undefined statistical moments of the particle position. This makes experiments challenging and breaks down a standard statistical analysis of unstable mechanical processes and their applications. A newly proposed approach takes advantage of the local characteristics of the most probable particle motion instead of the divergent averages. We experimentally verify its theoretical predictions for a Brownian particle moving near an inflection in a highly unstable cubic optical potential. The most likely position of the particle atypically shifts against the force, despite the trajectories diverging in the opposite direction. The local uncertainty around the most likely position saturates even for strong diffusion and enables well-resolved position detection. Remarkably, the measured particle distribution quickly converges to a quasistationary one with the same atypical shift for different initial particle positions. The demonstrated experimental confirmation of the theoretical predictions approves the utility of local characteristics for highly unstable systems which can be exploited in thermodynamic processes to uncover energetics of unstable systems.

Unified Thermodynamic Uncertainty Relations in Linear Response

Thermodynamic uncertainty relations (TURs) are recently established relations between the relative uncertainty of time-integrated currents and entropy production in nonequilibrium systems. For small perturbations away from equilibrium, linear response (LR) theory provides the natural framework to study generic nonequilibrium processes. Here, we use LR to derive TURs in a straightforward and unified way. Our approach allows us to generalize TURs to systems without local time-reversal symmetry, including, e.g., ballistic transport and periodically driven classical and quantum systems. We find that, for broken time reversal, the bounds on the relative uncertainty are controlled both by dissipation and by a parameter encoding the asymmetry of the Onsager matrix. We illustrate our results with an example from mesoscopic physics. We also extend our approach beyond linear response: for Markovian dynamics, it reveals a connection between the TUR and current fluctuation theorems.

Cycling Tames Power Fluctuations near Optimum Efficiency

According to the laws of thermodynamics, no heat engine can beat the efficiency of a Carnot cycle. This efficiency traditionally comes with vanishing power output and practical designs, optimized for power, generally achieve far less. Recently, various strategies to obtain Carnot's efficiency at large power were proposed. However, a thermodynamic uncertainty relation implies that steady-state heat engines can operate in this regime only at the cost of large fluctuations that render them immensely unreliable. Here, we demonstrate that this unfortunate trade-off can be overcome by designs operating cyclically under quasistatic conditions. The experimentally relevant yet exactly solvable model of an overdamped Brownian heat engine is used to illustrate the formal result. Our study highlights that work in cyclic heat engines and that in quasistatic ones are different stochastic processes.

Arcsine Laws in Stochastic Thermodynamics

We show that the fraction of time that a thermodynamic current spends above its average value follows the arcsine law, a prominent result obtained by Lévy for Brownian motion. Stochastic currents with long streaks above or below their average are much more likely than those that spend similar fractions of time above and below their average. Our result is confirmed with experimental data from a Brownian Carnot engine. We also conjecture that two other random times associated with currents obey the arcsine law: the time a current reaches its maximum value and the last time a current crosses its average value. These results apply to, inter alia, molecular motors, quantum dots, and colloidal systems.

Levitated Nanoparticles for Microscopic Thermodynamics-A Review

Levitated Nanoparticles have received much attention for their potential to perform quantum mechanical experiments even at room temperature. However, even in the regime where the particle dynamics are purely classical, there is a lot of interesting physics that can be explored. Here we review the application of levitated nanoparticles as a new experimental platform to explore stochastic thermodynamics in small systems.

Heat leakage in overdamped harmonic systems

We investigate the occurrence of heat leakages in overdamped nonequilibrium Brownian harmonic systems. We exactly compute the underdamped and overdamped stochastic heats exchanged with the bath for a sudden frequency or temperature switch. We show that the underdamped heat reduces to the corresponding overdamped expression in the limit of large friction for the isothermal process. However, we establish that this is not the case for the isochoric transformation. We microscopically derive the additionally generated heat leakage and relate its origin to the initial relaxation of the velocity of the system. Our results highlight the limitations of the overdamped approximation for the evaluation of the stochastic heat in systems with changing bath temperature.

Diverging, but negligible power at Carnot efficiency: Theory and experiment

We discuss the possibility of reaching the Carnot efficiency by heat engines (HEs) out of quasistatic conditions at nonzero power output. We focus on several models widely used to describe the performance of actual HEs. These models comprise quantum thermoelectric devices, linear irreversible HEs, minimally nonlinear irreversible HEs, HEs working in the regime of low-dissipation, overdamped stochastic HEs and an underdamped stochastic HE. Although some of these HEs can reach the Carnot efficiency at nonzero and even diverging power, the magnitude of this power is always negligible compared to the maximum power attainable in these systems. We provide conditions for attaining the Carnot efficiency in the individual models and explain practical aspects connected with reaching the Carnot efficiency at large power output. Furthermore, we show how our findings can be tested in practice using a standard Brownian HE realizable with available micromanipulation techniques.

Stochastic thermodynamics of periodically driven systems: Fluctuation theorem for currents and unification of two classes

Periodic driving is used to operate machines that go from standard macroscopic engines to small nonequilibrium microsized systems. Two classes of such systems are small heat engines driven by periodic temperature variations, and molecular pumps driven by external stimuli. Well-known results that are valid for nonequilibrium steady states of systems driven by fixed thermodynamic forces, instead of an external periodic driving, have been generalized to periodically driven heat engines only recently. These results include a general expression for entropy production in terms of currents and affinities, and symmetry relations for the Onsager coefficients from linear-response theory. For nonequilibrium steady states, the Onsager reciprocity relations can be obtained from the more general fluctuation theorem for the currents. We prove a fluctuation theorem for the currents for periodically driven systems. We show that this fluctuation theorem implies a fluctuation dissipation relation, symmetry relations for Onsager coefficients, and further relations for nonlinear response coefficients. The setup in this paper is more general than previous studies, i.e., our results are valid for both heat engines and molecular pumps. The external protocol is assumed to be stochastic in our framework, which leads to a particularly convenient way to treat periodically driven systems.

Universal Coherence-Induced Power Losses of Quantum Heat Engines in Linear Response

We identify a universal indicator for the impact of coherence on periodically driven quantum devices by dividing their power output into a classical contribution and one stemming solely from superpositions. Specializing to Lindblad dynamics and small driving amplitudes, we derive general upper bounds on both the coherent and the total power of cyclic heat engines. These constraints imply that, for sufficiently slow driving, coherence inevitably leads to power losses in the linear-response regime. We illustrate our theory by working out the experimentally relevant example of a single-qubit engine.

Driven Anisotropic Diffusion at Boundaries: Noise Rectification and Particle Sorting

We study the diffusive dynamics of a Brownian particle in the proximity of a flat surface under nonequilibrium conditions, which are created by an anisotropic thermal environment with different temperatures being active along distinct spatial directions. By presenting the exact time-dependent solution of the Fokker-Planck equation for this problem, we demonstrate that the interplay between anisotropic diffusion and hard-core interaction with the plain wall rectifies the thermal fluctuations and induces directed particle transport parallel to the surface, without any deterministic forces being applied in that direction. Based on current micromanipulation technologies, we suggest a concrete experimental setup to observe this novel noise-induced transport mechanism. We furthermore show that it is sensitive to particle characteristics, such that this setup can be used for sorting particles of different sizes.

Path-integral formalism for stochastic resetting: Exactly solved examples and shortcuts to confinement

We study the dynamics of overdamped Brownian particles diffusing in conservative force fields and undergoing stochastic resetting to a given location at a generic space-dependent rate of resetting. We present a systematic approach involving path integrals and elements of renewal theory that allows us to derive analytical expressions for a variety of statistics of the dynamics such as (i) the propagator prior to first reset, (ii) the distribution of the first-reset time, and (iii) the spatial distribution of the particle at long times. We apply our approach to several representative and hitherto unexplored examples of resetting dynamics. A particularly interesting example for which we find analytical expressions for the statistics of resetting is that of a Brownian particle trapped in a harmonic potential with a rate of resetting that depends on the instantaneous energy of the particle. We find that using energy-dependent resetting processes is more effective in achieving spatial confinement of Brownian particles on a faster time scale than performing quenches of parameters of the harmonic potential.

Feedback traps for virtual potentials

Feedback traps are tools for trapping and manipulating single charged objects, such as molecules in solution. An alternative to optical tweezers and other single-molecule techniques, they use feedback to counteract the Brownian motion of a molecule of interest. The trap first acquires information about a molecule's position and then applies an electric feedback force to move the molecule. Since electric forces are stronger than optical forces at small scales, feedback traps are the best way to trap single molecules without 'touching' them (e.g. by putting them in a small box or attaching them to a tether). Feedback traps can do more than trap molecules: they can also subject a target object to forces that are calculated to be the gradient of a desired potential function U(x). If the feedback loop is fast enough, it creates a virtual potential whose dynamics will be very close to those of a particle in an actual potential U(x). But because the dynamics are entirely a result of the feedback loop-absent the feedback, there is only an object diffusing in a fluid-we are free to specify and then manipulate in time an arbitrary potential U(x,t). Here, we review recent applications of feedback traps to studies on the fundamental connections between information and thermodynamics, a topic where feedback plays an even more fundamental role. We discuss how recursive maximum-likelihood techniques allow continuous calibration, to compensate for drifts in experiments that last for days. We consider ways to estimate work and heat, using them to measure fluctuating energies to a precision of ±0.03 kT over these long experiments. Finally, we compare work and heat measurements of the costs of information erasure, the Landauer limit of kT ln 2 per bit of information erased. We argue that, when you want to know the average heat transferred to a bath in a long protocol, you should measure instead the average work and then infer the heat using the first law of thermodynamics.This article is part of the themed issue 'Horizons of cybernetical physics'.

Colloidal heat engines: a review

Stochastic heat engines can be built using colloidal particles trapped using optical tweezers. Here we review recent experimental realizations of microscopic heat engines. We first revisit the theoretical framework of stochastic thermodynamics that allows to describe the fluctuating behavior of the energy fluxes that occur at mesoscopic scales, and then discuss recent implementations of the colloidal equivalents to the macroscopic Stirling, Carnot and steam engines. These small-scale motors exhibit unique features in terms of power and efficiency fluctuations that have no equivalent in the macroscopic world. We also consider a second pathway for work extraction from colloidal engines operating between active bacterial reservoirs at different temperatures, which could significantly boost the performance of passive heat engines at the mesoscale. Finally, we provide some guidance on how the work extracted from colloidal heat engines can be used to generate net particle or energy currents, proposing a new generation of experiments with colloidal systems.

Mechanical Autonomous Stochastic Heat Engine

Stochastic heat engines are devices that generate work from random thermal motion using a small number of highly fluctuating degrees of freedom. Proposals for such devices have existed for more than a century and include the Maxwell demon and the Feynman ratchet. Only recently have they been demonstrated experimentally, using, e.g., thermal cycles implemented in optical traps. However, recent experimental demonstrations of classical stochastic heat engines are nonautonomous, since they require an external control system that prescribes a heating and cooling cycle and consume more energy than they produce. We present a heat engine consisting of three coupled mechanical resonators (two ribbons and a cantilever) subject to a stochastic drive. The engine uses geometric nonlinearities in the resonating ribbons to autonomously convert a random excitation into a low-entropy, nonpassive oscillation of the cantilever. The engine presents the anomalous heat transport property of negative thermal conductivity, consisting in the ability to passively transfer energy from a cold reservoir to a hot reservoir.

Periodic thermodynamics of open quantum systems

The thermodynamics of quantum systems coupled to periodically modulated heat baths and work reservoirs is developed. By identifying affinities and fluxes, the first and the second law are formulated consistently. In the linear response regime, entropy production becomes a quadratic form in the affinities. Specializing to Lindblad dynamics, we identify the corresponding kinetic coefficients in terms of correlation functions of the unperturbed dynamics. Reciprocity relations follow from symmetries with respect to time reversal. The kinetic coefficients can be split into a classical and a quantum contribution subject to an additional constraint, which follows from a natural detailed balance condition. This constraint implies universal bounds on efficiency and power of quantum heat engines. In particular, we show that Carnot efficiency cannot be reached whenever quantum coherence effects are present, i.e., when the Hamiltonian used for work extraction does not commute with the bare system Hamiltonian. For illustration, we specialize our universal results to a driven two-level system in contact with a heat bath of sinusoidally modulated temperature.

Optimal performance of periodically driven, stochastic heat engines under limited control

We consider the performance of periodically driven stochastic heat engines in the linear response regime. Reaching the theoretical bounds for efficiency and efficiency at maximum power typically requires full control over the design and the driving of the system. We develop a framework which allows us to quantify the role that limited control over the system has on the performance. Specifically, we show that optimizing the driving entering the work extraction for a given temperature protocol leads to a universal, one-parameter dependence for both maximum efficiency and maximum power as a function of efficiency. In particular, we show that reaching Carnot efficiency (and, hence, Curzon-Ahlborn efficiency at maximum power) requires to have control over the amplitude of the full Hamiltonian of the system. Since the kinetic energy cannot be controlled by an external parameter, heat engines based on underdamped dynamics can typically not reach Carnot efficiency. We illustrate our general theory with a paradigmatic case study of a heat engine consisting of an underdamped charged particle in a modulated two-dimensional harmonic trap in the presence of a magnetic field.