A Zero-Range Model for the Efimov Effect in the Born-Oppenheimer Approximation

技術要約：ボルン・オイゼンハイマー近似におけるエフィモフ効果のためのゼロ範囲モデル

問題の所在
本論文は、ゼロ範囲相互作用によって特徴付けられる三粒子量子系におけるエフィモフ効果の出現を調査するものである。具体的な物理的セットアップは、2つの非相互作用な同一のスカラーボソン（質量 $M$）と、それとは異なる軽い無スピン粒子（質量 $m$）からなる。ボソンと軽粒子の間の相互作用は共鳴的（二体散乱長が無限大）であると仮定し、ボソン間の相互作用は無視される。研究は、質量比 $M \gg m$ を仮定したボルン・オイゼンハイマー近似の妥当性の下で行われる。

中心となる数学的な課題は、この系に対して自己共役かつ下限を持つハミルトニアンを厳密に構成することである。先行するゼロ範囲三体系の厳密な取り扱い（例：MinlosおよびFaddeev）では、多くの場合、下限のないハミルトニアンとなり、「中心への落下（fall-to-the-centre）」現象が生じていた。本研究は、三粒子が同時に一点に集まる点において特定の正則化を導入することにより、系が下限を持たないまま、エフィモフ効果（具体的には、ゼロに累積する負の固有値の無限列）を示す、定義可能なハミルトニアンを得られることを示すことを目的としている。

手法
著者らは、厳密な作用素論的アプローチとボルン・オイゼンハイマー近似を組み合わせて用いる。手法は主に以下の3つの段階で進められる。

1. ハミルトニアンの定義:
   系はヤコビ座標（$x, y$）で記述される。ここで $y$ は2つのボソンの相対座標であり、$x$ は軽粒子とボソン重心との相対座標である。ヒルベルト空間はボソン対称性に制限される。形式的なハミルトニアンはディラックのデルタポテンシャルを含む。これに厳密な意味を与えるため、著者らは自由作用素の自己共役拡張としてハミルトニアン $H$ を定義する。決定的なことに、彼らは一致超平面（$\pi_{\pm}$）に対する境界条件に、正則化関数 $\theta(|y|)$ を含む条件を課している。この関数は、大きな分離距離では消失するが、原点付近では非ゼロであり、3つの粒子がすべて同時に存在する際の「中心への落下」の特異性を防ぐ役割を果たす。

2. ボルン・オイゼンハイマー分解:
   $M \gg m$ であると仮定し、動力学を「速い（fast）」成分（軽粒子）と「遅い（slow）」成分（ボソン対）に分離する。

• 速い動力学: 固定されたボソン間隔 $y$ に対して、軽粒子は $\pm y/2$ にある2つの点相互作用によって生成されるポテンシャル内を運動する。著者らは、非局所的な点相互作用を持つこの一体系のハミルトニアン $h(y)$ を厳密に定義する。彼らはこの $h(y)$ の固有値問題を解き、単一の負の固有値 $E(|y|)$ を求め、これが遅い動力学のための有効ポテンシャルとして機能する。
• 遅い動力学: 有効ポテンシャル $E(|y|)$ が、ボソン対のハミルトニアン $h_E = -\frac{1}{\mu}\Delta + E(|\cdot|)$ に代入される。問題は、この有効一体系の固有値方程式を解くことに帰着する。

3. スペクトル解析:
   遅い動力学の解析はs波セクターに限定される。得られた動径方向の方程式は、2つの領域（正則化された領域 $r \leq r_0$ と、ポテンシャルが逆二乗則に従う領域 $r > r_0$）でのマッチングによって解かれる。外側の領域における解は、第二種の変形ベッセル関数（$K_{i\beta}$）を含む。固有値は、波動関数とその導関数の連続性をマッチング半径 $r_0$ で課すことにより、ランベルト関数とベッセル関数を含む超越方程式によって決定される。

主要な貢献と結果
著者らは、定理1.1にまとめられている通り、以下の主要な結果を確立している。

• 速い動力学における負の固有値の存在: 任意の固定されたボソン間隔 $y$ に対して、一体系のハミルトニアン $h(y)$ は、次式で与えられる唯一の負の固有値を有する：
  $$E(|y|) = -\frac{(W(e^{\theta(|y|)}) - \theta(|y|))^2}{\nu |y|^2}$$
  ここで $W$ はランベルト関数の主枝であり、正則化関数 $\theta$ は、この固有値が $|y| \to 0$ において有界かつ連続であることを保証する。

• エフィモフ状態の無限列: 遅い動力学を支配する有効ハミルトニアン $h_E$ は、ゼロに累積する（$E_{BO; n} \to 0$ as $n \to \infty$）負の固有値の無限列 $\{E_{BO; n}\}_{n \in \mathbb{N}}$ を持つ。

• 普遍的な幾何学的法則: これらの固有値の漸近的な分布は、エフィモフ効果の特徴である普遍的な幾何学的法則に従う：
  $$\lim_{n \to \infty} \frac{E_{BO; n}}{E_{BO; n+1}} = e^{2\pi/\beta}$$
  ここで、パラメータ $\beta = \sqrt{\frac{\mu}{\nu}W(1)^2 - \frac{1}{4}}$ は、質量比とランベルト関数の値 $W(1) \approx 0.5671$ に依存する。

意義と主張
著者らは、自身の結果が最近の文献（特に参考文献 [12] および [24]）の知見を一般化するものであると主張している。主な相違点はハミルトニアンの構成にある：

• 以前の著作では、正則化関数は自己共役拡張の理論から生じる特定の選択肢（$g(r)$）であった。
• 本研究では、ハミルトニアンは $M \to \infty$ の極限としての三体系から導出されている。著者らは、このアプローチの方が「物理的な観点からより自然である」と主張している。
• さらに、指定された境界条件を満たす任意の滑らかな正則化関数 $\theta$ に対して結果が成立するため、結果はより一般的であると提示されている。

本論文は、ボルン・オイゼンハイマー近似自体の妥当性（すなわち、固有値 $E_{BO; n}$ が真の三体ハミルトニアン $H$ の固有値を近似していること）の厳密な証明は提供しないことを明記している（これは今後の課題である）。しかし、この近似の枠組み内において、本論文は下限を持つゼロ範囲ハミルトニアンによるエフィモフ効果の厳密な導出を提供している。