Kloonaamattomuuslause on kvanttiteorian väite mahdottomuudesta luoda ihanteellinen kopio mielivaltaisesta tuntemattomasta kvanttitilasta . Lauseen muotoilivat Wutters, Zurek ja Dieks vuonna 1982, ja sillä on ollut suuri merkitys kvanttilaskentaan , kvanttitietoteoriaan ja niihin liittyvillä aloilla.
Yhden kvanttijärjestelmän tila voidaan kietoutua toisen järjestelmän tilaan. Esimerkiksi kahden kubitin kietoutunut tila voidaan luoda käyttämällä yhden kubitin Hadamard-muunnosta ja kahden kubitin C-NOT kvanttiporttia . Tällaisen toimenpiteen tulos ei ole kloonaus, koska tuloksena olevaa tilaa ei voida kuvata alijärjestelmän tilojen kielellä (tila on ei-faktorisoitava). Kloonaus on toiminto, joka luo tilan, joka on alijärjestelmien identtisten tilojen tensoritulo .
Oletetaan, että haluamme luoda kopion järjestelmästä A , joka on tilassa (katso Diracin merkintä ). Tätä varten otetaan järjestelmä B , jolla on sama Hilbert-avaruus , joka on alkutilassa . Alkutila ei tietenkään saisi riippua tilasta, koska tämä tila on meille tuntematon. Yhdistelmäjärjestelmää A + B kuvataan alijärjestelmien tilojen tensoritulolla:
Yhdistelmäjärjestelmällä voidaan suorittaa kaksi erilaista toimintoa.
kaikille ja
Unitaarioperaattorin määritelmän mukaan U säilyttää pistetulon:
tuo on
Tästä seuraa, että joko tilat ja ovat ortogonaalisia (mikä ei tietenkään pidä paikkaansa yleisessä tapauksessa). Siten U -operaatio ei voi kloonata mielivaltaista kvanttitilaa.
Ei-kloonauslause on todistettu.
Vaikka tuntemattomasta kvanttitilasta ei ole mahdollista luoda tarkkoja kopioita, siitä on mahdollista kopioida epätarkkoja kopioita. Tätä varten sinun on saatettava alkuperäinen järjestelmä vuorovaikutukseen suuremman apujärjestelmän kanssa ja suoritettava yhdistetyn järjestelmän erityinen yhtenäinen muunnos, jonka seurauksena useista suuremman järjestelmän komponenteista tulee alkuperäisen likimääräisiä kopioita. Tällaista prosessia voidaan käyttää hyökkäämään kvanttisalausjärjestelmiin sekä muihin tarkoituksiin kvanttilaskennassa.