[论文解读] Operator Algebras in Quantum Computation

Mathys Rennela|arXiv (Cornell University)|Oct 22, 2015

Advanced Operator Algebra Research参考文献 14被引用 5

一句话总结

本文建立了算子代数——特别是W*-代数——与域理论之间的范畴联系，为量子计算提供了一个统一的语义框架。通过使用W*-代数对量子系统进行建模，并应用诸如定向完全偏序（dcpos）和Scott连续性等域论结构，作者构建了量子最弱前置条件演算，并引入了效应代数作为谓词逻辑的框架，从而通过基于泛函分析和量子基础的范畴论方法，实现对量子程序的正式验证。

ABSTRACT

In this master thesis, I discuss how the theory of operator algebras, also called operator theory, can be applied in quantum computer science.

研究动机与目标

• 通过使用算子代数形式化量子过程，弥合量子计算与域理论之间的鸿沟。
• 使用W*-代数作为基础结构，为量子程序提供范畴语义。
• 为推理量子程序正确性，开发量子最弱前置条件演算。
• 引入效应代数作为表达量子计算中谓词的逻辑框架。
• 通过统一的代数与序理论模型，实现对量子密码协议的正式验证与仿真。

提出的方法

• 以W*-代数作为量子计算的数学基础，利用其在泛函分析中的结构。
• 将域论概念——如定向完全偏序（dcpos）和Scott连续性——应用于W*-代数，以将计算建模为定向上确界。
• 引入效应代数以表示量子谓词，并支持量子系统中部分真值的逻辑。
• 利用W*-代数的结构和序理论连续性，构建量子程序的范畴最弱前置条件演算。
• 采用状态与效应三角形构造，统一框架下关联状态、效应与变换。
• 将希尔伯特空间中的投影作为格结构中的原子元素，将量子可观测量与序理论完备性联系起来。

实验结果

研究问题

• RQ1 W*-代数如何在域论框架下作为量子计算的语义模型？
• RQ2 通过效应代数和单子，量子计算与概率计算之间的范畴关系是什么？
• RQ3 如何利用算子代数将最弱前置条件演算推广到量子设置？
• RQ4 W*-代数的哪些拓扑与序理论性质支持量子程序的语义？
• RQ5 希尔伯特空间中投影的格能否被代数化以建模量子可计算性？

主要发现

• W*-代数为建模量子计算（包括通过无限张量积表示的无限维系统，如量子流）提供了自然的范畴框架。
• 本文确立了W*-代数是单调完备的C*-代数，并在正锥序下形成定向完全偏序，从而支持域论推理。
• 通过在W*-代数上使用Scott连续映射，构建了量子最弱前置条件演算，推广了经典谓词变换器。
• 引入效应代数作为逻辑结构以表示量子谓词，从而支持量子计算的正式逻辑。
• 证明了希尔伯特空间中投影的格是原子的，但一般情况下不是代数的，原因在于无限维中非零投影之间不满足逼近关系（way-below关系）的失效。
• 将状态与效应三角形构造扩展至量子设置，统一了范畴框架下的状态、效应与变换。