异步量子分布式计算:因果性、快照与全局操作
该研究团队开创性地对异步量子分布式系统展开研究,重点探索可分解为系统组件局部操作的原子量子全局操作实现方案。此类操作的典型范例是量子快照——即对整个系统进行瞬时测量的操作。基于Chandy和Lamport提出的经典快照算法,研究人员设计出名为QGO算法的量子分布式算法来实现这类可分解全局操作。算法分析表明,尽管量子纠缠使得系统(全局)量子态的标准描述无法直观体现因果关系,但Lamport计算因果性理论在量子领域依然成立。其他创新成果包括:建立了量子分布式计算的形式化模型,制定了全局操作预期行为的形式化规范——这些成果即使在经典计算场景(如随机算法场景)中同样具有重要价值。

