[论文解读] Quantum Theory From Five Reasonable Axioms

Lucién Hardy|ArXiv.org|Jan 3, 2001

Logic, Reasoning, and Knowledge参考文献 5被引用 457

一句话总结

本文從五個直觀的公理推導出量子理論，表明量子與經典機率理論之間的關鍵差異在於純態之間連續可逆變換的要求（公理5）。當移除此連續性假設時，經典機率理論便自然出現，從而揭示為何量子理論需要複數的希爾伯特空間與機率的跡公式。

ABSTRACT

The usual formulation of quantum theory is based on rather obscure axioms (employing complex Hilbert spaces, Hermitean operators, and the trace rule for calculating probabilities). In this paper it is shown that quantum theory can be derived from five very reasonable axioms. The first four of these are obviously consistent with both quantum theory and classical probability theory. Axiom 5 (which requires that there exists continuous reversible transformations between pure states) rules out classical probability theory. If Axiom 5 (or even just the word "continuous" from Axiom 5) is dropped then we obtain classical probability theory instead. This work provides some insight into the reasons quantum theory is the way it is. For example, it explains the need for complex numbers and where the trace formula comes from. We also gain insight into the relationship between quantum theory and classical probability theory.

研究动机与目标

• 識別出一組最小且物理上合理的公理，以唯一恢復量子理論的結構。
• 透過從基礎原理推導，澄清為何量子理論需要複數與機率的跡公式。
• 顯示當連續性假設（公理5）被移除時，經典機率理論自然出現。
• 透過提出在經驗數據出現之前即可被提出的公理，提供對量子理論更深的哲學理解。
• 提供一個框架，可用於引導超越量子理論的理論發展，例如量子重力，方法是明確理論的基礎結構。

提出的方法

• 將維度 $N$ 定義為單次測量中可區分狀態的最大數量，$K$ 為指定一個狀態所需的實參數數量。
• 利用公理1（頻率收斂性）與公理2（簡潔性）約束 $K = K(N)$，並針對每個 $N$ 最小化 $K$，從而得出量子理論的 $K = N^2$。
• 應用公理3（子空間）以證明受限於 $M$-維子空間的系統表現如 $M$-維系統一般。
• 利用公理4（複合系統）強制要求 $N = N_A N_B$ 與 $K = K_A K_B$，以確保組合下的一致性。
• 利用公理5（純態之間的連續可逆變換）排除經典理論（$K=N$），並強制要求 $K=N^2$，暗示複數希爾伯特空間的結構。
• 推導出狀態為實向量 $\mathbf{p}$，測量機率由線性泛函 $\mathbf{r} \cdot \mathbf{p}$ 給出，並顯示最一般的演化為作用於密度算符的超算符。

实验结果

研究问题

• RQ1 哪組最小且物理上合理的公理能唯一推導出量子理論的結構？
• RQ2 為何量子理論需要複數與機率的跡公式？這些是否能從基本原理推導而出？
• RQ3 純態之間連續可逆變換的要求如何區分量子理論與經典機率理論？
• RQ4 若移除連續性假設（公理5），理論會如何變化？是否會恢復經典機率理論？
• RQ5 此公理框架能否為量子力學的詮釋提供洞見，並引導超越量子理論的理論發展？

主要发现

• 量子理論唯一地從五個公理推導而出，其與經典機率理論的關鍵差異在於純態之間連續可逆變換的要求（公理5）。
• 當公理5被捨棄時，簡潔性公理導致 $K = N$，對應該經典機率理論，顯示連續性是本質差異。
• 狀態空間被證明同構於維度 $K = N^2$ 的實向量空間，暗示複數希爾伯特空間與密度算符形式主義的必要性。
• 最一般的量子態演化被證明為超算符作用於密度算符，與單位演化及態塌縮均一致。
• 測量結果的機率由線性泛函 $\mathbf{r} \cdot \mathbf{p}$ 給出，複合系統的狀態以希爾伯特空間張量積上的正算符表示。
• 該框架自然涵蓋塌縮詮釋，因為最一般的演化包含從純態到混合態的映射。