[논문 리뷰] On Zeroes of Random Polynomials and Applications to Unwinding

Stefan Steinerberger, Hau‐Tieng Wu|arXiv (Cornell University)|2018. 07. 15.

Mathematical Dynamics and Fractals참고 문헌 17인용 수 4

한 줄 요약

이 논문은 복소수 평면 $ \mathbb{C} $ 위의 컴actsupport된 연속 확률측도 $ \mu $ 로부터 i.i.d.로 추출된 근을 가진 랜덤 다항식 $ p_n(z) $ 에 대해 방정식 $ p_n(z) = p_n(0) $ 의 점근적 분포를 연구한다. $ n \to \infty $ 일 때, $ p_n(z) - p_n(0) = 0 $ 의 근은 분포 수렴하여 $ \mu $ 를 집합 $ A $ 에서 재생하고, 잠재함수의 값이 원점에서의 값과 동일한 곡선 집합 $ B $ 에 집중되는 측도 $ \nu $ 로 수렴한다. 이때 $ B $ 에서의 밀도는 잠재함수의 각도 변화에 의해 결정된다.

ABSTRACT

Let $μ$ be a probability measure in $\mathbb{C}$ with a continuous and compactly supported density function, let $z_1, \dots, z_n$ be independent random variables, $z_i \sim μ$, and consider the random polynomial $$ p_n(z) = \prod_{k=1}^{n}{(z - z_k)}.$$ We determine the asymptotic distribution of $\left\{z \in \mathbb{C}: p_n(z) = p_n(0) ight\}$. In particular, if $μ$ is radial around the origin, then those solutions are also distributed according to $μ$ as $n ightarrow \infty$. Generally, the distribution of the solutions will reproduce parts of $μ$ and condense another part on curves. We use these insights to study the behavior of the Blaschke unwinding series on random data.

연구 동기 및 목표

• 복소수 평면 $ \mathbb{C} $ 위의 컴팩트한 지지, 연속 확률측도 $ \mu $ 로부터 i.i.d.로 근을 추출한 랜덤 다항식에 대해 $ p_n(z) = p_n(0) $ 의 해의 점근적 분포를 이해하는 것.
• 특히 $ \mu $ 의 로그 잠재함수를 이용한 잠재함수 이론에 기반해 이러한 해의 점근적 행동을 기술하는 것.
• 비대칭적인 $ \mu $ 에서도 알려진 랜덤 다항식의 임계점 결과를 $ p_n(z) = p_n(0) $ 의 수준집합으로 확장하는 것.
• 해의 분포의 약한 극한으로 나타나는 측도 $ \nu $ 의 정밀한 기술을 제공하며, 특히 원점에서의 잠재함수 값과 동일한 곡선 집합 $ B $ 에서의 구조를 포함하는 것.

제안 방법

• 로그 잠재함수의 기반으로 복소평면를 분할하는 두 집합 $ A = \{ z : \int \log|x-z| d\mu(x) > \int \log|x| d\mu(x) \} $ 과 $ B = \{ z : \text{등식이 성립함} \} $ 을 정의한다.
• 로그 잠재함수에 대한 대수의 법칙: $ n \to \infty $ 일 때, $ \frac{1}{n} \sum_{k=1}^n \log|z - z_k| \to \int \log|z - x| d\mu(x) $ 가 확률적으로 수렴한다.
• 편차 원리를 적용하여, $ \{ z : \sum_{k=1}^n \log|z - z_k| = \sum_{k=1}^n \log|z_k| \} $ 이 $ \mu $ 의 지지에서 벗어난 영역에서 $ B $ 로 균일 수렴함을 보인다.
• 제한 곡선 $ C \subset B $ 에서 다항식 $ p_n(z) $ 의 허수부를 분석하여, $ C $ 에서 $ \arg p_n(z) $ 의 총 변동량이 $ n $ 에 대해 점근적으로 선형임을 보이고, 이로 인해 해가 균일하게 분포됨을 도출한다.
• 음함수정리로 $ B $ 가 국소적으로 $ C^1 $ 곡선임을 보이고, $ \gamma $ 가 $ C $ 의 매개변수화된 길이 파라미터화일 때, $ B $ 에서의 밀도를 $ \frac{1}{2\pi} \left| \frac{\partial}{\partial t} \int \arg(\gamma(t) - z) d\mu(z) \right|^{-1} $ 로 유도한다.
• 두 개의 단위원을 합친 집합에 대해 명시적 계산을 통해 결과를 검증하며, 한계 측도 $ \nu $ 가 $ A $ 에서 $ \mu $ 를 재생하고, $ B $ 에서 네 개의 새로운 곡선에 집중됨을 보이며, 수치 시뮬레이션으로 예측값을 확인한다.

실험 결과

연구 질문

• RQ1 랜덤 다항식의 근이 i.i.d.로 추출되며, 컴팩트 지지, 연속 확률측도 $ \mu $ 를 가질 때, $ n \to \infty $ 일 때 $ p_n(z) = p_n(0) $ 의 해의 분포는 어떻게 행동하는가?
• RQ2 해의 집합이 원래 측도 $ \mu $ 를 재생하고, 언제는 곡선에 집중되는가?
• RQ3 로그 잠재함수의 값이 원점에서의 값과 동일한 집합 $ B $ 에서 한계 측도 $ \nu $ 의 정밀한 구조는 무엇인가?
• RQ4 잠재함수의 $ B $ 에서의 각도 변화가 해의 밀도에 어떤 영향을 미치는가?
• RQ5 블라시케 언윈딩 급수는 $ p_n(z) = p_n(0) $ 의 근의 점근적 분포를 통해 분석될 수 있는가?

주요 결과

• 반지름이 같은 $ \mu $ 에 대해, $ p_n(z) = p_n(0) $ 의 해는 $ n \to \infty $ 일 때 $ \mu $ 로 분포 수렴한다. 즉, $ p_n(z) - p_n(0) $ 의 근은 원래 측도를 재생한다.
• 일반적인 비대칭 $ \mu $ 에 대해, 한계 측도 $ \nu $ 는 원점에서의 잠재함수 값보다 큰 곳인 집합 $ A $ 에서 $ \mu $ 와 같다. 나머지 총 질량 $ 1 - \mu(A) $ 는 수준집합 $ B $ 에 집중되어 있다.
• 집합 $ B $ 에서의 해의 밀도는 $ \frac{1}{2\pi} \left| \frac{\partial}{\partial t} \int \arg(\gamma(t) - z) d\mu(z) \right|^{-1} $ 로 주어지며, 여기서 $ \gamma $ 는 $ B $ 의 연결성분을 길이 매개변수로 갖는다. 정규성 조건이 성립할 때 성립한다.
• 수치 시뮬레이션은 $ \mu $ 가 원점과 2에 중심을 둔 두 개의 단위원에 지지될 때, 해가 $ A $ 에서 $ \mu $ 를 따라 분포하고, $ B $ 에서 네 개의 곡선에 집중되며, 원점 근처에서 근이 서로 약간 밀려나는 현상이 관찰됨을 확인한다.
• 원점은 항상 $ p_n(z) - p_n(0) $ 의 근이며, 이로 인한 반발력 효과로 인해 원점 주변에 근이 없는 수축하는 구역이 생기며, $ n \to \infty $ 일 때 이 구역은 사라진다.
• 예상 로그 성장률 $ |p_n(0)| $ 은 $ \frac{1}{2} \log 2 $ 이며, 이 값과 로그 잠재함수의 값이 일치하는 점들의 집합은 해의 한계 지지역을 정의한다.