[論文レビュー] Group Invariant Entanglements in Generalized Tensor Products

Elemér E Rosinger|ArXiv.org|Aug 1, 2008

semigroups and automata theory参考文献 5被引用数 6

ひとこと要約

この論文は、最小限の代数的構造を持つ任意の集合に対して一般化されたテンソル積の枠組みを導入し、ベクトル空間を必要としない状況でもエンタングルメントを定義可能にする。群作用がこれらの一般化されたテンソル積上でエンタングルメント不変量を保存することを証明し、非量子的・非カルテシアン系におけるエンタングルメントをリソースとして扱う、構造に依存しない広範な基盤を確立する。

ABSTRACT

The group invariance of entanglement is obtained within a very general and simple setup of the latter, given by a recently introduced considerably extended concept of tensor products. This general approach to entanglement - unlike the usual one given in the particular setup of tensor products of vector spaces - turns out not to need any specific algebraic structure. The resulting advantage is that, entanglement being in fact defined by a negation, its presence in a general setup increases the chances of its manifestations, thus also its availability as a resource.

研究の動機と目的

• ベクトル空間を超えた任意の集合に対してテンソル積の概念を一般化すること。
• 分離可能性の否定として一般化された設定でエンタングルメントを定義し、その顕在化の可能性を拡大すること。
• 一般化されたテンソル積において群不変性が保持されるかを調査すること。
• デコherenceを回避する非カルテシアンな古典的系がエンタングルメントを示すかを特定し、量子に類似した強固なリソースを可能にする。
• 一般化された非カルテシアン系を研究することで、標準的な量子エンタングルメントを超えた新しい計算的・物理的リソースを探索すること。

提案手法

• 論文は、$ X \bigotimes_{{\cal A},{\cal B}} Y $ を、$ Z $ を $ X \times Y $ によって生成される自由半群とし、$ \approx_{{\cal A},{\cal B}} $ を $ {\cal A} $ と $ {\cal B} $ に属する二項演算から生成される同値関係とする商空間 $ Z / \approx_{{\cal A},{\cal B}} $ として一般化されたテンソル積を定義する。
• 群作用 $ G \times X \to X $ および $ H \times Y \to Y $ は、$ X \times Y $ に拡張され、その後 $ (g,h) \cdot (x_i,y_i) = (gx_i, hy_i) $ を通じてテンソル積へと拡張される。
• 整合性条件 $ \alpha(gx, gx') = g\alpha(x,x') $ および $ \beta(hy, hy') = h\beta(y,y') $ により、群作用が同値関係 $ \approx_{{\cal A},{\cal B}} $ を保存することが保証され、結果として商空間上でのwell-definedな群作用が得られる。
• この構成では、$ X $ および $ Y $ が任意の集合でよく、二項演算 $ \alpha, \beta $ が可換的・結合的でなくてもよく、標準的なテンソル積理論を顕著に一般化する。
• 得られるテンソル積 $ X \bigotimes_{{\cal A},{\cal B}} Y $ は、結合的かつ可換な二項演算 $ \gamma $ を持ち、その要素は $ \sum x_i \bigotimes y_i $ の形式的和として表され、定義された関係で同値となる。
• 操作集合の包含関係 $ {\cal A} \subseteq {\cal A}' $ および $ {\cal B} \subseteq {\cal B}' $ により、テンソル積の階層が可能となり、$ X \bigotimes_{{\cal A},{\cal B}} Y \to X \bigotimes_{{\cal A}',{\cal B}'} Y $ という全射写像が存在する。

実験結果

リサーチクエスチョン

• RQ1 ベクトル空間構造を持たない系において、一般化されたテンソル積枠組みを用いてエンタングルメントを意味的に定義・研究できるか？
• RQ2 成分系に群作用が作用するとき、それが一般化されたテンソル積上でもwell-definedな群作用を誘導する条件は何か？
• RQ3 群作用が同値関係 $ \approx_{{\cal A},{\cal B}} $ に沿って保存される場合、エンタングルメントが構造的特徴として保存されるか？
• RQ4 非量子的・古典的系が非カルテシアンでありながら、デコherenceを回避してエンタングルメントを示せるか？
• RQ5 群不変エンタングルメントを持つ一般化された非カルテシアン系を研究することで、どのような新しい物理的・計算的リソースが出現するか？

主な発見

• エンタングルメントは、一般化されたテンソル積枠組みにおいて分離可能性の否定として定義され、従来の量子系を超える顕在化の可能性が高まる。
• 一般化されたテンソル積 $ X \bigotimes_{{\cal A},{\cal B}} Y $ は、任意の空でない集合 $ X $ および $ Y $、任意の二項演算の族 $ {\cal A} $、$ {\cal B} $ に対してwell-definedであり、代数的閉包を要しない。
• 操作族 $ {\cal A} $、$ {\cal B} $ が群作用 $ G \times X \to X $、$ H \times Y \to Y $ と整合性を持つ場合、テンソル積上への誘導された作用は同値関係 $ \approx_{{\cal A},{\cal B}} $ を保存し、商空間上での一貫性ある群作用を保証する。
• 得られるテンソル積は、結合的かつ可換な二項演算 $ \gamma $ を持ち、その要素は $ \sum x_i \bigotimes y_i $ の形式的和として表され、置換および操作由来変換による同値関係に従う。
• 操作集合の包含関係によりテンソル積の階層が可能となり、粗いと細かいテンソル積構成の間で全射写像が存在する。
• 本論文は、カルテシアン積によって構成されず、デコherenceの影響を受けない非カルテシアンな古典的系がエンタングルメントを支えることができることを確立し、エンタングルメントを計算的リソースとして探求するための新たなクラスの系を提供する。