Steady-state Bell nonlocality in an autonomous quantum thermal machine

技术摘要：自主量子热机中的稳态 Bell 非定域性

问题陈述
量子相关性，特别是 Bell 非定域性，对于诸如设备无关量子密钥分发等安全信息处理任务至关重要。虽然环境辅助纠缠生成是一种已知技术，但在自主设置（即不需要外部控制或相干源）中生成稳态 Bell 非定域性已被证明具有挑战性。之前的两比特热机虽然可以生成稳态纠缠，但其强度通常过弱，无法违反 Bell 不等式。在这些系统中实现 Bell 非定域性此前需要额外的资源，例如局部滤波器或连续反馈协议。此外，现有的理论模型通常假设系统哈密顿量中存在静态的“自由演化”项（固定的能量间隙），这在某些物理实现（如 Bose-Hubbard 二聚体或 Su-Schrieffer-Heeger 模型）中可能并不存在。

方法论
作者提出了一种简单的两比特自主热机，该热机由通过相互作用耦合到两个独立热浴的比特组成。

• 系统哈密顿量： 该模型利用一个产生比特间翻转（flip-flop）相互作用（$g$）的哈密顿量 $\hat{H}_S$，并明确排除了自由演化项（静态能量间隙）。这可以通过将硬核玻色子的位置算符与热浴耦合来实现。
• 推导： 在秒近似（secular approximation）和弱耦合假设下，推导出了两比特系统的 Lindblad 主方程。环境被建模为玻色子浴或自旋浴。
• 对称性分析： 对 Liouvillian 进行对称性分析。作者识别出一种与两比特自旋-x 宇称算符（$\hat{X} = \hat{\sigma}_x \otimes \hat{\sigma}_x$）相关的“强对称性”（在无噪声情况下）。
• 噪声建模： 为了应对实验现实，引入了系统哈密顿量的随机扰动，用以模拟局部和集体退相干噪声。这打破了强对称性，但保留了弱对称性。
• 分析： 利用 Liouvillian 的右和左特征算符计算稳态。使用 Horodecki 判据来量化 Bell 非定域性的程度，以确定最大 CHSH 值（$B$）。

核心贡献与结果

1. 无需额外资源生成 Bell 非定域性：
   论文表明，一个缺乏自由演化项的简单两比特自主热机可以生成无需外部滤波器或反馈即可违反 CHSH 不等式（$B > 2$）的稳态。这规避了以往认为在没有额外资源的情况下此类状态是不可能的局限性。

2. 强对称性与高温的作用：
   在无噪声情况下，系统表现出强对称性，使 Liouvillian 解耦为偶宇称和奇宇称扇区。稳态是取决于初始态在这些扇区上投影的 Bell 态的凸组合。

• 关键在于，系统可以在任意高温度下（对于特定的初始条件和热浴类型）生成 Bell 非定域稳态。
• 对于在高温度下趋于饱和的自旋浴，无论温度如何，Bell 非定域性始终存在。
• 对于玻色子浴，非定域性在由弱耦合条件（$g \gg \gamma$）定义的温度界限内持续存在。
• 该机器的非平衡稳态（NESS）比相同温度下的相应热平衡态能更强烈地违反 Bell 不等式。

3. 实验缺陷的影响（噪声）：
   研究引入了局部和集体退相干噪声以模拟实验缺陷。

• 局部噪声： 如果噪声仅为局部退相干，则强对称性被打破，由此产生的唯一稳态始终是 Bell 定域的（$B \leq 2$）。
• 集体噪声： 研究表明，同时存在集体退相干噪声是有利的。它恢复了生成 Bell 非定域稳态的能力。
• 噪声作为一种资源： 值得注意的是，增加集体噪声的强度（在保持局部噪声的同时）可以增加 Bell 不等式的违反程度。该机器可以通过引入集体噪声，将 Bell 定域稳态（在仅有局部噪声时会出现的情况）转化为 Bell 非定域稳态。在纯集体噪声极限下，Bell 参数与噪声强度无关。

意义与主张
论文声称，热机的代数性质，特别是由于缺乏自由演化项而存在的强对称性，对于保持相干性和稳定长程量子相关性具有重要意义。

• 理论洞察： 这项工作强调，之前模型中经常假设存在的静态自由演化项，不仅不是障碍，反而是一个特征，它能够实现强对称性和高温 Bell 非定域性。
• 实际意义： 研究结果表明，实验缺陷（特别是集体退相干噪声）不应仅仅被视为有害因素。相反，它们可以被用来增强自主热机中的量子相关性，从而提高先前提出的设备的性能。
• 未来方向： 作者谦虚地指出，虽然目前的稳态在 Bell 基底中是对角化的（这阻碍了通过单副本局部滤波进行改进），但多副本滤波或向多比特系统扩展以实现多体非定域性仍是开放性问题。

论文总结道，在简单的自主设置中可以实现稳态 Bell 非定域性，并且对称性与噪声之间的相互作用为优化量子热机提供了路径。