Toffoli Kapısının Evrenselliği


20

Kuantum Toffoli kapısı ile ilgili olarak :

  1. öyle classicaly öyleyse evrensel ve, neden?
  2. öyle kuantumsal evrensel ve neden?

Kuantum olmayan mantıkta, evrensel olduğu bilinen başka bir boolean operatör kümesinin eldeki set tarafından simüle edilebildiğini gösterirsiniz. Kuantum dünyasında aynı olup olmadığını bilmiyorum, ama öyle düşünürdüm.
Raphael

8
Kuantum mantığında, Toffoli kapısı evrensel değildir, çünkü onunla sadece klasik hesaplamalar yapabilirsiniz. Ayrıca, girdi temel durumundaysa, çıktıyı temel durumların üst üste bindirmesine koyan bir kuantum geçidine ihtiyacınız vardır.
Peter Shor

Sorunun kafa karıştırıcı olabileceğinin farkındayım, belki de kuantum / klasik dünyada evrensellik arasındaki farkı sormak gerekir.
Ran

Cevabımı kuantum vakasını kapsayacak şekilde düzenledim. Şimdi ne düşünüyorsun?
Victor Stafusa

1
@RanG. Gelecek soruların yolunu göstermemiz gerekiyor, bu soru ödev olarak etiketlendi, ancak bunu neden kendiniz çözemediğinizi (ve sorunun nerede yattığını) açıklamıyorsunuz. Özel beta için iyi bir soru olmadığını düşünüyorum ( meta tartışmaya bakın ). Bu soruyu kapatmak için oy kullanıyorum.
Gopi

Yanıtlar:


13

Toffoli klasik hesaplama için evrenseldir (@Victor tarafından gösterildiği gibi). Ancak, Toffoli kuantum hesaplaması için evrensel DEĞİLDİR ( gibi çılgın bir şeyimiz yoksa ).P=BQP

Kuantum hesaplaması için evrensel olmak için (normal tanımın altında), kapılarınız tarafından oluşturulan grubun, ünitelerde yoğun olması gerekir. Başka bir deyişle, keyfi bir ve hedef üniter verildiğinde, üniter bir elde etmek için sınırlı sayıda kuantum geçidi uygulamanızın bir yolu vardır ki öyle ki .U U | | U - U | | < ϵϵUU||UU||<ϵ

Toffoli, bu durum altında açıkça evrensel değildir, çünkü her zaman temel durumları temel durumlara alır ve bu nedenle örneğin. Başka bir deyişle, süperpozisyon yaratamaz.|012(|0+|1)


10

Gönderen wikipedia makalesinde sen gösterdiğini :

Toffoli kapısı evrenseldir; Bu, herhangi bir boolean fonksiyon f (x1, x2, ..., xm) için, x1, x2, ..., xm ve 0 veya 1 olarak ayarlanmış bazı ekstra bitleri ve çıkışları alan Toffoli geçitlerinden oluşan bir devre olduğu anlamına gelir. x1, x2, ..., xm, f (x1, x2, ..., xm) ve bazı ekstra bitler (çöp olarak adlandırılır). Esasen, bu, Toffoli kapılarını, istenen herhangi bir boolean fonksiyon hesaplamasını geri dönüşümlü bir şekilde gerçekleştirecek sistemler oluşturmak için kullanabileceği anlamına gelir.

Bu, basit bir ifadeyle, herhangi bir boolean fonksiyonunun sadece Toffoli kapıları ile inşa edilebileceği anlamına gelir.

Boolean fonksiyonları tipik olarak herhangi bir boolean fonksiyonu oluşturmak için birleştirilebilen OR, AND ve NOT kapılarından yapılır. Aynı şeyin sadece NOR kapıları veya sadece NAND kapıları ile mümkün olduğu yaygın olarak bilinmektedir.

Toffoli kapısı şu şekilde özetlenebilir:

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

Birinci ve ikinci çıkışlar her zaman birinci ve ikinci girişlere eşit olduğundan, bunları değerlendirebiliriz. Böylece sahibiz:

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

