# 272｜有纠缠却提不出密钥：量子资源之间不是一回事

> 官方问题族 272；本版含 1 篇稿件。以下为稿件结论的解释，未完成独立证明认证。来源版本：`adc7f1241b42`，核对日期：2026-10-07。

## A. 问题与历史背景

纠缠、可蒸馏 Bell 对和可蒸馏秘密密钥是三个不同的资源概念。已有 [Horodecki 等关于束缚纠缠的工作](https://arxiv.org/abs/quant-ph/0309110)表明，某些不能蒸馏 Bell 对的纠缠态仍可产生秘密密钥。因此“不能提取纠缠”不等于“不能用于密码”。反向问题是：每个纠缠态至少都能提供一点秘密密钥吗？

秘密密钥要求 Alice 和 Bob 的输出一致、接近均匀，且与 Eve 独立。Eve 可以持有输入态的纯化；她还知道公开讨论的全部记录。仅发现 Alice 与 Bob 的相关性，尚不足以说明这种相关性对 Eve 保密。

## B. 稿件的构造与协议范围

稿件声称构造了 $\mathbb C^{10}\otimes\mathbb C^{10}$ 上的纠缠密度矩阵 $\rho$，其值域不含非零乘积向量，同时对原文规定的局部量子 instrument 协议有 $K_D(\rho)=0$。允许联合处理任意多份拷贝、认证的双向公开通信，以及几乎必然完成的协议；输入态是唯一的共享私密资源。

结论不仅说渐近速率为零，还声称对任意份数 $n$，任何许可协议输出的一比特态 $\tau_{K_AK_BE'}$ 与任意理想秘密比特都满足

```math
\left\|\tau_{K_AK_BE'}-
\frac12\sum_{i=0}^1|ii\rangle\langle ii|\otimes\sigma_{E'}
\right\|_1\ge\frac15.
```

若采用含 $1/2$ 的通常迹距离，则下界是 $1/10$。$E'$ 包含 Eve 的输入纯化和公共记录。这种有限距离障碍比“产率很低”更明确。

同篇稿件还声称构造一个作用在 $21\times21$ 矩阵上的保迹 PPT 量子信道 $\Theta$，使 $\Theta^2$ 仍不是纠缠破坏信道，反驳 PPT-square 猜想。PPT 指 Choi 态部分转置非负；纠缠破坏则要求信道作用于任意一侧后都使双体态可分，后者更强。原文另有两个 PPT 映射的复合反例，不能把非保迹映射与保迹信道混称。

## C. 为什么负面结论有积极价值

**潜在积极影响：**若成立，就明确分离“有纠缠”与“可在该协议类中用于秘密通信”。量子网络和资源理论将需要更精细的可用性判据；实验上测得纠缠见证，不能据此直接宣布存在正密钥率。PPT-square 反例则修正了多级噪声叠加会多快彻底破坏纠缠的某些直觉。

它不影响已经针对具体态、具体设备完成的密钥安全证明，也不说明纠缠没有其他用途。额外私密资源、催化或激活方案、改变通信模型，都必须重新与原文协议定义比较。对这种全协议量化的强结论，复核重点应是证书对多份联合处理、无限轮但几乎必然终止流程的覆盖是否完整。

## 原稿及配套材料

- **O272-01** [Entanglement with zero distillable secret key in local dimension ten](https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Entanglement-with-zero-distillable-secret-key-in-local-dimension-ten-September-27-2026/paper.pdf)。形式化目录：未列入。BibTeX 键：`OAI:Entanglement-with-zero-distillable-secret-key-in-local-dimension-ten-September-27-2026`。

[返回总览](../README.md) · [来源与核验记录](../sources.md)
