[논문 리뷰] Pairing between zeros and critical points of random polynomials with independent roots

Sean O’Rourke, Noah Williams|arXiv (Cornell University)|2016. 10. 19.

Geometry and complex manifolds참고 문헌 30인용 수 4

한 줄 요약

이 논문은 독립적인 근을 가진 랜덤 다항식에 대해, 근 분포의 지지집합 외부에 있는 결정론적 점 ξ에서의 근 조건부가 거의 확실히 ξ로부터 O(1/n) 이내의 거리에 임계점을 유도함을 밝힌다. 저자들은 이러한 쌍화 현상이 다수의 결정론적 근으로 일반화되며, 이러한 근의 수가 차수에 대해 초선형적으로 증가할 경우 임계점의 경험적 측도가 확률적으로 근 분포로 수렴함을 증명한다.

ABSTRACT

Let $p_n$ be a random, degree $n$ polynomial whose roots are chosen independently according to the probability measure $μ$ on the complex plane. For a deterministic point $ξ$ lying outside the support of $μ$, we show that almost surely the polynomial $q_n(z):=p_n(z)(z - ξ)$ has a critical point at distance $O(1/n)$ from $ξ$. In other words, conditioning the random polynomials $p_n$ to have a root at $ξ$, almost surely forces a critical point near $ξ$. More generally, we prove an analogous result for the critical points of $q_n(z):=p_n(z)(z - ξ_1)\cdots (z - ξ_k)$, where $ξ_1, \ldots, ξ_k$ are deterministic. In addition, when $k=o(n)$, we show that the empirical distribution constructed from the critical points of $q_n$ converges to $μ$ in probability as the degree tends to infinity, extending a recent result of Kabluchko.

연구 동기 및 목표

• 독립적인 근을 가진 랜덤 다항식의 영점과 임계점 사이의 기하학적 및 확률적 관계를 조사하기 위해.
• 근 분포의 지지집합 외부에 있는 고정된 점 ξ에서의 근 조건부가 그 근처에 임계점을 강제로 만드는지 확인하기 위해.
• 영점과 임계점 사이의 쌍화 현상을 다수의 결정론적 근으로 일반화하고, 임계점 분포의 점근적 행동을 분석하기 위해.
• 유한 에너지 조건을 제거하고 일반 조건 하에서 Kabluchko의 임계점 측도의 약한 수렴 결과를 확장하기 위해.

제안 방법

• 다항식 $ q_n(z) = p_n(z)(z - \xi_1)\cdots(z - \xi_k) $ 를 정의하되, $ p_n $ 은 분포 $ \mu $ 를 가진 i.i.d. 근을 가지며, $ \xi_1, \dots, \xi_k $ 는 결정론적 점이다.
• 임계점과 관련된 로그 에너지와 그린 함수를 추정하기 위해 잠재이론적 방법과 조화해석을 사용한다.
• 모든 임계점이 근들의 볼록결합 내부에 있음을 보장하는 고전적 기하적 제약 조건으로 가우스-루카스 정리를 적용한다.
• 기울기 강하 방법과 로그 적분의 점근적 분석을 활용하여 임계점과 결정론적 근 사이의 거리에 상한을 설정한다.
• 로그 제곱의 국소 적분 가능성과 코시-슈바르츠 부등식을 활용하여 $ \log|L_n(z)| $ 의 $ L^2 $-노름의 강도를 확보함으로써 분포 수렴을 보장한다.
• 유계 연속 테스트 함수에 대한 선형 통계량의 수렴을 보여줌으로써 경험적 임계점 측도가 확률적으로 $ \mu $ 로 약한 수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 독립적인 근을 가진 랜덤 다항식이 근 분포의 지지집합 외부에 있는 결정론적 점 $ \xi $ 에서의 근을 조건부로 하면, 그 근처에 임계점이 강제로 존재하는가?
• RQ2 다항식 $ q_n(z) = p_n(z)(z - \xi) $ 에서 결정론적 근 $ \xi $ 와 가장 가까운 임계점 사이의 일반적인 거리는 얼마인가?
• RQ3 다항식 $ p_n $ 이 $ (z - \xi_1)\cdots(z - \xi_k) $ 를 곱할 경우, 임계점의 경험적 분포는 어떻게 행동하는가?
• RQ4 다항식 $ q_n $ 의 임계점 경험적 측도가 어떤 조건에서 근 분포 $ \mu $ 로 확률적으로 수렴하는가?
• RQ5 Pemantle와 Rivin의 결과에서 유한 에너지 조건을 제거할 수 있으며, 일반적인 $ \mu $ 에 대해서도 수렴이 유지되는가?

주요 결과

• 지지집합 외부의 임의의 결정론적 점 $ \xi $ 에 대해, 다항식 $ q_n(z) = p_n(z)(z - \xi) $ 는 거의 확실히 $ \xi $ 로부터 $ O(1/n) $ 이내의 거리에 임계점을 가진다.
• 이 결과는 $ k $ 개의 결정론적 근 $ \xi_1, \dots, \xi_k $ 로 일반화되며, 각 $ \xi_i $ 에 대해 동일한 $ O(1/n) $ 거리 상한이 유지된다.
• 만약 $ k = o(n) $ 이면, $ n \to \infty $ 일 때 $ q_n $ 의 임계점 경험적 측도는 $ \mu $ 로 약한 수렴하며, 이는 Kabluchko의 결과를 유한 에너지 조건 없이 확장한 것이다.
• 수렴은 로그 $ L^2 $-노름의 강도와 조화 적분의 점근적 분석을 통해 확보되며, 선형 통계량의 수렴을 보장한다.
• 증명은 그린 함수의 상한을 구하고 코시-슈바르츠 부등식을 사용하여 로그 에너지 항의 성장률을 제어하는 데 의존한다.
• 결과는 거의 확실히 및 확률적으로 성립하며, 근이 균일 분포가 아니더라도 i.i.d. 이고 일반적인 확률 측도 $ \mu $ 를 가진다면 성립한다.