Сет Ллойд - Программируя Вселенную. Квантовый компьютер и будущее науки

Но что известно наблюдателю? После первой операции наблюдатель знает, что бит демона и бит газа в точности коррелируют. Их значения – или 00, или 11, но наблюдатель не знает, какие именно. Соответственно, наблюдатель считает, что бит демона и бит газа вместе взятые имеют энтропию в один бит. Поскольку информация, содержащаяся в газе и в демоне, остается для наблюдателя невидимой, он считает, что энтропия остается постоянной и составляет один бит.

После второй операции «условное не» бит, который первоначально находился в газе, перешел к демону. И демон, и наблюдатель знают, что состояние бита газа теперь равно 0. Демону его собственный бит известен: он хранит один бит информации, а энтропия равна нулю. Наблюдателю бит демона невидим, и поэтому для него энтропия составляет один бит. При этом и демон, и наблюдатель согласны, что общая сумма информации составляет один бит. Второе начало термодинамики относится к общей сумме информации, известной и неизвестной.

Остановим пока демона Максвелла и дискуссию об увеличении и уменьшении энтропии. Главное, как показали в конце XIX в. специалисты по статистической механике, мир состоит из битов. Второе начало термодинамики – это утверждение об обработке информации: фундаментальная физическая динамика Вселенной сохраняет биты и препятствует уменьшению их количества. Чтобы как следует понять эту физическую динамику, нужно обратиться к квантовой механике, которая описывает, как физические системы ведут себя на самом фундаментальном уровне. Но прежде чем заняться квантовой механикой, давайте кратко рассмотрим, как способны обрабатывать информацию классические системы, такие как атомы газа или шары на столе для игры в снукер.

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

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

Как показали Эдвард Фредкин из Университета Карнеги-Меллона и Томмазо Тоффоли из Бостонского университета, столкновения атомов естественным образом совершают логические операции «и», «или», «не» и «копировать». На языке обработки информации столкновения атомов являются универсальными в вычислительном отношении.

В модели Фредкина и Тоффоли каждое возможное столкновение атомов выполняет операцию «и», «или», «не» и «копировать» над подходящим образом определенными входными и выходными битами. Назначая соответствующие начальные положения и скорости атомам газа, можно создать любую логическую схему. Сталкивающиеся атомы газа в принципе способны производить универсальные цифровые вычисления.

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

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

Такая способность сталкивающихся сфер к вычислениям проливает свет на возможность существования третьего демона – его вызвал к жизни маркиз Пьер-Симон де Лаплас. В труде, посвященном использованию ньютоновой механики для прогнозирования будущего поведения небесных тел, Лаплас писал: