2025-11-11T13:19:08.936822

CLT for $Î²$-ensembles with Freud weights, application to the KLS conjecture in Schatten balls

Guera, Memin, Pain

In this paper, we are interested in the $Î²$-ensembles (or 1D log-gas) with Freud weights, namely with a potential of the from $|x|^{p}$ with $p \geq 2$. Since this potential is not of class $\mathcal{C}^{3}$ when $p \in (2,3]$, most of the literature does not apply. In this singular setting, we prove the central limit theorem for linear statistics with general test-functions and compute the subleading correction to the free energy. Our strategy relies on establishing an optimal local law in the spirit of [Bourgade, Mody, Pain 22']. Our results allow us to give a large $N$ expansion up to $o(N)$ of the log-volume of the unit balls of $N\times N$ self-adjoint matrices for the $p$-Schatten norms and to give a consistency check of the KLS conjecture. For the latter, we consider the functions $f(X)=\mathrm{Tr}\left(X^r\right)^q$ and the uniform distributions on these same Schatten balls for $N$ large enough. While the case $p>3$, $r=2, q=1$ was proven in [Dadoun, Fradelizi, GuÃ©don, Zitt 23'], we address in the present paper the case $p\geq2$, $r\geq1$, $q\geq1$. The proofs are based on a link between the moments of norms of uniform laws on $p$-Schatten balls and the $Î²$-ensembles with Freud weights.

academic

Freud 가중치를 갖는 β-앙상블의 중심극한정리, Schatten 구에서의 KLS 추측에 대한 응용

기본 정보

논문 ID: 2511.05386
제목: CLT for β-ensembles with Freud weights, application to the KLS conjecture in Schatten balls
저자: Charlie Dworaczek Guera, Ronan Memin, Michel Pain
분류: math.PR (확률론), math.FA (함수해석학), math.MG (거리기하학)
발표 시간: 2025년 11월 10일
논문 링크: https://arxiv.org/abs/2511.05386

초록

본 논문은 Freud 가중치를 갖는 β-앙상블(또는 1차원 로그 기체)을 연구하며, 이는 포텐셜 함수 $|x|^p$ ( $p \geq 2$ )를 갖는 시스템입니다. $p \in (2,3]$ 일 때, 이 포텐셜 함수는 $\mathcal{C}^3$ 클래스에 속하지 않으므로 기존 문헌의 대부분의 결과가 적용되지 않습니다. 이러한 특이적 설정에서 저자들은 일반적인 시험 함수를 갖는 선형 통계량의 중심극한정리를 증명하고, 자유 에너지의 차주도 보정항을 계산합니다. 연구 전략은 최적 국소 법칙(optimal local law)의 확립에 기반합니다. 이러한 결과는 저자들이 $p$ -Schatten 노름 하에서 $N\times N$ 자기수반 행렬 단위 구의 로그 부피의 큰 $N$ 전개식을 제공하고, KLS 추측에 대한 일관성 검증을 수행할 수 있게 합니다.

연구 배경 및 동기

연구 문제

본 논문은 두 가지 핵심 문제를 해결합니다:

특이적 포텐셜 함수 하의 중심극한정리: Freud 가중치 $V(x) = c_p|x|^p$ ( $p \geq 2$ )를 갖는 β-앙상블에서, $p \in (2,3]$ 일 때 포텐셜 함수가 원점에서 $\mathcal{C}^3$ 정칙성을 갖지 않으므로 전통적 방법이 실패합니다.
KLS 추측의 검증: β-앙상블 이론을 이용하여 Kannan-Lovász-Simonovits 추측이 Schatten 구 위에서 성립함을 검증합니다.

문제의 중요성

무작위 행렬 이론: β-앙상블은 무작위 행렬 이론의 핵심 모델이며, GOE ( $\beta=1$ ), GUE ( $\beta=2$ ), GSE ( $\beta=4$ ) 등 고전적 앙상블의 고유값 분포에 대응됩니다.
볼록 기하학 응용: 결과는 고차원 볼록 기하학의 중요한 추측, 특히 30년간의 중요한 미해결 문제인 KLS 추측에 직접 적용됩니다.
양자장론 연결: 양자색역학에서 임계점 근처의 미시적 행동 연구는 이러한 특이적 포텐셜 함수 이론이 필요합니다.

기존 방법의 한계

정칙성 요구사항: 기존 중심극한정리 결과는 일반적으로 포텐셜 함수 $V \in \mathcal{C}^6$ 과 시험 함수 $f \in \mathcal{C}^4$ 를 요구합니다.
기술적 장애: $p \in (2,3]$ 일 때, 평형 측도 밀도가 끝점 근처에서 발산하여, 주 연산자의 역 $\Psi_\alpha = \Xi_\alpha^{-1}[f]$ 가 $\mathcal{C}^2$ 정칙성만 갖습니다.
방법 실패: 전통적 주 연산자 방법은 $\|\Psi''_\alpha\|_\infty < \infty$ 를 필요로 하지만, 특이적 경우에는 이 조건이 만족되지 않습니다.

핵심 기여

특이적 포텐셜 함수의 중심극한정리: $p \in (2,3]$ 의 특이적 경우에서 일반적인 시험 함수를 갖는 중심극한정리를 처음으로 확립
최적 국소 법칙: $\mathbb{E}[|s_N(z) - s_{V_\alpha}(z)|^q] \leq (Cq^{64})^q/(Ny)^q$ 형태의 최적 국소 법칙 확립
자유 에너지의 차주도항: 분할 함수 $\log Z_N$ 의 정확한 점근 전개를 $o(N)$ 항까지 계산
Schatten 구 부피 공식: $p$ -Schatten 단위 구의 로그 부피의 완전한 점근 전개 제공
KLS 추측 검증: 함수 $f(X) = \text{Tr}(X^r)^q$ 에 대해 KLS 추측이 Schatten 구 위에서 성립함을 증명

