Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Как понимать квантовую механику

.pdf
Скачиваний:
184
Добавлен:
28.03.2015
Размер:
4.52 Mб
Скачать

9.3. ИНТЕРПРЕТАЦИИ КВАНТОВОЙ МЕХАНИКИ (Ф)

293

тор» пытался силой мысли влиять на классический или квантовый случайный процесс (карты, сдаваемые из колоды, дробовой шум и т. п.). Результаты таких поисков (из числа тех, с которыми я ознакомился) неизменно отрицательные или сомнительные (прежде всего сомнительные по методике эксперимента и обработки данных). В качестве примера такого исследования можно привести книгу Р. Г. Джан, Б. Дж. Данн «Границы реальности: роль сознания в физическом мире»21. Несмотря на то, что авторы организовали свою Лабораторию изучения аномалий при Школе инженерных и прикладных наук Принстонского университета, книга сомнительна прежде всего методологически: если, согласно книге, «оператор» якобы «влияет» на генератор псевдослучайных чисел, т. е. на абсолютно детерминистический процесс, то это надо хоть как-то прокомментировать. В книге содержатся отсылки к квантовой теории, но они столь неопределенны,¨ что не могут обсуждаться на содержательном уровне.

Также эта гипотеза допускает содержательное теоретическое обсуждение. Выше мы уже обсуждали «жесткость»¨ формулы для квантовых вероятностей (см. 8.3.2 «“Жесткость”¨ формулы для вероятностей (фф)»). При этом мы показали, что отклонения от стандартной борновской формулы для квантовых вероятностей позволяют передавать информацию со сверхсветовой скоростью с помощью квантовых запутанных состояний, а также позволяют ввести абсолютную одновременность (не зависящую от системы отсчета)¨ . Таким образом, активное сознание явным образом нарушает лоренц-инвариантность теории, т. е. входит в прямое противоречие со специальной теорией относительности. Это именно настоящее, а не кажущееся противоречие с теорией относительности, в отличие от мгновенного коллапса волновой функции в обычной квантовой теории, который не позволяет передать со сверхсветовой скоростью какую-либо информацию.

В принципе, после того как на эксперименте было показано нарушение такой «очевидной» симметрии, как зеркальная симметрия (несохранение четности),¨ мы можем допустить, что и лоренцевская симметрия является только приблизительной. Однако для большинства физиков противоречие активного сознания СТО ставит крест на этой гипотезе.

21Джан Р. Г., Данн Б. Дж. Границы реальности: роль сознания в физическом мире. — М.: ОИВТ РАН, 1995.

ГЛАВА 10

Квантовая информатика**

Квантовая информатика рассматривает процессы получения, передачи, хранения и обработки информации с точки зрения квантовой теории. Адекватная квантовой теории квантовая логика допускает не только такие значения логических переменных, как «да» («истина», 1) и «нет» («ложь», 0), но и их линейные суперпозиции.

Многие очевидные положения классической информатики в квантовой механике оказываются неверными, причем¨ квантовая теория, по сравнению с классической, не только накладывает новые ограничения, но и дает¨ дополнительные возможности, которые на языке классической теории звучат как парадоксы.

Одно из ключевых ограничений на возможности квантовой обработки информации накладывает теорема о невозможности клонирования квантового состояния. Эта теорема лежит в основе квантовой криптографии, обеспечивая невозможность «подсмотреть» состояние передаваемого квантового бита, она же не позволяет извлечь из одного квантового бита более одного классического бита информации и ограничивает тем самым применимость основанного на суперпозиции состояний квантового параллелизма.

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

Квантовая криптография изучает методы секретной передачи информации, при которых секретность сообщения обеспечивается принципами квантовой механики.

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

10.1.1. Зачем нужен ключ в классической криптографии (пример)

Для того чтобы обеспечить абсолютно надежную¨ классическую линию связи, достаточно, чтобы отправитель сообщения (Алиса) и получатель

10.1. КВАНТОВАЯ КРИПТОГРАФИЯ**

295

(Борис) располагали одинаковым секретным ключом (случайной последовательностью цифр 0 и 1), длина которого не меньше, чем длина передаваемого секретного сообщения.

Алиса шифрует секретное сообщения побитово, применяя операцию логического сложения к сообщению и ключу: (0, 1), (1, 0) 1, а (0, 0), (1, 1) 0.

сообщение

0

1

1

0

0

0

. . .

1

0

1

ключ

1

0

1

0

1

1

. . .

0

0

1

