[論文レビュー] Orthogonal polynomials in several non-commuting variables. II

T. Banks, T. Constantinescu|ArXiv.org|Dec 29, 2004

Mathematical functions and polynomials参考文献 8被引用数 3

ひとこと要約

本稿は、非可換変数における古典的直交多項式理論の多次元拡張を展開し、ハンケル型正定値カーネルを三項再帰関係によって特徴付ける行列ベースの再帰的枠組みを導入する。主な貢献は、モーメントから導かれるヤコビ係数を用いた、このようなカーネルの完全な構造的記述であり、語の辞書的順序を用いたモーメントパラメータによる再帰行列の明示的公式が得られる。

ABSTRACT

In this paper we continue to investigate a certain class of Hankel-like positive definite kernels using their associated orthogonal polynomials. The main result of this paper is about the structure of this kind of kernels.

研究の動機と目的

• 語の反転および接続に関して特定の不変性を満たす、N 個の生成子からなる自由半群上の正定値カーネルを特徴付けること。
• 特に三項再帰とモーメント-ヤコビ係数対応関係を含む、古典的一変数直交多項式理論を非可換かつ多次元的設定へと一般化すること。
• 正規直交多項式およびそれに関連する再帰行列を用いて、これらのカーネルの完全な代数的および解析的構造を確立すること。
• 非可換変数における直交多項式の自由積のヤコビ係数を記述することにより、可換な場合に既知の結果を拡張すること。

提案手法

• 非可換多項式上の正の線形汎関数に対し、Gelfand-Naimark-Segal (GNS) 構成を用いてヒルベルト空間を関連付ける。
• 自由半群上の語に辞書的順序を適用し、グラム・シュミット法を用いて語でインデックス付けられた正規直交多項式を構成する。
• 固定次数の正規直交多項式の族を表す行列表記 $\Phi_n = [\varphi_\sigma]_{|\sigma|=n}$ を導入し、再帰関係の簡潔な表現を可能にする。
• 各生成子 $X_k$ に対して三項再帰関係 $X_k\Phi_n = \Phi_{n+1}A_{n+1,k} + \Phi_n B_{n,k} + \Phi_{n-1}A^*_{n,k}$ を導出する。ここで $A_{n,k}$ および $B_{n,k}$ はモーメントパラメータによって定義される行列である。
• 語の辞書的順序と非再帰的ブロックの深さを用いて、行列 $A_{n,k}$ および $B_{n,k}$ の明示的公式を構築し、$A_n = [A_{n,1}, \dots, A_{n,N}]$ が上三角かつ正の対角成分を有する可逆行列であることを保証する。
• すべての $n \geq 0$ および $k=1,\dots,N$ に対して再帰が成り立つような行列族 $\mathcal{A}$ を可換族として定義し、語の長さに関する帰納法を用いてその構造の存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 古典的一般化されたモーメント-ヤコビ係数対応関係は、非可換変数における直交多項式へとどのように拡張可能か？
• RQ2 語の反転および接続に関して不変性 $K(\alpha\sigma,\tau) = K(\sigma, I(\alpha)\tau)$ を満たす自由半群上の正定値カーネルは、どのような構造的性質によって特徴づけられるか？
• RQ3 多次元非可換設定における再帰係数（ヤコビ行列）は、元の汎関数のモーメントとどのように関係するか？
• RQ4 再帰行列 $A_{n,k}$ および $B_{n,k}$ は、モーメントパラメータおよび語の構造に関してどのように表現されるか？
• RQ5 この非可換枠組みにおいて、直交多項式の自由積はどのように振る舞い、そのヤコビ係数構造はどのような形か？

主な発見

• 本稿は、非可換変数における直交多項式の古典的一般化されたモーメント-ヤコビ係数対応関係の多次元拡張を確立し、非可換直交多項式のヤコビ係数が、元の汎関数のモーメントによって完全に決定されることを示した。
• 再帰行列 $A_{n,k}$ および $B_{n,k}$ が、モーメントパラメータおよび語の辞書的順序に基づいて明示的に構成可能であり、$A_n$ が上三角かつ正の対角成分を有する可逆行列であることが証明された。
• 行列 $A_{n,k}$ および $B_{n,k}$ は、各語における先頭の同一文字の数に基づくブロック対角構造を用いて定義され、一変数直交多項式再帰の係数 $a_{m,k}$ および $b_{m,k}$ を用いる。
• 任意の $N$ に対して、すべての $n \geq 0$ および $k=1,\dots,N$ に対して再帰 $X_k\Phi_n = \Phi_{n+1}A_{n+1,k} + \Phi_n B_{n,k} + \Phi_{n-1}A^*_{n,k}$ が成り立ち、行列は語内の非再帰的ブロックの深さに基づいて定義される。
• 族 $\mathcal{A} = \{A_{n,k}, B_{m,k} \mid n>0, m\geq 0, k=1,\dots,N\}$ が可換族であることが示され、すべての次数にわたる再帰構造が一貫性を保ち、正しく定義されることを保証した。
• この構成は自由積の直交多項式へと一般化可能であり、積のヤコビ係数は、同じ行列再帰枠組みを用いて成分係数から決定される。