是否可以在不属于较大系统一部分的状态下对正图进行操作？
在我最近提出的一个问题的评论中，user1271772和我之间进行了关于正运算符的讨论。 我知道对于正迹保留运算符（例如部分转置），如果它在混合状态则尽管是有效的密度矩阵，但它会掩盖系统的密度矩阵纠缠到-因此这不是有效的运算符。ΛΛ\Lambdaρρ\rhoΛ(ρ)Λ（ρ）\Lambda(\rho) 但是，这和user1271772的评论让我开始思考。在不属于较大系统的状态下操作确实会给出有效的密度矩阵，并且没有关联的纠缠系统将其分解。ΛΛ\Lambda 因此，我的问题是：是否允许这样的操作（即，正图在不属于较大系统的状态下的动作）。如果没有，为什么不呢？如果是这样，是否可以将任何正图扩展到完全正图（也许很简单）？