[论文解读] 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

一句话总结

本论文通过矩阵权函数的Wiener-Hopf型分解，为由块Toeplitz矩阵的无限子式定义的确定性点过程的相关核建立了双重积分公式。关键贡献是一项系统化方法，可导出显式核公式，为双周期Aztec方块提供了一种替代证明，并使更广泛模型的渐近分析成为可能。

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.

研究动机与目标

• 为由块Toeplitz矩阵的无限子式定义的确定性点过程的相关核，发展一种系统化方法，推导出双重积分公式。
• 将标量Toeplitz子式的可积结构推广至矩阵值情形，特别是针对具有双周期权函数的模型。
• 建立一个通用框架，适用于双周期Aztec方块之外的模型，使新一类镶嵌与共振子模型的渐近分析成为可能。
• 通过黎曼-希尔伯特问题，建立相关核与矩阵值正交多项式之间的联系。
• 通过以新且更直接的方法重新推导已知的双周期Aztec方块的双重积分公式，展示该方法的实用性。

提出的方法

• 利用矩阵值权函数 $\phi(z)$ 的Wiener-Hopf型分解，将其分解为 $\phi_+(z)$（在单位圆内解析）和 $\phi_-(z)$（在单位圆外解析）。
• 应用矩阵值正交多项式的Christoffel-Darboux核公式，将相关核表示为分解后权函数的函数。
• 通过围绕 0 的 $\gamma_0$ 和围绕 $ad/bc$ 的 $\gamma_{0,ad/bc}$ 的围线积分，推导出核的双重积分表示，被积函数包含 $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 能否为由块Toeplitz矩阵的无限子式定义的确定性点过程，系统性地推导出相关核的双重积分公式？
• RQ2 如何为这类过程显式构造矩阵值权函数的Wiener-Hopf分解？
• RQ3 所提出的新方法能否以更简单、更通用的方式重现已知结果，例如双周期Aztec方块的双重积分公式？
• RQ4 对矩阵权函数施加何种条件，可确保存在使显式核计算成为可能的分解？
• RQ5 该框架在多大程度上可推广至双周期Aztec方块之外的其他具有双周期权函数的模型？

主要发现

• 在矩阵权函数存在Wiener-Hopf分解的条件下，为块Toeplitz矩阵的无限子式建立了相关核的双重积分公式。
• 核表示为单个围线积分与双重围线积分之和，被积函数包含矩阵值函数 $A(z)$、$B(z)$ 及其幂次。
• 该公式为双周期Aztec方块的相关核提供了替代证明，此前该结果是通过逆Kasteleyn矩阵方法推导的。
• 矩阵值函数 $A(z)$ 与 $B(z)$ 可交换，支持同时对角化，从而简化了 $N \to \infty$ 极限下的渐近分析。
• 该方法具有一般性，适用于具有有理矩阵权函数和合适分解性质的其他模型，如 $2\times2$-周期的六边形区域菱形镶嵌。
• 当 $\det \phi(z)$ 的卷绕数为 $2N$ 且 $\phi(z)$ 在单位圆上无零点或极点时，分解的存在性得以保证。