[논문 리뷰] Standard deviation is a strongly Leibniz seminorm

Marc A. Rieel|arXiv (Cornell University)|2014. 01. 01.

Advanced Operator Algebra Research참고 문헌 22인용 수 18

한 줄 요약

이 논문은 확률 공간 위의 유계 함수에 대해 표준편차가 최대노름에 관해 라이프니츠 부등식을 만족함을 증명하며, 이 성질이 비가환 확률 공간과 단위 C*-대수 위의 매트리실 세미노름으로까지 확장됨을 추가로 증명한다. 이는 부분대수 위로의 조건부 기대까지 포함된다. 주요 기여는 고전적 및 비가환 설정 모두에서 표준편차에 대해 강력한 라이프니츠 유형 부등식을 입증한 데 있다.

ABSTRACT

We show that standard deviation satises the Leibniz inequality (fg) (f)kgk +kfk (g) for bounded functions f;g on a probability space, where the norm is the supremum norm. A related inequality that we refer to as \strong is also shown to hold. We show that these in fact hold also for noncommutative probability spaces. We extend this to the case of matricial seminorms on a unital C*-algebra, which leads us to treat also the case of a conditional expectation from a unital C*-algebra onto a unital C*-subalgebra.

연구 동기 및 목표

• 표준편차가 최대노름을 갖춘 고전적 확률 공간에서 라이프니츠 부등식을 만족함을 입증하는 것.
• 라이프니츠 유형 부등식을 비가환 확률 공간으로 확장하는 것.
• 단위 C*-대수 위의 매트리실 세미노름으로 결과를 일반화하는 것.
• C*-대수 프레임워크 내에서 조건부 기대에 따른 표준편차의 행동을 조사하는 것.

제안 방법

• 표준편차를 세미노름으로 간주하여 라이프니츠 부등식 프레임워크 ||(fg)|| ≤ ||f|| ||g|| + ||g|| ||f|| 를 적용하는 것.
• 확률 공간 위의 유계 함수에 최대노름을 적용하여 라이프니츠 성질을 분석하는 것.
• 연산자 대수 기법을 통해 비가환 확률 공간으로 부등식을 확장하는 것.
• 표준편차에 대해 성립하는 '강력한' 라이프니츠 부등식 변형을 제안하는 것.
• C*-대수의 구조적 성질을 이용하여 단위 C*-대수 위의 매트리실 세미노름으로 일반화하는 것.
• 단위 C*-대수에서 단위 C*-부분대수로의 조건부 기대를 프레임워크의 자연스러운 확장으로 다루는 것.

실험 결과

연구 질문

• RQ1 표준편차는 최대노름을 갖춘 고전적 확률 공간에서 라이프니츠 부등식을 만족하는가?
• RQ2 표준편차에 대한 라이프니츠 부등식은 비가환 확률 공간으로까지 확장될 수 있는가?
• RQ3 매트리실 세미노름은 C*-대수로의 라이프니츠 성질 일반화에 어떤 역할을 하는가?
• RQ4 C*-대수적 구조에서 조건부 기대에 따라 라이프니츠 부등식은 어떻게 행동하는가?
• RQ5 이러한 설정에서 표준편차에 대해 성립하는 '강력한' 라이프니츠 부등식 변형이 존재하는가?

주요 결과

• 표준편차는 최대노름을 갖춘 확률 공간 위의 유계 함수에 대해 라이프니츠 부등식 ||(fg)|| ≤ ||f|| ||g|| + ||g|| ||f|| 를 만족한다.
• 동일한 고전적 설정에서 더 강력한 라이프니츠 부등식 버전이 성립한다.
• 라이프니츠 부등식과 그 강력한 변형은 비가환 확률 공간으로까지 확장된다.
• 결과는 단위 C*-대수 위의 매트리실 세미노름으로 일반화되며, 라이프니츠 유형의 구조를 유지한다.
• 프레임워크는 단위 C*-대수에서 단위 C*-부분대수로의 조건부 기대에 적용되며, 세미노름 성질을 유지한다.