Quantum Repeaters are one critical technology for scalable quantum networking. One of the key challenges regarding quantum repeaters is their management of how they provide quantum entanglement for distant quantum computers. We focus on the RuleSet architecture, which is a decentralized way to manage repeaters. The RuleSet concept is designed to scale up the management of quantum repeaters for future quantum repeaters, suitable because of its flexibility and asynchronous operation, however, it is still at the conceptual level of definition and it is very hard to define raw RuleSets. In this thesis, we introduce a new programming language, called "RuLa", to write the RuleSets in an intuitive and coherent way. The way RuLa defines RuleSet and Rule is very similar to how the Rule and RuleSets are executed so that the programmer can construct the RuleSets the way they want repeaters to execute them. We provide some examples of how the RuleSets are defined in RuLa and what is the output of the compilation. We also discussed future use cases and applications of this language.
翻译:量子中继器是实现可扩展量子网络的关键技术之一。其核心挑战在于如何为远距离量子计算机提供量子纠缠管理。我们聚焦于规则集架构,这是一种去中心化的中继器管理方案。规则集概念旨在扩展未来量子中继器的管理能力,因其灵活性与异步操作特性而具有适配性,但目前仍处于概念定义阶段,且原始规则集的制定极为困难。本文提出一种名为"RuLa"的新编程语言,能够以直观且连贯的方式编写规则集。RuLa对规则集与规则的定义方式与其执行逻辑高度一致,使程序员能够按照期望中继器执行的方式构建规则集。我们通过示例展示了如何在RuLa中定义规则集及编译输出结果,并进一步探讨了该语言的未来用例与应用场景。