[論文レビュー] Dilations of CP-maps commuting according to a graph

Alexander Vernik|arXiv (Cornell University)|Nov 5, 2014

Advanced Operator Algebra Research参考文献 12被引用数 8

ひとこと要約

本稿では、von Neumann代数上の有限個の正規で、完全正値かつ完全に収縮する写像（CP-写像）の組が、有限グラフ G に符号された同じ可換関係を保つ同時 *-自己同型的拡大をもつための条件を特徴づけている。部分積系の拡大理論を用いて、このような拡大が存在するための必要十分条件は、グラフ G が無閉路的であることであると証明しており、CP-写像におけるオペラの拡大定理の完全な類似形を提供している。

ABSTRACT

We study dilations of finite tuples of normal, completely positive and completely contractive maps (which we call CP-maps) acting on a von Neumann algebra, and commuting according to a graph G. We show that if G is acyclic, then a tuple commuting according to it has a simultaneous *-endomorphic dilation, which also commutes according to G. Conversely, if G has a cycle, we exhibit an example of a tuple of CP-maps commuting according to G, which does not have an *-endomorphic dilation commuting according to G. To achieve these results we use dilation theory of representations of subproduct systems, as introduced and studied by Shalit and Solel. In the course of our investigations we also prove some results about those kinds of subproduct systems which arise from CP-maps commuting according to to a graph.

研究の動機と目的

• 可換な収縮写像のオペラの拡大定理を、von Neumann代数上のCP-写像の設定へと拡張すること。
• CP-写像の組が、同じ可換関係を保つ同時 *-自己同型的拡大をもつための、グラフ論的条件下での条件を同定すること。
• グラフに従って可換するCP-写像と、そのようなグラフから生じる部分積系との間の対応関係を確立すること。
• グラフ G が無閉路的であることこそが、このような拡大の存在にとって必要かつ十分であることを証明すること。

提案手法

• CP-写像の組の可換関係を、エッジが写像間の可換性を符号化する有限グラフ G によってモデル化する。
• 頂点を生成元とする自由半群を、E(G) に符号化された可換関係で割った半群 S(G) を構成し、CP-写像の組を S(G) でインデックスされたCP-半群とみなせるようにする。
• シャライトとソレルが開発した部分積系およびその表現の理論を応用し、このようなグラフから生じるCP-半群の構造を分析する。
• 関連するパスグラフ H(s) における語の長さおよびサイクル長に関する帰納法を用いて、H(s) の任意のサイクルが関連するヒルベルト空間上に恒等写像を誘導することを証明し、拡大構成における一貫性を保証する。
• 無閉路的グラフの場合、部分積系の表現が *-自己同型的拡大をもつことを示し、その可換関係が G に従うことを保証する。
• サイクルを含むグラフに対して、可換関係を保つが *-自己同型的拡大をもたないCP-写像の具体的な反例を構成し、無閉路性の必要性を示している。

実験結果

リサーチクエスチョン

• RQ1 有限グラフ G に対して、G に従って可換するCP-写像の組が、G に従って可換する同時 *-自己同型的拡大をもつための条件は何か？
• RQ2 CP-写像の設定において、G が無閉路的であることこそが、このような拡大の存在にとって必要かつ十分であるか、これはオペラの収縮写像に対する結果の類似であるか？
• RQ3 グラフ G の代数的および組合せ論的性質は、関連する部分積系およびその表現の構造とどのように関係するか？
• RQ4 グラフ関係によって定義される半群でインデックスされたCP-半群の拡大理論は、部分積系を用いて完全に特徴づけられるか？
• RQ5 G にサイクルが含まれる場合、拡大理論においてどのような構造的障害が生じ、それらが *-自己同型的拡大の存在を妨げるのか？

主な発見

• 有限グラフ G に従って可換する、von Neumann代数上の正規で、完全正値かつ完全に収縮する写像の組が、G に従って可換する同時 *-自己同型的拡大をもつための必要十分条件は、G が無閉路的であることである。
• 無閉路的グラフの場合、S(G) でインデックスされた関連CP-半群は、部分積系の表現論を用いて構成された *-自己同型的拡大をもつ。
• G にサイクルが含まれる場合、本稿では、G に従って可換するが、可換関係を保つ *-自己同型的拡大をもたないCP-写像の具体的な反例を構成している。
• 証明は、S(G) の語 s に関連するパスグラフ H(s) を分析することに依拠しており、H(s) の任意のサイクルが関連するヒルベルト空間上に恒等写像を誘導することを示している。これは拡大における一貫性を保つために不可欠である。
• 著者らは、グラフに従って可換するCP-写像と部分積系との間の正確な対応関係を確立しており、このような系が自然にグラフ構造から生じることを示している。
• 無閉路性の必要性は、G の任意のサイクルが、H(s) において非自明なサイクルを誘導し、そのサイクルが拡大において一貫して自明化できないことから示されており、* -自己同型的拡大条件を破る。