[论文解读] Independence of the existence of Pitowsky spin models

Ilijas Farah, Menachem Magidor|arXiv (Cornell University)|Dec 1, 2012

Quantum Mechanics and Applications参考文献 10被引用 3

一句话总结

本文確立了皮托夫斯基自旋模型（即賦予量子自旋值的函數，可避開貝爾型無可能定理）在策梅洛-弗蘭克爾集合論加上選擇公理（ZFC）中的獨立性。證明顯示，若連續統為實值可測基數或在隨機實模型中，此類模型不存在，表明其存在性取決於基礎集合論假設，從而將基礎物理與集合論聯繫起來。

ABSTRACT

In 1982 I. Pitowsky used Continuum Hypothesis to construct hidden variable models for spin-1/2 and spin-1 particles in quantum mechanics. We show that the existence of Pitowsky models is independent from ZFC.

研究动机与目标

• 研究皮托夫斯基自旋函數——賦值於自旋-1/2 粒子的非可測函數——是否能在標準集合論中存在。
• 確定此類函數的存在性是否與 ZFC（集合論標準公理系統）獨立。
• 探討此獨立性對量子力學基礎的影響，特別是關於隱變量理論與語境性的含義。
• 證明在某些集合論假設下（例如，勒貝格測度存在 σ-可加延拓），皮托夫斯基函數不可能存在。
• 確認此類函數的不存在性在 ZFC 下相對一致，使用如隨機實模型等模型。

提出的方法

• 使用皮托夫斯基自旋函數 F: S² → [-1,1] 的概念，其滿足涉及大圓與餘弦加權平均的特定對稱性與積分條件。
• 應用測度論技術，證明若存在 P(ℝ) 上勒貝格測度的 σ-可加延拓，則任何此類皮托夫斯基函數必為 Borel 可測。
• 運用弗里德曼與弗萊林關於測度延拓及隨機實模型的結果，表明在此類模型中，所有皮托夫斯基函數皆為 Borel，因此無法為非可測，與要求矛盾。
• 利用函數的 P-D-近似概念，證明若一函數在全外測度集的濾子 D 中被 Borel 函數近似，則其本身必為 Borel。
• 分析取值於 {0,1} 的 KSP 函數（Kochen-Specker 類型函數），證明在相同假設下其存在性亦被排除。
• 應用 Portmanteau 定理，並利用連續映射下推前測度的 Borel 可測性，確立涉及旋轉群與哈爾測度的積分的 Borel 性質。

实验结果

研究问题

• RQ1 皮托夫斯基自旋函數的存在性是否與 ZFC 獨立？
• RQ2 在更強的集合論假設下（如 P(ℝ) 上存在勒貝格測度的 σ-可加延拓），能否排除此類函數的存在？
• RQ3 在 ZFC 的隨機實模型中，皮托夫斯基自旋函數是否不存在？
• RQ4 基礎集合論選擇在多大程度上影響量子力學中非可測隱變量模型的構造可能性？
• RQ5 能否類似地證明 KSP 函數（違反 Kochen-Specker 語境性）的存在性亦與 ZFC 獨立？

主要发现

• 若存在勒貝格測度在 ℝ 的冪集 P(ℝ) 上的 σ-可加延拓，則皮托夫斯基自旋函數不可能存在。
• 在滿足 ZFC 但不滿足連續統假設的隨機實模型中，皮托夫斯基自旋函數不存在。
• 若連續統為實值可測基數（一類大基數公理），則皮托夫斯基函數不存在。
• 任何在濾子 D（全外測度集）中被 Borel 函數 P-D-近似的函數，本身必為 Borel，此結果排除了非可測皮托夫斯基函數的存在。
• 在相同假設下，幾乎違反 Kochen-Specker 語境性的 KSP 函數（取值於 {0,1}）亦被排除，因其亦必為 Borel。
• 對於 KSP 函數 F，積分 I_{a,b,c}(F) 等於 (5 - F(a))/8，若 F 非 Borel，則可由此導出矛盾，從而證明其 Borel 性質。