В физике теорема о нераспространении является результатом квантовой теории информации . В случае чистых квантовых состояний она является следствием теоремы о нераспространении . Теорема о нераспространении для чистых состояний гласит, что невозможно создать две копии неизвестного состояния, имея одну копию состояния. Поскольку квантовые состояния не могут быть скопированы в общем случае, они не могут быть транслированы. Здесь слово «транслировать» используется в смысле передачи состояния двум или более получателям. Для того чтобы несколько получателей могли получить состояние, должен быть, в некотором смысле, способ дублировать состояние. Теорема о нераспространении обобщает теорему о нераспространении для смешанных состояний .
Теорема [1] также включает обратное утверждение: если два квантовых состояния коммутируют , существует метод их трансляции: они должны иметь общий базис собственных состояний, диагонализирующий их одновременно, и отображение, которое клонирует каждое состояние этого базиса, является законной квантовой операцией, требующей только физических ресурсов, независимых от входного состояния, для реализации — полностью положительное отображение . Следствием является то, что существует физический процесс, способный транслировать каждое состояние в некотором наборе квантовых состояний, если и только если каждая пара состояний в наборе коммутирует. Это отображение трансляции, которое работает в случае коммутации, создает общее состояние, в котором две копии идеально коррелируют в своем собственном базисе .
Примечательно, что теорема не выполняется, если предоставлено более одной копии исходного состояния: например, допускается трансляция шести копий, начиная с четырех копий исходного состояния, даже если состояния взяты из некоммутирующего набора. Чистота состояния может быть даже увеличена в процессе, явление, известное как супертрансляция. [2]
Обобщенная квантовая теорема о не-трансляции, первоначально доказанная Барнумом, Кейвсом , Фуксом, Йозой и Шумахером для смешанных состояний конечномерных квантовых систем, [1] гласит, что для пары квантовых состояний, которые не коммутируют, не существует метода, способного взять одну копию любого из состояний и добиться успеха, независимо от того, какое состояние было предоставлено, и без включения знания о том, какое состояние было предоставлено, в создании состояния, такого, что одна его часть совпадает с исходным состоянием, а другая часть также совпадает с исходным состоянием. То есть, если задано начальное неизвестное состояние, взятое из набора таким образом, что , не существует процесса (использующего физические средства, независимые от тех, которые использовались для выбора состояния), гарантированно создающего состояние в гильбертовом пространстве , частичные следы которого равны и . Такой процесс был назван трансляцией в этой статье.
Вторая теорема утверждает, что локальное вещание возможно только тогда, когда состояние является классическим распределением вероятностей. [3] Это означает, что состояние может быть локально транслировано только в том случае, если оно не имеет никаких квантовых корреляций. [4] Луо примирил эту теорему с обобщенной теоремой о не-вещании, выдвинув гипотезу о том, что когда состояние является классическим-квантовым состоянием, корреляции (а не само состояние) в двудольном состоянии могут быть локально транслированы. [3] Математически доказав, что его гипотеза и две теоремы связаны и подразумевают друг друга, Луо доказал, что все три утверждения логически эквивалентны. [3]