Optimal Covariance Estimates for Schrödinger Semigroups with White Noise in $d=1,2$

기술 요약: $d=1, 2$에서 백색 잡음이 포함된 슈뢰딩거 세미그룹의 최적 공분산 추정

문제 정의
본 논문은 $L^2(\mathbb{R}^d)$ 상에서 작용하는 무작위 슈뢰딩gers 연산자 $H = -\frac{1}{2}\Delta + V + \xi$ ($d \in \{1, 2\}$)의 고윳값들의 통계적 성질을 조사한다. 여기서 $\xi$는 표준 가우시안 백색 잡음(Schwartz 분포)을 나타내며, $V$는 무한대에서 멱법칙(power-law) 성장을 보이는 결정론적 퍼텐셜($V(x) \geq a|x|^\kappa - b$)이다. 주요 초점은 $s, t \to 0$일 때 지수 트레이스(exponential trace) 또는 세미그룹(semigroup) $C(s, t) = \text{Cov}(\text{Tr}[e^{-sH}], \text{Tr}[e^{-tH}])$의 변동 및 상관관계에 있다.

이 연구는 $H$를 구속 퍼텐셜 $V$와 구조화되지 않은 무질서 $\xi$ 속에 있는 양자 입자의 에너지 준위로 해석하는 물리적 동기에서 출발한다. 백색 잡음은 격자 잡음(lattice noise)의 보편적인 스케일링 극한이지만, 그 높은 특이성으로 인해 $d \geq 2$인 경우 $H$를 엄밀하게 정의하고 그 스펙트럼 성질을 분석하는 것은 기술적으로 매우 까다롭다. 기존 문헌들은 $d=1$인 경우 트레이스의 분산에 대한 경계값을 확립했으나, $s \neq t$인 경우에 대해서는 하위 최적(suboptimal)이었으며, 일반적인 구속 퍼텐셜을 가진 $d=2$에 대해서는 그러한 추정치가 존재하지 않았다.

방법론
저자들은 트레이스를 표현하기 위해 파인만-카츠(Feynman-Kac) 공식에 중심을 둔 확률론적 접근 방식을 채택한다. 이 방법론은 다음과 같은 몇 가지 핵심적인 기술적 단계를 포함한다:

1. 트레이스의 구성:

   • $d=1$의 경우: 연산자 $H$는 이차 형식(quadratic form)을 통해 구성되며, $\xi$에 대한 적분을 확률 적분으로 해석한다. 트레이스는 고윳값들의 지수 함수의 합으로 잘 정의된다.
   • $d=2$의 경우: 백색 잡음의 특이성 때문에 연산자에는 재규격화(renormalization)가 필요하다. 저자들은 정규성 구조(regularity structures)나 파라컨트롤드 미적분학(paracontrolled calculus)을 사용하여 전체 연산자를 직접 구성하는 대신, 평활화된 연산자 $H_\epsilon = -\frac{1}{2}\Delta + V + \xi_\epsilon - c_\epsilon$의 재규격화된 트레이스들의 $L^2$ 극한으로서 트레이스 관측량 $\text{Tr}[e^{-tH}]$를 직접 구성한다. 여기서 $\xi_\epsilon$는 몰리파이어(mollified)된 잡음이고 $c_\epsilon$는 재규격화 상수이다.

2. 파인만-카츠 표현:
   트레이스의 기댓값과 공분산은 브라운 브리지($B^{x,x}_t$)를 통해 표현된다.

   • 기댓값은 단일 브리지의 자기 교차 국소 시간(self-intersection local time, SILT)을 포함한다.
   • 공분산는 두 독립적인 브리지 $B^{x,x}_t$와 $B^{y,y}_s$ 사이의 상호 교차 국소 시간(mutual intersection local time, MILT) 및 각각의 SILT를 포함한다.
   • $d=2$에서 SILT와 MILT는 가우시안 커널을 포함하는 근사 국소 시간의 극한을 통해 정의되며, (SILT를 위한 평균을 빼주는 과정과 같이) 발산 문제를 신중하게 다루어야 한다.

