Unbounded banded matrices, shifted positive bidiagonal factorizations, and mixed-type multiple orthogonality

技術要約：非有界帯行列、シフトされた正の二項対角分解、および混合型多重直交性

問題提起
本論文は、帯行列に関するスペクトル・ファバールの定理を、有界な設定から非有界な設定へと拡張する問題に取り組んでいる。先行研究（具体的には [4] および [3]）では、正の二項対角分解（PBF）を許容する有界な帯行列に対して、行列値スペクトル測度を構成し、関連する多項式の混合型多重双直交関係を導出できることが確立されている。しかし、非有界な領域においては、半無限行列に対して直接的にPBFを課すことは一般に不可能である。中心となる課題は、グローバルな有界性を仮定することなく、また、因子分解の存在や関連する多項式の正規性を保証する構造的特性（正値性、全正値性）を維持しつつ、非有界な帯行列 $T$ に対するスペクトル表現および極限行列値測度をいかにして復元するかである。

手法
著者らは、有界な場合の設定 [4] を適応させ、「離散から極限へ」という構成的な哲学を用いている。その手法は、以下の主要なステップで進行する。

1. シフトされた切断（Shifted Truncations）: 半無限行列 $T$ がPBFを認めることを仮定する代わりに、任意の有限切断サイズ $N$ に対して、非負のシフト $s_N \geq 0$ が存在し、シフトされた切断 $A_N \coloneqq T[N] + s_N I_{N+1}$ が正の二項対角分解を認めることを仮定する。このシフトにより、切断された行列は振動的（単純な正の固有値と固有ベクトルの特定の符号変化構造を持つ）となり、これは全正値性 [9, 7] に結びついた性質である。
2. 測度の再中心化（Recentering of Measures）: シフト $s_N$ は $N$ に依存するため、 $A_N$ に関連する離散的なガウス型求積測度は、元の位置において一様に有界ではない。著者らは、離散測度を $x \mapsto x - s_N$ によって平行移動させる再中心化のステップを導入する。これにより、全質量に関して一様に有界な分布関数 $\psi^{[N]}_{b,a}$ が得られる。
3. モーメントの安定化（Moment Stabilization）: $T$ の帯構造を用いて、行列要素 $(T^n)_{k,l}$ が十分大きな切断サイズ $N$ に対して安定化することを証明する。具体的には、与えられた冪 $n$ に対して、シフトされた切断行列 $(T[N] + s_N I)^n$ （再中心化後）によって計算されるモーメントは、$N$ がバンド幅とインデックスによって決定される閾値を超えると、非有界演算子 $T^n$ のモーメントと正確に一致する。
4. コンパクト性と収束（Compactness and Convergence）: 一様に有界な再中心化された分布関数の族に対して、ヘリーの選択原理 [6] を適用する。これにより、収束する部分列の存在が保証される。これにヘリーの第二定理と裾の評価（質量が無限遠に失われないことの保証）を組み合わせることで、演算子のモーメントを再現する行列値測度を特定する。

主要な貢献と結果

• 定理 2.2（非有界行列のためのファパール・スペクトル表現）: 主要な結果は、半無限帯行列 $T$ が、すべての切断 $T[N] + s_N I_{N+1}$ がPBFを認めるようなシフトの列 $s_N$ を認める場合、混合型多重双直交関係を満たす行列値測度 $d\Psi$ （$p \times q$ 個の非減少な正の関数から構成される）が存在することを確立している。
  • 測度は以下のスペクトル表現を満たす：
    $$(T^n)_{k,l} = \sum_{a=1}^p \sum_{b=1}^q \int_{\mathbb{R}} B^{(b)}_l(x) x^n d\psi_{b,a}(x) A^{(a)}_k(x)$$
  • これは、ヤコビ行列の特殊なケースを回収しつつ、古典的なファパールの定理を非有界演算子へと一般化するものである。
• 次数のパターンと正規性（Degree Patterns and Normality）: 著者らは、関連する混合型多重直交多項式の次数を分析している。
  • 初期条件が正の三角行列によって決定される場合、次数は特定の性質な上限を満たす。
  • 初期条件が全正値な三角行列によって決定される場合、多項式は、有界な場合における [3] の結果と同様に、最大次数（正規性）を達成する。
• 非有界ヤコビ行列への応用: 著者らは、正の非対角成分を持つ非有界ヤコビ行列 $J$ への具体的な応用を示す。彼らは、シフト $s_N = \|J[N]\|_\infty + 1$ を明示的に構成する。この選択により、$J[N] + s_N I$ が振動的行列（すべての主小行列式が厳密に正である）であることを証明し、それゆえにPBF仮定を満たすことを示す。これにより、スペクトル・ファパール定理が広範なクラスの非有界ヤコビ演算子に適用可能であることを実証している。

意義と主張
本論文は、PBFを認める帯行列に対するスペクトル・ファパール定理から、有界性の仮定を取り除くことに成功したと主張している。その意義は以下の点にある：

1. 一般化: 行列値スペクトル測度および混合型多重直交性の存在を、直接的な因子分解がしばしば不可能な非有界演算子の設定へと拡張した。
2. 方法論的正当性: $N$ に依存するシフトによる解析的な困難を、再中心化メカニズムの導入と、結果として得られる測度の一様なタイトネス（tightness）の証明によって解決し、極限が適切に定義され、演算子のモーメントを再現することを保証した。
3. 古典的結果の回収: 構成法は、正の非対角成分を持つ非有界ヤコビ行列の古典的なスペクトル測度を自然に回収しており、既知の理論に対して本アプローチの妥当性を検証している。

著者らは、本手法はPBFをもたらすシフト $s_N$ の存在に依存しているものの、この条件は非有界ヤコビ行列を含む幅広いクラスの演算子によって満たされると述べている。本研究は、非有界な領域に特有の解析的課題（裾の制御、質量の保存）に対処しつつ、従来の有界な解析における構成的な精神を維持している。