Ingen-kloningssætningen er en kvanteteoretisk udtalelse om umuligheden af at skabe en ideel kopi af en vilkårlig ukendt kvantetilstand . Sætningen blev formuleret af Wutters, Zurek og Dieks i 1982 og har haft stor betydning inden for kvanteberegning , kvanteinformationsteori og relaterede felter.
Et kvantesystems tilstand kan sammenfiltres med et andet systems tilstand. For eksempel kan en entangled tilstand på to qubits skabes ved hjælp af en én -qubit Hadamard-transformation og en to-qubit C-NOT quantum gate . Resultatet af en sådan operation vil ikke være kloning, da den resulterende tilstand ikke kan beskrives på sproget for undersystemtilstande (tilstanden er ikke-faktoriserbar). Kloning er en operation, der skaber en tilstand, der er tensorproduktet af identiske tilstande af undersystemer.
Lad os sige, at vi vil lave en kopi af system A , der er i en tilstand (se Diracs notation ). For at gøre dette skal du tage et system B med det samme Hilbert-rum , som er i den oprindelige tilstand . Den oprindelige tilstand bør selvfølgelig ikke afhænge af tilstanden, da denne tilstand er ukendt for os. Det sammensatte system A + B er beskrevet af tensorproduktet af delsystemernes tilstande:
Med et sammensat system kan to forskellige handlinger udføres.
for alle og
I henhold til definitionen af en enhedsoperatør bevarer U prikproduktet:
det er
Det følger af dette, at enten tilstandene og er ortogonale (hvilket selvfølgelig ikke er sandt i det generelle tilfælde). Operationen U kan således ikke klone en vilkårlig kvantetilstand.
Ikke-kloningssætningen er blevet bevist.
Selvom det ikke er muligt at skabe nøjagtige kopier af en ukendt kvantetilstand, er det muligt at replikere unøjagtige kopier af den. For at gøre dette skal du bringe det originale system i samspil med et større hjælpesystem og udføre en speciel enhedstransformation af det kombinerede system, som et resultat af hvilket flere komponenter i det større system bliver omtrentlige kopier af det originale. En sådan proces kan bruges til at angribe kvantekryptografiske systemer, såvel som til andre formål inden for kvanteberegning.