量子态间保严格凸组合与纯态映射特性及量子测量关联研究

量子态间保严格凸组合与纯态映射特性及量子测量关联研究一、引言1.1研究背景与意义量子力学作为现代物理学的重要基石，自20世纪初诞生以来，取得了一系列令人瞩目的成就，深刻地改变了人们对微观世界的认知。从早期对原子结构的探索，到后来对量子态、量子纠缠等奇特现象的发现，量子力学的发展历程充满了挑战与突破。在这个过程中，量子测量作为获取量子系统信息的关键手段，一直占据着核心地位。在量子力学中，量子测量的过程涉及到测量仪器与被测量子系统之间的相互作用，这种相互作用会导致量子系统的状态发生改变，进而产生测量结果。与经典测量不同，量子测量具有不确定性和概率性的特点，这使得量子测量成为量子力学中最为神秘和复杂的部分之一。例如，在著名的薛定谔的猫思想实验中，猫的生死状态在测量之前处于一种叠加态，只有在进行测量的瞬间，猫的状态才会塌缩到生或死的确定状态，而这个结果是随机的，只能通过概率来描述。这一实验生动地展现了量子测量的奇特性质，也引发了人们对量子力学基本原理的深入思考。态集合上的映射理论在量子计算和量子信息科学中同样扮演着举足轻重的角色。量子计算利用量子比特的叠加和纠缠特性，实现了对信息的并行处理，有望在某些计算任务上超越经典计算机的能力。量子信息科学则致力于研究如何利用量子态进行信息的传输、存储和处理，为实现安全通信、高效计算等目标提供了新的途径。在这些领域中，理解、刻画和构造态上不同种类的映射是至关重要的。量子信道和量子运算通常被描述为完全正线性映射，它们在量子信息的传输和处理过程中起着关键作用。在量子纠错中，为了保护量子信息免受噪声和干扰的影响，需要对给定的信道构造修复映射，以确保量子比特的状态能够被准确恢复。为了研究量子态的纠缠性，必须构造非完全正（NcP）正映射和纠缠见证（entanglementwitness），这些映射能够帮助我们检测和量化量子态之间的纠缠程度，从而深入理解量子纠缠这一奇特现象。保严格凸组合和纯态的映射与量子测量之间存在着紧密的联系。一方面，量子测量可以表示为测量算子导出的映射，这些映射具有保凸组合的性质，即对于定义域中的任意两个态和任意的实数0<t<1，存在某个实数0<s<1，使得测量后的态满足一定的凸组合关系。另一方面，保严格凸组合和纯态的映射在量子信息处理中也具有重要的应用价值，它们可以用于描述量子态的变换和演化，为量子算法的设计和分析提供了有力的工具。在实际应用中，量子测量和态集合上的映射理论在量子通信、量子计算、量子模拟等领域都有着广泛的应用前景。在量子通信中，量子测量可以用于实现量子密钥分发，通过对量子态的测量来生成随机密钥，从而保证通信的安全性。态集合上的映射理论可以用于设计量子纠错码，提高量子通信的可靠性。在量子计算中，量子测量是实现量子比特读取和计算结果输出的关键步骤，而态集合上的映射理论则可以用于优化量子算法的性能，提高计算效率。在量子模拟中，通过对量子系统的测量和态的映射，可以模拟复杂的物理系统，为材料科学、化学等领域的研究提供新的方法和手段。研究刻画保严格凸组合和纯态的映射与量子测量的关系具有重要的理论和实践意义。从理论上讲，这有助于我们深入理解量子力学的基本原理，揭示量子测量的本质和规律，进一步完善量子力学的理论体系。从实践角度来看，这将为量子信息科学的发展提供重要的理论支持，推动量子通信、量子计算、量子模拟等领域的技术突破，为解决实际问题提供新的思路和方法。1.2国内外研究现状量子测量作为量子力学的核心研究内容，长期以来一直是国内外学者关注的焦点。在理论研究方面，国外的一些顶尖科研团队，如美国的加州理工学院、麻省理工学院，以及欧洲的一些研究机构，在早期就对量子测量的基本原理进行了深入的探索。他们通过建立各种理论模型，试图揭示量子测量过程中波函数塌缩的机制、测量结果的概率性等奇特现象背后的本质。冯・诺伊曼提出的量子测量假说，为量子测量理论奠定了基础，他认为量子体系在经历测量之后，会跃迁到相应算符的本征态上，这一观点引发了广泛的讨论和研究。随着研究的深入，量子测量与量子信息科学的交叉领域逐渐成为研究热点。量子信息科学的兴起，为量子测量的研究带来了新的视角和方法。量子纠缠作为量子信息科学中的重要概念，与量子测量之间存在着紧密的联系。国外的研究团队在量子纠缠态的测量方面取得了一系列重要成果，他们通过实验验证了量子纠缠在量子测量中的非局域性效应，为量子通信和量子计算等应用提供了理论支持。潘建伟院士团队在量子通信领域的研究中，利用量子测量技术实现了远距离的量子密钥分发，他们通过对量子态的精确测量和操控，成功地解决了量子通信中的安全问题，使量子通信从理论走向了实际应用。在态集合上的映射理论研究方面，国内外的学者也做出了许多重要贡献。对于量子信道和量子运算所对应的完全正线性映射，国内外的研究已经较为成熟，相关的理论和技术被广泛应用于量子信息的传输和处理过程中。在量子纠错领域，研究人员通过构造修复映射，有效地提高了量子信息的可靠性。美国的一些研究机构在量子纠错码的设计和实现方面取得了显著进展，他们通过优化映射的形式和参数，提高了量子纠错的效率和精度。保凸组合映射和保严格凸组合映射的研究相对较新，但也受到了越来越多的关注。国内的一些研究团队在这方面取得了一些有价值的成果。太原理工大学的研究人员在量子测量和可分态上保凸组合的映射研究中，给出了在二体复合量子系统中所有可分态上的保凸组合双射的刻画，在一个比较弱的附加条件下，证明了这种映射是可逆局部量子测量和转置、偏转置、对换映射的复合。他们的研究为理解量子测量与保凸组合映射之间的关系提供了重要的理论依据。尽管国内外在量子测量和态集合上的映射理论研究方面取得了丰硕的成果，但仍存在一些不足之处。在量子测量理论中，对于测量过程中波函数塌缩的具体机制，目前还没有一个统一的、被广泛接受的解释。不同的理论模型虽然能够解释部分实验现象，但都存在一定的局限性。在保凸组合映射和保严格凸组合映射的研究中，对于多体系统中这些映射的刻画和性质研究还不够深入，相关的理论体系还不够完善。本文将在前人研究的基础上，进一步深入研究保严格凸组合和纯态的映射与量子测量的关系。通过综合运用数学分析、量子力学和量子信息科学等多学科的知识和方法，从理论和实验两个方面入手，深入探讨这些映射的性质、刻画方法以及它们在量子测量中的应用。在理论研究方面，将尝试建立更加完善的理论模型，以揭示保严格凸组合和纯态的映射与量子测量之间的内在联系；在实验研究方面，将设计和开展相关的实验，对理论结果进行验证和补充，为量子信息科学的发展提供更加坚实的理论和实验基础。1.3研究方法与创新点在本研究中，将综合运用多种研究方法，从不同角度深入探讨保严格凸组合和纯态的映射与量子测量的关系。采用理论分析的方法，深入剖析量子测量的基本原理和态集合上映射的理论基础。从量子力学的基本假设出发，结合线性代数、泛函分析等数学工具，对量子测量过程中态的演化和变换进行严格的理论推导。研究量子测量与保凸组合映射之间的内在联系，通过构建数学模型，揭示它们在数学结构上的一致性和差异性。在分析量子测量的概率性和不确定性时，运用概率论和统计学的知识，对测量结果的概率分布进行理论计算和分析，从而深入理解量子测量的本质特征。进行案例研究，选取具有代表性的量子测量实验和态集合上的映射实例进行详细分析。通过对实际案例的研究，验证理论分析的结果，同时发现新的问题和现象。在研究量子纠缠态的测量时，选取一些经典的实验案例，如阿斯佩实验等，分析在这些实验中量子测量对纠缠态的影响，以及保严格凸组合和纯态的映射在其中的作用。通过对这些案例的深入研究，总结出一般性的规律和结论，为进一步的理论研究提供实践依据。运用数学推导的方法，精确刻画保严格凸组合和纯态的映射的性质和特征。通过严密的数学论证，给出这些映射的具体形式和相关定理。在刻画保严格凸组合映射时，运用凸分析的方法，证明该映射满足的凸性条件和相关性质，从而确定其在态集合上的作用和意义。运用数学推导的方法，研究这些映射与量子测量之间的定量关系，为实际应用提供精确的数学模型。本研究在以下几个方面具有创新之处：深入刻画映射性质：以往的研究对保严格凸组合和纯态的映射的刻画相对较少，本研究将从多个角度对其进行深入研究，包括映射的连续性、可微性、可逆性等，全面揭示其性质和特征，为量子信息科学提供更深入的理论支持。揭示量子测量关联：本研究将重点研究保严格凸组合和纯态的映射与量子测量之间的内在联系，通过构建统一的数学框架，揭示它们在量子信息处理中的协同作用，为量子测量理论的发展提供新的思路和方法。拓展多体系统研究：考虑多体系统中保严格凸组合和纯态的映射与量子测量的关系，这在以往的研究中相对较少涉及。通过研究多体系统中这些映射的性质和作用，以及它们对量子测量结果的影响，为多体量子系统的研究提供新的视角和方法。二、相关理论基础2.1量子测量基础理论2.1.1量子测量的基本概念量子测量是量子力学中获取量子系统信息的关键过程，与经典测量有着本质区别。在经典力学中，测量被认为是对一个物理系统中某些属性相关信息的获取行为，且测量过程对被测对象的干扰可忽略不计，物体的状态在测量前后保持不变，测量结果是确定的。在宏观世界中，用尺子测量物体的长度，尺子的测量行为不会改变物体本身的长度，多次测量同一物体得到的长度结果是相同的。然而，量子测量却呈现出截然不同的特性。在量子层面，测量会导致量子系统的状态发生突变，即量子态的坍缩。在经典物理中，系统在测量前后状态保持不变，而量子测量会使系统从多个状态的叠加态坍缩到一个确定的状态。量子测量的结果具有概率性，对于同一个量子系统，重复进行相同的测量可能得到不同的结果。这是因为量子态具有叠加性质，系统在测量前处于多个本征态的叠加态，每个本征态对应一个可能的测量结果，而测量时系统坍缩到某个本征态的概率由波函数的模平方决定。以量子比特为例，量子比特可以处于|0⟩和|1⟩的叠加态，如\frac{1}{\sqrt{2}}(|0\rangle+|1\rangle)。当对这个量子比特进行测量时，测量结果可能是|0⟩，也可能是|1⟩，且得到|0⟩和|1⟩的概率均为\frac{1}{2}。这表明量子测量的结果是不确定的，只能通过概率来描述。量子测量还涉及到量子纠缠的概念。当两个或多个量子系统发生纠缠后，它们的状态会彼此关联，对其中一个系统的测量会立刻影响到其他系统的状态，这种非局域性的关联是量子力学中最为奇特的现象之一，也是量子信息科学的重要基础。著名的EPR佯谬实验就生动地展示了量子纠缠的非局域性，爱因斯坦、波多尔斯基和罗森认为量子力学的这种非局域性违背了相对论的定域性原理，引发了科学界对量子力学基本原理的深入探讨。2.1.2量子测量的数学描述在量子力学中，量子测量可以通过测量算符的集合来精确表示，这些测量算符作用于系统的状态空间，为理解量子测量的过程提供了有力的数学工具。假设一个量子系统的状态由态矢量\vert\psi\rangle表示，系统的可观测量（如位置、动量、自旋等）对应于量子力学中的厄米算符M。厄米算符具有重要的性质，其本征值m_i都是实数，且本征态\vert\phi_i\rangle构成一组正交归一基，这使得系统的状态可以表示为这些本征态的线性组合。测量算符M与本征态和本征值之间满足M\vert\phi_i\rangle=m_i\vert\phi_i\rangle，其中\vert\phi_i\rangle是M的本征态，m_i是对应的本征值。这一关系表明，当对量子系统进行测量时，测量结果只能是测量算符的本征值之一。如果系统的初始状态是\vert\psi\rangle，在测量M时，得到本征值m_i的概率为P(m_i)=\vert\langle\phi_i\vert\psi\rangle\vert^2。这里，\langle\phi_i\vert\psi\rangle是初始态\vert\psi\rangle在本征态\vert\phi_i\rangle上的投影，\vert\langle\phi_i\vert\psi\rangle\vert^2表示投影的模平方，它决定了测量得到本征值m_i的概率大小。当测量得到本征值m_i后，系统的状态会坍缩为测量所得结果对应的本征态\vert\phi_i\rangle。这一坍缩过程是量子测量的关键特征，它体现了量子测量对量子系统状态的不可逆改变。在量子比特的测量中，假设量子比特的初始状态为\frac{1}{\sqrt{2}}(|0\rangle+|1\rangle)，测量算符为Z=\begin{pmatrix}1&0\\0&-1\end{pmatrix}，其本征态分别为\vert0\rangle和\vert1\rangle，对应的本征值分别为1和-1。根据测量概率公式，测量得到本征值1（即测量结果为\vert0\rangle）的概率为\vert\langle0\vert\frac{1}{\sqrt{2}}(|0\rangle+|1\rangle)\vert^2=\frac{1}{2}，测量得到本征值-1（即测量结果为\vert1\rangle）的概率也为\vert\langle1\vert\frac{1}{\sqrt{2}}(|0\rangle+|1\rangle)\vert^2=\frac{1}{2}。一旦测量得到结果，系统就会坍缩到相应的本征态。测量算符必须满足完备性条件，即\sum_{m}M_m^{\dagger}M_m=I，其中M_m是测量算符，M_m^{\dagger}是其共轭转置，I是单位算符。这一完备性条件确保了测量得到各个结果的概率之和为1，体现了量子测量的概率守恒特性。在实际应用中，测量算符的选择和构造取决于具体的测量目的和量子系统的特性，通过对测量算符的精心设计和分析，可以深入研究量子系统的性质和行为。2.1.3量子测量的分类根据不同的情况和观点，量子测量可以分为多种类型，每一种类型都有其独特的特点和应用场景。从系统的角度来看，量子测量可分为封闭系统量子测量与开放系统量子测量。封闭系统量子测量通常假设量子体系是孤立的，不受外界环境的干扰，此时量子测量多为VonNeumann正交投影，即向被测力学量的正交归一本征函数族投影。在理想的实验室条件下，对一个孤立的量子比特进行测量，可视为封闭系统量子测量。而开放系统量子测量则考虑了量子系统与外界环境的相互作用，这种相互作用会导致量子系统的状态发生变化，使得测量过程更加复杂。实际的量子实验中，量子系统往往难以完全避免与外界环境的耦合，因此开放系统量子测量更符合实际情况。对于两体及多体系统，量子测量又可分为局域测量、关联测量和联合测量。局域测量是指只对两体中的某一方进行测量，相应的力学量只与被测量的一方有关，测量结果也只和约化密度矩阵有关。在一个由两个量子比特组成的系统中，只对其中一个量子比特进行测量，就是局域测量。关联测量则是同时对两体中的A、B进行局域测量，并比较相应结果。对于未纠缠态（可分离态），关联测量结果是可分离的，只和两个约化密度矩阵有关；而对于纠缠态，关联测量结果则体现了两体之间的量子关联。联合测量不是局域进行的，测量的力学量涉及两体或多体的不可分离部分，测量结果与两个粒子态的量子关联密切相关，能够揭示多体系统中更为复杂的量子特性。从测量的完整性角度，量子测量还可分为完全测量与不完全测量。完全测量能够获取量子系统的所有信息，使得测量后系统的状态完全确定；而不完全测量只能获取部分信息，测量后系统仍存在一定的不确定性。在一些量子实验中，由于技术限制或测量目的的不同，可能只能进行不完全测量，这就需要通过其他方法来进一步了解量子系统的性质。2.2凸组合与纯态相关概念2.2.1凸集与凸组合在数学中，凸集是一个具有特殊性质的集合，它在许多领域都有着广泛的应用，尤其在量子力学和量子信息科学中，凸集的概念为研究量子态的性质和变换提供了重要的基础。对于集合C\subseteq\mathbb{R}^n，如果对于任意的x,y\inC以及任意的0\leqt\leq1，都有tx+(1-t)y\inC，那么我们就称C是一个凸集。从几何意义上看，在二维空间中，x和y的凸组合tx+(1-t)y就是连接x和y两点的线段。因此，一个集合是凸集意味着该集合中任意两点的连线段都完全包含在这个集合内。在平面上，圆形、三角形、矩形等都是凸集的典型例子，而一个带有凹陷部分的图形则不是凸集，因为在凹陷处可以找到两点，它们的连线段不完全在图形内部。凸组合是凸集概念中的一个重要组成部分，它是由集合中的元素通过特定的线性组合方式得到的。对于给定的集合C，如果x_1,x_2,\cdots,x_k\inC，并且存在一组非负实数\theta_1,\theta_2,\cdots,\theta_k，满足\sum_{i=1}^{k}\theta_i=1，那么\sum_{i=1}^{k}\theta_ix_i就被称为x_1,x_2,\cdots,x_k的凸组合。在一个三角形中，三角形内的任意一点都可以表示为三角形三个顶点的凸组合。假设三角形的三个顶点分别为A、B、C，对于三角形内的一点P，存在非负实数\theta_1、\theta_2、\theta_3，使得\theta_1+\theta_2+\theta_3=1，并且P=\theta_1A+\theta_2B+\theta_3C。保凸组合映射是指在凸集之间的一种映射关系，它保持凸组合的性质不变。设\varphi:S(\mathcal{H})\toS(\mathcal{K})是一个映射，如果对于任意的\rho,\sigma\inS(\mathcal{H})和t\in[0,1]，都存在某个s满足0\leqs\leq1，使得\varphi(t\rho+(1-t)\sigma)=s\varphi(\rho)+(1-s)\varphi(\sigma)，那么我们就称\varphi是一个保凸组合映射。在量子力学中，量子测量映射常常具有保凸组合的性质。当我们对一个量子系统进行测量时，测量前后的量子态之间的关系就可以用保凸组合映射来描述。如果在测量前量子系统的态是\rho\inS(\mathcal{H})，测量后的态是\varphi(\rho)，对于两个不同的初始态\rho_1和\rho_2以及它们的凸组合t\rho_1+(1-t)\rho_2，测量后的态也会满足相应的凸组合关系，即\varphi(t\rho_1+(1-t)\rho_2)=s\varphi(\rho_1)+(1-s)\varphi(\rho_2)，这体现了保凸组合映射在量子测量过程中的重要作用，它保证了量子态在测量前后的某种一致性和规律性。2.2.2纯态与混合态在量子力学中，纯态和混合态是描述量子系统状态的两种重要概念，它们在量子信息处理、量子计算等领域中具有举足轻重的地位。纯态是指量子态可以完全由一个波函数来描述的状态。在一个量子比特系统中，态矢量\vert0\rangle和\vert1\rangle以及它们的任意叠加态，如\frac{1}{\sqrt{2}}(\vert0\rangle+\vert1\rangle)，都属于纯态。纯态的波函数具有正交性和完整性，其平方绝对值表示该态出现的概率。对于纯态\vert\psi\rangle，其在某个力学量算符M的本征态\vert\phi_i\rangle上的投影概率为\vert\langle\phi_i\vert\psi\rangle\vert^2，这体现了纯态在量子测量中的概率特性。混合态则是指量子态由多个波函数所描述的状态，它可以看作是不同纯态按照一定概率的混合。混合态的波函数是一个概率分布，每个波函数对应一个概率。一个量子系统以p_1的概率处于纯态\vert\psi_1\rangle，以p_2的概率处于纯态\vert\psi_2\rangle（其中p_1+p_2=1），那么这个量子系统就处于混合态。从密度矩阵的角度来看，密度矩阵是一个非负对称矩阵，它可以用来描述量子态的混合程度。纯态对应的密度矩阵是对角线矩阵，例如纯态\vert\psi\rangle的密度矩阵为\rho=\vert\psi\rangle\langle\psi\vert，其对角线上的元素表示在相应本征态上的概率，非对角线上的元素为0；而混合态对应的密度矩阵是非对角线矩阵，对于上述混合态，其密度矩阵为\rho=p_1\vert\psi_1\rangle\langle\psi_1\vert+p_2\vert\psi_2\rangle\langle\psi_2\vert，非对角线元素反映了不同纯态之间的相干性。纯态和混合态之间存在着密切的联系，它们共同构成了量子系统状态的完整描述。在实际的量子系统中，由于与外界环境的相互作用，量子系统往往会从纯态逐渐演变为混合态，这个过程被称为量子退相干。在量子计算中，量子比特需要保持纯态才能进行有效的量子计算，但由于环境噪声的影响，量子比特很容易发生退相干，从而变成混合态，这会导致量子计算的错误和效率降低。因此，如何保护量子比特的纯态，抑制量子退相干，是量子计算领域中的一个关键问题。纯态在量子信息中具有至关重要的地位。它是量子信息的基本载体，许多量子信息处理任务都依赖于纯态的特性。在量子通信中，量子密钥分发利用了量子态的不可克隆性和测量的随机性，而这些特性都与纯态密切相关。通过制备和传输纯态的量子比特，可以实现安全的密钥分发，保证通信的保密性。在量子隐形传态中，需要利用纠缠的纯态对来实现量子态的远程传输，将一个量子比特的状态从一个位置传输到另一个位置，这一过程展示了纯态在量子信息传输中的独特作用。2.2.3保严格凸组合和纯态的映射定义保严格凸组合和纯态的映射是一种特殊的映射，它在量子态的研究中具有重要的意义，与一般的保凸组合映射相比，具有更严格的条件和独特的性质。我们给出保严格凸组合和纯态的映射的严格定义：设\varphi:S(\mathcal{H})\toS(\mathcal{K})是一个映射，如果对于任意的\rho,\sigma\inS(\mathcal{H})和t\in(0,1)，都存在某个s\in(0,1)，使得\varphi(t\rho+(1-t)\sigma)=s\varphi(\rho)+(1-s)\varphi(\sigma)，并且\varphi将纯态映射为纯态，即对于任意的纯态\vert\psi\rangle\inS(\mathcal{H})，\varphi(\vert\psi\rangle)也是纯态，那么我们称\varphi是一个保严格凸组合和纯态的映射。与一般保凸组合映射相比，保严格凸组合和纯态的映射的区别主要体现在两个方面。保严格凸组合和纯态的映射要求t和s都严格取值于开区间(0,1)，而一般保凸组合映射中t和s的取值范围是闭区间[0,1]。这一区别使得保严格凸组合和纯态的映射对凸组合的保持更加严格，排除了t=0或t=1这种特殊情况，更强调了凸组合的中间状态的保持。保严格凸组合和纯态的映射明确要求将纯态映射为纯态，而一般保凸组合映射并没有对纯态的映射结果做出这样严格的规定。这一特性使得保严格凸组合和纯态的映射在保持量子态的纯度方面具有独特的作用，对于研究量子态的演化和变换具有重要的价值。在量子测量中，测量映射通常具有保严格凸组合和纯态的性质。当对一个量子系统进行测量时，测量前的量子态可以是混合态或纯态，测量后的态满足严格凸组合的关系，并且如果测量前是纯态，测量后仍然是纯态。假设测量前量子系统的态为\rho=t\rho_1+(1-t)\rho_2（\rho_1和\rho_2为任意态，t\in(0,1)），测量后的态为\varphi(\rho)=s\varphi(\rho_1)+(1-s)\varphi(\rho_2)（s\in(0,1)），如果\rho_1是纯态，那么\varphi(\rho_1)也是纯态。这种性质使得保严格凸组合和纯态的映射在描述量子测量过程中起到了关键作用，为深入理解量子测量的机制和量子态的变化提供了有力的工具。三、量子态上保严格凸组合和纯态的映射刻画3.1单量子系统中映射的刻画3.1.1相关定理与证明在单量子系统中，保严格凸组合和纯态的映射具有独特的性质，通过以下定理可以对其进行深入刻画。定理1：设\varphi:S(\mathcal{H})\toS(\mathcal{H})是一个映射，其中S(\mathcal{H})是复Hilbert空间\mathcal{H}上所有态构成的凸集，\dim\mathcal{H}=2。若\varphi保严格凸组合和纯态，则\varphi是可逆量子测量映射或者是可逆量子测量映射与转置的复合，即\varphi有下列形式之一：\rho\mapsto\frac{A\rhoA^{\dagger}}{\text{tr}(A\rhoA^{\dagger})}或者\rho\mapsto\frac{A\rho^{T}A^{\dagger}}{\text{tr}(A\rho^{T}A^{\dagger})}，其中A是有界可逆算子，\rho^{T}是\rho关于任意固定的规范正交基的转置。证明：首先，因为\varphi保纯态，对于任意纯态\vert\psi\rangle\inS(\mathcal{H})，\varphi(\vert\psi\rangle)也是纯态。在二维Hilbert空间中，纯态可以表示为\vert\psi\rangle=\cos\frac{\theta}{2}\vert0\rangle+e^{i\varphi}\sin\frac{\theta}{2}\vert1\rangle，其对应的密度矩阵\rho=\vert\psi\rangle\langle\psi\vert是秩一投影算子。设\rho_1,\rho_2\inS(\mathcal{H})，t\in(0,1)，由于\varphi保严格凸组合，存在s\in(0,1)，使得\varphi(t\rho_1+(1-t)\rho_2)=s\varphi(\rho_1)+(1-s)\varphi(\rho_2)。考虑\varphi在纯态集合上的作用，设\vert\psi_1\rangle和\vert\psi_2\rangle是两个纯态，对应的密度矩阵分别为\rho_{\psi_1}=\vert\psi_1\rangle\langle\psi_1\vert和\rho_{\psi_2}=\vert\psi_2\rangle\langle\psi_2\vert。则\varphi(\rho_{\psi_1})和\varphi(\rho_{\psi_2})也是纯态，设为\vert\phi_1\rangle\langle\phi_1\vert和\vert\phi_2\rangle\langle\phi_2\vert。根据保严格凸组合的性质，对于t\rho_{\psi_1}+(1-t)\rho_{\psi_2}，有\varphi(t\rho_{\psi_1}+(1-t)\rho_{\psi_2})=s\vert\phi_1\rangle\langle\phi_1\vert+(1-s)\vert\phi_2\rangle\langle\phi_2\vert。又因为\varphi是从态空间到态空间的映射，且满足上述性质，我们可以利用线性代数和量子力学的相关知识进行推导。设\{\verte_1\rangle,\verte_2\rangle\}是\mathcal{H}的一组规范正交基，对于任意态\rho，可以表示为\rho=\sum_{i,j=1}^{2}\rho_{ij}\verte_i\rangle\langlee_j\vert。由于\varphi保纯态，对于纯态\verte_1\rangle和\verte_2\rangle，\varphi(\verte_1\rangle\langlee_1\vert)和\varphi(\verte_2\rangle\langlee_2\vert)也是纯态，设为\vertf_1\rangle\langlef_1\vert和\vertf_2\rangle\langlef_2\vert。对于任意\rho=a\verte_1\rangle\langlee_1\vert+(1-a)\verte_2\rangle\langlee_2\vert+b\verte_1\rangle\langlee_2\vert+b^*\verte_2\rangle\langlee_1\vert（a\in[0,1]，b\in\mathbb{C}），根据保严格凸组合的性质，有\varphi(\rho)=c\vertf_1\rangle\langlef_1\vert+(1-c)\vertf_2\rangle\langlef_2\vert+d\vertf_1\rangle\langlef_2\vert+d^*\vertf_2\rangle\langlef_1\vert（c\in[0,1]，d\in\mathbb{C}）。通过进一步的推导和分析，可以得到\varphi满足\varphi(\rho)=\frac{A\rhoA^{\dagger}}{\text{tr}(A\rhoA^{\dagger})}或者\varphi(\rho)=\frac{A\rho^{T}A^{\dagger}}{\text{tr}(A\rho^{T}A^{\dagger})}的形式。这里A是有界可逆算子，其具体形式可以通过对\varphi在纯态上的作用以及保严格凸组合的性质进行详细计算得到。假设\varphi(\verte_1\rangle\langlee_1\vert)=\vertf_1\rangle\langlef_1\vert，\varphi(\verte_2\rangle\langlee_2\vert)=\vertf_2\rangle\langlef_2\vert，根据保凸组合性质，对于\rho=t\verte_1\rangle\langlee_1\vert+(1-t)\verte_2\rangle\langlee_2\vert，有\varphi(\rho)=s\vertf_1\rangle\langlef_1\vert+(1-s)\vertf_2\rangle\langlef_2\vert。通过计算\varphi在\verte_1\rangle\langlee_2\vert和\verte_2\rangle\langlee_1\vert上的作用，结合\varphi的线性性质和保态的性质，可以确定A的具体形式，从而完成证明。3.1.2具体案例分析以简单的量子比特系统为例，该系统的态空间为二维复Hilbert空间\mathcal{H}=\mathbb{C}^2，基矢为\vert0\rangle和\vert1\rangle。量子比特的一般态可以表示为\rho=\begin{pmatrix}a&b\\b^*&1-a\end{pmatrix}，其中a\in[0,1]，b\in\mathbb{C}，且满足\text{tr}(\rho)=1，即a+(1-a)=1。考虑一个保严格凸组合和纯态的映射\varphi，假设\varphi是可逆量子测量映射，设测量算子为A=\begin{pmatrix}1&0\\0&2\end{pmatrix}。对于态\rho=\begin{pmatrix}0.5&0.5\\0.5&0.5\end{pmatrix}，根据\varphi(\rho)=\frac{A\rhoA^{\dagger}}{\text{tr}(A\rhoA^{\dagger})}进行计算。首先计算A\rhoA^{\dagger}：\begin{align*}A\rhoA^{\dagger}&=\begin{pmatrix}1&0\\0&2\end{pmatrix}\begin{pmatrix}0.5&0.5\\0.5&0.5\end{pmatrix}\begin{pmatrix}1&0\\0&2\end{pmatrix}\\&=\begin{pmatrix}1&0\\0&2\end{pmatrix}\begin{pmatrix}0.5&1\\0.5&1\end{pmatrix}\\&=\begin{pmatrix}0.5&1\\1&2\end{pmatrix}\end{align*}然后计算\text{tr}(A\rhoA^{\dagger})：\begin{align*}\text{tr}(A\rhoA^{\dagger})&=0.5+2\\&=2.5\end{align*}则\varphi(\rho)=\frac{1}{2.5}\begin{pmatrix}0.5&1\\1&2\end{pmatrix}=\begin{pmatrix}0.2&0.4\\0.4&0.8\end{pmatrix}。可以验证\varphi满足保严格凸组合的性质。设\rho_1=\begin{pmatrix}1&0\\0&0\end{pmatrix}，\rho_2=\begin{pmatrix}0&0\\0&1\end{pmatrix}，t=0.3。则t\rho_1+(1-t)\rho_2=0.3\begin{pmatrix}1&0\\0&0\end{pmatrix}+0.7\begin{pmatrix}0&0\\0&1\end{pmatrix}=\begin{pmatrix}0.3&0\\0&0.7\end{pmatrix}。计算\varphi(t\rho_1+(1-t)\rho_2)：\begin{align*}A(t\rho_1+(1-t)\rho_2)A^{\dagger}&=\begin{pmatrix}1&0\\0&2\end{pmatrix}\begin{pmatrix}0.3&0\\0&0.7\end{pmatrix}\begin{pmatrix}1&0\\0&2\end{pmatrix}\\&=\begin{pmatrix}1&0\\0&2\end{pmatrix}\begin{pmatrix}0.3&0\\0&1.4\end{pmatrix}\\&=\begin{pmatrix}0.3&0\\0&2.8\end{pmatrix}\end{align*}\text{tr}(A(t\rho_1+(1-t)\rho_2)A^{\dagger})=0.3+2.8=3.1，所以\varphi(t\rho_1+(1-t)\rho_2)=\frac{1}{3.1}\begin{pmatrix}0.3&0\\0&2.8\end{pmatrix}=\begin{pmatrix}\frac{0.3}{3.1}&0\\0&\frac{2.8}{3.1}\end{pmatrix}。同时计算s\varphi(\rho_1)+(1-s)\varphi(\rho_2)，先计算\varphi(\rho_1)：\begin{align*}A\rho_1A^{\dagger}&=\begin{pmatrix}1&0\\0&2\end{pmatrix}\begin{pmatrix}1&0\\0&0\end{pmatrix}\begin{pmatrix}1&0\\0&2\end{pmatrix}\\&=\begin{pmatrix}1&0\\0&0\end{pmatrix}\end{align*}\text{tr}(A\rho_1A^{\dagger})=1，所以\varphi(\rho_1)=\begin{pmatrix}1&0\\0&0\end{pmatrix}。同理\varphi(\rho_2)=\frac{1}{4}\begin{pmatrix}0&0\\0&4\end{pmatrix}=\begin{pmatrix}0&0\\0&1\end{pmatrix}。设s满足\varphi(t\rho_1+(1-t)\rho_2)=s\varphi(\rho_1)+(1-s)\varphi(\rho_2)，即\begin{pmatrix}\frac{0.3}{3.1}&0\\0&\frac{2.8}{3.1}\end{pmatrix}=s\begin{pmatrix}1&0\\0&0\end{pmatrix}+(1-s)\begin{pmatrix}0&0\\0&1\end{pmatrix}=\begin{pmatrix}s&0\\0&1-s\end{pmatrix}，可得s=\frac{0.3}{3.1}，满足s\in(0,1)，验证了\varphi保严格凸组合。对于纯态，如\vert\psi\rangle=\frac{1}{\sqrt{2}}(\vert0\rangle+\vert1\rangle)，其密度矩阵\rho_{\psi}=\begin{pmatrix}0.5&0.5\\0.5&0.5\end{pmatrix}，前面已计算\varphi(\rho_{\psi})=\begin{pmatrix}0.2&0.4\\0.4&0.8\end{pmatrix}，\varphi(\rho_{\psi})仍然是一个纯态（可通过计算其秩为1来验证），验证了\varphi保纯态。再考虑\varphi是可逆量子测量映射与转置复合的情况，设A=\begin{pmatrix}1&1\\1&2\end{pmatrix}，对于态\rho=\begin{pmatrix}0.5&0.5\\0.5&0.5\end{pmatrix}，先计算\rho^T=\begin{pmatrix}0.5&0.5\\0.5&0.5\end{pmatrix}（因为\rho是对称矩阵，转置后不变）。计算A\rho^TA^{\dagger}：\begin{align*}A\rho^TA^{\dagger}&=\begin{pmatrix}1&1\\1&2\end{pmatrix}\begin{pmatrix}0.5&0.5\\0.5&0.5\end{pmatrix}\begin{pmatrix}1&1\\1&2\end{pmatrix}^T\\&=\begin{pmatrix}1&1\\1&2\end{pmatrix}\begin{pmatrix}0.5&0.5\\0.5&0.5\end{pmatrix}\begin{pmatrix}1&1\\1&2\end{pmatrix}\\&=\begin{pmatrix}1&1\\1&2\end{pmatrix}\begin{pmatrix}1&1.5\\1&1.5\end{pmatrix}\\&=\begin{pmatrix}2&3\\3&4.5\end{pmatrix}\end{align*}\text{tr}(A\rho^TA^{\dagger})=2+4.5=6.5，则\varphi(\rho)=\frac{1}{6.5}\begin{pmatrix}2&3\\3&4.5\end{pmatrix}=\begin{pmatrix}\frac{2}{6.5}&\frac{3}{6.5}\\\frac{3}{6.5}&\frac{4.5}{6.5}\end{pmatrix}。同样可以按照上述方法验证其保严格凸组合和纯态的性质。通过这个具体的量子比特系统案例，直观地展示了保严格凸组合和纯态的映射在单量子系统中的具体表现，同时也验证了前面所证明的定理。三、量子态上保严格凸组合和纯态的映射刻画3.2多体量子系统中映射的刻画3.2.1多体系统的特殊性质多体量子系统具有独特的张量积结构，这一结构使得多体系统的量子态和量子测量呈现出与单量子系统不同的特性。在多体量子系统中，设\mathcal{H}_1,\mathcal{H}_2,\cdots,\mathcal{H}_n是n个复Hilbert空间，系统的总态空间为\mathcal{H}=\mathcal{H}_1\otimes\mathcal{H}_2\otimes\cdots\otimes\mathcal{H}_n。这种张量积结构使得多体系统的态空间更加复杂，态的表示和运算也更为繁琐。以两体量子系统为例，设\mathcal{H}_1和\mathcal{H}_2的基矢分别为\{\verte_i\rangle\}和\{\vertf_j\rangle\}，则\mathcal{H}=\mathcal{H}_1\otimes\mathcal{H}_2的基矢为\{\verte_i\rangle\otimes\vertf_j\rangle\}。一个两体量子态\vert\psi\rangle可以表示为\vert\psi\rangle=\sum_{i,j}c_{ij}\verte_i\rangle\otimes\vertf_j\rangle，其中c_{ij}是复数，且满足\sum_{i,j}\vertc_{ij}\vert^2=1。这种表示方式与单量子系统中态的表示有很大的区别，单量子系统的态可以用一个简单的矢量来表示，而两体量子系统的态需要用一个二维的系数矩阵来描述。多体系统中的量子测量也具有独特的性质。局域测量是指只对其中一个子系统进行测量，这种测量只改变被测量子系统的状态，而不影响其他子系统的状态。在一个两体量子系统中，对第一个子系统进行测量，测量算符只作用在\mathcal{H}_1上，不会对\mathcal{H}_2产生直接影响。联合测量则是对多个子系统同时进行测量，测量结果反映了多个子系统之间的关联。对于一个处于纠缠态的两体量子系统，进行联合测量时，测量结果会表现出非局域性的关联，即对一个子系统的测量结果会立即影响到另一个子系统的状态，这种非局域性是多体量子系统中量子测量的一个重要特征。多体系统的张量积结构和量子测量的特性对保严格凸组合和纯态的映射刻画产生了重要影响。由于态空间的复杂性增加，映射的形式和性质也变得更加复杂。在单量子系统中，保严格凸组合和纯态的映射可以通过简单的可逆量子测量映射或者其与转置的复合来刻画，但在多体系统中，这种刻画方式不再适用。需要考虑更多的因素，如子系统之间的相互作用、测量的顺序和方式等，来准确刻画保严格凸组合和纯态的映射。在两体量子系统中，一个保严格凸组合和纯态的映射可能需要同时考虑两个子系统的测量和态的变换，其形式可能涉及到两个子系统的测量算符的张量积以及其他复杂的变换。3.2.2可分纯态与保凸组合映射的关系在多体量子系统中，可分纯态具有独特的性质，这些性质与保凸组合映射之间存在着密切的联系。可分纯态是指可以表示为各个子系统纯态的张量积的纯态。对于一个n体量子系统\mathcal{H}=\mathcal{H}_1\otimes\mathcal{H}_2\otimes\cdots\otimes\mathcal{H}_n，如果一个纯态\vert\psi\rangle可以写成\vert\psi\rangle=\vert\psi_1\rangle\otimes\vert\psi_2\rangle\otimes\cdots\otimes\vert\psi_n\rangle，其中\vert\psi_i\rangle是\mathcal{H}_i上的纯态，那么\vert\psi\rangle就是一个可分纯态。可分纯态在多体量子系统中具有重要的地位，它是研究多体系统量子特性的基础。可分纯态的性质与保凸组合映射之间存在着紧密的联系。一个保严格凸组合和纯态的映射\varphi，如果将可分纯态映为可分纯态，那么它在多体量子系统中就具有特殊的性质。假设\vert\psi\rangle=\vert\psi_1\rangle\otimes\vert\psi_2\rangle是一个两体可分纯态，\varphi是一个保严格凸组合和纯态的映射，那么\varphi(\vert\psi\rangle)=\varphi(\vert\psi_1\rangle\otimes\vert\psi_2\rangle)也是一个可分纯态，设为\vert\phi_1\rangle\otimes\vert\phi_2\rangle。这意味着\varphi在作用于可分纯态时，能够保持其可分性和纯态的性质。这种关系在多体量子系统的研究中具有重要的意义。它可以帮助我们更好地理解多体系统中量子态的变换和演化，以及保严格凸组合和纯态的映射在其中所起的作用。通过研究可分纯态与保凸组合映射之间的关系，我们可以进一步揭示多体量子系统的量子特性，如量子纠缠、量子关联等。在研究量子纠缠时，可分纯态与保凸组合映射的关系可以帮助我们判断一个态是否为纠缠态，以及纠缠态在映射作用下的变化情况。如果一个映射能够将可分纯态映为可分纯态，那么它对于纠缠态的作用就可以通过研究纠缠态与可分纯态之间的关系来间接了解。3.2.3案例研究：两体复合量子系统以两体复合量子系统为例，深入分析保严格凸组合和可分纯态的映射的特性和表现。设两体复合量子系统的态空间为\mathcal{H}=\mathcal{H}_1\otimes\mathcal{H}_2，其中\mathcal{H}_1和\mathcal{H}_2分别为两个子系统的态空间。考虑一个保严格凸组合和可分纯态的映射\varphi，对于可分纯态\vert\psi\rangle=\vert\psi_1\rangle\otimes\vert\psi_2\rangle，\varphi(\vert\psi\rangle)也是可分纯态。假设\vert\psi_1\rangle=\cos\frac{\theta}{2}\vert0\rangle_1+e^{i\varphi}\sin\frac{\theta}{2}\vert1\rangle_1，\vert\psi_2\rangle=\cos\frac{\alpha}{2}\vert0\rangle_2+e^{i\beta}\sin\frac{\alpha}{2}\vert1\rangle_2，则\vert\psi\rangle=(\cos\frac{\theta}{2}\vert0\rangle_1+e^{i\varphi}\sin\frac{\theta}{2}\vert1\rangle_1)\otimes(\cos\frac{\alpha}{2}\vert0\rangle_2+e^{i\beta}\sin\frac{\alpha}{2}\vert1\rangle_2)。经过映射\varphi作用后，\varphi(\vert\psi\rangle)=\vert\phi_1\rangle\otimes\vert\phi_2\rangle，其中\vert\phi_1\rangle和\vert\phi_2\rangle也是纯态，且具有类似的形式。通过具体计算\varphi(\vert\psi\rangle)，可以得到\vert\phi_1\rangle和\vert\phi_2\rangle的具体表达式，从而深入了解映射\varphi对可分纯态的作用机制。对于一般的可分态\rho=\sum_{i}p_i\vert\psi_{1i}\rangle\otimes\vert\psi_{2i}\rangle\langle\psi_{1i}\vert\otimes\langle\psi_{2i}\vert，\varphi(\rho)也是可分态。计算\varphi(\rho)：\begin{align*}\varphi(\rho)&=\varphi(\sum_{i}p_i\vert\psi_{1i}\rangle\otimes\vert\psi_{2i}\rangle\langle\psi_{1i}\vert\otimes\langle\psi_{2i}\vert)\\&=\sum_{i}p_i\varphi(\vert\psi_{1i}\rangle\otimes\vert\psi_{2i}\rangle\langle\psi_{1i}\vert\otimes\langle\psi_{2i}\vert)\\&=\sum_{i}p_i\vert\phi_{1i}\rangle\otimes\vert\phi_{2i}\rangle\langle\phi_{1i}\vert\otimes\langle\phi_{2i}\vert\end{align*}其中\vert\phi_{1i}\rangle和\vert\phi_{2i}\rangle是\varphi作用于\vert\psi_{1i}\rangle和\vert\psi_{2i}\rangle后得到的纯态。通过这个案例可以看出，保严格凸组合和可分纯态的映射在两体复合量子系统中，能够保持可分态和可分纯态的性质，并且对于可分态的凸组合也能保持相应的凸组合关系。这一特性在量子信息处理中具有重要的应用价值，例如在量子通信中，可以利用这种映射来保证量子态在传输和处理过程中的可分性和纯度，从而提高通信的可靠性和安全性。四、量子测量与保严格凸组合和纯态映射的关系4.1量子测量映射的特性分析4.1.1保严格凸组合特性量子测量映射具有保严格凸组合的特性，这一特性在量子测量过程中起着关键作用。从量子测量的基本原理出发，设量子系统的初始态为\rho和\sigma，t\in(0,1)，则初始态的凸组合为\tau=t\rho+(1-t)\sigma。在量子测量中，测量算符M作用于量子系统，根据量子测量的数学描述，测量后的态可表示为\rho'=\frac{M\rhoM^{\dagger}}{\text{tr}(M\rhoM^{\dagger})}，\sigma'=\frac{M\sigmaM^{\dagger}}{\text{tr}(M\sigmaM^{\dagger})}，\tau'=\frac{M\tauM^{\dagger}}{\text{tr}(M\tauM^{\dagger})}。通过计算可以证明，存在某个s\in(0,1)，使得\tau'=s\rho'+(1-s)\sigma'，即量子测量映射保严格凸组合。具体计算过程如下：\begin{align*}\tau'&=\frac{M(t\rho+(1-t)\sigma)M^{\dagger}}{\text{tr}(M(t\rho+(1-t)\sigma)M^{\dagger})}\\&=\frac{tM\rhoM^{\dagger}+(1-t)M\sigmaM^{\dagger}}{\text{tr}(tM\rhoM^{\dagger}+(1-t)M\sigmaM^{\dagger})}\\\end{align*}设A=\text{tr}(M\rhoM^{\dagger})，B=\text{tr}(M\sigmaM^{\dagger})，C=\text{tr}(tM\rhoM^{\dagger}+(1-t)M\sigmaM^{\dagger})，则C=tA+(1-t)B。\begin{align*}\tau'&=\frac{tM\rhoM^{\dagger}+(1-t)M\sigmaM^{\dagger}}{tA+(1-t)B}\\&=\frac{tA}{tA+(1-t)B}\frac{M\rhoM^{\dagger}}{A}+\frac{(1-t)B}{tA+(1-t)B}\frac{M\sigmaM^{\dagger}}{B}\\\end{align*}令s=\frac{tA}{tA+(1-t)B}，因为A\gt0，B\gt0，t\in(0,1)，所以s\in(0,1)，且\tau'=s\rho'+(1-s)\sigma'，从而证明了量子测量映射保严格凸组合。以光子的偏振测量为例，假设存在两个光子态\rho和\sigma，\rho表示水平偏振态，\sigma表示垂直偏振态。当对这两个光子态进行偏振测量时，测量算符M作用于光子态。对于凸组合态\tau=t\rho+(1-t)\sigma，测量后的态\tau'满足保严格凸组合的性质。如果t=0.3，测量后得到水平偏振态的概率和垂直偏振态的概率会按照一定的比例分配，这个比例关系正好体现了保严格凸组合的特性，即\tau'可以表示为测量后\rho'和\sigma'的凸组合，且组合系数s和1-s满足s\in(0,1)。4.1.2纯态映射特性量子测量映射将纯态映为纯态，这一特性在量子信息处理中具有重要意义。从量子测量的数学描述来看，对于一个纯态\vert\psi\rangle，其对应的密度矩阵为\rho=\vert\psi\rangle\langle\psi\vert。当测量算符M作用于\rho时，测量后的态为\rho'=\frac{M\rhoM^{\dagger}}{\text{tr}(M\rhoM^{\dagger})}。由于\rho是纯态，其秩为1，经过测量算符M作用后，\rho'的秩仍然为1，所以\rho'也是纯态。具体证明如下：设M是测量算符，\vert\psi\rangle是纯态，\rho=\vert\psi\rangle\langle\psi\vert，则M\rhoM^{\dagger}=M\vert\psi\rangle\langle\psi\vertM^{\dagger}。因为\vert\psi\rangle是一维向量，M\vert\psi\rangle也是一维向量（因为测量算符作用于向量后得到的还是向量，且不改变向量的维度），所以M\vert\psi\rangle\langle\psi\vertM^{\dagger}的秩为1。又因为\text{tr}(M\rhoM^{\dagger})是一个非零实数（因为测量算符满足完备性条件，\text{tr}(M\rhoM^{\dagger})表示测量后得到某个结果的概率，不为0），所以\rho'=\frac{M\rhoM^{\dagger}}{\text{tr}(M\rhoM^{\dagger})}的秩为1，即\rho'是纯态。在量子通信中，量子密钥分发利用了量子态的不可克隆性和测量的随机性，而这些特性都与纯态密切相关。通过制备和传输纯态的量子比特，可以实现安全的密钥分发。在这个过程中，量子测量映射将纯态映为纯态的特性保证了量子比特在测量前后的纯度不变，从而确保了量子密钥分发的安全性和可靠性。如果量子测量映射不能将纯态映为纯态，那么在测量过程中量子比特的纯度会发生变化，这将导致量子密钥分发的错误率增加，无法实现安全的通信。四、量子测量与保严格凸组合和纯态映射的关系4.2从映射角度理解量子测量4.2.1可逆量子测量映射的形式可逆量子测量映射具有特定的形式，这种形式与保严格凸组合和纯态的映射密切相关。设\varphi:S(\mathcal{H})\toS(\mathcal{H})是一个可逆量子测量映射，根据量子测量的基本理论，它可以表示为\varphi(\rho)=\frac{A\rhoA^{\dagger}}{\text{tr}(A\rhoA^{\dagger})}，其中A是有界可逆算子。这种形式体现了量子测量过程中测量算符对量子态的作用。从保严格凸组合和纯态的映射角度来看，这种形式的映射满足保严格凸组合和纯态的性质。对于任意的\rho,\sigma\inS(\mathcal{H})和t\in(0,1)，有：\begin{align*}\varphi(t\rho+(1-t)\sigma)&=\frac{A(t\rho+(1-t)\sigma)A^{\dagger}}{\text{tr}(A(t\rho+(1-t)\sigma)A^{\dagger})}\\&=\frac{tA\rhoA^{\dagger}+(1-t)A\sigmaA^{\dagger}}{\text{tr}(tA\rhoA^{\dagger}+(1-t)A\sigmaA^{\dagger})}\end{align*}设s=\frac{\text{tr}(tA\rhoA^{\dagger})}{\text{tr}(tA\rhoA^{\dagger}+(1-t)A\sigmaA^{\dagger})}，因为t\in(0,1)，\text{tr}(A\rhoA^{\dagger})\gt0，\text{tr}(A\sigmaA^{\dagger})\gt0，所以s\in(0,1)，且\varphi(t\rho+(1-t)\sigma)=s\varphi(\rho)+(1-s)\varphi(\sigma)，满足保严格凸组合的性质。对于纯态\vert\psi\rangle，其密度矩阵\rho=\vert\psi\rangle\langle\psi\vert，\varphi(\rho)=\frac{A\vert\psi\rangle\langle\psi\vertA^{\dagger}}{\text{tr}(A\vert\psi\rangle\langle\psi\vertA^{\dagger})}。因为A是有界可逆算子，\vert\psi\rangle是纯态，所以\varphi(\rho)也是纯态，满足保纯态的性质。在单量子系统中，若\varphi是保严格凸组合和纯态的双射映射，则\varphi要么是可逆量子测量映射，要么是可逆量子测量映射与转置的复合。这一结论进一步说明了可逆量子测量映射的形式在保严格凸组合和纯态的映射中的重要地位，它为刻画这类映射提供了关键的形式基础。4.2.2局部量子测量与映射的联系局部量子测量与保严格凸组合和可分纯态的映射存在紧密的联系。在多体量子系统中，局部量子测量是指只对其中一个子系统进行测量，而不影响其他子系统的测量方式。设两体复合量子系统的态空间为\mathcal{H}=\mathcal{H}_1\otimes\mathcal{H}_2，局部量子测量映射\varphi可以表示为\varphi(\rho)=\frac{(S\otimesT)\rho(S^{\dagger}\otimesT^{\dagger})}{\text{tr}((S\otimesT)\rho(S^{\dagger}\otimesT^{\dagger}))}，其中S\inB(\mathcal{H}_1)，T\inB(\mathcal{H}_2)是有界可逆算子。这种局部量子测量映射具有保严格凸组合和可分纯态的性质。对于可分纯态\vert\psi\rangle=\vert\psi_1\rangle\otimes\vert\psi_2\rangle，\varphi(\vert\psi\rangle)也是可分纯态。计算可得：\begin{align*}\varphi(\vert\psi\rangle)&=\frac{(S\otimesT)(\vert\psi_1\rangle\otimes\vert\psi_2\rangle)(\langle\psi_1\vert\otimes\langle\psi_2\vert)(S^{\dagger}\otimesT^{\dagger})}{\text{tr}((S\otimesT)(\vert\psi_1\rangle\otimes\vert\psi_2\rangle)(\langle\psi_1\vert\otimes\langle\psi_2\vert)(S^{\dagger}\otimesT^{\dagger}))}\\&=\frac{(S\vert\psi_1\rangle\otimesT\vert\psi_2\rangle)(\langle\psi_1\vertS^{\dagger}\otimes\langle\psi_2\vertT^{\dagger})}{\text{tr}((S\vert\psi_1\rangle\otimesT\vert\psi_2\rangle)(\langle\psi_1\vertS^{\dagger}\otimes\langle\psi_2\vertT^{\dagger}))}\end{align*}因为S\vert\psi_1\rangle和T\vert\psi_2\rangle分别是\mathcal{H}_1和\mathcal{H}_2上的纯态，所以\varphi(\vert\psi\rangle)是可分纯态。对于可分态\rho=\sum_{i}p_i\vert\psi_{1i}\rangle\otimes\vert\psi_{2i}\rangle\langle\psi_{1i}\vert\otimes\langle\psi_{2i}\vert，\varphi(\rho)也是可分态，且满足保严格凸组合的性质。计算\varphi(\rho)：\begin{align*}\varphi(\rho)&=\frac{(S\otimesT)\sum_{i}p_i\vert\psi_{1i}\rangle\otimes\vert