шифровка

1

1

0

0

1

1

. . .

1

0

0

Два раза повторенная¨ операция шифровки с одним и тем же ключом дает¨ снова исходное сообщение, поэтому на другом конце линии Борис расшифровывает сообщение снова, логически прибавляя к нему побитово тот же ключ.

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

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

10.1.2. Квантовая генерация ключей

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

Излагаемая ниже процедура генерации ключа была предложена в 1984 году Ч. Беннеттом и Дж. Брассардом1. Эта процедура известна как

протокол ББ84.

1C. G. Bennett and G. Brassard, Quantum cryptography: Public key distribution and coin tossing, in: Proc. of the IEEE Inst. Conf on Computers, Systems, and Signal Processing, Bangalore, India

(IEEE, New York, 1984), p. 175.

296 ГЛАВА 10

В дальнейших рассуждениях будут использоваться 4 состояния квантового бита, принадлежащих к двум ортонормированным базисам «0-1»

и «±»:

|0 − |1

|0 + |1

 

|0 , |1 , |+ =

 

 

,

|− =

 

 

.

 

2

 

 

 

2

 

 

1.Алиса передает¨ Борису случайную последовательность квантовых битов в состояниях |0 , |1 , |+ или |− .

2.Борис измеряет полученные от Алисы фотоны, используя случайным образом базисы «0-1» или «±», и получает цепочку нулей и единиц.

3.Алиса по открытому классическому каналу сообщает Борису, какой из базисов она использовала для каждого бита (но не говорит, какое из двух состояний было использовано).

4.Борис сообщает Алисе, какой из двух базисов он использовал при измерении каждого бита (но не сообщает результат измерения).

5.Алиса и Борис выбирают из цепочки только те биты, которые были испущены и измерены в одинаковых базисах (это предварительный ключ).

6.Алиса и Борис сравнивают (переговариваясь по открытому классическому каналу) некоторое количество случайно выбранных бит из предварительного ключа. Если проверенные биты совпадают, то делается вывод (с соответствующей численной оценкой), что перехвата на квантовом канале не было.

7.Из предварительного ключа исключаются биты, которые были использованы для проверки, остальное составляет секретный ключ.

Если Ева пытается вести перехват на квантовом канале, то ее¨ измерение будет нарушать состояние кубитов, во всех случаях, когда она не угадала, какой из базисов использует Алиса. Это будет происходить в половине случаев. После этого, если Ева не угадала базис, то поляризация, измеренная Борисом, будет полностью случайна. Также поляризация, измеренная Борисом, полностью случайна, если Борис не угадал базис Алисы. Таким образом, в восьмой части случаев перехвата Ева внесет¨ искажение в цепочку бит предварительного ключа. Это искажение должно быть выявлено сравнением случайной выборки бит на этапе 6.

В процессе генерации ключа Алиса и Борис не обмениваются никакой информацией, которая позволила бы узнать содержание ключа, поэтому Ева может сорвать генерацию ключа, но не может этот ключ перехватить.

10.2. КВАНТОВЫЕ КОМПЬЮТЕРЫ КАК АНАЛОГОВЫЕ (Ф)

297

10.1.3. Квантовая линия связи

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

Например, для секретной передачи данных можно использовать квантовую телепортацию (7.7 «Квантовая телепортация**»). При квантовой телепортации помимо квантовой линии для передачи коррелированных кубитов нам понадобится классическая линия, по которой будут передаваться результаты измерений, не несущие информации о состоянии телепортируемого кубита.

10.2. Квантовые компьютеры как аналоговые (ф)

Как уже отмечалось ранее, описание квантовой системы требует существенно большего количества информации (задание волновой функции), чем описание классической системы (задание координат и импульсов). Соответственно, возрастает вычислительная сложность численного моделирования квантовых систем. И хотя во многих случаях удается¨ обойтись без явного моделирования волновой функции большого числа переменных, задача моделирования сколь-нибудь сложных квантовых систем для классического компьютера оказывается сложной (часто нерешаемой за разумное время).

Ричард Фейнман в 1981 году предложил использовать одни квантовые системы для моделирования других2.

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

10.3. Квантовые компьютеры как цифровые (ф)

Если система ограничена в пространстве, то ее¨ энергетический спектр дискретен. Если при этом ограничена сверху и снизу также и энергия системы, то имеется только конечное число ортогональных состояний системы, т. е. пространство состояний H оказывается конечномерным, т. е. H = CN , где N конечно (хотя, может быть, велико).

