The development of quantum computers has reached a great milestone, in spite of restrictions on important quantum resources: the number of qubits being entangled at a single-location quantum computer. Recently, there has been some work to combine single-location quantum computing and quantum networking techniques to develop distributed quantum systems such that large entangled qubit groups can be established through remote processors, and quantum algorithms can be executed distributively. We present DisQ as a framework to facilitate the rewrites of quantum algorithms to their distributed versions. The core of DisQ is a distributed quantum programming language that combines the concepts of Chemical Abstract Machine (CHAM) and Markov Decision Processes (MDP) with the objective of providing a clearly distinguishing quantum concurrent and distributed behaviors. Based on the DisQ language, we develop a simulation relation for verifying the equivalence of a quantum algorithm and its distributed versions. We present several case studies, such as quantum addition and Shor's algorithm, to demonstrate their equivalent rewrites to distributed versions.

翻译：尽管单机量子计算机中可纠缠的量子比特数量等关键量子资源仍受限制，量子计算机的发展已取得重大里程碑。近期已有研究尝试结合单机量子计算与量子网络技术，开发分布式量子系统，从而通过远程处理器建立大规模纠缠量子比特群，并以分布式方式执行量子算法。本文提出DisQ框架，旨在促进量子算法向分布式版本的重写。DisQ的核心是一种分布式量子编程语言，该语言融合了化学抽象机（CHAM）与马尔可夫决策过程（MDP）的概念，旨在清晰区分量子并发与分布式行为。基于DisQ语言，我们建立了用于验证量子算法与其分布式版本等价性的模拟关系。通过量子加法运算和Shor算法等多个案例研究，我们展示了其向分布式版本的等价重写过程。