机构名称：
¥ 2.0
摘要：量子计算在实现过程中不可避免地会存在缺陷。这些缺陷来自各种来源，包括硬件级别的环境噪声以及量子算法设计者引入的近似实现，例如低深度计算。鉴于关系逻辑在程序推理中的显著优势以及评估量子程序在其理想规范和不完美实现之间的稳健性的重要性，我们设计了一个证明系统来验证量子程序的近似关系性质。我们通过对著名的量子傅里叶变换低深度近似进行首次形式化验证，证明了我们方法的有效性。此外，我们验证了重复直到成功算法的近似正确性。从技术角度来看，我们开发了近似量子耦合作为研究量子程序近似关系推理的基本工具，这是概率程序中广泛使用的近似概率耦合的新颖概括，回答了先前提出的射影谓词的开放性问题。
量子程序的近似关系推理
主要关键词
相关文件推荐
