[论文解读] Logical Interpretation of a Reversible Measurement in Quantum Computing

Giulia Battilotti, Paola Zizzi|ArXiv.org|Aug 11, 2004

Quantum Mechanics and Applications参考文献 20被引用 12

一句话总结

本文提出了一种用于量子计算的 paraconsistent（矛盾相容）、对称的逻辑，通过建模一个‘内部观测者’在量子空间背景（如模糊球面）中执行的可逆量子测量。与仅描述不可逆投影测量的标准量子逻辑不同，该逻辑同时否定矛盾律与排中律，为量子计算的内部动力学提供了基础性框架。

ABSTRACT

We give the logical description of a new kind of quantum measurement that is a reversible operation performed by an hypothetical insider observer, or, which is the same, a quantum measurement made in a quantum space background, like the fuzzy sphere. The result is that the non-contradiction and the excluded middle principles are both invalidated, leading to a paraconsistent, symmetric logic. Our conjecture is that, in this setting, one can develop the adequate logic of quantum computing. The role of standard quantum logic is then confined to describe the projective measurement scheme.

研究动机与目标

• 开发一种从内部观测者视角描述整个量子计算过程的逻辑框架，而非外部观测者视角。
• 解决标准量子逻辑的局限性，后者无法描述量子计算机在酉演化过程中的封闭量子系统。
• 探讨可逆量子测量（特别是镜像测量、模糊测量和说谎者测量）如何催生一种新的逻辑，该逻辑具有矛盾相容性与对称性。
• 阐明内部观测者（执行可逆测量）的逻辑与外部观测者（执行不可逆、投影测量）的逻辑之间的区别。

提出的方法

• 在单量子比特上引入三种可逆测量类型：镜像测量、模糊测量和说谎者测量，每种均在几何背景（离散晶格或模糊球面）中定义。
• 将内部观测者建模为嵌入于量子空间背景（如模糊球面）之中，其中测量为酉操作且可逆，从而保留所有量子信息。
• 使用布洛赫球面表示法，将镜像测量解释为绕 z 轴的逆时针旋转，将说谎者测量解释为通过点互换实现的概率交换。
• 推导出两个彼此对称的新逻辑公理，它们与经典非矛盾律和排中律相矛盾，从而导出一种矛盾相容逻辑。
• 比较内部观测者的逻辑（矛盾相容且对称）与外部观测者的逻辑（标准量子逻辑）以及经典逻辑（亚里士多德逻辑）之间的差异。
• 引入一个元逻辑通信符号 '@' 以建模观测者之间的通信，表明由于逻辑不相容性，经典逻辑与内部观测者逻辑之间无法实现直接通信。

实验结果

研究问题

• RQ1 由内部观测者在量子空间背景中执行的可逆量子测量，如何催生一种新的逻辑结构？
• RQ2 当从内部观测者视角建模量子计算时，哪些逻辑原则被否定，又由什么取代？
• RQ3 内部观测者的逻辑与标准量子逻辑（外部观测者所用）及经典逻辑有何不同？
• RQ4 几何结构（如模糊球面和离散晶格）在实现可逆测量与对称逻辑中起什么作用？
• RQ5 能否形式化建模具有不同逻辑的观测者之间的通信？此类通信限制具有何种含义？

主要发现

• 内部观测者的逻辑是矛盾相容且对称的，同时否定了矛盾律与排中律。
• 镜像测量对应于布洛赫球面上绕 z 轴的逆时针旋转，且保持概率不变；而说谎者测量则交换了量子比特态的概率。
• 模糊测量对应于模糊球面上的一般旋转，混合了概率，反映了更广泛的可逆操作类别。
• 与外部观测者通过投影测量坍缩态不同，内部观测者可执行可逆测量而不引入隐藏信息。
• 经典逻辑学家（A）与内部观测者（P）之间的通信在逻辑上不可能，如通信关系（@）的非传递性所示，尽管外部观测者（G）可与两者通信。
• 该框架基于非交换 C*-代数（对内部观测者）与交换代数（对外部观测者）提供了几何与代数基础，将几何、代数与逻辑联系起来。