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算法，以展示它们到分布式版本的等价重写。