[論文レビュー] Flows on Generalised Gelfand Spectra of Nonabelian Unital C*-Algebras and Time Evolution of Quantum Systems

Andreas Doering|arXiv (Cornell University)|Dec 19, 2012

Advanced Operator Algebra Research参考文献 18被引用数 11

ひとこと要約

本稿は、非可換単位的C*-代数の一般化されたゲルファンドスペクトル（スペクトルプレシェーブ）上の流れを用いて、非相対論的量子力学における時間発展をトポス論的枠組みで記述するものである。1パラメータのユニタリ作用素群とスペクトルプレシェーブの自己同型の間の対応を確立し、シュレーディンガー図とハイゼンベルク図の両方がこの設定において一貫して定式化できることを示し、ユニタリ時間発展演算のもとでも物理的予測が保存されることを示している。

ABSTRACT

In arXiv:1212.2613, we associated a presheaf Σ^A with each unital C*-algebra A. The spectral presheaf Σ^A generalises the Gelfand spectrum of an abelian unital C*-algebra. In the present article, we consider one-parameter groups of automorphisms of the spectral presheaf, in particular those arising from one-parameter groups of inner automorphisms of the algebra. We interpret the spectral presheaf as a (generalised) state space for a quantum system and show how one can use flows on the spectral presheaf and on associated structures to describe the time evolution of non-relativistic quantum systems, both in the Schrödinger picture and the Heisenberg picture.

研究の動機と目的

• 非可換C*-代数のスペクトルプレシェーブ上の流れを導入することで、量子理論へのトポス論的アプローチを拡張すること。
• 1パラメータの内部自己同型群によって誘導されるスペクトルプレシェーブの自己同型を用いて、量子系における時間発展を記述すること。
• シュレーディンガー図とハイゼンベルク図を、スペクトルプレシェーブおよび関連構造上の流れの観点から再定式化すること。
• このトポス論的枠組みにおいて、2つの図が標準的量子理論と一致するように、物理的予測の整合性を示すこと。
• ユニタリ変換のもとで物理的予測が保存される幾何的・圏論的再定式化を、時間発展演算に施すこと。

提案手法

• 単位的可換C*-部分代数のゲルファンドスペクトルを割り当てる反変函手 $\underline{\Sigma}^\mathcal{A}$ としてスペクトルプレシェーブを構成する。これは、$\mathcal{C}(\mathcal{A})$ から $\mathbf{Set}$ への関手である。
• C*-代数におけるユニタリ共役によって誘導される、文脈圏の順序自己同型を通じて、スペクトルプレシェーブの自己同型を定義する。
• 1パラメータのユニタリ作用素群を用いて、スペクトルプレシェーブ上の流れを導入し、時間順序付きの自己同型族を生成する。
• 状態をクロージャー部分対象分類子 $\underline{CP}$ のグローバルセクションとして表現し、ユニタリ共役写像に沿った引き戻しを用いて時間発展演算を定義する。
• 写像 $\underline{\tilde{\phi}}_{\hat{U}_t}$ を用いて、クロージャー部分対象（命題）を時間的に前進させ、論理的構造を保存する。
• 時間発展演算のもとで、状態の下での命題の真偽値が、時間発展演算された命題の下での元の値と一致することを示し、共変性を確立する。

実験結果

リサーチクエスチョン

• RQ1 非可換C*-代数のスペクトルプレシェーブ上の流れを用いて、量子系における時間発展を一貫して記述する方法は何か？
• RQ2 シュレーディンガー図とハイゼンベルク図は、スペクトルプレシェーブ自己同型を用いて、トポス論的枠組み内で再定式化可能か？
• RQ3 ユニタリ1パラメータ群は、スペクトルプレシェーブ上の流れをどのように生成するのか？また、物理的時間発展とどのように関係するか？
• RQ4 このトポス論的枠組みにおいて、量子予測の共変性はどのように保たれるか？
• RQ5 スペクトルプレシェーブは、静的観測可能量を越えて、量子系の力学的構造をどの程度捉えられるか？

主な発見

• フォン・ノイマン代数における1パラメータのユニタリ作用素群は、スペクトルプレシェーブの自己同型を誘導し、時間発展の幾何的実現を提供する。
• 状態と観測可能量の時間発展演算は、両図においてスペクトルプレシェーブおよび関連するクロージャー部分対象を用いた流れを通じて一貫して記述できる。
• 共変性関係 $ (m_{\rho_0}(\underline{S}_0))_V = (m_{\rho_t}(\underline{S}_{-t}))_{\hat{U}_t V \hat{U}_{-t}} $ が成り立ち、時間発展演算のもとでも物理的予測が保存されることを保証する。
• グレーゲンの定理のグローバルセクションによるプレシェーブ表現（命題4.12）により、トポス枠組みにおける確率割り当ての圏論的基盤が得られる。
• スペクトルプレシェーブは代数のジョルダン $*$-構造を捉えており、多くのC*-代数のクラスにおいて、これは代数をジョルダン同型の意味で決定する。
• この枠組みは、時間発展演算をトポス論とスペクトルプレシェーブに基づく幾何的・論理的構造に埋め込むことで、標準的量子理論を一般化する。