[论文解读] Computability at the Planck scale

Paola Zizzi|ArXiv.org|Dec 15, 2004

Computability, Logic, AI Algorithms参考文献 28被引用 15

一句话总结

本文提出，在普朗克尺度下，量子引力可被建模为嵌入非交换、离散时空（特别是模糊球面）中的通用量子计算机，其中所有物理定律均为可计算函数。由于内部观察者从经典逻辑转向矛盾一致逻辑，经典上为真但不可计算的定理在该框架下变为可计算但不可判定，从而重新定义了量子引力中的可计算性。

ABSTRACT

We consider the issue of computability at the most fundamental level of physical reality: the Planck scale. To this aim, we consider the theoretical model of a quantum computer on a non commutative space background, which is a computational model for quantum gravity. In this domain, all computable functions are the laws of physics in their most primordial form, and non computable mathematics finds no room in the physical world. Moreover, we show that a theorem that classically was considered true but non computable, at the Planck scale becomes computable but non decidable. This fact is due to the change of logic for observers in a quantum-computing universe: from standard quantum logic and classical logic, to paraconsistent logic.

研究动机与目标

• 研究在时空离散且非交换的普朗克尺度下，物理学中的可计算性如何被重新定义。
• 通过将量子计算机嵌入量子时空背景，解决标准量子测量中隐藏的量子信息问题。
• 表明基于模糊球面的量子计算宇宙（与该球面上的量子计算机同构）可实现完全可逆性，并能访问所有量子信息。
• 利用量子计算原理重新表述量子引力，将物理定律等同于可计算函数。
• 探讨内部观察者所用矛盾一致逻辑对量子宇宙的影响，与外部观察者所用经典逻辑形成对比。

提出的方法

• 将宇宙建模为在非交换空间背景上运行的量子计算机，具体为具有 $ n = 2^N $ 基本单元的模糊球面，对应 $ N $ 量子比特。
• 利用非交换的Gelfand-Naimark定理，建立量子逻辑门代数与量子空间之间的同构关系，确保一一对应。
• 以离散且洛伦兹不变的量子空间（即模糊球面）替代经典时空，同时保持离散性与相对论对称性。
• 引入使用矛盾一致逻辑的内部观察者，其不承认排中律与无矛盾律，与使用经典逻辑的外部观察者形成对比。
• 证明当观察者被嵌入量子空间时，量子测量变为可逆，从而消除隐藏的量子信息。
• 重新诠释哥德尔第一不完备性定理：经典逻辑下为真但不可计算的定理，在量子计算宇宙中变为可计算但不可判定。

实验结果

研究问题

• RQ1 当量子引力被建模为非交换空间上的量子计算机时，可计算性的概念如何变化？
• RQ2 当观察者被嵌入量子时空时，标准量子测量中隐藏的量子信息会发生什么变化？
• RQ3 基于模糊球面的量子计算宇宙能否支持一种与经典逻辑和标准量子逻辑不同的逻辑体系？
• RQ4 从经典逻辑转向矛盾一致逻辑如何影响量子宇宙中数学定理的可判定性与真值？
• RQ5 量子计算机与量子时空之间同构性的程度在多大程度上意味着所有物理定律均为可计算函数？

主要发现

• 量子计算机与模糊球面背景之间的同构性确保所有量子信息均可访问，从而消除了因不可逆测量导致的隐藏信息。
• 在经典逻辑下为真但不可计算的定理，在量子计算中变为可计算，但由于经典真值被否定，仍保持不可判定。
• 在量子计算宇宙中的内部观察者使用矛盾一致逻辑，接受 $ A \land \neg A $ 与 $ \neg A \lor A $，从而否定了经典逻辑中的无矛盾律与排中律。
• 在量子宇宙中，经典意义上的真值（0 或 1）变得无意义；相反，定理是可计算的，但不能用经典方式判定。
• 在普朗克尺度下，物理定律被识别为递归的、量子可计算函数，意味着不可计算的数学在物理上无实现。
• 宇宙并非模拟，而是其本身就是一个通用量子计算机，动态地以最原始的符号形式计算物理定律。