[论文解读] Dining Philosophers, Leader Election and Ring Size problems, in the quantum setting

Dorit Aharonov, Maor Ganz+2 more|arXiv (Cornell University)|Jul 4, 2017

Quantum Computing Algorithms and Architecture被引用 2

一句话总结

本文提出了首个针对用餐者问题的精确量子协议，该问题是一个基本的分布式协调难题，在经典设定下无法通过确定性方法解决。通过利用量子纠缠并提出一种将用餐者问题简化为领导选举的新方法，作者实现了一种确定性、无锁死的解决方案，其时间与内存复杂度相较于以往的量子领导选举协议有显著提升。

ABSTRACT

In quantum programming, as in the classical case, concurrent control is a form of program coordination that proves well suited to express complex composition patterns. This paper introduces a quantum programming language with explicit parallel and synchronization primitives and its semantics. The language is explored through a Maude implementation, and illustrated with two non trivial examples.

研究动机与目标

• 开发一种用于用餐者问题的确定性量子协议，该问题在经典确定性环境下已被证明无法解决。
• 通过将领导选举问题简化为用餐者问题，改进量子领导选举的时间与内存复杂度。
• 探讨在量子环境下精确用餐者问题与精确领导选举之间的等价性，与经典限制形成对比。
• 研究一维、平移不变量子系统中对称性破缺的基础性问题。

提出的方法

• 设计一种新颖的量子协议，利用量子纠缠和基于测量的协调机制解决用餐者问题。
• 通过经典归约方法将精确领导选举问题转化为用餐者问题，从而实现复杂度的提升。
• 采用分布式、异步模型，每位用餐者运行相同的算法，不依赖唯一标识符。
• 利用量子通信与局部操作协调对共享资源（筷子）的访问，避免死锁。
• 使用量子比特计数机制追踪可参与者的数量，实现终止条件。
• 在异步与同步模型中分析复杂度，明确给出轮次与通信的上界。

实验结果

研究问题

• RQ1 是否存在一种精确的、确定性的量子协议，能够解决经典环境下不可解的用餐者问题？
• RQ2 通过将领导选举问题归约为用餐者问题，是否能在量子环境下实现优势？
• RQ3 常数深度、平移不变的量子电路能否在一维量子比特环中破除全局对称性？
• RQ4 精确解是否必须依赖计数机制，还是可在亚对数内存下求解？
• RQ5 在量子环境下，能否在不依赖领导选举或仅使用常数内存的情况下解决环大小问题？

主要发现

• 本文首次提出用餐者问题的精确量子协议，解决了量子分布式计算领域长期悬而未决的开放问题。
• 所提出的协议实现了无锁死的执行与确定性终止，而经典方案则需依赖随机性。
• 该协议通过将领导选举问题归约为用餐者问题，将同步模型下的时间复杂度从 O(n³) 降低至 O(n²)，通信复杂度从 O(n³) 降低至 O(n²)，优于以往的量子领导选举算法。
• 作者建立了在量子环境下精确用餐者问题与精确领导选举之间的等价性，而这一关系在经典环境下并不成立。
• 论文推测，常数深度、平移不变的量子电路无法破除全局对称性，其依据在于长程纠缠生成能力的局限性。
• 提出了若干开放问题，包括环大小问题的求解与亚对数内存解法的实现，揭示了量子分布式算法的新前沿。