Maroney O J E
The Perimeter Institute for Theoretical Physics, 31 Caroline Street North, Waterloo, Ontario, Canada N2L 2Y5 and The Centre for Time, The University of Sydney, Sydney, NSW, Australia 2050.
Phys Rev E Stat Nonlin Soft Matter Phys. 2009 Mar;79(3 Pt 1):031105. doi: 10.1103/PhysRevE.79.031105. Epub 2009 Mar 10.
In a recent paper [Stud. Hist. Philos. Mod. Phys. 36, 355 (2005)] it is argued that to properly understand the thermodynamics of Landauer's principle it is necessary to extend the concept of logical operations to include indeterministic operations. Here we examine the thermodynamics of such operations in more detail, extending the work of Landauer to include indeterministic operations and to include logical states with variable entropies, temperatures, and mean energies. We derive the most general statement of Landauer's principle and prove its universality, extending considerably the validity of previous proofs. This confirms conjectures made that all logical operations may, in principle, be performed in a thermodynamically reversible fashion, although logically irreversible operations would require special, practically rather difficult, conditions to do so. We demonstrate a physical process that can perform any computation without work requirements or heat exchange with the environment. Many widespread statements of Landauer's principle are shown to be special cases of our generalized principle.
在最近的一篇论文[《现代物理学史与哲学研究》36, 355 (2005)]中，有人认为，要正确理解兰道尔原理的热力学，有必要扩展逻辑运算的概念，以包括不确定运算。在此，我们更详细地研究此类运算的热力学，扩展兰道尔的工作，以包括不确定运算，并涵盖具有可变熵、温度和平均能量的逻辑状态。我们推导了兰道尔原理的最一般表述，并证明了其普遍性，大大扩展了先前证明的有效性。这证实了之前的猜想，即原则上所有逻辑运算都可以以热力学可逆的方式进行，尽管逻辑不可逆运算需要特殊的、实际操作起来相当困难的条件才能做到。我们展示了一个物理过程，它可以在无需功的要求或与环境进行热交换的情况下执行任何计算。许多广泛流传的兰道尔原理表述都被证明是我们广义原理的特殊情况。
