Speed Limit for a Highly Irreversible Process and Tight Finite-Time Landauer's Bound.

Landauer's bound is the minimum thermodynamic cost for erasing one bit of information. As this bound is achievable only for quasistatic processes, finite-time operation incurs additional energetic costs. We find a tight finite-time Landauer's bound by establishing a general form of the classical speed limit. This tight bound well captures the divergent behavior associated with the additional cost of a highly irreversible process, which scales differently from a nearly irreversible process. We also find an optimal dynamics which saturates the equality of the bound. We demonstrate the validity of this bound via discrete one-bit and coarse-grained bit systems. Our Letter implies that more heat dissipation than expected occurs during high-speed irreversible computation.

Validity of annealed approximation in a high-dimensional system.

This study investigates the suitability of the annealed approximation in high-dimensional systems characterized by dense networks with quenched link disorder, employing models of coupled oscillators. We demonstrate that dynamic equations governing dense-network systems converge to those of the complete-graph version in the thermodynamic limit, where link disorder fluctuations vanish entirely. Consequently, the annealed-network systems, where fluctuations are attenuated, also exhibit the same dynamic behavior in the thermodynamic limit. However, a significant discrepancy arises in the incoherent (disordered) phase wherein the finite-size behavior becomes critical in determining the steady-state pattern. To explicitly elucidate this discrepancy, we focus on identical oscillators subject to competitive attractive and repulsive couplings. In the incoherent phase of dense networks, we observe the manifestation of random irregular states. In contrast, the annealed approximation yields a symmetric (regular) incoherent state where two oppositely coherent clusters of oscillators coexist, accompanied by the vanishing order parameter. Our findings imply that the annealed approximation should be employed with caution even in dense-network systems, particularly in the disordered phase.

Fluctuation theorems and entropy production with odd-parity variables.

We show that the total entropy production in stochastic processes with odd-parity variables (under time reversal) is separated into three parts, only two of which satisfy the integral fluctuation theorems in general. One is the usual excess contribution that can appear only transiently and is called nonadiabatic. Another one is attributed solely to the breakage of detailed balance. The last part that does not satisfy the fluctuation theorem comes from the steady-state distribution asymmetry for odd-parity variables that is activated in a nontransient manner. The latter two parts combine together as the housekeeping (adiabatic) contribution, whose positivity is not guaranteed except when the excess contribution completely vanishes. Our finding reveals that the equilibrium requires the steady-state distribution symmetry for odd-parity variables independently, in addition to the usual detailed balance.

Multiple dynamic transitions in nonequilibrium work fluctuations.

The time-dependent work probability distribution function P(W) is investigated analytically for a diffusing particle trapped by an anisotropic harmonic potential and driven by a nonconservative drift force in two dimensions. We find that the exponential tail shape of P(W) characterizing rare-event probabilities undergoes a sequence of dynamic transitions in time. These remarkable locking-unlocking type transitions result from an intricate interplay between a rotational mode induced by the nonconservative force and an anisotropic decaying mode due to the conservative attractive force. We expect that most of the high-dimensional dynamical systems should exhibit similar multiple dynamic transitions.

Thermodynamic trade-off relation for first passage time in resetting processes.

Resetting is a strategy for boosting the speed of a target-searching process. Since its introduction over a decade ago, most studies have been carried out under the assumption that resetting takes place instantaneously. However, due to its irreversible nature, resetting processes incur a thermodynamic cost, which becomes infinite in the case of instantaneous resetting. Here, we take into consideration both the cost and the first passage time (FPT) required for a resetting process, in which the reset or return to the initial location is implemented using a trapping potential over a finite but random time period. An iterative generating function and a counting functional method à la Feynman and Kac are employed to calculate the FPT and the average work for this process. From these results, we obtain an explicit form of the time-cost trade-off relation, which provides the lower bound of the mean FPT for a given work input when the trapping potential is linear. This trade-off relation clearly shows that instantaneous resetting is achievable only when an infinite amount of work is provided. More surprisingly, the trade-off relation derived from the linear potential seems to be valid for a wide range of trapping potentials. In addition, we have also shown that the fixed-time or sharp resetting can further enhance the trade-off relation compared to that of the stochastic resetting.

Rectification of spatial disorder.

