arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 0806.2447quant-ph
收藏

显式量子位的量子lambda演算中的测量与汇合

Measurements and confluence in quantum lambda calculi with explicit qubits

Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella, Jonathan Grattage

备注：
15 pages. Minor changes: final proceedings version. To appear ENTCS: Proceedings of QPL V - DCV IV, Reykjavik, Iceland, 2008
发表信息：
Electronic Notes in Theoretical Computer Science, 270(1):59-74, 2011. Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models (QPL/DCM 2008)
阅读 PDF
arXiv 页面 ↗HTML 原文 ↗

摘要：

本文讨论了如何在量子微积分中加入测量算符。的语义的一致性的证明是通过一个足够一般的方式，允许这种技术被用于其他语言的合流证明。这里描述的方法可以应用于一般的概率重写系统，并将测量添加到更复杂的语言，如QML或Lineal，这是进一步研究的主题。

英文摘要：

This paper demonstrates how to add a measurement operator to quantum lambda-calculi. A proof of the consistency of the semantics is given through a proof of confluence presented in a sufficiently general way to allow this technique to be used for other languages. The method described here may be applied to probabilistic rewrite systems in general, and to add measurement to more complex languages such as QML or Lineal, which is the subject of further research.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

↑