Aradığın şey şu devre. Burada, b1,b2,b3,b4∈{0,1} ve ⊕ ek modül bir 2 .
Burada, beşinci kübit yardımcı ya da ancilla kübit olarak kullanılır . Başlıyor |0⟩ ve uçları |0⟩ devre uygulandığı zaman.
Bu devrenin nasıl işlediğini açıklayayım. Fikir her şeyden önce ilk iki kubitin devlette olup olmadığını kontrol etmektir |1⟩ . Bu tek bir Toffoli geçidi kullanılarak yapılabilir ve sonuç yardımcı kubitte saklanır. Şimdi, qubit 3 ve yardımcı qubit her kullanıldığında , problem kubit 4 çevirmeye indirgenir | 1 ⟩ . Bu, bir Toffoli geçidinin bir uygulaması, yani yukarıda gösterilen devrede orta olan bir uygulama kullanılarak da gerçekleştirilebilir. Son olarak, son Toffoli kapısı , yardımcı kubitte sakladığımız geçici sonucu hesaplamak için kullanılır , böylece bu kübitin durumu | 0 ⟩3|1⟩|0⟩ devre uygulandıktan sonra.
Yorum bölümünde, böyle bir devrenin, yardımcı kubitler kullanmadan sadece Toffoli kapıları kullanılarak uygulanmasının mümkün olup olmadığı ortaya çıktı. Bu soru burada göstereceğim gibi olumsuz olarak cevaplanabilir.
CCCNOTXX=[0110]
NINCCCNOT16×16CCCNOT=[I1400X]
det(CCCNOT)=−1
4Toffoli⊗I2=[I600X]⊗I2=[I1200X⊗I2]=⎡⎣⎢I120000I20I20⎤⎦⎥
det(Toffoli⊗I2)=1
Toffoli kapıları elbette farklı kübitler üzerinde de hareket edebilir. Toffoli kapısının birinci, ikinci ve dördüncü kubit üzerinde hareket etmesine izin verdiğimizi varsayalım, dördüncü kubit hedef kübittir. Daha sonra, yalnızca üçüncü ve dördüncü kubitte farklılık gösteren durumlara karşılık gelen sütunları değiştirerek, yani , , ile arasında değişen yeni matris temsilini elde ederiz. vb burada dikkat edilmesi gereken önemli şey, sütun takası sayısı bile, ve dolayısıyla belirleyici değişmeden kalmasıdır olmasıdır. Her permütasyonunu sadece ardışık permütasyon dizisi olarak (yani,|0001⟩|0010⟩|0101⟩|0110⟩2S4 transpozisyonlar tarafından ), herhangi bir kontrol ve hedef kubit kombinasyonuna uygulanan tüm Toffoli kapıları için matris gösteriminin belirleyici sahip olduğunu buluyoruz .S41
Dikkat edilmesi gereken son şey, determinantın matris çarpımı ile, yani matris çarpımı ile uyumlu iki ve matrisi için , işe gidip gelmesidir . Bu nedenle, artık birden fazla Toffoli geçidinin sırayla uygulanmasının, matris gösterimi farklı bir belirleyiciye sahip bir devre oluşturmadığı, özellikle sadece qubit üzerinde sadece Toffoli geçitleri kullanılarak uygulanamayacağı anlamına gelir. .det(AB)=det(A)det(B)AB1CCCNOT4
Asıl soru, yardımcı bir kübite izin verdiğimizde ne değiştiğidir. Biz eylemi yazarken Biz cevap bulmak Bir üzerinde -GATE -qubit sisteminin:
Bu belirleyiciyi hesaplarsak, :
Hence, belirleyici ilgili -GATE hareket qubits olan yerine, . Bu yüzden önceki argüman için geçerli değilCCCNOT5CCCNOT⊗I2=[I1400X]⊗I2=⎡⎣⎢I280000I20I20⎤⎦⎥
det(CCCNOT⊗I2)=1
CCCNOT51−15 OP'nin istediği açıkça inşa edilmiş devre nedeniyle zaten bildiğimiz gibi qubits.