[論文レビュー] Random walks and orthogonal polynomials: some challenges

F. Alberto Grünbaum|ArXiv.org|Mar 13, 2007

Mathematical functions and polynomials被引用数 7

ひとこと要約

この論文は、従来スカラー直交多項式と三重対角遷移行列に依存していた最近接隣接ランダムウォークのKarlin-McGregor表現を、五重対角またはブロック三重対角遷移行列をもつより広いクラスのマコフ連鎖へと拡張する。行列値直交多項式と関連するスペクトル測度を導入することで、nステップ遷移確率の一般化されたスペクトル公式を導出し、高次のマコフ過程における再帰性、極限挙動、および母関数の解析を可能にする。

ABSTRACT

The study of several naturally arising "nearest neighbours" random walks benefits from the study of the associated orthogonal polynomials and their orthogonality measure. I consider extensions of this approach to a larger class of random walks. This raises a number of open problems.

研究の動機と目的

• 最近接隣接ランダムウォークの古典的Karlin-McGregorスペクトル表現を、三重対角遷移行列を超えて拡張する。
• 長距離遷移を有する非三重対角マコフ連鎖に対して標準的直交多項式手法が失敗するという制限に対処する。
• 高次のマコフ過程におけるnステップ遷移確率を解析するため、行列値直交多項式を用いたフレームワークを構築する。
• 明示的な多項式および測度の構成を通じて、五重対角およびブロック三重対角遷移行列のスペクトル性質を調査する。
• 非一様的、吸収的、または反射的境界条件、および多変数設定へのこの手法の拡張に関する未解決問題を特定する。

提案手法

• 行列値直交多項式が三項再帰を満たすように定義することで、ブロック三重対角行列に対するスペクトル定理を適応する。
• 遷移行列のスペクトル測度を介して直交性測度を構成し、内積関係 $ \pi_j \int_{-1}^1 x^n Q_i(x) Q_j(x) \psi(dx) = (\mathbb{P}^n)_{ij} $ を保証する。
• 再帰 $ A_n P_{n-1}(x) + B_n P_n(x) + P_{n+1}(x) = x P_n(x) $ と $ P_{-1}(x) = 0 $, $ P_0(x) = I $ を用いて行列多項式を定義する。
• 重み行列 $ W(x) = \frac{1}{\sqrt{1-x^2}} \begin{pmatrix} 1 & x \\ x & 1 \end{pmatrix} $ を明示的に計算し、積分恒等式を用いて直交性を検証する。
• 一般化されたKarlin-McGregor公式を導出：五重対角行列に対して $ (\mathbb{P}^n)_{ij} = \frac{4^i}{\pi} \int_{-1}^1 x^n P_i(x) W(x) P_j(x) dx $。
• Ehrenfestのウールや、明示的なチェビシェフ型多項式を有する2×2ブロック三重対角鎖のような具体的なモデルにこの手法を適用する。

実験結果

リサーチクエスチョン

• RQ1 非三重対角遷移行列（例えば五重対角またはブロック三重対角形式）を有するマコフ連鎖に対して、Karlin-McGregor表現を一般化できるか。
• RQ2 高次のマコフ連鎖のnステップ遷移確率を特徴付ける際、行列値直交多項式が果たす役割は何か。
• RQ3 非スカラー遷移行列に非負の要素を有する場合、スペクトル測度と直交多項式をどのように明示的に構成できるか。
• RQ4 EhrenfestのウールやBernoulli-Laplaceモデルのような古典的モデルの自然な拡張は、行列値直交多項式を生じるか。
• RQ5 非一様的Quasi-Birth-and-Death過程において、吸収的または反射的境界条件を含めるためにこの手法をどのように適合できるか。

主な発見

• 一般化されたKarlin-McGregor公式は、行列値直交多項式とスペクトル測度を用いて、五重対角およびブロック三重対角行列へと拡張可能である。
• 2×2ブロック三重対角行列で $ B_0 = \frac{1}{2}I $, $ B_n = 0 $ for $ n \geq 1 $, および $ A_n = \frac{1}{4}I $ の場合、行列多項式は $ P_n(x) = \frac{1}{2^n} \begin{pmatrix} U_n(x) & -U_{n-1}(x) \\ -U_{n-1}(x) & U_n(x) \end{pmatrix} $ と表され、ここで $ U_n $ は第二種チェビシェフ多項式である。
• 直交性測度は明示的に $ \frac{4^i}{\pi} \int_{-1}^1 P_i(x) \frac{1}{\sqrt{1-x^2}} \begin{pmatrix} 1 & x \\ x & 1 \end{pmatrix} P_j(x) dx = \delta_{ij} I $ と与えられる。
• nステップ遷移確率は $ (\mathbb{P}^n)_{ij} = \frac{4^i}{\pi} \int_{-1}^1 x^n P_i(x) \frac{1}{\sqrt{1-x^2}} \begin{pmatrix} 1 & x \\ x & 1 \end{pmatrix} P_j(x) dx $ を用いて計算可能であり、行の和が1でないにもかかわらず有効である。
• この手法により再帰性および極限挙動の解析が可能であり、$ \lim_{n\to\infty} (\mathbb{P}^n)_{ij} $ が存在して正であるための必要十分条件は、スペクトル測度が $ x=1 $ に質量を持ち、$ x=-1 $ に質量を持たないことである。
• 生成関数 $ \lim_{n\to\infty} \frac{q_{n-1}(x)}{Q_n(x)} $ は、Stieltjes変換 $ \int_{-1}^1 \frac{d\psi(\lambda)}{x - \lambda} $ と関連づけられ、確率論的解釈を提供する。