방법론 상세 설명

문제 정의

β-앙상블 확률 측도를 고려합니다: $d\mathbb{P}(\lambda_1,\ldots,\lambda_N) = \frac{1}{Z_N}\prod_{1\leq i<j\leq N}|\lambda_i-\lambda_j|^\beta \cdot e^{-\frac{\beta N}{2}\sum_{i=1}^N V(\lambda_i)}d\lambda_1\cdots d\lambda_N$

여기서 $V(x) = c_p|x|^p$ 이고, 목표는 경험 측도 $\mu_N = \frac{1}{N}\sum_{i=1}^N\delta_{\lambda_i}$ 의 변동 성질을 연구하는 것입니다.

핵심 기술 프레임워크

1. 보간 전략

보간 포텐셜 함수를 도입합니다: $V_\alpha(x) = \alpha c_p|x|^p + (1-\alpha)2x^2, \quad \alpha \in [0,1]$

이는 이차 포텐셜( $\alpha=0$ )에서 Freud 포텐셜( $\alpha=1$ )로의 연속적 변화를 허용합니다.

2. 환 방정식과 국소 법칙

혁신적 환 방정식: 전통적 방법과 달리, 저자들은 두 개의 적분 항등식을 결합하여: $\mathbb{E}_\alpha\left[\left(P_\alpha(z) + \frac{L_N(f_{\alpha,z})}{Nz} + \frac{1}{N}\left(\frac{2}{\beta}-1\right)s'_N(z)\right)P_\alpha(z)^{q-1}\overline{P_\alpha(z)^q}\right] + \text{기타 항} = 0$

여기서 $P_\alpha(z) = s_N(z)^2 + \frac{g_\alpha(z)}{z}s_N(z) + \frac{h_\alpha(z)}{z}$ 입니다.

핵심 혁신: $\frac{V'_\alpha(\lambda)-V'_\alpha(z)}{\lambda-z}$ 대신 $f_{\alpha,z}(\lambda) = \frac{g_\alpha(\lambda)-g_\alpha(z)}{\lambda-z}$ 를 사용하여, $1/z$ 의 특이성과 추가 정칙성을 교환합니다.

3. 안정성 보조정리

$u$ 가 이차 방정식 $u^2 + \frac{g_\alpha(z)}{z}u + \frac{h_\alpha(z)}{z} = \zeta$ 를 근사적으로 만족할 때 다음을 증명합니다: $|u - s_{V_\alpha}(z)| \wedge |u - \tilde{s}_{V_\alpha}(z)| \leq C\left(\frac{|\zeta|}{|b(z)|} \wedge |\zeta|^{1/2}\right)$

4. 주 연산자 방법

주 연산자 $\Xi_\alpha$ 를 다음과 같이 정의합니다: $\Xi_\alpha[\psi](x) = -\frac{1}{2}\psi(x)V'_\alpha(x) + \int_{-1}^1 \frac{\psi(x)-\psi(t)}{x-t}d\mu_{V_\alpha}(t)$

기술적 돌파: Helffer-Sjöstrand 공식을 통해 정칙성 요구사항을 $\|\psi''\|_\infty < \infty$ 에서 $\|\psi''\|_1 < \infty$ 로 낮춥니다.

기술적 혁신점

정칙화 기법: 특이적 함수에 적용 가능한 정칙화 방법을 개발하여 Helffer-Sjöstrand 공식이 여전히 적용되도록 합니다.
부트스트랩 전략: 국소 법칙 메커니즘을 네 번 반복 적용하여 선형 통계량의 경계를 점진적으로 개선합니다.
의사해석적 연속: 함수 $g(x) = px|x|^{p-2}$ 에 대해 신중한 복소 연속을 수행하여 $p \in (2,3)$ 일 때의 특이성을 처리합니다.

주요 정리

정리 1.1 (중심극한정리)

$p \geq 2$ 이고 $f \in \mathcal{C}^3(\mathbb{R})$ 이 최대 지수 증가를 갖는다고 하면: $L_N(f) \xrightarrow{N\to\infty} \mathcal{N}(m_V(f), \sigma^2(f))$

여기서 평균과 분산은 명시적 공식으로 주어집니다.

정리 1.3 (자유 에너지 전개)

$\frac{1}{N^2\beta}\log Z_N = -\frac{1}{2}\left(\log 2 + \frac{3}{2p}\right) + \frac{\log N}{2N} + \frac{F^{\{-1\}}}{N} + o\left(\frac{1}{N}\right)$

정리 1.5 (최적 국소 법칙)

$C,\delta_0 > 0$ 이 존재하여 임의의 $z = x+iy \in \mathcal{R}$ 에 대해: $\mathbb{E}[|s_N(z) - s_V(z)|^q] \leq \frac{(Cq^{64})^q}{(Ny)^q}$

Schatten 구 응용

부피 공식 (추론 1.9)

$\log|B_E(S_p^N)| = aN^2\log N + bN^2 + cN\log N + dN + o(N)$

여기서 계수 $a,b,c,d$ 는 명시적 공식으로 주어집니다.

KLS 추측 검증 (정리 1.10)

함수 $f(X) = \text{Tr}(X^r)^q$ ( $r$ 은 짝수)에 대해, KLS 추측이 Schatten 구 위에서 성립합니다: $\text{Var}_\mu f \leq 4 \cdot \lambda_\mu \cdot \mathbb{E}_\mu[\|\nabla f\|_2^2]$