Compilation and Verification of Quantum Software in the Noisy and Approximate Regime

嘈杂近似体系中量子软件的编译与验证

• 批准号: EP/Y004736/1
• 负责人: Aleks Kissinger
• 金额: $ 35.35万
• 依托单位: University of Oxford
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2023
• 资助国家: 英国
• 起止时间: 2023 至 无数据
• 项目状态: 未结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FY004736%2F1
• 关键词: Compilation; Verification; Quantum; Software; Noisy

Like classical computers, quantum computers need compilers, which are tools that translate code written by a human into something the machine can run. Unlike classical computers, today's quantum computers have extremely limited computational resources and are highly susceptible from noise from the environment. Furthermore, it is often impractical or impossible to implement a computation exactly, meaning quantum compilers need to make certain approximations, which can yield further errors.In this project, we will develop the next generation of quantum compilers which are able to understand, and tame, these many sources of errors, and produce efficient software with independently-checkable guarantees of reliable performance.

与经典计算机一样，量子计算机也需要编译器，编译器是将人类编写的代码翻译成机器可以运行的代码的工具。与经典计算机不同，当今的量子计算机的计算资源极其有限，并且极易受到环境噪声的影响。此外，准确地实现计算通常是不切实际或不可能的，这意味着量子编译器需要进行某些近似，这可能会产生更多错误。在这个项目中，我们将开发下一代量子编译器，它能够理解并驯服，这些许多错误来源，并产生具有可独立检查的可靠性能保证的高效软件。