Zeros of the i.i.d. Gaussian Laurent series on an annulus: weighted Szegő kernels and permanental-determinantal point processes

기술 요약: 환상 영역(annulus)에서의 i.i.d. 가우시안 로랑 급수의 영점: 가중 Szegő 커널과 퍼머넌트-디터미넌트 점 프로세스

문제 제기
본 논문은 고정된 $q \in (0, 1)$에 대해 환상 영역 $A_q := \{z \in \mathbb{C} : q < |z| < 1\}$에서 정의된 가우시안 해석 함수(Gaussian Analytic Functions, GAF)의 영점 집합의 통계적 성질을 조사한다. 단위 원판 $\mathbb{D}$ 상의 GAF(특히 i.i.d. 가우시안 멱급수)의 영점 집합은 베르그만 커널(Bergman kernel)에 의해 주어진 결정적 점 프로세스(Determinantal Point Processes, DPP)로서 잘 이해되어 있으나, 환상 영역과 같은 다중 연결 도메인에서의 GAF 거동은 덜 탐구되었다. 저자들은 고정된 $q$를 가진 환상 영역 $A_q$ 위에서 i.i.d. 가우시안 로랑 급수를 사용하여 GAF를 구축하고, 이 영점 프로세스를 규명하며, 가중 매개변수 $r > 0$의 도입이 프로세스의 대칭성과 상관 구조에 어떠한 영향을 미치는지 결정하고자 한다.

방법론
저자들은 복소해석학, 확률론, 그리고 특수 함수 이론(특히 세타 함수와 타원 함수)의 결합된 방법론을 채택한다.

1. GAF의 구축: GAF $X^r_{A_q}$는 무작위 로랑 급수 $\sum_{n \in \mathbb{Z}} \zeta_n e^{(q,r)}_n(z)$로 정의되며, 여기서 $\zeta_n$은 i.i.d. 표준 복소 가우시안 변수이다. 기저 함수 $e^{(q,r)}_n(z)$는 GAF의 공분산 커널이 환상 영역의 가중 Szegő 커널 $S_{A_q}(z, w; r)$과 일치하도록 선택되었으며, 이 커널은 이전에 Mccullough과 Shen에 의해 연구된 바 있다.
2. 조건부 프로세스: 저자들은 조건부 Szegő 커널에 관한 Mccullough-Shen 공식을 활용한다. GAF가 특정 지점 $\alpha_1, \dots, \alpha_n$에서 영점을 갖도록 조건화함으로써, 결과적인 프로세스가 수정된 가중 매개변수 $r' = r \prod |\alpha_\ell|^2$를 갖는 새로운 GAF와 법적으로 동일하다는 것을 유도한다. 이는 조건화가 기저 공분산 커널을 변화시킨다는 귀납적 구조를 확립한다.
3. 상관 함수: GAF의 일반적인 영점 프로세스 공식(조건부 커널의 퍼머넌트와 미분 관계를 이용)을 사용하여, 저자들은 명시적인 $n$-점 상관 함수를 유도한다. 이 과정에서 Frobenius determinantal 공식을 사용하고, 식을 단순화하기 위해 세타 함수의 성질을 활용한다.
4. 대칭성 분석: 본 논문은 회전 변환과 $q$-반전 변환 $T_q(z) = q/z$에 대한 프로세스의 불변성을 분석한다. 이는 사상 $z \mapsto q/z$에 따른 가중 Szegő 커널의 변환 성질과 그에 따른 매개변수 변화 $r \mapsto q^2/r$를 연구하는 것을 포함한다.
5. 극한 사례: 저자들은 $q \to 0$ (단위 원판 사례의 회복) 및 $r \to 0$ 또는 $r \to \infty$의 극한을 조사하여 프로세스의 상전이를 이해한다.

주요 기여 및 결과

• 퍼머넌트-디터미넌트 점 프로세스 (PDPPs): 본 연구의 주요 결과는 환상 영역 상의 GAF 영점 프로세스가 **퍼머넌트-디터미넌트 점 프로세스(PDPP)**임을 증명하는 것이다. 결정식(determinant)만으로 상관 관계가 주어지는 원판 상의 표준 DPP와 달리, 여기서의 $n$-점 상관 함수는 퍼머넌트와 디터미넌트의 곱(denote as $\text{perdet}$)으로 주어진다. 구체적으로 다음과 같다:
  $$\rho_n(z_1, \dots, z_n; r) = \frac{\theta(-r)}{\theta(-r \prod |z_k|^4)} \text{perdet}_{1 \le i,j \le n} \left[ S_{A_q}\left(z_i, z_j; r \prod_{\ell=1}^n |z_\ell|^2\right) \right]$$
  이러한 구조는 환상 영역의 가중 Szegő 커널에 대해 Borchardt 항등식(행렬의 퍼머넌트가 그 제곱의 디터미넌트와 같음을 나타내는 식)이 성립하지 않기 때문에 발생한다.

