[논문 리뷰] Strong Law of Large Numbers for Random Sets in Banach spaces

Vladimir Kadets, Olesia Zavarzina|arXiv (Cornell University)|2024. 10. 07.

Probability and Risk Models인용 수 19

한 줄 요약

논문은 Banach 공간의 난수 집합 시퀀스에 대해 강한 대수의 법칙의 어떤 형태(SLLN)가 성립하는지 분석하고, 무한 차원에서는 완전한 형태가 실패하지만, B-볼록 공간에서 축소 형태가 성립하고 유한 차원에서는 완전한 형태가 성립함을 보인다.

ABSTRACT

The Strong Law of Large Numbers (SLLN) for random variables or random vectors with different mathematical expectations easily reduces by means of shifts to SLLN for random variables or random vectors whose mathematical expectations are equal to zero. The situation changes for random sets, where shifts cannot reduce sets of more than one point to the set $\{0\}$. We study effects that appear because of this difference.

연구 동기 및 목표

• 시프트 후 기대값이 비제로가 되므로 난수 집합에 대한 SLLN이 난수 벡터에 대한 SLLN과 어떻게 달라지는지 동기를 제시한다.
• Banach 공간의 확률 볼록 집합에 대해 전체 형식, 중간 형식 및 축소 형식의 SLLN 타당성을 결정한다.
• B-볼록 공간과 유한 차원 부분공간에서 축소 SLLN이 성립하는 조건을 규명한다.

제안 방법

• 해석을 위해 Rådström 임베딩을 이용하여 난수 집합을 Banach 공간 값 난수 벡터로 변환한다.
• 조합적 및 기하학적 보조정리(Auerbach의 보조정리, Lemma 3.3)을 활용하여 무한 차원 공간에서 반례를 구성한다.
• 임베딩과 콤팩트성 논증을 통해 유한 차원 공간에서 완전한 SLLN을 증명한다.
• 비가분리 공간으로 축소 SLLN을 확장하기 위한 분리 가능 축소 프레임워크를 개발한다.
• 기대값이 0일 때 난수 집합이 난수 벡터로 축소됨을 보여 B-볼록 공간에서 축소 SLLN을 증명한다.

실험 결과

연구 질문

• RQ1 무한 차원 Banach 공간의 난수 집합에 대해 SLLN의 전체 형식이 성립하는가?
• RQ2 분리 가능 축소를 통해 SLLN의 축소 형식을 비가분리 Banach 공간으로 확장할 수 있는가?
• RQ3 B-볼록 공간에서 난수 집합에 대한 중간 형식의 SLLN이 성립하는 조건은 무엇인가?
• RQ4 기대값이 유한 차원 부분공간에 위치할 때 유한 차원 난수 집합에 대해 전체 SLLN이 타당한가?
• RQ5 난수 집합의 SLLN 형태에 대한 한계와 미해결 질문들(비동등 분포, 비볼록성 등)은 무엇인가?

주요 결과

• 난수 집합에 대한 SLLN의 전체 형식은 어떤 무한 차원 Banach 공간에서도 타당하지 않으며, 심지어 볼록한 유한 차원 값에 대해서도 타당하지 않다.
• 주어진 기대값을 가진 균등하게 한정된 독립 난수 집합에 대해 유한 차원 공간에서 SLLN의 전체 형식이 성립한다.
• 제로 기대값인 난수 집합은 난수 벡터로 축소되므로 모든 B-볼록 공간에서 축소 SLLN이 타당하다.
• B-볼록 공간에서 공통 기대값이 유한 차원 부분공간에 위치할 때 중간 형식의 SLLN이 성립한다.
• 분리 가능 축소 보조정리는 분리 가능 공간에서의 축소 SLLN 결과를 비가분리 공간으로 확장할 수 있게 한다.