We demonstrate that a large ensemble of noiseless globally coupled-pinned oscillators is capable of rectifying spatial disorder with spontaneous current activated through a dynamical phase transition mechanism, either of first or second order, depending on the profile of the pinning potential. In the presence of an external weak drive, the same collective mechanism can result in an absolute negative mobility, which, though not immediately related to symmetry breaking, is most prominent at the phase transition. Our results apply to a tug-of-war by competing molecular motors for bidirectional cargo transport.

Effects of the non-Markovianity and non-Gaussianity of active environmental noises on engine performance.

An active environment is a reservoir containing active materials, such as bacteria and Janus particles. Given the self-propelled motion of these materials, powered by chemical energy, an active environment has unique, nonequilibrium environmental noise. Recently, studies on engines that harvest energy from active environments have attracted a great deal of attention because the theoretical and experimental findings indicate that these engines outperform conventional ones. Studies have explored the features of active environments essential for outperformance, such as the non-Gaussian or non-Markovian nature of the active noise. We systematically study the effects of the non-Gaussianity and non-Markovianity of active noise on engine performance. We show that non-Gaussianity is irrelevant to the performance of an engine driven by any linear force (including a harmonic trap) regardless of time dependency, whereas non-Markovianity is relevant. However, for a system driven by a general nonlinear force, both non-Gaussianity and non-Markovianity enhance engine performance. Also, the memory effect of an active reservoir should be considered when fabricating a cyclic engine.

Self-repelling bipedal exploration process.

A self-repelling two-leg (biped) spider walk is considered where the local stochastic movements are governed by two independent control parameters ß_{d} and ß_{h}, so that the former controls the distance (d) between the legs positions, and the latter controls the statistics of self-crossing of the traversed paths. The probability measure for local movements is supposed to be the one for the "true self-avoiding walk" multiplied by a factor exponentially decaying with d. After a transient behavior for short times, a variety of behaviors have been observed for large times depending on the value of ß_{d} and ß_{h}. Our statistical analysis reveals that the system undergoes a crossover between two (small and large ß_{d}) regimes identified in large times (t). In the small ß_{d} regime, the random walkers (identified by the position of the legs of the spider) remain on average in a fixed nonzero distance in the large time limit, whereas in the second regime (large ß_{d}), the absorbing force between the walkers dominates the other stochastic forces. In the latter regime, d decays in a power-law fashion with the logarithm of time. When the system is mapped to a growth process (represented by a height field which is identified by the number of visits for each point), the roughness and the average height show different behaviors in two regimes, i.e., they show a power law with respect to t in the first regime and logt in the second regime. The fractal dimension of the random walker traces and the winding angle are shown to consistently undergo a similar crossover.

Universal form of thermodynamic uncertainty relation for Langevin dynamics.

The thermodynamic uncertainty relation (TUR) provides a stricter bound for entropy production (EP) than that of the thermodynamic second law. This stricter bound can be utilized to infer the EP and derive other tradeoff relations. Though the validity of the TUR has been verified in various stochastic systems, its application to general Langevin dynamics has not been successfully unified, especially for underdamped Langevin dynamics, where odd parity variables in time-reversal operation such as velocity get involved. Previous TURs for underdamped Langevin dynamics are neither experimentally accessible nor reduced to the original form of the overdamped Langevin dynamics in the zero-mass limit. Here, we find a TUR for underdamped Langevin dynamics with an arbitrary time-dependent protocol, which is operationally accessible when all mechanical forces are controllable. We show that the original TUR is a consequence of our underdamped TUR in the zero-mass limit. This indicates that the TUR formulation presented here can be regarded as the universal form of the TUR for general Langevin dynamics.

Brownian heat engine with active reservoirs.

Microorganisms such as bacteria are active matter which consume chemical energy and generate their unique run-and-tumble motion. A swarm of such microorganisms provide a nonequilibrium active environment whose noise characteristics are different from those of thermal equilibrium reservoirs. One important difference is a finite persistence time, which is considerably large compared to that of the equilibrium noise, that is, the active noise is colored. Here we study a mesoscopic energy-harvesting device (engine) with active reservoirs harnessing this noise nature. For an exactly solvable linear model, we show that the performance from the active environment can surpass that from the equilibrium environment. Furthermore, we propose a proper definition of the active-reservoir temperature and show that the engine efficiency can overcome the conventional Carnot bound, thus the power-efficiency trade-off constraint is released. We also show that the efficiency at the maximum power can surpass the Curzon-Ahlborn efficiency. This remarkable enhancement originates from the extra unconventional entropy production beyond the conventional Clausius entropy production, due to the non-Markovian nature of the active reservoirs. Interestingly, the supremacy of the active engine critically depends on the timescale symmetry of two active reservoirs.

