The next generation of distributed quantum processors combines single-location quantum computing and quantum networking techniques to permit large entangled qubit groups to be established through remote processors, and quantum algorithms can be executed distributively. We present DisQ, as the first formal model of distributed quantum processors, and permit the analysis of distributed quantum programs in the new computation environment. 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 clearly distinguishing quantum concurrent and distributed behaviors. Based on the DisQ language, we develop a simulation relation, based on classical simulation infrastructure, to check the equivalence of a quantum algorithm and its distributed versions so that users can develop the distributed version of a sequential quantum program via a simulation check.

翻译：下一代分布式量子处理器将单站点量子计算与量子网络技术相结合，允许通过远程处理器建立大规模纠缠量子比特组，并实现量子算法的分布式执行。我们提出DisQ作为首个分布式量子处理器的形式化模型，可对该新型计算环境中的分布式量子程序进行分析。DisQ的核心是一种分布式量子编程语言，它融合了化学抽象机（CHAM）和马尔可夫决策过程（MDP）的概念，旨在清晰区分量子并发行为与分布式行为。基于DisQ语言，我们基于经典仿真基础设施构建了一个模拟关系，用于检验量子算法与其分布式版本的等价性，使用户能够通过模拟检查开发顺序量子程序的分布式版本。