2025-11-19T18:46:14.327557

Asymptotic expansion of the hard-to-soft edge transition

Yao, Zhang

By showing that the symmetrically transformed Bessel kernel admits a full asymptotic expansion for large parameter, we establish a hard-to-soft edge transition expansion. This resolves a conjecture recently proposed by Bornemann.

academic

Asymptotic expansion of the hard-to-soft edge transition

基本信息

论文ID: 2309.06733
标题: Asymptotic expansion of the hard-to-soft edge transition
作者: Luming Yao (深圳大学高等研究院), Lun Zhang (复旦大学数学科学学院)
分类: math-ph math.MP
发表时间: 2025年10月14日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2309.06733

摘要

通过证明对称变换的Bessel核在大参数情况下承认完整的渐近展开，本文建立了硬边到软边转换的展开式。这解决了Bornemann最近提出的一个猜想。

研究背景与动机

问题背景

硬边到软边转换：这是随机矩阵理论中的一个普遍现象。在复Wishart矩阵（Laguerre酉系综LUE）中，当参数ν固定而n→∞时，最小特征值聚集在硬边0附近，其极限过程由Bessel核刻画。当ν与n同时增长且ν/n趋于正常数时，最小特征值被推离原点，形成软边，其波动由Airy核描述。
数学重要性：该问题与最长递增子序列的长度分布密切相关。Ulam在1960年代提出的关于随机排列中最长递增子序列分布的问题，最终由Baik-Deift-Johansson通过Tracy-Widom分布解决。
现有局限性：虽然硬边到软边的转换已经建立，但缺乏完整的渐近展开式。Bornemann在最近的工作中基于Bessel函数的瞬态渐近展开提出了相关猜想，但受到数值检验的限制（仅对m ≤ 100成立）。
研究动机：建立完整的渐近展开不仅具有理论价值，还能为Edgeworth展开和有限尺寸修正提供基础，在统计学和信号处理中有重要应用。

核心贡献

解决Bornemann猜想：证明了对称变换Bessel核的完整渐近展开对任意m ∈ ℕ都成立，去除了之前m ≤ 100的数值限制。
建立硬边到软边转换展开：基于核的展开，利用迹范数估计技术，建立了相应Fredholm行列式的完整渐近展开。
创新方法论：采用Riemann-Hilbert问题方法替代传统的Bessel函数瞬态展开，提供了更系统和严格的分析框架。
系统计算工具：提供了计算展开核Kⱼ(x,y)中多项式系数的系统方法，并能重现Bessel函数的渐近展开。

方法详解

任务定义

建立对称变换Bessel核的完整渐近展开： $\hat{K}^{Bes}_ν(x,y) = K_{Ai}(x,y) + \sum_{j=1}^m K_j(x,y)h_ν^j + h_ν^{m+1} \cdot O(e^{-(x+y)})$

其中：

$h_ν := 2^{-1/3}ν^{-2/3}$ 是小参数
$\hat{K}^{Bes}_ν(x,y) := \sqrt{\phi'_ν(x)\phi'_ν(y)}K^{Bes}_ν(\phi_ν(x), \phi_ν(y))$
$\phi_ν(t) := ν^2(1-h_νt)^2$ 是变换函数

核心方法架构

1. Riemann-Hilbert表征

将Bessel核表示为RH问题的解： $K^{Bes}_ν(x,y) = \frac{1}{2πi(x-y)}\begin{pmatrix} -e^{-πiν/2} & e^{πiν/2} \end{pmatrix} Ψ_+(y)^{-1}Ψ_+(x) \begin{pmatrix} e^{πiν/2} \\ e^{-πiν/2} \end{pmatrix}$

2. 非线性最速下降分析

通过一系列显式可逆变换：Ψ → Y → T → S → R

第一变换（Ψ → Y）：缩放变换 $Y(z) = ν^{1/2σ_3}\begin{pmatrix} 1 & 0 \\ \frac{4ν^2+3}{8} & 1 \end{pmatrix}Ψ(ν^2z)$

第二变换（Y → T）：轮廓变形，将从原点发出的射线替换为从点1发出的平行线

第三变换（T → S）：引入g函数进行归一化 $g(z) := -(1-z)^{1/2} + \frac{1}{2}\ln\left(\frac{1+(1-z)^{1/2}}{1-(1-z)^{1/2}}\right) ± \frac{πi}{2}$

3. 参数矩阵构造

全局参数矩阵： $N(z) = (1-z)^{-1/4σ_3}\frac{1}{\sqrt{2}}\begin{pmatrix} 1 & -1 \\ 1 & 1 \end{pmatrix}e^{-πi/4σ_3}$
局部参数矩阵：在z=1附近使用Airy参数矩阵 $Φ^{(Ai)}$ 构造