.png){kind=icon}
返回
RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
.png){kind=icon}
PRE
AI
DOI：10.1145/3776648.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
量子分离逻辑（QSL）已被提出作为一种有效工具，用于改进量子程序演绎推理的可扩展性。在QSL中，分离被解释为退纠缠，而框架规则引入了一种纠缠局部规范（仅涉及程序作用的量子比特所纠缠的量子比特）。在本文中，我们识别了量子领域的两种独特局部性概念，并构建了一种新型量子分离逻辑RapunSL，能够将关于叠加态的推理稳妥地约简为关于纯态的推理（基局部性），以及将源于测量的混合态推理约简为关于纯态的推理（结果局部性）。为此，我们引入了两种连接词：线性组合和混合，它们与分离共同显著提高了推理的可扩展性，我们通过一系列具有挑战性的案例研究对此进行了演示。
Keyword:
quantum separation logic
entanglement
quantum program verification
期刊
P
IF:
2.8
论文数:
308
被引数:
4.7K
机构
引用论文
.png){kind=icon}
A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic基于分离逻辑的量子程序本地推理中分离连接词的量子解释
OAAI
OAAI分享收藏分享收藏
查看更多内容