[論文レビュー] 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$ 漸近展開を、ヘルミート行列模型の再定式化とアイナールド＝オラントインのトポロジカル再帰を用いて厳密に導出する。展開の係数がスペクトル曲線から再構成可能であることを確立し、1つの弧の場合、セルバールグ積分を用いて正規化定数を計算し、ウィドムの結果を一般化する。

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$ 展開を導出すること。
• 漸近展開の係数と、モデルの明示的なスペクトル曲線に適用したアイナールド＝オラントインのトポロジカル再帰との間の厳密な関係を確立すること。
• セルバールグ積分を用いて1弧の場合の正規化定数を解明し、ウィドムの結果を拡張すること。
• 回転対称性をもつ対称的多重弧配置を解析し、$O(1)$ 項まで展開を導出すること。
• 対称的多重カットの場合の $O(1)$ 項についての予想を提示し、数値的根拠を提示し、一般の記号への未来の拡張を示唆すること。

提案手法

• 固有値の支持が制限されたヘルミート行列模型としてツェーロプス行列式を再定式化する。
• 行列模型から関連するスペクトル曲線および極限固有値密度を導出する。
• アイナールド＝オラントインのトポロジカル再帰を用いて相関関数を計算し、漸近係数を再構成する。
• セルバールグ積分の恒等式を用いて、1弧の場合の正規化定数を固定する。
• 理論的予測を検証するため、$o(1/n^4)$ まで数値的シミュレーションを実施する。
• 回転対称性の下で $d=2r+1$ または $d=2s$ 個の区間をもつ対称的配置を解析し、$O(1)$ 項を導出する。

実験結果

リサーチクエスチョン

• RQ1 行列模型およびトポロジカル再帰の手法を用いて、弧区間の記号をもつツェーロプス行列式の完全な $n\to\infty$ 漸近展開を厳密に導出可能か？
• RQ2 漸近展開の係数は、モデルのスペクトル曲線に適用したアイナールド＝オラントインのトポロジカル再帰とどのように関係しているか？
• RQ3 1弧の場合の正規化定数の明確な形は何か？ また、セルバールグ積分のような既知の特殊関数を用いて計算可能か？
• RQ4 対称的多重弧配置において、展開の $O(1)$ 項はトポロジカル再帰を用いて再構成可能か？ また、数値的証拠に基づいて予想可能か？
• RQ5 本手法は、特に正の記号をもつ一般の記号へ拡張可能か？ また、下位の補正項も依然としてトポロジカル再帰の構造に従うか？

主な発見

• 1つの弧区間の場合、正規化定数がセルバールグ積分を用いて固定され、ウィドムの結果が一般化された完全な $n\to\infty$ 展開が厳密に導出された。
• 漸近展開の係数は、明示的なスペクトル曲線に適用したアイナールド＝オラントインのトポロジカル再帰から再構成可能である。
• $d=2r+1\geq3$ 個の対称的弧区間の場合、$O(1)$ 項まで展開が導出され、$O(1)$ 項は $m_n = n \mod (2r+1)$ に依存する。
• $d=2s\geq2$ 個の対称的弧区間の場合、$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)$ 項の予想が裏付けられた。