Polettini Matteo, Esposito Massimiliano
Complex Systems and Statistical Mechanics, University of Luxembourg, Campus Limpertsberg, 162a Avenue de la Faïencerie, L-1511 Luxembourg, Grand Duchy of Luxembourg.
Phys Rev E Stat Nonlin Soft Matter Phys. 2013 Jul;88(1):012112. doi: 10.1103/PhysRevE.88.012112. Epub 2013 Jul 11.
We show via counterexamples that relative entropy between the solution of a Markovian master equation and the steady state is not a convex function of time. We thus disprove the hypotheses that a general evolution principle of thermodynamics based on the decrease of the nonadiabatic entropy production could hold. However, we argue that a large separation of typical decay times is necessary for nonconvex solutions to occur, making concave transients extremely short lived with respect to the main relaxation modes. We describe a general method based on the Fisher information matrix to discriminate between generators that admit nonconvex solutions and those that do not. While initial conditions leading to concave transients are shown to be extremely fine-tuned, by our method we are able to select nonconvex initial conditions that are arbitrarily close to the steady state. Convexity does occur when the system is close to satisfying detailed balance or, more generally, when certain normality conditions of the decay modes are satisfied. Our results circumscribe the range of validity of a conjecture by Maes et al. [Phys. Rev. Lett. 107, 010601 (2011)] regarding monotonicity of the large deviation rate functional for the occupation probability, showing that while the conjecture might hold in the long-time limit, the conditions for Lyapunov's second criterion for stability are not met.
我们通过反例表明,马尔可夫主方程解与稳态之间的相对熵不是时间的凸函数。因此,我们反驳了基于非绝热熵产生减少的一般热力学演化原理可能成立的假设。然而,我们认为典型衰减时间的大分离是出现非凸解的必要条件,这使得凹形瞬态相对于主要弛豫模式极其短暂。我们描述了一种基于费希尔信息矩阵的通用方法,以区分允许非凸解的生成器和不允许的生成器。虽然导致凹形瞬态的初始条件被证明是极其精细调节的,但通过我们的方法,我们能够选择任意接近稳态的非凸初始条件。当系统接近满足细致平衡时,或者更一般地,当衰减模式的某些正态性条件得到满足时,凸性确实会出现。我们的结果限定了Maes等人[《物理评论快报》107, 010601 (2011)]关于占据概率的大偏差率泛函单调性的一个猜想的有效性范围,表明虽然该猜想在长时间极限中可能成立,但不满足李雅普诺夫稳定性第二准则的条件。