№ 1320Квантовая теория информацииУровень 4

Выделение запутанности не означает передачу всего состояния

Алиса и Боб делят $\rho_{AB}$ с очищением $|\psi\rangle_{ABR}$; $R$ недоступен. Протокол выделения запутанности вначале записывает очищение в форме Шмидта по $A:BR$:

$$|\psi\rangle=\sum_x\sqrt{p(x)}|x\rangle_A|\psi_x\rangle_{BR}.$$

На $n$ копиях Алиса измеряет точный тип слова $x^n$, то есть все числа вхождений символов, проекторами

$$P_t=\sum_{x^n\text{ типа }t}|x^n\rangle\langle x^n|.$$

Затем она сообщает результаты нужных измерений Бобу; оставшиеся шаги производят пары Белла с асимптотической скоростью $H(B)-H(R)$, когда эта величина положительна.

Объясните, почему этот протокол, в отличие от протокола переноса состояния с классической помощью, не гарантирует перенос всего исходного $A$ к Бобу с сохранением его квантовых корреляций с $R$. В задаче переноса конечное состояние на $R\widehat A B$ должно быть близко к исходному чистому $\psi_{RAB}^{\otimes n}$, а не только содержать требуемое число пар Белла.