三体量子系统态的可分离性判据.pdfVIP

东 北 石 油 大 学 学 报 第 37卷 第 1期 2013年 2月 JOuRNALOFNORTHEASTPETROLEUM UNIVERSITY Vo1．37 No．1 Feb． 2013 三体量子系统态的可分离性判据 李嫦娥 ，陶元红，丁巍巍 (延边大学理学 院 数学系，吉林 延吉 133002) 摘 要 ：给出三体量子系统密度矩 阵所在线性空 间的Hamel基 ，以及三体量子系统密度矩阵表示形式 ，若三体量子 系统密度矩阵可分离 ，则其表示系数所构成 的矩阵的 Forbenius范数不超过 ，并举例证 明． 关 键 词 ：三体量子系统；密度矩阵；可分离判据 中图分类号 ：O177．3 文献标识码 ：A 文章编号 ：2095—4107(2013)Ol一0116—06 0 引言 量子纠缠现象被视为一种重要的物理资源．量子纠缠广泛应用于量子处理，如量子计算 、量子编码 、量 子隐形传态等…．关于纠缠态的数学结构和物理特性还没有被完全 了解．近年来 ，关于判断纠缠态可分判 据见文献[2一l1]．笔者给出三体量子系统密度矩阵所在线性空间的Hamel基 ，以及三体量子系统密度矩 阵的表示形式 ，并提出三体量子系统密度矩阵可分离的一个判据． 1 预备知识 一 个独立的R维 Hilbert空间上 的厄米特算子总可 以由单位算子 和特殊酉群 SU(R)的生成元表 示_2]．SU(R)的生成元可以用 R×R阵初等矩阵{ lk，J一1，2，…，R)构造 ，其 中，e为k行J列为 1，其余 元素为0的矩阵_2]．SU(R)群的一组典型生成元共有 R 一1个 ，它们是迹为 0的R×R阶矩阵，不妨设为 {AIi一1，2，…，R。一1)．这R。一1个典型生成元与R×R阶单位算子 I一起构成线性空间M (C)的一个 完备的厄米特算子基{ ，”—2，…’R。一}· 引理 1．1 设 SU(R)群的R 一1个独立生成元为 li一1，2，…，R 一1}，则 tr 一 0，tr(A J)一 28d(，J一 1，2，… ，R 一 1)． 引理1．2 设单粒子量子态空间维数为R，l0可以表示为l0===去+告∑ 1 ，其中一tr()， 1 一1，2，…，R2--1均为实数 ，且满足 R2-- ≤ ． 一 由于任意量子系统的密度算子都是半正定的厄米特算子，所以密度算子也可以由特殊酉群 SU(R)的 生成元和单位算子表示． 定义1．1若三体量子系统A，B，C的量子态用密度矩阵pAB描述，且p舳一∑ppApBpC，其中A， ， 分别为系统A，B，C的密度矩阵，0≤p≤1，∑P一l，则称p 可分；否则，称pAB为纠缠． 设 T为任意矩阵，r 表示矩阵的T转置，T 表示矩阵T的转置共轭 ，取 T的Frobenius范数为 l_T}I 一 、 亍 ：． 收稿 日期：2012—12—07；编辑 ：关开澄 基金项目：国家 自然科学基金项 目；吉林省 自然科学基金项 目(201215239) 作者简介：李嫦娥 (1985一)，女，硕士研究生 ，主要从事泛 函分析及应用方面的研究． · 116 · 第 1期 李嫦娥等 ：三体量子系统态的可分离性判据 2 主要结论 首先研究三体量子系统密度矩阵所在线性空间的Hamel基 ，其次讨论三体量子系统密度矩阵的表示 形式，最后给出三体量子系统密度矩阵可分离的一个必要条件． 定理2．1 设三体量子系统