Универсальность ворот Тоффоли


20

Относительно квантовых ворот Тоффоли :

  1. это классически универсально, и если так, то почему?
  2. это квантово универсально и почему?

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

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

Я понимаю, что вопрос может сбивать с толку, возможно, его следует отредактировать, чтобы задать вопрос о разнице между универсальностью в квантовом / классическом мире.
Ран Г.

Я отредактировал свой ответ, чтобы охватить квантовый случай. Что ты думаешь сейчас?
Виктор Стафуса

1
@RanG. Мы должны показать путь для будущих вопросов, этот вопрос помечен как домашнее задание, но, похоже, вы не объясняете, почему не можете решить его самостоятельно (и в чем заключается проблема). Я думаю, что это не очень хороший вопрос для частной беты (см. Мета-обсуждение ). Я голосую, чтобы закрыть этот вопрос.
Гопи

Ответы:


13

Toffoli универсален для классических вычислений (как показано @Victor). Однако Toffoli НЕ универсален для квантовых вычислений (если только у нас нет чего-то сумасшедшего, например, ).P=BQP

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

Toffoli сам по себе явно не универсален в этом определении, поскольку он всегда переводит базовые состояния в базовые состояния и поэтому не может реализовать то, что принимает , например. Другими словами, это не может создать суперпозицию.|012(|0+|1)


10

Из статьи Википедии, которую вы цитировали :

Ворота Тофоли универсальны; это означает, что для любой булевой функции f (x1, x2, ..., xm) существует схема, состоящая из вентилей Toffoli, которая принимает x1, x2, ..., xm и некоторые дополнительные биты, установленные в 0 или 1, и выводит x1, x2, ..., xm, f (x1, x2, ..., xm) и некоторые дополнительные биты (называемые мусором). По сути, это означает, что можно использовать вентили Тофоли для построения систем, которые будут выполнять любые желаемые вычисления булевых функций обратимым образом.

Это означает, что любая булева функция может быть построена только с помощью элементов Тофоли.

Булевы функции обычно создаются из вентилей OR, AND и NOT, которые могут быть объединены для формирования любой логической функции. Широко известно, что то же самое возможно только с воротами NOR или только с воротами NAND.

Ворота Тофоли можно обобщить так:

Toffoli(a,b,c)={(a,b,¬c)when a=b=1(a,b,c)otherwise.

Поскольку первый и второй выходы всегда равны первому и второму входам, мы можем их не учитывать. Итак, мы имеем:

Toffoli(a,b,c)={¬cwhen a=b=1cotherwise.

При этом возможно определить шлюз NAND как:

NAND(a,b)=Toffoli(a,b,1)

Поскольку ворота NAND универсальны, а ворота NAND могут быть определены как ворота Тофоли, то ворота Тоффоли универсальны.

Есть еще один способ доказать, что Toffoli универсален, путем прямого конструирования вентилей AND и NOT:

NOT(x)=Toffoli(1,1,x)

AND(a,b)=Toffoli(a,b,0)

Затем мы можем построить ворота ИЛИ, используя законы Де Моргана :

OR(a,b)=NOT(AND(NOT(a),NOT(b))=Toffoli(1,1,Toffoli(Toffoli(1,1,a),Toffoli(1,1,b),0))


РЕДАКТИРОВАТЬ, так как вопрос был отредактирован, а его рамки изменились:

Во-первых, я не понимаю квантовые вычисления, поэтому, если что-то не так, добавьте комментарий. Я провел небольшое исследование, чтобы попытаться завершить этот ответ, и закончил так:

Ворота Тофоли обратимы (но использованное выше Тофоли не является). Это означает, что любое вычисление, выполненное с ним, может быть отменено. Это:

(a,b,c)=Toffoli(Toffoli(a,b,c))

Это означает, что для любой тройки (a, b, c), если Toffoli применяется дважды, исходный вход получает как выход.

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

Как показано здесь , ворота Дойча определяются так же, как и ворота Тоффоли, но вместо классических ворот они являются количественными:

Deutsch(a,b,c)=|a,b,c{icos(θ)|a,b,c+sin(θ)|a,b,1cfor a=b=1|a,b,cotherwise.

Таким образом, ворота Toffoli являются частным случаем ворот Deutsch, где:

Toffoli(a,b,c)=Deutsch(π2)(a,b,c)

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

Универсальное квантовое множество Тгейта может быть получено, если мы объединим ворота Тоффоли с воротами Адамара. Это именно то, что делают немецкие ворота.

Интересные ссылки можно найти здесь , здесь и здесь . Возможная ценная ссылка, показывающая основы преобразования Дойча, должна быть здесь , однако ссылка защищена паролем.


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

Классическая часть вашего ответа великолепна, я не уверен, что квантовые части имеют такой же смысл. Нет необходимости утверждать, что врата Тоффоли являются обратимыми, поскольку они являются действительными квантовыми вратами и, следовательно, по определению, обратимыми. Что касается Edit2: в этой статье говорится, что Hadamard, Toffoli - универсальный набор, но я не думаю, что в нем говорится, что Toffoli сам по себе является q-универсальным (или я что-то пропустил?)}{}
Ран Г.

Ваша ссылка в EDIT 2 неверна. В этой статье четко говорится, что Toffoli + Hadamard универсален, а не Toffoli сам по себе
Артем Казнатчеев

@ArtemKaznatcheev: в статье написано "Тофоли и Адамар". Тогда я подумал, что это означает: «Тофоли - это пример, а Адамарт - еще один». Во всяком случае теперь понятно.
Виктор Стафуса

Я отредактировал это, должно быть хорошо теперь.
Виктор Стафуса
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.