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

Liqui|>:一种面向量子计算的软件设计架构和领域特定语言

LIQUi|>: A Software Design Architecture and Domain-Specific Language for Quantum Computing

Dave Wecker, Krysta M. Svore

摘要:

语言、编译器和计算机辅助设计工具对于可扩展的量子计算至关重要,这将使我们执行复杂任务的能力出现指数级飞跃。Liqui|>是一个模块化的软件架构,旨在控制量子硬件。它可以轻松编程,编译和模拟量子算法和电路,并且独立于特定的量子架构。Liqui|>包含一个嵌入式的、特定于领域的语言,用于编程量子算法,以F#作为宿主语言。它还允许提取可用于优化、渲染或转换的电路数据结构。该电路还可以导出到外部硬件和软件环境。用户可以使用两种不同的模拟环境,这允许在量子位数和操作类别之间进行权衡。Liqui|>已经在广泛的运行时上实现为具有单个用户前端的后端。我们描述了设计架构的重要组成部分,以及如何表达任何给定的量子算法。

英文摘要:

Languages, compilers, and computer-aided design tools will be essential for scalable quantum computing, which promises an exponential leap in our ability to execute complex tasks. LIQUi|> is a modular software architecture designed to control quantum hardware. It enables easy programming, compilation, and simulation of quantum algorithms and circuits, and is independent of a specific quantum architecture. LIQUi|> contains an embedded, domain-specific language designed for programming quantum algorithms, with F# as the host language. It also allows the extraction of a circuit data structure that can be used for optimization, rendering, or translation. The circuit can also be exported to external hardware and software environments. Two different simulation environments are available to the user which allow a trade-off between number of qubits and class of operations. LIQUi|> has been implemented on a wide range of runtimes as back-ends with a single user front-end. We describe the significant components of the design architecture and how to express any given quantum algorithm.

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

↑