[论文解读] Is Quantum Mechanics An Island In Theoryspace?

Scott Aaronson|ArXiv.org|Jan 12, 2004

Quantum Information and Cryptography参考文献 13被引用 38

一句话总结

本文研究了量子力学是否在理论空间中是一个‘孤岛’——即它是否在所有可能的物理理论中唯一稳定且自然。通过改变量子力学的范数结构（p-范数）、幅值的实性（实数与复数）或线性，研究发现即使微小的改动也会导致病态后果，如超光速通信、高效求解困难的计算问题，或基本对称性（如平方根性质）的失效，表明量子力学在理论空间中具有极强的鲁棒性和孤立性。

ABSTRACT

This recreational paper investigates what happens if we change quantum mechanics in several ways. The main results are as follows. First, if we replace the 2-norm by some other p-norm, then there are no nontrivial norm-preserving linear maps. Second, if we relax the demand that norm be preserved, we end up with a theory that allows rapid solution of PP-complete problems (as well as superluminal signalling). And third, if we restrict amplitudes to be real, we run into a difficulty much simpler than the usual one based on parameter-counting of mixed states.

研究动机与目标

• 通过探索理论空间中量子力学的邻域，评估其是否在所有物理理论中唯一稳定且自然。
• 研究在量子力学中用其他p-范数替代标准2-范数的后果。
• 分析将幅值限制为实数而非复数时的物理和计算影响。
• 评估非线性量子理论的可行性及其对计算复杂性和因果性的影响。
• 确定平方根性质——时间演化所必需的——是否在实量子力学中失效，从而破坏其物理一致性。

提出的方法

• 分析p ≠ 2时的p-范数保持线性映射，表明仅可能为对角矩阵的置换。
• 引入一种利用后选择的框架，以研究替代量子理论的计算能力。
• 在变换群中研究平方根性质，比较酉群、正交群和特殊正交群。
• 使用矩阵代数证明：行列式为-1的实正交矩阵不能表示为其他实矩阵的平方。
• 应用辅助量子比特和高维嵌入的方法，以在实量子力学中恢复平方根性质。
• 比较实数、复数和四元数幅值下混合态的参数计数，以评估其与量子de Finetti定理的一致性。

实验结果

研究问题

• RQ1 如果将量子力学中的2-范数替换为其他p-范数，会发生什么？
• RQ2 具有实幅值的量子理论能否保持时间演化所必需的平方根性质？
• RQ3 在保持范数但不保持线性的非线性量子理论中，会涌现出何种计算能力？
• RQ4 改变幅值域（实数与复数）如何影响混合态参数计数的一致性以及量子de Finetti定理？
• RQ5 为何2-范数在所有p-范数中唯一适用于量子力学，而其他p-范数不适用？

主要发现

• 当p ≠ 2时，唯一的范数保持线性映射是对角矩阵的置换，因此在不手动归一化的情况下，非平凡的量子动力学无法实现。
• 在p-范数理论中要求手动归一化，将导致超光速通信，并可在多项式时间内求解PP-完全问题。
• 实量子力学不满足平方根性质：并非所有行列式为-1的正交变换都能表示为实矩阵的平方。
• 只有通过扩展到更高维空间或限制为SO(n)，才能在实量子力学中恢复平方根性质，但两者均引入物理不一致或需要额外维度。
• 复幅值对于混合态参数计数的一致性至关重要，因为仅当幅值为复数时，f(n) = n²成立，从而支持f(n_A n_B) = f(n_A)f(n_B)。
• 即使非线性量子理论保持2-范数（如Weinberg门和多项式门），仍可能高效求解NP-和#P-完全问题，尽管其鲁棒性仍是开放问题。