[論文レビュー] Characterizations of Connections for Positive Operators

Pattrawut Chansangiam, Wicharn Lewkeeratiyutkul|arXiv (Cornell University)|Aug 24, 2012

Mathematical Inequalities and Applications参考文献 8被引用数 4

ひとこと要約

本稿は、Kubo-Ando理論における主要な公理である上からの jointly 連続性を、より弱い連続性条件（例えば、独立連続性や中点凹性）に置き換えることで、正の作用素に対する作用素接続を再定式化する。主な貢献は、凹性のみから単調性が導かれるのを証明し、作用素接続とそれに対応するスカラー接続の間のアフィン順序同型を確立することで、スカラー平均を通じて名前付き平均を一元的かつ一貫的に作用素に定義する枠組みを提供することにある。

ABSTRACT

An axiomatic theory of operator connections and operator means was investigated by Kubo and Ando in 1980. A connection is a binary operation for positive operators satisfying the monotonicity, the transformer inequality and the joint-continuity from above. In this paper, we show that the joint-continuity assumption can be relaxed to some conditions which are weaker than the separate-continuity. This provides an easier way for checking whether a given binary opertion is a connection. Various axiomatic characterizations of connections are obtained. We show that the concavity is an important property of a connection by showing that the monotonicity can be replaced by the concavity or the midpoint concavity. Each operator connection induces a unique scalar connection. Moreover, there is an affine order isomorphism between connections and induced connections. This gives a natural viewpoint to define any named means.

研究の動機と目的

• 作用素接続の公理的定義における上からの jointly 連続性条件を緩和し、二項演算子が接続であるかどうかを確認するのを容易にする。
• Kubo-Ando理論における作用素平均の単調性が、凹性または中点凹性によって置き換えられることを示し、凹性が根本的な性質であることを強調する。
• アフィン順序同型を通じて作用素接続とスカラー接続の自然な対応関係を確立し、スカラー接続の対応するものによって作用素上の名前付き平均を体系的に定義可能にする。
• 接続の表現関数および表現測度が、スカラーレベルへの誘導過程で保存されることを示し、作用素平均とスカラー平均の間で一貫性が保たれることを保証する。

提案手法

• 単調性、変換不等式、および独立連続性を満たす任意の二項演算子が接続であることを証明することで、元の jointly 連続性の要請を弱める。
• 接続のうち、中点凹性が単調性を含意することを示し、単調性の代わりにより弱く、分析に適した条件を用いることの有効性を示す。
• 作用素接続 σ に対して、ヒルベルト空間上の正の有界作用素の半群 B(ℋ)⁺ におけるスカラー倍の単位元への制限により、ℝ⁺ 上の誘導接続を定義する：x σ̃ y = (xI) σ (yI)。
• 写像 σ ↦ σ̃ が、B(ℋ)⁺ 上の接続の集合と ℝ⁺ 上の接続の集合との間でアフィン順序同型であることを確立する。
• 作用素単調関数の積分表現を用いて、接続およびその誘導スカラー接続の積分形を導出する。
• 表現関数および測度の一意性を活用し、σ と σ̃ が同じ表現関数および表現測度を持つことを示す。

実験結果

リサーチクエスチョン

• RQ1 作用素接続の定義における上からの jointly 連続性条件は、より弱い連続性条件に置き換え可能か？
• RQ2 正の作用素上の二項演算子の凹性または中点凹性は、単調性を含意するか？
• RQ3 作用素接続からスカラー接続を自然に誘導する方法は存在するか？ また、この誘導は順序を保存する対応関係をもたらすか？
• RQ4 接続の表現関数および表現測度は、この誘導プロセスによってスカラーレベルにまで保存されるか？

主な発見

• Kubo-Ando公理における上からの jointly 連続性条件は、独立連続性に置き換え可能であり、接続の確認作業を簡素化する。
• 接続のうち、中点凹性が単調性を含意することを示し、作用素平均の理論において凹性が単調性よりも根本的な性質であることを明らかにする。
• B(ℋ)⁺ 上の作用素接続の集合と ℝ⁺ 上のスカラー接続の集合との間には、単位元のスカラー倍への制限によって誘導されるアフィン順序同型が存在する。
• ℝ⁺ 上の誘導接続 σ̃ は、元の B(ℋ)⁺ 上の接続 σ と同じ表現関数および表現測度を持つため、理論全体に一貫性が保たれる。
• 作用素平均のクラスは凸集合であり、写像 σ ↦ σ̃ は作用素平均とスカラー平均の間でアフィン順序同型をなす。
• ハーモニック平均、幾何平均、算術平均が特別な場合として現れる、作用素上のクェイシーアリズム的べき平均などの名前付き平均は、そのスカラー対応物を通じて自然に定義可能である。