[논문 리뷰] Real zeros of random analytic functions associated with geometries of constant curvature

Hendrik Flasche, Zakhar Kabluchko|arXiv (Cornell University)|2018. 02. 07.

Geometry and complex manifolds참고 문헌 28인용 수 5

한 줄 요약

이 논문은 등각 곡률 기하학과 관련된 네 가지 가족의 난수 해석 함수—구면, 평면, 쌍곡, 와일 다항식—에 대한 실근의 점점 줄어드는 평균 밀도를 유도한다. 기능적 극한 정리와 가우시안 과정 근사법을 사용하여, 간격 [a,b] 내 실근의 기대 개수는 $ n^{-1/2} \mathbb{E}[N_n[a,b]] \to \text{명시적인 밀도 함수} $ 로 점점 줄어들며, 기하학에 따라 정확한 공식이 도출된다.

ABSTRACT

Let $ξ_0, ξ_1, \dots$ be i.i.d. random variables with zero mean and unit variance. We study the following four families of random analytic functions: $\sum_{k=0}^n \sqrt{\binom nk} ξ_k z^k$ (spherical polynomials), $\sum_{k=0}^\infty \sqrt{\frac{n^k}{k!}} ξ_k z^k$ (flat random analytic function), $\sum_{k=0}^\infty \sqrt{\binom {n+k-1} k} ξ_k z^k$ (hyperbolic random analytic functions), $\sum_{k=0}^n \sqrt{\frac{n^k}{k!}} ξ_k z^k$ (Weyl polynomials). We compute explicitly the limiting mean density of real zeroes of these random functions. More precisely, we provide a formula for $\lim_{n o\infty} n^{-1/2} \mathbb{E}N_n[a,b]$, where $N_n[a, b]$ is the number of zeroes in the interval $[a,b]$.

연구 동기 및 목표

• 구면, 평면, 쌍곡, 와일 집합과 관련된 난수 해석 함수의 실근의 점점 줄어드는 분포를 결정하는 것.
• 카의 고전적 결과인 난수 다항식의 실근에 대한 결과를 등각 곡률 공간에서 기하학적 불변성을 갖는 집합으로 확장하는 것.
• 기댓값이 0이고 분산이 1인 일반적인 i.i.d. 계수를 갖는 경우, 이러한 난수 함수의 근 과정에 대한 기능적 극한 정리를 수립하는 것.
• 모멘트 생성 함수와 농도 불등식을 기반으로 한 공통의 분석 프레임워크를 통해 네 가지 다른 집합의 실근 분포 분석을 통합하는 것.

제안 방법

• 등각 곡률 기하학과 연결된 결정적 계수를 사용하여 네 가지 난수 해석 함수 가족을 정의한다: 구면(이항), 평면(포아송), 쌍곡(음수 이항), 와일(자unc된 포아송).
• 코모고로프–로고진 부등식을 사용하여 i.i.d. 계수의 합의 최대 집중 확률을 제한하여 균일한 꼬리 감쇠를 확보한다.
• 코시-슈바르츠 부등식과 스타링거 유형의 추정을 적용하여 급수 전개에서 계수 수열의 성장률을 제어한다.
• 기하학의 공분산 구조를 반영하는 가우시안 과정을 근사하여 기능적 극한 정리를 수립한다.
• 기하학적 구조에 기반한 적분 기하학과 라이스 공식을 사용하여 가우시안 근사에서의 부호 변화 수의 기대값을 분석함으로써 실근의 점점 줄어드는 평균 밀도를 도출한다.
• 기하학의 곡률에 의해 유도된 결정론적 밀도로 수축된 근 수세기 측도의 수렴을 이용하여 점점 줄어드는 평균 밀도를 계산한다.

실험 결과

연구 질문

• RQ1 구면, 평면, 쌍곡, 와일 집합과 관련된 난수 해석 함수의 실근에 대한 점점 줄어드는 평균 밀도는 무엇인가요?
• RQ2 실근의 점점 줄어드는 분포가 계수 집합의 기하학적 배경(타원형, 유클리드, 쌍곡)에 따라 어떻게 달라지나요?
• RQ3 기댓값이 0이고 분산이 1인 일반적인 i.i.d. 계수를 갖는 경우, 이러한 난수 함수의 근 과정에 대한 기능적 극한 정리를 수립할 수 있나요?
• RQ4 고정된 간격 [a,b] 내 실근의 기대 개수의 정확한 점점 줄어드는 스케일링은 $ n \to \infty $ 일 때 어떻게 되며, 곡률과의 관계는 무엇인가요?
• RQ5 실근의 점점 줄어드는 평균 밀도가 결정론적 함수로 수렴하는가, 만약 그렇다면 각 집합에 대해 그 명시적 형태는 무엇인가요?

주요 결과

• 모든 네 집합에 대해 실근의 점점 줄어드는 평균 밀도는 $ \lim_{n \to \infty} n^{-1/2} \mathbb{E}[N_n[a,b]] = \int_a^b \rho(t) \, dt $ 로 주어지며, 여기서 $ \rho(t) $ 는 각 경우에 대해 명시적으로 계산된다.
• 구면 다항식의 경우 점점 줄어드는 평균 밀도는 $ \rho(t) = \frac{1}{\pi \sqrt{n} (1 + t^2)} $ 로 주어지며, 기존의 가우시안 경우와 일치한다.
• 평면 난수 해석 함수의 경우 점점 줄어드는 평균 밀도는 $ \rho(t) = \frac{1}{\pi \sqrt{n}} $ 로 주어지며, $ t $ 와 무관하다.
• 쌍곡 난수 해석 함수의 경우 점점 줄어드는 평균 밀도는 $ \rho(t) = \frac{1}{\pi \sqrt{n} (1 - t^2)^2} \mathbf{1}_{\{|t| < 1\}} $ 로 주어지며, 이는 쌍곡 기하학을 반영한다.
• 와일 다항식의 경우 점점 줄어드는 평균 밀도는 $ \rho(t) = \frac{1}{\pi \sqrt{n}} \mathbf{1}_{\{|t| < 1\}} $ 로 주어지며, 평면 경우와 일치하지만 단위 원판으로 제한된다.
• 기댓값 조건 $ \mathbb{E}[\log(1 + |\xi_0|)] < \infty $ 하에서 수축된 근 수세기 측도 $ \frac{1}{n} \mu_n $ 가 결정론적 극한으로 수렴함을 증명하여, 점점 줄어드는 밀도의 보편성이 확립된다.