【锚点】钉一个判断：熵不是气体的属性，是【(气体, 观察者的分辨力)】这个二元组的属性。同一团气体，两台分辨力不同的仪器会给出两个不同的熵值，而且两个都对。这不是哲学牢骚，是 Gibbs 悖论逼出来的唯一出口。

【显式】悖论本体（Gibbs 1876，Ehrenfest 命名）。两个容器，同温同压，各含 N 个分子，A 与 B。抽掉隔板。若 A、B 是不同种类（Ar 与 Ne），混合熵 ΔS = 2Nk_B ln2。若 A、B 是同一种气体，物理上什么都没发生——混合前后没有任何可测的宏观差异——所以 ΔS 必须是 0。但 Boltzmann 计数 S = k_B ln W 对这两种情形给出同一个 W：它把「左边的分子跑到右边」当成一个不同的微观态。于是它给出 2Nk_B ln2，与 0 矛盾。教科书的标准补丁是「除以 N!，因为全同粒子不可分辨」。这个补丁是对的，但它给出的理由几乎全是错的。

【流程节点链路】起点：两个同温同压容器（各 N 个分子，种类待定）→ 中间：Boltzmann 计数 S = k_B ln W 只依赖「哪些分子在哪个半边」，不依赖「分子能否被分辨」→ 中间：因此对同种气体也给出 ΔS = 2Nk_B ln2 → 中间：但同种气体的「混合」在物理上不可测（没有温度计、压力计、光谱仪能读出「现在混过了」）→ 中间：矛盾 ⇒ 计数把观察者无法分辨的置换（permutation）当成了不同的微观态 → 中间：修正 = 对 N! 归一，S = k_B ln(W/N!)，等价地 = 把置换从状态空间中整体剔除 → 终点：S 是 (系统, 观察者划分) 的函数，不是系统的函数。

【隐式】1/N! 与量子力学无关。教科书常说「经典力学不允许除以 N!，只有量子力学才给出全同粒子」。Jaynes（1992, The Gibbs Paradox）指出这是误读：1/N! 是【任何】把「交换两个不可分辨对象」视为同一宏观态的理论都必须付的归一化常数。判据不是「是否量子」，而是「观察者能否区分」。经典的可分辨台球不需要它；经典的全同分子需要它。把这件事挂在普朗克常数上，是把一个认识论事实伪装成一个物理常数。

【细微】这一点有个可检验的推论：混合熵应当随【分辨力】连续变化，而不是随「是否同种」跳变。取两种同位素，先用分辨不了的仪器测（ΔS = 0），再换质谱仪（ΔS = 2Nk_B ln2）。中间还有一档：仪器能分辨但会出错，错误率 ε。此时每分子可分辨的信息量是 I = 1 − H(ε) 比特，混合熵应当是 ΔS = 2Nk_B ln2 · (1 − H(ε))，在 ε = 1/2 时连续地回到 0。熵没有跳变，只有一条随信道质量单调上升的曲线。量子光学里这件事已经有名字——部分可分辨性（partial distinguishability），用模式的 Gram 矩阵度量，混合熵随它连续变化，这正是光子玻色采样实验里必须标定的量。所以曲线本身不新；新的是把它当成一个【关于熵的定义】的判决性实验，而不是一个实验误差项。

【极难发现】真正的盲点：如果 S 依赖观察者的划分，那「宇宙的总熵」是什么？答案是它相对于一个【没有观察者】的划分——所有自由度都可分辨的极限，S = k_B ln Ω，Ω 为相空间体积除以 h^{3N}N!。这个极限原则上良定义，所以第二定律没有被相对化掉。但它把第二定律的身份改了：第二定律不是「世界的熵在增加」，而是「对任何固定的粗粒化，粗粒化后的熵不减少」。定律是关于【映射】的，不是关于【对象】的。这也正是麦克斯韦妖不违反第二定律的原因——妖的胜利在于它换了一个更细的划分，代价是它必须擦除记忆，而擦除 1 比特至少付 k_B T ln2 ≈ 2.87×10⁻²¹ J（300 K，Landauer 极限）。信息有物理价格，价格就是「把划分变细」的账单。

【观点】这个结构在认知科学里被大量误用。「大脑的熵」「自由能原理」里的变分自由能 F = E_q[log q − log p]，只有在给定生成模型 p 与近似后验 q 之后才有定义——p 和 q 就是划分。换一个生成模型，熵就换一个值，而没有任何实验能判定「哪个才是大脑真正的熵」。这不是说 Friston 的框架错了，而是说它的主张必须写成条件句：「在模型 p 下，系统的自由能不增」。写成「大脑在最小化熵」，就退化成 Newman 句——经验含量为零，因为任何行为都能被某个 p 解释。

【结尾问题】留一个我认为真没答案的问题：如果熵总是相对于划分，那么「两个观察者的划分不同」这件事本身，需不需要一个元观察者来度量？需要，就无限倒退；不需要，那「划分」就是一种不依赖观察者的客观关系——这等于把观察者偷偷放回了世界里。你站哪边？

# 信息论 #统计力学 #熵 #观察者依赖