[논문 리뷰] The real zeros of a random polynomial with dependent coefficients

Jeffrey Matayoshi|arXiv (Cornell University)|2009. 06. 10.

Geometry and complex manifolds인용 수 1

한 줄 요약

이 논문은 Sambandham의 종속 계수를 가진 랜덤 다항식에 관한 작업을 확장하여 더 넓은 공분산 구조의 클래스를 분석한다. 스펙트럼 밀도 제약 조건을 사용하여, 예상 실근의 수가 독립 사례와 동일하게 2/π log n의 주기에 머무르며, 약한 종속 조건 하에서도 Kac의 고전적 결과가 특정 형태의 계수 종속성에 대해 강건함을 보여준다.

ABSTRACT

Abstract. Mark Kac gave one of the first results analyzing random polynomial zeros. He considered the case of independent standard normal coefficients and was able to show that the expected number of real zeros for a degree n polynomial is on the order of 2 log n, as n → ∞. Several years later, Sam-π bandham considered two cases with some dependence assumed among the coefficients. The first case looked at coefficients with an exponentially decaying covariance function, while the second assumed a constant covariance. He showed that the expectation of the number of real zeros for an exponentially decaying covariance matches the independent case, while having a constant covariance reduces the expected number of zeros in half. In this paper we will apply techniques similar to Sambandham’s and extend his results to a wider class of covariance functions. Under certain restrictions on the spectral density, we will show that the order of the expected number of real zeros remains the same as in the independent case. 1. One of the earliest results on the expected number of real zeros of the random polynomial given by n∑ (1.1) Pn(x) = Xkx k k=0 came from Mark Kac [6]. Kac considered the case when the coefficients are assumed to be independent standard normal random variables and was able to show that the value of the expected number of zeros is on the order of 2 π log n, as n → ∞. More recently, Edelman and Kostlan [4] derived a similar result, but in doing so they gave a nice geometric argument and derived formulas that hold for a wider class of coefficients. A natural generalization of this problem is to assume some dependence among the coefficients. Let X0, X1,... be a stationary sequence of normal random variables, where the covariance function is given by Γ(k) = E[X0Xk], Γ(0) = 1. Under these assumptions, two important results came from Sambandham. The first assumes that Γ(k) = ρk, where ρ ∈ (0, 1 2) [8]. In this case, it was shown that the expected number of zeros is on the same order as when the coefficients are independent. The second result assumes the covariance function is constant; that is, Γ(k) = ρ for any k, where ρ ∈ (0, 1) [7, 9]. Here, it was shown that the order of the

연구 동기 및 목표

• Sambandham의 결과를 지수 감쇠 및 일정 공분산의 특수 사례를 초월하여 종속 계수를 가진 랜덤 다항식에 대해 일반화하기 위해.
• 계수 종속성이 더 일반적인 공분산 함수로 모델링될 때 예상 실근 수의 주기가 유지되는지 조사하기 위해.
• 예상 실근 수의 점근적 주기가 독립 사례와 일치하는 조건을 계수 수열의 스펙트럼 밀도에 대해 규명하기 위해.
• 독립 표준 정규 계수에 대한 Kac의 고전적 결과를 더 넓은 범위의 정상적이고 정규 분포를 따르는 계수 수열로 확장하기 위해.
• 예상 실근 수가 이전에 연구된 두 가지 특수 사례를 초월하여 공분산 함수의 구조에 민감한지 판단하기 위해.

제안 방법

• Sambandham의 기법과 유사하게, 정상적인 정규 랜덤 변수에서 유래한 계수를 가진 랜덤 다항식의 예상 실근 수를 분석한다.
• 공분산 함수는 Γ(k) = E[X₀Xₖ]로 정의되며, Γ(0) = 1이다. 분석은 스펙트럼 밀도에 일정한 정규성 조건을 만족하는 수열을 중심으로 한다.
• 이 방법은 계수의 종속성 구조를 그들의 스펙트럼 밀도를 통해 특성화하기 위해 스펙트럼 표현 이론에 기반한다.
• 랜덤 행렬 및 확률과정 이론에서 유도된 예상 실근 수의 적분 표현을 사용하여 점근적 행동을 분석한다.
• 스펙트럼 밀도에 제약 조건(예: 유계성 및 연속성)을 부과함으로써, 예상 실근 수에 대한 점근적 경계를 도출한다.
• 예상 실근 수가 공분산 구조를 포함한 실수선 전체에 걸쳐 적분으로 표현될 수 있음을 활용하여, 독립 사례와의 비교를 가능하게 한다.

실험 결과

연구 질문

• RQ1 계수에 약한 정상적 종속성이 존재할 경우, 랜덤 다항식의 예상 실근 수가 여전히 2/π log n의 주기에 머무르는가?
• RQ2 계수 수열의 스펙트럼 밀도는 예상 실근 수의 점근적 행동에 어떤 영향을 미치는가?
• RQ3 독립 계수에 대한 결과는 지수 감쇠 및 일정 공분산을 초월하여 더 넓은 범위의 종속 계수 구조로 확장 가능한가?
• RQ4 예상 실근 수가 독립 사례와 비교해 감소하지 않는 조건은 공분산 함수 또는 스펙트럼 밀도에 대해 어떤가?
• RQ5 스펙트럼 밀도가 온건한 정규성 조건을 만족할 경우, 종속성과 독립성 사례 간의 근 수 계산 행동에 구조적 유사성이 존재하는가?

주요 결과

• 스펙트럼 밀도가 온건한 정규성 조건을 만족하는 광범위한 공분산 함수의 클래스에 대해, 예상 실근 수는 여전히 독립 사례와 동일하게 2/π log n의 주기에 머무른다.
• 스펙트럼 밀도가 0에서 유계이면서 연속일 경우, 계수에 약한 종속성이 존재하더라도 결과가 유지된다.
• 계수 간 강한 상관관계를 유도하지 않는 종속성 구조 하에서도 예상 실근 수의 점근적 주기는 유지된다.
• 분석은 실근 수에 영향을 미치는 핵심 요소가 종속성 자체가 아니라 계수 수열의 스펙트럼 행동임을 확인한다.
• 논문은 예상 실근 수의 크기 주기가 특정 형태의 계수 종속성에 대해 강건함을 입증하며, Kac의 고전적 결과를 일반화한다.
• 연구 결과는 Sambandham의 이전 결과를 일반화한다: 독립 사례의 주기적 크기 주기는 지수 감쇠 공분산 외에도 적절한 스펙트럼 특성을 가진 더 넓은 공분산 함수의 클래스에서도 유지된다.