[論文レビュー] The physical heritage of Sir W.R. Hamilton

André Gsponer, Jean-Pierre Hurni|arXiv (Cornell University)|Jan 28, 2002

Quantum Mechanics and Applications参考文献 57被引用数 12

ひとこと要約

この論文は、複素数係数をもつバイケータニオン（biquaternions）—すなわち、複素数を係数とするクォータニオン—が、相対性理論、電磁気学、および量子場理論を含む古典的および量子物理学において、根本的で計算的にも有効な形式的枠組みを提供すると主張している。本論文は、ランツォス、アインシュタイン、ペティオーがディラック方程式を一般化した理論、およびスピン、アイソスピン、質量の量子化の形式が、バイケータニオンを用いて自然に表現可能であることを示し、複素数が古典的および量子的枠組みの両方で統一的に扱える、簡潔で明示的かつ数値的に扱いやすい方程式をもたらしている。

ABSTRACT

150 years after the discovery of quaternions, Hamilton's conjecture that quaternions are a fundamental language for physics is reevaluated and shown to be essentially correct, provided one admits complex numbers in both classical and quantum physics, and accepts carrying along the intricacies of the relativistic formalism. Examples are shown in classical dynamics, electrodynamics, and quantum theory. Lanczos's, Einstein's, and Petiau's generalizations of Dirac's equation are shown to be very naturally formulated with biquaternions. The discussion of spin, isospin, and mass quantization is greatly facilitated. Compared with other formalisms, biquaternions have the advantage of giving compact but at the same time explicit formulas which are directly usable for algebraic or numerical calculations.

研究の動機と目的

• クォータニオンが物理学の根本的な言語であるという、ウィリアム・ローアン・ハミルトン卿の仮説を、その発見から150年が経過した現在において再評価すること。
• クォータニオンが物理学において歴史的に失敗した理由を解消するため、非可換性および共変性に関する初期の制限要因を、適切に形式化されたバイケータニオンが克服できることを示すこと。
• バイケータニオンが、相対論的場の理論を含む、古典的および量子物理学の両方において、統一的で表現力に富み、計算的にも有効な枠組みを提供することを示すこと。
• マクスウェル方程式、ディラック方程式、およびプロカ方程式といった主要な物理理論が、バイケータニオン的表現によりより自然かつ簡潔に記述できることを示すこと。
• 特に素粒子物理学におけるスピン、アイソスピン、質量の量子化の文脈で、バイケータニオンをテンソル、行列、またはクリフォード代数の形式的枠組みの代替として提唱すること。

提案手法

• 本論文は、物理的量（四元位置、四元運動量、電磁ポテンシャルなど）をバイケータニオン的実体として表現するため、ℂ ⊗ ℍ の要素であるバイケータニオンを基本的な代数的構造として採用している。
• 四元数に対しては [s;v] の表記を、スカラー部に対しては角括弧 ⟨ ⟩ を用い、共役（¯）、虚数共役（*）、二重共役（+）、順序反転（~）の演算子を定義する体系的な表記法を導入している。
• ローレンツ不変なバイケータニオン的四元勾配 ∇ = [∂/∂ict; ∇] を使用し、電磁誘導双ベクトル F̃ = [0; E + iB] や励起双ベクトル G̃ = [0; D + iH] といった物理的場を定義している。
• バイケータニオン代数を用いて主要な方程式を導出している。例えば、マクスウェル方程式は ∇̄ ∧ A = F̃ および ½(∇F̃ + F̃~∇) = –4πJ と表現され、ゲージ不変性および順序不変性を保つ。
• ランツォス、アインシュタイン、ペティオーによるディラック方程式の一般化は、バイケータニオン的スピンルーチェルおよびバイスピノルを用いて形式化され、バイケータニオン的枠組み内での自然な適合性が示されている。
• ⟨A|B⟩ = ⟨AB⟩ で定義されるバイケータニオン的スカラー積により、ヒルベルト空間の内積を、エルミート共役を必要とせずに一貫して定式化できることを確立している。

実験結果

リサーチクエスチョン

• RQ1 複素数の広範な使用を考慮すると、バイケータニオンが古典的および量子物理学の根本的形式的枠組みとして機能可能であるか。
• RQ2 ゲージ不変性、共変性、物理的明快性の観点から、標準的なテンソルまたはスピノル形式と比較して、マクスウェル方程式のバイケータニオン的表現はどの程度簡潔であるか。
• RQ3 ランツォス、アインシュタイン、ペティオーによるディラック方程式の一般化が、どの程度自然にバイケータニオン的表現で記述可能であるか。
• RQ4 標準的な行列形式やクリフォード代数の手法と比較して、バイケータニオンがスピン、アイソスピン、質量の量子化を記述する際にどのような利点を提供するか。
• RQ5 なぜバイケータニオンは20世紀初頭の物理学において主流にならなかったのか。現代の形式的枠組みは、こうした歴史的制限要因を克服できるか。

主な発見

• マクスウェル方程式のバイケータニオン的表現は、完全にゲージ不変かつ順序不変であり、コンウェイ＝シルバーティーン形式とは異なり、Lorenzゲージ条件を必要とせず、A や J が順序不変であるという仮定も不要である。
• ランツォス、アインシュタイン、ペティオーによるディラック方程式の一般化が、バイケータニオン的表現により自然かつ簡潔に記述可能であることが示され、スピンおよびアイソスピンの記述が容易になった。
• 本論文は、プロカ方程式がバイケータニオン的表現で明確に導出可能であり、追加の制約なしに磁荷の不在が示されることを示している。
• バイケータニオン的枠組みにより、古典的および量子物理学における複素数の扱いが一貫的かつ統一的に可能となり、別個の形式的枠組みを必要としなくなった。
• テンソルや行列表現と比較して、バイケータニオン的表現はより簡潔であり、複数のインデックスを単一の実体に集約でき、直接的な代数的または数値的計算を可能にする。
• この形式的枠組みは、バイケータニオンが数学的にも整合的であるだけでなく、物理的にも示唆的であることを示唆しており、物理法則の一般化や、見かけ上独立した結果の統一に、しばしば正しい道筋を示している。