Zakaz usuwania (ang. no-deleting theorem) – twierdzenie mówiące, że mając dwie kopie nieznanego stanu kwantowego nie można usunąć jednej z nich[1]. Jest dopełnieniem zakazu klonowania[2][3], zgodnie z którym nie można skopiować nieznanego stanu kwantowego, jak i zakazu ukrywania, zgodnie z którym informacja kwantowausunięta z systemu kwantowego do środowiska nie może pozostawać w korelacji pomiędzy systemem a środowiskiem.
Poszukujemy transformacji pozwalającej na usunięcie jednej z dwóch kopii nieznanego stanu kwantowego (zob. Notacja Diraca) poprzez zastąpienie jej stanem standardowym W odróżnieniu od twierdzenia o zakazie klonowania wprowadzamy tu dodatkowy kubit pomocniczy określający stan maszyny usuwającej i dopuszczamy możliwość zmiany stanu na w wyniku tej transformacji.
Twierdzenie: Nie istnieje uniwersalna liniowa i izometryczna (nie zakładamy, że unitarna) transformacja
w wyniku działania której dowolny, nieznany stan zostałby zastąpiony stanem tj. usunięty.
Transformacja, której poszukujemy powinna usunąć kopię tego kubitu w każdym z jego stanów standardowych i tj.
Dla kubitu o dowolnym stanie na jej wejściu mamy:
Z drugiej strony, ponieważ poszukiwana transformacja jest liniowa, wykorzystując jej zamierzone działanie dla stanów spolaryzowanych, na jej wyjściu otrzymamy:
stosując transformację:
gdzie oznacza dowolny znormalizowany stan kwantowy niezależny od i
Definicja poszukiwanej transformacji usuwającej zakłada jednak, że w wyniku jej działania powinniśmy otrzymać:
Ponieważ stan jest niezależny od i zatem stan musi być od nich liniowo zależny:
skąd:
Ponadto stan wynikowy powinien być znormalizowany dla wszystkich i co oznacza, że stany i muszą być ortogonalne. Tym samym liniowość mechaniki kwantowej zapewnia, że poszukiwana transformacja nie usuwa stanu a jedynie zamienia go na kubit pomocniczy