Faddeev-Jackiw Approach to Classical Constrained Systems

技術要約：古典的拘束系へのファデエフ・ジャクウィブ・アプローチ

問題提起
本論文は、拘束から生じる特異なラグランジアンによって特徴付けられる古典力学系の量子化について扱っている。ディラック・ベルンマン法は、このような系を扱うための標準的な手法であるが、著者らは、特に複数の拘束が存在する場合、そのプロセスには複雑な論理的ステップが含まれ、煩雑になり得ると指摘している。本研究の目的は、シンプレクティック構造に基づく幾何学的に動機付けられた代替手法であるファデエフ・ジャクウィブ（FJ）形式則を適用し、特定の古典的拘束系の解析を行うことである。主要な目的は、FJ法を用いてこれらの系の基本ブラケットを導出し、文献[16]ですでに確立されている通り、ディラック法によって得られた結果との等価性を検証することである。

手法
著者らは、位相空間のシンプレクティック構造を利用して拘束解析を効率化する、修正ファデエフ・ジャクウィブ形式を用いている。その手順は以下のステップを含む：

1. 一次形式化： ラグランジアンを一次形式 $L^{(0)} = a_i^{(0)}\dot{\zeta}_i^{(0)} - V^{(0)}(\zeta)$ に書き換える。ここで $\zeta$ はシンプレクティック変数を示す。
2. シンプレクティック行列の構築： ラグランジアンの運動項から、シンプレクティック二形式行列 $f_{ij}^{(0)}$ を構築する。
3. 拘束の特定： 行列が特異である場合、そのゼロモードを用いて拘束を特定する。新たな拘束を導出するために、一貫性条件が反復的に適用される。
4. 反復的な修正： ラグランジュ未定乗数を用いて拘束をラグランジアンに組み込み、シンプレクティック変数の集合およびシンプレクティック行列を修正する。この反復は、行列が非特異（可逆）になるまで継続される。
5. 量子化とゲージ対称性：
   • 行列が非特異になった場合、その逆行列が理論の基本ブラケットを与える。
   • ゲージ対称性の段階で新たな拘束が発生せずに行列が特異なままである場合、それはゲージ対称性の存在を示す。この場合、行列を可逆にするためにゲージ固定条件が導入される。
   • ゲージ対称性の段階における特異行列のゼロモードは、ゲージ変換の生成子として特定される。
6. 実装： 著者らはまた、シンプレクティック定式化のためのMATLABアルゴリズムの概要を述べ、付録Aにおいてラグランジュ未定乗数の物理的解釈を提供している。

ケーススタディと結果
この形式則は、以下の3つの異なる古典力学系に適用されている：

1. 質量、ロッド、およびスプリング：

   • 系： 無質量の伸縮可能なロッドの中点に固定された4つの質量があり、それらは天井に接続されたスプリングによって結合されている。
   • プロセス： この系は単一の拘束（$\phi \equiv p_1 - p_2 + p_3 - p_4 = 0$）を持つ。第一反復のシンプレクティック行列は特異であり、ゲージ対称性を明らかにしている。
   • 解決： ゲージ条件（y_2 - y__1 = 0）が課される。結果として得られる第二反復のシンプレクティック行列は非特異である。
   • 結果： 基本ブラケットは、第二反復行列の逆行列から導かれる。ゲージ変換は、第一反復行列のゼロモードから導出される。結果はディラック・ブラケットと一致する。

2. 質量、スプリング、およびリング：

   • 系： リング上を摩擦なく滑る3つの同一の質量が、スプリングによって接続されている。
   • プロセス： 一般化座標 $x$ および $y$ の運動量の消失から、一次拘束が生じる。修正FJ法を用いて、ゼロモードの縮退を通じて二次拘束（$\tilde{\Omega}_1, \tilde{\Omega}_2$）を導出する。
   • 解決： これらの拘束がラグランジアンに組み込まれる。結果として得られる第一反復のシンプレクティック行列は非特異である。
   • 結果： 基本ブラケットは、第一反復行列の逆行列から直接得られる。著者らは、これらが[16]で見出されたディラック・ブラケットと一致することを確認している。

3. 滑車のペア：

   • 系： 閉じたループを形成する連続した紐を持つ、3組の無質量の滑車。
   • プロセス： 単一の拘束（$\phi' \equiv p_1 + p_2 + p_3 = 0$）が特定される。第一反復のシンプレクティック行列は特異であり、ゲージ対称性を示唆している。
   • 解決： ゲージ条件（$\chi \equiv \alpha_1 + \alpha_2 + \alpha_3 = 0$）が導入される。第二反復の行列は非特異となる。
   • 結果： 基本ブラケットとゲージ変換が導出される。結果はディラック・ブラケットと一致する。

主な貢献と意義

• 等価性の検証： 本論文は、解析されたすべての系において、ファデエフ・ジャクウィブ形式則を通じて得られた基本ブラケットがディラック・ブラケットと整合していることを示している。
• ゲージ対称性の取り扱い： 本研究は、シンプレクティック行列の特異性の持続を通じてFJ形式がどのようにゲージ対称性を特定し、どのようにゲージ固定が系の量子化につながるかを詳細に記述している。
• ラグランジュ未定乗数の解釈： 大きな貢献の一つは、ラグランジュ未定乗数の「物理的」な解釈を提供していることである。ディラック法とは異なり、FJアプローチはこれらの未定乗数を含む追加のブラケットをもたらし、それらを系の物理的座標の観点から解釈することを可能にする。
• アルゴリズムの実装： 論文は、シンプレクティック定式化のMATLAB実装の概要を提供しており、このような系を解析するための計算ツールとなっている。

結論
著者らは、ファデエフ・ジャクウィブ形式則が、拘束された古典的系の量子化において、ディラック法の信頼できる効率的な代替手段となることを結論づけている。シンプレクティック構造を利用することで、この手法は拘束とゲージ対称性の取り扱いを簡素化しつつ、確立された手法と一致する結果をもたらす。本研究は、古典力学における幾何学的アプローチの有用性を強化し、これらの手法を他の拘束系へと拡張するための明確な枠組みを提供している。