[論文レビュー] Gram matrix in inner product modules over $C^*$-algebras

Ljiljana Arambašić, Damir Bakić+1 more|arXiv (Cornell University)|May 21, 2009

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$を$C^*$-代数とする半内積加群を定義し、誘導された構造を生成するための補助的な半内積を導入する。
• 誘導された半内積を用いて、オストロフスキーの不等式などの古典的不等式を再定式化・改善する。
• $\A$-加群の文脈において、コーシー・シュワルツの不等式から導かれる入れ子になった不等式の系列を構築する。
• 誘導された半内積が、作用素論的設定における共分散と分散にどのように関連するかを関係づける。
• $\A$内の正の元にこの枠組みを適用し、導出された系列の収束挙動を分析する。
• 構築された作用素の系列が、$\A$内の正の元のムーア・ペンローズの擬似逆元に収束することを証明する。

実験結果

リサーチクエスチョン

• RQ1 半内積加群の$C^*$-代数の文脈において、グラム行列とコーシー・シュワルツの不等式はどのように一般化できるか？
• RQ2 誘導された半内積を用いることで、オストロフスキーの不等式のような既知の不等式はどのように改善できるか？
• RQ3 共分散と分散の概念は、$\A$-加群の構造からどのように生じるか？
• RQ4 この文脈において、コーシー・シュワルツの不等式から導かれる不等式の系列の挙動はいかなるものか？
• RQ5 この枠組みからの反復的構成は、擬似逆元のような意味のある作用素論的対象に収束するか？

主な発見

• 本稿では、$\A$-加群におけるコーシー・シュワルツの不等式から導かれる入れ子になった不等式の系列を確立し、古典的バージョンの境界を精緻化した。
• 誘導された半内積を用いることで、オストロフスキーの不等式やグラム行列関連の不等式の改善版が得られた。
• 誘導された半内積構造は、$C^*$-代数の文脈における共分散と分散の概念と自然に結びつく。
• 本フレームワークから生成された作用素の系列は、$C^*$-代数内の正の元のムーア・ペンローズの擬似逆元に収束する。
• 収束は作用素ノルム位相において成り立つことが示され、擬似逆元の構成的アプローチが得られた。