Abstract
We discuss the Monge problem of mass transportation in the framework of stochastic thermodynamics and revisit the problem of the Landauer limit for finite-time thermodynamics, a problem that got the interest of Krzysztof Gawedzki in the last years. We show that restricted to one dimension, optimal transportation is efficiently solved numerically by well-known methods from differential equations. We add a brief discussion about the relevance this has on optimising the processing in modern computers.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The last decades have seen an increased interest in establishing a thermodynamic understanding of nonequilibrium processes occurring in small systems. However, unlike macroscopic systems to which thermodynamics apply, small systems are characterised by relatively large fluctuations and time scales that are comparable to their relaxation times, rendering a thermodynamic description inappropriate.
A great advance in our understanding of the thermodynamics of small systems has been made in the last decades due mainly to two developments [13]: on the one hand, the discovery of the nonequilibrium fluctuation relations [11], relating the statistics of molecular fluctuations with the microscopic symmetries of the dynamics of small systems far from equilibrium, and ultimately giving theoretical support for the validity of the second law of thermodynamics [10, 12, 14, 18, 23], and on the other hand, the development of stochastic thermodynamics that derives a thermodynamic framework valid for the single fluctuating trajectories [21, 27,28,29]. These results have been successfully applied to a broad range of disciplines, including physics [9], chemistry [25], biological systems [27], active matter [30], and computer processing [33], among a host of many others.
One such nonequilibrium process is life itself, maintained at the molecular level by molecular motors determining the finely tuned kinetics of the cell. Molecular motors are responsible of essential life processes such as vesicle transport or cell division [15, 26], and the synthesis of ATP [31]. Notwithstanding the strong fluctuations these molecular complexes display, it is of central importance to understand the efficiency molecular motors operate.
Another instance in which efficiency plays a central role is that of processing in modern computers. On the one hand, every computation involves an energetic thermodynamic cost. On the other hand, due to the miniaturisation of computer processors, modern transistors operate at scales at which stochastic thermodynamics applies. However, scaling of computer transistors presents nowadays technological challenges, mostly related to the increase in dissipation, thus limiting the scaling up in the number of transistors and therefore, the possible optimisation of the speed of computation [22]. This calls for the development of highly efficient computing processes that operate at minimal dissipation.
A fundamental process for computers is that of memory erasure. The minimal amount of energy required to erase a bit of memory is given by the celebrated Landauer limit [17], stating an energetic lower bound of \(k_\mathrm {B}T \ln 2\), where T is the temperature and \(k_\mathrm {B}\) the Boltzmann constant. This energy is eventually dissipated into the environment as heat. The Landauer limit is achieved when the erasure of a bit occurs along a quasistatic process. In practice, memory swaps happen at finite short time scales in a process which is inherently noisy and out of equilibrium.
Fourteen years ago Krzysztof got interested on the mathematical formalisation of (at that time incipient area), nonequilibrium fluctuation relations [8], as well as on the Landauer limit [1].
The memory erasure process can be stated as a finite-time nonequilibrium process between an initial state at which a bit is observed to be in a specific state and a final state in which the bit is absent, and indeed the Landauer limit was experimentally verified like this [4]. In general, an external control on the nonequilibrium transition can be devised to obtain optimal processes that minimise, e.g. dissipation [2, 24]. In particular, in Ref. [2] such optimisation was shown to be solved for the Langevin dynamics in the overdamped limit by the Monge–Kantorovich optimal mass transport and the Burgers equation. This is particularly relevant in computer processing as there one searches for minimal dissipation but at the same time, fast processing.
In 2012, Krzysztof and his colleagues published a paper [1] in which they related the Landauer Principle [17] to the Monge–Kantorovich optimal mass transport. In a talk by Krzysztof in Geneva in April 2013, “2nd law of thermodynamics for fast random processes” he showed how the Landauer Principle is related to an overdamped Langevin evolution from an initial state to a different final state. In discussions with him, the question came up on how to efficiently and precisely compute the dissipated energy. There were many methods around at the time, and Krzysztof based his discussion on the papers by Benamou and Brenier [6, 7]. He also gave a sequence of 3 talks in Helsinki on this subject “Fluctuations relations in stochastic thermodynamics” where an extensive list of references can be found [13]. Since the authors of [1] restricted the discussion to 1 dimension, one can use methods from differential equations which are more precise than the methods used in that paper. This will be part of our contribution, which illustrates the breath of Krzysztof’s interests and competence. We miss him.
2 Stochastic Thermodynamics
We consider finite-time nonequilibrium transitions in d dimensions, with dynamics described by the Langevin equation in the overdamped limit
where \(U({\varvec{x}}_t,t)\) is a smooth control potential and \({\varvec{\xi }}_t\) white noise with zero mean \(\langle \mathrm {d}{\varvec{\xi }}^i_t \rangle = 0\), and covariance \(\langle \mathrm {d}{\varvec{\xi }}^i_t \ \mathrm {d}{\varvec{\xi }}^j_{t^\prime } \rangle = 2 D^{ij} \delta (t-t^\prime ) \mathrm {d}t\).
The diffusion matrix D and mobility matrix \(\mu \) appearing above, are assumed positive and satisfying the Einstein relation \( D = k_\mathrm {B}T \mu \) where \(k_\mathrm {B}\) is the Boltzmann constant, so that the noise models the fluctuations of a thermal bath at temperature T.
During the nonequilibrium transition, we assume that the control potential changes from \(U({\varvec{x}}_0 ,0) = V_i({\varvec{x}})\) at time \(t=0\) to \(U({\varvec{x}}_\tau ,\tau ) = V_f({\varvec{x}})\) at time \(t=\tau \). Given an initial probability density \(\varrho ({\varvec{x}}_0,0) = \varrho _i(x)\), \({\varvec{x}}_t\) defines a Markov diffusion process for times \(t>0\), with generator
The probability density evolves according to the Fokker–Planck equation
where
is the adjoint of \(\mathcal {L}_t\).
Following Ref. [28], the energy balance for the single fluctuating trajectories of the process Eq. (1) leads to the framework of stochastic thermodynamics, developed to give a thermodynamic description to small systems in contact with a heat bath and driven out of equilibrium (see, e.g. Refs. [21, 27] for a modern review).
Defining the work done on the system during the time interval \(\tau \) as
and the heat released by the system into the environment in the Stratonovich convention as
the balance
with \(\Delta U = U({\varvec{x}}_\tau ,\tau ) - U({\varvec{x}}_0 ,0)\), expresses the conservation of energy that holds for every fluctuating trajectory of the transition process, in analogy to the first law of thermodynamics.
To obtain a fluctuating version of the second law of thermodynamics, we first notice that the entropy change associated with the transition from time 0 to \(\tau \), can be split into two contributions
The first term on the right-hand side of Eq. (3) corresponds to the entropy change of the system due to the evolution of the probability density
where
is simply the Gibbs–Shannon entropy with respect to the instantaneous probability density.
The second contribution on the right-hand side of Eq. (3) corresponds to the change of entropy of the environment due to the dissipated heat
where \(\langle Q \rangle \) is the mean heat released during the transition.
To obtain the second law, it is expedient to define the current velocity of the process \({\varvec{v}}({\varvec{x}}_t,t)\) [20]. We first note that the instantaneous probability density for a Markov diffusion process can be written as
Moreover, the Fokker–Planck equation (2), yielding the evolution of \(\varrho ({\varvec{x}}_t,t)\) can be rewritten as the advection equation
in the current velocity defined as
The current velocity, defined through an appropriate limiting procedure [1, 3, 20], has the interpretation of the mean local velocity of the process \({\varvec{x}}_t\). Correspondingly, in terms of the current velocity, the Fokker–Planck equation is equivalent to deterministic mass transport.
Now, using Eq. (6), the entropy change of the system Eq. (4) can be written after integration by parts as
where \({\dot{S}}_{\mathrm {sys}}\) is the time derivative of \(S_{\mathrm {sys}}\).
In the same way, the change of entropy of the environment becomes
Combining both contributions and using Eq. (7), the total entropy change Eq. (3) becomes
This expression implies immediately the fluctuating analogue of the second law of thermodynamics, namely
3 The Optimal Mass Transport
The mass transport problem was first considered by Gaspard Monge in 1781 [19]. Roughly speaking, the problem consists in calculating the most economic way of moving a volume of mass between two places. The modern approach of Monge’s optimal mass problem was formalised by Kantorovich in 1942 [16] (see also [6, 32]). Optimal mass transport is nowadays referred as the Monge–Kantorovich problem. Here we adopt Monge’s exposition.
Let \(\varrho _i(x)\) and \(\varrho _f(x)\) be two probability densities, bounded and with compact support in the reals, and satisfying
The optimisation problem is to find an invertible smooth map \(\varphi := {\varvec{x}}_f({\varvec{x}}_i)\), that is measure preserving, namely
and minimises the objective function
where \(\mathcal {C}\left( {\varvec{x}},{\varvec{x}}_f({\varvec{x}})\right) \) is the cost transporting the unit mass from its initial distribution \(\varrho _i\) into a final distribution \(\varrho _f\). In its original formulation, Monge considered the Euclidean distance as the cost function \(\mathcal {C}\left( {\varvec{x}},{\varvec{x}}_f({\varvec{x}})\right) =\left| {\varvec{x}}- {\varvec{x}}_f({\varvec{x}})\right| \). However, the cost function can be taken as \(\mathcal {C}\left( {\varvec{x}},{\varvec{x}}_f({\varvec{x}})\right) =\left| {\varvec{x}}- {\varvec{x}}_f({\varvec{x}})\right| ^r\). We will show that the case \(r=2\) is particularly relevant to formulate a refined Landauer limit for finite-time processes. This case was solved by Benamou and Brenier in 1999 [7], and was used by Krzysztof and colleagues in 2012 in relation to the Landauer limit [1].
4 Minimal Dissipation Memory Erasure
The second law states that for any thermodynamic transformation between two given initial and final states, the total entropy change must be positive, such as in Eq. (11). This is valid for any thermodynamic transformation, even for quasistatic processes occurring infinitely slowly.
Consider now a thermodynamic transformation constrained to be completed in a fixed finite time \(\tau \). Dissipation is naturally expected to be larger than in the quasistatic transformation, and the question that arises is: what is the minimal possible dissipation produced in a finite-time transformation? This question was answered in Ref. [1] for isothermal stochastic systems with Langevin dynamics in the overdamped limit of Sect. 2.
This question is particularly relevant to computer processing. Landauer cost of information processing, stating that the erase of a bit of information is performed at a cost of no less than \(k_\mathrm {B}T \ln 2\) dissipated heat [17]. The Landauer limit continues to be the main reference in information processing because the process of bit erasure is the elementary operation that produces maximal dissipation in universal computing with transistor logic gates [22].
In this section, we review briefly this optimal solution by following Ref. [1].
Consider the stochastic process \({\varvec{x}}_t\) of Eq. (1), driven out of equilibrium by the control \(U({\varvec{x}}_t,t)\) from a state \(\varrho _i({\varvec{x}})\) at time \(t=0\) to a state \(\varrho _f({\varvec{x}})\) at time \(t=\tau \). The goal is to obtain the optimal choice of the control \(U({\varvec{x}}_t,t)\) minimising the dissipation, as given by Eq. (10), required to drive the system along such transformation, over all the densities \(\varrho ({\varvec{x}}_t,t)\) and all velocity fields \({\varvec{v}}({\varvec{x}}_t,t)\) satisfying Eq. (6), under the constraint
In other words, we need to minimise the functional
Apart from a factor \(\tau \), the minimisation of Eq. (15) over the fields \(\varrho ({\varvec{x}}_t,t)\) and \({\varvec{v}}({\varvec{x}}_t,t)\) subject to Eqs. (6) and (14), was solved by Benamou and Brenier [7] (see also [1]). There it was shown that the optimal velocity current minimising Eq. (15) is gradient
where \(\phi ({\varvec{x}}_t,t)\) is convex and a solution of the Hamilton–Jacobi equation. Equation (16) implies that the optimal solution corresponds, through Eq. (7), to the optimal control \(U({\varvec{x}}_t,t)\), and that \({\varvec{v}}\) is also the local velocity of the optimal control.
Restricting ourselves to smooth velocity fields \({\varvec{v}}\) such that the Lagrangian trajectories \({\varvec{x}}(t)\) satisfy \({\dot{{\varvec{x}}}}(t) = {\varvec{v}}({\varvec{x}}(t),t)\), the solution to the advection equation (6) is given by
where \({\varvec{x}}(t;{\varvec{x}}_i)\) denotes the Lagrangian trajectory that at time \(t=0\) passes through \({\varvec{x}}_i\). Under the controlled transformation, the Lagrangian map \({\varvec{x}}_i \mapsto {\varvec{x}}_f({\varvec{x}}_i)\) should transport the initial density \(\varrho _i\) into the final density \(\varrho _f\).
Substituting Eq. (17) into Eq. (15), we can replace the minimisation of the functional \(\mathcal {A}\) over the velocity fields \({\varvec{v}}\) into the minimisation of
over the Lagrangian flows satisfying \({\varvec{x}}_i \mapsto {\varvec{x}}({\varvec{x}}_i,\tau ) \equiv {\varvec{x}}_f({\varvec{x}}_i)\) such that
This constraint is equivalent to
where \(\frac{\partial ({\varvec{x}}_f({\varvec{x}}_i))}{\partial ({\varvec{x}}_i)}\) is the Jacobean of the Lagrangian map. We require the Lagrangian map to be smooth and invertible, with a smooth inverse \({\varvec{x}}_f \mapsto {\varvec{x}}_i({\varvec{x}}_f)\).
Minimising first over time under the above constraints we realise that for a positive definite matrix \(\mu \) the minimal Lagrangian trajectories correspond to straight lines
Therefore, the optimal solution is completed once the functional
is minimised over all Lagrangian maps \({\varvec{x}}_i \mapsto {\varvec{x}}_f({\varvec{x}}_i)\).
Equation (20) corresponds to the Monge–Kantorovich transportation problem of Eq. (13), with a quadratic cost, solved in Ref. [7], and in Refs. [1,2,3] in the context of stochastic thermodynamics. In Ref. [2] it was shown that minimisation of Eq. (20) is solved by the Burgers equation over the velocity potential \(\phi \), and mass transport by the Burgers velocity field Eq. (6).
Once the minimiser \({\varvec{x}}_f({\varvec{x}}_i) \) is obtained, the minimal value of the functional Eq. (15) is
where \(\mathcal {C}_{\mathrm {min}}\) is the value of the quadratic cost Eq. (20) over the minimiser Lagrangian map Eq. (19). Then it follows that the minimum entropy production during a transition from \(\varrho _i({\varvec{x}})\) to \(\varrho _f({\varvec{x}})\) satisfying Eq. (12) in a fixed time \(\tau \) is
Finally, Eq. (5) and the value Eq. (21) yield a Landauer bound for the average dissipated heat during the erasure of one bit of information in overdamped Langevin dynamics
5 Numerical Solution of the Assignation Problem
Given an initial \(\varrho _i({\varvec{x}})\) and final \(\varrho _f({\varvec{x}})\) densities, in this section we deal with the problem of solving numerically the assignation problem to find the minimiser of the Lagrangian map. This was done in Ref. [1] by means of several methods. Direct integration of the constraint Eq. (18) was found to become unstable at values of \({\varvec{x}}_i\) for which the derivative \(\mathrm {d}{\varvec{x}}_f({\varvec{x}}_i)/\mathrm {d}{\varvec{x}}_i\) diverges (and similarly for the inverse map). Similar problems were also found using a rearrangement “auction” algorithm [5]. After discussing this with Krzysztof in Geneva in 2012, we decided to use another, hopefully faster and more precise method. In the rest of this section, we show its implementation and discuss its performance and general limitations.
We assume that \(\varrho _i({\varvec{x}})\) and \(\varrho _f({\varvec{x}})\) are given and without loss of generality, satisfy Eq. (12). The minimiser of the Lagrangian map, namely the optimal map \({\varvec{x}}_i \mapsto {\varvec{x}}_f({\varvec{x}}_i)\) that transports \(\varrho _i\) into \(\varrho _f\) and minimises the cost Eq. (20), satisfies Eq. (18).
We consider the optimal mass transport that was considered in Ref. [1]:
where \(Z_i\) and \(Z_f\) are normalisation factors so that Eq. (12) is satisfied, and the constants \(a=112\,k_\mathrm {B}\,T\,\mu \mathrm {m}^{-4}\) and \(\alpha =0.5\,\mu \mathrm {m}\) were chosen to match the experimental realisation of Ref. [4]. As a matter of fact, Eq. (1) models the dynamics in the experiment with a mobility \(\mu = \frac{0.213877}{k_\mathrm {B}T} \frac{\mu \mathrm {m}^{2}}{s}\). Furthermore, the control potential \(U({\varvec{x}}_t,t)\) is effectively one-dimensionalFootnote 1. The initial and final densities of Eq. (22) are shown in Fig. 1.
The minimiser of the Lagrangian map, namely the optimal map \({\varvec{x}}_i \mapsto {\varvec{x}}_f({\varvec{x}}_i)\) that transports \(\varrho _i\) into \(\varrho _f\) and minimises the cost Eq. (20), satisfies
for all \({\varvec{x}}_i\), and uniqueness is guaranteed if for each \({\varvec{x}}_i\) one chooses the minimal \({\varvec{x}}_f({\varvec{x}}_i)\).
However, a basic problem to take into account when solving Eq. (23) is that, if we are given \(\varrho _i\) and \(\varrho _f\) then the normalisation of the integrals is only numerically guaranteed to the available precision of the computer. This implies that the numerical solution ceases to exist at the ends of the supports of \(\varrho _i\) and \(\varrho _f\).
To have a better control over this difficulty one can solve the equivalent constraint Eq. (18), that in one dimension reads
The problem of finding the minimiser map is simply transformed into solving an ODE. Eq. (24) defines a vector field in the \((x_i \, x_f)\) plane that can be easily obtained numericallyFootnote 2. For any point in this plane, the vector field determines the local evolution of Eq. (24). We show this in Fig. 2 for a number of points \((x_i \, x_f)\) chosen randomly.
Note that the vector field is not really defined, outside the central region (the central lobe in Fig. 2), as the problem has infinite derivatives in the vertical direction. The same happens at the left and right ends of the central area where the derivatives are zero and thus, the inverse of the Lagrangian map is not well defined.
In view of Fig. 2, solving Eq. (24) requires to choose appropriate initial conditions. It is clear that it is a good idea to start somewhere in the centre, at some height \(y\sim 0.5\) and to integrate both backwards and forwards. Up to numerical precision of about \(10^{-20}\) we found that integrating backwards from \(x_i=0\) fixed, the best numerical initial condition is \(x_f=\,\,\,0.493113178303063601340966142029819\) and when integrating forwards
\(x_f=0.493113178303063601752771313946797\).
These values represent the numerical possibilities for the example of Eq. (22). They were obtained by shooting as follows: we start with \(x_f=0.5\), which is about the centre of Fig. 2. We integrate backwards and check for which \(x_i\) the solution ceases to exist, either because the solution blows up (the graph is vertical), or the solution becomes constant (the graph is horizontal). We then try another value of \(x_f(0)\) (e.g. \(x_f=0.46\)), measure the divergence value for this new initial condition, and then solve by bisection for better and better values of \(x_f(0)\) until the value of \(x_i\) at which divergence is observed, cannot be improved any more.
To exemplify our shooting, the approximations through the bisection procedure are shown in Fig. 3 for the backward integration (left panel) and forward integration (right panel). We needed about 110 iterations to reach the maximal precision. The speed of convergence can certainly be improved by, e.g. quadratic interpolation.
The solution we obtain in this way is shown in Fig. 4 as the blue curve. It yields a discrete approximation of the minimiser of the continuous Lagrangian map, that can be improved by increasing the numerical precision.
Finally, since the current velocity is gradient (see Eq. (16)), the current velocity is simply the time derivative of Eq. (19) and the optimal control potential is obtained from Eq. (7) (see Ref. [1] for further details).
6 Conclusions
In this paper, we have explored the numerical solution of the Monge problem of optimal transportation, applied to the bit erasure problem and the Landauer limit explored by Krzysztof in Ref. [1].
The densities of Eq. (22) are appropriate to discuss the problem of erasing a bit: At the initial time \(t=0\), the probability for a particle to be at the left (around \(x=-0.5\)), or at the right (around \(x=0.5\)), is the same. This corresponds to the bit to be in state 0 or 1 with equal probability, and is well described by a Gibbs state \(\varrho _i\propto \exp \left( -\frac{1}{k_\mathrm {B}T} V_i(x)\right) \) of Eq. (22), with a potential \(V_i(x)\) with two symmetric wells separated by a sufficiently high barrier. At final time \(t=\tau \), the final Gibbs states \(\varrho _f\) corresponds to a potential with only one of the two wells, in our case to a well centred at \(x=0.5\). This means the final state of the bit is 1, irrespective of its initial state.
The particular choice of Eq. (22) was obtained to reasonably match those used in the experiment reported in Ref. [4]. The entropy change between \(\varrho _i\) and \(\varrho _f\) is \(\Delta S_\mathrm {sys} \approx -0.74312 k_\mathrm {B}\), slightly smaller than \(-(\ln 2) k_\mathrm {B}\).
To obtain the minimal dissipated heat during this transition, we reduced the optimal mass transport in one dimensions to an ODE problem, and showed that shooting allows to find the optimal solution through bisection. The crucial information to obtain a convergent method was the knowledge of the vector field of the solution space (see Fig. 2).
Plugging the solution of the minimiser Lagrangian map into Eq. (20), we obtain the minimal cost \(\mathcal {C}_\mathrm {min} = 1.98897268 k_\mathrm {B}T\). In conclusion, erasing a bit through a transformation whose dynamics is described by Eq. (1) evolving in a finite time \(\tau \) between the states of Eq. (22) can be performed by an average dissipated heat which is
We consider the value of the minimal cost that we obtained an improvement to the value \(1.996 k_\mathrm {B}T\) that Krzysztof obtained in [1]. We wish we could have discussed this with him.
Notes
In [4], the experimental potential along the other two dimensions is simply confining and time independent.
Here and in what follows, the numerical solutions are given in units of \(k_\mathrm {B}T\).
References
Aurell, E., Gawedzki, K., Mejía-Monasterio, C., Mohayaee, R., Muratore-Ginanneschi, P.: Refined second law of thermodynamics for fast random processes. J. Stat. Phys. 147, 487–505 (2012)
Aurell, E., Mejía-Monasterio, C., Muratore-Ginanneschi, P.: Optimal protocols and optimal transport in stochastic thermodynamics. Phys. Rev. Lett. 106, 250601 (2011)
Aurell, E., Mejía-Monasterio, C., Muratore-Ginanneschi, P.: Boundary layers in stochastic thermodynamics. Phys. Rev. E 85, 020103 (2012)
Berut, A., Arakelyan, A., Petrosyan, A., Ciliberto, S., Dillenschneider, R., Lutz, E.: Experimental verification of Landauer’s principle linking information and thermodynamics. Nature 483, 187 (2012)
Brenier, Y., Frisch, U., Hénon, M., Loeper, G., Matarrese, S., Mohayaee, R., Sobolevskiĭ, A.: Reconstruction of the early Universe as a convex optimization problem. Mon. Not. R. Astron. Soc. 346(2), 501–524 (2003)
Brenier, Y., Benamou, J.-D.: A computational fluid mechanics solution to the Monge–Kantorovich mass transfer problem. Numer. Math., 84, 375 (1999)
Brenier, Y., Benamou, J.-D.: A numerical method for the optimal time-continuous mass transport problem and related problems, pp. 1–11. American Mathematical Society, Providence RI (1999)
Chetrite, R., Gawȩdzki, K.: Fluctuation relations for diffusion processes. Commun. Math. Phys. 282, 469–518 (2007)
Ciliberto, S.: Experiments in stochastic thermodynamics: short history and perspectives. Phys. Rev. X 7, 021051 (2017)
Evans, D.J., Searles, D.J.: Equilibrium microstates which generate second law violating steady states. Phys. Rev. E 50, 1645 (1994)
Evans, D.J., Cohen, E.G.D., Morriss, G.P.: Probability of second law violations in shearing steady states. Phys. Rev. Lett., 71, 2401–2404 (1993)
Gallavotti, G., Cohen, E.G.D.: Dynamical ensembles in nonequilibrium statistical mechanics. Phys. Rev. Lett. 74, 2694 (1995)
Gawedzki, K.: Fluctuation relations in stochastic thermodynamics (2013)
Jarzynski, C.: Nonequilibrium equality for free energy differences. Phys. Rev. Lett. 78, 2690 (1997)
Jülicher, F., Ajdari, A., Prost, J.: Modeling molecular motors. Rev. Mod. Phys. 69, 1269–1282 (1997)
Kantorovich, L.: On the translocation of masses. (Doklady) Acad. Sci. URSS (N.S.), 37, 199-201 (1942)
Landauer, R.: Irreversibility and heat generation in the computing process. IBM J. Res. Dev. 5, 183–191 (1961)
Lebowitz, J.L., Spohn, H.: A Gallavotti–Cohen-type symmetry in the large deviation functional for stochastic dynamics. J. Stat. Phys. 95, 333 (1999)
Monge, G.: Mémoire sur la théorie des déblais et des remblais. Imprimerie royale (1781)
Nelson, E.: Dynamical Theories of Brownian Motion. Princeton University Press (1967)
Peliti, L., Pigolotti, S.: Stochastic Thermodynamics: An Introduction. Princeton University Press (2021)
Ray, K.J., Crutchfield, J.P.: Gigahertz sub-Landauer momentum computing (2022)
Rondoni, L., Mejia-Monasterio, C.: Fluctuations in nonequilibrium statistical mechanics: models, mathematical theory, physical mechanisms. Nonlinearity 20, R1 (2007)
Schmiedl, T., Seifert, U.: Optimal finite-time processes in stochastic thermodynamics. Phys. Rev. Lett. 98(10), 108301 (2007)
Schmiedl, T., Seifert, U.: Stochastic thermodynamics of chemical reaction networks. J. Chem. Phys. 126(4), 044101 (2007)
Seifert, U.: Stochastic thermodynamics of single enzymes and molecular motors. Eur. Phys. J. E 34, 26 (2011)
Seifert, U.: Stochastic thermodynamics, fluctuation theorems and molecular machines. Rep. Prog. Phys. 75(12), 126001 (2012)
Sekimoto, K.: Langevin equation and thermodynamics. Prog. Theor. Phys. Suppl. 180, 17 (1998)
Sekimoto, K.: Stochastic Energetics. Lecture Notes in Physics. Springer, Berlin (2010)
Speck, T.: Stochastic thermodynamics for active matter. EPL (Europhys. Lett.) 114(3), 30006 (2016)
Toyabe, S., Watanabe-Nakayama, T., Okamoto, T., Kudo, S., Muneyuki, E.: Thermodynamic efficiency and mechanochemical coupling of f<sub>1</sub>-atpase. Proc. Natl. Acad. Sci. 108(44), 17951–17956 (2011)
Villani, C.: Topics in Optimal Transportation. Graduate Studies in Mathematics. American Mathematical Society (2003)
Wolpert, D.H.: The stochastic thermodynamics of computation. J. Phys. A Math. Theor., 52(19):193001 (2019)
Acknowledgements
JPE has profited from Swissmap (Fonds National Suisse). CMM acknowledges financial support from the Spanish Government grant PID2021-127795NB-I00 (MCIU/AEI/FEDER, UE), and in part by the International Centre for Theoretical Sciences (ICTS) for the online programme—“Classical and Quantum Transport Processes: Current State and Future Directions” (code: ICTS/ctqp2022/1). We thank E. Hairer and G. Wanner for very helpful discussions.
Funding
Open access funding provided by University of Geneva
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Antti Kupiainen.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Eckmann, JP., Mejía-Monasterio, C. Revisiting the Monge Problem in the Landauer Limit. Ann. Henri Poincaré 25, 481–495 (2024). https://doi.org/10.1007/s00023-022-01244-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-022-01244-3