2Feynman R. P. Simulating physics with computers // Int. J. Theor. Phys. — 1982. — Vol. 21, Nos. 6/7. — P. 467–488.

298

ГЛАВА 10

Таким образом, ограниченная в пространстве и по энергиям система допускает конечный набор дискретных независимых наблюдаемых. При измерении такой системы мы можем получить только конечный объем¨ информации, записывающийся с помощью конечного числа знаков какого-либо алфавита. В классике это означало бы, что система имеет конечное число состояний, но в квантовом случае число состояний бесконечно, за счет¨ линейности пространства состояний (принципа суперпозиции).

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

10.4.Понятие универсального квантового компьютера

Влитературе определение универсального квантового компьютера часто дается¨ в запутанной форме, либо не дается¨ вообще. При этом, как правило, дается¨ ссылка на статью Дэвида Дойча 1985 года3.

Статья Дойча (1985) содержит достаточно расплывчатое определение «полного моделирования»4 одной системы с помощью другой:

Вычислительная машина M может полностью моделировать физическую систему Y относительно данной разметки их входов и выходов, если для M существует программа π(Y), которая делает M вычислительно эквивалентной Y относительно этой разметки. Другими словами, π(Y) превращает M в «черный¨ ящик», функционально неотличимый от Y.

Универсальный квантовый компьютер при этом понимается как универсальное устройство для полного моделирования произвольной физической системы с любой наперед¨ заданной точностью.

Это определение только затемняет вопрос, т. к. вполне классическая универсальная машина Тьюринга (универсальный классический компьютер) при наличии неограниченного времени и неограниченной памяти способна численно решать уравнения квантовой механики с любой наперед¨ заданной точностью и формально подходит под это определение, хотя автор, очевидно, имеет в виду нечто большее.

Внимательное изучение реального физического содержания той же статьи позволяет извлечь и настоящее определение универсального квантового компьютера:

3Deutsch D., Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer // Proc. R. Soc. Lond. — 1985. — A 400. — P. 97–117; перевод А. П. Бельтюкова.

4Perfect simulation.

10.5. КВАНТОВЫЙ ПАРАЛЛЕЛИЗМ

299

Универсальный квантовый компьютер — устройство, которое позволяет для системы L квантовых битов осуществлять преобразование, сколь угодно близкое к любому желаемому унитарному преобразованию пространства HL = C2L .

В статье Дойча (1985) содержатся также рассуждения, обосновывающие возможность полного моделирования открытых квантовых систем, однако эти рассуждения не представляются в достаточной степени строгими

иубедительными.

10.5.Квантовый параллелизм

Квантовый параллелизм — возможность одновременного выполнения каких-либо обратимых вычислений над разными членами квантовой суперпозиции.

Набор из L классических битов может находиться в 2L различных состояниях. Однако для квантовых битов эти 2L состояний оказываются базисом линейного пространства и допустимы также любые их суперпозиции, в частности, состояние

 

|0 + |1

· · ·

|0 + |1

 

|0 + |1

=

 

 

 

 

 

 

 

 

 

 

 

2

 

 

2

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=1 |0 · · · |0 |0 + |0 · · · |0 |1 + |0 · · · |1 |0 + |0 · · · |1 |1 + · · · + |1 · · · |1 |1 .

2L/2

 

L

L

L

2

 

L

L

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L

 

 

 

Таким образом, мы получаем суперпозицию всех двоичных чисел от

00 · · · 02

= 0 до 11 · · · 12 = 2L 1. То же самое равенство мы можем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L

 

 

L

 

 

 

 

 

переписать так:

 

 

 

 

 

 

 

 

 

 

0 + 1

 

L

2L

1

 

 

 

 

 

 

1

 

 

 

 

 

 

 

|X =

| |

=

 

 

 

 

 

 

 

 

2

 

2L/2

n=0 |n .

 

Если у нас есть некоторая функция f

: {0, . . . , 2L 1} → {0, . . . , 2L 1},

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ˆ

, которое сле-

тогда ей можно сопоставить унитарное преобразование Uf

дующим образом действует на первых 2L базисных состояниях пространства

300

 

ГЛАВА 10

 

L+L = C2L+L

:

 

 

 

H

 

 

 

 

 

ˆ

 

n ; f (n) .

 

Uf | n ; 0 = |

 

L

L

L

L кубит

 

кубит

кубит

кубит

 

 

 

ˆ

