[论文解读] 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.

研究动机与目标

• 将张量积的概念从向量空间推广至代数结构最小的任意集合。
• 在一般设定下定义纠缠为可分性的否定，从而增加其可能的表现形式。
• 研究群不变性是否可在这种广义张量积中得以保持。
• 识别出不经历退相干的非笛卡尔经典系统中的纠缠，从而实现类似量子的稳健资源。
• 通过研究广义非笛卡尔系统，探索标准量子纠缠之外的新计算与物理资源。

提出的方法

• 本文将广义张量积 $ X \bigotimes_{{\cal A},{\cal B}} Y $ 定义为商空间 $ Z / \approx_{{\cal A},{\cal B}} $，其中 $ Z $ 是由 $ X \times Y $ 生成的自由半群，而 $ \approx_{{\cal A},{\cal B}} $ 是由集合 $ {\cal A} $ 和 $ {\cal B} $ 中的二元运算所生成的等价关系，分别作用于 $ X $ 和 $ Y $。
• 将群作用 $ 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}} $，从而在张量积上诱导出良定义的群作用。
• 该构造允许任意集合 $ 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 在何种条件下，对分量系统的群作用可诱导出广义张量积上的良定义群作用？
• RQ3 群作用下等价关系 $ \approx_{{\cal A},{\cal B}} $ 的不变性是否能保持纠缠作为结构性特征？
• RQ4 非量子、经典系统是否可以是非笛卡尔的，同时仍表现出纠缠而不经历退相干？
• RQ5 研究具有群不变纠缠的广义非笛卡尔系统，可能涌现出哪些新的物理或计算资源？

主要发现

• 纠缠在广义张量积框架中被定义为可分性的否定，这使得其在传统量子系统之外更易显现。
• 广义张量积 $ X \bigotimes_{{\cal A},{\cal B}} Y $ 对于任意非空集合 $ X $ 和 $ Y $，以及任意二元运算族 $ {\cal A} $、$ {\cal B} $ 均有良好定义，且无需代数封闭性要求。
• 当二元运算族 $ {\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 $，在置换和运算诱导变换下等价。
• 该框架通过操作集的包含关系支持张量积的层级结构，且在粗粒度与细粒度张量积构造之间存在满射映射。
• 本文确立了非笛卡尔经典系统——即不通过笛卡尔积构成且不受退相干影响的系统——可支持纠缠，从而为探索纠缠作为计算资源提供了一类新系统。