[논문 리뷰] Jensen's Inequality and majorization

Jorge Antezana, Pedro Massey외 1명|ArXiv.org|2004. 11. 19.

Mathematical Inequalities and Applications참고 문헌 9인용 수 7

한 줄 요약

이 논문은 스펙트럴 순서와 주조관계를 활용하여 $C^*$-대수에서 볼록 함수에 대해 비가환 제논 유형 부등식을 수립한다. 양성 유니탈 맵을 사용하여 기존의 연산자 볼록성 이상의 일반화를 이루며, 특정 대수적 조건 하에 임의의 볼록 함수에 대해 $f(\phi(a)) \prec \phi(f(a))$가 성립함을 증명한다. 이는 안도의 정리와 비슷한 결과를 일반화하고 비가환 해석학의 통합적 결과를 이룬다.

ABSTRACT

Let $\mathcal{A}$ be a $C^*$-algebra and $ϕ:\cA o L(H)$ be a positive unital map. Then, for a convex function $f:I o \mathbb{R}$ defined on some open interval and a self-adjoint element $a\in \mathcal{A}$ whose spectrum lies in $I$, we obtain a Jensen's-type inequality $f(ϕ(a)) \leq ϕ(f(a))$ where $\le$ denotes an operator preorder (usual order, spectral preorder, majorization) and depends on the class of convex functions considered i.e., operator convex, monotone convex and arbitrary convex functions. Some extensions of Jensen's-type inequalities to the multi-variable case are considered.

연구 동기 및 목표

• 표준 연산자 순서가 실패할 경우, 비가환 설정에서 임의의 볼록 함수에 대해 제논 유형 부등식을 확장할 수 있는가를 탐구한다.
• 스펙트럴 순서 또는 주조관계 하에서 $f(\phi(a)) \leq \phi(f(a))$가 성립하는 조건을 설정한다.
• 양성 유니탈 맵과 비가환 적분을 활용하여 브라운-코사키 및 한센-페더슨의 이전 결과를 통합하고 확장한다.
• 아우vla와 실바의 유한차원 부등식을 주조관계와 스펙트럴 순서를 사용하여 무한차원 $C^*$-대수로 일반화한다.
• 정보, 리아푸노프, 헬더의 고전 부등식의 비가환 형태를 이 기능적 부등식으로 유도한다.

제안 방법

• 비가환 적분의 유사체로 양성 유니탈 맵 $\phi: \mathcal{A} \to \mathcal{B}$를 사용한다.
• 표준 순서 $\leq$를 대체하기 위해 스펙트럴 순서 $\prec$와 주조관계 $\prec\succ$를 비가환 연산자 순서로 활용한다.
• 조건부 기대와 스티네쉬프링의 확장 이론을 활용하여 $f$와 $g$의 복합 함수에 대한 부등식을 확장한다.
• C^*$-대수에서의 함수 해석학과 연산자 볼록/볼록 아래 함수의 성질을 활용하여 부등식을 유도한다.
• 국소 콪 pact 공간 위의 연산자 값 함수에 대해 보흐너 적분을 적용하여 비가환 기대를 정의한다.
• 기능적 해석학과 양성 성질을 활용하여 다변수 경우를 단일 변수 부등식으로 환원한다.

실험 결과

연구 질문

• RQ1 표준 연산자 순서가 실패할 경우, 임의의 볼록 함수에 대해 제논 유형 부등식을 확장할 수 있는가?
• RQ2 스펙트럴 순서 또는 주조관계 하에서 $f(\phi(a)) \prec \phi(f(a))$가 성립하는 조건은 무엇인가?
• RQ3 이러한 결과는 아우vla와 실바의 유한차원 부등식을 $C^*$-대수로 어떻게 일반화하는가?
• RQ4 이러한 기능적 부등식으로부터 비가환 정보, 리아푸노프, 헬더 부등식을 도출할 수 있는가?
• RQ5 조건부 기대와 가환성 가정은 연산자 볼록성 이외의 제논 부등식 확장에 어떤 역할을 하는가?

주요 결과

• 모노톤 볼록 함수 $f$와 $\mathcal{B}$가 바나흐 대수일 경우, 스펙트럴 순서 하에서 $f(\phi(a)) \prec \phi(f(a))$가 성립한다.
• 만약 $\mathcal{B}$가 아벨이거나 $\phi(a)$와 $\phi(f(a))$가 가환한다면, 표준 순서 하에서 $f(\phi(a)) \leq \phi(f(a))$가 성립한다.
• 조건부 기대 $E: \mathcal{B} \to \mathcal{C}$가 $\phi(a)$가 $E$의 중심자에 속할 경우, 연속 증가 볼록 함수 $g$에 대해 $\mathcal{E}(g[f(\phi(a))]) \leq \mathcal{E}(g[\phi(f(a))])$가 성립한다.
• 만약 $\mathcal{B}$가 유한한 인자이면, 임의의 볼록 함수 $f$에 대해 주조관계 하에서 $f(\phi(a)) \prec\succ \phi(f(a))$가 성립한다.
• 비가환 정보 부등식이 증명된다: $\int_X a^* \log(a^{*-1} b^* b a^{-1}) a \, d\mu \leq 0$ 이다. 여기서 $a,b$는 밀도 함수이다.
• 비가환 리아푸노프 부등식이 확립된다: $1 \leq r \leq s$ 이고 $\phi$가 수축 가능한 양성 맵일 경우 $\phi(a^s)^{1/s} \geq \phi(a^r)^{1/r}$ 이다.