[論文レビュー] Part I: Vector Analysis of Spinors

Garret Sobczyk|arXiv (Cornell University)|Jul 21, 2015

Algebraic and Geometric Analysis参考文献 17被引用数 5

ひとこと要約

本稿では、複素2×2行列の代数（パウリ代数）に基づく幾何代数フレームワークを導入し、量子力学における2成分スピンラーの幾何的解釈を提供する。イデムポテン、ニルポテンツ、リーマン球を用いることで、ハイゼンベルクの不確定性原理の新しい導出がなされ、スピンラーのリーマン球上での時間発展を用いてニュートリノ振動をモデル化する。

ABSTRACT

Part I: The geometric algebra of space is derived by extending the real number system to include three mutually anticommuting square roots of plus one. The resulting geometric algebra is isomorphic to the algebra of complex 2x2 matrices, also known as the Pauli algebra. The so-called spinor algebra of C(2), the language of the quantum mechanics, is formulated in terms of the idempotents and nilpotents of the geometric algebra of space, including its beautiful representation on the Riemann sphere, and a new proof of the Heisenberg uncertainty principle. In "Part II: Spacetime Algebra of Dirac Spinors", the ideas are generalized to apply to 4-component Dirac spinors, and their geometric interpretation in spacetime.

研究の動機と目的

• スピンラーの幾何代数による再定式化を通じて、スピンラー状態の幾何的解釈を提供すること。
• 南極からの立体射影を介して、2成分スピンラーとリーマン球との間の関係を確立すること。
• イデムポテンツ射影と幾何代数を用いてハイゼンベルクの不確定性原理を導出すること。
• リーマン球上でのスピンラーの時間発展を用いて、電子ニュートリノとミューオンニュートリノ状態間のニュートリノ振動をモデル化すること。
• ブラケット記法と幾何代数を統合し、量子状態および観測量のより直感的な表現を実現すること。

提案手法

• 実数体に、+1の反交換性を持つ3つの平方根を導入することで、幾何代数 𝔾₃ を構成する。
• 回転の生成子としての双ベクトル I, J, K を定義し、クaternionと同型となるが、幾何学的には有向平面として解釈する。
• 単位三重ベクトル i = e₁e₂e₃ を用いて、i² = -1 となる複素数に類似した構造を定義し、回転にオイラーの公式を適用可能にする。
• イデムポテンツ u₊ = ½(1 + e₃) と u₋ = ½(1 - e₃) を構成し、ℂ 上での代数のスペクトル基底を形成する。
• スピンラーを最小左イデアル 𝔾₃u₊ の元として表現し、状態 |0⟩ = √2u₊ と |1⟩ = √2e₁u₊ を定義する。
• ハミルトニアンの指数写像を用いてスピンラーの時間発展をモデル化し、リーマン球上でのスピンラーの時間発展を導く。

実験結果

リサーチクエスチョン

• RQ1 パウリ代数は、𝔾₃ 内の多重ベクトルを用いてどのように幾何学的に解釈できるか？
• RQ2 スピンラーのリーマン球表現は、立体射影の幾何学的意味としてどのように解釈できるか？
• RQ3 イデムポテンツ射影と幾何代数を用いて、ハイゼンベルクの不確定性原理を導出できるか？
• RQ4 ハミルトニアン s₀ + s の下でスピンラー状態はどのように時間発展し、リーマン球上ではどのような軌道を描くか？
• RQ5 2つのフレーバー状態間のニュートリノ振動は、スピンラーの時間発展を用いてどのように幾何学的にモデル化できるか？

主な発見

• 幾何代数 𝔾₃ は、複素2×2行列の代数と同型であり、パウリスピンラーの自然なフレームワークを提供する。
• スピンラーのリーマン球表現は、スピンラー状態を南極から立体射影することで生じるが、北極は状態 |↑⟩ に対応する。
• 直交するイデムポテンツへの射影の非可換性を用いて、ハイゼンベルクの不確定性原理が幾何学的に導出される。
• 状態 |α⟩ が与えられたもとで状態 |β⟩ を測定する確率は |⟨α|β⟩|² = ½(1 + â·b̂) で与えられ、量子力学的予測と一致する。
• 電子ニュートリノとミューオンニュートリノ状態間のニュートリノ振動は、リーマン球上を大円に沿ってスピンラーが発展する形でモデル化され、完全な振動周期は T = πℏ / |s| である。
• 時間に依存しないハミルトニアン s₀ + s の下でのスピンラーの時間発展は、|α⟩ = √2 e^(-iHt/ℏ)u₊ = √2 e^(-i(s₀t/ℏ - θ)) m̂u₊ で与えられ、ここで m̂ はリーマン球上の単位ベクトルである。