[论文解读] Asymptotic expansions of some Toeplitz determinants via the topological recursion

Olivier Marchal|arXiv (Cornell University)|Nov 17, 2016

Advanced Combinatorial Mathematics参考文献 26被引用 4

一句话总结

本文通过厄米特矩阵模型的重新表述与艾恩德-奥兰丁拓扑递归，严格推导出单位圆上弧区间符号的 $ n \times n $ 托普利茨行列式在 $ n \to \infty $ 时的渐近展开。研究证明，展开式中的系数可由谱曲线重构；对于单个弧区间的情形，利用塞尔伯格积分计算了归一化常数，推广了维多姆的结果。

ABSTRACT

In this article, we study the large $n$ asymptotic expansions of $n\ imes n$ Toeplitz determinants whose symbols are indicator functions of unions of arc-intervals of the unit circle. In particular, we use an Hermitian matrix model reformulation of the problem to provide a rigorous derivation of the general form of the large $n$ expansion when the symbol is an indicator function of either a single arc-interval or several arc-intervals with a discrete rotational symmetry. Moreover, we prove that the coefficients in the expansions can be reconstructed, up to some constants, from the Eynard-Orantin topological recursion applied to some explicit spectral curves. In addition, when the symbol is an indicator function of a single arc-interval, we provide the corresponding normalizing constants using a Selberg integral and illustrate the theoretical results with numeric simulations up to order $o\\left(\\frac{1}{n^4}\ ight)$. We also briefly discuss the situation when the number of arc-intervals increases with $n$, as well as more general Toeplitz determinants to which we may apply the present strategy.

研究动机与目标

• 推导单位圆上弧区间符号的托普利茨行列式在 $ n \to \infty $ 时的完整渐近展开。
• 建立渐近展开中系数与模型显式谱曲线上的艾恩德-奥兰丁拓扑递归之间的严格联系。
• 利用塞尔伯格积分解决单弧区间情形下的归一化常数问题，扩展维多姆的结果。
• 分析具有离散旋转对称性的对称多弧构型，推导至 $ O(1) $ 阶项的展开式。
• 对对称多切口情形提出并以数值证据支持 $ O(1) $ 项的猜想，并建议未来向一般符号的推广。

提出的方法

• 将托普利茨行列式重新表述为具有受限特征值支撑的厄米特矩阵模型。
• 从矩阵模型中推导出相应的谱曲线与极限特征值密度。
• 应用艾恩德-奥兰丁拓扑递归计算关联函数，并重构渐近系数。
• 利用塞尔伯格积分恒等式确定单弧区间情形下的归一化常数。
• 进行数值模拟，精度达 $ o(1/n^4) $，以验证理论预测。
• 在旋转对称下分析具有 $ d=2r+1 $ 或 $ d=2s $ 个区间的对称构型，推导 $ O(1) $ 阶项。

实验结果

研究问题

• RQ1 能否通过矩阵模型与拓扑递归技术，严格推导出具有弧区间符号的托普利茨行列式在 $ n \to \infty $ 时的完整渐近展开？
• RQ2 渐近展开中的系数与应用于模型谱曲线的艾恩德-奥兰丁拓扑递归之间有何关系？
• RQ3 单弧区间情形下，归一化常数的精确形式是什么？能否通过已知的特殊函数（如塞尔伯格积分）计算得出？
• RQ4 对于对称多弧构型，是否能通过拓扑递归重构展开式中的 $ O(1) $ 项，并基于数值证据提出猜想？
• RQ5 该方法能否推广至单位圆上的一般符号，特别是严格正的符号？子主导项是否仍遵循拓扑递归结构？

主要发现

• 对于单个弧区间，完整的 $ n \to \infty $ 渐近展开被严格推导，归一化常数通过塞尔伯格积分确定，推广了维多姆的结果。
• 渐近展开中的系数可通过应用于显式谱曲线的艾恩德-奥兰丁拓扑递归重构。
• 对于 $ d=2r+1 \geq 3 $ 个对称弧区间的情形，展开式已推导至 $ O(1) $ 阶，其中 $ O(1) $ 项依赖于余数 $ m_n = n \mod (2r+1) $。
• 对于 $ d=2s \geq 2 $ 个对称弧区间的情形，展开式已推导至 $ O(1) $ 阶，且 $ O(1) $ 项的猜想形式为关于 $ \epsilon $ 的特定函数依赖关系，得到数值模拟的支持。
• 在 $ \epsilon \to 0 $ 的极限下，推导出 $ Z_n(\mathcal{I}_s) $ 的渐近行为的闭式表达，涉及阶乘与 $ \epsilon $ 的幂的乘积，显式依赖于 $ \lfloor n/(2s) \rfloor $ 与 $ m_n $。
• 数值模拟验证了理论预测至 $ o(1/n^4) $ 阶，证实了渐近展开的正确性，以及对称情形下 $ O(1) $ 项的猜想。