成本分析中的量子期望Transformers
Quantum Expectation Transformers for Cost Analysis
摘要：
我们引入了一种新的期望Transformer的混合经典量子编程语言。我们的语义方法依赖于一个新的概念的成本结构，我们介绍，这可以被看作是一个专门化的凯梅尔和Plotkin的Kegelspitzen。我们表明，我们最弱的前提条件分析是合理的，充分的语言的操作语义。利用诱导期望变换Transformer，给出了经典-量子程序的期望成本分析和期望值分析的形式化分析方法。我们通过计算几个著名的量子算法和协议的预期成本来说明我们的技术的有用性，例如掷硬币，重复直到成功，纠缠态准备和量子行走。
英文摘要：
We introduce a new kind of expectation transformer for a mixed classical-quantum programming language. Our semantic approach relies on a new notion of a cost structure, which we introduce and which can be seen as a specialisation of the Kegelspitzen of Keimel and Plotkin. We show that our weakest precondition analysis is both sound and adequate with respect to the operational semantics of the language. Using the induced expectation transformer, we provide formal analysis methods for the expected cost analysis and expected value analysis of classical-quantum programs. We illustrate the usefulness of our techniques by computing the expected cost of several well-known quantum algorithms and protocols, such as coin tossing, repeat until success, entangled state preparation, and quantum walks.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
