[論文レビュー] Pythagoras Theorem in Noncommutative Geometry

Francesco D’Andrea|arXiv (Cornell University)|Jul 31, 2015

Advanced Operator Algebra Research参考文献 32被引用数 3

ひとこと要約

本稿は、スペクトル幾何における非可換一般化されたピタゴラスの定理を調査し、積構造におけるスペクトル三重にピタゴラスの不等式が成り立つことを確立している。特に、純粋状態が有限距離空間およびリーマン多様体と有限空間の積において等号が成立する条件を同定し、測地線計算を避ける代数的アプローチを用いている。

ABSTRACT

After a review of the results in arXiv:1203.3184 [math-ph] about Pythagorean inequalities for products of spectral triples, I will present some new results and discuss classes of spectral triples and states for which equality holds.

研究の動機と目的

• スペクトル三重を用いて、非可換幾何における古典的ピタゴラスの定理を拡張すること。
• 積スペクトル三重における状態に対して、ピタゴラスの不等式の等号が成り立つ条件を特定すること。
• リーマン多様体とモーヤル平面の純粋状態に関する先行結果を、任意の有限距離空間に一般化すること。
• 測地線構造に依存しない、有限距離空間の積における純粋状態のピタゴラス等号の代数的証明を提供すること。
• スペクトル距離と量子情報距離（特に純化距離）との関係を探索すること。

提案手法

• C*-代数の状態空間に距離を定義するため、スペクトル三重を用い、リーマン計量構造を一般化する。
• C*-代数 $ A = A_1 \otimes A_2 $ の形における積計量構造を適用し、積状態間の距離を定義する。
• スペクトル三重に対して、ピタゴラスの不等式 $ \sqrt{b^2 + c^2} \leq a \leq \sqrt{2}\sqrt{b^2 + c^2} $ を証明し、左不等式は単位的三重に対して成り立つことを示す。
• 測地線解析を回避する、2つの有限距離空間の積における純粋状態のピタゴラス関係における等号の新規な代数的証明を導入する。
• 周辺状態と純化距離を用いて、純粋状態に限らない任意の積状態への一般化を図り、2点空間同士の積の場合を含む。
• 有限次元ヒルベルト空間における固有基底と純化の構造に依存して、量子状態間の距離を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 非可換幾何におけるスペクトル三重に対して、ピタゴラスの等号が成り立つ条件は何か？
• RQ2 純粋状態が、リーマン多様体や2点空間に限らない、任意の単位的スペクトル三重の積において等号を達成できるか？
• RQ3 測地線フローまたはリーマン構造に依存しない、ピタゴラス等号の一般代数的基準は存在するか？
• RQ4 純粋状態に限らない、任意の積状態に対しても等号が成り立つか？
• RQ5 有限次元系において、スペクトル距離と量子情報距離（特に純化距離）との関係は何か？

主な発見

• 純粋状態が2つの有限距離空間の積においてピタゴラス等号を満たすことが、測地線計算を避ける代数的手法により証明された。
• リーマン多様体と有限距離空間の積における純粋状態に対し、等号が成立し、可換な図像が完成した。
• 2つの2点空間の積において、任意の積状態（純粋状態に限らない）に対して等号が成立した。
• 単位的スペクトル三重に対して、すべての状態（周辺状態を含む）において左不等式 $ \sqrt{b^2 + c^2} \leq a $ が成り立つ。
• 右不等式 $ a \leq \sqrt{2}\sqrt{b^2 + c^2} $ は最良であり、任意のスペクトル三重に対して成り立つ。
• 2点空間の場合における純粋状態間のスペクトル距離はユークリッド距離と一致し、この結果は並進不変状態を伴うモーヤル平面へも拡張可能である。