Что именно означает запрет на клонирование в контексте квантовых вычислений?

Я пытаюсь получить интуитивное представление о том, как теорема о запрете клонирования влияет на квантовые вычисления. Насколько я понимаю, данный кубит Вопрос в суперпозиции Вопрос 0 | 0 + Вопрос 1 | 1 , NCT утверждает еще один Qubit С нельзя спроектировать так, чтобы С эквивалентно состоянию Вопрос .

Теперь загвоздка в том, что означает «Эквивалент»? Это может означать либо следующее:

  1. С "=" С 0 | 0 + С 1 | 1 такой, что С 0 "=" Вопрос 0 , С 1 "=" Вопрос 1 .

  2. Или это может означать, что С "=" Вопрос , что означает, что если С наблюдается какое-то значение (например, 0), тогда Вопрос ДОЛЖНО быть тем же самым значением, и наоборот.

Таким образом, кажется, что пункт 2 в любом случае возникает в запутанных системах (особенно в кошачьих состояниях), поэтому я могу исключить этот вариант и сделать вывод, что состояния «Нет клонирования» при заданном кубите Вопрос , невозможно сделать еще один кубит С так что:

С "=" С 0 | 0 + С 1 | 1 такой, что С 0 "=" Вопрос 0 , С 1 "=" Вопрос 1 .

Это верно?

это означает, что если у вас есть неизвестное состояние, вы не можете сделать копию. Конечно, если вы знаете состояние, вы можете изготовить дубликаты. Итак, ваше заявление в ОП нуждается в проверке.
Вы можете знать прогнозы состояния и всегда можете скопировать их, если хотите. Поскольку все состояние является одной из возможных суперпозиций этих проекций, вы можете реконструировать все возможные состояния, которые могли привести к этим проекциям, и дублировать их, это просто не будет уникальным решением.
@PeterDiehr, не могли бы вы ответить на этот вопрос?
@CuriousOne, что вы подразумеваете под «проекциями»?
Обычное: сильное измерение, в QC говорят "QC-IO".
@Phonon Я исправил и принял ответы, которые показались мне наиболее полезными. Надеюсь, это очистит рекорд :)
Что касается вопроса, как он сформулирован в настоящее время, я думаю, что ответ из одного слова - «Да».

Ответы (2)

Вам нужно использовать более точное понятие процесса клонирования, чтобы понять общее утверждение и его последствия. Я дам вам здесь некоторые наброски (в основном следуя объяснениям Б. Шумахера и М. Уэстморленда, приведенным в ссылке), с акцентом на наиболее важные аспекты, но чтобы в полной мере оценить важность запрета на клонирование. настоятельно рекомендую просмотреть различные способы, которыми вы можете это доказать (я могу показать вам несколько способов доказать это в этом посте, если вы сочтете это необходимым).

Основное утверждение:

  • Теорема о запрете клонирования утверждает, что не существует унитарной клонирующей машины, которая клонировала бы произвольные начальные состояния.
  • Более мягкая версия звучит так: Квантовая информация не может быть точно скопирована.

Последствия, если было возможно произвольное клонирование: ( не в соответствии с каким-либо определенным порядком )

  • Если существует гипотетическое устройство, способное дублировать состояние квантовой системы, то перехватчик сможет взломать систему безопасности. Б Б 84 протокол распределения ключей .
  • Клонирующая машина позволила бы создавать мультикопированные состояния. | Икс н из единого штата | Икс . Но возьмем еще одно государство | у , создать соответствующее ему мультисостояние | у н , и вы можете преодолеть основные ограничения различимости состояний в квантовой механике, поскольку многокопийные состояния лучше различимы (правильный термин будет более надежным ), чем одиночные состояния.

    Напомним, что различимость двух состояний Икс , у определяется их количеством перекрытия, т.е. | Икс | у | , чем ближе это к нулю, тем лучше мы можем различать состояния. ( Если вы не знакомы с концепцией более надежного различения нескольких состояний, дайте мне знать ).

  • Теорема о запрете клонирования гарантирует теорему об отсутствии связи и, таким образом, предотвращает связь быстрее скорости света с использованием запутанных состояний. (теорема об отсутствии связи в основном утверждает, что: если две стороны имеют системы А и Б соответственно, и предположим, что их совместное состояние запутано | ψ А Б , тогда: две стороны не могут передавать информацию друг другу ни путем: выбора разных измерений для своих соответствующих систем, ни путем развития своих систем с использованием разных операторов эволюции унитарного времени.)

Более точное определение проблемы клонирования :

Здесь задействованы три элемента: начальное состояние (ввод), которое необходимо скопировать. ( 1 ) , пустое состояние, на которое мы хотим создать копию ( 2 ) и машина, играющая роль клонирующего устройства ( 3 ) . Составная система тогда ( 123 ) .

