[論文レビュー] Conditional measures of determinantal point processes

Alexey Bufetov|arXiv (Cornell University)|May 4, 2016

Random Matrices and Applications参考文献 7被引用数 6

ひとこと要約

本稿では、成長条件を満たす可積分核を持つ直交射影によって誘導される1次元確定的点過程の条件付き測度—特に、そのような測度が明示的に計算可能な重みを持つ直交多項式系に一致することを確立している。主な結果は、コンpact区間外部の構成が与えられたとき、その区間における条件付き分布が直交多項式系に一致することを示しており、一様化された等長変換群における準不変性およびPalm測度のRadon-Nikodém微分を用いて、既知の正弦過程およびベッセル過程の結果を一般化している。

ABSTRACT

For a class of one-dimensional determinantal point processes including those induced by orthogonal projections with integrable kernels satisfying a growth condition, it is proved that their conditional measures, with respect to the configuration in the complement of a compact interval, are orthogonal polynomial ensembles with explicitly found weights. Examples include the sine-process and the process with the Bessel kernel. The argument uses the quasi-invariance, established in [1], of our point processes under the group of piecewise isometries of the real line.

研究の動機と目的

• コンパクト区間外部の構成が与えられたとき、その区間における確定的点過程の条件付き分布を特徴づけること。
• 核が可積分で成長条件を満たす場合、条件付き測度の正確な形を同定すること。
• 正弦過程やベッセル過程などのプロセスにおける剛性および条件付き構造に関する既知の結果を拡張すること。
• 得られる直交多項式系の重み関数に対して明示的な公式を提供すること。

提案手法

• 先行研究で確立された、ℝの区分的等長変換群における確定的点過程の準不変性を用いる。
• 異なるPalm測度間のRadon-Nikodém微分を扱う、縮小Palm測度の理論を適用する。
• 点におけるPalm測度間の尤度比を符号化する乗法的関数 $ \Psi_{p,q}^\Pi $ を用いて、条件付き測度をPalm測度の重み付き平均として導出する。
• Shirai-Takahashiの定理を用いて $ \mathbb{P}_{\Pi^p} $ が縮小Palm測度 $ \mathbb{P}_\Pi^p $ に一致することを同定し、密度比の明示的計算を可能にする。
• トレースクラスおよびHilbert-Schmidt収束定理を適用して、核の極限挙動（例えば、Hermite核から正弦核への収束）を正当化し、極限における条件付き測度の有効性を保証する。
• 直交多項式（例えば、JacobiおよびHermite）の漸近的解析を用いて、核作用素および正規化定数の収束を検証する。

実験結果

リサーチクエスチョン

• RQ1 確定的点過程のコンパクト区間における条件付き分布が、古典的直交多項式系に一致するための条件は何か？
• RQ2 元の射影の核から、条件付き直交多項式系の重み関数を明示的に計算する方法は何か？
• RQ3 区分的等長変換群における準不変性が、条件付き測度の構造を決定する上で果たす役割は何か？
• RQ4 異なる点におけるPalm測度間のRadon-Nikodém微分は、有界集合における条件付き測度とどのように関係するか？
• RQ5 トレースクラスからHilbert-Schmidt核への条件付き測度構造の拡張は可能か？また、その収束条件は何か？

主な発見

• 可積分核で成長条件を満たす射影によって誘導される確定的点過程について、コンパクト区間外部の構成が与えられたとき、その区間における条件付き測度は、明示的に計算可能な重み関数を持つ直交多項式系に一致する。
• 重み関数は正規化定数の比およびPalm測度間のRadon-Nikodém微分から生じるが、これは乗法的関数 $ \Psi_{p,q}^\Pi $ を通じて表現される。
• 条件付き測度は、区間上での固定された個数の構成にのみ台を持つ。これは、このようなプロセスの剛性特性と整合的である。
• 正弦過程の場合、重み関数は定数に簡略化され、条件付き測度がLebesgue測度に関する直交多項式系に対して一様分布であることを示唆する。
• 核列（例えば、Hermite核から正弦核への収束）がHilbert-Schmidtノルムで収束することにより、条件付き測度の極限が適切に定義され、期待される直交多項式構造と一致することが保証される。
• スケーリングの下で、正弦核において正規化定数 $ \rho^\Pi(p)/\rho^\Pi(q) $ が1に収束することが示され、極限において一様重みが得られることを示している。