arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2407.09710quant-phcs.PL
收藏

DisQ:分布式量子处理器模型(扩展版)

DisQ: A Model of Distributed Quantum Processors (Extended Version)

University of Maryland(马里兰大学);Iowa State University(爱荷华州立大学)

Le Chang, Saitej Yavvari, Rance Cleaveland, Samik Basu, Runzhou Tao, Liyi Li

AI总结:

本文提出DisQ模型,结合化学抽象机与马尔可夫决策过程,为分布式量子处理器提供清晰的并发与分布式行为区分,并开发模拟关系验证量子算法与分布式版本等价性。

摘要:

下一代分布式量子处理器结合单地点量子计算与量子网络技术,使得通过远程处理器建立大规模纠缠量子比特组成为可能,并允许量子算法以分布式方式执行。我们提出DisQ,作为首个分布式量子处理器的正式模型,并允许在新的计算环境中分析分布式量子程序。DisQ的核心是一个分布式量子编程语言,结合了化学抽象机(CHAM)和马尔可夫决策过程(MDP)的概念,旨在提供清晰区分量子并发与分布式行为。基于DisQ语言,我们开发了一个基于经典模拟基础设施的模拟关系,用于检查量子算法与其分布式版本的等价性,使用户能够通过模拟检查开发顺序量子程序的分布式版本。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