Теорема о недопустимости удаления
-
Теорема о неразрушении квантовой информации
- Невозможно удалить одну из копий произвольного квантового состояния.
- Обращена во времени к теореме о запрете клонирования.
- Доказана Аруном К. Пати и Сэмюэлом Л. Браунштейном.
- Интуитивно объясняется сохранением информации в рамках единой эволюции.
-
Значение теоремы
- Важна для квантовых вычислений, теории информации и квантовой механики.
- Устанавливает связь между квантовой механикой и линейной логикой.
-
Математическое описание
- Процесс удаления квантового состояния включает две копии и выводит пустое состояние.
- Математически описывается унитарным оператором и состояниями стирающего аппарата.
-
Сравнение с классическими битами
- Классические биты можно копировать и удалять, в отличие от квантовых состояний.
-
Официальное утверждение
- Унитарное преобразование не может удалить квантовое состояние для любого состояния.
-
Доказательство теоремы
- Доказано для квантовых состояний любой размерности.
- Рассмотрено удаление для двух идентичных кубитов, где показано, что удаление невозможно.
-
Последствия теоремы
- Нарушение теоремы несовместимо с возможностью отправки сигналов быстрее света.
- Теоремы о недопустимости клонирования и удаления указывают на сохранение квантовой информации.
-
Связь с другими теоремами
- Упоминаются другие важные теоремы в области квантовой информации.