论文标题
Tierkreis：用于混合量子经典计算的数据流框架
Tierkreis: A Dataflow Framework for Hybrid Quantum-Classical Computing
论文作者
论文摘要
我们提出了Tierkreis，这是一种高阶数据流程图表表示和为组成，量子古典混合算法而设计的运行时。系统的设计是由量子计算机的遥远性质，混合算法涉及云和分布式计算的需求以及这些算法的长期性质。基于图的表示形式反映了设计师如何推理和可视化算法，并允许自动并行性和异步性。强大的静态类型系统和高阶语义可以在程序中具有很高的表达性和组成性。灵活的运行时协议使第三方开发人员能够使用任何语言或环境添加功能。借助Tierkreis，量子软件开发人员可以轻松地构建，可视化，验证，测试和调试复杂的混合工作流，并立即将其部署到云或自定义分布式环境中。
We present Tierkreis, a higher-order dataflow graph program representation and runtime designed for compositional, quantum-classical hybrid algorithms. The design of the system is motivated by the remote nature of quantum computers, the need for hybrid algorithms to involve cloud and distributed computing, and the long-running nature of these algorithms. The graph-based representation reflects how designers reason about and visualise algorithms, and allows automatic parallelism and asynchronicity. A strong, static type system and higher-order semantics allow for high expressivity and compositionality in the program. The flexible runtime protocol enables third-party developers to add functionality using any language or environment. With Tierkreis, quantum software developers can easily build, visualise, verify, test, and debug complex hybrid workflows, and immediately deploy them to the cloud or a custom distributed environment.
