广义量子最弱前置条件
量子物理
2013-02-01 v2
摘要
本文提出了 D'Hondt 和 Panangaden 的量子最弱前置条件结果的广义化。特别是，引入了作为正算子值测度 (POVM) 的最一般量子谓词概念。先前已知的量子最弱前置条件结果已被扩展，以涵盖 POVM 充当量子谓词的情形。此外，我们的结果在无限维情形下有效，并且也适用于定义为量子态的正变换但不必是完全正变换的量子程序。
引用
@article{arxiv.0710.5239,
title = {Generalised quantum weakest preconditions},
author = {Roman Gielerak and Marek Sawerwain},
journal= {arXiv preprint arXiv:0710.5239},
year = {2013}
}
评论
7 pages, no figures, added references, changed content