Exactly solvable two-terminal heat engine with asymmetric Onsager coefficients: Origin of the power-efficiency bound.

An engine producing a finite power at the ideal (Carnot) efficiency is a dream engine which is not prohibited by the thermodynamic second law. Some years ago, a two-terminal heat engine with asymmetric Onsager coefficients in the linear response regime was suggested by Benenti et al. [Phys. Rev. Lett. 106, 230602 (2011)10.1103/PhysRevLett.106.230602], as a prototypical system to make such a dream come true with nondivergent system parameter values. However, such a system has never been realized, in spite of many trials. Here, we introduce an exactly solvable two-terminal Brownian heat engine with the asymmetric Onsager coefficients in the presence of a Lorenz (magnetic) force. Nevertheless, we show that the dream engine regime cannot be accessible, even with the asymmetric Onsager coefficients, due to an instability keeping the engine from reaching its steady state. This is consistent with recent tradeoff relations between the engine power and efficiency, where the (cyclic) steady-state condition is implicitly presumed. We conclude that the inaccessibility to the dream engine originates from the steady-state constraint on the engine.

Active microrheology of a bulk metallic glass.

The glass transition remains unclarified in condensed matter physics. Investigating the mechanical properties of glass is challenging because any global deformation that might result in shear rejuvenation would require a prohibitively long relaxation time. Moreover, glass is well known to be heterogeneous, and a global perturbation would prevent exploration of local mechanical/transport properties. However, investigation based on a local probe, i.e., microrheology, may overcome these problems. Here, we establish active microrheology of a bulk metallic glass, via a probe particle driven into host medium glass. This technique is amenable to experimental investigations via nanoindentation tests. We provide distinct evidence of a strong relationship between the microscopic dynamics of the probe particle and the macroscopic properties of the host medium glass. These findings establish active microrheology as a promising technique for investigating the local properties of bulk metallic glass.

Crossover from the parity-conserving pair contact process with diffusion to other universality classes.

The pair contact process with diffusion (PCPD) with modulo 2 conservation (PCPD2) [ 2A-->4A , 2A-->0 ] is studied in one dimension, focused on the crossover to other well established universality classes: the directed Ising (DI) and the directed percolation (DP). First, we show that the PCPD2 shares the critical behaviors with the PCPD, both with and without directional bias. Second, the crossover from the PCPD2 to the DI is studied by including a parity-conserving single-particle process (A-->3A) . We find the crossover exponent 1/varphi_{1}=0.57(3) , which is argued to be identical to that of the PCPD-to-DP crossover by adding A-->2A . This suggests that the PCPD universality class has a well-defined fixed point distinct from the DP. Third, we study the crossover from a hybrid-type reaction-diffusion process belonging to the DP [ 3A-->5A , 2A-->0 ] to the DI by adding A-->3A . We find 1/varphi_{2}=0.73(4) for the DP-to-DI crossover. The inequality of varphi_{1} and varphi_{2} further supports the non-DP nature of the PCPD scaling. Finally, we introduce a symmetry-breaking field in the dual spin language to study the crossover from the PCPD2 to the DP. We find 1/varphi_{3}=1.23(10) , which is associated with a new independent route from the PCPD to the DP.

Critical behavior of the contact process in annealed scale-free networks.

The critical behavior of the contact process is studied in annealed scale-free networks by mapping it on the random-walk problem. We obtain the analytic results for the critical scaling using the event-driven dynamics approach. These results are confirmed by numerical simulations. The disorder fluctuation induced by the sampling disorder in annealed networks is also explored. Finally, we discuss over a possible discrepancy of the finite-size-scaling theory in annealed and quenched networks in spirit of the droplet size scale and the linking disorder fluctuation.

Thermodynamic uncertainty relation for underdamped Langevin systems driven by a velocity-dependent force.

Recently, it has been shown that there is a trade-off relation between thermodynamic cost and current fluctuations, referred to as the thermodynamic uncertainty relation (TUR). The TUR has been derived for various processes, such as discrete-time Markov jump processes and overdamped Langevin dynamics. For underdamped dynamics, it has recently been reported that some modification is necessary for application of the TUR. However, the previous TUR for underdamped dynamics is not applicable to a system driven by a velocity-dependent force. In this study, we present a TUR, applicable to a system driven by a velocity-dependent force in the context of underdamped Langevin dynamics, by extending the theory of Vu and Hasegawa [Phys. Rev. E 100, 032130 (2019)2470-004510.1103/PhysRevE.100.032130]. We show that our TUR accurately describes the trade-off properties of a molecular refrigerator (cold damping), Brownian dynamics in a magnetic field, and an active particle system.

