该文章翻译自Information Processing and Thermodynamic Entropy (Stanford Encyclopedia of Philosophy)
引言
为了证明统计力学的一致性，信息处理的原理是必要的吗?单次计算操作的物理实现是否存在基本的热力学代价，或者纯粹是由于其本身的逻辑性?这两个问题恰恰是西拉德热机(麦克斯韦恶魔思想实验的变体)、兰道尔原理(被认为体现了计算热力学的基本原理)以及大量其他的与两者相关的文献的讨论核心。接下来本文将尝试来回答这些问题。
1. Maxwell，Szilard 和 Landauer
1.1 麦克斯韦恶魔
1.2 希拉德热机
1.3 兰道尔原理
2. 统计力学和热二律
2.1 熵（Which Entropy?）
即使在表象热力学中，热力学熵的定义也很难被精确定义，但是可以通过很多途径来来逼近。传统方式是基于卡诺，开尔文和克劳修斯等人的工作给出表述，以下将讨论他们的工作。
一个封闭的热力学系统是一个和环境只进行功热交换的系统。对系统做功可以使得一个具有重力势的物体下降，被提取的功可以使得物体上升，这项工作可以通过操纵系统的外部可控参数(如调节含有气体的密封盒的体积)或通过其他手段(如在气体内驱动桨轮，搅拌气体)来完成。热通过与系统热接触的热浴进行交换，并且这些热浴可以有多个具有不同温度。一个闭合循环指的是，在一系列操作之后使得系统在结束与开始时为相同的热力学状态，但物体的重力势可能会发生改变，也可能与单个热浴交换热量。
根据经验观察，在任何封闭循环中，其唯一结果是向温度为$T_i$的热浴中产出热量$Q_i$，(需要做功$W=\sum_{i} Q_i$)，表示为克劳修斯不等式:
$\sum_{i} \frac{Q_i}{T_i}>=0$
克莱修斯对热力学第二定律的表述为：
不可能有这样一个循环过程，使得热量从低温物体传向高温物体而不引起其他变化。
开尔文对热力学第二定律的表述为：
不可能制成一种循环动作的热机，从单一热源取热，使之完全变为功而不引起其它变化。
开尔文和克劳修斯在卡诺的基础上，表示不等性对于所有的封闭循环都是成立的。温度是绝对温度，可以通过理想气体温度计测量。
现在我们假设存在这样一个过程，系统的状态由A变化为B，同时向温度为$T_i$的热池传递了$q_i$的热量；对于逆过程即从B变为A，向温度为$T_i$的热池传递的热量是$q_i'$，满足下列等式：
$\sum_{i}^{} \frac{q_i}{T_i} +\sum_{i}^{} \frac{q_i'}{T_i}=0$
由不等式可知，假设对于任意一个过程，系统从A转化为B，对温度为$T_i$的热池产生了$Q_i$的热量，则：
$\sum_{i}^{} \frac{Q_i}{T_i} +\sum_{i}^{} \frac{q_i'}{T_i}>=0$
因此：
$\sum_{i}^{} \frac{Q_i}{T_i} >= \sum_{i}^{} \frac{q_i}{T_i}$
其中$\sum_{i}^{} \frac{q_i}{T_i}$表示系统从A转化为B的所有可能的路径中最小产生的热量下限，克劳修斯的见解是，当系统在两种状态之间变化时，通过测量传递到热池的热量，可以用来定义热力学状态的函数，即热力学熵$SΘ$可以表示为：
$S \theta(A)-S \theta(B)=\sum_{i}^{} \frac{q_i}{T_i}$
由上面可知，对于任何过程，满足：
$\sum_{i}^{} \frac{Q_i}{T_i} >= \sum_{i}^{} \frac{q_i}{T_i}$
因此对于任意过程满足：
$\sum_{i}^{} \frac{Q_i}{T_i}>=S \theta(A)-S \theta(B)$
因此，从状态A到状态B的绝热过程(不产生任何热量)，只有可能熵增，即：SΘ(A)≤SΘ(B)
热力学熵的定义依赖于能够达到相等情况的循环过程，也被称为可逆过程。热力学状态之间存在这样的过程，可以确定这些状态之间的熵差，并扩展到所有状态，定义了一个全局唯一的热力学熵函数(直到重新缩放S ' = a−1 S + b，其中a和b是常数，a是温度尺度上的乘法常数)。注意，如果存在不能通过可逆过程连接的状态，仍然可以给出某种熵的定义使其对于所有可能的路径满足：
$\sum_{i}^{} \frac{Q_i}{T_i}>=S \theta(A)-S \theta(B)$
但是熵的值不能被唯一确定，因为很多熵的表述形式都满足这些不等式。
对于一个循环过程，不等式相等的条件一般是准静态可逆过程。在这些过程中，系统的状态变量(如温度、体积和气体的压力)发生了无限小的变化，并且这种变化可以通过与热浴相等或相反的无限小的热交换向任何方向进行。这些热交换通常只有在系统与热浴处于热平衡时才可逆。
为了使状态变量的变化是无穷小的，状态空间必须是连续的。状态序列将由状态空间中的连续曲线表示。通过这些无穷小的变化连接A和B的曲线用积分代替了求和。$T_i$可以被系统的温度$T$取代，而热量$dQ$，现在是系统吸收的热量:
$S \theta(A)-S \theta(B)=\int_{A}^{B} \frac{dQ}{T} $
克劳修斯不等式确保了这个值对于从A到B的所有准静态可逆路径都是相同的。应该注意的是，准静态可逆路径是一种理想状态，只有在无限慢过程的极限下才能到达。
只有克劳修斯不等式成立的情况下，这个热力学熵才是热力学状态的一致定义的单值函数。然而，如果麦克斯韦恶魔存在，那么克劳修斯不等式似乎就不成立了。为了进一步研究，有必要考虑熵的统计力学一般化。
对于统计力学，我们需要考虑微观状态空间和状态在该空间中的动态演化。经典地说，这是一个相空间，有n个体系统有3N个位置自由度和3N个动量自由度。相空间中的一个点对应于所有N个物体的组合物理状态。动力学几乎总是被认为是哈密顿的。哈密顿流保留了测度dX3NdP3N。这个测度可以用来定义相空间$R$区域的体积$V_R$，即为：
$V_R=\int_{R}^{} dx^{3N}dp^{3N} $
一个非常重要的结论是刘维尔定理，它表明，当一组状态通过哈密顿演化时，该状态集所占据的相空间体积不会改变。
玻尔兹曼熵，$S_B=k\ln_{W} $，被广泛认为是统计力学中热力学熵最自然的类比。它表征了个体微观状态的属性。状态空间被划分为许多不同的区域，而$S_B$是根据微状态所归属的状态空间区域的体积$W$来定义的。给定区域内的所有微观状态都具有相同的玻尔兹曼熵。
有许多方法可以将状态空间划分为不同的区域。最常见的一组微观状态集合，它们符合诸如宏观上或观察上不可区分的标准，或者随着时间的推移，微观状态的演化是可访问的。对于这里考虑的系统，这些方法通常定义相同的区域。我们可以按照惯例将这些区域称为宏观状态，但在描述仅由单个分子组成的系统时，承认这个术语有点不合适。例如，在西拉德热机的例子中，当没有分割时，系统的宏观状态由盒子中分子所处的所有微观状态的集合组成。当分区插入盒子时，宏观状态是所有微观状态的集合，其中分子的位置与分子的实际位置在分区的同一侧。我们有时会提到宏观状态的玻尔兹曼熵:这只是宏观状态下微观状态的玻尔兹曼熵。
玻尔兹曼熵$S_B$并不能保证是非递减的。虽然通过对玻尔兹曼h定理的可逆性和递归性的反对，已知$S_B$的降低是可能的，但如果它们在实践中发生，则会被视为令人惊讶的降低。虽然单个微观状态可以从大容量宏观状态进化到小容量宏观状态，但刘维尔定理保证，在哈密顿进化下，只有一小部分微观状态可以从较大的宏观状态进化到较小的宏观状态。从玻耳兹曼熵的对数形式，以体积为单位的比例
2.2 热二律
3. 需要信息处理的统计力学
3.1
3.2 没有恶魔的热机
3.3 记忆与擦除
3.4 算法复杂度
3.5 声 vs
3.6 恶魔的存在
4. 使用统计力学的信息处理
5. 量子力学的引入
标签：状态,信息处理,frac,sum,系统,热力学,theta From： https://www.cnblogs.com/muyaoR/p/16963469.html