Rubber DUQ: Flexible Dynamic Universal Quantum programming

Rubber DUQ：灵活动态通用量子编程

• 批准号: EP/X025551/1
• 负责人: Christiaan Johan Marie Heunen
• 金额: $ 132.25万
• 依托单位: University of Edinburgh
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2024
• 资助国家: 英国
• 起止时间: 2024 至 无数据
• 项目状态: 未结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FX025551%2F1
• 关键词: Rubber; DUQ; Flexible; Dynamic; Universal

Quantum computation promises to solve certain problems that are fundamentally out of reach without it. But taking advantage of quantum capability requires a radical change in approach to computation. Quantum computation operates on fundamentally different principles than classical computation. By far the most prevalent model of quantum computation uses quantum circuits. Programming in this low-level and rigid model needs specialist knowledge. Most current quantum programming languages they describe how to construct a circuit, rather than what the circuit should actually do. Universal properties can extract conceptual essence without superfluous mathematical details. A quantum programming language based on them can be used by programmers who understand the concepts but not necessarily the mathematics behind quantum computation. Such a language frees the programmer to express algorithms at a higher level of abstraction. Universal quantum programming is also better at preventing and fixing programming errors.Universal quantum programming has three main advantages. First, programmers can build programs out of smaller components, which can be individually constructed and tested. This is essential for scalability: increasing the size and complexity of programs is only possible if programmers can control this complexity. Second, there are mathematical semantics that abstract from merely implementational details. Programmers can only invent truly new quantum algorithms if the language allows a sufficiently high-level view of computation. Third, the programmer can express their thoughts freely at a natural level of abstraction. This project has two main contributions towards universal quantum programming. First, as a short-term test case, we focus on dynamic quantum measurement. Every step in a quantum circuit is reversible, and only at the end is classical data extracted by an irreversible measurement. There are many advantages to performing measurements dynamically, partway along the quantum circuit, but this breaks many verification tools for quantum programs. Existing languages can express dynamic measurement at a low level of abstraction, but ideally the programmer need not specify when measurements happen and can leave this burden to the compiler. Supporting dynamic measurement through universal properties lets the programmer write bigger and better quantum programs.Second, the project will consider robustness in the face of error-prone quantum hardware. Dynamic quantum programs need to deal with noisy measurements. Relatedly, quantum computation can in theory be more energy-efficient than classical computation, but there is currently a lack of in-depth analysis of the in-principle energy use of quantum computation. This project will quantify the effect of dynamic measurement on the robustness of quantum programs, letting the programmer trade off robustness and energy use against quantum measurements.This project provides Dynamic and Universal Quantum programming, which is more flexible, more scalable, and more verifiable.

量子计算有望解决某些没有它根本无法解决的问题，但利用量子能力需要计算方法的根本改变。量子计算的原理与经典计算有着根本的不同。到目前为止，最流行的量子计算模型使用量子电路。在这种低层次和严格的模型中编程需要专业知识。目前大多数量子编程语言描述的是如何构建电路，而不是电路实际上应该做什么。泛属性可以提取概念的本质，而不需要多余的数学细节。基于它们的量子编程语言可以被理解概念但不一定理解量子计算背后的数学的程序员使用。这样的语言使程序员能够在更高的抽象层次上表达算法。通用量子编程在防止和修复编程错误方面也更好。通用量子编程有三个主要优点。首先，程序员可以用更小的组件构建程序，这些组件可以单独构建和测试。这对于可伸缩性是至关重要的：只有当程序员能够控制这种复杂性时，才有可能增加程序的大小和复杂性。第二，存在从仅仅实现细节中抽象出来的数学语义。程序员只能发明真正新的量子算法，如果语言允许足够高的计算水平。第三，程序员可以在自然的抽象层次上自由地表达他们的思想。该项目对通用量子编程有两个主要贡献。首先，作为一个短期的测试案例，我们专注于动态量子测量。量子电路中的每一步都是可逆的，只有在最后才能通过不可逆测量提取经典数据。在量子电路的沿着动态执行测量有许多优点，但这会破坏许多量子程序的验证工具。现有的语言可以在较低的抽象级别上表达动态测量，但理想情况下，程序员不需要指定测量何时发生，并可以将此负担留给编译器。通过泛属性支持动态测量，让程序员可以编写更大更好的量子程序。第二，该项目将考虑在面对易出错的量子硬件时的鲁棒性。动态量子程序需要处理噪声测量。相关地，量子计算在理论上可以比经典计算更节能，但目前缺乏对量子计算的原则上的能量使用的深入分析。该项目将量化动态测量对量子程序鲁棒性的影响，让程序员在鲁棒性和能量使用与量子测量之间进行权衡。该项目提供动态和通用量子编程，更灵活，更可扩展，更可验证。