Abstract
We considered discrete and continuous representations of a thermodynamic process in which a random walker (e.g., a molecular motor on a molecular track) uses periodically pumped energy (work) to pass N sites and move energetically downhill while dissipating heat. Interestingly, we found that, starting from a discrete model, the limit in which the motion becomes continuous in space and time () is not unique and depends on what physical observables are assumed to be unchanged in the process. In particular, one may (as usually done) choose to keep the speed and diffusion coefficient fixed during this limiting process, in which case, the entropy production is affected. In addition, we also studied processes in which the entropy production is kept constant as at the cost of a modified speed or diffusion coefficient. Furthermore, we also combined this dynamics with work against an opposing force, which made it possible to study the effect of discretization of the process on the thermodynamic efficiency of transferring the power input to the power output. Interestingly, we found that the efficiency was increased in the limit of . Finally, we investigated the same process when transitions between sites can only happen at finite time intervals and studied the impact of this time discretization on the thermodynamic variables as the continuous limit is approached.
Keywords: thermodynamic process, entropy production, discrete state space, continuous state space, stochastic thermodynamics
1. Introduction
Nonequilibrium thermodynamics deals with general laws of a (driven) system transferring energy from one or more heat bath(s) to useful work. The second law, however, restricts this transformation as only part of the input energy may be “accessible”, as the entropy production, related to heat production, must not decrease [1,2,3]. The “system” is usually described by many degrees of freedom, e.g., gas particles with individual fluctuating trajectories, where the exchanged heat and the extracted work are determined from statistical averages over all these particles trajectories [4]. For “small” systems, such as (bio)polymers, colloid particle, enzymes, or molecular motors, the dynamics is described by only few degrees of freedom and the fluctuation of individual “state” trajectories becomes more prominent [3,5,6]. Notably, it has been shown, e.g., see Refs. [7,8,9], that the resulting (relative) fluctuations of a statistical averaged observable, like the number of steps R of a molecular motor mimicked by a random walk along a track of molecules, can be related to the entropy production. A relative uncertainty or fluctuation of the motor steps along the molecular track with the diffusion coefficient D and velocity v requires at least an entropy production rate of . This leads to the inequality, known as the thermodynamic uncertainty relation (TUR) [7,8]:
(1) |
Different approaches are used for describing small system dynamics including fluctuations and the resulting (stochastic) thermodynamic properties. Two of these approaches have been prominently elaborated in recent years [3]:
(i) Dynamics on a discrete set of states: A system is described by its microstates whose dynamics is captured by a master equation. The rates to interchange between microstates is governed by the local detailed balance relation determined by a thermal bath [3];
(ii) Dynamics on continuous trajectories: Consideration of individual continuous trajectories of a (driven) colloidal particle whose velocity is described by a Langevin equation where the probability distributions of a particle at position x with velocity v and diffusion D are determined by the Fokker–Planck equation.
Starting from discrete set of states, we can approximate the dynamics by a continuous description, such as the Fokker–Planck equation by standard procedures like the Kramers–Moyal expansion, when (infinite) many states may be visited during the time of observation, e.g., a chemical reaction network of multiple reaction steps [10,11,12,13,14]. Similarly, starting from a continuous description for the dynamics, a discrete representation is obtained by standard mathematical steps of replacing derivatives by finite difference quotients. While such mathematical transformations are expected to lead to equivalent descriptions of the underlying physics, we show below that not all physical observables can be kept invariant under such transformations. In particular, we show that the discrete to continuous limiting process is not unique and depends on which observables are chosen to be invariant under this process. Recent studies have already shown that the entropy production might differ under different coarse-graining schemes since, under coarse-graining, some “information” is lost while also the mathematical derivation of the differential entropy starting from the discrete Shannon entropy has revealed some discrepancy (Remark: Note that the Shannon entropy is defined for a discrete propability distribution of i states (each state with the respective probability ). Going to the continuous state-space description for the probability distribution , the continuous entropy differs by a potentially infinite offset (since for ), which needs to be substracted, see discussion in [15]. However for the discussion on entropy production (change in entropy and its change per time (entropy production rate)), we note that the infinte offset vanishes) [15,16,17]. Here, we suggest a different point of view by showing that it is possible to impose an invariant entropy production (or a given heat exchanged with the thermal environment) when proceeding from the discrete to the continuous description of the system dynamics. Under such restriction, some other system observable cannot be kept invariant. Alternatively, one may even ask whether this observation may be translated into realistic system processes. Put differently, can we, by adding intermediate states between an initial and a target state, optimize the process of transferring input energy into useful work.
The aim of the present manuscript is to investigate the transition from a discrete to a continuous state-space system for an exactly solvable master equation by keeping distinct system observables constant while studying the impact on other observables. Explicitly, we consider a simple model: a Brownian particle moving on a downhill slope with an energy-pumping step taking place at constant length intervals L that restores the energy of the particle into its initial value, which represents a cycle. In the discrete representation, the particle is a random walker moving among N equally spaced sites per fixed length L. represents the continuous limit for the cyclic dynamics. More details about the model are provided in Section 2. Other processes with period boundary conditions can be mapped into this form. One realization of such a process for walking in discrete steps is that of molecular motors, which transform free energy liberated in a chemical reaction by a succession of steps on a track into mechanical work (motion) [5,8]. Driven rotational Brownian particles through periodic potential wells to experimentally test thermodynamics laws represent another example, though there are many others [18]. Given the specific chosen conditions, like constant speed v and the entropy production rate of the cycle, we can study the diffusion coefficient D in dependence of the number of sites N per cycle and the continuous limit when . Interestingly, under an additional action of an opposing force during the process under study, we can also determine the impact of the number of sites per cycle on thermodynamic performance by transferring input energy into useful work. Furthermore, when keeping the energy drop per cycle and the speed constant, we interestingly found that, in the limiting case , the diffusion coefficient (equivalent to the variance in the site distribution) approaches the thermal Einstein relation when , which is usually only expected for small velocities in the linear response limit of small driving.
The paper is structured as follows. In Section 2, we describe the cyclic process as biased random between (energy) sites governed by a master equation restricted by periodic boundary conditions. We further discuss the implication for the entropy and heat production. In Section 3, we study the entropy production rate and heat transfer rate into the environment of the cyclic process given the velocity v and diffusion constant D for different number of sites N in the dynamical (relaxation from initial site) and in a steady state. We then determine the performance in transferring input power to useful output power for the cycle process under an opposing force by varying N and, so, by going from the discrete to the continuous () state space. In Section 4, we study the transition to given constant entropy production for the process, and, under either constant velocity v or diffusion coefficient D. The impact on the respective system variable when increasing N is discussed. Section 5 is devoted to examining the randomness parameter of the cycle, which is dependent on the number of sites N, while maintaining various physical observables as constants. Through this randomness factor, we can also determine the variance in the cycle completion time and study its dependence on N. In Section 6, we investigate the process by the same biased random walk, but where the system evolves at finite time intervals, and study the impact of this time discretization on the entropy production and diffusion coefficient. Section 7 concludes this work.
2. Cyclic Process
We consider a cyclic process, where the sites are aligned on a circle such that each site has two neighboring sites with the periodic boundary condition with . The process dynamics is captured by a biased one-step random walk with forward and backward transfer rates and , which are equal at each site, such that the classical (Markovian) master equation for the probability distribution of the n-site of the cycle reads [10,13,14]
(2) |
Starting from a well-defined site at , one finds in the limit of long times the (nonequilibrium) steady-state distribution for the n site to be (see Appendix C). When writing the master Equation (2) in the form , we see that the matrix M is irreducible with the dominant eigenvalue while all other eigenvalues have a strictly negative real part according to the Perron–Frobenius theorem, signaling the existence of a stable steady-state vector [19,20]. While our cyclic process can take place in the state space of any given system, it is convenient to consider the equivalent random walk with forward and backward rates and on a cycle of constant circumference . In this equivalent random walk problem, the velocity v and diffusion constant D at steady state are defined by [14]
(3) |
and
(4) |
where is the equidistant step size, with R and N being the radius of the cycle and the number of total sites N of the cycle, respectively. Evidently, the time for completing a full cycle is .
The transition between the neighboring sites, , are considered as autonomous Markov jump processes where each site has its energy . Thermodynamic consistency is introduced by the local detailed balance condition
(5) |
where, for simplicity, we assume isothermal conditions with T on all sites, and where is taken to be the same for all nearest neighbor sites. Note that we count the heat exchange with the bath as , i.e., if , the amount of heat is taken from the system to the bath; while the environment provides heat to the system if . This implies that during a cycle, the amount of heat is dissipated, so may be compared to a downhill process of energy loss . To remain consistent with the periodic boundary conditions, we further assume that, between sites N and , an upward energy jump occurs, in which the same amount of work, , is returned to the system.
Next, we calculate the time-dependent change of the Boltzmann–Gibbs entropy, , [2,21] for the system using the master Equation (2). We obtain
(6) |
(7) |
(8) |
Note that in Equation (6), we could replace by because the sum that multiplies vanishes. The result (8) can be recast in the form , [22,23] where, using ,
(9) |
and
(10) |
Next, we show that the first term (Equation (9)) is the entropy flow into the environment, while the second term is the entropy production rate (Equation (10)).
Consider first Equation (9). Because the rates and were assumed not to depend on the site identity, is time-independent. can be written as
(11) |
where is the cumulative flux: the sum over nearest neighbor site-pair fluxes (see first expression in Equation (9)). Q is the heat exchanged during a single nearest neighbor transfer event with the environment according to the local detailed balance relation in Equation (5). The product in Equation (11) is the heat flux into the thermal environment of temperature T per cycle. For the given model, this heat exchange is time-independent.
According to the Clausius principle, the change in system entropy is bounded by the (negative) heat amount exchanged with the environment where equality is reached for reversible processes [1]. Motivated by this inequality, one defines the total entropy production rate by . Indeed, the second term (Equation (10)) meets the two important properties: (i) It is non-negative because the first term in Equation (8) can be recast into ; and (ii) it vanishes for thermal equilibrium, when microscopic reversibility or the detailed balance condition, , is obeyed and no entropy is produced. In a (nonequilibrium) steady state, Equation (6) is zero and the entropy production equals the negative entropy flow into the environment , Refs. [23,24].
In the following, we investigate the entropy production rate and the physical measurable entropy or heat flow into the environment for the prototype N-site cyclic process given different conditions. In particular, we are interested in the limit to investigate the transition from the discrete to the continuous state space.
3. N-Site Cyclic Process under Constant Velocity v and Diffusion Constant D
We first consider the dependence of the number of sites N per cycle on the system that is performed under the conditions that (a) the speed v (Equation (3)) and (b) the diffusion constant D (Equation (4)) are kept constant. The first condition requires that the time, , for a full completion of the cycle remains constant. Together with the second condition, the forward and backward rate must depend on N. We obtain
(12) |
(13) |
To ensure the positivity of the rate (13), , it immediately follows that . Note that under the conditions restricted by Equations (12) and (13), the detailed balance relation (Equation (5)) will be a nonlinear function of N.
Consider the entropy production rate (Equation (10)) given a well-defined initial cycle site at , so . The entropy production rate (the entropy produced per unit time) decreases over time before reaching a (N-dependent) steady-state value, see Figure 1.
This observation can be understood as follows. Initially, the system starts at a given site and evolves in its cyclic dynamics according to the master Equation (2). At later time t, the system will be found at a given site n with probability (see Appendix A, Appendix B and Appendix C). The loss of the initial “knowledge” about the exact system site n increases the entropy of the system. As the probability distribution relaxes to its steady-state distribution (see Appendix C), the entropy production rate, , decreases to its steady-state value
(14) |
Note that entropy is produced at constant rate when running the cyclic process under steady-state conditions. Interestingly, as seen in Figure 1, the more sites N are included in the cycle of finite length the faster the entropy production rate decreases to its steady-state value. At steady state, the entropy production equals the negative (in this model time-independent) entropy flow into the environment .
Consider the N-dependence of the the steady-state entropy production rate for an N-site cycle, Equation (14). The dependence is shown in Figure 2. For , the steady-state entropy production rate (14) is reduced to . This minimum entropy production rate in this limit can be understood as the forward and backward rates (Equations (12) and (13)) become more alike. Therefore, consecutive transitions between sites n and become more time-symmetric and less entropy per step, , is produced.
Interestingly, for , the TUR relation, the minimal required entropy production rate for a given relative fluctuation (as introduced in Equation (1) for a molecular motor moving along a molecular track) states equality, . In this limit, the dynamics of the cyclic process is comparable to a continuous Brownian diffusive motion of a particle of constant speed v and diffusion D described by a Fokker–Planck equation [25].
Assume that a forward (downhill) step on the cycle takes place against a constant applied force f. Then, the local detail balance relation (5) must be redefined by , as part of the energy per step is transferred to work , where is the step size. We defined the system’s heat exchange per step with the bath as , while is the amount of heat taken from the system to the bath. At steady state, the heat flow from the system into the bath is , see discussion in Section 2. The power output per cycle when running against the force at steady state is
(15) |
In Equation (15), is the probability flux between neighboring sites and where . By the first law of thermodynamics, the total supplied power must be such that we can define the thermodynamic efficiency as [8]
(16) |
where , Equation (14), depends on the total number of sites N per cycle. The cycle can be compared to a process of going down a slope against a constant force and with friction. The friction force is usually taken as such that the related heat dissipated in the cycle per unit time is . By identifying , we can calculate the friction coefficient for the present cycle process using Equation (14). Note that, as expected, the friction coefficient goes to its linear response value for a small velocity, , independent of N. Surprisingly, as depicted in the inset of Figure 3, also takes the same value for finite v in the limit of . In this limit, the system assumes some features similar to equilibrium even though the flux is finite. Not only in the limit , but also in the limiting process can be compared to thermodynamic cycles where the system changes adiabatically slowly to always be in thermal equilibrium throughout the process.
Equivalently, in the limit , we can write the thermodynamic efficiency (16) as
(17) |
Note that in the limit of linear response the velocity v and force f are linearly related by the mobility . Assuming the Einstein relation holds under linear response such that the efficiency in the limit reach .
Figure 3 portrays the efficiencies for different N. As expected, the efficiency increases with N as less heat will be produced per cycle given constant power output P. Interestingly, the slower the chosen velocity v, the more one can reach maximal efficiency. The efficiency is bound from above, , while equality is reached for or , , see Equation (17). The last conditions, however, do not produce useful output power, as the cycle will stop.
4. Cyclic Process with Constant Velocity v or Diffusion Constant D and Constant Energy Drop Per Cycle
As stated in the introduction, the process of going to the continuous description for the state-space dynamics () is not unique. We, therefore, use the same methodology as above to describe the unicyclic process as a 1D random walk at steady state but where we now require the total entropy produced per cycle to be constant (given by the constant energy drop per cycle) and either (A) the velocity v or (B) the diffusion coefficient D to be constant. We assume that all energy invested into the system is dissipated as heat to the environment, so . The steady-state entropy production is
(18) |
where N is the total number of sites. At steady state, the entropy production equals the heat going into the environment, see Section 2.
(A) Given the constant velocity v, Equation (3), the forward and backward rates are
(19) |
(20) |
where R is the radius of the cycle (see Section 2).
(B) Given the constant diffusion coefficient D, Equation (4), the forward and backward rates are
(21) |
(22) |
Consider first case (A). Equation (4) with Equations (19) and (20) leads to
(23) |
which is shown in Figure 4. The diffusion coefficient decreases with increasing N. As the diffusion coefficient is the variance of the site distribution on our equivalent cycle, see Equation (4), the related fluctuations in localization of a site is reduced during a cycle with an increase in N. Assuming that the energy falls uniformly along the cycle, so that , we find that, in the regime of linear response and in the limit , the diffusion coefficient is captured by the (Einstein) relation with the mobility and the related force in analogue to the friction coefficient (as discussed in Section 3) [26,27].
Next, consider case (B). Equation (3) with Equations (21) and (22) leads to the velocity on N
(24) |
The velocity v increases with N and so the time of a full completion of the system cycle is reduced and minimizes for , see Figure 5.
5. Randomness Parameter and Variance in Cycle Completion Time
In the previous Section 3 and Section 4, we analyzed, for a biased random process, the dependence of different physical observables on the number intermediate sites N taken to complete a given cycle of operation, as a way to demonstrate the nonuniqueness of going to the continuous limit () of this process. Another perspective of this problem is studied in Refs. [28,29,30,31], where the values of physical observables associated with enzyme-catalyzed cycles were used to set bounds on the number of intermediate cycle steps (Note that in difference to enzymic cycles where the step size is considered as constant, we reduce the stepsize in a cycle of finite lenght with increasing N to study the impact of the limit on the physical observables). It was pointed out that, in addition to the average speed v and diffusion coefficient D, their ratio provides important information on the observed walk statistics [28,29,30,31]. Explicitly, we characterize the random process in terms of their forward and backward rates, and , respectively, and an equidistant step length . If the process starts at and a random site n is reached at time t, then the process will be on average at site , whilst the random diffusive process produces a variance in the site by , see Equations (3) and (4) in the limit . These two quantities can be combined into a randomness parameter, which, for the given step size , reads [28,29,30,31]
(25) |
where v and D are defined by Equations (3) and (4), respectively. Alternatively, we may consider the random passage time at which, starting from , the walk reached the site N for the first time, namely, a distance from the starting point. For walks of uniform step length and finite bias, it has been shown [28,29] that, for a large enough N, the randomness parameter can be expressed in terms of the first two moments of the passage time distribution
(26) |
where is the average time for a cycle completion and is its variance. Note that for many enzyme reaction cycles, the backward reaction rates are often sufficiently low as to be negligible. In such cases, the pathway consists of a sequence of N forward reactions only and the randomness parameter () can be used to estimate the minimal number of kinetic sites that compose the underlying kinetic model [29,31]. In general, when considering forward and backward steps and using the average cycle completion time , we can calculate the variance in cycle completion time to
(27) |
We can now apply the results of Section 3 and Section 4 to examine the behavior of these observables in our different limiting cases. In our case, N corresponds to the number of sites per cycle and, consequently, is the time for the process to complete the cycle. Increasing N is achieved by eventually approaching a continuous description, so the cycle length is kept fixed.
Consider first the condition of a constant velocity and diffusion constant by increasing the number of sites N, see Section 3. Using Equations (12) and (13) in (25), the randomness parameter is
(28) |
and is linear in N.
Next, for the condition of constant entropy production per cycle under either constant velocity v or constant diffusion D, see Section 4, we find in both cases, using the respective rates in Equations (19) and (20) or Equations (21) and (22), the randomness parameter to be
(29) |
The randomness parameter (29) is determined by the number of sites N and the thermodynamic entropy production or heat dissipation into the environment, which equals, when neglecting the movement against an external force, the energy drop per cycle, see Section 2. Note that r tends to infinity in the limit and in the continuous limit since both limits reflect the equilibrium situation where forward and backward rates will be alike. In the limit , given finite N, we find , which is expected for the so-called “Poisson” motion since the infinite energy drop per cycle leads to an unidirectional motion [28].
With the randomness parameter at hand, we can now study the variance in the cycle completion time (Equation (27)). It has been shown that, for a biased random walk for a large N, the average completion time [32]. Consider first the cases (A) of keeping the velocity and diffusion coefficient constant and (B) keeping the entropy production per cycle and velocity constant. We find for (A) the given Equation (28), together with Equations (12) and (13) in Equation (27), where , the variance in cycle completion time to be
(30) |
and, equivalent for case (B), by using Equation (29), together with Equations (19) and (20) in Equation (27)
(31) |
In both Equations (30) and (31), the variance in the cycle completion time increases monotonously with the site number N. This reflects the fact that, with an increasing number of sites N per cycle, the intersite rates become more alike, which increases the overall “randomness”, and, thus, for the total cycle completion.
In contrast, when N is changed while keeping a constant diffusion coefficient and entropy production, Equation (26), together with (24) and (29) lead to
(32) |
Interestingly, goes through a minimum with increasing site number N, see Figure 6. It should be kept in mind, however, that Equation (26) and, consequently, Equation (27), were derived under the assumption that N is large so that this observation should not be regarded as conclusive.
6. N-Site Process with Time Step Discretization
Consider now the same biased random walk process in which a cycle of length is traversed in N steps, so that , but where the system is restricted to move (by intersite distance ) only at finite time intervals . Indeed, small systems which are periodically driven can be thought of as discrete-time processes, see [33]. As shown below, and are not independent of each other but some freedom exists in their choices. is the energy drop per such cycle (see Section 2, and recall that determines the detailed balance ratio of the forward and backward rates according to Equation (5)). The probability to be at site n, namely, at position on the cycle at time , is governed by the Makrov chain (Note that in contrast to other descriptions of random walks in forms of a discrete Markov chain, e.g,. for waiting time distributions [34], where after a time interval, sampled from such a distribution, a “jump” always happens with constant probabilities p and for a forward backward jump, respectively, here, the “walker” can also remain at its original position after and where the probabilities depend linearly on ) [34]
(33) |
Here, and are the probabilities (both assumed linear in ) to move a step forward and backward, respectively. Note that has to be imposed in Equation (33) to ensure positivity. As before, the process has periodic boundaries so that, after the final site has been reached, it restarts at the beginning and its original energy is restored by some external work reservoir between sites N and (see discussion in Section 2). We use this model to study the effect of time discretization on the dynamical properties of the process. To calculate the velocity v and diffusion coefficient D, we determine the generating function where the moments can be calculated by . For the initial condition (so that ), we find the generating function to be
(34) |
The velocity and diffusion coefficient are determined as follows. Starting at , we find in the long time limit (at steady state) (see details in Appendix D)
(35) |
(36) |
The velocity v, Equation (35), is the same as in the continuous time case (Equation (3)), whereas the diffusion coefficient in Equation (36) is smaller by in comparison to the continuous time case of Equation (4). Refs. [35,36] associate the bigger variance in the continuous-time master equation with higher fluctuations in the total number of hops observed in a given time interval. Next, consider the process as N increases. As in Section 3 and Section 4, we may consider an increase in N while keeping v and D constant or while keeping only one of them together with constant. As examples of the effect of moving in discrete time steps, we study the cases (A) constant v and D and (B) constant v and .
(A) Keeping v and D constant, we scale the rates again analog to Equations (19) and (20) with the total site number N (given by the intersite distance )
(37) |
(38) |
Note that the modification of the rates and depends on . As before, this rescaling also implies a change in (see discussion in Section 3) so that the detailed balance relation is maintained. The condition in Equation (33) together with Equations (37) and (38) restricts the choices for given to
(39) |
which implies that and cannot be assigned independently of each other. In the limit (), this inequality (Equation (39)) becomes .
Next, consider the entropy production for this discrete hopping process. The average entropy change per step is
(40) |
where the two terms represent the entropy change in a forward and backward step multiplied by the probabilities that the respective step occurs. The rate of entropy change at steady state (the entropy production rate) is given by
(41) |
Interestingly, comparing the resulting expression (41) to its analog (14) for the continuous master equation, we obtain a similar result, but with an additional term added to the diffusion constant. The additional term effectively modifies the TUR relation (Equation (1)) as the relative uncertainty changes. A similar observation was made in Ref. [37]. The resulting entropy production rate in Equation (41) for a given site number N per cycle is reduced if we choose a finite (given the restriction on choices of by Equation (39)), see Figure 7. This might be understood since, during a given time interval, the variance in position x on the cycle is reduced ((Equation (36)) by allowing intersite hops only in intervals . In the continuous limit (, and ), however, Equation (41) yields
(42) |
which is the same result as that obtained in this limit in Section 3 (see Equation (14)).
(B) Next, consider the dependence on N under the condition of a constant energy drop per cycle and constant velocity v. This is the analogue consideration as in Section 4, but where the intersite hops are only allowed at time intervals (which are restricted by the given N according to Equation (46) below). We assume that all energy invested into the system is dissipated as heat into the environment, so the steady-state entropy production per cycle is
(43) |
where N is the total number per cycle.
Given the constant velocity, Equation (35), the forward and backward rates are equivalent to Equations (19) and (20):
(44) |
(45) |
The restriction in Equation (33), together with Equations (44) and (45), limits the choices for given to
(46) |
In the limit ( and ), the inequality in Equation (46) becomes .
For a given N and , the time step needs to satisfy the inequality (46). Here, we take
(47) |
with and use Equation (36) to obtain
(48) |
Interestingly, the dependence on time discretization translates here to a dependence of D on the choice of a, see Figure 8. Given N for different finite time (scaled between ), the diffusion coefficient, and consequently, the variance in , are strongly reduced for increasing (less fluctuations in the total number of transitions for finite ). As expected, in the limit and , the diffusion constant takes the form with the mobility and the corresponding force , [26,27], see discussion in Section 4. Therefore, given the chosen and its above-discussed effect on D, the latter increases or decreases with N to the final value as depicted in Figure 8.
To summarize this section, when describing the dynamics of a (cyclic) process in discrete time intervals, the thermodynamic properties of the process, e.g., the entropy production or diffusion coefficient, are affected by this time discretization. The discretization in time, however, cannot be chosen arbitrarily but must obey the bounds given by the state-space discretization of the process. If the process dynamics become continuous state-space dynamics (), the time evolution needs to be described by intervals , i.e., equivalently by a continuous time scale and all effects vanish.
7. Conclusions
In this paper, we investigate a cyclic and unithermal thermodynamic process using a model of a biased random walk between N sites on a cycle of a given length with an exact solvable master equation. We note that many dynamical site (state)-space processes with periodic boundary conditions may be equivalently mapped to this process. The limit corresponds to the continuous limit that is usually captured by a Fokker–Planck equation. This limit is taken by keeping low order moments of system observables, i.e., the velocity v and diffusion coefficient D, constant. We show that the entropy produced, or, equivalently, the energy drop per cycle, is reduced when moving towards this continuous description. This has direct consequences for the efficiency of transferring input power into useful output power when an opposing force acts on the cyclic process. In particular, more power can be extracted from the process with an increasing number of sites N per cycle length.
An important outcome of our analysis is that the procedure in going to the continuous description of the process is not unique and depends on the physical observables that are assumed to be invariant under this limiting process. In addition to taking the limit while keeping v and D constant, we also analyzed this limiting process while keeping v or D and constant. Interestingly, considering the limiting process under constant v and , we show that the diffusion coefficient D for a finite cycle velocity v in the limit takes the same value as in linear response limit. Additionally, when analyzing the cycle randomness statistics and, in particular, the variance in the cycle completion time , we found that, with increasing N, increases, signaling the increasing randomness in the cycle. Finally, we studied the dependence on N in the case where the transitions between sites are only allowed at fixed time intervals . We found that not only the entropy production rate per cycle (when v and D are kept constant), but also the diffusion coefficient D (when v and are kept constant), are strongly affected by the way time discretization is introduced for a given N.
In conclusion, one can use the total site number N as a control parameter to design “useful” physical and thermodynamic (cycle) processes by keeping desirable observables constant and affecting others. It may provide valuable insights into the engineering of small (molecular) machines capable of performing specific tasks with high efficiency and precision. Further investigations of the discrete to continuous transition in state space and its potential impact on information-to-work conversion are avenues for future research.
Appendix A. Three-Site Cycle
Consider a three site system with sites and 3 where the transition rates and . The master equation can be written as
(A1) |
Assuming the initial condition , the probabilities to be on site n have the solution
(A2) |
(A3) |
(A4) |
where and .
The entropy production rate for the three site system reads
(A5) |
(A6) |
and the (constant) entropy flow
(A7) |
At stationary state, the entropy production and flow satisfy .
Appendix B. Four-Site Cycle
With the same methodology as before but now with four sites in a cycle, we find
(A8) |
(A9) |
(A10) |
(A11) |
where and . The entropy production rate for the four site system reads
(A12) |
(A13) |
(A14) |
and the (constant) entropy flow
(A15) |
At stationary state, the entropy production and flow satisfy .
Appendix C. N-Site Cycle
We perform a discrete Fourier transform of the master Equation (2) we obtain with where . We obtain
(A16) |
(A17) |
Its solution reads
(A18) |
where we assumed . We now perform a little algebraic transformation in Equation (A18):
(A19) |
(A20) |
(A21) |
The Fourier back transform then reads
(A22) |
where . The stationary state is reached for . In this case, only the term with in Equation (A23). The mode corresponds to and . In this limit
(A23) |
where we assume to start a specific site, say at , so . The probabilities in the stationary state become constant and independent of the site n. The other eigenvalues determine the relaxation time of the mode s and, thus, how quick the stationary state is reached. For and finite s, we find
(A24) |
Appendix D. Discretization in Time Space
To calculate the velocity v and diffusion constant D, we determine the generating function where the moments can be by . For the initial condition , we find the generating function to be
(A25) |
where .
The first moment can be determined to be
(A26) |
The second moment reads
(A27) |
(A28) |
The variance can then be found to be
(A29) |
Author Contributions
Conceptualization, H.K. and A.N.; investigation, H.K.; writing—original draft preparation, H.K.; writing—review and editing, H.K. and A.N.; funding acquisition, A.N. All authors have read and agreed to the published version of the manuscript.
Institutional Review Board Statement
Not applicable.
Informed Consent Statement
Not applicable.
Data Availability Statement
The data presented in this study are available on request from the corresponding author.
Conflicts of Interest
The authors declare no conflict of interest.
Funding Statement
This work has been supported by the U.S. National Science Foundation under the Grant No. CHE1953701 and the University of Pennsylvania.
Footnotes
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
References
- 1.Clausius R. Ueber eine veränderte Form des zweiten Hauptsatzes der mechanischen Wärmetheorie. Ann. Phys. Chem. 1854;93:81–98. doi: 10.1002/andp.18541691202. [DOI] [Google Scholar]
- 2.Boltzmann L. Über die Beziehung eines allgemeinen mechanischen Satzes zum zweiten Hauptsatze der Wärmetheorie. Sitz.-Ber. Akad. Wiss. 1877;75:67–73. [Google Scholar]
- 3.Seifert U. Stochastic thermodynamics, fluctuation theorems and molecular machines. Rep. Prog. Phys. 2012;75:126001. doi: 10.1088/0034-4885/75/12/126001. [DOI] [PubMed] [Google Scholar]
- 4.Sekimoto K. Stochastic Energetics (Lecture Notes in Physics, 799) Springer; Heidelberg, Germany: Dordrecht, The Netherlands: London, UK: New York, NY, USA: 2010. [Google Scholar]
- 5.Seifert U. Efficiency of Autonomous Soft Nanomachines at Maximum Power. Phys. Rev. Lett. 2011;106:020601. doi: 10.1103/PhysRevLett.106.020601. [DOI] [PubMed] [Google Scholar]
- 6.Einax M., Nitzan A. Maximum efficiency of state-space models of nanoscale energy conversion devices. J. Chem. Phys. 2016;145:014108. doi: 10.1063/1.4955160. [DOI] [PubMed] [Google Scholar]
- 7.Barato A.C., Seifert U. Thermodynamic Uncertainty Relation for Biomolecular Processes. Phys. Rev. Lett. 2015;114:158101. doi: 10.1103/PhysRevLett.114.158101. [DOI] [PubMed] [Google Scholar]
- 8.Pietzonka P., Barato A.C., Seifert U. Universal bound on the efficiency of molecular motors. J. Stat. Mech. Theory Exp. 2016;2016:124004. doi: 10.1088/1742-5468/2016/12/124004. [DOI] [Google Scholar]
- 9.Dechant A., Sasa S. Current fluctuations and transport efficiency for general Langevin systems. J. Stat. Mech. Theory Exp. 2018;2018:063209. doi: 10.1088/1742-5468/aac91a. [DOI] [Google Scholar]
- 10.Van Kampen N. Stochastik Processes in Physics and Chemistry. North-Holland; Amsterdam, The Netherlands: 1992. [Google Scholar]
- 11.Kramers H. Brownian motion in a field of force and the diffusion model of chemical reactions. Physica. 1940;7:284–304. doi: 10.1016/S0031-8914(40)90098-2. [DOI] [Google Scholar]
- 12.Moyal J. Stochastic processes and statistical physics. J. R. Stat. Soc. Ser. B. 1949;11:120–150. doi: 10.1111/j.2517-6161.1949.tb00030.x. [DOI] [Google Scholar]
- 13.Risken H. The Fokker-Planck Equation. Methods of Solution and Applications. 2nd ed. Springer; Berlin/Heidelberg, Germany: 1996. [Google Scholar]
- 14.Nitzan A. Chemical Dynamics in Condensed Phases. 1st ed. Oxford University Press, Inc.; New York, NY, USA: 2006. [Google Scholar]
- 15.Jaynes E. Information Theory and Statistical Mechanics. Brandeis University Summer Institute Lectures in Theoretical Physics; Waltham, MA, USA: 1963. pp. 182–218. [Google Scholar]
- 16.Esposito M. Stochastic thermodynamics under coarse graining. Phys. Rev. E. 2012;85:041125. doi: 10.1103/PhysRevE.85.041125. [DOI] [PubMed] [Google Scholar]
- 17.Busiello D.M., Maritan A. Entropy production in master equations and Fokker–Planck equations: Facing the coarse-graining and recovering the information loss. J. Stat. Mech. Theory Exp. 2019;2019:104013. doi: 10.1088/1742-5468/ab363e. [DOI] [Google Scholar]
- 18.Toyabe S., Sagawa T., Ueda M., Muneyuki E., Sano M. Experimental demonstration of information-to-energy conversion and validation of the generalized Jarzynski equality. Nat. Phys. 2010;6:988–992. doi: 10.1038/nphys1821. [DOI] [Google Scholar]
- 19.Perron O. Zur Theorie der Matrices. Math. Ann. 1907;64:248–263. doi: 10.1007/BF01449896. [DOI] [Google Scholar]
- 20.Frobenius F. Ueber Matrizen Aus Nicht Negativen Elementen. Sitzungberichte der Preussischen Akademie der Wissenschaft, Preussische Akademie der Wissenschaft; Berlin, Germany: 1912. pp. 456–477. [Google Scholar]
- 21.Gibbs J.W. Elementary Principles in Statistical Mechanics. Ox Bow Press; Woodbridge, CT, USA: 1981. [Google Scholar]
- 22.Schnakenberg J. Network theory of microscopic and macroscopic behavior of master equation systems. Rev. Mod. Phys. 1976;48:571–585. doi: 10.1103/RevModPhys.48.571. [DOI] [Google Scholar]
- 23.Esposito M., Van den Broeck C. Three faces of the second law. I. Master equation formulation. Phys. Rev. E. 2010;82:011143. doi: 10.1103/PhysRevE.82.011143. [DOI] [PubMed] [Google Scholar]
- 24.Tomé T., de Oliveira M.J. Entropy Production in Nonequilibrium Systems at Stationary States. Phys. Rev. Lett. 2012;108:020601. doi: 10.1103/PhysRevLett.108.020601. [DOI] [PubMed] [Google Scholar]
- 25.Cocconi L., Garcia-Millan R., Zhen Z., Buturca B., Pruessner G. Entropy Production in Exactly Solvable Systems. Entropy. 2020;22:1252. doi: 10.3390/e22111252. [DOI] [PMC free article] [PubMed] [Google Scholar]
- 26.Einstein A. Über die von der molekularkinetischen Theorie der Wärme geforderte Bewegung von in ruhenden Flüssigkeiten suspendierten Teilchen. Ann. Der Phys. 1905;322:549–560. doi: 10.1002/andp.19053220806. [DOI] [Google Scholar]
- 27.von Smoluchowski M. Zur kinetischen Theorie der Brownschen Molekularbewegung und der Suspensionen. Ann. Der Phys. 1906;326:756–780. doi: 10.1002/andp.19063261405. [DOI] [Google Scholar]
- 28.Svoboda K., Block S.M. Biological Applications of Optical Forces. Annu. Rev. Biophys. Biomol. Struct. 1994;23:247–285. doi: 10.1146/annurev.bb.23.060194.001335. [DOI] [PubMed] [Google Scholar]
- 29.Schnitzer M.J., Block S.M. Statistical Kinetics of Processive Enzymes. Cold Spring Harb. Symp. Quant. Biol. 1995;60:793–802. doi: 10.1101/SQB.1995.060.01.085. [DOI] [PubMed] [Google Scholar]
- 30.Thomas N., Imafuku Y., Tawada K. Molecular motors: Thermodynamics and the random walk. Proc. Biol. Sci. 2001;268:2113–2122. doi: 10.1098/rspb.2001.1764. [DOI] [PMC free article] [PubMed] [Google Scholar]
- 31.Moffitt J.R., Chemla Y.R., Bustamante C. Chapter Ten—Methods in Statistical Kinetics. In: Walter N.G., editor. Single Molecule Tools, Part B: Super-Resolution, Particle Tracking, Multiparameter, and Force Based Methods. Volume 475. Academic Press; Cambridge, MA, USA: 2010. pp. 221–257. [DOI] [PubMed] [Google Scholar]
- 32.Khantha M., Balakrishnan V. First passage time distributions for finite one-dimensional random walks. Pramana-J. Phys. 1983;21:111–122. doi: 10.1007/BF02894735. [DOI] [Google Scholar]
- 33.Rosas A., Van den Broeck C., Lindenberg K. Stochastic thermodynamics for a periodically driven single-particle pump. Phys. Rev. E. 2017;96:052135. doi: 10.1103/PhysRevE.96.052135. [DOI] [PubMed] [Google Scholar]
- 34.Klafter J., Sokolov M. First Steps in Random Walks: From Tools to Applications. Oxford University Press; New York, NY, USA: 2011. [Google Scholar]
- 35.Koza Z. General technique of calculating the drift velocity and diffusion coefficient in arbitrary periodic systems. J. Phys. A Math. Gen. 1999;32:7637–7651. doi: 10.1088/0305-4470/32/44/303. [DOI] [Google Scholar]
- 36.Chiuchiù D., Pigolotti S. Mapping of uncertainty relations between continuous and discrete time. Phys. Rev. E. 2018;97:032109. doi: 10.1103/PhysRevE.97.032109. [DOI] [PubMed] [Google Scholar]
- 37.Proesmans K., den Broeck C.V. Discrete-time thermodynamic uncertainty relation. Europhys. Lett. 2017;119:20001. doi: 10.1209/0295-5075/119/20001. [DOI] [Google Scholar]
Associated Data
This section collects any data citations, data availability statements, or supplementary materials included in this article.
Data Availability Statement
The data presented in this study are available on request from the corresponding author.