Квантовая информация — это информация о состоянии квантовой системы . Это базовая сущность изучения в квантовой теории информации , [1] [2] [3] и ею можно манипулировать с помощью методов обработки квантовой информации . Квантовая информация относится как к техническому определению в терминах энтропии фон Неймана , так и к общему вычислительному термину.
Это междисциплинарная область, которая включает в себя квантовую механику , информатику , теорию информации , философию и криптографию среди других областей. [4] [5] [6] Ее изучение также актуально для таких дисциплин, как когнитивная наука , психология и нейронаука . [7] [8] [9] [10] Ее основное внимание уделяется извлечению информации из материи в микроскопическом масштабе. Наблюдение в науке является одним из важнейших способов получения информации , и измерение требуется для количественной оценки наблюдения, что делает это решающим для научного метода . В квантовой механике из-за принципа неопределенности некоммутирующие наблюдаемые не могут быть точно измерены одновременно, поскольку собственное состояние в одном базисе не является собственным состоянием в другом базисе. Согласно связи собственное состояние–собственное значение, наблюдаемая является четко определенной, когда состояние системы является собственным состоянием наблюдаемой. [11] Поскольку любые две некоммутирующие наблюдаемые не являются одновременно четко определенными, квантовое состояние никогда не может содержать определенную информацию об обеих некоммутирующих наблюдаемых. [8]
Данные могут быть закодированы в квантовом состоянии квантовой системы как квантовая информация. [12] В то время как квантовая механика занимается изучением свойств материи на микроскопическом уровне, [13] [8] квантовая информатика фокусируется на извлечении информации из этих свойств, [8] а квантовые вычисления манипулируют и обрабатывают информацию – выполняют логические операции – используя методы обработки квантовой информации . [14]
Квантовая информация, как и классическая информация, может быть обработана с помощью цифровых компьютеров , передана из одного места в другое, обработана с помощью алгоритмов и проанализирована с помощью компьютерной науки и математики . Так же, как базовой единицей классической информации является бит, квантовая информация имеет дело с кубитами . [15] Квантовую информацию можно измерить с помощью энтропии фон Неймана.
В последнее время область квантовых вычислений стала активной областью исследований из-за возможности нарушить современные вычисления, связь и криптографию . [14] [16]
История квантовой теории информации началась на рубеже 20-го века, когда классическая физика была революционизирована в квантовую физику . Теории классической физики предсказывали абсурдности, такие как ультрафиолетовая катастрофа или электроны, двигающиеся по спирали в ядро. Сначала эти проблемы отметались путем добавления гипотез ad hoc к классической физике. Вскоре стало очевидно, что необходимо создать новую теорию, чтобы придать смысл этим абсурдам, и родилась теория квантовой механики. [2]
Квантовая механика была сформулирована Эрвином Шредингером с использованием волновой механики, а Вернером Гейзенбергом — с использованием матричной механики . [17] Эквивалентность этих методов была доказана позже. [18] Их формулировки описывали динамику микроскопических систем, но имели несколько неудовлетворительных аспектов в описании процессов измерения. Фон Нейман сформулировал квантовую теорию с использованием операторной алгебры таким образом, что она описывала как измерение, так и динамику. [19] Эти исследования подчеркивали философские аспекты измерения, а не количественный подход к извлечению информации посредством измерений.
В 1960-х годах Руслан Стратонович , Карл Хелстром и Гордон [20] предложили формулировку оптической связи с использованием квантовой механики. Это было первое историческое появление квантовой теории информации. Они в основном изучали вероятности ошибок и пропускную способность каналов связи. [20] [21] [22] Позднее Александр Холево получил верхнюю границу скорости связи при передаче классического сообщения через квантовый канал . [23] [24]
В 1970-х годах начали разрабатываться методы манипулирования квантовыми состояниями отдельных атомов, такие как атомная ловушка и сканирующий туннельный микроскоп , что позволило изолировать отдельные атомы и размещать их в массивах. До этих разработок точный контроль над отдельными квантовыми системами был невозможен, и эксперименты использовали более грубый одновременный контроль над большим количеством квантовых систем. [2] Развитие жизнеспособных методов манипулирования отдельными состояниями привело к повышению интереса к области квантовой информации и вычислений.
В 1980-х годах возник интерес к тому, можно ли использовать квантовые эффекты для опровержения теории относительности Эйнштейна . Если бы можно было клонировать неизвестное квантовое состояние, можно было бы использовать запутанные квантовые состояния для передачи информации быстрее скорости света, опровергая теорию Эйнштейна. Однако теорема о невозможности клонирования показала, что такое клонирование невозможно. Теорема была одним из самых ранних результатов квантовой теории информации. [2]
Несмотря на все волнение и интерес к изучению изолированных квантовых систем и попыткам найти способ обойти теорию относительности, исследования в области квантовой теории информации застопорились в 1980-х годах. Однако примерно в то же время другое направление начало вмешиваться в квантовую информацию и вычисления: криптография . В общем смысле, криптография — это проблема осуществления коммуникации или вычислений с участием двух или более сторон, которые могут не доверять друг другу. [2]
Беннетт и Брассар разработали канал связи, на котором невозможно подслушивать, не будучи обнаруженным, способ тайного общения на больших расстояниях с использованием квантового криптографического протокола BB84 . [25] Ключевой идеей было использование фундаментального принципа квантовой механики, согласно которому наблюдение нарушает наблюдаемое, а введение подслушивателя в защищенную линию связи немедленно даст знать двум сторонам, пытающимся общаться, о присутствии подслушивателя.
С появлением революционных идей Алана Тьюринга о программируемом компьютере, или машине Тьюринга , он показал, что любое реальное вычисление можно перевести в эквивалентное вычисление с участием машины Тьюринга. [26] [27] Это известно как тезис Чёрча-Тьюринга .
Вскоре были созданы первые компьютеры, и компьютерное оборудование росло такими быстрыми темпами, что рост, благодаря опыту в производстве, был кодифицирован в эмпирическое соотношение, называемое законом Мура . Этот «закон» является проективной тенденцией, которая гласит, что количество транзисторов в интегральной схеме удваивается каждые два года. [28] Поскольку транзисторы стали становиться все меньше и меньше, чтобы вместить больше мощности на единицу площади поверхности, в электронике начали проявляться квантовые эффекты, приводящие к непреднамеренным помехам. Это привело к появлению квантовых вычислений, которые используют квантовую механику для разработки алгоритмов.
На этом этапе квантовые компьютеры обещали быть намного быстрее классических компьютеров для решения определенных конкретных задач. Один из таких примеров задач был разработан Дэвидом Дойчем и Ричардом Йозой , и известен как алгоритм Дойча–Йожы . Однако эта задача не имела практически никакого практического применения. [2] Питер Шор в 1994 году придумал очень важную и практическую задачу — задачу нахождения простых множителей целого числа. Задача дискретного логарифма , как ее называли, теоретически могла быть эффективно решена на квантовом компьютере, но не на классическом, что показывает, что квантовые компьютеры должны быть мощнее машин Тьюринга.
Примерно в то же время, когда компьютерная наука совершала революцию, то же самое происходило и в теории информации и коммуникации благодаря Клоду Шеннону . [29] [30] [31] Шеннон разработал две фундаментальные теоремы теории информации: теорему о бесшумном канальном кодировании и теорему о шумном канальном кодировании . Он также показал, что коды с исправлением ошибок могут использоваться для защиты отправляемой информации.
Квантовая теория информации также следовала по схожей траектории, Бен Шумахер в 1995 году создал аналог теоремы Шеннона о бесшумном кодировании, используя кубит . Также была разработана теория исправления ошибок, которая позволяет квантовым компьютерам производить эффективные вычисления независимо от шума и осуществлять надежную связь по шумным квантовым каналам. [2]
Квантовая информация сильно отличается от классической информации, представленной битом , во многих поразительных и незнакомых отношениях. В то время как фундаментальной единицей классической информации является бит , самой базовой единицей квантовой информации является кубит . Классическая информация измеряется с помощью энтропии Шеннона , в то время как квантово-механическим аналогом является энтропия фон Неймана . Учитывая статистический ансамбль квантово-механических систем с матрицей плотности , она задается как [2] Многие из тех же мер энтропии в классической теории информации также могут быть обобщены на квантовый случай, такие как энтропия Холево [32] и условная квантовая энтропия .
В отличие от классических цифровых состояний (которые являются дискретными), кубит является непрерывно-значным, описываемым направлением на сфере Блоха . Несмотря на то, что он непрерывно-значен таким образом, кубит является наименьшей возможной единицей квантовой информации, и, несмотря на то, что состояние кубита является непрерывно-значным, невозможно точно измерить значение . Пять известных теорем описывают ограничения на манипуляцию квантовой информацией. [2]
Эти теоремы доказаны на основе унитарности , которая, по словам Леонарда Сасскинда, является техническим термином для утверждения о том, что квантовая информация во Вселенной сохраняется. [33] : 94 Пять теорем открывают возможности в обработке квантовой информации.
Состояние кубита содержит всю его информацию. Это состояние часто выражается как вектор на сфере Блоха. Это состояние можно изменить, применив к ним линейные преобразования или квантовые вентили . Эти унитарные преобразования описываются как вращения на сфере Блоха. В то время как классические вентили соответствуют знакомым операциям булевой логики , квантовые вентили являются физическими унитарными операторами .
Изучение вышеуказанных тем и различий составляет квантовую теорию информации.
Квантовая механика — это изучение того, как микроскопические физические системы динамически изменяются в природе. В области квантовой теории информации изучаемые квантовые системы абстрагируются от любого реального аналога. Например, кубит может быть физически фотоном в линейном оптическом квантовом компьютере , ионом в захваченном ионном квантовом компьютере или это может быть большая коллекция атомов, как в сверхпроводящем квантовом компьютере . Независимо от физической реализации, ограничения и особенности кубитов, подразумеваемые квантовой теорией информации, сохраняются, поскольку все эти системы математически описываются одним и тем же аппаратом матриц плотности над комплексными числами . Другое важное отличие от квантовой механики заключается в том, что в то время как квантовая механика часто изучает бесконечномерные системы, такие как гармонический осциллятор , квантовая теория информации занимается как системами с непрерывными переменными [34] , так и системами с конечными размерами. [8] [35] [36]
Энтропия измеряет неопределенность состояния физической системы. [2] Энтропию можно изучать с точки зрения как классической, так и квантовой теории информации.
Классическая информация основана на концепциях информации, изложенных Клодом Шенноном . Классическая информация, в принципе, может храниться в бите двоичных строк. Любая система, имеющая два состояния, является способным битом. [37]
Энтропия Шеннона — это квантификация информации, полученной путем измерения значения случайной величины. Другой способ думать об этом — рассмотреть неопределенность системы до измерения. В результате энтропия, как ее изобразил Шеннон, может рассматриваться либо как мера неопределенности до проведения измерения, либо как мера информации, полученной после проведения указанного измерения. [2]
Энтропия Шеннона, записанная как функционал дискретного распределения вероятностей, связанного с событиями , может рассматриваться как средняя информация, связанная с этим набором событий, в единицах бит:
Это определение энтропии может быть использовано для количественной оценки физических ресурсов, необходимых для хранения выходных данных источника информации. Способы интерпретации энтропии Шеннона, обсуждавшиеся выше, обычно имеют смысл только тогда, когда число образцов эксперимента велико. [35]
Энтропия Реньи является обобщением энтропии Шеннона, определенной выше. Энтропия Реньи порядка r, записанная как функция дискретного распределения вероятностей, , связанного с событиями , определяется как: [37]
для и .
Мы приходим к определению энтропии Шеннона из Реньи, когда , энтропии Хартли (или максимальной энтропии) когда , и минимальной энтропии когда .
Квантовая теория информации в значительной степени является расширением классической теории информации на квантовые системы. Классическая информация производится при измерениях квантовых систем. [37]
Одной из интерпретаций энтропии Шеннона была неопределенность, связанная с распределением вероятностей. Когда мы хотим описать информацию или неопределенность квантового состояния, распределения вероятностей просто заменяются операторами плотности :
где — собственные значения .
Энтропия фон Неймана играет роль в квантовой информации, аналогичную роли энтропии Шеннона в классической информации.
Квантовая коммуникация является одним из приложений квантовой физики и квантовой информации. Существуют некоторые известные теоремы, такие как теорема о запрете клонирования, которые иллюстрируют некоторые важные свойства квантовой коммуникации. Плотное кодирование и квантовая телепортация также являются приложениями квантовой коммуникации. Это два противоположных способа общения с использованием кубитов. В то время как телепортация передает один кубит от Алисы и Боба путем передачи двух классических битов в предположении, что у Алисы и Боба есть предварительно общее состояние Белла , плотное кодирование передает два классических бита от Алисы к Бобу с использованием одного кубита, снова в том же предположении, что у Алисы и Боба есть предварительно общее состояние Белла.
Одним из наиболее известных приложений квантовой криптографии является квантовое распределение ключей , которое обеспечивает теоретическое решение проблемы безопасности классического ключа. Преимущество квантового распределения ключей заключается в том, что невозможно скопировать квантовый ключ из-за теоремы о запрете клонирования . Если кто-то попытается прочитать закодированные данные, передаваемое квантовое состояние изменится. Это может быть использовано для обнаружения подслушивания.
Первая схема распределения квантовых ключей, BB84 , была разработана Чарльзом Беннетом и Жилем Брассаром в 1984 году. Обычно ее описывают как метод безопасной передачи закрытого ключа от третьего лица другому для использования в шифровании одноразовым блокнотом. [2]
E91 был создан Артуром Экертом в 1991 году. Его схема использует запутанные пары фотонов. Эти два фотона могут быть созданы Алисой, Бобом или третьей стороной, включая подслушивающую Еву. Один из фотонов распределяется между Алисой и Бобом, так что каждый из них в итоге получает один фотон из пары.
Эта схема основана на двух свойствах квантовой запутанности:
B92 — более простая версия BB84. [38]
Основное отличие B92 от BB84:
Как и BB84, Алиса передает Бобу строку фотонов, закодированных случайно выбранными битами, но на этот раз Алиса выбирает биты, а основания она должна использовать. Боб по-прежнему случайным образом выбирает основание, по которому будет производиться измерение, но если он выберет неправильное основание, он ничего не измерит, что гарантируется теориями квантовой механики. Боб может просто сказать Алисе после каждого отправленного ею бита, правильно ли он его измерил. [39]
Наиболее широко используемая модель в квантовых вычислениях — это квантовая схема , которая основана на квантовом бите « кубит ». Кубит в некоторой степени аналогичен биту в классических вычислениях. Кубиты могут находиться в квантовом состоянии 1 или 0 , или они могут находиться в суперпозиции состояний 1 и 0. Однако при измерении кубитов результатом измерения всегда является либо 0, либо 1; вероятности этих двух результатов зависят от квантового состояния , в котором кубиты находились непосредственно перед измерением.
Любой алгоритм квантовых вычислений можно представить в виде сети квантовых логических вентилей .
Если бы квантовая система была идеально изолирована, она бы идеально сохраняла когерентность, но было бы невозможно проверить всю систему. Если она не идеально изолирована, например, во время измерения, когерентность передается окружающей среде и, по-видимому, теряется со временем; этот процесс называется квантовой декогеренцией. В результате этого процесса квантовое поведение, по-видимому, теряется, так же как энергия, по-видимому, теряется из-за трения в классической механике.
QEC используется в квантовых вычислениях для защиты квантовой информации от ошибок, вызванных декогеренцией и другим квантовым шумом . Квантовая коррекция ошибок необходима, если нужно достичь отказоустойчивых квантовых вычислений, которые могут иметь дело не только с шумом в хранимой квантовой информации, но и с неисправными квантовыми вентилями, неисправной квантовой подготовкой и неисправными измерениями.
Питер Шор первым открыл этот метод формулирования квантового кода исправления ошибок путем сохранения информации одного кубита в сильно запутанном состоянии вспомогательных кубитов . Квантовый код исправления ошибок защищает квантовую информацию от ошибок.
Многие журналы публикуют исследования в области квантовой информатики , хотя только некоторые посвящены этой области. Среди них: