[论文解读] Axiomatic Characterization of the Quantum Relative Entropy and Free Energy

Henrik Wilming, Rodrigo Gallego+1 more|arXiv (Cornell University)|Jan 1, 2017

Advanced Thermodynamics and Statistical Mechanics被引用 1

一句话总结

本文对有限维量子系统中第二参数满秩的情形下的量子相对熵和自由能提供了公理化表征。通过证明连续性、数据处理不等式、可加性与超可加性这四个性质可唯一确定相对熵（至多一个常数因子），作者确立了在允许催化剂与系统产生关联的吉布斯保持操作下，自由能是唯一具有广延性与连续性的非平衡度量。该研究将资源理论热力学与标准热力学概念相联系。

ABSTRACT

Building upon work by Matsumoto, we show that the quantum relative entropy with full-rank second argument is determined by four simple axioms: (i) Continuity in the first argument; (ii) the validity of the data-processing inequality; (iii) additivity under tensor products; and (iv) super-additivity. This observation has immediate implications for quantum thermodynamics, which we discuss. Specifically, we demonstrate that, under reasonable restrictions, the free energy is singled out as a measure of athermality. In particular, we consider an extended class of Gibbs-preserving maps as free operations in a resource-theoretic framework, in which a catalyst is allowed to build up correlations with the system at hand. The free energy is the only extensive and continuous function that is monotonic under such free operations. View Full-Text

研究动机与目标

• 确定唯一表征有限维系统中量子相对熵的最小公理集。
• 在物理上合理的吉布斯保持操作类下，确立自由能为非平衡度量的唯一性。
• 通过证明在扩展自由操作下自由能的唯一性，将资源理论量子热力学与标准热力学描述相连接。
• 证明自由能是唯一满足广延性与连续性且在催化吉布斯保持映射下单调的函数。

提出的方法

• 利用四个性质公理化量子相对熵：第一变量的连续性、数据处理不等式、张量积下的可加性，以及超可加性。
• 借助松本的下渐近下半连续性定理，证明这些公理可唯一推出相对熵（至多一个常数因子）。
• 定义一个非平衡的资源理论，其中自由操作包括可与系统产生关联的催化剂的吉布斯保持映射。
• 引入并分析四类催化操作：边缘型、关联型与完整催化转换，证明其在公理下等价。
• 证明在这些操作下保持单调性，结合连续性与广延性，可唯一选择自由能作为非平衡度量。
• 利用迹范数收敛性与量子通道的正性，建立支撑保持性与渐近连续性。

实验结果

研究问题

• RQ1 在第二参数满秩的有限维系统中，哪组最小公理能唯一表征量子相对熵？
• RQ2 自由能是否是唯一满足广延性与连续性且在允许催化剂与系统产生关联的吉布斯保持操作下单调的函数？
• RQ3 在自由能单调性方面，不同类别的催化操作（边缘型、关联型、完整型）之间有何关系？
• RQ4 能否通过物理上合理的自由操作，从资源理论原则出发操作性地推导出标准自由能？
• RQ5 超可加性在表征相对熵及其与热力学单调性的关联中起什么作用？

主要发现

• 量子相对熵在连续性、数据处理不等式、可加性与超可加性这四个性质下，至多一个正的常数因子，唯一确定。
• 在允许催化剂与系统建立关联的吉布斯保持映射下，自由能是唯一具有广延性与连续性的非平衡度量。
• 自由能在催化转换下的单调性，等价于可加性、超可加性与数据处理不等式的组合。
• 在公理下，边缘型、关联型与完整催化单调性之间的等价性，证实了自由能作为热力学资源度量的鲁棒性。
• 证明表明，唯一满足这四个公理的函数是相对熵，这意味着在此框架中，任何其他散度均无法作为一致的非平衡度量。
• 研究结果为自由能在量子热力学中操作角色提供了严格基础，将其与资源理论及假设检验相联系。