[논문 리뷰] Gram matrix in inner product modules over $C^*$-algebras

Ljiljana Arambašić, Damir Bakić외 1명|arXiv (Cornell University)|2009. 05. 21.

Matrix Theory and Algorithms인용 수 2

한 줄 요약

이 논문은 $C^*$-대수 위의 준내적곱 모듈러에 대해 그람 행렬과 코시-스바르츠 부등식을 유도된 준내적곱을 도입하여 일반화하며, 오스트로프스키 부등식과 같은 개선된 부등식 및 중첩된 부등식의 수열을 도출한다. 주요 결과로는 구성된 수열이 $C^*$-대수의 양성 원소의 의사역행렬로 수렴한다는 것이 입증된다.

ABSTRACT

We study the Cauchy--Schwarz and some related inequalities in a semi-inner product module over a $C^*$-algebra $\A$. The key idea is to consider a semi-inner product $\A$-module as a semi-inner product $\A$-module with respect to another semi-inner product. In this way, we improve some inequalities such as the Ostrowski inequality and an inequality related to the Gram matrix. The induced semi-inner products are also related to the the notion of covariance and variance. Furthermore, we obtain a sequence of nested inequalities that emerges from the Cauchy--Schwarz inequality. As a consequence, we derive some interesting operator-theoretical corollaries. In particular, we show that the sequence arising from our construction, when applied to a positive element of a $C^*$-algebra, converges to its pseudo-inverse.

연구 동기 및 목표

• 고전적인 부등식인 코시-스바르츠 및 오스트로프스키 부등식을 $C^*$-대수 위의 준내적곱 모듈러로 확장한다.
• 유도된 준내적곱이 기존 부등식을 정교화하는 데서 수행하는 역할을 조사한다.
• $C^*$-대수의 대수적 구조와 함수해석학에서의 공분산 및 분산 개념을 연결한다.
• 코시-스바르츠 프레임워크에서 유도된 중첩된 부등식의 수열을 도출한다.
• 구성된 수열이 $C^*$-대수의 양성 원소의 의사역행렬로 수렴함을 확립한다.

제안 방법

• 대수 $\A$ 위의 준내적곱 모듈러를 정의하고, 유도된 구조를 생성하기 위해 보조 준내적곱을 도입한다.
• 유도된 준내적곱을 사용하여 오스트로프스키 부등식과 같은 고전적 부등식을 재구성하고 개선한다.
• $\A$-모듈러의 맥락에서 코시-스바르츠 부등식으로부터 유도된 중첩된 부등식의 수열을 구성한다.
• 유도된 준내적곱을 연산자 이론적 맥락에서의 공분산 및 분산과 연결한다.
• 프레임워크를 $\A$의 양성 원소에 적용하여 유도된 수열의 수렴 행동을 분석한다.
• 유도된 프레임워크에 의해 구성된 연산자 수열이 $C^*$-대수의 양성 원소의 무어-펜로즈 의사역행렬로 수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 준내적곱 모듈러에서 그람 행렬과 코시-스바르츠 부등식은 어떻게 $C^*$-대수 위에서 일반화될 수 있는가?
• RQ2 유도된 준내적곱을 통해 기존의 오스트로프스키 부등식과 같은 부등식은 어떻게 개선될 수 있는가?
• RQ3 공분산 및 분산 개념은 $\A$-모듈러의 구조에서 어떻게 유도되는가?
• RQ4 이 맥락에서 코시-스바르츠 부등식으로부터 도출된 부등식 수열의 행동은 어떠한가?
• RQ5 이 프레임워크에서의 반복적 구성은 의미 있는 연산자 이론적 대상, 예를 들어 의사역행렬로 수렴하는가?

주요 결과

• 논문은 $\A$-모듈러에서 코시-스바르츠 부등식으로부터 도출된 중첩된 부등식의 수열을 확립하며, 고전적 경계를 정교화한다.
• 유도된 준내적곱을 사용함으로써 오스트로프스키 부등식 및 그람 행렬과 관련된 부등식의 개선된 형태를 도출한다.
• 유도된 준내적곱의 구조는 $C^*$-대수 맥락에서의 공분산 및 분산 개념과 자연스럽게 연결된다.
• 프레임워크에 의해 유도된 연산자 수열은 $C^*$-대수의 양성 원소의 무어-펜로즈 의사역행렬로 수렴한다.
• 수렴이 연산자 노름 위상에서 성립함이 입증되어 의사역행산의 구조적 접근법을 제공한다.