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

Q#:使用高级领域特定语言实现可扩展的量子计算和开发

Q#: Enabling scalable quantum computing and development with a high-level domain-specific language

Krysta M. Svore, Alan Geller, Matthias Troyer, John Azariah, Christopher Granade, Bettina Heim, Vadym Kliuchnikov, Mariia Mykhailova, Andres Paz, Martin Roetteler

摘要:

量子计算利用叠加和纠缠等量子现象来实现一种传统计算所不具备的并行形式。它为量子化学、材料科学、密码学和机器学习提供了显著的计算加速潜力。编程量子计算机的主要方法是提供一种现有的高级语言,其中包含允许表达量子程序的库。这种方法可以允许在量子上下文中无意义的计算;禁止简洁地表达经典逻辑和量子逻辑之间的相互作用;并且不提供量子编程所需的重要构造。我们提出了Q#,一种以量子为中心的领域特定语言,旨在正确,清晰和完整地表达量子算法。Q#提供了一个类型系统,一个严格约束的环境,可以安全地交错经典和量子计算;专门的语法,符号代码操作,可以自动生成正确的量子操作转换,以及强大的函数构造,可以帮助组合。

英文摘要:

Quantum computing exploits quantum phenomena such as superposition and entanglement to realize a form of parallelism that is not available to traditional computing. It offers the potential of significant computational speed-ups in quantum chemistry, materials science, cryptography, and machine learning. The dominant approach to programming quantum computers is to provide an existing high-level language with libraries that allow for the expression of quantum programs. This approach can permit computations that are meaningless in a quantum context; prohibits succinct expression of interaction between classical and quantum logic; and does not provide important constructs that are required for quantum programming. We present Q#, a quantum-focused domain-specific language explicitly designed to correctly, clearly and completely express quantum algorithms. Q# provides a type system, a tightly constrained environment to safely interleave classical and quantum computations; specialized syntax, symbolic code manipulation to automatically generate correct transformations of quantum operations, and powerful functional constructs which aid composition.

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

↑