Zakaz klonowania

Twierdzenie o nieklonowaniu (zakaz klonowania, twierdzenie o niemożności klonowania, ang. no-cloning theorem) – twierdzenie mówiące, że nie można wykonać kopii nieznanego stanu kwantowego. Zostało sformułowane i udowodnione przez Williama Woottersa i Wojciecha Żurka oraz niezależnie przez Dennisa Dieksa w 1982 roku i ma fundamentalne znaczenie dla teorii mechaniki kwantowej oraz informatyki kwantowej. Jego dopełnieniem jest zakaz usuwania, jak i zakaz ukrywania.

Twierdzenie

Poszukujemy procedury pozwalającej na „skopiowanie” dowolnego stanu kwantowego $|\psi \rangle$ (zob. Notacja Diraca). Aby zachować oryginalny stan $|\psi \rangle ,$ złożymy go z innym stanem kwantowym $|s\rangle$ i taki stan złożony $|\psi \rangle \otimes |s\rangle$ poddamy predefiniowanej „operacji kopiowania”, tj. unitarnej ewolucji (zob. też Bramka kwantowa), na wyjściu której spodziewamy się uzyskać separowalny stan oryginalny $|\psi \rangle$ złożony z jego kopią, tj. $|\psi \rangle \otimes |\psi \rangle .$

Twierdzenie: Nie istnieje uniwersalny operator unitarny $U$ taki, że dla dowolnych znormalizowanych stanów $|\psi \rangle$ i $|s\rangle$

$U(|\psi \rangle \otimes |s\rangle )=|\psi \rangle \otimes |\psi \rangle .$

Dowód 1: Uniwersalny operator unitarny $U,$ którego poszukujemy, winien kopiować dowolne stany kwantowe, powiedzmy, $|\psi \rangle$ i $|\phi \rangle .$ Zakładając dodatkowy stan kwantowy $|s\rangle ,$ który miałby zostać w trakcie tej operacji „nadpisany” stanem kopiowanym, można to zapisać w dwóch równaniach (w dalszej części pominięto symbol Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „http://localhost:6011/pl.wikipedia.org/v1/”:): {\displaystyle \otimes} iloczynu tensorowego):

$U|\psi s\rangle =|\psi \psi \rangle$

oraz

$U|\phi s\rangle =|\phi \phi \rangle .$

Mnożąc skalarnie ich lewe strony, otrzymujemy:

$\langle \psi s|U^{\dagger }U|\phi s\rangle =\langle \psi s|\phi s\rangle =\langle \psi |\phi \rangle \langle s|s\rangle =\langle \psi |\phi \rangle ,$

natomiast mnożąc skalarnie ich prawe strony otrzymujemy:

$\langle \psi \psi |\phi \phi \rangle =\langle \psi |\phi \rangle \langle \psi |\phi \rangle =(\langle \psi |\phi \rangle )^{2}.$

Tym samym $\langle \psi |\phi \rangle =(\langle \psi |\phi \rangle )^{2},$ co zachodzi jedynie dla $\langle \psi |\phi \rangle =0$ lub $\langle \psi |\phi \rangle =1.$ Pojedynczy operator unitarny $U$ może zatem skopiować co najwyżej dwa stany ortonormalne $(\langle \psi |\phi \rangle =0),$ ale nie dwa dowolne stany kwantowe $|\psi \rangle$ i $|\phi \rangle .$

Rozważmy kopiowanie pojedynczego kubitu

$|\psi \rangle =\alpha |0\rangle +\beta |1\rangle ,$

który jest najmniejszą i niepodzielną jednostką informacji kwantowej. W ogólnym przypadku kubit reprezentowany jest w dwuwymiarowej przestrzeni Hilberta $H^{2}$ przez dwie liczby zespolone $\alpha ,\beta \in \mathbb {C} ,$ zwane amplitudami prawdopodobieństwa, spełniające warunek normalizacji $|\alpha |^{2}+|\beta |^{2}=1.$ W ogólnym przypadku są to zatem trzy liczby rzeczywiste (dwa kąty skierowane oraz jeden moduł), których skopiowanie (z określoną dokładnością) przy użyciu komputera klasycznego nie stanowi problemu. Jeżeli jednak kubit jest spolaryzowany w bazie {$|0\rangle ,|1\rangle$} (tj. $|\alpha |^{2}=1$ lub $|\beta |^{2}=1$), wówczas do jego reprezentacji wystarczy już tylko jedna liczba zespolona ($\alpha$ lub $\beta$), czyli dwie liczby rzeczywiste (kąt skierowany oraz moduł równy jedności), podczas gdy wartość trzeciej może być dowolna. Fizyczna implementacja kubitu (np. spin elektronu, czy polaryzacja fotonu) przechowuje jednak całą informację o kubicie w swojej „strukturze”.

Dowód 2: Niech $|\psi \rangle =\alpha |0\rangle +\beta |1\rangle$ oraz $|\psi '\rangle =-\alpha |0\rangle -\beta |1\rangle .$ Operator klonowania zastosowany na $|\psi \rangle \otimes |0\rangle$ oraz $|\psi '\rangle \otimes |0\rangle$ da ten sam wynik, ponieważ $|\psi \rangle \otimes |\psi \rangle =|\psi '\rangle \otimes |\psi '\rangle ,$ a więc dany operator nie jest odwracalny i nie może być poprawnym obliczeniem kwantowym.

Zobacz też

• Zakaz ukrywania
• Zakaz usuwania