[論文レビュー] Group Action in Topos Quantum Physics

Cecilia Flori|arXiv (Cornell University)|Oct 7, 2011

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

ひとこと要約

この論文は、標準的なプレシャーフトポスの代わりに、コンテキストと単位区間の積カテゴリ上のシェーブトポスを用いることで、トポス量子理論における群作用の形式的取り扱いを導入する。これにより連続的な群作用が可能になり、ねじれプレシャーフの必要性が排除される。主な貢献は、群関連の命題に対する内部真理値と連続変換を支持する、群論的構造を備えた、幾何学的に整合的で観測者に依存しないユニタリ対称性の定式化である。

ABSTRACT

Topos theory has been suggested first by Isham and Butterfield, and then by Isham and Döring, as an alternative mathematical structure within which to formulate physical theories. In particular it has been used to reformulate standard quantum mechanics in such a way that a novel type of logic is used to represent propositions. In this paper we extend this formulation to include the notion of a group and group transformation in such a way that we overcome the problem of twisted presheaves. In order to implement this we need to change the type of topos involved, so as to render the notion of continuity of the group action meaningful.

研究の動機と目的

• 群作用を定式化する際、トポス量子理論におけるねじれプレシャーフの制限を克服すること。
• 量子理論におけるユニタリ群変換の幾何学的に整合的で連続的な表現を提供すること。
• 測定や観測者の外部的概念に依存せずに、トポスフレームワークに群対称性を統合すること。
• プレシャーフ的構造を通じて、純粋状態と混合状態の両方を群作用下に含めるようにトポスの定式化を一般化すること。
• ユニタリ変換に関連する量子化手順の基礎を、トポスフレームワーク内に確立すること。

提案手法

• 標準的なプレシャーフトポス $\mathbf{Sets}^{\mathcal{V}(\mathcal{H})^{\mathrm{op}}}$ を、トポロジー的連続性を組み込むためにシェーブトポス $\mathrm{Sh}(\mathcal{V}(\mathcal{H}) \times (0,1)_L)$ に置き換える。
• スクリーンの変換された代数のスペクトルに作用する、シェーブトポス内の同型写像を通じて群作用を定義し、シェーブ構造によって連続性を保証する。
• シェーブのエタレバンドル表現を用いて、群に起因する写像によるセクションのプルバックをモデル化し、局所ホメオモルフィズムの整合性を確保する。
• 群に起因する写像によるシェーブのプルバックを表すために、テンソル積 $A(-) \otimes_X \mathrm{Hom}_Y(y, f(-))$ を構成し、同値類がファイバー情報を符号化する。
• 重なり合う開集合上で整合性を保つために、$f$-誘導シェーブ写像の概念を適用し、群変換下でもシェーブ公理が保存されることを保証する。
• シェーブトポスの内部論理を用いて、群作用下での命題の真理値を定義し、それらが共変的かつ連続的に変化することを保証する。

実験結果

リサーチクエスチョン

• RQ1 ねじれプレシャーフに依存せずに、トポス量子理論における群作用を一貫して定式化する方法は何か？
• RQ2 トポスフレームワーク内で群作用を連続的に実現するために必要な位相的構造は何か？
• RQ3 内部論理と真理値を保ちながら、トポス的枠組み内でユニタリ対称性を幾何学的に表現する方法は何か？
• RQ4 シェーブトポスの定式化は、確率が内部的に導かれる状態として、純粋状態と混合状態の両方を群作用下に含められるか？
• RQ5 リー群の幾何学的性質とその軌道が、コンテキストカテゴリ $\mathcal{V}(\mathcal{H})$ におけるトポス定式化に果たす役割は何か？

主な発見

• シェーブトポス $\mathrm{Sh}(\mathcal{V}(\mathcal{H}) \times (0,1)_L)$ は、プレシャーフには欠如していた位相的構造を提供することで、連続的な群作用を支持する。
• コンテキストカテゴリに単位区間を含む積カテゴリに置き換えることで、ねじれプレシャーフが排除され、スペクトルの連続的変換が可能になる。
• 命題への群作用は、今やトポス内での連続的同型写像として表現され、真理値の共変的変換が保証される。
• 群に起因する写像によるシェーブのプルバックは、エタレバンドル $f \circ p_A$ と同型であり、幾何学的整合性と局所自明性を保証する。
• シェーブトポスの内部論理により、命題の真理値が群作用下で連続的に変化し、確率の傾向的解釈を支持する。
• この定式化はすべてのユニタリ対称性に一般化可能であり、ユニタリ変換に関連する量子化手順のための幾何学的に整合的なフレームワークを提供する。