Нанотехнологии

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

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

Этой проблемой в фирме IBM занимались Беннет, Фредкин и Тоффоли, которые пытались понять, насколько проблемы вычислительной техники связаны с обратимостью процессов, устройств и схем. Выяснилось (и это кажется чудом!), что необратимость не является существенным фактором при проведении вычислений, что и позволило нам создавать вычислительные машины.

Вы можете сделать схему обратимой простым приемом, который выглядит «жульничеством», но позволяет решить поставленную задачу (Фейнман рисует схему с двумя входами и тремя выходами). Предположим, что схема по-прежнему имеет два входа и лишь один выход, но мы можем добавить еще два выхода, как я нарисовал только что. Два выходных канала (А и В) мы просто направим на вход (создав с уже существующими схемы совпадения), а канал С будем использовать для снятия выходного сигнала. Легко заметить, что с этой схемой сразу можно выяснить, какой именно сигнал поступает по конкретному входному каналу.

Конечно, вы можете отметить, что предложенный процесс не является полностью обратимым, так как при нем на входе имеется два «кусочка» информации (то есть, например, два атома), а на выходе – три. Создается впечатление, что откуда-то появился третий атом, который необходимо как-то учесть. ( Фейнман дорисовывает еще одну линию на входе, обозначая ее через С.) А теперь давайте подумаем, что собственно это означает с точки зрения физики.

Если сигналы в каналах А и В различаются, то общая картина прохождения сигналов по цепочке А, В, С вообще не изменяется. Если же оба сигнала соответствуют 1, то они проходят А и В, но в С (независимо от вида) сигнал меняется на обратный и переходит в NOT C, так что я могу назвать это устройство вентилем типа «контроль, контроль, NOT».

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

Каким образом нам следует теперь определить некую вычислительную операцию? Мы можем утверждать, что изобретен метод, позволяющий вводить между каждой тройкой атомов (из полного набора, содержащего N атомов) некое взаимодействие. Это взаимодействие дает нам возможность изменять состояние атомов (то есть сочетание чисел 0 и 1) и переводить их в другое состояние (с другим сочетанием чисел 0 и 1). С математической точки зрения, это эквивалентно использованию некоторого типа матриц. Обозначим такую матрицу буквой M и попробуем определить ее общие свойства. Матрица M обладает свойством переводить любую комбинацию восьми цифр (соответствующую определенному набору состояний трех атомов) в другую комбинацию (соответствующую другому набору состояний). Кроме того, квадрат этой матрицы равен единице, то есть она относится к классу так называемых унитарных матриц. Теперь мы можем определить вычисление в рассматриваемых системах более точно, так как любую вычислительную операцию можно записать в виде цепочки матриц типа M. Каждая цепочка вычислений может содержать миллионы таких матриц, но действия каждой из них в данный момент будут относиться лишь к заданной тройке атомов.