• 대칭성 및 공형 불변성: 프로세스는 $(q, r)$-반전 대칭성을 보인다: 즉, 영점의 분포는 $z \mapsto q/z$와 $r \mapsto q^2/r$의 동시 변환에 대해 불변이다. 가중 매개변수가 $r=q$일 때, GAF와 그 영점 프로세스는 환상 영역 $A_q$를 보존하는 모든 공형 변환에 대해 불변이 된다.

• 조건부 구조: 본 논문은 환상 영역의 GAF를 $\alpha_1, \dots, \alpha_n$에서의 영점을 갖도록 조건화하는 것이 다른 가중 매개변수 $r \prod |\alpha_\ell|^2$를 갖는 새로운 GAF를 유도함을 보여준다. 이는 단일 연결된 원판의 경우, 조건화가 공분란 커널의 함수적 형태를 바꾸지 않는 것(영역만 효과적으로 축소됨)과 대조적이다.

• 상호작용 특성 (척력과 인력): 저자들은 영점 사이의 상호작용을 연구하기 위해 언폴디드(unfolded) 2-상관 함수 $g(z, w; r)$를 분석한다.

  • 단거리: 프로세스는 표준 DPP와 유사하게 단거리에서 척력(음의 상관관계)을 보이며, 멱법칙 감쇠 지수는 $\beta = 2$이다.
  • 장거리: 표준 DPP와 달리, 이 프로세스는 매개변수에 따라 장거리에서 인력(양의 상관관계)을 보일 수 있다.
  • 상전이: 임계값 $r_0(q)$가 식별된다. $r \in (q, r_0(q))$인 경우 장거리 상관관계는 척력적이다. 반면 $r \in (r_0(q), 1)$인 경우 양의 상관관계가 나타난다. $q \to 0$ 극한에서 이 임계값은 $r_c \approx 0.2846$으로 수렴한다. 원판 상의 극한 프로세스 $ZX^r_{\mathbb{D}}$는 표준 Peres-Virág DPP ($r \to 0$)와 원점에 결정론적 영점이 추가된 DPP ($r \to \infty$) 사이를 보간한다.

• 기하학적 해석: 영점의 밀도는 환상 영역의 경계에서 발산하며, 외측 경계 근처의 쌍곡 평면 메트릭처럼 행동한다. 본 논문은 원판 상의 영점 프로세스가 푸앵카레 원판 모델 상에서 균등(uniform)한 반면, 환상 영역 프로세스가 "균등"한 기하학적 공간이 무엇인지는 여전히 열린 문제임을 언급한다.

의의
본 논문은 다중 연결 도메인에서의 GAF에 관한 일반 이론의 견고한 출발점을 제공한다고 주장한다. 그 의의는 다음과 같다:

1. 일반화: Peres-Virág의 결과를 단위 원판에서 환상 영역으로 확장하여, 가중 Szegō 커널을 공분산 구조로 도입하였다.
2. 새로운 프로세스 클래스: 순수하게 척력적인 DPP와 순수하게 인력적인 퍼머넌트 점 프로세스(PPP) 사이의 간극을 메우는, 척력과 인력을 모두 나타낼 수 있는 새로운 클래스의 점 프로세스(PDPP)를 식별하고 규명하였다.
3. 귀납적 구조: 다중 연결 도메인에서 영점에 대해 조건화하는 것이 가중 매개변수를 변화시켜 공분산 커널을 근본적으로 바꾼다는 점을 강조하였는데, 이는 단순 연결된 원판의 경우에는 나타나지 않는 현상이다.
4. 대칭성: $q$-반전 및 매개변수 쌍대성을 포함하는 풍부한 대칭군을 확립하였으며, 이는 공형 사상에 따른 프로세스의 거동을 이해하는 데 매우 중요하다.

저자들은 이것이 단순히 디터미넌트를 퍼머넌트로 대체하는 것이 아님을 강조한다. 상관 함수의 계층적 구조와 점들의 구성에 따른 가중 매개변수의 의존성이 이 이론의 핵심적이고 참신한 특징이다.