Любое унитарное преобразование Uf может быть реализовано как оператор эволюции для некоторого гамильтониана, задающего взаимодействие L+L кубитов, т. е. может быть выполнено на универсальном квантовом компьютере

 

 

2L1

 

 

2L 1

ˆ

1

 

ˆ

1

 

Uf |X; 0 =

2L/2

n=0

Uf |n; 0 =

2L/2

|n; f (n) .

 

 

 

 

n=0

Таким образом, применение этого преобразования к состоянию |X; 0 позволяет вычислить функцию f одновременно для всех чисел от 0 до 2L 1.

С точки зрения многомировой интерпретации квантовой механики5 можно сказать, что у нас имеется 2L эвереттовских миров, которые отличаются друг от друга только тем, какое число введено в квантовый компьютер, в каждом из этих миров идет¨ вычисление функции f для своего значения аргумента. Однако извлечь из L кубитов мы по-прежнему можем не более L классических битов информации. По этой причине квантовый параллелизм оказывается не столь эффективным, как это может показаться на первый взгляд.

10.6. Логика и вычисления

10.6.1. Логика классическая

Классическая логика изучает функции двоичных переменных (классических битов): каждый аргумент такой функции пробегает два значения (0 и 1, «да» и «нет», «ложь» и «истина»), и значение самой функции также может принимать те же два значения. Такие функции могут также называться логическими операциями.

5Дэвид Дойч утверждает в своих статьях и книгах, что многомировая интерпретация квантовой механики является стандартной для физиков, работающих в области квантовых вычислений. Д. Дойч также является автором философской книги «Структура реальности», рассматривающей современную науку с точки зрения квантовой механики по Эверетту, эволюции по Дарвину и теории познания по Попперу (познание как естественный отбор среди научных теорий).

10.6. ЛОГИКА И ВЫЧИСЛЕНИЯ

301

Логические операции удобно изображать графически в виде блока

снесколькими входными линиями (входами), соответствующими аргументам, и одной выходной линией (выхода), соответствующей значению функции. Логические операции в графическом представлении мы будем называть логическими вентилями.

Любое численное или логическое вычисление может быть представлено как комбинация логических операций или в виде графической схемы (логической схемы), состоящей из нескольких логических вентилей, соединенных¨ между собой линиями: у части вентилей выходы соединены

свходами других вентилей. При этом линия, идущая от выхода, может разветвляться. Графическая схема может иметь несколько внешних входных линий, на которые подаются входные данные и несколько выходных — на которые выдается¨ результат вычисления. Входные линии схемы (они также могут разветвляться) могут подключаться к выходным линиям схемы, а также к входным линиям логических вентилей.

Доказано, что для описания любого вычисления достаточно применить конечное число разновидностей логических вентилей, например, «и», «или», «не»:

00

0

 

00

0

 

 

«и»: 1001

00

,

«или»: 1001

11

, «не»: 10

01 .

11

1

 

11

1

 

 

 

Более того, достаточно одного универсального вида логических вентилей «не-и»:

 

00

1

 

 

 

 

 

 

 

 

 

 

«не-и»:

01

1

,

«не-и»(

,

) = «не»(«и»(

,

)).

 

10

1

 

 

 

 

 

 

 

11

0

 

 

 

 

 

 

 

 

 

 

10.6.2. Вычисления и необратимость

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

Поскольку линии логической схемы могут разветвляться, произвольная информация в логических схемах может копироваться. Согласно теореме о невозможности клонирования квантового состояния, возможность

302

ГЛАВА 10

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

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

10.6.3. Обратимые классические вычисления

Унитарная квантовая эволюция, в отличие от классических алгоритмов, полностью обратима. Тем не менее любое классическое вычисление может быть модифицировано так, чтобы каждый шаг выполнялся обратимым образом, и все¨ вычисление в целом также было обратимым.

Для обратимых классических вычислений вход и выход всегда содержат одинаковое количество бит L и любое вычисление можно рассматривать как некоторое взаимно-однозначное отображение (перестановку) множества всех входов (состоит из 2L элементов) на себя.

Такую перестановку можно представить матрицей 2L × 2L, в каждой строке и в каждом столбце которой имеется ровно одна единица, а остальные элементы — нули. Такая матрица является унитарной (обратима и сохраняет скалярное произведение), а значит может быть реализована как оператор эволюции некоторой квантовой системы с пространством состояний

HL = C2L (см. рис. 10.1).

10.6.4. Обратимые вычисления

A

Рис. 10.1. Обратимый логический вентиль, действующий на два (ку)бита.

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