Предположим, что состояние ( 2 ) является | 0 , состояние ( 1 ) существование | Φ и исходное состояние ( 3 ) является | Д я . Обозначим действие клонирующего устройства унитарным оператором U . Важно отметить, что начальное состояние составной системы ( 23 ) и действие U не зависит от копируемого состояния, т.е. система ( 1 ) . Тогда наше начальное составное состояние будет таким:

| 123 я "=" | Φ | 0 | Д я
Применяя U , таким образом, после клонирования состояние ( 1 ) не изменяется, но при успешном клонировании состояние ( 2 ) должен быть именно таким ( 1 ) . Так

U | 123 я "=" | Φ | Φ | Д ф

Учитывая это описание, теорема о запрете клонирования говорит, что такие U не существует для произвольных состояний ( 1 ) .

Советы по доказательствам:

  • Один из способов — использовать принцип суперпозиции, чтобы показать, что такое клонирование невозможно, показав, что если устройство должно работать для двух ортогональных состояний, оно создаст запутанные выходные данные для их суперпозиции. (таким образом, подсистемы больше не находятся даже в чистом состоянии)
  • Другой способ — вернуться к концепции различимости неортогональных состояний и использовать тот факт, что эволюция унитарного времени сохраняет внутренние продукты, тем самым показывая, что устройство клонирования невозможно, поскольку оно позволило бы значительно улучшить различимость.

Ссылка : Настоятельно рекомендуемым справочником, а также для дальнейшего чтения по всему этому вопросу, была бы книга « Квантовые процессы, системы и информация» Бенджамина Шумахера и Майкла Уэстморленда . (Здесь важны главы 4 и 7.)

Я думаю, что в вашем ответе есть тонкость. Теорема о запрете клонирования, как я ее понимаю (что может быть неверно), утверждает, что универсальная машина для клонирования U не может существовать. В котором универсальное означает, что данный U и два произвольных состояния Ψ и Φ клонируются через тот же U . Но там ничего не говорится о нахождении определенного U который копирует только определенное состояние.

Теорема о запрете клонирования означает, что если у вас есть неизвестное состояние, то невозможно сделать идентичную копию.

Первоначальная ссылка относится к Вутерс, Один квант не может быть клонирован . Также см. Вутерс и Зурек о теореме о запрете клонирования, 2009 г.

Конечно, если вы знаете состояние, вы можете изготовить дубликаты; или, если у вас есть много идентичных копий неизвестного состояния, предоставленных какой-то квантовой машиной, вы можете выполнить полный набор измерений, таких как проекции на каждое из собственных пространств, и использовать эту информацию, чтобы попытаться воссоздать. Но это невозможно сделать с одним неизвестным состоянием.

Таким образом, в классических вычислениях можно заменить две переменные такими операторами:

С=А; А=В; В=С;

Но самое первое утверждение невозможно в квантовых вычислениях из-за теоремы о запрете клонирования. Можно скопировать определенные подготовленные состояния. Например, пары ортогональных состояний могут быть скопированы с помощью вентилей CNOT. Но это известные состояния; произвольные состояния не могут быть клонированы.

Я думаю, что предположение, что кубиты нельзя поменять местами классическим способом, вводит в заблуждение. Вы можете поменять местами два кубита с помощью A ^= B; B ^= A; A ^= B, где ^=означает CNOT. Проблема C=Aзаключается не в том, что вы копируете A, а в том, что вы стираете старое значение C, что необратимо (если только оно не имело известного значения).
@bengr: предложенная вами реализация клонирования ворот CNOT работает для ортогональных состояний, но не может копировать общие состояния. Я немного обновил ответ. Например, см. physics.stackexchange.com/questions/43141/…
Я пытался сказать, что вы смешиваете копирование и клонирование. C=A — это копия, а не клон. Или, по крайней мере, это может быть копия. Это классический алгоритм, и классически это копия. Классический алгоритм терпит неудачу, потому что присваивание необратимо, а не потому, что оно нелинейно. Клонирование нелинейно. Они запрещены, но по разным причинам.
(Я думаю, что пример с XOR-перестановкой просто запутал проблему. Но я хотел сказать, что если вы возьмете классический алгоритм перестановки, который похож на перестановку присваивания, но является обратимым, его квантовая версия работает с произвольными состояниями без какой-либо предпочтительной основы, даже несмотря на то, что как и алгоритм обмена присваиванием, он временно копирует биты. Это должно было продемонстрировать, что обмен присваивания терпит неудачу только из-за необратимости, а не из-за какой-либо проблемы, связанной с копированием.)
Клонирование и копирование — одно и то же. Вы начинаете с одного, затем у вас есть два. Но это невозможно сделать с помощью унитарных операций для общего случая.