[논문 리뷰] Independence of Four Projective Criteria for the Weak Invariance Principle

Olivier Durieu|ArXiv.org|2008. 04. 11.

Stochastic processes and financial applications참고 문헌 14인용 수 13

한 줄 요약

이 논문은 정적이고 에르고딕한 동역계에서 약한 불변성 원리에 대한 네 가지 사영 기준의 두 개 간 독립성을 확립한다: 마팅게일-코버던스 분해(Gordin), Dedecker-Rio 기준, Maxwell-Woodroofe 조건, 그리고 수직 투영의 L² 노름 합을 포함하는 사영 기준(Hannan). 양의 엔트로피를 가진 철저히 구성된 베르누이 이동을 사용하고, 적절하게 설계된 수열을 통해, 이 기준들 중 어느 것도 다른 기준을 함의하지 않음을 보여주는 명시적 반례를 구성함으로써, 일반적인 비적응 케이스에서 상호 독립성을 입증한다.

ABSTRACT

Let $(X_i)_{i\in\Z}$ be a regular stationary process for a given filtration. The weak invariance principle holds under the condition $\sum_{i\in\Z}\|P_0(X_i)\|_2

연구 동기 및 목표

• 네 가지 알려진 사영 기준이 논리적으로 독립인지 여부를 해결하는 것.
• 이전 결과에서 세 기준 간의 독립성을 확장하여, 필터링 증분에 대한 수직 투영의 L² 노름 합을 포함하는 네 번째 기준을 추가하는 것.
• 양의 엔트로피를 가진 에르고딕한 동역계에서 각 기준이 다른 기준 없이도 성립할 수 있음을 보여주는 명시적 반례를 구성하는 것.
• 사영 기준 ∑‖P₀(f∘Tⁱ)‖₂ < ∞ 이 마팅게일-코버던스 분해, Dedecker-Rio 조건, Maxwell-Woodroofe 조건과 독립임을 입증하는 것.
• 비적응, 정적, 에르고딕 설정에서 이 네 가지 핵심 기준 간의 논리적 관계를 완전히 분류하는 것.

제안 방법

• 독립적인 σ-대칭 B와 C의 곱을 사용하여 엔트로피 ≥1인 기본 에르고딕한 동역계를 구성한다.
• F₀가 C와 i≤0에 대해 {eᵢ}에 의해 생성되며, eᵢ = e₀∘Tⁱ일 때, T⁻ⁱF₀를 통해 필터링 (Fᵢ)을 정의한다.
• i.i.d. ξᵢ ∈ {−1,1}인 선형 과정 f = ∑ᵢ aᵢξᵢ를 정의하고, aᵢ = i⁻³ᐟ²로 설정하여 감쇠 속도를 제어한다.
• 수직 투영 연산자 Pₖ를 Hₖ⊖Hₖ₋₁에 대해 사용하여 사영 기준 ∑ᵢ ‖P₀(f∘Tⁱ)‖₂ < ∞를 표현한다.
• P₀(f∘Tⁱ)를 두 부분으로 분해: Aₖ의 지표 함수를 포함하는 I₁(i)과 AₖΔT⁻ⁱAₖ의 대칭차를 포함하는 I₂(i).
• μ(AₖΔT⁻ⁱAₖ) ≤ εₖ를 통해 I₂(i)의 L² 노름을 제어하고, (θₖ)와 (εₖ)에 대한 가정 하에 ∑ᵢ ‖I₂(i)‖₂ ≤ ∑ₖ θₖ√εₖ < ∞임을 보인다.

실험 결과

연구 질문

• RQ1 마팅게일-코버던스 분해 조건이 실패할 수 있는 상황에서 사영 기준 ∑ᵢ ‖P₀(f∘Tⁱ)‖₂ < ∞이 성립할 수 있는가?
• RQ2 Dedecker-Rio 기준이 성립할 수 있는 상황에서 사영 기준이 실패할 수 있는가?
• RQ3 Maxwell-Woodroofe 조건이 사영 기준이 성립하지 않는 조건에서 성립할 수 있는가?
• RQ4 사영 기준이 나머지 세 기준 중 어느 하나를 함의하는가?
• RQ5 네 기준이 일반적인 비적응 케이스의 정적 확률과정에서 상호 두 개 간 독립인가?

주요 결과

• 사영 기준 ∑ᵢ ‖P₀(f∘Tⁱ)‖₂ < ∞는 마팅게일-코버던스 분해 조건과 독립이다.
• 사영 기준은 L¹ 수렴 ∑ₖ f𝔼(f∘Tᵏ|F₀)를 포함하는 Dedecker-Rio 기준과 독립이다.
• 사영 기준은 ∑ₙ ‖𝔼(Sₙ(f)|F₀)‖₂ / n³ᐟ² < ∞를 요구하는 Maxwell-Woodroofe 조건과 독립이다.
• 네 기준 중 각 쌍에 대해, 양의 엔트로피를 가진 에르고딕한 동역계에서 한 기준은 만족하지만 다른 기준은 만족하지 않는 L² 함수가 존재한다.
• 서로소인 Aₖ와 Nₖ = i가 최대 한 개의 k에 대해서만 성립하는 구성 하에, 합 ∑ᵢ ‖P₀(f∘Tⁱ)‖₂는 ∑ₖ θₖ√μ(Aₖ) < ∞일 때에만 수렴한다.
• 구성에 의해 오차 항 I₂(i)의 L² 노름은 ∑ₖ θₖ√εₖ로 유계가 되며, (θₖ)와 (εₖ)에 대한 주어진 가정 하에 이 합은 유한하다.