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.
翻译:我们介绍铁格列斯,这是一个更高层次的数据流图程序,其运行时间是为组成、量子古典混合算法设计的。这个系统的设计是由量子计算机的远程性质、混合算法涉及云层和分布计算的必要性以及这些算法的长期性质驱动的。基于图的表达方式反映了设计者如何理解和视觉化算法,并允许自动平行和无同步。一个强大、静态的类型系统和高层次的语义使程序具有高度的表达性和组成性。灵活的运行时间协议使第三方开发者能够使用任何语言或环境添加功能。有了铁格瑞斯,量子软件开发者可以很容易地建立、可视化、核实、测试和调试复杂的混合工作流程,并立即将其部署到云层或定制分布的环境。