Three heats in a strongly coupled system and bath.

We investigate three kinds of heat produced in a system and a bath strongly coupled via an interaction Hamiltonian. By studying the energy flows between the system, the bath, and their interaction, we provide rigorous definitions of two types of heat, Q_{S} and Q_{B}, from the energy loss of the system and the energy gain of the bath, respectively. This is in contrast to the equivalence of Q_{S} and Q_{B}, which is commonly assumed to hold in the weak-coupling regime. The bath we consider is equipped with a thermostat which enables it to reach an equilibrium. We identify another kind of heat Q_{SB} from the energy dissipation of the bath into the superbath that provides the thermostat. We derive the fluctuation theorems (FTs) for the system variables and various heats, which are discussed in comparison with the FT for the total entropy production. We take an example of a sliding harmonic potential of a single Brownian particle in a fluid and calculate the three heats in a simplified model. These heats are found to equal, on average, in the steady state of energy, but show different fluctuations at all times.

Two-dimensional super-roughening in the three-dimensional Ising model.

We present a random-interface representation of the three-dimensional (3D) Ising model based on thermal fluctuations of a uniquely defined geometric spin cluster in the 3D model and its 2D cross section. Extensive simulations have been carried out to measure the global interfacial width as a function of temperature for different lattice sizes which is shown to signal the criticality of the model at T_{c} by forming a size-independent cusp in 3D, along with an emergent super-roughening at its 2D cross section. We find that the super-rough state is accompanied by an intrinsic anomalous scaling behavior in the local properties characterized by a set of geometric exponents which are the same as those for a pure 2D Ising model.

Three different routes from the directed Ising to the directed percolation class.

The scaling nature of absorbing critical phenomena is well understood for the directed percolation (DP) and the directed Ising (DI) systems. However, a full analysis of the crossover behavior is still lacking, which is of our interest in this study. In one dimension, we find three different routes from the DI to the DP classes by introducing a symmetry-breaking field (SB), breaking a modulo 2 conservation (CB), or making channels connecting two equivalent absorbing states (CC). Each route can be characterized by a crossover exponent, which is found numerically as phi=2.1+/-0.1 (SB), 4.6+/-0.2 (CB), and 2.9+/-0.1 (CC), respectively. The difference between the SB and CB crossover can be understood easily in the domain wall language, while the CC crossover involves an additional critical singularity in the auxiliary field density with the memory effect to identify itself independent.

Boundary-induced abrupt transition in the symmetric exclusion process.

We investigate the role of the boundary in the symmetric simple exclusion process with competing nonlocal and local hopping events. With open boundaries, the system undergoes a first-order phase transition from a finite density phase to an empty road phase as the nonlocal hopping rate increases. Using a cluster stability analysis, we determine the location of such an abrupt nonequilibrium phase transition, which agrees well with numerical results. Our cluster analysis provides physical insight into the mechanism behind this transition. We also explain why the transition becomes discontinuous in contrast to the case with periodic boundary conditions, in which the continuous phase transition has been observed.

Additivity of multiple heat reservoirs in the Langevin equation.

The Langevin equation greatly simplifies the mathematical expression of the effects of thermal noise by using only two terms, a dissipation term, and a random-noise term. The Langevin description was originally applied to a system in contact with a single heat reservoir; however, many recent studies have also adopted a Langevin description for systems connected to multiple heat reservoirs. This is accomplished through the introduction of a simple summation for the dissipation and random-noise terms associated with each reservoir. However, the validity of this simple addition has been the focus of only limited discussion and has raised several criticisms. Moreover, this additive description has never been either experimentally or numerically verified, rendering its validity is still an open question. Here we perform molecular dynamics simulations for a Brownian system in simultaneous contact with multiple heat reservoirs to check the validity of this additive approach. Our simulation results confirm that the effect of multiple heat reservoirs is additive in general. A very small deviation in the total amount of dissipation and associated noise is found but seems not significant within statistical errors. We find that the steady-state properties satisfy the additivity perfectly and are not affected by this deviation.