Schwarzschild spectral ladders on the negative imaginary axis: Endpoint nonselection, branch-cut phase, and Jost classification

技術要約：負の虚数軸上におけるシュヴァルツシルト・スペクトル・ラダー

問題提起
ブラックホール摂動のコンパクト化されたスペクトル離散化は、しばしば負の虚数軸（NIA）上に安定した固有値の列、いわゆる「スペクトル・ラダー（spectral ladders）」を生成する。極めて重要な未解決問題は、これらの安定した高減衰シーケンスが、物理的な準固有モード（QNM：解析接続されたグリーン関数の孤立した極）を表しているのか、それとも離散化手法によるアーティファクト（スペクトル汚染や連続な分岐切断の有限表現など）であるのかという点である。この区別は、レターデッド（遅延）グリーン関数が原点で分岐点と切断を持つNIAにおいて、特に繊細である。有限の端点正則性（例：$C^k$ 平滑性）に基づく標準的な数値境界条件は、正しい放射条件（地平線への入射および無限遠への放出）を強制できない場合がある。なぜなら、「望まれない」散乱セクターが、コンパクト化された端点において有界、微分可能、あるいは平坦になり得るからである。

手法
著者らは、この問題をシュヴァルツシルト計量の軸対称重力摂動（$s=\ell=2$）を用いて調査している。彼らは、解析理論、高精度数値線形代数、および独立したヨスト関数検証を組み合わせた多角的なアプローチを採用している。

1. 解析的非選択定理（Non-Selection Theorem）： 著者らは、任意の固定された有限正則性次数 $k$ に対して、コンパクト化された端点条件は、減衰パラメータ $\alpha$ が $4\alpha > k$ を満たすとき「非選択的（non-selective）」であることを証明した。具体的には、望まれない地平線への放出セクターは $t^{4\alpha}$ として振る舞い、望まれない無限遠への入射セクターは $C^\infty$ かつ平坦である。したがって、両セクターは同じ $C^k$ 端点条件を満たすため、有限の正則性のみでは、物理的なQNMと非物理的な解を区別できない。
2. 有限ペンシル・スペクトル： 2つの異なる径方向コンパクト化がテストされている：
   • $C_1$（線形）：$x = 2/(1-y)$
   • $C_2$（二次形式）：$x = 4/(1-y)^2$
     著者らは、チェビシェフ・グリッドの到達範囲に関する厳密な公式を導出し、最大表現半径が $C_1$ では $O(n^2)$、$C_2$ では $O(n^4)$ とスケーリングすることを示した。また、これらの写像間の多項式プルバックは、打ち切り（truncation）と可換ではないため、異なる有限次元試行空間を生じさせることを示している。
3. 数値的診断： 著者らは、二次行列ペンのルの固有値を、任意精度算術（最大200桁）を用いて計算している。彼らは、後退誤差解析、条件数、係数のテイル減衰、およびクロス解像度マッチング（チェビシェフ根 vs. ロバト格子）を含む厳密な診断を用いている。
4. 独立したヨスト・ヴロンヌー・検証： 極めて重要な点として、著者らは行列の固有値に依拠してモードを定義しているのではない。代わりに、レッジ＝トリコミ（Leaver–Tricomi）級数を用いた無限遠への放出解と、ジャッフェ（Jaffé）級数を用いた地平線への入射解を独立して構成している。彼らは、物理的な側方ヨスト決定式（lateral Jost determinants $D^\pm$）のゼロ点を探索するために、これらをNIAの切断の両側で評価している。
5. 引数原理とスキャン： 孤立したゼロ点を探索するため、物理的な半平面上の長方形輪郭を用いた一様なスキャンと、引数原理による計算を実行している。

主要な貢献と結果

• 端点非選択性の証明： 本論文は「ノーゴー定理」を確立している。減衰が十分に高い場合（$4\alpha > k$）、有限の端点正則性（$C^k$）は正しいヨスト・セクターを選択できない。したがって、コンパクト化されたペンの離散スペクトルは、必ずしも物理的な極に対応するとは限らない。
• 表現依存性： 本研究は、コンパクト化による顕著な違いを明らかにしている。線形写像（$C_1$）は、約1/4の間隔を持つ周波数を持つ、極めて安定かつ再現性の高い68点のラダーを生成する。しかし、二次写馬（$C_2$）はNIAのスペクトルを完全に再編成し、ラダーをゼロへと崩壊する、あるいは異なるスケールを持つ根の列へと置き換える。これは、$C_1$ のラダーが普遍的な連続体の特徴ではなく、表現依存的な構造であることを証明している。
• 極判定の失敗： 高い精度と安定性（小さな後退誤差と減衰する係数）にもかかわらず、独立したヨスト・ヴロンヌー計算によれば、これら68個の候補のいずれもが、物理的な側方決定式のゼロ点ではないことが示された。決定式は、数値ノイズに対して数桁のオーダーでゼロから離れた状態を維持している。
• 分岐切断との位相整合： これらの候補は極ではないが、その組織化はランダムではない。68個の周波数は、CasalsとOttewillによって導出されたシュヴァルツシルト分岐切断の漸近的な位相に密接に従っている。また、それらは高次オーバートーンQNM（$n_{QNM} = 62 \dots 129$）の減衰投影とも対をなしている。直接計算により、最初のラダー成分付近に数値的な分岐強度ゼロが存在することが解決されており、これはラダーが孤立した極ではなく、連続体の切断構造をサンプリングしていることを示唆している。
• 引数原理の結果： 物理的な半平面における一様なスキャンと輪数計算は、ゼロの回転数（winding number）を返し、孤立した極が存在しないことを確認した。

意義と主張
本論文は、特定の分類問題を解決したと主張している：高精度な有限ペンシル固有値は、必ずしも物理的な準固有極に対応するわけではない。

著者らは、以下の厳密な証拠の階層を確立している：
$$\text{正確な有限ペンシル固有値ペア} \nRightarrow \text{連続体固有値} \nRightarrow \text{ヨストの極}$$

本研究の意義は、以下の点を実証したことにある：

1. 数値的安定性は不十分である： 固有値の列は、数値的に堅牢であり、表現に対して安定（単一の写像内において）であり、かつ物理的に「クリーン」（減衰する係数）であっても、QNMの根本的な解析的基準（ヨスト決定式のゼロ点）を満たさないことがある。
2. 失敗のメカニズム： この失敗は、コンパクト化と有限正則性が、減衰が高い場合に望まれない散乱セクターを意図せず許容してしまうことに起因する。
3. 肯定的解釈： 著者らは、ラダーを単なる「ノイズ」として退けているのではない。むしろ、このようなラダーは分岐切断の構造化された有限次元近似である可能性を提案している。彼らは、正しい物理的解釈には、これらの離散的なノード（残差を伴う）の加重和が、個々のノード自体が極であるのではなく、連続体グリーン関数の応答またはプライスのテイルに収束するという、**ケルディッシュ重み付き収束（Keldysh-weighted convergence）**が必要であると考えている。

結論として、軸対称シュヴァルツシルト・セクターにおいて、観測されるNIAラダーは、物理的な極の族ではなく、分岐切断の構造化された有限次元表現である。著者らは、今後の研究において、単に重みなしの固有値の所在に焦点を当てるのではなく、重み付きのノードの族がどのように連続体の観測量へと収束するかをテストすることを求めている。