Bununla, NAND geçidini şöyle tanımlamak mümkündür:

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

NAND geçidi evrensel olduğundan ve NAND geçidi Toffoli geçidi olarak tanımlanabildiğinden, Toffoli geçidi evrenseldir.

AND ve NOT kapılarını doğrudan inşa ederek Toffoli'nin evrensel olduğunu kanıtlamanın başka bir yolu vardır:

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

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

Daha sonra, De Morgan yasalarını kullanarak OR geçidini inşa edebiliriz :

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


EDIT, soru düzenlendiği ve kapsamı değiştiği için:

İlk olarak, sayısal hesaplamayı anlamıyorum, bu yüzden yanlış bir şey varsa, lütfen bir yorum ekleyin. Bu cevabı tamamlamak için biraz araştırma yaptım ve bununla bitirdim:

Toffoli kapısı tersine çevrilebilir (ancak yukarıda kullanılan Toffoli 'değildir). Bu, onunla yapılan herhangi bir hesaplamanın geri alınabileceği anlamına gelir. Bu:

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

Bu, Toffoli iki kez uygulanırsa herhangi bir üçlü (a, b, c) için orijinal girişin çıktı olarak alınacağı anlamına gelir.

Tersinirlik önemlidir çünkü kuantum kapıları tersinir olmalıdır, bu nedenle (klasik) Toffoli kapısı bundan dolayı bir kuantum kapısı olarak kullanılabilir.

Gösterdiği gibi burada , Deutsch kapısı Toffoli kapısı olduğunu benzer şekilde tanımlanır, ancak bunun yerine klasik kapısının, bir quantical biridir:

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

Bu şekilde, Toffoli kapısı Deutsch kapısının özel bir örneğidir:

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

Toffoli kapısı klasik hesaplama yapar, faz kaydırma işleminden yoksundur, bu Toffoli kapısının sadece 90 derece ( ) faz kayması (ve birden fazla kapıyı birleştirerek, 90 derecenin katlarını elde etmek için). Ancak bu aynı zamanda durum sobreppozisyonları oluşturmak için kullanılamayacağı anlamına gelir, çünkü bu 90 dereceden fazla olmayan açılarda faz kaymaları gerektirecektir, bu nedenle Toffoli kapısı evrensel bir kuantum kapısı değildir.π2

Toffoli kapısını Hadamard kapısıyla birleştirirsek, evrensel bir kuantum Tgate seti elde edilebilir. Deutsch kapısının yaptığı da aynen bu.

İlginç referanslar burada , burada ve burada bulunabilir . Deutsch dönüşümünün temellerini gösteren olası değerli bir referans burada olmalıdır , ancak bağlantı şifre korumalıdır.


Toffolli, kuantum hesaplaması için evrensel değildir, ne de kendi başına CNOT değildir. Süperpozisyon oluşturamadıkları için bunu görmek kolaydır.
Artem Kaznatcheev

Cevabınızın klasik kısmı harika, kuantum parçaların bu kadar anlamlı olduğundan emin değilim. Toffoli geçidinin tersinir olduğunu iddia etmeye gerek yoktur, çünkü geçerli bir kuantum geçidi ve dolayısıyla tanım gereği tersinirdir. Edit2'ye gelince: bu makale Hadamard, Toffoli nin evrensel bir set olduğunu söylüyor, ancak Toffoli'nin kendi başına q-evrensel olduğunu söylediğini sanmıyorum (ya da bir şey kaçırdım mı?)}{}
Ran G.

EDIT 2'deki referansınız yanlış. Bu makale açıkça Toffoli + Hadamard'ın Toffoli değil evrensel olduğunu söylüyor
Artem Kaznatcheev

@ArtemKaznatcheev: Makale "Toffoli ve Hadamard" diyor. Sonra bunun "Toffoli bir örnek ve Hadamart başka bir örnek" anlamına geldiğini düşündüm. Her neyse, şimdi açık.
Victor Stafusa

Düzenledim, şimdi iyi olmalı.
Victor Stafusa
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.