基于电池显式的Bell后量子关联热力学见证

我们引入了基于电池显式的Bell后量子关联热力学见证。在每一轮中，若满足Bell游戏条件，单个供给激发就会被路由到显式的两能级电池中。路由运算通过能量保持的受控SWAP实现，所有逻辑控制寄存器均取为退化态。因此，关联资源并不产生能量，仅决定供给激发到达电池的概率。该构造首先针对有限两人XOR游戏进行公式化化。在任何此类游戏中，平均电池电荷恰好等于游戏成功概率乘以电池间隙。对local、quantum或nonsignalling行为进行优化，因此相应的游戏值转化为local、quantum或nonsignalling热力学上限。对于CHSH游戏，Tsirelson的界限成为平均电池电荷的严格quantum上限，而PR盒行为则达到单次激发上限。该见证器为trusted-module而非device-independent：它假设已校准的Hamiltonian、正确的经典连线以及可信的能量保持电池模块。我们还讨论了可逆控制器实现、从work数据进行有限统计认证、对不完美电池读数的鲁棒性，以及包含燃料恢复和记忆抹除后的循环账目，表明净正work得不到实现。