[논문 리뷰] A random version of Mazur's lemma

José Miguel Zapata-García|arXiv (Cornell University)|2014. 09. 28.

Point processes and geometric inequalities참고 문헌 10인용 수 5

한 줄 요약

이 논문은 국소적 $L^0$-볼록 모듈러스의 맥락에서 Mazur의 보조정리의 랜덤화된 버전을 수립하며, 넷의 약한 수렴이 볼록 조합의 강한 수렴을 이끌어내는 것을 증명한다. 이는 볼록 hull의 가чёт한 연결 닫힘 안에서 성립한다. 주요 기여는 가чёт한 연결 조건이 필수적이라는 것을 보여주는 것으로, 기존의 볼록 hull이 극한을 포괄하지 못하는 반례를 제시함으로써 이를 입증한다.

ABSTRACT

The purpose of this paper is to generalize the classical Mazur's lemma from the classical convex analysis to the framework of locally $L^0$-convex modules. In this version an extra condition of countable concatenation is included. We provide a counterexample showing that this condition cannot be removed.

연구 동기 및 목표

• 베르누아 공간에서의 Mazur의 고전적 보조정리를 국소적 $L^0$-볼록 모듈러스의 프레임워크로 확장하기 위해.
• 랜덤화된 보조정리가 성립하기 위해 추가로 필요한 조건인 가чёт한 연결 조건을 규명하기 위해.
• 가чёт한 연결 조건이 생략될 수 없음을 반례를 통해 입증하기 위해.
• 고전적 볼록 해석 도구를 $L^0$-모듈러스 설정으로 적응함으로써 조건부 리스크 측정의 이론적 기초를 마련하기 위해.
• 볼록 해석의 맥락에서 게이지 함수와 위상적 성질이 $L^0$-모듈러스 설정에서 어떻게 작용하는지 규명하기 위해.

제안 방법

• L^0의 격자 순서를 가진 링의 구조와 거의 확실히 지배하는 순서를 통합하여 고전적 볼록 해석 도구를 $L^0$-모듈러스로 일반화하기 위해.
• L^0-볼록성, L^0-흡수성, L^0-균형성 및 상대적인 가чёт한 연결 성질을 만족하는 이웃 기저를 갖춘 국소적 $L^0$-볼록 모듈러스 정의하기 위해.
• $L^0$-노름과 $L^0$-세미노름을 도입하여 모듈러스 위에 위상을 정의하고 수렴성 및 유계성의 연구를 가능하게 하기 위해.
• $L^0$ 내에서 본질적 상한과 하한을 사용하여 게이지 함수를 구성하고 $L^0$-모듈러스의 위상 분석하기 위해.
• $L^2_{\mathcal{F}}(\mathcal{E})$에서 $\mathbb{N}^\mathbb{N}$에 인덱싱된 넷 $\{X_{\{n_k\}}\}$을 구성하여 이진 간격에서 진동 행동 모델링하기 위해.
• 모든 $Y \in L^2_{\mathcal{F}}(\mathcal{E})$에 대해 $\mathbb{E}[X_{\{n_k\}} Y \mid \mathcal{F}] \to 0$ 임을 보여 약한 수렴이 0으로 성립함을 증명하고, 同시에 $L^0$-볼록 hull의 클러스터 점이 0이 아니라는 것을 보여주기 위해.

실험 결과

연구 질문

• RQ1 스칼라가 실수 대신 $L^0$ 내의 랜덤 변수인 국소적 $L^0$-볼록 모듈러스의 맥락에서 Mazur의 보조정리가 확장될 수 있는가?
• RQ2 약한 수렴이 볼록 조합의 강한 수렴을 암시하기 위해 $L^0$-모듈러스 설정에서 추가로 필요한 위상적 또는 대수적 조건은 무엇인가?
• RQ3 수렴 결과를 확보하기 위해 가чёт한 연결 닫힘이 필수적인가, 아니면 $L^0$-볼록 hull만으로도 충분한가?
• RQ4 약한 수렴은 성립하지만 극한이 $L^0$-볼록 hull의 닫힘에 속하지 않는 반례를 구성할 수 있는가? 이를 통해 가чёт한 연결 조건의 필수성을 입증할 수 있는가?
• RQ5 게이지 함수와 $L^0$-세미노름의 구조는 $L^0$-모듈러스 내에서 수렴 성질에 어떻게 영향을 미치는가?

주요 결과

• L^0-볼록 hull이 그 가чёт한 연결 닫힘으로 대체될 경우, 약하게 수렴하는 넷의 볼록 조합의 부분수열이 강하게 수렴함을 보장함으로써, 랜덤화된 Mazur의 보조정리가 성립한다.
• 가чёт한 연결 조건은 필수적이다: 반례를 통해 이 조건이 없을 경우 약하게 수렴하는 넷의 극한이 $L^0$-볼록 hull의 클러스터 점이 될 수 없음을 입증한다.
• 이진 간격 $A_k = [2^{-k}, 2^{-k+1})$에서 정의된 넷 $X_{\{n_k\}}$은 $L^2_{\mathcal{F}}(\mathcal{E})$에서 0으로 약하게 수렴한다. 이는 모든 이중 공간 소속 요소 $Y$에 대해 $\mathbb{E}[X_{\{n_k\}} Y \mid \mathcal{F}] \to 0$ 임을 의미한다.
• 네트의 $L^0$-볼록 hull에 속하는 임의의 원소 $Y$에 대해 $\|Y \mid \mathcal{F}\|_2^2 \geq \sum_{k \in \mathbb{N}} \frac{1}{2^{N-1}} 1_{A_k}$ 이며, 여기서 $N$은 볼록 조합에 포함된 항의 수이다.
• 노름에 대한 하한은 0이 양의 측도를 가진 집합에서 0으로부터 떨어져 있음을 의미하므로, 0은 $L^0$-볼록 hull의 클러스터 점이 될 수 없다.
• 결과적으로 이 설정에서 가чёт한 연결 닫힘은 $L^0$-볼록 hull보다 엄밀히 크며, 수렴 성질이 성립하기 위해선 이 전자가 필수적임을 확인한다.