[论文解读] The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing

J. Michael Dunn, Lawrence S. Moss+1 more|arXiv (Cornell University)|Feb 14, 2013

Quantum Computing Algorithms and Architecture参考文献 14被引用 4

一句话总结

本文通過將量子邏輯重新定義為量子計算中量子寄存器的邏輯，為量子邏輯注入新生命，提出基於量子比特計算的量子邏輯『第三人生』。它將量子邏輯與拓撲量子計算聯繫起來，引入任意Anyonic系統中的內秉量子糾纏，並對經典數學結構（如康托集與數字）的量子類比提出推測。

ABSTRACT

We begin by discussing the history of quantum logic, dividing it into three eras or lives. The first life has to do with Birkhoff and von Neumann's algebraic approach in the 1930's. The second life has to do with attempt to understand quantum logic as logic that began in the late 1950's and blossomed in the 1970's. And the third life has to do with recent developments in quantum logic coming from its connections to quantum computation. We discuss our own work connecting quantum logic to quantum computation (viewing quantum logic as the logic of quantum registers storing qubits), and make some speculations about mathematics based on quantum principles.

研究动机与目标

• 將量子邏輯重新定義為儲存量子比特的量子寄存器邏輯，標誌著受量子計算啟發的『量子邏輯第三人生』。
• 研究量子邏輯如何自然地出現在拓撲量子計算中，特別是透過非阿貝爾任意Anyons及其基態。
• 透過推廣經典概念（如康托集與數字）至非交換、量子設定，探討『量子數學』的 speculative 基礎。
• 檢視在缺乏自然張量分解的拓撲量子態中，內秉糾纏的性質。
• 評估將波函數公理化為『量子數』的可行性，以及量子邏輯在形式化算術時的限制。

提出的方法

• 將量子邏輯建模為量子寄存器的邏輯，其中命題對應於希爾伯特空間的閉子空間，運算透過交集（合取）、張成的閉包（析取）與正交性（否定）定義。
• 應用馮·諾依曼代數與型 $\mathrm{II}_1$ 因子的框架，以建模非交換機率，並透過類比 Stone 表示定理，定義『量子康托集』作為經典康托集的非交換類比。
• 利用任意Anyons與拓撲量子場論理論分析非阿貝爾任意Anyons的基態，顯示 $r=4$ 個任意Anyons需要兩個獨立的波函數。
• 透過指出希爾伯特空間缺乏自然張量分解，分析拓撲序中的內秉糾纏，使糾纏成為非局域且與測量無關的特徵。
• 透過將圖靈帶上的二進制字串推廣至希爾伯特空間基向量上的複幅度，提出將波函數視為『量子數』。
• 將正交模稜量子邏輯應用於形式系統，顯示一階皮亞諾算術在正交模稜量子邏輯中仍保留經典定理，但二階系統在延拓性原則下會坍塌至經典邏輯。

实验结果

研究问题

• RQ1 如何將量子邏輯重新詮釋為量子計算中量子寄存器的邏輯？
• RQ2 內秉糾纏在拓撲量子態中扮演何種角色？與標準糾纏有何差異？
• RQ3 經典數學結構（如康托集與實數）能否推廣至非交換、量子類比？
• RQ4 將波函數視為『量子數』在形式化量子算術中具有何種含義？
• RQ5 為何具延拓性原則的二階量子邏輯無法超越經典邏輯？

主要发现

• 量子寄存器的邏輯透過希爾伯特空間的閉子空間形式化，析取運算定義為兩個子空間張成的閉包。
• 對於 $r=4$ 個非阿貝爾任意Anyons，需兩個獨立波函數來描述基態簡併，顯示非平凡的拓撲簡併。
• 拓撲序展現內秉糾纏，因希爾伯特空間缺乏自然張量分解，使糾纏成為全域性、非局域的特徵。
• 具有歸一化跡的超有限 $\mathrm{II}_1$ 因子可作為非交換機率空間，透過類比 Stone 表示定理，以建模『量子康托集』。
• 波函數透過將二進制數位推廣至非陣列化希爾伯特基上的複幅度，一般化了經典數字，暗示『量子數』的基礎。
• 在一階皮亞諾算術中，正交模稜量子邏輯產生與經典算術相同的定理，但二階系統在最小延拓性原則下會坍塌至經典邏輯。