[論文レビュー] Bohrification: From classical concepts to commutative algebras

Klaas Landsman|arXiv (Cornell University)|Jan 12, 2016

Quantum Mechanics and Applications参考文献 105被引用数 5

ひとこと要約

この論文は、ボーリングの古典的概念の教義とフォン・ノイマンの作用素代数的量子理論を統合する枠組みとしてボーリング化を導入し、可換 C*-代数を用いて量子系の古典的極限をモデル化する。2つの形態——可換部分代数による正確なボーリング化と、連続的バンドルによる漸近的ボーリング化——を確立し、ボーン則の厳密な導出と、量子から古典への移行の概念的解決を可能にする。

ABSTRACT

The Bohrification program is an attempt to interpret Bohr's mature doctrine of classical concepts as well as his earlier correspondence principle in the operator-algebraic formulation of quantum theory pioneered by von Neumann. In particular, this involves the study of commutative C*-algebras in relationship to noncommutative ones. This relationship may take the form of either exact Bohrification, in which one studies commutative unital C*-subalgebras of a given noncommutative C*-algebra, or asymptotic Bohrification, which involves deformations of commutative C*-algebras into noncommutative ones. Implementing the doctrine of classical concepts, exact Bohrification is an appropriate framework for the Kochen-Specker Theorem and for (intuitionistic) quantum logic, culminating in the topos-theoretic approach to quantum mechanics that has been developed since 1998. Asymptotic Bohrification was inspired by the correspondence principle and forms the right conceptual and mathematical framework for the explanation of the emergence of the classical world from quantum theory (incorporating the measurement problem and the closely related issue of spontaneous symmetry breaking). The Born rule may be derived from both exact and asymptotic Bohrification, which reflects the Janus faces of probability as applying to individual random events and to relative frequencies, respectively. We review the history, the goals, and the achievements of this program so far.

研究の動機と目的

• ニールス・ボーアの古典的概念の教義を、量子力学の数学的形式主義と調和させること。
• 古典物理学が量子理論からどのように出現するかという基礎的問題に取り組むこと、特に測定問題と自発的対称性の破れを踏まえて。
• 非可換 C*-代数（量子観測可能）と可換 C*-代数（古典的観測可能）の間の数学的に厳密な橋渡しを提供すること。
• 対応原理とコッヘン＝スペッカーの定理を、一つの作用素代数的枠組みに統合すること。
• ボーン則を正確および漸近的ボーリング化の両方から導出し、それが確率論における確率の二重的役割をどのように反映するかを明らかにすること。

提案手法

• 正確なボーリング化は、非可換 C*-代数 A の可換単位的 C*-部分代数を研究し、古典的測定状況をモデル化する。
• 漸近的ボーリング化は、パラメータ（例：ℏ または N）で添え字づけられた連続的バンドルの C*-代数を用いる。ファイバー代数は A_ℏ であり、評価写像 φ_ℏ: A → A_ℏ が定義される。
• 構造は、関数 ℏ ↦ ||φ_ℏ(a)||_ℏ が I 上で連続であり、かつ ||a|| = sup_ℏ ||φ_ℏ(a)||_ℏ であると要求することで定義される。
• バンドルのセクションは A の要素に対応し、点ごとの演算が定義される。代数 A は連続的セクションの空間と同一視される。
• ファイバー代数は A_ℏ = A / (C_0(I;ℏ)·A) として定義され、C_0(I;ℏ) は ℏ で消える関数からなる。
• この枠組みは乗法的代数 M(A) と、非退化なホモモーフィズム φ: C(I) → Z(M(A)) を用いてバンドル構造を定義する。

実験結果

リサーチクエスチョン

• RQ1 ボーラーの古典的概念の教義は、作用素代数的量子力学の枠組み内でどのように数学的に形式化できるか？
• RQ2 漸近的ボーリング化は、古典物理学が量子理論からどのように出現するかという概念的および数学的基盤をどのように提供するか？
• RQ3 ボーン則は、正確および漸近的ボーリング化の両方からどのように導出可能か？ そして、これは量子力学における確率の本質をどのように明らかにするか？
• RQ4 可換 C*-代数は、トポス的量子論理とコッヘン＝スペッカーの定理のアプローチにおいて果たす役割は何か？
• RQ5 連続的バンドルの C*-代数形式は、特に ℏ → 0 または N → ∞ の極限において、量子系の古典的極限をどのように捉えているか？

主な発見

• 正確なボーリング化は、コッヘン＝スペッカーの定理を厳密に扱うフレームワークを提供し、可換 C*-部分代数を用いたトポス的量子論理のアプローチを支援する。
• 漸近的ボーリング化は、ボーラーの対応原理を数学的に正確に実現し、連続的バンドルの C*-代数を通じて古典的極限をモデル化する。
• ボーン則は、正確および漸近的ボーリング化の両方から導出可能であり、これは個々の出来事における確率としての解釈と相対頻度としての解釈の二重的役割を反映している。
• 連続的バンドルの C*-代数の構造により、A に属する要素 a に対して ||a|| = sup_ℏ ||φ_ℏ(a)||_ℏ が成り立つことが保証され、C*-代数的構造が保存される。
• ファイバー代数 A_ℏ は A / (C_0(I;ℏ)·A) として定義され、商写像 φ_ℏ が適切に定義されたホモモーフィズムであることが保証される。
• この枠組みにより、ボーラーの概念的分析とフォン・ノイマンの数学的形式主義の明確な分離が可能となり、量子力学における長年の基礎的対立が解消される。