Bispectral rational functions and Leonard trios

技術要約：双スペクトル有理関数とレナード・トリオ

問題提起
本論文は、ウィルソン有理関数およびその一般化である双スペクトル有理関数を記述するための代数的枠組みの必要性に取り組んでいる。有限のハイパー幾何学的双スペクトル直交多項式（Askeyスキーム）の族は、レナード対（LP）およびAskey–Wilson代数との関連を通じて十分に理解されているが、双スペクトル有型関数に対応する同様の代数的構造は、これまで十分に発展していなかった。先行研究では、これらの関数を解釈するためにメタ代数やHeun演算子が導入されてきたが、レナード対に類する統一的な構造的定義は欠けていた。著者らは、これらの有理関数を代数的に分類・理解するための設定を提供することを目的としている。

手法
著者らは、有限次元ベクトル空間 $V$ 上の自己準同型（endomorphism）の順序付けられた三つ組 $(V, \tilde{V}, Z)$ として定義される、**レナード・トリオ（Leonard trio, LT）**と呼ばれる新しい代数的構造を導入する。その手法は以下のステップに従う：

1. 定義と一般化： LTは、特定の演算子が対角的または三対角的に作用する2つの基底が存在することによって定義される。レナード三つ組（Leonard triples）とは異なり、LTにおける演算子は、両方の基底において同時に三対角的かつ対角的である必要はない。
2. 双スペクトル性への接続： 著者らは、LTに関連する2つの基底間の重なり係数（overlap coefficients）が、$w_n(x) = \langle \tilde{v}^*_x, v_n \rangle$ で定義され、2つの一般化固有値問題（GEVP）を満たすことを示す。一方は $n$ に関する漸化式であり、もう一方は $x$ に関する差分方程式である。これにより、これらの重なり係数が双スペクトル有理関数であることが確立される。
3. 既約レナード・トリオ（iLT）： 分類を扱いやすくするため、構成要素となる演算子が共通の演算子 $Z$ を持つレナード対を形成するという、より厳格な条件を課す「既約レナード・トリオ」を定義する。これにより、既存のレナード対の分類（$q$-Askeyスキームに関連するもの）を用いてiLTを探索することが可能になる。
4. 代数的Heun演算子： 本研究は、iLTと代数的Heun演算子の関連性を活用している。iLTにおける演算子の積（例：$\tilde{V}Z$）が、恒等写像および関連するレナード対の生成元の線形結合として表され、特定のHeun演算子関係を満たすことが示される。
5. $q$-Racah型の分類： 著者らは、基礎となるレナード対が $q$-Racah型であるケースに焦点を当てる。2つの $q$-Racah型のパラメータに課されるHeun演算子関係の制約を解くことにより、iLTを形成するために必要な特定の条件を導出する。
6. 簡約レナード・トリオ（rLT）： また、一つの演算子が三対角ではなく二対角（bidiagonal）になる「簡約レナード・トリオ」と呼ばれる極限的なケースについても調査する。この場合、一般化固有値問題はRI型（Rational Inverse型）の漸化式へと簡略化される。

主要な貢献と結果

• レナード・トリオの定義： 本論文は、レナード対の概念を3つの演算子へと拡張したレナード・トリオを正式に定義する。LTに関連する基底の重なり係数が、双スペクトル一般化固有値問題を満たすことを証明する。
• ウィルソン有理関数の代数的証明： $q$-Racah型の既約レナード・トリオを分類することにより、著者らは、関連する重なり係数がウィルソン有理関数に比例することを証明する。これにより、これらの関数とその性質に対する新しい代数的導出が提供される。
• 総和公式： 重要な結果として、ウィルソン有理関数を2つの $q$-Racah多項式の積の有限和として表す明示的な式を導出している。具体的には、重なり係数 $w_n(x)$ は次のように表される：
  $$w_n(x) \propto \sum_{i=0}^N \Omega_i R^{(qR)}_i(x) R^{(qR)}_i(n)$$
  ここで $R^{(qR)}$ は $q$-Racah多項式を表す。この公式は、適切な極限（$s \to 0$）において、$q$-Racah多項式の古典的なRacah関係式へと還元される。
• 双直交性： 本論文は、これらの有理関数の双直交パートナーの存在を確立し、そのパートナーもまた双スペクトル関係を満たすことを証明する。
• 簡約トリオとRI関係： 簡約レナード・トリオを導入し、その極限において、重なり係数が完全な一般化固有値問題ではなく、RI型の漸和式を満たすことを示す。例として、得られる関数が $4\phi_3$ 基本超幾何級数として表され、双対 $q$-Hahn型のレナード対に関連しているケースを挙げている。
• 極限と接続： 本論文は、構築されたiLTから、$q$-Racah多項式、dual $q$-Hahn多項式、および $U_q(\mathfrak{su}(2))$ の表現論に関連する関数を含む、既知の有理関数がいかに導かれるかの詳細を述べている。

意義
レナード・トリオの導入は、レナード対がAskeyスキームの双スペクトル直交多項式を整理するように、双スペクトル有理関数を研究するための強力な代数的枠組みを提供すると主張されている。これらの関数をレナード対の分類および代数的Heun演算子と結びつけることで、著者らは、双スペクトル特性を満たす有理関数を体系的に生成し理解する方法を提示している。

本研究は、ウィルソン有理関数の一般化固有値問題を再導出し、iLT構成の極限としてのRacah関係（$q$-Racah多項式の積の総和公式）の新しい証明を提供している。著者らは、既約レナード・トリオの完全な分類が、Bannai–Ito型の関数や多変数ケースへの拡張を含む、双スペクトル有理関数の完全なスキームにつながる可能性があると示唆しているが、完全な分類は依然として未解決かつ困難な問題であることも述べている。このアプローチは、「メタ代数」プログラムや有理Heun演算の研究とは別個でありながら、それらを補完するものであると提示されている。