3. 점근 분석:
   핵심 분석은 $s, t \to 0$일 때 $C(s, t)$에 대한 정밀한 점근적 상한 및 하한을 도출하는 것이다. 이는 다음을 통해 이루어진다:

   • 브라운 브리지의 스케일링 성질을 이용한 MILT와 SILT의 모멘트 추정.
   • 퍼텐셜 $V$(항 $e^{-\int V}$를 통해)와 잡음 항(교차 국소 시간을 통해) 사이의 상호작용 제어.
   • 헐더 부등식(Hölder's inequality)과 균등 적분 가능성(uniform integrability) 추정을 활용하여 공분산 적분 내의 지배적인 항들을 분리함.

주요 기여 및 결과

1. 최적 공분산 경계:
   주요 결과(정리 1.4)는 $V(x) \geq a|x|^\kappa - b$라는 성장 가정이 주어졌을 때, 공분산가 다음을 만족함을 입증한다:
   $$C(s, t) \lesssim \min(s, t)^{1 - d/2} \max(s, t)^{1 - d/2 - d/\kappa}$$
   $s, t \to 0$일 때. 또한, $V$가 $V(x) \leq c|x|^\kappa + f$라는 상한도 만족한다면, 이 추정치는 최적임(즉, 일치하는 하한이 존재함)이 보여진다.

   • $d=1$의 경우: 이는 이전의 경계값들(예: [LGL20], [GL25])보다 유의미하게 개선된 것으로, 특히 $s \neq t$인 경우에 있어 이전 결과들이 더 약한 차수를 제공했던 것과 대조된다.
   • $d=2$의 경우: 백색 잡음과 일반적인 멱법칙 퍼텐셜을 가진 슈뢰딩거 연산자에 대해 이와 같은 종류의 첫 번째 추정치를 제공한다.

2. 세미그룹 하이퍼유니포미티(Hyperuniformity):
   이러한 경계값을 적용하여, 저자들은 "세미그룹 하이퍼유니포미티" 성질(따름정리 1.10)을 증명한다. 이들은 하이퍼유니포미티 비율 $R_s(t) = \text{Var}(\text{Tr}[e^{-tH}]) / \mathbb{E}[\text{Tr}[e^{-tH}]]$를 정의하고, 퍼텐셜이 두 성장 경계를 모두 만족할 경우 $t \to 0$일 때 $R_s(t) \asymp t^{2 - d/2}$임을 보여준다. 이는 트레이스의 변동이 유사한 강도를 가진 포아송 과정(Poisson process)의 변동보다 더 빠르게 사라짐을 의미하며, 스펙트럼의 일종의 "전역적 경직성(global rigidity)"을 정량화한다.

3. 탈상관 속도(Decorrelation Rates):
   논문은 서로 다른 시간에서의 트레이스의 탈상관에 대한 정밀한 속도를 도출한다(따름정리 1.12). 상관 계수 $\rho(s, t)$는 다음과 같이 감소한다:
   $$\rho(s, t) \lesssim \left( \frac{\min(s, t)}{\max(s, t)} \right)^{d/2\kappa}$$
   이는 고윳값 상관관계가 차원 $d$와 퍼텐셜 성장률 $\kappa$에 어떻게 의존하는지를 정량화한다.

의의 및 주장
본 논문은 자신의 결과가 백색 잡음을 가진 무작위 슈뢰딩거 연산자에 대한 이해를 크게 개선했다고 주장한다:

• 기술적 진보: $d=2$에 대한 최초의 최적 공분산 추정치를 제공하며, $s \neq t$인 $d=1$의 경우 추정의 정밀도를 높였다.
• 방법론적 혁신: $d=2$에서 전체 연산자 구성을 피하고, $L^2$ 극한과 파인만-카츠 공식을 통해 트레이스에 직접 집중함으로써, 이 특정 스펙트럼 문제에 대해 정규성 구조의 무거운 기계적 장치들을 우회하였다.
• 물리적 통찰: 결과는 고유함수의 확산(라플라시안에 의해 구동됨)과 저퍼텐셜/잡음 영역으로의 집중(V와 $\xi$에 의해 구동됨) 사이의 경쟁을 정량화한다. 도출된 탈상관 속도는 고차원이 고유함수를 더 쉽게 분리시켜 상관관계를 줄이는 반면, 더 강한 구속 퍼텐셜은 고유함수가 동일한 잡음을 "재사용"하도록 강제하여 상관관계를 높인다는 것을 반영한다.
• 향후 연구의 토대: 저자들은 이러한 일치하는 상한 및 하한이 반직선 하이퍼유니포미티($R_h(\lambda) \to 0$) 및 고윳값 개수 상관관계에 관한 추측을 증명하는 데 필수적이며, 이는 $d=1, 2, 3$에서 여전히 미해결 과제로 남아 있다고 언급한다.

본 논문은 수학적 분석을 넘어 새로운 실험적 설정이나 응용을 제안하지 않으며, $d \geq 4$에서의 연산자 구성을 해결한다고 주장하지 않는다. 그 범위는 엄격히 $d=1, 2$ 차원에서 세미그룹 트레이스의 공분산에 대한 엄밀한 점근적 경계를 확립하는 데 한정된다.