二分系统Ergotropic Gap的被动态非热性平衡与熵界：优化、饱和及Werner态交叉

《Entropy》：Passive-State Athermality Balance and Entropic Bounds on the Bipartite Ergotropic Gap

　　

对于具有加性端点哈密顿量（additive endpoint Hamiltonians）的有限维二分系统（bipartite systems），ergotropic gap（功差）衡量全局循环幺正控制（global cyclic unitary control）相对于独立局域循环幺正控制（independent local cyclic unitary control）的工作优势。研究人员通过互信息（mutual information）以及局域与全局被动态（passive states）的Gibbs相对熵（Gibbs-relative entropies）表示该间隙。该平衡对任意边缘态（marginals）保留局域被动态修正，并在这些修正消失时退化为既有的局域热ergotropy恒等式。舍弃全局修正可得到一个与可分性（separability）无关的上界，其精确松弛量（exact slack）为全局被动态自由能超出量（global passive-state free-energy excess）。研究人员表明，优化参考温度（reference temperature）等价于使Gibbs熵与联合态熵（joint-state entropy）匹配。优化结果恰为全局ergotropy的等熵Gibbs界（equal-entropy Gibbs bound）减去局域ergotropies，而非一个新的热力学界。研究人员刻画了饱和（saturation）与温度端点（temperature endpoints），包括简并基态空间（degenerate ground spaces）。Werner态给出与基于可分性的优序界（majorization bound）之间的唯一隐式交叉（implicit crossover），并且小关联情形下界与间隙之比趋近√3/2。结构化与随机两量子比特（two-qubit）比较展示了互补性能。研究人员还指明了逐点量子电池（pointwise quantum-battery）适用性以及持续相互作用（persistent interactions）造成的阻碍。

研究背景与问题：该文关注有限维二分量子系统在端点哈密顿量为加性形式（additive Hamiltonian）时的功提取比较。ergotropic gap（功差）用于衡量全局循环幺正控制相对于独立局域循环幺正控制的工作优势；但关联可使能量在局域不可及，而被动态的张量积也可能具有活性，因此该间隙不必是关联度量。已有研究提供关键基础：Touil, ?akmak, Deffner对局域热态以互信息和全局被动态相对熵表达ergotropy，并给出任意态扩展；Alicki和Fannes以同熵Gibbs态的能量超出界定ergotropy；Alimuddin, Guha, Parashar给出基于谱的可分性界。问题在于，如何围绕任意有限维二分态与加性哈密顿量，将这些既有要素组织为面向ergotropic gap的精确平衡，明确局域被动态修正、精确松弛、参考温度优化、饱和条件及与可分性界的可比性。研究人员开展的是gap-specific formulation与分析，不主张新的相对熵链式法则或新的热力学资源，并强调优化界不是对既有等熵Gibbs热力学界的独立改进。其意义在于明确残余局域与全局被动非热性如何进入ergotropic gap，并给出使用全局熵与局域被动能量的、与可分性无关的约束，补充而非替代谱可分性界。

关键技术方法：研究以理论推导为主，使用乘积参考链式法则、Gibbs因子化及被动态相对熵恒等式获得精确平衡与上界；通过温度平稳条件将参考温度优化转化为Gibbs熵与联合态熵匹配的标量根搜索；对Werner态进行解析处理并求隐式交叉；数值上采用同一等gap哈密顿量，构造非对称边缘族网格150个态，并以NumPy seed 42生成1500个Hilbert–Schmidt随机两量子比特态，用部分转置正定性判定可分性；补充脚本以Python 3.12.14、NumPy 2.3.5、SciPy 1.17.0、Matplotlib 3.10.8复现，样本来源为结构化网格与随机Hilbert–Schmidt态。

