可蒸馏纠缠的严格处理

可蒸馏纠缠的概念是量子信息论的基本概念之一。不幸的是，可蒸馏纠缠的直观定义与严格定义之间存在明显错位。确切地说，现有的严格定义施加了蒸馏协议须产生定常维度输出的约束。因此可设想，这一不必要的约束可能导致对真实可蒸馏纠缠的低估。我们给出可蒸馏纠缠的新定义，去除了该约束，但可能高估真实值。由于这些定义被证明等价，既不可能低估也不可能高估，且两种定义均堪称正确。