[논문 리뷰] Multivariate prediction and matrix Szegö theory

Ν. H. Bingham|arXiv (Cornell University)|2012. 03. 05.

Mathematical functions and polynomials참고 문헌 46인용 수 4

한 줄 요약

이 논문은 단변량 예측 이론과 슈에고의 정리에 대해 원주 위의 행렬 수직 다항식(MOPUC)을 사용하여 다변량 설정으로 확장한다. 주요 결과로는 행렬 측도에 대한 버블런스키의 정리, 스펙트럼 밀도와 버블런스키 계수를 연결하는 행렬 슈에고의 정리, 그리고 행렬 무크헤이프트 및 헬슨-슈에고 조건을 통한 정규성 조건의 특성화가 포함된다.

ABSTRACT

Following the recent survey by the same author of Szegö's theorem and orthogonal polynomials on the unit circle (OPUC) in the scalar case, we survey the corresponding multivariate prediction theory and matrix OPUC (MOPUC).

연구 동기 및 목표

• 단변량 예측 이론과 슈에고의 정리를 원주 위의 행렬 수직 다항식(MOPUC)을 사용하여 다변량 정적 시간 시리즈로 확장한다.
• 버블런스키의 정리에 대한 행렬 형태를 수립하여, 행렬 버블런스키 계수와 행렬 스펙트럼 측도 사이의 전단사성 관계를 보여준다.
• 순수 최소성, 양의 각도, 완전 정규성 등의 정규성 조건을 행렬 스펙트럼 밀도와 무크헤이프트 유형 조건을 통해 특성화한다.
• 다변량 예측 이론을 헨켈 연산자와 행렬 네하리 문제와 연결하여, 고전적 연산자 이론 도구를 행렬 설정으로 확장한다.

제안 방법

• 정적 벡터 값 과정을 원주 위의 스펙트럼 측도를 통해 표현하기 위해 코모고로프 동형정리 정리를 사용한다.
• 버르스타인-슈에고 근사법을 적용하여 슈에고 정리의 행렬 형태를 유도하며, $1 - a_n^\dagger a_n$의 행렬 행렬식의 무한곱과 $\operatorname{tr} \log w(\theta)$의 적분 간의 연관성을 밝힌다.
• 행렬 스펙트럼 분해와 행렬 슈에고 함수를 활용하여 스펙트럼 밀도 $W(\theta)$와 그 정규성 조건을 분석한다.
• 행렬 무크헤이프트 조건 $(A_2)$를 통해 양의 각도 조건을 특성화한다: $\sup_I \left\| \left( \frac{1}{|I|} \int_I W \right)^{1/2} \left( \frac{1}{|I|} \int_I W^{-1} \right)^{1/2} \right\| < \infty$.
• 완전 정규성 개념을 행렬 케이스로 확장하여 조건 $\limsup_{|I| \to 0} \left\| \left( \frac{1}{|I|} \int_I W \right)^{1/2} \left( \frac{1}{|I|} \int_I W^{-1} \right)^{1/2} \right\| < \infty$ 를 통해 기술한다.
• 헤놀 연산자와 그 행렬 네하리 문제와의 연관성을 활용하여 다변량 시간 시리즈에서의 예측 오차와 정규성 조건을 연구한다.

실험 결과

연구 질문

• RQ1 버블런스키의 정리에 대한 행렬 해석은 무엇이며, 이를 통해 행렬 스펙트럼 측도가 어떻게 매개화되는가?
• RQ2 슈에고의 정리는 어떻게 행렬 스펙트럼 측도로 확장될 수 있으며, 버블런스키 계수가 이 확장에서 어떤 역할을 하는가?
• RQ3 순수 최소성, 양의 각도, 완전 정규성 등의 스칼라 정규성 조건에 대응하는 행렬 조건은 무엇인가?
• RQ4 행렬 무크헤이프트 조건과 헬슨-슈에고 조건은 다변량 예측 과정의 정규성과 어떻게 관련이 있는가?
• RQ5 버크스의 정리에 대한 행렬 형태는 무엇이며, 이를 어떻게 행렬 헨켈 연산자와 네하리 문제로부터 유도할 수 있는가?

주요 결과

• MOPUC에 대해 버블런스키의 정리가 성립한다: $\|a_n\| < 1$ 인 $\ell \times \ell$ 행렬의 수열 $a_n$은 유일하게 하나의 행렬 스펙트럼 측도 $\mu$에 대응한다.
• 행렬 슈에고의 정리에 따르면, $\sum_{n=1}^\infty \|a_n^\dagger a_n\| < \infty$ 이다 만약이고 뿐만 아니라 $\int \operatorname{tr} \log w(\theta) \, d\theta / 2\pi > -\infty$ 이면, 이를 만족하는 측도는 슈에고 측도의 클래스로 정의된다.
• 양의 각도 조건 $(PA)$는 행렬 무크헤이프트 조건 $(A_2)$ 와 동치이며, 이는 $\sup_I \left\| \left( \frac{1}{|I|} \int_I W \right)^{1/2} \left( \frac{1}{|I|} \int_I W^{-1} \right)^{1/2} \right\| < \infty$ 를 요구한다.
• 완전 정규성은 강화된 $\limsup$ 형태의 무크헤이프트 조건과 동치이다: $\limsup_{|I| \to 0} \left\| \left( \frac{1}{|I|} \int_I W \right)^{1/2} \left( \frac{1}{|I|} \int_I W^{-1} \right)^{1/2} \right\| < \infty$.
• 헬슨-로우던슬래거 정리의 행렬 형태가 성립한다: $\exp \left( \frac{1}{\ell} \int \operatorname{tr} \log w(\theta) \, d\theta / 2\pi \right) = \inf_{A,P} \int \frac{1}{\ell} \operatorname{tr} \left[ (A+P)^\dagger d\mu (A+P) \right]$.
• 헤놀 연산자는 행렬 네하리 문제와 무크헤이프트 조건과 연결되어 있으며, 다변량 경우에서 예측 이론과 연산자 이론 사이의 다리 역할을 한다.