[論文レビュー] Correlation functions for determinantal processes defined by infinite block Toeplitz minors

Tomas Berggren, Maurice Duits|arXiv (Cornell University)|Jan 30, 2019

Random Matrices and Applications参考文献 37被引用数 4

ひとこと要約

本稿では、ブロックトーペリッツ行列の無限小行列式によって定義されるデターミナント点過程の相関核に対する二重積分公式を、行列値重み関数のウィーナ＝ホフ型分解を用いて確立する。主な貢献は、明示的な核公式を導く体系的な手法を提供することであり、二重周期的アーゼック・ダイアモンドに対する別証明を可能にするとともに、より広範なモデルにおける漸近解析を可能にする。

ABSTRACT

We study the correlation functions for determinantal point processes defined by products of infinite minors of block Toeplitz matrices. The motivation for studying such processes comes from doubly periodically weighted tilings of planar domains, such as the two-periodic Aztec diamond. Our main results are double integral formulas for the correlation kernels. In general, the integrand is a matrix-valued function built out of a factorization of the matrix-valued weight. In concrete examples the factorization can be worked out in detail and we obtain explicit integrands. In particular, we find an alternative proof for a formula for the two-periodic Aztec diamond recently derived in \cite{DK}. We strongly believe that also in other concrete cases the double integral formulas are good starting points for asymptotic studies.

研究の動機と目的

• ブロックトーペリッツ行列の無限小行列式によって定義されるデターミナント点過程における相関核の二重積分公式を体系的に導出すること。
• スカラーのトーペリッツ小行列の統合的構造を、特に二重周期的重みを持つモデルを含む行列値の場合に拡張すること。
• 二重周期的アーゼック・ダイアモンドを越えて、タイリングおよびデイマーモデルの新規クラスにおける漸近解析が可能な一般枠組みを提供すること。
• リーマン＝ヒルベルト問題を介して相関核と行列値正規直交多項式との関係を確立すること。
• 本手法の有効性を示すために、二重周期的アーゼック・ダイアモンドの既知の二重積分公式を、より直接的で新しいアプローチで再導出すること。

提案手法

• 行列値重み関数 $\phi(z)$ を $\phi_+(z)$ と $\phi_-(z)$ にウィーナ＝ホフ型分解し、$\phi_+$ は単位円板内で正則、$\phi_-$ は外で正則とする。
• 行列値正規直交多項式に対するクリスティオフ＝ダーボウス核公式を適用し、因子分解された重み関数を用いて相関核を表現する。
• 0回りの $\gamma_0$ および $ad/bc$ 回りの $\gamma_{0,ad/bc}$ の2つの閉曲線を用いた contour 積分を用い、被積分関数に $A(z)^m B(z)^m$ と $A(w)^{N-m'} B(w)^{-m'}$ を含む二重積分表現を導出する。
• 恒等式 $\left(\begin{smallmatrix}a&b\\cz&d\end{smallmatrix}\right)\left(\begin{smallmatrix}\alpha&\beta\\\gamma z&\delta\end{smallmatrix}\right) = \text{対角行列} \cdot \left(\begin{smallmatrix}\alpha&\gamma\\\beta z&\delta\end{smallmatrix}\right) \cdot \text{対角行列}$ を用いて、因子分解を明示的に構成する。
• 行列 $A(z)$ と $B(z)$ が可換であることを用い、$N \to \infty$ の極限における漸近解析を簡略化し、同時に対角化可能とする。
• 定理4.8（$\det \phi(z)$ の巻き数が $2N$ で、単位円上でゼロや極をもたない）を適用し、因子分解および核公式の正当性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ブロックトーペリッツ行列の無限小行列式によって定義されるデターミナント点過程に対して、体系的な二重積分公式を相関核の導出可能か？
• RQ2 このような過程に対して、行列値重み関数のウィーナ＝ホフ因子分解を明示的に構成する方法は何か？
• RQ3 本手法は、二重周期的アーゼック・ダイアモンドの二重積分公式といった既知の結果を、より単純かつ一般化された形で再現可能か？
• RQ4 行列重み関数にどのような条件を課すと、明示的な核計算を可能にする因子分解が存在するか？
• RQ5 本フレームワークは、二重周期的アーゼック・ダイアモンドを越えて、他の二重周期的重みを持つモデルへどの程度一般化可能か？

主な発見

• 行列重み関数のウィーナ＝ホフ因子分解が成立する条件下で、ブロックトーペリッツ行列の無限小行列式に対する相関核の二重積分公式が導出された。
• 核は、単一の contour 積分と二重 contour 積分の和として表現され、被積分関数に行列値関数 $A(z)$, $B(z)$ 及びそのべきを含む。
• 本公式は、従来の逆カステレイン行列法を用いて得られた二重周期的アーゼック・ダイアモンドの二重積分核の別証明を可能にする。
• $A(z)$ と $B(z)$ が可換であるため、$N \to \infty$ の極限における漸近解析が容易になり、同時に対角化可能となる。
• 本手法は一般性を持ち、$2\times2$-周期的ヘキサゴンのレンガタイルや、有理関数型行列重みと適切な因子分解性質を満たす他のモデルにも適用可能である。
• 行列重み関数 $\phi(z)$ が単位円上でゼロや極をもたず、$\det \phi(z)$ の巻き数が $2N$ であれば、因子分解の存在が保証される。