[논문 리뷰] A counterexample shows that not every locally $L^0$--convex topology is necessarily induced by a family of $L^0$--seminorms

Mingzhi Wu, Tiexin Guo|arXiv (Cornell University)|2015. 01. 19.

Risk and Portfolio Optimization참고 문헌 19인용 수 11

한 줄 요약

이 논문은 랜덤 컨 vex 분석 분야의 기초적 주장과 모순되는 반례를 제시한다. 즉, 모듈러에서의 국소적 $L^0$-볼록 위상이 항상 $L^0$-세미노름의 가족에 의해 유도된다는 주장은 잘못되었음을 보여준다. 본 논문은 이러한 위상이 $L^0$-세미노름에 의해 유도될 조건으로 필수적이고도 충분한 조건을 확립하며, $L^0$-볼록 조건부 리스크 측정에 있어 국소적 $L^0$-볼록 모듈러보다 랜덤 국소적 볼록 모듈러가 더 우월한 프레임워크임을 주장한다.

ABSTRACT

This paper constructs a counterexample showing that not every locally $L^0$--convex topology is necessarily induced by a family of $L^0$--seminorms. Random convex analysis is the analytic foundation for $L^0$--convex conditional risk measures, this counterexample, however, shows that a locally $L^0$--convex module is not a proper framework for random convex analysis. Further, this paper also gives a necessary and sufficient condition for a locally $L^0$--convex topology to be induced by a family of $L^0$--seminorms. Finally, we give some comments showing that based on random locally convex modules, we can establish a perfect random convex analysis to meet the needs of the study of $L^0$--convex conditional risk measures.

연구 동기 및 목표

• 필리포비치, 쿠퍼, 보겔포트(2013)의 기초적 주장, 즉 모든 국소적 $L^0$-볼록 위상은 $L^0$-세미노름의 가족에 의해 유도된다는 것을 도전한다.
• 국소적 $L^0$-볼록 위상이 어떤 $L^0$-세미노름의 가족에 의해 생성되지 않는 구체적인 반례를 구성한다.
• 국소적 $L^0$-볼록 위상이 $L^0$-세미노름의 가족에 의해 유도될 조건으로 필수적이고 충분한 조건을 확립한다.
• 랜덤 국소적 볼록 모듈러가 국소적 $L^0$-볼록 모듈러보다 $L^0$-볼록 조건부 리스크 측정을 개발하는 데 더 적합한 프레임워크임을 주장한다.

제안 방법

• 특정한 국소적 $L^0$-볼록 모듈러와 그 위상의 구성: 이 위상은 국소적 $L^0$-볼록성의 공리들을 만족하지만, 어떤 $L^0$-세미노름의 가족에 의해도 생성될 수 없다.
• 반례의 이웃 구조 분석을 위한 핵심 기술 도구로 상대적 가산 합성 성질을 활용한다.
• 랜덤 국소적 볼록 모듈러에서 $(\varepsilon,\lambda)$-위상을 정의하고 분석하여 국소적 $L^0$-볼록 위상과 대비한다.
• 특성 정리 수립: 국소적 $L^0$-볼록 위상은 $L^0$-세미노름의 가족에 의해 유도될 필요이고 충분한 조건이 바로 상대적 가산 합성 성질을 갖는 것이다.
• 국소적 $L^0$-볼록 위상과 $(\varepsilon,\lambda)$-위상의 성질을 비교하여, 후자의 확률론적 추론과의 더 높은 호환성을 부각한다.
• 기존의 군 등의 랜덤 거리 이론 결과를 활용하여, 랜덤 국소적 볼록 모듈러를 선호하는 프레임워크로 채택할 근거를 강화한다.

실험 결과

연구 질문

• RQ1 모듈러에서의 모든 국소적 $L^0$-볼록 위상은 반드시 $L^0$-세미노름의 가족에 의해 유도되는가?
• RQ2 국소적 $L^0$-볼록 위상이 어떤 $L^0$-세미노름의 가족에 의해도 생성되지 않는 반례를 구성할 수 있는가?
• RQ3 국소적 $L^0$-볼록 위상이 $L^0$-세미노름의 가족에 의해 유도될 수 있는 정확한 조건은 무엇인가?
• RQ4 왜 국소적 $L^0$-볼록 모듈러 프레임워크는 $L^0$-볼록 조건부 리스크 측정의 맥락에서 랜덤 볼록 분석에 부적합한가?
• RQ5 랜덤 국소적 볼록 모듈러에서의 $(\varepsilon,\lambda)$-위상은 더 강력한 랜덤 볼록 분석 이론을 개발하기에 더 적합한 대안인가?

주요 결과

• 반례를 구성하여 모든 국소적 $L^0$-볼록 위상이 $L^0$-세미노름의 가족에 의해 유도된다는 주장이 잘못되었음을 보여주며, 필리포비치, 쿠퍼, 보겔포트(2013)의 정리 2.4를 무효화한다.
• 본 논문은 국소적 $L^0$-볼록 위상이 $L^0$-세미노름의 가족에 의해 유도될 조건으로 상대적 가산 합성 성질을 갖는 것임을 증명한다.
• 국소적 $L^0$-볼록 모듈러 프레임워크는 세미노름에 의해 유도된 위상 성질의 실패로 인해 랜덤 볼록 분석에 부적합하다고 밝혀졌다.
• 랜덤 국소적 볼록 모듈러에서의 $(\varepsilon,\lambda)$-위상은 국소적 $L^0$-볼록 위상보다 확률론과 더 자연스럽고 호환성이 높다는 게 입증되었다.
• 본 논문은 랜덤 국소적 볼록 모듈러가 $L^0$-볼록 조건부 리스크 측정의 완전한 이론을 개발하기에 더 뛰어나고 더 견고한 프레임워크임을 결론 내린다.
• 후에 자파타(2014)에서 동일한 조건에 대해 독립적이고 동치인 특성화 결과가 발견되어 결과의 타당성과 독립성을 확인한다.