[논문 리뷰] Non universality for the variance of the number of real roots of random trigonometric polynomials

Vlad Bally, Lucia Caramellino외 1명|arXiv (Cornell University)|2017. 11. 09.

Geometry and complex manifolds참고 문헌 19인용 수 21

한 줄 요약

이 논문은 계수 분포의 중앙모멘트에 따라 분산의 비보편성(non-universality)을 증명한다. 특히, 점점 커지는 n에 대해 분산이 선형으로 증가하고, 초과첨도(kurtosis)에 비례하는 수정항이 존재함을 보이며, 이는 Kac 다항식에서 관찰된 보편성과 대비된다. Kac-Rice 공식과 에지워스 전개(Edgeworth expansions)를 사용하여, 분산이 n에 대해 선형으로 증가하고, 초과첨도에 비례하는 수정항 $\frac{1}{30}(\mathbb{E}(Y_{1,1}^4) - 3)$ 를 포함함을 증명한다.

ABSTRACT

In this article, we consider the following family of random trigonometric polynomials $p_n(t,Y)=\\sum_{k=1}^n Y_{k,1} \\cos(kt)+Y_{k,2}\\sin(kt)$ for a given sequence of i.i.d. random variables $\\{Y_{k,1},Y_{k,2}\\}_{k\\ge 1}$ which are centered and standardized. We set $\\mathcal{N}([0,\\pi],Y)$ the number of real roots over $[0,\\pi]$ and $\\mathcal{N}([0,\\pi],G)$ the corresponding quantity when the coefficients follow a standard Gaussian distribution. We prove under a Doeblin's condition on the distribution of the coefficients that $$ \\lim_{n\ o\\infty}\\frac{\ ext{Var}\\left(\\mathcal{N}_n([0,\\pi],Y)\ ight)}{n} =\\lim_{n\ o\\infty}\\frac{\ ext{Var}\\left(\\mathcal{N}_n([0,\\pi],G)\ ight)}{n} +\\frac{1}{30}\\left(\\mathbb{E}(Y_{1,1}^4)-3\ ight). $$ The latter establishes that the behavior of the variance is not universal and depends on the distribution of the underlying coefficients through their kurtosis. Actually, a more general result is proven in this article, which does not require that the coefficients are identically distributed. The proof mixes a recent result regarding Edgeworth's expansions for distribution norms established in arXiv:1606.01629 with the celebrated Kac-Rice formula.

연구 동기 및 목표

• 무작위 삼각다항식의 실근 수 분산이 계수 분포에 따라 보편적인지 조사하기.
• 점점 커지는 n에 대해 분산이 계수의 고차모멘트, 특히 첨도(kurtosis)에 의존하는지 확인하기.
• 이전에 Kac 다항식에서 알려진 보편성 결과를 삼각다항식으로 확장하여, 행동의 핵심적 차이를 드러내기.
• 계수의 네 번째 모멘트에 의존하는 정확한 수정항을 도출하기.

제안 방법

• 저자들은 실근 수의 분산을 과정과 그 도함수의 공동밀도에 대한 적분으로 표현하기 위해 Kac-Rice 공식을 사용한다.
• 비연속적인 기능적 함수에 대한 약한 종속성(random vectors)의 에지워스 전개에 관한 최근 결과를 적용하여 루트 수의 분포를 분석한다.
• 원래 삼각다항식을 비틀림이 없는 정상 가우시안 과정으로 수렴하는 과정으로 매핑하기 위해 스케일링 변환을 도입한다.
• 증명은 도이블린 조건(Doeblin's condition)과 모멘트 조건을 활용하여 약한 종속성과 분포 수렴을 보장한다.
• 한계 가우시안 과정의 공분산 구조를 분석하여 점점 커지는 n에 대한 분산을 유도하며, 네 번째 중심모멘트의 역할을 중점적으로 다룬다.
• 작은 구간 내에서의 루트 수 행동을 제어하기 위해 작은 구간 추정과 공분산 행렬의 스펙트럼 분석을 사용한다.

실험 결과

연구 질문

• RQ1 무작위 삼각다항식의 실근 수 분산의 점점 커지는 n에 대한 분산이 계수의 두 번째 모멘트를 초월해 계수 분포에 의존하는가?
• RQ2 분산에 대한 비보편적인 수정항을 유도할 수 있으며, 만약 그렇다면 그 수정항은 계수의 첨도에 어떻게 의존하는가?
• RQ3 삼각다항식에서의 분산 행동은 보편성이 알려진 Kac 다항식과 어떻게 다를까?
• RQ4 이러한 맥락에서 종속적인 랜덤 벡터의 비연속 기능적 함수에 대해 에지워스 전개를 얼마나 적용할 수 있는가?
• RQ5 계수의 고차모멘트를 변화시킬 경우, 루트 수 분포의 한계 행동은 보편적인가?

주요 결과

• 실근 수의 점점 커지는 n에 대한 분산은 n에 대해 선형으로 증가하며, 계수의 초과첨도(excess kurtosis)에 비례하는 수정항이 존재한다.
• 핵심 결과는 $\lim_{n\to\infty}\frac{\text{Var}(\mathcal{N}_n([0,\pi],Y))}{n} = \lim_{n\to\infty}\frac{\text{Var}(\mathcal{N}_n([0,\pi],G))}{n} + \frac{1}{30}(\mathbb{E}(Y_{1,1}^4) - 3)$ 이며, 이는 비보편성을 증명한다.
• 수정항은 계수의 네 번째 모멘트, 특히 첨도에만 의존하며, 이는 분산이 분포 간에 보편적이지 않음을 보여준다.
• 이 결과는 도이블린 조건과 모멘트 조건을 만족할 경우 성립하며, 계수의 동일분포가 필요하지 않다.
• 증명 기법은 Kac-Rice 공식과 비연속 기능적 함수에 대한 에지워스 전개의 새로운 응용을 결합한다.
• 분석을 통해 한계 가우시안 과정의 공분산 구조가 네 번째 중심모멘트의 분포적 의존성을 잘 반영하는 것으로 확인된다.