研究结果：
2. Setting and Standard Identities：通过设定有限维系统、自然对数与无量纲熵，并取H_A+H_B形式的加性端点哈密顿量，得出加性属于哈密顿量性质而非态可分性；态可纠缠，全局控制哈密顿量可在循环提取中耦合子系统，只要端点哈密顿量加性。参考参数β仅选择数学Gibbs参考，不要求热浴，也不等于制备或环境温度；Gibbs相对熵作为非热性度量。
2.1. States, Hamiltonians, and Reference Temperature：通过定义Gibbs参考与相对熵，得出所谓结构信息仅指该相对熵，不引入引力或场论解释；参考温度是数学选择。
2.2. Passive States and the Ergotropic Gap：通过将本征值按降序放置于升序能量上定义被动态与ergotropy，并定义全局与局域ergotropy之差为gap，得出gap非负，因为乘积幺正包含于全局幺正；局域被动重排一般是初始边缘态的被动重排而非全局被动态的边缘态；并给出乘积参考链式法则、Gibbs因子化与被动态相对熵恒等式。
3. Exact Balance, Interpretation, and Optimization：
3.1. Gap-Specific Balance and Upper Bound：通过从全局被动态相对熵恒等式减去两个局域实例，并用Gibbs因子化将初始态项化为互信息，得出精确被动态非热性平衡；舍弃全局修正得到熵上界，其精确松弛为全局被动态自由能超出量；有限β下等式当且仅当全局被动态等于相应Gibbs态。
3.2. Physical Meaning and Relationship to Prior Work：通过解释被动态修正与局域ergotropy的区别，得出这些修正不是额外局域可提取的循环幺正功，而是局域ergotropy提取后残余的局域非热性；公式应描述为平衡而非唯一分解为关联与激活贡献；局域热条件下退化为Touil, ?akmak, Deffner的局域热恒等式；任意边缘态情形本身不构成新颖性，重点在被动态解释、显式松弛、优化分析及不同信息需求下比较；bath-assisted自由能关系仅在适当可逆或渐近设定下有一致解释，不是一般有限副本确定性功公式。
3.3. Optimal Reference and the Equal-Entropy Gibbs Bound：通过熵项抵消与Gibbs熵单调性分析，得出非比例单位且满足熵条件时存在唯一熵匹配参考温度并使上界最小；优化界是Alicki和Fannes等熵Gibbs界用于全局ergotropy再减去两个局域ergotropies；内部情形松弛为全局被动能量高于熵匹配Gibbs能量；低于基态空间熵阈值时出现端点限制，低熵本身不保证端点饱和；优化界一般不在单副本上可达。
3.4. Information Requirements and Computational Cost：通过分析所需信息与计算流程，得出优化界需全局熵与两个局域被动能量；若熵可独立获得，则无需构造全局被动态；但对完全已知密度矩阵，计算熵通常已需全局对角化，故该界不一定节省计算，其用途在于全局熵与局域谱可得而完整全局谱不可得时提供解析约束；可分两量子比特的majorization界由全局谱直接计算且无温度搜索；熵匹配需标量根搜索，有限β评估仍给出有效上界；两类界无普遍支配，可分域上的最小值组合是有效合并界且无需新定理。
4. Werner States: Tightness and Crossover：通过取等gap两量子比特哈密顿量与Werner态，得出其边缘为最大混合，故局域ergotropies为零；被动排序给出解析能量与熵匹配的简化形式，端点精确；小关联时熵界与gap之比保持有限并趋近√3/2，而majorization界比在最大混合乘积态附近发散；交叉由解析隐式方程刻画且在该区间唯一；数值求根给出唯一点，但原文未给出可引用的具体数值；熵界在交叉以下更紧，majorization界在其可分域上方更紧，二者不普遍支配。
5. Numerical Comparison Beyond Werner States：通过同一等gap哈密顿量比较非对称边缘族与随机两量子比特系综，得出在可分随机子集上两类界表现互补；随机可分比例与已知Hilbert–Schmidt概率一致；平均界与精确gap之比为状态逐点比值的平均而非平均gap之比，故不构成无分布排序；Werner态说明majorization界有时更优，而熵界在几乎所有可分随机样本上表现更好。
6. Scope for Quantum Batteries and Interacting Systems：通过界定ergotropy在量子电池性能中的角色，得出本文结果逐点约束给定态下全局相对独立局域提取的工作优势，适用于闭或开动力学制备态，只要提取哈密顿量为加性；不预测充电功率、耗散、切换成本或净循环效率，连续开放放电协议也不是定义ergotropy所用的孤立幺正提取任务。若提取哈密顿量含持续相互作用，Gibbs参考一般不因子化，直接展开出现无一般非负号的额外项；局域操作可改变相互作用能，局域ergotropy之和一般不是全哈密顿量下乘积幺正的最大功；因此Gibbs因子化与局域功定义均需修正；制备期或瞬态全局控制不造成该阻碍，若端点提取哈密顿量加性，但移除持续相互作用本身可能带来切换功成本。
7. Reproducibility and Conclusions：通过补充脚本复验数值系综、交叉、三种参考温度下100个独立种子随机态的直接平衡检查，并将熵匹配实现与原始标量最小化、端点态及非等gap乘积态激活示例对照，得出1650个比较态中未发现界违反；这些检查验证实现，而对所有有限维态的效度来自证明而非采样；复现脚本还复现相应图形。

讨论部分总结：讨论强调被动修正随任意参考温度变化而精确gap不变，因此不宜视为独立功资源；bath-assisted解释需限定在适当可逆或渐近操作设定；量子电池适用性是逐点的，不涉及动力学性能预测；持续相互作用同时破坏Gibbs因子化与局域功定义，是推广时需同时处理相关Gibbs参考与真正局域控制下可及功的障碍；可复现性检查支持数值实现，但普遍有效性由证明保证。

研究结论翻译：精确平衡明确残余局域与全局被动态非热性如何进入ergotropic gap。优化界与既有等熵Gibbs构造具有精确关系，其松弛量量化被动谱失配。其实际价值在于使用全局熵与局域被动能量、通过标量熵匹配计算得到与可分性无关的约束。它补充谱可分性界而非替代之。推广至持续相互作用需要同时处理相关Gibbs参考以及在真正局域控制下可及的功。