[論文レビュー] Path integrals in a multiply-connected configuration space (50 years after)

Amaury Mouchet|arXiv (Cornell University)|Oct 4, 2020

Noncommutative and Quantum Gravity Theories参考文献 65被引用数 3

ひとこと要約

本稿は、多連結な配置空間内の経路のホモトピー類に沿った経路積分分解における係数 E(c) が、第一ホモトピー群 π₁(Q) のユニタリ表現から生じなければならないことを厳密に証明する。先行研究の根拠づけは不完全であり、量子力学との整合性を保つには、アリオンや多穴配置のような非アーベル位相を持つ系においても、このような表現が必須であることを示している。

ABSTRACT

The proposal made 50 years ago by Schulman (1968), Laidlaw & Morette-DeWitt (1971) and Dowker (1972) to decompose the propagator according to the homotopy classes of paths was a major breakthrough: it showed how Feynman functional integrals opened a direct window on quantum properties of topological origin in the configuration space. This paper casts a critical look at the arguments brought by this series of papers and its numerous followers in an attempt to clarify the reason why the emergence of the unitary linear representation of the first homotopy group is not only sufficient but also necessary.

研究の動機と目的

• 多連結な配置空間における一貫した経路積分定式化のため、第一ホモトピー群 π₁(Q) のユニタリ表現が不可欠であることを確立すること。
• シュルマン (1968)、レーディローとモレット＝ド・ヴォー (1971)、ダーウェル (1972) の基礎的議論を批判的に検討し、その概念的欠陥を特定すること。
• π₁(Q) と H₁(Q) のような位相的不変量の違いを、非可換性と実験的検証可能性の観点から明確にすること。
• 空間的に周期的なモデルにおけるホモトピーに基づく経路積分分解の一般性と物理的関連性を示し、しばしば単純化されたモデルに偏って無視されがちな事実を強調すること。
• 非アーベル的任意ons や有限非アーベル群（例：S₃）が、量子系における非可換位相的位相をどのように実現できるかを検討すること。

提案手法

• 配置空間における経路積分を、qi から qf へのホモトピー類 c ∈ π₁(qi, qf) に沿って分解し、経路積分寄与に係数 E(c) を重み付けする。
• 配置空間における経路積分定式化を用い、局所的（ラグランジュアンに依存する）寄与と、グローバル的（位相的）寄与を分離する。
• 量子発展演算子のユニタリ性と一貫性を保つために、E(c) が π₁(Q) のユニタリ表現を形成しなければならないことを証明する。
• バターン群や有限非アーベル群（例：S₃）を具体例として用い、π₁(Q) の非可換性と H₁(Q) の可換性の役割を分析する。
• 対称群 S₃ の生成子を表す明示的な 3×3 ユニタリ行列を構成し、非可換性を保ちつつアーティン＝ヤン＝バクスター関係を満たすことを確認する。
• 超伝導トーラス、マハ・ツェンダー干渉計、および三準位内部自由度を持つ冷たい原子系といった物理系への応用。

実験結果

リサーチクエスチョン

• RQ1 なぜホモトピー類に沿った経路積分分解において、π₁(Q) のユニタリ表現が単に十分であるのではなく、必須なのであろうか？
• RQ2 シュルマン、レーディロー、モレット＝ド・ヴォーがユニタリ表現の出現を説明するために提示した元来の根拠に、どのような概念的欠陥があるのか？
• RQ3 π₁(Q) の非可換構造は、H₁(Q) のアーベル的構造とどのように実験的に区別できるか？
• RQ4 どのような物理系において、π₁(Q) の非アーベル的性質が経路積分振幅を通じて実現され、観測可能になるか？
• RQ5 有限非アーベル群（例：S₃）を用いて、非可換な E(c) 行列を持つ位相的位相を量子系で実現できるか？

主な発見

• ホモトピー類に沿った経路積分分解における係数 E(c) は、第一ホモトピー群 π₁(Q) のユニタリ表現を形成しなければならず、これはユニタリティを保つために必要かつ十分な条件である。
• ユニタリ表現の出現を説明する先行研究の根拠は、すべて不完全であり、十分性に基づいているのみで、必要性の証明に至っていない。Laidlaw & Morette-DeWitt (1971) や Schulman (1981) が部分的ではあるが、依然として不十分な導出を提供しているにとどまる。
• π₁(Q) の非可換性は、アーベル的ホモロジー群 H₁(Q) では捉えきれない。実験的にこの構造を明らかにできるのは、非アーベル的表現（次元 ≥2）を持つ系に限られる。
• N ≥3 個の任意ons のバターン群において、非アーベル的性質は生成子 bn の非可換性に現れ、これを保存するには E(bn) のユニタリ行列が次元 ≥2 でなければならない。
• 最小の非アーベル有限群 S₃ は、非可換性を保つ 3 次元ユニタリ表現を有し、明示的な行列 E₁, E₂, E₃, E₊, E₋ が存在し、E²₊ = E₋ および E³₊ = 1 を満たす。
• このような表現の物理的実現は、スピン-1 系や三準位内部自由度を持つ冷たい原子系で可能であり、SO(3) 内の回転が二穴配置空間における位相的経路類に対応する。