[论文解读] A simple derivation of Born's rule with and without Gleason's theorem

Alexia Auffèves, Philippe Grangier|arXiv (Cornell University)|May 6, 2015

Quantum Mechanics and Applications参考文献 17被引用 4

一句话总结

本文從基於量子化現象學的公理體系出發，不依賴傳統的假設，對玻恩定律和量子形式體系進行了物理推導。通過結合三個物理公理——上下文性、模態性與連續上下文變換——以及等價於格利森定理的數學補充，作者推導出玻恩定律與幺正演化，提出了一種新的本體論框架，其中量子概率源自離散模態與連續上下文之間的相互作用。

ABSTRACT

We present a derivation of Born's rule and unitary transforms in Quantum Mechanics, from a simple set of axioms built upon a physical phenomenology of quantization. Combined to Gleason's theorem, this approach naturally leads to the usual quantum formalism, within a new conceptual framework that is discussed heuristically in details. The structure of Quantum Mechanics, from its probabilistic nature to its mathematical expression, appears as a result of the interplay between the quantized number of "modalities" accessible to a quantum system, and the continuum of "contexts" that are required to define these modalities.

研究动机与目标

• 提供一種物理上可動機的玻恩定律推導，避免量子力學中傳統的假設方法。
• 表明量子力學的結構——包括概率、希爾伯特空間與幺正演化——可自然地從量子化與上下文性的物理原理中產生。
• 通過將物理現實重新定義為系統、上下文與模態（CSM）的聯合性質，而非僅僅是系統本身，來調和量子力學與物理現實主義。
• 證明格利森定理不僅是數學結果，而且可透過根植於實驗現象學的公理獲得物理基礎。
• 通過表明概率在量子力學中的角色是不同測量上下文之間不相容模態的不可避免結果，澄清概率的作用。

提出的方法

• 提出三個物理公理：(1) 一個模態是定義於某一下文中的可預測、可重複的物理量集合；(2) 對於給定下文，恰好存在 N 個相互排斥的模態；(3) 下文變換由連續群 G 生成。
• 引入第四個數學公理，等價於格利森定理的假設，確保概率測度由跡規則給出。
• 利用非上下文性假設（概率僅依賴於投影算符，而不依賴於同一下文中的其他投影算符）來約束概率測度的形式。
• 通過證明任何滿足公理的測度都必須可表達為 p(i) = Tr(ρP_i)，從而推導出玻恩定律是唯一符合公理的概率測度。
• 建立模態與希爾伯特空間中射線之間的一一對應關係，以及投影算符與正交投影之間的對應關係。
• 證明幺正演化來自於下文變換的群結構，將物理操作與幺正算符聯繫起來。

实验结果

研究问题

• RQ1 玻恩定律能否從物理原理推導，而非作為假設？
• RQ2 離散模態與連續上下文之間的相互作用如何導致量子概率？
• RQ3 格利森定理的數學結構在量子力學中的物理意義為何？
• RQ4 量子力學能否從上下文、系統與模態（CSM）的物理本體論中重建？
• RQ5 標準量子形式體系（包括疊加與糾纏）能否在不引入測量假設的情況下，從物理公理中推導出來？

主要发现

• 玻恩定律被推導為與量子化、上下文性與非上下文性物理公理一致的唯一概率規則。
• 量子形式體系——包括希爾伯特空間、投影算符與譜定理——自然地從公理中產生，無需假設波函數或測量坍縮。
• 從一個模態到另一個模態的轉移概率僅取決於與模態相關的投影算符，而不依賴於更廣泛的上下文，支持非上下文性假設。
• 幺正時間演化來自於下文變換的連續群結構，將物理操作與幺正算符聯繫起來。
• 糾纏被理解為複合下文中的聯合模態，與可分離模態不相容，無需引入非局域性或遠距作用。
• 波函數並非物理實體，而是一種計算工具；物理現實是上下文相關且關係性的，由系統、上下文與模態共同定義。