Теорема о неклонировании

Теорема о неклонировании (англ. no-cloning theorem) — фундаментальное утверждение квантовой механики, согласно которому невозможно создать точную копию произвольного неизвестного квантового состояния. Теорема была сформулирована в 1982 году физиками Войцехом Зуреком и Уильямом Вуттерсом, а также независимо от них — Деннисом Диксом. Она является одним из ключевых принципов, отличающих квантовую теорию от классической физики, и имеет прямое отношение к квантовой информатике, криптографии и теории вычислений.

История открытия

Вопрос о возможности копирования квантовых состояний возник в контексте развития квантовой теории информации в 1970-х — начале 1980-х годов. В 1982 году Войцех Зурек и Уильям Вуттерс, работавшие в Калифорнийском технологическом институте, опубликовали статью «A Single Quantum Cannot be Cloned», в которой впервые строго доказали невозможность клонирования. В том же году независимо от них аналогичный результат получил Деннис Дикс, физик из Университета штата Нью-Йорк в Стоуни-Брук. Изначально теорема рассматривалась как ограничение для квантовых вычислений, однако впоследствии стала основой для квантовой криптографии и других приложений.

Формулировка

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

Формально теорема доказывается от противного. Предположим, существует оператор клонирования U, такой что для любых двух состояний |ψ⟩ и |φ⟩ выполняется: U(|ψ⟩ ⊗ |0⟩) = |ψ⟩ ⊗ |ψ⟩, U(|φ⟩ ⊗ |0⟩) = |φ⟩ ⊗ |φ⟩. Тогда, взяв скалярное произведение обеих частей, получаем ⟨ψ|φ⟩ = (⟨ψ|φ⟩)², что возможно только если ⟨ψ|φ⟩ = 0 или 1. Это означает, что оператор может копировать только ортогональные состояния, но не произвольные. Таким образом, универсального клонирования не существует.

Доказательство

Доказательство теоремы опирается на линейность квантовой механики. Квантовые преобразования описываются унитарными операторами, которые линейны. Если бы существовал оператор, копирующий произвольное состояние, то он должен был бы быть линейным, но тогда для суперпозиции состояний результат был бы некорректным. Рассмотрим состояние |ψ⟩ = α|0⟩ + β|1⟩. Если бы клонирование было возможно, то результат для суперпозиции должен был бы быть (α|0⟩ + β|1⟩) ⊗ (α|0⟩ + β|1⟩) = α²|00⟩ + αβ|01⟩ + βα|10⟩ + β²|11⟩. Однако линейность оператора дала бы α|0⟩|0⟩ + β|1⟩|1⟩, что отличается от требуемого. Следовательно, универсальное клонирование невозможно.

Следствия и ограничения

Невозможность квантового копирования

Теорема накладывает фундаментальное ограничение на квантовые вычисления: нельзя скопировать неизвестное квантовое состояние, что отличает квантовые биты (кубиты) от классических битов. В классическом компьютере биты можно копировать неограниченно, тогда как в квантовом — любая попытка копирования приводит к необратимому изменению исходного состояния.

Квантовая криптография

На теореме о неклонировании основана безопасность квантовой криптографии, в частности протокола BB84 (разработан в 1984 году Чарльзом Беннеттом и Жилем Брассаром). Поскольку перехватчик не может скопировать квантовое состояние, не изменив его, любая попытка подслушивания обнаруживается. Это делает квантовое распределение ключей теоретически защищённым от атак.

Квантовая телепортация

Теорема не запрещает квантовую телепортацию, при которой состояние передаётся, но исходное разрушается. В телепортации состояние не копируется, а переносится, что согласуется с теоремой.

Квантовые коды и коррекция ошибок

В квантовой коррекции ошибок используются методы, которые позволяют восстанавливать состояние, но не создавать его точную копию. Например, коды Шора (1995 год) и другие коды используют запутанность для исправления ошибок, не нарушая теорему.

Частичное клонирование

Хотя точное копирование произвольного состояния невозможно, существуют приближённые методы. Квантовое клонирование с ограниченной точностью (англ. quantum cloning) позволяет создавать копии с некоторой вероятностью ошибки. В 1996 году Вальтер Дюр, Гюнтер Чирнгауз и другие исследователи разработали так называемые «квантовые копировальные машины», которые могут клонировать состояния с определённой точностью, но не идеально. Такие машины находят применение в квантовой криптографии и квантовых вычислениях.

Применение в квантовых вычислениях

Теорема о неклонировании накладывает ограничения на алгоритмы квантовых компьютеров. Например, в квантовых алгоритмах (таких как алгоритм Шора для факторизации чисел) нельзя просто скопировать промежуточные состояния, что требует особых методов обработки информации. Однако теорема не препятствует созданию квантовых компьютеров, так как они работают с суперпозициями и запутанностью, а не с копированием.

Критика и обсуждение

Теорема о неклонировании является общепризнанным результатом квантовой механики. Критика в основном касается интерпретации: некоторые исследователи указывали, что теорема не запрещает клонирование в случае, если состояние известно заранее (например, если квантовая система находится в одном из ортогональных состояний). Однако для произвольного неизвестного состояния запрет остаётся. Также обсуждались возможные нарушения теоремы в нелинейных квантовых теориях, но такие теории пока не имеют экспериментального подтверждения.

Интересные факты

• Теорема о неклонировании была впервые доказана в 1982 году, но её важность осознали лишь после развития квантовой криптографии в 1990-х годах.
• В 1998 году была предложена концепция «квантового клонирования с использованием запутанных состояний», которая, однако, не нарушает теорему, так как копии не являются точными.
• Теорема также связана с принципом неопределённости Гейзенберга: оба принципа ограничивают возможности измерения и копирования квантовых систем.

Источники

1. Wootters, W. K., Zurek, W. H. (1982). «A Single Quantum Cannot be Cloned». Nature, 299, 802–803.
2. Dieks, D. (1982). «Communication by EPR devices». Physics Letters A, 92(6), 271–272.
3. Nielsen, M. A., Chuang, I. L. (2000). Quantum Computation and Quantum Information. Cambridge University Press.
4. Bennett, C. H., Brassard, G. (1984). «Quantum cryptography: Public key distribution and coin tossing». Proceedings of IEEE International Conference on Computers, Systems and Signal Processing, 175–179.
5. Dür, W., Cirac, J. I. (2000). «Quantum cloning machines». Physical Review A, 62(2), 022307.